CSS Minification via Constraint Solving (POPL 2019 - Research Papers) - POPL 2019

Sun 13 - Sat 19 January 2019 Cascais, Portugal

Who

Matthew Hague, Anthony Widjaja Lin, Chih-Duo Hong

Track

POPL 2019 Research Papers

Time Zone

The program is currently displayed in (GMT) Belfast.

Use conference time zone: (GMT) BelfastSelect 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 17 Jan 2019 16:27 - 16:49 at Sala II - Time Chair(s): Andrew Myers

File attachments

CSS Minification via Constraint Solving (talk.pdf)	916KiB

Matthew Hague

Royal Holloway, University of London

Anthony Widjaja Lin

Oxford University

United Kingdom

Chih-Duo Hong

University of Oxford

Taiwan

YouTube Video

Time Zone

The program is currently displayed in (GMT) Belfast.

Use conference time zone: (GMT) BelfastSelect 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 17 Jan
Displayed time zone: Belfast change

	15:21 - 16:49	TimeResearch Papers at Sala II Chair(s): Andrew Myers Cornell University

	15:21 22m Talk		Type-Guided Worst-Case Input Generation Research Papers Di Wang Carnegie Mellon University, Jan Hoffmann Carnegie Mellon University Link to publication DOI Pre-print Media Attached File Attached
	15:43 22m Talk		CT-Wasm: Type-Driven Secure Cryptography for the Web Ecosystem Research Papers Conrad Watt University of Cambridge, John Renner University of California, San Diego, Natalie Popescu University of California San Diego, Sunjay Cauligi UCSD, Deian Stefan University of California San Diego Link to publication DOI Media Attached File Attached
	16:05 22m Talk		Modular Quantitative Monitoring Research Papers Rajeev Alur University of Pennsylvania, Konstantinos Mamouras University of Pennsylvania, Caleb Stanford University of Pennsylvania Link to publication DOI Media Attached File Attached
	16:27 22m Talk		CSS Minification via Constraint SolvingTOPLAS Research Papers Matthew Hague Royal Holloway, University of London, Anthony Widjaja Lin Oxford University, Chih-Duo Hong University of Oxford Media Attached File Attached