Abstract is missing.
- Static Analysis by Abstract Interpretation of Numerical Programs and Systems, and FLUCTUATEric Goubault. 1-3 [doi]
- Static Analysis in the Continuously Changing WorldSriram Sankaranarayanan. 4-5 [doi]
- Abstract Interpretation over Non-lattice Abstract DomainsGraeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey. 6-24 [doi]
- Localizing Widening and NarrowingGianluca Amato, Francesca Scozzari. 25-42 [doi]
- The Abstract Domain of Segmented Ranking FunctionsCaterina Urban. 43-62 [doi]
- Symbolic Automata for Static Specification MiningHila Peleg, Sharon Shoham, Eran Yahav, Hongseok Yang. 63-83 [doi]
- Predicate Abstraction for Relaxed Memory ModelsAndrei Marian Dan, Yuri Meshman, Martin T. Vechev, Eran Yahav. 84-104 [doi]
- On Solving Universally Quantified Horn ClausesNikolaj Bjørner, Kenneth L. McMillan, Andrey Rybalchenko. 105-125 [doi]
- From Concrete Examples to Heap Manipulating ProgramsSubhajit Roy. 126-149 [doi]
- Local Shape Analysis for Overlaid Data StructuresCezara Dragoi, Constantin Enea, Mihaela Sighireanu. 150-171 [doi]
- Quantified Data Automata on Skinny Trees: An Abstract Domain for ListsPranav Garg 0001, P. Madhusudan, Gennaro Parlato. 172-193 [doi]
- Static Validation of Dynamically Generated HTML Documents Based on Abstract Parsing and Semantic ProcessingHyunha Kim, Kyung-Goo Doh, David A. Schmidt. 194-214 [doi]
- Byte-Precise Verification of Low-Level List ManipulationKamil Dudka, Petr Peringer, Tomás Vojnar. 215-237 [doi]
- Abstract Semantic Differencing for Numerical ProgramsNimrod Partush, Eran Yahav. 238-258 [doi]
- Precise Slicing in Imperative Programs via Term-Rewriting and Abstract InterpretationRaghavan Komondoor. 259-282 [doi]
- Automatic Synthesis of Deterministic ConcurrencyVeselin Raychev, Martin T. Vechev, Eran Yahav. 283-303 [doi]
- Witnessing Program TransformationsKedar S. Namjoshi, Lenore D. Zuck. 304-323 [doi]
- Formal Verification of a C Value Analysis Based on Abstract InterpretationSandrine Blazy, Vincent Laporte, André Maroneze, David Pichardie. 324-344 [doi]
- Efficient Generation of Correctness Certificates for the Abstract Domain of PolyhedraAlexis Fouilhé, David Monniaux, Michaël Périn. 345-365 [doi]
- Static Provenance Verification for Message Passing ProgramsRupak Majumdar, Roland Meyer, Zilong Wang. 366-387 [doi]
- Verification as Learning Geometric ConceptsRahul Sharma 0001, Saurabh Gupta, Bharath Hariharan, Alex Aiken, Aditya V. Nori. 388-411 [doi]
- Interpolation-Based Verification of Floating-Point Programs with Abstract CDCLMartin Brain, Vijay D'Silva, Alberto Griggio, Leopold Haller, Daniel Kroening. 412-432 [doi]
- Concise Analysis Using Implication Algebras for Task-Local Memory OptimisationLeo White, Alan Mycroft. 433-453 [doi]
- Automatic Verification of Erlang-Style ConcurrencyEmanuele D'Osualdo, Jonathan Kochems, C.-H. Luke Ong. 454-476 [doi]
- Contextual Locking for Dynamic Pushdown NetworksPeter Lammich, Markus Müller-Olm, Helmut Seidl, Alexander Wenner. 477-498 [doi]