Abstract is missing.
- Brzozowski's and Up-To Algorithms for Must TestingFilippo Bonchi, Georgiana Caltais, Damien Pous, Alexandra Silva. 1-16 [doi]
- Practical Alternating Parity Tree Automata Model Checking of Higher-Order Recursion SchemesKoichi Fujima, Sohei Ito, Naoki Kobayashi 0001. 17-32 [doi]
- Model Checking Dynamic Pushdown NetworksFu Song, Tayssir Touili. 33-49 [doi]
- Robustness Analysis of Finite Precision ImplementationsEric Goubault, Sylvie Putot. 50-57 [doi]
- A Hoare Logic for SIMT ProgramsKensuke Kojima, Atsushi Igarashi. 58-73 [doi]
- The Undefined Domain: Precise Relational Information for Entities That Do Not ExistHolger Siegel, Bogdan Mihaila, Axel Simon. 74-89 [doi]
- Separation Logic Modulo TheoriesJuan Antonio Navarro Pérez, Andrey Rybalchenko. 90-106 [doi]
- Bi-Abduction with Pure Properties for Specification InferenceMinh-Thai Trinh, Quang Loc Le, Cristina David, Wei-Ngan Chin. 107-123 [doi]
- Laws of Programming for ReferencesGiovanny Lucero, David A. Naumann, Augusto Sampaio. 124-139 [doi]
- Dynamic Alias Protection with Aliasing ContractsJanina Voigt, Alan Mycroft. 140-155 [doi]
- Fine-Grained Function Visibility for Multiple Dispatch with Multiple InheritanceJieung Kim, Sukyoung Ryu, Victor Luchangco, Guy L. Steele Jr.. 156-171 [doi]
- Internal Deployment of the Parfait Static Code Analysis Tool at Oracle - (Invited Talk)Cristina Cifuentes, Nathan Keynes. 172-175 [doi]
- Secure Compilation of Object-Oriented Components to Protected Module ArchitecturesMarco Patrignani, Dave Clarke, Frank Piessens. 176-191 [doi]
- Generalized Quantitative Analysis of Metric Transition SystemsUli Fahrenberg, Axel Legay. 192-208 [doi]
- GDSL: A Universal Toolkit for Giving Semantics to Machine LanguageJulian Kranz, Alexander Sepp, Axel Simon. 209-216 [doi]
- Paragon for Practical Programming with Information-Flow ControlNiklas Broberg, Bart van Delft, David Sands. 217-232 [doi]
- ThisJava: An Extension of Java with Exact TypesHyunik Na, Sukyoung Ryu. 233-240 [doi]
- Semantics of Probabilistic Programs: A Weak Limit ApproachAlessandra Di Pierro, Herbert Wiklicky. 241-256 [doi]
- Ambivalent Types for Principal Type Inference with GADTsJacques Garrigue, Didier Rémy. 257-272 [doi]
- Temporal Specification Mining for Anomaly AnalysisFarn Wang, Jung-Hsuan Wu, Chung-Hao Huang, Cheng-Chieh Chang, Chung-Cheng Li. 273-289 [doi]
- Automated Inference of Library Specifications for Source-Sink Property VerificationHaiyan Zhu, Thomas Dillig, Isil Dillig. 290-306 [doi]
- The Proof Assistant as an Integrated Development EnvironmentNick Benton. 307-314 [doi]
- Sorting and Searching by Distribution: From Generic Discrimination to Generic TriesFritz Henglein, Ralf Hinze. 315-332 [doi]
- Environmental Bisimulations for Delimited-Control OperatorsDariusz Biernacki, Sergueï Lenglet. 333-348 [doi]
- On Bar Recursion and Choice in a Classical SettingValentin Blot, Colin Riba. 349-364 [doi]
- Proofs, Upside Down - A Functional Correspondence between Natural Deduction and the Sequent CalculusMatthias Puech. 365-380 [doi]