Applying Jlint to Space Exploration Software
Abstract elided by the publisher.
Related papers
- Staging for generic programming in space and time GPCE 2017
- A Compiler Approach to Fast Hardware Design Space Exploration in FPGA-based Systems PLDI 2002
- Dynamic partial-order reduction for model checking software POPL 2005
- Exhaustive Optimization Phase Order Space Exploration CGO 2006
- Concolic program repair PLDI 2021
- Exploring the space of optimization sequences for code-size reduction: insights and tools CC 2021
- Exponentially Expanding the Phase-Ordering Search Space via Dormant Information CC 2024
- The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog OOPSLA 2023