SwitchLog: A Logic Programming Language for Network Switches (PADL 2023 - : The 25th International Symposium on Practical Aspects of Declarative Languages)

Sun 15 - Sat 21 January 2023 Boston, Massachusetts, United States

Who

Vaibhav Mehta, Devon Loehr, John Sonchack, David Walker

Track

PADL 2023

Time Zone

The program is currently displayed in (GMT-05:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-05:00) Eastern Time (US & Canada)Select 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

Save

When

Mon 16 Jan 2023 11:30 - 12:00 at The Loft - Domain Specific Languages Chair(s): Sarat Chandra Varanasi

Vaibhav Mehta

Princeton University

United States

Devon Loehr

Princeton University

United States

John Sonchack

University of Pennsylvania, USA

David Walker

Princeton University

United States

Time Zone

The program is currently displayed in (GMT-05:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-05:00) Eastern Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Mon 16 Jan
Displayed time zone: Eastern Time (US & Canada) change

11:00 - 12:30	Domain Specific LanguagesPADL at The Loft Chair(s): Sarat Chandra Varanasi The University of Texas at Dallas, General Electric Research

11:00 30m Talk		Fluo: A Domain-Specific Language for Experiments in Fluorescence Microscopy (Application Paper) PADL Birthe van den Berg KU Leuven, Tom Schrijvers KU Leuven, Peter Dedecker KU Leuven
11:30 30m Talk		SwitchLog: A Logic Programming Language for Network Switches PADL Vaibhav Mehta Princeton University, Devon Loehr Princeton University, John Sonchack University of Pennsylvania, USA, David Walker Princeton University
12:00 30m Talk		Formalizing and Reasoning about Contracts between Agents PADL Dylan Flynn , Chasity Nadeau , Jeannine Shantz , Marcello Balduccini Saint Joseph's University, USA, Tran Cao Son New Mexico State University, Edward Griffor