Predicate Monads: A Framework for Proving Generic Properties of Monadic Programs via Rewriting (CoqPL 2017 - The Third International Workshop on Coq for Programming Languages) - POPL 2017

Sun 15 - Sat 21 January 2017

Who

Edwin Westbrook, Gregory Malecha

Track

Time Zone

The program is currently displayed in (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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

Sat 21 Jan 2017 11:20 - 11:45 at Auditorium - Morning Session Chair(s): Alan Schmitt

File attachments

Abstract (CoqPL_2017_paper_11.pdf)	135KiB

Edwin Westbrook

Galois, Inc.

Gregory Malecha

UCSD

Time Zone

The program is currently displayed in (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect 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

Sat 21 Jan
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	10:30 - 12:10	Morning SessionCoqPL at Auditorium Chair(s): Alan Schmitt Inria

	10:30 25m Talk		IxFree: Step-Indexed Logical Relations in Coq CoqPL Piotr Polesiuk File Attached
	10:55 25m Talk		Logical Relations in Iris CoqPL Amin Timany imec - Distrinet, KU Leuven, Robbert Krebbers Delft University of Technology, Netherlands, Lars Birkedal Aarhus University File Attached
	11:20 25m Talk		Predicate Monads: A Framework for Proving Generic Properties of Monadic Programs via Rewriting CoqPL Edwin Westbrook Galois, Inc., Gregory Malecha UCSD File Attached
	11:45 25m Talk		ppsimpl: a reflexive Coq tactic for canonising goals CoqPL Frédéric Besson File Attached