SAS2018 - Closing the Performance Gap Between Doubles and Rationals for Octagons (by Andy King)
SAS2018 - Incremental Verification Using Trace Abstraction (by Matthias Heizmann)
Rampage 2018 - SASASAS
SAS2018 - The Misra C Coding Standard and its Role in the Development (by Roberto Bagnara)
SAS2018 - A Reduced Product of Error Bounds of Floating-point Analysis (by Maxime Jacquemin)
SAS2018 - Efficiently Learning Safety Proofs from Appearance (by Sumanth Prabhu)
SAS2018 - Abstract Interpretation of CTL Properties (by Peter Müller)
SAS2018 - Fairness: A Formal Methods Perspective (Invited Talk by Aws Albarghouthi)
SAS2018 - Verifying Bounded Subset-Closed Hyperproperties (by Michele Pasqua)
SAS2018 - Verifying Properties of Differentiable Programs (by Jan Hückelheim)
Darryll speaks at the SAS2018
SAS2018 - Block-size Independence for GPU Programs (by Nimit Singhania)
SAS2018 - Applications of Software Synthesis: Verification of Configuration Files (by Ruzica Piskac)
SAS2018 - Modular Static Analysis of String Manipulations in C Programs (by Matthieu Journault)
SAS2018 - Extending Constraint-Only Representation of Polyhedra (by Alexey Bakhirkin)
SAS2018 - Inductive Termination Proofs with Transition Invariants (by Florian Zuleger)
SAS2018 - Process-Local Static Analysis of Synchronous Processes (by Jan Midtgaard)
SAS2018 - The Impact of Program Transformations on Static Program Analysis (by Zvonimir Pavlinovic)
SAS2018 Gear Feature: ISMT
SAS2018 - Abstract Interpretation of Stateful Networks (by Kalev Alpernas)