November 30, 2017, Suzhou, China
The goal of this 1-day post-workshop is to provide an informal forum for generating interactions and collaborations on programming languages and systems. Strongly encouraged are proposals of new, speculative ideas, evaluations of new techniques in practical settings, and discussions of emerging results and important problems. Past two workshops (1st Workshop, 2nd Workshop) were successfully held in 2015 and 2016.
The workshop speakers are invitation-based. Each speaker will give a short talk, which is meant to be on latest research topics, and can include work that are not yet published or have been recently published.
No formal proceedings will be published. Abstracts and slides will be available online.
9:30 - 10:30 Program Reasoning
Hypergraph Lambda-Terms and Variable Convention
Kazunori Ueda and Alimujiang Yasen
Existential Entailment in Logical Form for Array Logic
Zhuohong Cai and Wei-Ngan Chin
10:30 - 11:00 Coffee Break
11:00 - 12:00 Concurrency
Progress of Concurrent Objects with Partial Methods
Hongjin Liang and Xinyu Feng
The Foundation of Concurrency Theory
12:00 - 13:30 Lunch
13:30 - 14:30 Software Design
Learning to Synthesize
Wyvern - Security by Design
Alex Potanin and Jonathan Aldrich
14:30 - 15:00 Coffee Break
15:00 - 16:00 Differencing and Derivatives
Biversional Semantics for Semantic Differencing
Bor-Yuh Evan Chang, Matthew Hammer and Edmund Soon Lee Lam
Programming Derivatives for Sorting
16:00 - 16:10 Closing
For those invited speakers, please submit a one-page abstract through the EasyChair link Submission.
Hosted on GitHub Pages using the Dinky theme