APLAS 2020

19 papers

1. A Counterexample-Guided Debugger for Non-recursive Datalog · Van-Dang Tran, Hiroyuki Kato, Zhenjiang Hu
2. A New Refinement Type System for Automated $\nu \text {HFL}_\mathbb {Z}$ Validity Checking · Hiroyuki Katsura, Naoki Iwayama, Naoki Kobayashi, Takeshi Tsukada
3. A Set-Based Context Model for Program Analysis · Leandro Facchinetti, Zachary Palmer, Scott F. Smith, Ke Wu, Ayaka Yorihiro
4. A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving · Yu-Fang Chen, Vojtech Havlena, Ondrej Lengál, Andrea Turrini
5. Algebraic and Coalgebraic Perspectives on Interaction Laws · Tarmo Uustalu, Niels F. W. Voorneveld
6. An Abstract Machine for Strong Call by Value · Malgorzata Biernacka, Dariusz Biernacki, Witold Charatonik, Tomasz Drab
7. Automatically Generating Descriptive Texts in Logging Statements: How Far Are We? · Xiaotong Liu, Tong Jia, Ying Li, Hao Yu, Yang Yue, Chuanjia Hou
8. Banyan: Coordination-Free Distributed Transactions over Mergeable Types · Shashank Shekhar Dubey, K. C. Sivaramakrishnan, Thomas Gazagnaire, Anil Madhavapeddy
9. Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language · Mario Bravetti, Adrian Francalanza, Iaroslav Golovanov, Hans Hüttel, Mathias Jakobsen, Mikkel Kettunen + 1 more
10. Certified Semantics for Relational Programming · Dmitry Rozplokhas, Andrey Vyatkin, Dmitry Boulytchev
11. Declarative Stream Runtime Verification (hLola) · Martín Ceresa, Felipe Gorostiaga, César Sánchez
12. Formal Verification of Atomicity Requirements for Smart Contracts · Ning Han, Ximeng Li, Guohui Wang, Zhiping Shi, Yong Guan
13. Neural Networks, Secure by Construction - An Exploration of Refinement Types · Wen Kokke, Ekaterina Komendantskaya, Daniel Kienitz, Robert Atkey, David Aspinall
14. P3: A Profiler Suite for Parallel Applications on the Java Virtual Machine · Andrea Rosà, Walter Binder
15. Parameterized Synthesis with Safety Properties · Oliver Markgraf, Chih-Duo Hong, Anthony W. Lin, Muhammad Najib, Daniel Neider
16. REFINITY to Model and Prove Program Transformation Rules · Dominic Steinhöfel
17. Relational Synthesis for Pattern Matching · Dmitry Kosarev, Petr Lozov, Dmitry Boulytchev
18. Stack-Driven Program Generation of WebAssembly · Árpád Perényi, Jan Midtgaard
19. Syntactically Restricting Bounded Polymorphism for Decidable Subtyping · Julian Mackay, Alex Potanin, Jonathan Aldrich, Lindsay Groves