Intermittent Concurrency (POPL 2025 - Student Research Competition) - POPL 2025

Sun 19 - Sat 25 January 2025 Denver, Colorado, United States

Who

Myra Dotzel, Milijana Surbatovich, Limin Jia

Track

POPL 2025 Student Research Competition

Time Zone

The program is currently displayed in (GMT-07:00) Mountain Time (US & Canada).

Use conference time zone: (GMT-07:00) Mountain Time (US & Canada)Select 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

Wed 22 Jan 2025 18:00 - 20:00 at Four Square Corridor - SRC Poster Session

Myra Dotzel

Carnegie Mellon University

United States

Milijana Surbatovich

University of Maryland

Limin Jia

Carnegie Mellon University

Time Zone

The program is currently displayed in (GMT-07:00) Mountain Time (US & Canada).

Use conference time zone: (GMT-07:00) Mountain Time (US & Canada)Select 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

Wed 22 Jan
Displayed time zone: Mountain Time (US & Canada) change

	18:00 - 20:00	SRC Poster SessionStudent Research Competition at Four Square Corridor

	18:00 2h Poster		Efficient Strong Simulation of High-level Quantum Gates Student Research Competition Adam Husted Kjelstrøm
	18:00 2h Poster		Value semantics in reference-based languages Student Research Competition Hamza Remmal EPFL, LAMP
	18:00 2h Poster		Intermittent Concurrency Student Research Competition Myra Dotzel Carnegie Mellon University, Milijana Surbatovich University of Maryland, Limin Jia Carnegie Mellon University
	18:00 2h Poster		APIdemic: Verifying Idempotency of REST API Clients Student Research Competition Bhavik Kamlesh Goplani University of Kansas
	18:00 2h Poster		Formalizing Erlang’s Success Typings Student Research Competition Elan Semenova University of Maryland, College Park, Leonidas Lampropoulos University of Maryland, College Park
	18:00 2h Poster		A Complete Translation from Planning Problems to linear logic Student Research Competition Luis Hernan Garcia Paucar Aston University, Chris Martens Northeastern University
	18:00 2h Poster		Wanco: WebAssembly AOT Compiler that supports Live Migration Student Research Competition Raiki Tamura Kyoto University, Daisuke Kotani Kyoto University, Yasuo Okabe Kyoto University
	18:00 2h Poster		Increasing the Expressiveness of a Gradual Verifier Student Research Competition Priyam Gupta Purdue University
	18:00 2h Poster		M3: A Multi-Stage ML with Mutation Student Research Competition Maite Kramarz University of Toronto
	18:00 2h Poster		Loop Invariants Using Neural Networks Student Research Competition Atticus Kuhn University of Cambridge, Abhinandan Pal University of Birmingham, Mirco Giacobbe University of Birmingham
	18:00 2h Poster		Property Testing Trace Languages Student Research Competition Jed Koh Jin Keat National University of Singapore
	18:00 2h Poster		Optimizing Asynchronous Rust with Hydroflow Student Research Competition Ryan Alameddine University of California, Berkeley
	18:00 2h Poster		Relational Hoare Logic for Sequential Program Verification Student Research Competition Shushu Wu Shanghai Jiao Tong University
	18:00 2h Poster		Expanding the Scope of Grammar-Based Enumerative Testing Student Research Competition Thea Kjeldsmark University of California, Irvine
	18:00 2h Poster		System $F^\omega$ with Coherent Implicit Resolution Student Research Competition Eugene Flesselle EPFL
	18:00 2h Poster		The Store-Order Consistency Testing Problem for C-like Memory Models Student Research Competition Grace Tan National University of Singapore
	18:00 2h Poster		Formalizing Representation Transformations: A Case Study of Bit Vector Types Student Research Competition Katherine Philip Portland State University