Abstract is missing.
- Scalable and Modular Robustness Analysis of Deep Neural NetworksYuyi Zhong, Quang-Trung Ta, Tianzuo Luo, Fanlong Zhang, Siau-Cheng Khoo. 3-22 [doi]
- Function Pointer Eliminator for C ProgramsDaisuke Kimura, Mahmudul Faisal Al Ameen, Makoto Tatsuta, Koji Nakazawa. 23-37 [doi]
- PyCT: A Python Concolic TesterYu-Fang Chen 0001, Wei-Lun Tsai, Wei-Cheng Wu, Di-De Yen, Fang Yu 0001. 38-46 [doi]
- Program Synthesis for Musicians: A Usability Testbed for Temporal Logic SpecificationsWonhyuk Choi, Michel Vazirani, Mark Santolucito. 47-61 [doi]
- Server-Side Computation of Package Dependencies in Package-Management SystemsNobuhiro Kasai, Isao Sasano. 62-79 [doi]
- Fully Abstract and Robust Compilation: And How to Reconcile the Two, AbstractlyCarmine Abate, Matteo Busi, Stelios Tsampas 0001. 83-101 [doi]
- A Dictionary-Passing Translation of Featherweight GoMartin Sulzmann, Stefan Wehr. 102-120 [doi]
- Hybrid Quantum-Classical Circuit Simplification with the ZX-CalculusAgustín Borgna, Simon Perdrix, Benoît Valiron. 121-139 [doi]
- A Compilation Method for Dynamic Typing in MLAtsushi Ohori, Katsuhiro Ueno. 140-159 [doi]
- The Choice Construct in the Soufflé LanguageXiaowen Hu, Joshua Karp, David Zhao, Abdul Zreika, Xi Wu 0005, Bernhard Scholz. 163-181 [doi]
- Latent Effects for Reusable Language ComponentsBirthe van den Berg, Tom Schrijvers, Casper Bach Poulsen, Nicolas Wu. 182-201 [doi]
- Adaptable Traces for Program ExplanationsDivya Bajaj, Martin Erwig, Danila Fedorin, Kai Gay. 202-221 [doi]
- A Typed Programmatic Interface to Contracts on the BlockchainThi Thu Ha Doan, Peter Thiemann 0001. 222-240 [doi]
- Simplifying Alternating Automata for Emptiness TestingPavol Vargovcík, Lukás Holík. 243-264 [doi]
- Termination Analysis for the $$\pi $$-Calculus by Reduction to Sequential Program TerminationTsubasa Shoshi, Takuma Ishikawa, Naoki Kobayashi 0001, Ken Sakayori, Ryosuke Sato, Takeshi Tsukada. 265-284 [doi]
- Proving LTL Properties of Bitvector Programs and Decompiled BinariesYuandong Cyrus Liu, Chengbin Pang, Daniel Dietsch, Eric Koskinen, Ton Chanh Le, Georgios Portokalidis, Jun Xu 0024. 285-304 [doi]
- Solving Not-Substring Constraint withFlat AbstractionParosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen 0001, Bui Phi Diep, Lukás Holík, Denghang Hu, Wei-Lun Tsai, Zhilin Wu, Di-De Yen. 305-320 [doi]