APLAS 2021

17 papers

1. A Compilation Method for Dynamic Typing in ML · Atsushi Ohori, Katsuhiro Ueno
2. A Dictionary-Passing Translation of Featherweight Go · Martin Sulzmann, Stefan Wehr
3. A Typed Programmatic Interface to Contracts on the Blockchain · Thi Thu Ha Doan, Peter Thiemann
4. Adaptable Traces for Program Explanations · Divya Bajaj, Martin Erwig, Danila Fedorin, Kai Gay
5. Fully Abstract and Robust Compilation: And How to Reconcile the Two, Abstractly · Carmine Abate, Matteo Busi, Stelios Tsampas
6. Function Pointer Eliminator for C Programs · Daisuke Kimura, Mahmudul Faisal Al Ameen, Makoto Tatsuta, Koji Nakazawa
7. Hybrid Quantum-Classical Circuit Simplification with the ZX-Calculus · Agustín Borgna, Simon Perdrix, Benoît Valiron
8. Latent Effects for Reusable Language Components · Birthe van den Berg, Tom Schrijvers, Casper Bach Poulsen, Nicolas Wu
9. Program Synthesis for Musicians: A Usability Testbed for Temporal Logic Specifications · Wonhyuk Choi, Michel Vazirani, Mark Santolucito
10. Proving LTL Properties of Bitvector Programs and Decompiled Binaries · Yuandong Cyrus Liu, Chengbin Pang, Daniel Dietsch, Eric Koskinen, Ton-Chanh Le, Georgios Portokalidis + 1 more
11. PyCT: A Python Concolic Tester · Yu-Fang Chen, Wei-Lun Tsai, Wei-Cheng Wu, Di-De Yen, Fang Yu
12. Scalable and Modular Robustness Analysis of Deep Neural Networks · Yuyi Zhong, Quang-Trung Ta, Tianzuo Luo, Fanlong Zhang, Siau-Cheng Khoo
13. Server-Side Computation of Package Dependencies in Package-Management Systems · Nobuhiro Kasai, Isao Sasano
14. Simplifying Alternating Automata for Emptiness Testing · Pavol Vargovcík, Lukás Holík
15. Solving Not-Substring Constraint withFlat Abstraction · Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Lukás Holík, Denghang Hu + 3 more
16. Termination Analysis for the $$\pi $$-Calculus by Reduction to Sequential Program Termination · Tsubasa Shoshi, Takuma Ishikawa, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato, Takeshi Tsukada
17. The Choice Construct in the Soufflé Language · Xiaowen Hu, Joshua Karp, David Zhao, Abdul Zreika, Xi Wu, Bernhard Scholz