Leaping Loops in the Presence of Abstraction
Abstract elided by the publisher.
Related papers
- Loop Leaping with Closures SAS 2012
- LEAP: A Tool for the Parametrized Verification of Concurrent Datatypes CAV 2014
- Bounded refinement types ICFP 2015
- Effective parallelization of loops in the presence of I/O operations PLDI 2012
- Loop Tiling in the Presence of Exceptions ECOOP 2015
- Scheduling and Mapping: Software Pipelining in the Presence of Structural Hazards PLDI 1995
- Conferences & Остраннeние: Shortchanging Topos and Ourselves Onward! 2022
- Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution) TACAS 2024