Thanh-Toan Nguyen, Ton Chanh Le, Shengchao Qin and Wei-Ngan Chin.
Automated Verification of CountDownLatch
[SRC] Pawandeep Sekhon, Martin Sulzmann and Kai Stadtmueller.
Understanding Method Overloading in Go
Alejandro Díaz-Caro and Gilles Dowek.
Typing quantum superpositions and measurement
[SRC] Qinxiang Cao, Lennart Beringer, Samuel Gruetter, Josiah Dodds and Andrew Appel.
VST-Floyd: A Separation Logic Tool to Verify Correctness of C Programs
[SRC] Kosuke Matsumoto, Hiroyuki Iiboshi and Tomoharu Ugawa.
Modelling Acquire and Release Fences for Promela Models of TSO and PSO Using Store Buffers
[SRC] Chunhui He and Xinyu Feng.
POMP: Protocol Oblivious SDN Programming with Automatic Multi-Table Pipelining
[SRC] Jian Wang, Jie An, Lulin Wang and Naijun Zhan.
From Model to Implementation : An SDN Programming Language
[SRC] Hanru Jiang, Hongjin Liang and Xinyu Feng.
Towards Certified Compositional Compilation for Concurrent Programs
Thomas Bauereiß, Simon Greiner, Tobias Hamann, Mihai Herda, Michael Kirsten, Ximeng Li, Heiko Mantel, Martin Mohr, Matthias Perner, David Schneider and Markus Tasch.
RIFL: A Common Specification Language for Information-Flow Requirements
[SRC] Chunmiao Li, Yijun Yu and Zhenjiang Hu.
Collaborative Development Environment: Fusing Human Insights into Automated Program Repair
[SRC] Shengyi Wang, Qinxiang Cao and Aquinas Hobor.
Mechanized Verification of Graph-Manipulating Programs
Takamasa Okudono, Yuki Nishida, Kensuke Kojima, Kohei Suenaga, Kengo Kido and Ichiro Hasuo.
Sharper and Simpler Nonlinear Interpolants for Program Verification
[SRC] Manjeet Dahiya and Sorav Bansal.
Automatic Verification of Intermittent Systems
[SRC] Takafumi Kataoka, Tomoharu Ugawa and Hideya Iwasaki.
Generating Type-Based Dispatching Code for Intermediate Language Interpreter of Dynamic Typed Languages
Haochen Xie.
Techniques and Patterns for Practical Fluent Interfaces in Java