Four Square Corridor

VenueCurtis Hotel Denver

Room nameFour Square Corridor

Floor0

Room InformationNo extra information available

Program

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

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

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

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


Room	18:00						30						19:00						30
Four Square Corridor	Student Research Competition SRC Poster Session

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


Room	18:00			15			30			45			19:00			15			30			45
Four Square Corridor	POPL Student Research Competition Efficient Strong Simulation of High-level Quantum Gates 18:00 - 20:00 Value semantics in reference-based languages 18:00 - 20:00 Intermittent Concurrency 18:00 - 20:00 APIdemic: Verifying Idempotency of REST API Clients 18:00 - 20:00 Formalizing Erlang’s Success Typings 18:00 - 20:00 A Complete Translation from Planning Problems to linear logic 18:00 - 20:00 Wanco: WebAssembly AOT Compiler that supports Live Migration 18:00 - 20:00 Increasing the Expressiveness of a Gradual Verifier 18:00 - 20:00 M3: A Multi-Stage ML with Mutation 18:00 - 20:00 Loop Invariants Using Neural Networks 18:00 - 20:00 Property Testing Trace Languages 18:00 - 20:00 Optimizing Asynchronous Rust with Hydroflow 18:00 - 20:00 Relational Hoare Logic for Sequential Program Verification 18:00 - 20:00 Expanding the Scope of Grammar-Based Enumerative Testing 18:00 - 20:00 System $F^\omega$ with Coherent Implicit Resolution 18:00 - 20:00 The Store-Order Consistency Testing Problem for C-like Memory Models 18:00 - 20:00 Formalizing Representation Transformations: A Case Study of Bit Vector ... 18:00 - 20:00

Room information: Four Square Corridor

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

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

Student Research Competition

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

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

Room information: Four Square Corridor

Program Display Configuration

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

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

Student Research Competition

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

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

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

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