SMT Theory Arbitrage: Approximating Unbounded Constraints using Bounded Theories (PLDI 2024 - PLDI Research Papers) - PLDI 2024

Mon 24 - Fri 28 June 2024 Copenhagen, Denmark

Who

Benjamin Mikek, Qirun Zhang

Track

PLDI 2024 PLDI Research Papers

Time Zone

The program is currently displayed in (GMT+02:00) Windhoek.

Use conference time zone: (GMT+02:00) WindhoekSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Thu 27 Jun 2024 14:20 - 14:40 at Sweden - Solvers for Fun and Profit Chair(s): Santosh Nagarakatte

DOI

https://doi.org/10.1145/3656387

Benjamin Mikek

Georgia Institute of Technology

Qirun Zhang

Georgia Institute of Technology

United States

Time Zone

The program is currently displayed in (GMT+02:00) Windhoek.

Use conference time zone: (GMT+02:00) WindhoekSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

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