SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
VenueOnline
Room nameSPLASH-IV
Floor0
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 15 Nov

Displayed time zone: Central Time (US & Canada) change

09:00 - 10:20
10:00-- Logic in Program Specification and AnalysisLPOP at SPLASH-IV
Chair(s): Y. Annie Liu Stony Brook University
10:00
10m
Day opening
Opening and Introduction
LPOP
Peter Van Roy Université catholique de Louvain
10:10
40m
Talk
Invited Talk: If You're Not Writing a Program, Don't Use a Programming Language
LPOP
I: Leslie Lamport Microsoft Research
10:50
15m
Paper
Deductive Synthesis of the Unification Algorithm: The Automation of Introspection
LPOP
11:05
15m
Paper
Logic in Program Analysis and Verification
LPOP
Patrick Cousot New York University
11:20
30m
Live Q&A
Panel: Logic in Program Specification: Where Has It Failed? How Can We Fix It?
LPOP
Leslie Lamport Microsoft Research, Richard Waldinger , Patrick Cousot New York University, C: David Warren Stony Brook University
11:50
10m
Break
Break: Ask Me Anything
LPOP
Michael Leuschel University of DĂĽsseldorf, C: Jorge Lobo ICREA and Universitat Pompeu Fabra
11:00 - 12:20
12:00-- Logic in Artificial Intelligence and Machine LearningLPOP at SPLASH-IV
Chair(s): Peter Van Roy Université catholique de Louvain
12:00
40m
Talk
Invited Talk: Logic, Probability, Knowledge, and Learning
LPOP
I: Stuart Russell University of California, Berkeley
12:40
15m
Paper
Training Neural Networks to Do Logic, with Logic
LPOP
Paul Tarau University of North Texas
12:55
10m
Break
Break: Ask Me Anything
LPOP
13:00 - 14:20
13:05-- Logic and Implementation TractabilityLPOP at SPLASH-IV
Chair(s): Y. Annie Liu Stony Brook University
13:05
40m
Talk
Invited Talk: Tractable Boolean Circuits: Applications and Compilation Algorithms
LPOP
13:45
30m
Live Q&A
Panel: Logic in Artificial Intelligence: Don’t Machine Learning and Neural Networks Do It All?
LPOP
Stuart Russell University of California, Berkeley, Paul Tarau University of North Texas, Adnan Darwiche UCLA, C: David Warren Stony Brook University
14:15
10m
Break
Break: Ask Me Anything
LPOP
Manuel Hermenegildo IMDEA Software Institute and T.U. of Madrid, C: Martin Gebser University of Klagenfurt, Austria
15:00 - 16:20
14:25-- Logic and Language ExpressivenessLPOP at SPLASH-IV
Chair(s): Peter Van Roy Université catholique de Louvain
14:25
40m
Talk
Invited Talk: From CLP(R) to MiniZinc: There and Back Again
LPOP
I: Peter Stuckey University of Melbourne
15:05
15m
Paper
Logical English
LPOP
15:20
10m
Paper
Flamingo, a Compiler and Runtime for Reactive ALM Systems
LPOP
15:30
30m
Live Q&A
Panel: Since Logic Languages Are So Good, Why Aren’t They Pervasive?
LPOP
Peter Stuckey University of Melbourne, Robert Kowalski , Daniel Hines , C: David Warren Stony Brook University

Mon 16 Nov

Displayed time zone: Central Time (US & Canada) change

07:00 - 08:20
Welcome to REBLS & KeynoteREBLS at SPLASH-IV
Chair(s): Ivan Perez NIA / NASA Formal Methods
07:00
20m
Day opening
Welcome to REBLS
REBLS
Ivan Perez NIA / NASA Formal Methods
07:20
60m
Keynote
Keynote: SCADE 6
REBLS
09:00 - 10:20
Session 1REBLS at SPLASH-IV
Chair(s): Ivan Perez NIA / NASA Formal Methods
09:00
40m
Research paper
Debugging RxJS-based Applications
REBLS
Manuel Alabor University of Applied Sciences of Eastern Switzerland (OST)
File Attached
09:40
40m
Talk
Managing Persistent Signals using Signal Classes
REBLS
Tetsuo Kamina Oita University, Tomoyuki Aotani Mamezou Co.,Ltd., Hidehiko Masuhara Tokyo Institute of Technology
File Attached
11:00 - 12:20
Session 2REBLS at SPLASH-IV
Chair(s): Mark Santolucito Barnard College, Columbia University, USA
11:00
40m
Research paper
Asynchronous Monad for Reactive IoT Programming
REBLS
Tian Zhao University of Wisconsin-Milwaukee, Adam Berger University of Wisconsin -- Milwaukee, Yonglun Li University of Wisconsin -- Milwaukee
File Attached
11:40
40m
Research paper
The essence of live coding: Change the program, keep the state!
REBLS
Manuel Bärenz sonnen eServices GmbH
13:00 - 14:20
Session 3REBLS at SPLASH-IV
Chair(s): Manuel Bärenz sonnen eServices GmbH
13:00
40m
Talk
An Introduction to Denotative Continuous Spacetime Programming (Work in Progress)
REBLS
Adriaan Leijnse Universidade NOVA de Lisboa
File Attached
13:40
40m
Talk
Reactive Sorting Networks
REBLS
Bjarno Oeyen Vrije Universiteit Brussel, Sam Van den Vonder Vrije Universiteit Brussel, Wolfgang De Meuter Vrije Universiteit Brussel
15:00 - 16:20
Session 4REBLS at SPLASH-IV
Chair(s): Ivan Perez NIA / NASA Formal Methods
15:00
40m
Talk
Multitier Languages for Reactive Microservice Architectures
REBLS
Simon Schoenwaelder TU Darmstadt, Pascal Weisenburger TU Darmstadt, Guido Salvaneschi University of St. Gallen
File Attached
15:40
20m
Day closing
Closing remarks
REBLS
Ivan Perez NIA / NASA Formal Methods

