The Third Programming Languages Seminar @ PKU

Time: 10:00-11:00 October 30th 2019

Place: Room 1432. Science Building. 1#. Peking University

Talk 1: Formal Verification of Probabilistic Programs: Termination, Cost Analysis and Sensitivity

Speaker: Hongfei Fu (Shanghai Jiao Tong University)

Abstract: Formal verification is the study to ensure correctness of systems through rigorous mathematical approaches. Probabilistic programs are classical programs

extended with random number generators that capture a large class of application scenarios with probability, such as artificial intelligence, random walks, randomized

algorithms, stochastic systems, etc. Formal verification of probabilistic programs aims at developing methodologies that can prove correctness of fundamental

probabilistic properties such as termination with probability one, expected resource consumption, and expected sensitivity against slight perturbation of inputs, etc. In

the talk, I will introduce our theoretical results on verifying termination, cost and sensitivity of probabilistic programs.

Bio: Dr. Hongfei Fu obtained his PhD at RWTH Aachen, supervised by Prof. Joost Pieter Katoen. He is currently an assistant professor at John Hopcroft Center for

Computer Science, Shanghai Jiao Tong University. His main research interest lies in

developing automated approaches for solving model-checking and program verification problems in the broad sense.

Talk 2: Input Selection In Interactive Program Synthesis

Speaker: Ruyi Ji (Peking University)

Abstract: Interactive program synthesis has been proposed to solve the ambiguity in specifications. A typical form of interaction is input-output queries, where the

system queries with an input, and the developer provides the corresponding output. However, existing systems usually randomly select the input, which may lead to

many more questions being asked than necessary. We address the input selection problem in interactive program synthesis, and Our goal is to minimize the number of

queries to the user.

Bio: Ruyi Ji is a fourth-year undergraduate student in Peking Univerity, and he'll

continue studying at Peking University for a Ph.D. degree next year. He used to be a

contestant in competitive programming and has won one gold medal and one silver

medal in ICPC World Finals.

Previous Article:The Fourth Programming Languages Seminar @ PKU
Next Article:The Second Programming Languages Seminar @ PKU