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

This program is tentative and subject to change.

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

DOI

https://doi.org/10.1145/3656387

Benjamin Mikek

Georgia Institute of Technology

Qirun Zhang

Georgia Institute of Technology

United States

This program is tentative and subject to change.

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

	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