A DSL for Integer Range Reasoning: Partition, Interval and Mapping Diagrams (PADL 2020 - The 22nd International Symposium on Practical Aspects of Declarative Languages) - POPL 2020

Write a Blog >>

Sun 19 - Sat 25 January 2020 New Orleans, Louisiana, United States

Who

Johannes Eriksson, Masoumeh Parsa

Track

Time Zone

The program is currently displayed in (GMT-06:00) Saskatchewan, Central America.

Use conference time zone: (GMT-06:00) Saskatchewan, Central AmericaSelect 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

Tue 21 Jan 2020 10:55 - 11:20 at Bacchus - Small Languages and Implementation Chair(s): James Cheney

Johannes Eriksson

Masoumeh Parsa

Time Zone

The program is currently displayed in (GMT-06:00) Saskatchewan, Central America.

Use conference time zone: (GMT-06:00) Saskatchewan, Central AmericaSelect 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

Tue 21 Jan
Displayed time zone: Saskatchewan, Central America change

	10:30 - 12:00	Small Languages and ImplementationPADL at Bacchus Chair(s): James Cheney University of Edinburgh, UK

	10:30 25m Talk		Explanations for Dynamic Programming PADL Martin Erwig Oregon State University, Prashant Kumar , Alan Fern
	10:55 25m Talk		A DSL for Integer Range Reasoning: Partition, Interval and Mapping Diagrams PADL Johannes Eriksson , Masoumeh Parsa
	11:20 15m Short-paper		Variability-aware Datalog PADL Ramy Shahin , Marsha Chechik University of Toronto
	11:35 25m Other		Panel: Reasoning for machine learning at large PADL Adnan Darwiche UCLA, Johannes K. Fichte TU Dresden, Markus Hecher , Patrick Thier , Stefan Woltran , Farhad Shakerin , Gopal Gupta , Martin Erwig Oregon State University, Prashant Kumar , Alan Fern , Johannes Eriksson , Masoumeh Parsa , Ramy Shahin , Marsha Chechik University of Toronto