The Coq mailing list

[Xinyu Feng <xinyu.feng AT gmail.com>]

*********************************************************************
15th Asian Symposium on Programming Languages and Systems (APLAS 2017)
November 27-29, 2017, Suzhou, China
https://www-aplas.github.io/
*********************************************************************

## Registration

 - 8 October 2017 (Early Deadline)
 - Register: https://www-aplas.github.io/registration.html

## Invited Speakers:

- Gilles Barthe, IMDEA
Title of talk: Relational Verification of Higher-Order Probabilistic Programs

- Ron Garcia, UBC
Title of talk: Gradual Enforcement of Program Invariants

- Sumit Gulwani, Microsoft Research
Title of talk: Programming by Examples: PL meets ML

- Naijun Zhan, Chinese Academy of Sciences
Title of talk: Synthesizing SystemC Code from Delay Hybrid CSP

## Accepted papers:

- Tobias Nipkow. Verified Root-Balanced Trees

- Daisuke Kimura and Makoto Tatsuta. Decision Procedure for Entailment of Symbolic Heaps with Arrays

- Ian J. Hayes, Xi Wu and Larissa Meinicke. Capabilities for Java: Secure Access to Resources

- Yoonseok Ko, Xavier Rival and Sukyoung Ryu. Weakly Sensitive Analysis for Unbounded Iteration over _javascript_ Objects

- Qinxiang Cao, Santiago Cuellar and Andrew Appel. Putting order to the separation logic jungle

- Oleg Kiselyov and Tatsuya Katsushima. Sound and Efficient Language-Integrated Query: Maintaining the ORDER

- Neline van Ginkel, Raoul Strackx and Frank Piessens. Automatically generating secure wrappers for SGX enclaves from separation logic specifications

- Bob Reynders and Dominique Devriese. Efficient Functional Reactive Programming through Incremental Behaviors

- Adrien Pommellet and Tayssir Touili. Static Analysis of Multithreaded Recursive Programs Communicating via Rendez-vous

- Ximeng Li, Heiko Mantel and Markus Tasch. Taming Message-passing Communication in Compositional Reasoning about Confidentiality

- Cristina Matache, Victor B. F. Gomes and Dominic Mulligan. Programming and proving with classical types

- Jieung Kim, Vilhelm Sjöberg, Zhong Shao and Ronghui Gu. Safety and Liveness of MCS Lock—Layer by Layer

- Shaobo He and Zvonimir Rakamaric. Counterexample-Guided Bit-Precision Selection

- Niccolò Veltri and Tarmo Uustalu. Partiality and container monads

- Alejandro Díaz-Caro. A lambda calculus for density matrices wth classical and probabilistic controls

- Martin Sulzmann and Peter Thiemann. A Computational Interpretation of Context-Free Expressions

- Daan Leijen. Implementing Algebraic Effects in C (or “Monads for Free in C”)

- Yongzhe Zhang, Hsiang-Shang Ko and Zhenjiang Hu. Palgol: A High-Level DSL for Vertex-Centric Graph Processing with Remote Data Access

- Takamasa Okudono, Yuki Nishida, Kensuke Kojima, Kohei Suenaga, Kengo Kido and Ichiro Hasuo. Sharper and Simpler Nonlinear Interpolants for Program Verification

- Hirofumi Nakamura, Kensuke Kojima, Kohei Suenaga and Atsushi Igarashi. A Nonstandard Functional Programming Language

- Beniamino Accattoli and Bruno Barras. The Negligible and Yet Subtle Cost of Pattern Matching

- Manjeet Dahiya and Sorav Bansal. Black-box equivalence checking across compiler optimizations

- Aziem Chawdhary and Andy King. Compact Difference Bound Matrices

- Serdar Erbatur, Martin Hofmann and Eugen Zalinescu. Enforcing Programming Guidelines with Region~Types and Effects

## Other events

### Posters and SRC
https://www-aplas.github.io/posters.html

### APLAS NIER workshop
https://www-aplas.github.io/workshop.html