Cascade 2.0
Abstract elided by the publisher.
Related papers
- Cascade - (Competition Contribution) TACAS 2015
- cascade: C Assertion Checker and Deductive Engine CAV 2006
- Cascade: A Meta-language for Change, Cause and Effect SLE 2023
- Don't Panic! Better, Fewer, Syntax Errors for LR Parsers ECOOP 2020
- An improved algorithm for slicing machine code OOPSLA 2016
- Automated reasoning for web page layout OOPSLA 2016
- CSS Minification via Constraint Solving TOPLAS 2019
- Minotaur: A SIMD-Oriented Synthesizing Superoptimizer OOPSLA 2024