VenueThe Catamaran Resort, San Diego
Room nameBoardroom West
Room InformationNo extra information available
Program

This program is tentative and subject to change.

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

Wed 15 Jun

Displayed time zone: Pacific Time (US & Canada) change

17:30 - 19:00
Student Research Competition (SRC) Session and ReceptionSRC at Boardroom West
17:30
90m
Poster
Control Logic Synthesis Using Formal ISA Specifications
SRC
Benjamin Darnell University of California, Santa Barbara
17:30
90m
Poster
Coupled Applicative Functors
SRC
Elizaveta Vasilenko IMDEA Software Institute
17:30
90m
Poster
Program Synthesis for Processor Development Using Formal Specifications
SRC
Zachary Sisco UC Santa Barbara
17:30
90m
Poster
Path Alignment Automata are Probabilistic Couplings
SRC
Qian Meng Cornell university
17:30
90m
Poster
Multi-Phase Invariant Synthesis
SRC
Daniel Riley Florida State University
17:30
90m
Poster
Finding Good Generators with Multi-Armed Bandits
SRC
Joseph W. Cutler University of Pennsylvania
17:30
90m
Poster
Impacts of Range Reduction on Polynomial Approximation Efficiency
SRC
Sehyeok Park Rutgers University
17:30
90m
Poster
Automating NISQ Application Design with Meta Quantum Circuits with Constraints (MQCC)
SRC
Haowei Deng University of Maryland at College Park
17:30
90m
Poster
A Type System for Safe Intermittent Computing
SRC
Milijana Surbatovich Carnegie Mellon University
17:30
90m
Poster
PBUnit: A Live Programming Environment for Unit Testing
SRC
Justin Du University of California, San Diego, Mandeep Syal University of California, San Diego, Thanh-Nha Tran University of California, San Diego
17:30
90m
Poster
Visualization with Refinement Types
SRC
Junrui Liu University of California, Santa Barbara

Thu 16 Jun

Displayed time zone: Pacific Time (US & Canada) change

10:30 - 11:50
Student Research Competition (SRC) Finals SessionSRC at Boardroom West

Wed 15 Jun

Displayed time zone: Pacific Time (US & Canada) change

Thu 16 Jun

Displayed time zone: Pacific Time (US & Canada) change