Tue 17 Nov

Displayed time zone: Central Time (US & Canada) change

01:00 - 02:20
Invited TalkNSAD at SPLASH-IV
Chair(s): Khalil Ghorbal Inria, France
01:00
80m
Keynote
Invited Talk: Abstract Domains in SMT Solving for Real Algebra
NSAD
Erika Abraham RWTH Aachen University
03:00 - 04:20
PapersNSAD at SPLASH-IV
Chair(s): Liqian Chen National University of Defense Technology, China, Khalil Ghorbal Inria, France
03:00
20m
Paper
Abstract Domains for Constraint Programming with Differential Equations
NSAD
03:20
20m
Paper
Numeric Domains Meet Algebraic Data Types
NSAD
Santiago Bautista Univ Rennes, ENS Rennes, Inria, IRISA, Thomas P. Jensen INRIA Rennes, Benoît Montagu Inria
03:40
20m
Paper
Proving array properties using data abstraction
NSAD
Julien Braine , Laure Gonnord University of Lyon & LIP, France
04:00
20m
Paper
Rigorous Linear Programming Techniques for Numerical Abstract Domains
NSAD
Tengbin Wang , Liqian Chen National University of Defense Technology, China, Ji Wang
09:00 - 13:00
HILT workshop Tuesday sessionsHILT at SPLASH-IV
Chair(s): Robert Bocchino NASA/Caltech Jet Propulsion Laboratory, Tucker Taft AdaCore, United States, Richard Wai ANNEXI-STRAYLINE

Tuesday HILT zoom room – Tuesday HILT YouTube – HILT Clowdr Break Room

09:00
60m
Keynote
Tuesday Keynote: ZeroMQ - The world-saving superhero sockets of the networking world
HILT
Arnaud Loonstra Utrecht School of the Arts, Netherlands, Kevin Sapper codecentric AG
10:00
10m
Coffee break
Tuesday early coffee break
HILT

10:10
25m
Talk
XERIS/APEX: Hyperscaling with Ada
HILT
Richard Wai ANNEXI-STRAYLINE
10:35
25m
Talk
Challenges and lessons learned introducing Fuse, an evolving open source technology, into an established legacy Ada and C++ program
HILT
11:00
10m
Coffee break
Tuesday later coffee break
HILT

11:10
25m
Talk
Productive Parallel Programming with Parsl
HILT
Kyle Chard University of Chicago
11:35
25m
Talk
Building a Culture of Safe and Performant Systems with the Rust Programming Language
HILT
James Munns Ferrous Systems
12:00
60m
Other
Tuesday Panel: Language support for parallel and distributed computing
HILT
P: Tucker Taft AdaCore, United States, P: Kyle Chard University of Chicago, P: James Munns Ferrous Systems, P: Richard Wai ANNEXI-STRAYLINE

Wed 18 Nov

Displayed time zone: Central Time (US & Canada) change

11:00 - 12:20
Formal MethodsHATRA at SPLASH-IV
Chair(s): Michael Coblenz University of Maryland at College Park
11:00
20m
Meeting
Welcome and Introductions
HATRA

