PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark
Thu 27 Jun 2024 14:00 - 14:20 at Sweden - Solvers for Fun and Profit Chair(s): Santosh Nagarakatte

Thu 27 Jun

Displayed time zone: Windhoek change

13:40 - 14:40
Solvers for Fun and ProfitPLDI Research Papers at Sweden
Chair(s): Santosh Nagarakatte Rutgers University
13:40
20m
Talk
SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques
PLDI Research Papers
Elvira Albert Complutense University of Madrid, Maria Garcia de la Banda Monash University, Alejandro Hernández-Cerezo Complutense University of Madrid, Alexey Ignatiev Monash University, Albert Rubio Complutense University of Madrid, Peter J. Stuckey Monash University
DOI
14:00
20m
Talk
Inductive Approach to Spacer
PLDI Research Papers
Takeshi Tsukada Chiba University, Hiroshi Unno Tohoku University
DOI
14:20
20m
Talk
SMT Theory Arbitrage: Approximating Unbounded Constraints using Bounded Theories
PLDI Research Papers
Benjamin Mikek Georgia Institute of Technology, Qirun Zhang Georgia Institute of Technology
DOI