Panel Session 2: “Research in industry vs. academia”Problem Focus & Recognition Industry tends to focus on concrete problems. In academia, broader issues are often addressed. Authorship and credi

In realms as broad as electrical engineering, acoustics, optics, signal processing, quantum mechanics, and econometrics, the Fourier Series, Fourier Transform, and Discrete Fourier Transform play a pi

Convolutional neural networks are camera lenses to a computer. The analogy does not stop at the point that both compress visual information: The evolution of convolutional neural network architectu

今之博客，乃昔（初高中）之错题本之翻版也。昔之背景知识、解题思路、高效算法，今之认识、洞见，皆为辛苦求索所得，故笔录之，以期日积月累，唯“应试”“科研”之直接目的异也。 This blog is a replica of our previous “problem books” used for junior and senior high school. In the past, we woul

We have compiled a timetable of well-known conferences in different subdomains of computer science based on the Class A and Class B conferences in “Directory of International Academic Conferences and

Mon 17 JulSession 1 FUZZING at Amazon Auditorium (Gates G20)Welcome and IntroductionsThe following reviewing criteria for workshop papers can serve as a guide for us in writing papers: Is the problem

10:30 - TalksLinear Types for Systems VerificationIt is a good idea to embed verification information in type system of a programming language. Verified Program Construction Program verification is ha

NOTE: This is a Paper Reading for Topics in Programming Languages: Type Systems. The original paper can be found here. SummaryYou can check the presentation that I made for this paper in this GitHub r

NOTE: This is a Paper Reading for Topics in Programming Languages: Type Systems. The original paper can be found here. SummaryThis paper presents a clear and organized guide to refinement type systems

NOTE: This is a Paper Reading for Topics in Programming Languages: Type Systems. The original paper can be found here. SummaryThe paper first defines and compares parametric and ad-hoc polymorphism an