11:20
20m
Talk
Towards user-friendliness in proof assistants: automated strategies algebraic effects and handlers
HATRA
April Gonçalves Metastate AG
Pre-print
11:40
20m
Talk
Towards making formal methods normal: meeting developers where they are
HATRA
Alastair Reid Arm Ltd, Luke Church University of Cambridge, Shaked Flur Google Research, Sarah de Haas Google Research, Maritza Johnson Google Research, Ben Laurie Google Research
Link to publication
13:00 - 14:20
TypesHATRA at SPLASH-IV
Chair(s): Peter-Michael Osera Grinnell College
13:00
20m
Talk
The Usability of Ownership
HATRA
Will Crichton Stanford University
Link to publication
13:20
20m
Talk
RustViz: Interactively Visualizing Ownership and Borrowing
HATRA
Gongming (Gabriel) Luo University of Michigan, Vishnu Reddy University of Michigan, Marcelo Almeida University of Michigan, Yingying Zhu University of Michigan, Ke Du University of Michigan, Cyrus Omar University of Michigan
Link to publication Pre-print
13:40
20m
Talk
Guiding user annotations for units-of-measure verification
HATRA
Dominic Orchard University of Kent, UK, Mistral Contrastin Facebook London, Matthew Danish University of Cambridge, UK, Andrew Rice University of Cambridge, UK
Link to publication
15:00 - 16:20
DesignHATRA at SPLASH-IV
Chair(s): Luke Church University of Cambridge
15:00
20m
Talk
Programming languages shouldn't and needn't be Turing complete
HATRA
Pre-print
15:20
20m
Talk
User-Centered Programming Language Design: A Course-Based Case Study
HATRA
Michael Coblenz University of Maryland at College Park, Ariel Davis Carnegie Mellon University, Megan Hofmann Carnegie Mellon University, Vivian Huang Carnegie Mellon University, Siyue Jin Carnegie Mellon University, Max Krieger , Kyle Liang Carnegie Mellon University, Brian Wei Carnegie Mellon University, Mengchen Sam Yong Carnegie Mellon University, Jonathan Aldrich Carnegie Mellon University
Link to publication
15:40
20m
Meeting
Day 1 Discussion
HATRA

Thu 19 Nov

Displayed time zone: Central Time (US & Canada) change

11:00 - 12:20
11:00
80m
Poster
Student Research Competition
Student Research Competition

Fri 20 Nov

Displayed time zone: Central Time (US & Canada) change

09:00 - 10:20
Welcome and KeynoteSPLASH-E at SPLASH-IV
Chair(s): Elisa Baniassad University of British Columbia, Charlie Curtsinger Grinnell College

Keynote Conversation on Diversity, Equity and Inclusion in CS Education with Dr. Nicki Washington

09:00
10m
Day opening
Welcome
SPLASH-E
Charlie Curtsinger Grinnell College, Elisa Baniassad University of British Columbia
09:10
70m
Keynote
SPLASH-E Keynote
SPLASH-E
Nicki Washington Duke University
13:00 - 14:20
Panel: Engineering for Chaos -- Lessons Learned from COVID-19SPLASH-E at SPLASH-IV
Chair(s): Steven D. Fraser

Panelists:

Link to panelist bios and more panel info

13:00
80m
Live Q&A
Panel Discussion
SPLASH-E

15:00 - 16:20
Lightning Talks and DiscussionSPLASH-E at SPLASH-IV
15:00
10m
Talk
Direct Manipulation for Computational Making
SPLASH-E
Ian McCormack University of Wisconsin-Eau Claire, Chris Johnson James Madison University
15:10
10m
Talk
How student avatars can contribute to a more social environment in online courses
SPLASH-E
Felix Grund University of British Columbia
15:20
10m
Talk
Bridging the Gap Between Programming Language Theory and Mathematics Education in Computer Science
SPLASH-E
Peter-Michael Osera Grinnell College
15:30
10m
Talk
Infrastructor: Flexible, No-Infrastructure Tools for Scaling CS
SPLASH-E
Dan Barowy Williams College
15:40
10m
Talk
Group Harmony Visualisation At Scale
SPLASH-E
Elisa Baniassad University of British Columbia, Alice Campbell The University of British Columbia, Braxton Hall
15:50
30m
Live Q&A
Open Discussion with the SPLASH-E Community
SPLASH-E

Mon 16 Nov

Displayed time zone: Central Time (US & Canada) change

Room7:00308:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
SPLASH-IV

Tue 17 Nov

Displayed time zone: Central Time (US & Canada) change

Room1:00302:00303:00304:00305:00306:00307:00308:00309:003010:003011:003012:0030
SPLASH-IV

Wed 18 Nov

Displayed time zone: Central Time (US & Canada) change

Room11:003012:003013:003014:003015:003016:003017:003018:0030
SPLASH-IV

Thu 19 Nov

Displayed time zone: Central Time (US & Canada) change

Fri 20 Nov

Displayed time zone: Central Time (US & Canada) change

Thu 19 Nov

Displayed time zone: Central Time (US & Canada) change