Abstract is missing.
- A Set-Based Context Model for Program AnalysisLeandro Facchinetti, Zachary Palmer, Scott F. Smith 0001, Ke Wu, Ayaka Yorihiro. 3-24 [doi]
- Declarative Stream Runtime Verification (hLola)Martín Ceresa, Felipe Gorostiaga, César Sánchez. 25-43 [doi]
- Formal Verification of Atomicity Requirements for Smart ContractsNing Han, Ximeng Li 0003, Guohui Wang, Zhiping Shi 0002, Yong Guan. 44-64 [doi]
- Neural Networks, Secure by Construction - An Exploration of Refinement TypesWen Kokke, Ekaterina Komendantskaya, Daniel Kienitz, Robert Atkey, David Aspinall 0001. 67-85 [doi]
- A New Refinement Type System for Automated $\nu \text {HFL}_\mathbb {Z}$ Validity CheckingHiroyuki Katsura, Naoki Iwayama, Naoki Kobayashi 0001, Takeshi Tsukada. 86-104 [doi]
- Behavioural Types for Memory and Method Safety in a Core Object-Oriented LanguageMario Bravetti, Adrian Francalanza, Iaroslav Golovanov, Hans Hüttel, Mathias Jakobsen, Mikkel Kettunen, António Ravara. 105-124 [doi]
- Syntactically Restricting Bounded Polymorphism for Decidable SubtypingJulian Mackay, Alex Potanin, Jonathan Aldrich, Lindsay Groves. 125-144 [doi]
- An Abstract Machine for Strong Call by ValueMalgorzata Biernacka, Dariusz Biernacki, Witold Charatonik, Tomasz Drab. 147-166 [doi]
- Certified Semantics for Relational ProgrammingDmitry Rozplokhas, Andrey Vyatkin, Dmitry Boulytchev. 167-185 [doi]
- Algebraic and Coalgebraic Perspectives on Interaction LawsTarmo Uustalu, Niels F. W. Voorneveld. 186-205 [doi]
- Stack-Driven Program Generation of WebAssemblyÁrpád Perényi, Jan Midtgaard. 209-230 [doi]
- Banyan: Coordination-Free Distributed Transactions over Mergeable TypesShashank Shekhar Dubey, K. C. Sivaramakrishnan, Thomas Gazagnaire, Anil Madhavapeddy. 231-250 [doi]
- Automatically Generating Descriptive Texts in Logging Statements: How Far Are We?Xiaotong Liu, Tong Jia, Ying Li, Hao Yu, Yang Yue, Chuanjia Hou. 251-269 [doi]
- Parameterized Synthesis with Safety PropertiesOliver Markgraf, Chih-Duo Hong, Anthony W. Lin, Muhammad Najib, Daniel Neider. 273-292 [doi]
- Relational Synthesis for Pattern MatchingDmitry Kosarev, Petr Lozov, Dmitry Boulytchev. 293-310 [doi]
- REFINITY to Model and Prove Program Transformation RulesDominic Steinhöfel. 311-319 [doi]
- A Counterexample-Guided Debugger for Non-recursive DatalogVan-Dang Tran, Hiroyuki Kato, Zhenjiang Hu. 323-342 [doi]
- A Symbolic Algorithm for the Case-Split Rule in String Constraint SolvingYu-Fang Chen, Vojtech Havlena, Ondrej Lengál, Andrea Turrini. 343-363 [doi]
- 3: A Profiler Suite for Parallel Applications on the Java Virtual MachineAndrea Rosà, Walter Binder. 364-372 [doi]