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

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