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) Greenwich Mean Time : Belfast.

Use conference time zone: (GMT) Greenwich Mean Time : 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 C. 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) Greenwich Mean Time : Belfast.

Use conference time zone: (GMT) Greenwich Mean Time : 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
Times are displayed in time zone: Greenwich Mean Time : Belfast change

	15:21 - 16:49	TimeResearch Papers at Sala II Chair(s): Andrew C. MyersCornell University

	15:21 22m Talk		Type-Guided Worst-Case Input Generation Research Papers Di WangCarnegie Mellon University, Jan HoffmannCarnegie 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 WattUniversity of Cambridge, John RennerUniversity of California, San Diego, Natalie PopescuUniversity of California San Diego, Sunjay CauligiUCSD, Deian StefanUniversity of California San Diego Link to publication DOI Media Attached File Attached
	16:05 22m Talk		Modular Quantitative Monitoring Research Papers Rajeev AlurUniversity of Pennsylvania, Konstantinos MamourasUniversity of Pennsylvania, Caleb StanfordUniversity of Pennsylvania Link to publication DOI Media Attached File Attached
	16:27 22m Talk		CSS Minification via Constraint SolvingTOPLAS Research Papers Matthew HagueRoyal Holloway, University of London, Anthony Widjaja LinOxford University, Chih-Duo HongUniversity of Oxford Media Attached File Attached