Program - SPLASH 2020

Sun 15 - Sat 21 November 2020 Online Conference

Main Program Workshops Complete Program Table

The Main Program view shows a partial program, use other views for the complete program.

Get Calendar (iCal)

Time Zone

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

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

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

Sun 15 Nov

7:00

+12hOpening Session

Hridesh Rajan, David Grove, Christian Hammer, Robert Hirschfeld, Anders Møller

7:20

+12hFitzcarraldo — or How to Hack Academia to Build Stuff

AMAsupported by Facebook

7:40

8:00

8:20

+12hPosters Session 1

8:40

9:00

+12hAbstracting gradual references

Matías Toro, Éric Tanter

SCICO Journal-First

Move Semantics for Nim

+12hGPCE/SLE Opening

9:20

+12hDon't Panic! Better, Fewer, Syntax Errors for LR Parsers

Lukas Diekmann, Laurence Tratt

9:40

+12hBlame for Null

Abel Nieto, Marianna Rapoport, Gregor Richards, Ondřej Lhoták

+12hModeling Black-Box Components with Probabilistic Synthesis

Bruce Collie, Jackson Woodruff, Michael F. P. O'Boyle

Best Paper Award

10:00

+12hPerfect is the Enemy of Good: Best-Effort Program Synthesis

Hila Peleg, Nadia Polikarpova

+12hGradually Typing Strategies

Jeff Smits, Eelco Visser

10:20

Ask Me Anything: Amal Ahmed

10:40

11:00

+12hFlow-Sensitive Type-Based Heap Cloning

Mohamad Barbar, Yulei Sui, Shiping Chen

Back to the Future! A History of UIs through Trends and Mass Culture

+12hAutomated Variability Injection for Graphical Modelling Languages

Antonio Garmendia, Manuel Wimmer, Esther Guerra, Elena Gómez-Martínez, Juan de Lara

11:20

+12hSound regular corecursion in coFJ

Davide Ancona, Pietro Barbieri, Francesco Dagnino, Elena Zucca

+12hModular and Distributed IDE

Fabien Coulon, Alex Auvolat, Benoit Combemale, Yérom-David Bromberg, François Taïani, Olivier Barais, Noël Plouzeau

11:40

+12hValue Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript

Benjamin Barslev Nielsen, Anders Møller

+12hCorrectness-by-Construction for Feature-Oriented Software Product Lines

Tabea Bordis, Tobias Runge, Ina Schaefer

12:00

+12hRow and Bounded Polymorphism via Disjoint Polymorphism

Ningning Xie, Bruno C. d. S. Oliveira, Xuan Bi, Tom Schrijvers

+12hA Family of Languages for Trustworthy Agent-Based Simulation

Steffen Zschaler, Fiona Polack

12:20

+36hMeet The Speakers

12:40

13:00

+12hK-LLVM: A Relatively Complete Semantics of LLVM IR

Liyi Li, Elsa Gunter

+10hProbabilistic Programming: The What, Why and How

Maria I. Gorinova

+12hMulti-stage Programming in the Large with Staged Classes

Lionel Parreaux, Amir Shaikhha

13:20

+12hA Type-Directed Operational Semantics for a Calculus with a Merge Operator

Xuejing Huang, Bruno C. d. S. Oliveira

+12hSoftware Language Engineers’ Worst Nightmare

13:40

+12hA big step from finite to infinite computations

Davide Ancona, Francesco Dagnino, Jurriaan Rot, Elena Zucca

SCICO Journal-First

+12hReorganizing Queries with Grouping

Rui Okura, Yukiyoshi Kameyama

14:00

+12hStatic Type Analysis by Abstract Interpretation of Python Programs

Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné

+12hPrinciples and Patterns of JastAdd-Style Reference Attribute Grammars

Niklas Fors, Emma Söderberg, Görel Hedin

14:20

+12hMeet The Speakers

14:40

15:00

+12hModel-View-Update-Communicate: Session Types meet the Elm Architecture

+10hA Ray of Hope: Array Programming for the 21st Century

+12hManipulating GUI Structures Declaratively

Knut Anders Stokke, Mikhail Barash, Jaakko Järvi

15:20

+12hPutting Randomized Compiler Testing into Production

Alastair F. Donaldson, Hugues Evrard, Paul Thomson

+12hBlock-Based Syntax from Context-Free Grammars

Mauricio Verano Merino, Tijs van der Storm

15:40

+12hOwicki-Gries Reasoning for C11 RAR

Sadegh Dalvandi, Simon Doherty, Brijesh Dongol, Heike Wehrheim

+12hPReGO: A Generative Methodology for Satisfying Real-Time Requirements on COTS-Based Systems: Definition and Experience Report

Benjamin Rouxel, Ulrik Pagh Schultz, Benny Akesson, Jesper Holst, Ole Jørgensen, Clemens Grelck

16:00

+12hTest-Case Reduction via Test-Case Generation: Insights From the Hypothesis Reducer

David R. MacIver, Alastair F. Donaldson

+12hExtrinsically Typed Operational Semantics for Functional Languages

Matteo Cimini, Dale Miller, Jeremy G. Siek

16:20

+12hMeet The Speakers

16:40

17:00

+12hStatic Race Detection and Mutex Safety and Liveness for Go Programs

Julia Gabet, Nobuko Yoshida

+12hAPIs are Illness and Cure: The Software Heterogeneity Problem in Web Programming

+12hVarSem: Declarative Expression and Automated Inference of Variable Usage Semantics

Yin Liu, Eli Tilevich

17:20

+12hReference immutability for DOT

Vlastimil Dort, Ondřej Lhoták

+12hMonadification of Attribute Grammars

Dawn Michaelson, Eric Van Wyk

17:40

+12hMultiparty Session Programming with Global Protocol Combinators

Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen

+12hFluid Quotes: Metaprogramming across Abstraction Boundaries with Dependent Types

Shadaj Laddad, Koushik Sen

18:00

+12hScala with Explicit Nulls

Abel Nieto, Yaoyu Zhao, Ondřej Lhoták, Angela Chang, Justin Pu

+12hStrategic Tree Rewriting in Attribute Grammars

Lucas Kramer, Eric Van Wyk

18:20

+12hMeet The Speakers

18:40

19:00

Opening Session

Hridesh Rajan, David Grove, Christian Hammer, Robert Hirschfeld, Anders Møller

19:20

Fitzcarraldo — or How to Hack Academia to Build Stuff

AMAsupported by Facebook

19:40

20:00

20:20

Posters Session 1

20:40

21:00

Abstracting gradual references

Matías Toro, Éric Tanter

SCICO Journal-First

GPCE/SLE Opening

21:20

Don't Panic! Better, Fewer, Syntax Errors for LR Parsers

Lukas Diekmann, Laurence Tratt

21:40

Blame for Null

Abel Nieto, Marianna Rapoport, Gregor Richards, Ondřej Lhoták

Modeling Black-Box Components with Probabilistic Synthesis

Bruce Collie, Jackson Woodruff, Michael F. P. O'Boyle

Best Paper Award

22:00

Perfect is the Enemy of Good: Best-Effort Program Synthesis

Hila Peleg, Nadia Polikarpova

Gradually Typing Strategies

Jeff Smits, Eelco Visser

22:20

Meet The Speakers

22:40

23:00

Flow-Sensitive Type-Based Heap Cloning

Mohamad Barbar, Yulei Sui, Shiping Chen

Probabilistic Programming: The What, Why and How

Maria I. Gorinova

Automated Variability Injection for Graphical Modelling Languages

Antonio Garmendia, Manuel Wimmer, Esther Guerra, Elena Gómez-Martínez, Juan de Lara

23:20

Sound regular corecursion in coFJ

Davide Ancona, Pietro Barbieri, Francesco Dagnino, Elena Zucca

Modular and Distributed IDE

Fabien Coulon, Alex Auvolat, Benoit Combemale, Yérom-David Bromberg, François Taïani, Olivier Barais, Noël Plouzeau

23:40

Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript

Benjamin Barslev Nielsen, Anders Møller

Correctness-by-Construction for Feature-Oriented Software Product Lines

Tabea Bordis, Tobias Runge, Ina Schaefer

Mon 16 Nov

0:00

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

Mon 16 Nov

Mon 16 Nov

0:00

Row and Bounded Polymorphism via Disjoint Polymorphism

Ningning Xie, Bruno C. d. S. Oliveira, Xuan Bi, Tom Schrijvers

A Family of Languages for Trustworthy Agent-Based Simulation

Steffen Zschaler, Fiona Polack

0:20

Ask Me Anything: Sriram Rajamani

Sriram Rajamani

0:40

1:00

K-LLVM: A Relatively Complete Semantics of LLVM IR

Liyi Li, Elsa Gunter

A Ray of Hope: Array Programming for the 21st Century

Multi-stage Programming in the Large with Staged Classes

Lionel Parreaux, Amir Shaikhha

1:20

A Type-Directed Operational Semantics for a Calculus with a Merge Operator

Xuejing Huang, Bruno C. d. S. Oliveira

Software Language Engineers’ Worst Nightmare

1:40

A big step from finite to infinite computations

Davide Ancona, Francesco Dagnino, Jurriaan Rot, Elena Zucca

SCICO Journal-First

Reorganizing Queries with Grouping

Rui Okura, Yukiyoshi Kameyama

2:00

Static Type Analysis by Abstract Interpretation of Python Programs

Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné

Principles and Patterns of JastAdd-Style Reference Attribute Grammars

Niklas Fors, Emma Söderberg, Görel Hedin

2:20

Meet The Speakers

2:40

3:00

Model-View-Update-Communicate: Session Types meet the Elm Architecture

+30hGillian: a Multi-language Platform for Compositional Symbolic Analysis

Philippa Gardner

Manipulating GUI Structures Declaratively

Knut Anders Stokke, Mikhail Barash, Jaakko Järvi

3:20

Putting Randomized Compiler Testing into Production

Alastair F. Donaldson, Hugues Evrard, Paul Thomson

Block-Based Syntax from Context-Free Grammars

Mauricio Verano Merino, Tijs van der Storm

3:40

Owicki-Gries Reasoning for C11 RAR

Sadegh Dalvandi, Simon Doherty, Brijesh Dongol, Heike Wehrheim

PReGO: A Generative Methodology for Satisfying Real-Time Requirements on COTS-Based Systems: Definition and Experience Report

Benjamin Rouxel, Ulrik Pagh Schultz, Benny Akesson, Jesper Holst, Ole Jørgensen, Clemens Grelck

4:00

Test-Case Reduction via Test-Case Generation: Insights From the Hypothesis Reducer

David R. MacIver, Alastair F. Donaldson

Extrinsically Typed Operational Semantics for Functional Languages

Matteo Cimini, Dale Miller, Jeremy G. Siek

4:20

Meet The Speakers

4:40

5:00

Static Race Detection and Mutex Safety and Liveness for Go Programs

Julia Gabet, Nobuko Yoshida

APIs are Illness and Cure: The Software Heterogeneity Problem in Web Programming

VarSem: Declarative Expression and Automated Inference of Variable Usage Semantics

Yin Liu, Eli Tilevich

5:20

Reference immutability for DOT

Vlastimil Dort, Ondřej Lhoták

Monadification of Attribute Grammars

Dawn Michaelson, Eric Van Wyk

5:40

Multiparty Session Programming with Global Protocol Combinators

Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen

Fluid Quotes: Metaprogramming across Abstraction Boundaries with Dependent Types

Shadaj Laddad, Koushik Sen

6:00

Scala with Explicit Nulls

Abel Nieto, Yaoyu Zhao, Ondřej Lhoták, Angela Chang, Justin Pu

Strategic Tree Rewriting in Attribute Grammars

Lucas Kramer, Eric Van Wyk

6:20

Meet The Speakers

6:40

7:00

+12hA Semantics for the Essence of React

Magnus Madsen, Ondřej Lhoták, Frank Tip

+12hReliable Stack Traces, the Reality of Myth

Francesco Zappa Nardelli

+12hA Domain-Specific Language for Filtering in Application-Level Gateways

Hampus Balldin, Christoph Reichenbach

7:20

+12hReconciling Event Structures with Modern Multiprocessors

Evgenii Moiseenko, Anton Podkopaev, Ori Lahav, Orestis Melkonian, Viktor Vafeiadis

+12hTowards the Optical Character Recognition of DSLs

Jorge Perianez Pascual, Roberto Rodriguez-Echeverria, Lola Burgueño, Jordi Cabot

7:40

+12hA Framework for Resource Dependent EDSLs in a Dependently Typed Language

Jan de Muijnck-Hughes, Wim Vanderbauwhede, Edwin Brady

+12heFLINT: A Domain-Specific Language for Executable Norm Specifications

L. Thomas van Binsbergen, Lu-Chi Liu, Robert van Doesburg, Tom van Engers

8:00

+12hReshape your layouts, not your programs: A safe language extension for better cache locality

Alexandros Tasos, Juliana Franco, Sophia Drossopoulou, Tobias Wrigstad, Susan Eisenbach

SCICO Journal-First

+12hAnnotating Executable DSLs with Energy Estimation Formulas

Thibault Béziers la Fosse, Massimo Tisi, Jean-Marie Mottu, Gerson Sunyé

8:20

+12hMeet The Speakers

8:40

9:00

+12hCatching More Bugs with Fewer False Alarms

9:20

9:40

10:00

10:20

+12hPosters Session 2

10:40

11:00

+12hTackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model

Sam Van den Vonder, Thierry Renaux, Bjarno Oeyen, Joeri De Koster, Wolfgang De Meuter

Paparazzi, an open source UAV for research

Gautier Hattenberger

+12hA Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Grammars

Lars Fritsche, Jens Kosiol, Adrian Möller, Andy Schürr, Gabriele Taentzer

11:20

+12hLifting Sequential Effects to Control Operators

+12hExample-Driven Software Language Engineering

11:40

+12hThe Duality of Subtyping

Bruno C. d. S. Oliveira, Shaobo Cui, Baber Rehman

+12hBehavior Trees in Action: A Study of Robotics Applications

Razan Ghzouli, Thorsten Berger, Einar Broch Johnsen, Swaib Dragule, Andrzej Wąsowski

12:00

+12hData Consistency in Transactional Storage Systems: A Centralised Semantics

Shale Xiong, Andrea Cerone, Azalea Raad, Philippa Gardner

+12hA Search-Based and Fault-Tolerant Approach to Concurrent Model Synchronisation

Nils Weidmann, Lars Fritsche, Anthony Anjorin

12:20

Meet The Speakers

12:40

13:00

+12hDesigning with Static Capabilities and Effects

+10hHerding Nulls in Dart

+12hTest Case Generation from Context-Free Grammars using Generalized Traversal of LR-Automata

Christoff Rossouw, Bernd Fischer

13:20

+12hA Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications

Gabriela Sampaio, José Fragoso Santos, Petar Maksimović, Philippa Gardner

+12hGrammar-Based Testing for Little Languages: An Experience Report with Student Compilers

Phillip van Heerden, Moeketsi Raselimo, Konstantinos (Kostis) Sagonas, Bernd Fischer

13:40

+12hSafe, Flexible Aliasing with Deferred Borrows

+12hAn Interactive Feedback System for Grammar Development (Tool Paper)

Chelsea Barraball, Moeketsi Raselimo, Bernd Fischer

14:00

+12hStatic Analysis of Shape in TensorFlow Programs

Sifis Lagouvardos, Julian Dolby, Neville Grech, Anastasios Antoniadis, Yannis Smaragdakis

+12hFeatherweight Swift: A Core Calculus for Swift’s Type System

Dimi Racordon, Didier Buchs

14:20

+12hMeet The Speakers

14:40

15:00

+12hCAMP: Cost-Aware Multiparty Session Protocols

David Castro-Perez, Nobuko Yoshida

Non-local compiler transformations in the presence of dynamic dispatch

+12hA Semantic Framework for PEGs

Sergio Queiroz de Medeiros, Carlos Olarte

15:20

+12hCounterexample-Guided Correlation Algorithm for Translation Validation

Shubhani Gupta, Abhishek Rose, Sorav Bansal

+12hUntangling Mechanized Proofs

Clément Pit-Claudel

15:40

+12hMultiparty Motion Coordination: From Choreographies to Robotics Programs

Rupak Majumdar, Nobuko Yoshida, Damien Zufferey

16:00

+12hOn the Unusual Effectiveness of Type-Aware Operator Mutations for Testing SMT Solvers

Dominik Winterer, Chengyu Zhang, Zhendong Su

16:20

+12hMeet The Speakers

16:40

17:00

+12hCan Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian

Michael Coblenz, Jonathan Aldrich, Brad A. Myers, Joshua Sunshine

+8hLies we tell ourselves about developer infrastructure

+12hSpace-Efficient Gradual Typing in Coercion-Passing Style

Yuya Tsuda, Atsushi Igarashi, Tomoya Tabuchi

17:20

+12hScalable and Serializable Networked Multi-actor Programming

Bo Sang, Patrick Eugster, Gustavo Petri, Srivatsan Ravi, Pierre-Louis Roman

17:40

+12hDesigning Types for R, Empirically

Alexi Turcotte, Aviral Goel, Filip Křikava, Jan Vitek

18:00

+12hGeometry Types for Graphics Programming

Dietrich Geisler, Irene Yoon, Aditi Kabra, Horace He, Yinnon Sanders, Adrian Sampson

18:20

+12hMeet The Speakers

18:40

19:00

A Semantics for the Essence of React

Magnus Madsen, Ondřej Lhoták, Frank Tip

Reliable Stack Traces, the Reality of Myth

Francesco Zappa Nardelli

A Domain-Specific Language for Filtering in Application-Level Gateways

Hampus Balldin, Christoph Reichenbach

19:20

Reconciling Event Structures with Modern Multiprocessors

Evgenii Moiseenko, Anton Podkopaev, Ori Lahav, Orestis Melkonian, Viktor Vafeiadis

Towards the Optical Character Recognition of DSLs

Jorge Perianez Pascual, Roberto Rodriguez-Echeverria, Lola Burgueño, Jordi Cabot

19:40

A Framework for Resource Dependent EDSLs in a Dependently Typed Language

Jan de Muijnck-Hughes, Wim Vanderbauwhede, Edwin Brady

eFLINT: A Domain-Specific Language for Executable Norm Specifications

L. Thomas van Binsbergen, Lu-Chi Liu, Robert van Doesburg, Tom van Engers

20:00

Reshape your layouts, not your programs: A safe language extension for better cache locality

Alexandros Tasos, Juliana Franco, Sophia Drossopoulou, Tobias Wrigstad, Susan Eisenbach

SCICO Journal-First

Annotating Executable DSLs with Energy Estimation Formulas

Thibault Béziers la Fosse, Massimo Tisi, Jean-Marie Mottu, Gerson Sunyé

20:20

Meet The Speakers

20:40

21:00

Catching More Bugs with Fewer False Alarms

21:20

21:40

22:00

22:20

Posters Session 2

22:40

23:00

Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model

Sam Van den Vonder, Thierry Renaux, Bjarno Oeyen, Joeri De Koster, Wolfgang De Meuter

Herding Nulls in Dart

A Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Grammars

Lars Fritsche, Jens Kosiol, Adrian Möller, Andy Schürr, Gabriele Taentzer

23:20

Lifting Sequential Effects to Control Operators

Example-Driven Software Language Engineering

23:40

The Duality of Subtyping

Bruno C. d. S. Oliveira, Shaobo Cui, Baber Rehman

Behavior Trees in Action: A Study of Robotics Applications

Razan Ghzouli, Thorsten Berger, Einar Broch Johnsen, Swaib Dragule, Andrzej Wąsowski

Tue 17 Nov

0:00

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

Tue 17 Nov

Tue 17 Nov

0:00

Data Consistency in Transactional Storage Systems: A Centralised Semantics

Shale Xiong, Andrea Cerone, Azalea Raad, Philippa Gardner

A Search-Based and Fault-Tolerant Approach to Concurrent Model Synchronisation

Nils Weidmann, Lars Fritsche, Anthony Anjorin

0:20

Meet The Speakers

0:40

1:00

Designing with Static Capabilities and Effects

Lies we tell ourselves about developer infrastructure

Test Case Generation from Context-Free Grammars using Generalized Traversal of LR-Automata

Christoff Rossouw, Bernd Fischer

1:20

A Trusted Infrastructure for Symbolic Analysis of Event-Driven Web Applications

Gabriela Sampaio, José Fragoso Santos, Petar Maksimović, Philippa Gardner

Grammar-Based Testing for Little Languages: An Experience Report with Student Compilers

Phillip van Heerden, Moeketsi Raselimo, Konstantinos (Kostis) Sagonas, Bernd Fischer

1:40

Safe, Flexible Aliasing with Deferred Borrows

An Interactive Feedback System for Grammar Development (Tool Paper)

Chelsea Barraball, Moeketsi Raselimo, Bernd Fischer

2:00

Static Analysis of Shape in TensorFlow Programs

Sifis Lagouvardos, Julian Dolby, Neville Grech, Anastasios Antoniadis, Yannis Smaragdakis

Featherweight Swift: A Core Calculus for Swift’s Type System

Dimi Racordon, Didier Buchs

2:20

Meet The Speakers

2:40

3:00

CAMP: Cost-Aware Multiparty Session Protocols

David Castro-Perez, Nobuko Yoshida

SQLancer: Automatically Finding Bugs in Databases

A Semantic Framework for PEGs

Sergio Queiroz de Medeiros, Carlos Olarte

3:20

Counterexample-Guided Correlation Algorithm for Translation Validation

Shubhani Gupta, Abhishek Rose, Sorav Bansal

Untangling Mechanized Proofs

Clément Pit-Claudel

3:40

Multiparty Motion Coordination: From Choreographies to Robotics Programs

Rupak Majumdar, Nobuko Yoshida, Damien Zufferey

4:00

On the Unusual Effectiveness of Type-Aware Operator Mutations for Testing SMT Solvers

Dominik Winterer, Chengyu Zhang, Zhendong Su

4:20

Meet The Speakers

4:40

5:00

Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian

Michael Coblenz, Jonathan Aldrich, Brad A. Myers, Joshua Sunshine

Space-Efficient Gradual Typing in Coercion-Passing Style

Yuya Tsuda, Atsushi Igarashi, Tomoya Tabuchi

5:20

Scalable and Serializable Networked Multi-actor Programming

Bo Sang, Patrick Eugster, Gustavo Petri, Srivatsan Ravi, Pierre-Louis Roman

5:40

Designing Types for R, Empirically

Alexi Turcotte, Aviral Goel, Filip Křikava, Jan Vitek

6:00

Geometry Types for Graphics Programming

Dietrich Geisler, Irene Yoon, Aditi Kabra, Horace He, Yinnon Sanders, Adrian Sampson

6:20

Meet The Speakers

6:40

7:00

+12hTesting Deep Neural Networks

7:20

7:40

8:00

8:20

+12hMeet The Speakers

8:40

9:00

+12hFormulog: Datalog for SMT-Based Static Analysis

Aaron Bembenek, Michael Greenberg, Stephen Chong

Gillian: a Multi-language Platform for Compositional Symbolic Analysis

Philippa Gardner

+12hExample-Based Live Programming for Everyone: Building Language-agnostic Tools for Live Programming with LSP and GraalVM

Fabio Niephaus, Patrick Rein, Jakob Edding, Jonas Hering, Bastian König, Kolya Opahle, Nico Scordialo, Robert Hirschfeld

9:20

+12hA Large-Scale Longitudinal Study of Flaky Tests

Wing Lam, Stefan Winter, Anjiang Wei, Tao Xie, Darko Marinov, Jonathan Bell

+12hEnd-User Software Customization by Direct Manipulation of Tabular Data

Geoffrey Litt, Daniel Jackson, Tyler Millis, Jessica Quaye

9:40

+12hHandling Bidirectional Control Flow

Yizhou Zhang, Guido Salvaneschi, Andrew Myers

+12hDiscussion of Aviation Software Oversight Improvement

10:00

+12hWATCHER: In-Situ Failure Diagnosis

Hongyu Liu, Sam Silvestro, Xiangyu Zhang, Jian Huang, Tongping Liu

+12hA Case Study in Language-Based Security: Building an I/O Library for Wyvern

Jennifer Fish, Darya Melicher, Jonathan Aldrich

10:20

+12hMeet The Speakers

10:40

11:00

+12hKoord: A Language for Programming and Verifying Distributed Robotics Application

Ritwika Ghosh, Chiao Hsieh, Sasa Misailovic, Sayan Mitra

+38hTowards the tower of Babel: a Polyglot Language VM in Java

Christian Humer

+12hHow (Not) to Write Java Pointer Analyses after 2020

11:20

+12hLearning-Based Controlled Concurrency Testing

Suvam Mukherjee, Pantazis Deligiannis, Arpita Biswas, Akash Lal

+12hThe Wonderful Wizard of LoC: Paying Attention to the Man behind the Curtain of Lines-of-Code Metrics

Kalev Alpernas, Yotam M. Y. Feldman, Hila Peleg

11:40

+12hLiveDroid: Identifying and Preserving Mobile App State in Volatile Runtime Environments

Umar Farooq, Zhijia Zhao, Manu Sridharan, Iulian Neamtiu

+12hPutting the Semantics into Semantic Versioning

Patrick Lam, Jens Dietrich, David J. Pearce

12:00

+12hShiftry: RNN Inference in 2KB of RAM

Aayan Kumar, Vivek Seshadri, Rahul Sharma

+12hDemystifying Dependence

James Koppel, Daniel Jackson

12:20

+12hStudent Research Competition

12:40

13:00

+12hA Structural Model for Contextual Code Changes

Shaked Brody, Uri Alon, Eran Yahav

+12hDeveloping the Wolfram Language Compiler

Tom Wickham-Jones

+12hNotes on Notebooks: Is Jupyter the Bringer of Jollity?

13:20

+12hA Systematic Approach to Deriving Incremental Type Checkers

André Pacak, Sebastian Erdweg, Tamás Szabó

+12hIntrepydd: Performance, Productivity and Portability for Data Science Application Kernels

Tong Zhou, Jun Shirako, Anirudh Jain, Sriseshan Srikanth, Thomas Conte, Richard Vuduc, Vivek Sarkar

13:40

+12hDetecting Locations in JavaScript Programs Affected by Breaking Library Changes

Anders Møller, Benjamin Barslev Nielsen, Martin Toldam Torp

+12hA principled approach to REPL interpreters

L. Thomas van Binsbergen, Mauricio Verano Merino, Pierre Jeanjean, Tijs van der Storm, Benoit Combemale, Olivier Barais

14:00

+12hA Type-and-Effect System for Object Initialization

Fengyun Liu, Ondřej Lhoták, Aggelos Biboudis, Paolo G. Giarrusso, Martin Odersky

14:20

+12hMeet The Speakers

14:40

15:00

+12hActor Concurrency Bugs: A Comprehensive Study on Symptoms, Root Causes, API Usages, and Differences

Mehdi Bagherzadeh, Nicholas Fireman, Anas Shawesh, Raffi Khatchadourian

+12hQuantitative Types in Idris 2

+12hNatural Language Theory Meets Programming Language Theory: An Interdisciplinary Framework for Programming Language Evaluation

Stefan K. Muller, Hannah Ringler

15:20

+12hKnowing When to Ask: Sound Scheduling of Name Resolution in Type Checkers Derived from Declarative Specifications

Arjen Rouvoet, Hendrik van Antwerpen, Casper Bach Poulsen, Robbert Krebbers, Eelco Visser

+12hSoftware Design as Story Telling: Reflecting on the Work of Italo Calvino

Paolo Ciancarini, Sergey Masyagin, Giancarlo Succi

15:40

+12hFuzzing Channel-Based Concurrency Runtimes using Types and Effects

Quentin Stiévenart, Magnus Madsen

+12hAnalogy-Making as a Core Primitive in the Software Engineering Toolbox

Matthew Sotoudeh, Aditya V. Thakur

16:00

+12hRegex Matching with Counting-Set Automata

Lenka Turoňová, Lukáš Holík, Ondřej Lengál, Olli Saarikivi, Margus Veanes, Tomáš Vojnar

16:20

+12hMeet The Speakers

16:40

17:00

+12hFlow2Vec: Value-Flow-Based Precise Code Embedding

Yulei Sui, Xiao Cheng, Guanqin Zhang, Haoyu Wang

Distinguished Paper

+12hTechnology Today: A Paucity of Integrity and Imagination

+12hDynamiTe: Dynamic Termination and Non-termination Proofs

Ton Chanh Le, Timos Antonopoulos, Parisa Fathololumi, Eric Koskinen, ThanhVu Nguyen

17:20

+12hFlowCFL: Generalized Type-Based Reachability Analysis: Graph Reduction and Equivalence of CFL-Based and Type-Based Reachability

+12hProgramming and Reasoning with Partial Observability

Eric Atkinson, Michael Carbin

17:40

+12hHidden Inheritance: An Inline Caching Design for TypeScript Performance

Zhefeng Wu, Zhe Sun, Kai Gong, Lingyun Chen, Bin Liao, Yihua Jin

+12hWorld Age in Julia: Optimizing Method Dispatch in the Presence of Eval

Julia Belyakova, Benjamin Chung, Jack Gelinas, Jameson Nash, Ross Tate, Jan Vitek

18:00

+12hGradual Verification of Recursive Heap Data Structures

Jenna DiVincenzo (Wise), Johannes Bader, Cameron Wong, Jonathan Aldrich, Éric Tanter, Joshua Sunshine

+12hFeatherweight Go

Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler, Nobuko Yoshida

18:20

+12hMeet The Speakers

18:40

19:00

Testing Deep Neural Networks

19:20

19:40

20:00

20:20

Meet The Speakers

20:40

21:00

Formulog: Datalog for SMT-Based Static Analysis

Aaron Bembenek, Michael Greenberg, Stephen Chong

Example-Based Live Programming for Everyone: Building Language-agnostic Tools for Live Programming with LSP and GraalVM

Fabio Niephaus, Patrick Rein, Jakob Edding, Jonas Hering, Bastian König, Kolya Opahle, Nico Scordialo, Robert Hirschfeld

21:20

A Large-Scale Longitudinal Study of Flaky Tests

Wing Lam, Stefan Winter, Anjiang Wei, Tao Xie, Darko Marinov, Jonathan Bell

End-User Software Customization by Direct Manipulation of Tabular Data

Geoffrey Litt, Daniel Jackson, Tyler Millis, Jessica Quaye

21:40

Handling Bidirectional Control Flow

Yizhou Zhang, Guido Salvaneschi, Andrew Myers

Discussion of Aviation Software Oversight Improvement

22:00

WATCHER: In-Situ Failure Diagnosis

Hongyu Liu, Sam Silvestro, Xiangyu Zhang, Jian Huang, Tongping Liu

A Case Study in Language-Based Security: Building an I/O Library for Wyvern

Jennifer Fish, Darya Melicher, Jonathan Aldrich

22:20

Meet The Speakers

22:40

23:00

Koord: A Language for Programming and Verifying Distributed Robotics Application

Ritwika Ghosh, Chiao Hsieh, Sasa Misailovic, Sayan Mitra

How (Not) to Write Java Pointer Analyses after 2020

23:20

Learning-Based Controlled Concurrency Testing

Suvam Mukherjee, Pantazis Deligiannis, Arpita Biswas, Akash Lal

The Wonderful Wizard of LoC: Paying Attention to the Man behind the Curtain of Lines-of-Code Metrics

Kalev Alpernas, Yotam M. Y. Feldman, Hila Peleg

23:40

LiveDroid: Identifying and Preserving Mobile App State in Volatile Runtime Environments

Umar Farooq, Zhijia Zhao, Manu Sridharan, Iulian Neamtiu

Putting the Semantics into Semantic Versioning

Patrick Lam, Jens Dietrich, David J. Pearce

Wed 18 Nov

0:00

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

Wed 18 Nov

Wed 18 Nov

0:00

Shiftry: RNN Inference in 2KB of RAM

Aayan Kumar, Vivek Seshadri, Rahul Sharma

Demystifying Dependence

James Koppel, Daniel Jackson

0:20

Student Research Competition

0:40

1:00

A Structural Model for Contextual Code Changes

Shaked Brody, Uri Alon, Eran Yahav

Developing the Wolfram Language Compiler

Tom Wickham-Jones

Notes on Notebooks: Is Jupyter the Bringer of Jollity?

1:20

A Systematic Approach to Deriving Incremental Type Checkers

André Pacak, Sebastian Erdweg, Tamás Szabó

Intrepydd: Performance, Productivity and Portability for Data Science Application Kernels

Tong Zhou, Jun Shirako, Anirudh Jain, Sriseshan Srikanth, Thomas Conte, Richard Vuduc, Vivek Sarkar

1:40

Detecting Locations in JavaScript Programs Affected by Breaking Library Changes

Anders Møller, Benjamin Barslev Nielsen, Martin Toldam Torp

A principled approach to REPL interpreters

L. Thomas van Binsbergen, Mauricio Verano Merino, Pierre Jeanjean, Tijs van der Storm, Benoit Combemale, Olivier Barais

2:00

A Type-and-Effect System for Object Initialization

Fengyun Liu, Ondřej Lhoták, Aggelos Biboudis, Paolo G. Giarrusso, Martin Odersky

2:20

Meet The Speakers

2:40

3:00

Actor Concurrency Bugs: A Comprehensive Study on Symptoms, Root Causes, API Usages, and Differences

Mehdi Bagherzadeh, Nicholas Fireman, Anas Shawesh, Raffi Khatchadourian

Quantitative Types in Idris 2

Natural Language Theory Meets Programming Language Theory: An Interdisciplinary Framework for Programming Language Evaluation

Stefan K. Muller, Hannah Ringler

3:20

Knowing When to Ask: Sound Scheduling of Name Resolution in Type Checkers Derived from Declarative Specifications

Arjen Rouvoet, Hendrik van Antwerpen, Casper Bach Poulsen, Robbert Krebbers, Eelco Visser

Software Design as Story Telling: Reflecting on the Work of Italo Calvino

Paolo Ciancarini, Sergey Masyagin, Giancarlo Succi

3:40

Fuzzing Channel-Based Concurrency Runtimes using Types and Effects

Quentin Stiévenart, Magnus Madsen

Analogy-Making as a Core Primitive in the Software Engineering Toolbox

Matthew Sotoudeh, Aditya V. Thakur

4:00

Regex Matching with Counting-Set Automata

Lenka Turoňová, Lukáš Holík, Ondřej Lengál, Olli Saarikivi, Margus Veanes, Tomáš Vojnar

4:20

Meet The Speakers

4:40

5:00

Flow2Vec: Value-Flow-Based Precise Code Embedding

Yulei Sui, Xiao Cheng, Guanqin Zhang, Haoyu Wang

Distinguished Paper

Technology Today: A Paucity of Integrity and Imagination

DynamiTe: Dynamic Termination and Non-termination Proofs

Ton Chanh Le, Timos Antonopoulos, Parisa Fathololumi, Eric Koskinen, ThanhVu Nguyen

5:20

FlowCFL: Generalized Type-Based Reachability Analysis: Graph Reduction and Equivalence of CFL-Based and Type-Based Reachability

Programming and Reasoning with Partial Observability

Eric Atkinson, Michael Carbin

5:40

Hidden Inheritance: An Inline Caching Design for TypeScript Performance

Zhefeng Wu, Zhe Sun, Kai Gong, Lingyun Chen, Bin Liao, Yihua Jin

World Age in Julia: Optimizing Method Dispatch in the Presence of Eval

Julia Belyakova, Benjamin Chung, Jack Gelinas, Jameson Nash, Ross Tate, Jan Vitek

6:00

Gradual Verification of Recursive Heap Data Structures

Jenna DiVincenzo (Wise), Johannes Bader, Cameron Wong, Jonathan Aldrich, Éric Tanter, Joshua Sunshine

Featherweight Go

Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler, Nobuko Yoshida

6:20

Meet The Speakers

6:40

7:00

+12hMossad: Defeating Software Plagiarism Detection

Breanna Devore-McDonald, Emery D. Berger

+12hMiniaturize All States!

Mathieu Boespflug

+12hCost Analysis of Smart Contracts via Parametric Resource Analysis

Manuel Hermenegildo

7:20

+12hPrecise Inference of Expressive Units of Measurement Types

Tongtong Xiang, Jeff Y. Luo, Werner Dietl

7:40

+12hProgram Equivalence for Assisted Grading of Functional Programs

Joshua Clune, Vijay Ramamurthy, Ruben Martins, Umut A. Acar

+12hCARES Session

+12hA Library Modeling Language for the Static Analysis of C Programs

Abdelraouf Ouadjaout, Antoine Miné

8:00

+12hRevisiting Iso-Recursive Subtyping

Yaoda Zhou, Bruno C. d. S. Oliveira, Jinxu Zhao

8:20

+12hAwards Session

David Grove, Jens Palsberg

8:40

9:00

+12hModels and Programs: Better Together

Sriram Rajamani

supported by Futurewei

9:20

9:40

10:00

10:20

+12hMeet The Speakers

10:40

11:00

+12hBuild Scripts with Perfect Dependencies

Sarah Spall, Neil Mitchell, Sam Tobin-Hochstadt

Paradigms Without Progress: Kuhnian Reflections on Programming Practice

+12hStatic Resource Analysis at Scale

11:20

+12hRandom Testing for C and C++ Compilers with YARPGen

Vsevolod Livinskii, Dmitry Babokin, John Regehr

Distinguished Paper

11:40

+12hDynamic Dispatch of Context-Sensitive Optimizations

Gabriel Poesia, Fernando Magno Quintão Pereira

+12hCroquet: A Unique Collaboration Architecture (Keynote)

Vanessa Freudenberg

12:00

+12hAutomated Policy Synthesis for System Call Sandboxing

Shankara Pailoor, Xinyu Wang, Hovav Shacham, Işıl Dillig

Distinguished Paper

12:20

+12hMeet The Speakers

12:40

13:00

+12hAdversarial Examples for Models of Code

Noam Yefet, Uri Alon, Eran Yahav

Inside Every Calculus Is A Little Algebra Waiting To Get Out

+12hExact and Linear-Time Gas-Cost Analysis

Ankush Das, Shaz Qadeer

13:20

+12hFinding Bugs in Database Systems via Query Partitioning

Manuel Rigger, Zhendong Su

+12hPython 3 Types in the Wild: A Tale of Two Type Systems

Ingkarat Rak-amnouykit, Daniel McCrevan, Ana Milanova, Martin Hirzel, Julian Dolby

13:40

+12hProving Highly-Concurrent Traversals Correct

Yotam M. Y. Feldman, Artem Khyzha, Constantin Enea, Adam Morrison, Aleksandar Nanevski, Noam Rinetzky, Sharon Shoham

+12hOn Multi-Language Abstraction: Towards a Static Analysis of Multi-Language Programs

Samuele Buro, Roy Crole, Isabella Mastroeni

14:00

+12hHow Do Programmers Use Unsafe Rust?

Vytautas Astrauskas, Christoph Matheja, Federico Poli, Peter Müller, Alexander J. Summers

+12hWasm/k: Delimited Continuations for WebAssembly

Donald Pinckney, Arjun Guha, Yuriy Brun

14:20

+12hMeet The Speakers

14:40

15:00

+12hA Model for Detecting Faults in Build Specifications

Thodoris Sotiropoulos, Stefanos Chaliasos, Dimitris Mitropoulos, Diomidis Spinellis

+12hSpeculation in Smart Contracts

Maurice Herlihy

+12hMemory-Efficient Fixpoint Computation

Sung Kook Kim, Arnaud J. Venet, Aditya V. Thakur

15:20

+12hPersistent Owicki-Gries Reasoning: A Program Logic for Reasoning about Persistent Programs on Intel-x86

Azalea Raad, Ori Lahav, Viktor Vafeiadis

+12hDynamic Pattern Matching with Python

Tobias Kohn, Guido van Rossum, Brandt Bucher, Talin, Ivan Levkivskyi

15:40

+12hStructure Interpretation of Text Formats

Sumit Gulwani, Vu Le, Arjun Radhakrishna, Ivan Radiček, Mohammad Raza

+12hSimple and Efficient Computation of Minimal Weak Control Closure

Abu Naser Masud

16:00

+12hStatically Verified Refinements for Multiparty Protocols

Fangyi Zhou, Francisco Ferreira, Raymond Hu, Rumyana Neykova, Nobuko Yoshida

+12hSound, Heuristic Type Annotation Inference for Ruby

Milod Kazerounian, Brianna M. Ren, Jeffrey S. Foster

16:20

+12hMeet The Speakers

16:40

17:00

+12hProgramming with a Read-Eval-Synth Loop

Hila Peleg, Roi Gabay, Shachar Itzhaky, Eran Yahav

+12hTales from the Frontlines: Startup War Stories

+12hAbstract Neural Networks

Matthew Sotoudeh, Aditya V. Thakur

17:20

+12hSound Garbage Collection for C using Pointer Provenance

Subarno Banerjee, David Devecsery, Peter M. Chen, Satish Narayanasamy

+12hAmalgamating Different JIT Compilations in a Meta-tracing JIT Compiler Framework

Yusuke Izawa, Hidehiko Masuhara

17:40

+12hSemiring Optimizations: Dynamic Elision of Expressions with Identity and Absorbing Elements

Guilherme Vieira Leobas, Fernando Magno Quintão Pereira

CARES Session

+12hProbabilistic Lipschitz Analysis of Neural Networks

Ravi Mangal, Kartik Sarangmath, Aditya Nori, Alessandro Orso

18:00

+12hCompCertELF: Verified Separate Compilation of C Programs into ELF Object Files

Yuting Wang, Xiangzhe Xu, Pierre Wilke, Zhong Shao

+12hPricing Python Parallelism: A Dynamic Language Cost Model for Heterogeneous Platforms

Dejice Jacob, Phil Trinder, Jeremy Singer

18:20

+12hMeet The Speakers

18:40

19:00

Mossad: Defeating Software Plagiarism Detection

Breanna Devore-McDonald, Emery D. Berger

Miniaturize All States!

Mathieu Boespflug

Cost Analysis of Smart Contracts via Parametric Resource Analysis

Manuel Hermenegildo

19:20

Precise Inference of Expressive Units of Measurement Types

Tongtong Xiang, Jeff Y. Luo, Werner Dietl

19:40

Program Equivalence for Assisted Grading of Functional Programs

Joshua Clune, Vijay Ramamurthy, Ruben Martins, Umut A. Acar

CARES Session

A Library Modeling Language for the Static Analysis of C Programs

Abdelraouf Ouadjaout, Antoine Miné

20:00

Revisiting Iso-Recursive Subtyping

Yaoda Zhou, Bruno C. d. S. Oliveira, Jinxu Zhao

20:20

Awards Session

David Grove, Jens Palsberg

20:40

21:00

Models and Programs: Better Together

Sriram Rajamani

supported by Futurewei

21:20

21:40

22:00

22:20

Meet The Speakers

22:40

23:00

Build Scripts with Perfect Dependencies

Sarah Spall, Neil Mitchell, Sam Tobin-Hochstadt

Static Resource Analysis at Scale

23:20

Random Testing for C and C++ Compilers with YARPGen

Vsevolod Livinskii, Dmitry Babokin, John Regehr

Distinguished Paper

23:40

Dynamic Dispatch of Context-Sensitive Optimizations

Gabriel Poesia, Fernando Magno Quintão Pereira

Croquet: A Unique Collaboration Architecture (Keynote)

Vanessa Freudenberg

Thu 19 Nov

0:00

0:20

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

Thu 19 Nov

Thu 19 Nov

0:00

Automated Policy Synthesis for System Call Sandboxing

Shankara Pailoor, Xinyu Wang, Hovav Shacham, Işıl Dillig

Distinguished Paper

0:20

Meet The Speakers

0:40

1:00

Adversarial Examples for Models of Code

Noam Yefet, Uri Alon, Eran Yahav

Towards the tower of Babel: a Polyglot Language VM in Java

Christian Humer

Exact and Linear-Time Gas-Cost Analysis

Ankush Das, Shaz Qadeer

1:20

Finding Bugs in Database Systems via Query Partitioning

Manuel Rigger, Zhendong Su

Python 3 Types in the Wild: A Tale of Two Type Systems

Ingkarat Rak-amnouykit, Daniel McCrevan, Ana Milanova, Martin Hirzel, Julian Dolby

1:40

Proving Highly-Concurrent Traversals Correct

Yotam M. Y. Feldman, Artem Khyzha, Constantin Enea, Adam Morrison, Aleksandar Nanevski, Noam Rinetzky, Sharon Shoham

On Multi-Language Abstraction: Towards a Static Analysis of Multi-Language Programs

Samuele Buro, Roy Crole, Isabella Mastroeni

2:00

How Do Programmers Use Unsafe Rust?

Vytautas Astrauskas, Christoph Matheja, Federico Poli, Peter Müller, Alexander J. Summers

Wasm/k: Delimited Continuations for WebAssembly

Donald Pinckney, Arjun Guha, Yuriy Brun

2:20

Meet The Speakers

2:40

3:00

A Model for Detecting Faults in Build Specifications

Thodoris Sotiropoulos, Stefanos Chaliasos, Dimitris Mitropoulos, Diomidis Spinellis

Speculation in Smart Contracts

Maurice Herlihy

Memory-Efficient Fixpoint Computation

Sung Kook Kim, Arnaud J. Venet, Aditya V. Thakur

3:20

Persistent Owicki-Gries Reasoning: A Program Logic for Reasoning about Persistent Programs on Intel-x86

Azalea Raad, Ori Lahav, Viktor Vafeiadis

Dynamic Pattern Matching with Python

Tobias Kohn, Guido van Rossum, Brandt Bucher, Talin, Ivan Levkivskyi

3:40

Structure Interpretation of Text Formats

Sumit Gulwani, Vu Le, Arjun Radhakrishna, Ivan Radiček, Mohammad Raza

Simple and Efficient Computation of Minimal Weak Control Closure

Abu Naser Masud

4:00

Statically Verified Refinements for Multiparty Protocols

Fangyi Zhou, Francisco Ferreira, Raymond Hu, Rumyana Neykova, Nobuko Yoshida

Sound, Heuristic Type Annotation Inference for Ruby

Milod Kazerounian, Brianna M. Ren, Jeffrey S. Foster

4:20

Meet The Speakers

4:40

5:00

Programming with a Read-Eval-Synth Loop

Hila Peleg, Roi Gabay, Shachar Itzhaky, Eran Yahav

Tales from the Frontlines: Startup War Stories

Abstract Neural Networks

Matthew Sotoudeh, Aditya V. Thakur

5:20

Sound Garbage Collection for C using Pointer Provenance

Subarno Banerjee, David Devecsery, Peter M. Chen, Satish Narayanasamy

Amalgamating Different JIT Compilations in a Meta-tracing JIT Compiler Framework

Yusuke Izawa, Hidehiko Masuhara

5:40

Semiring Optimizations: Dynamic Elision of Expressions with Identity and Absorbing Elements

Guilherme Vieira Leobas, Fernando Magno Quintão Pereira

Probabilistic Lipschitz Analysis of Neural Networks

Ravi Mangal, Kartik Sarangmath, Aditya Nori, Alessandro Orso

6:00

CompCertELF: Verified Separate Compilation of C Programs into ELF Object Files

Yuting Wang, Xiangzhe Xu, Pierre Wilke, Zhong Shao

Pricing Python Parallelism: A Dynamic Language Cost Model for Heterogeneous Platforms

Dejice Jacob, Phil Trinder, Jeremy Singer

6:20

Meet The Speakers

6:40

7:00

+12hWhy Digital Agriculture is Fertile Ground for Software Systems Research

supported by IBM Research

7:20

7:40

8:00

8:20

+12hMeet The Speakers

8:40

9:00

+12hAutomatic and Efficient Variability-Aware Lifting of Functional Programs

Ramy Shahin, Marsha Chechik

+12hRelational Reasoning in Object-based Programs

Anindya Banerjee

+12hPolynomial Invariants for Affine Programs

9:20

+12hDo You Have Space for Dessert? A Verified Space Cost Semantics for CakeML Programs

Alejandro Gómez-Londoño, Johannes Åman Pohjola, Hira Taqdees Syeda, Magnus O. Myreen, Yong Kiam Tan

9:40

+12hVerifying Replicated Data Types with Typeclass Refinements in Liquid Haskell

Yiyun Liu, James Parker, Patrick Redmond, Lindsey Kuper, Michael Hicks, Niki Vazou

+12hTermination of Polynomial Loops

Florian Frohn, Marcel Hark, Jürgen Giesl

10:00

+12hTowards a Formal Foundation of Intermittent Computing

Milijana Surbatovich, Brandon Lucia, Limin Jia

10:20

+12hMeet The Speakers

10:40

11:00

+12hCompiling Symbolic Execution with Staging and Algebraic Effects

Guannan Wei, Oliver Bračevac, Shangyin Tan, Tiark Rompf

Intermittent Computer Systems on Earth and in Space

+12hInterprocedural Shape Analysis Using Separation Logic-based Transformer Summaries

Hugo Illous, Matthieu Lemerre, Xavier Rival

11:20

+12hProjection-Based Runtime Assertions for Testing and Debugging Quantum Programs

Gushu Li, Li Zhou, Nengkun Yu, Yufei Ding, Mingsheng Ying, Yuan Xie

Distinguished Paper

+12hDelayRepay: Delayed Execution for Kernel Fusion in Python

John Magnus Morton, Kuba Kaszyk, Lu Li, Jiawen Sun, Christophe Dubach, Michel Steuwer, Murray Cole, Michael F. P. O'Boyle

11:40

+12hSatune: Synthesizing Efficient SAT Encoders

Hamed Gorjiara, Guoqing Harry Xu, Brian Demsky

+12hStratified Guarded First-order Transition Systems

Christian Müller, Helmut Seidl

12:00

+12hThe Anchor Verifier for Blocking and Non-blocking Concurrent Software

Cormac Flanagan, Stephen N. Freund

+12hSampling Optimized Code for Type Feedback

Olivier Flückiger, Andreas Wälchli, Sebastián Krynski, Jan Vitek

12:20

+12hMeet The Speakers

12:40

13:00

+12hAssertion-Based Optimization of Quantum Programs

Thomas Häner, Torsten Hoefler, Matthias Troyer

JAX: accelerated machine learning research via composable function transformations in Python

Matthew J. Johnson

+12hFormal framework for reasoning about the precision of dynamic analysis

Mila Dalla Preda, Roberto Giacobazzi, Niccolò Marastoni

13:20

+12hDataflow-Based Pruning for Speeding up Superoptimization

Manasij Mukherjee, Pranav Kant, Zhengyang Liu, John Regehr

Distinguished Paper

+12hFarkas-Based Tree Interpolation

Sepideh Asadi, Martin Blicha, Antti Hyvärinen, Grigory Fedyukovich, Natasha Sharygina

13:40

+12hEnabling Accuracy-Aware Quantum Compilers using Symbolic Resource Estimation

Giulia Meuli, Mathias Soeken, Martin Roetteler, Thomas Häner

+12hFramework-Aware Debugging with Stack Tailoring

Matteo Marra, Guillermo Polito, Elisa Gonzalez Boix

14:00

+12hEliminating Abstraction Overhead of Java Stream Pipelines using Ahead-of-Time Program Optimization

Anders Møller, Oskar Haarklou Veileborg

14:20

+12hMeet The Speakers

14:40

15:00

+12hPrecise Static Modeling of Ethereum “Memory”

Sifis Lagouvardos, Neville Grech, Ilias Tsatiris, Yannis Smaragdakis

On the Future of Flight Software

Kristin Yvonne Rozier

+12hCounterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis

Anastasia Isychev, Eva Darulova, Helmut Seidl

15:20

+12hPerfectly Parallel Fairness Certification of Neural Networks

Caterina Urban, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang

15:40

+12hTaming Callbacks for Smart Contract Modularity

Elvira Albert, Shelly Grossman, Noam Rinetzky, Clara Rodríguez-Núñez, Albert Rubio, Mooly Sagiv

+12hPredicate Abstraction and CEGAR for nuHFL(Z) Validity Checking

Naoki Iwayama, Naoki Kobayashi, Ryota Suzuki, Takeshi Tsukada

16:00

+12hExposing Cache Timing Side-Channel Leaks through Out-of-Order Symbolic Execution

Shengjian Guo, Yueqi Chen, Jiyong Yu, Meng Wu, Zhiqiang Zuo, Peng Li, Yueqiang Cheng, Huibo Wang

16:20

+12hMeet The Speakers

16:40

17:00

+12hAdding Interactive Visual Syntax to Textual Code

Leif Andersen, Michael Ballantyne, Matthias Felleisen

+12hEnterprise-scale static analysis: A Pinpoint experience

+12hStatic analysis for privacy-preserving artificial intelligence

Gogul Balakrishnan

17:20

+12hDeductive Optimization of Relational Data Storage

Jack Feser, Sam Madden, Nan Tang, Armando Solar-Lezama

17:40

+12hInter-theory Dependency Analysis for SMT String Solvers

Minh-Thai Trinh, Duc-Hiep Chu, Joxan Jaffar

18:00

+12hMacros for Domain-Specific Languages

Michael Ballantyne, Alexis King, Matthias Felleisen

18:20

+12hMeet The Speakers

18:40

19:00

Why Digital Agriculture is Fertile Ground for Software Systems Research

supported by IBM Research

19:20

19:40

20:00

20:20

Meet The Speakers

20:40

21:00

Automatic and Efficient Variability-Aware Lifting of Functional Programs

Ramy Shahin, Marsha Chechik

Relational Reasoning in Object-based Programs

Anindya Banerjee

Polynomial Invariants for Affine Programs

21:20

Do You Have Space for Dessert? A Verified Space Cost Semantics for CakeML Programs

Alejandro Gómez-Londoño, Johannes Åman Pohjola, Hira Taqdees Syeda, Magnus O. Myreen, Yong Kiam Tan

21:40

Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell

Yiyun Liu, James Parker, Patrick Redmond, Lindsey Kuper, Michael Hicks, Niki Vazou

Termination of Polynomial Loops

Florian Frohn, Marcel Hark, Jürgen Giesl

22:00

Towards a Formal Foundation of Intermittent Computing

Milijana Surbatovich, Brandon Lucia, Limin Jia

22:20

Meet The Speakers

22:40

23:00

Compiling Symbolic Execution with Staging and Algebraic Effects

Guannan Wei, Oliver Bračevac, Shangyin Tan, Tiark Rompf

Interprocedural Shape Analysis Using Separation Logic-based Transformer Summaries

Hugo Illous, Matthieu Lemerre, Xavier Rival

23:20

Projection-Based Runtime Assertions for Testing and Debugging Quantum Programs

Gushu Li, Li Zhou, Nengkun Yu, Yufei Ding, Mingsheng Ying, Yuan Xie

Distinguished Paper

DelayRepay: Delayed Execution for Kernel Fusion in Python

John Magnus Morton, Kuba Kaszyk, Lu Li, Jiawen Sun, Christophe Dubach, Michel Steuwer, Murray Cole, Michael F. P. O'Boyle

23:40

Satune: Synthesizing Efficient SAT Encoders

Hamed Gorjiara, Guoqing Harry Xu, Brian Demsky

Stratified Guarded First-order Transition Systems

Christian Müller, Helmut Seidl

Fri 20 Nov

0:00

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

Fri 20 Nov

Fri 20 Nov

0:00

The Anchor Verifier for Blocking and Non-blocking Concurrent Software

Cormac Flanagan, Stephen N. Freund

Sampling Optimized Code for Type Feedback

Olivier Flückiger, Andreas Wälchli, Sebastián Krynski, Jan Vitek

0:20

Meet The Speakers

0:40

1:00

Assertion-Based Optimization of Quantum Programs

Thomas Häner, Torsten Hoefler, Matthias Troyer

Formal framework for reasoning about the precision of dynamic analysis

Mila Dalla Preda, Roberto Giacobazzi, Niccolò Marastoni

1:20

Dataflow-Based Pruning for Speeding up Superoptimization

Manasij Mukherjee, Pranav Kant, Zhengyang Liu, John Regehr

Distinguished Paper

Farkas-Based Tree Interpolation

Sepideh Asadi, Martin Blicha, Antti Hyvärinen, Grigory Fedyukovich, Natasha Sharygina

1:40

Enabling Accuracy-Aware Quantum Compilers using Symbolic Resource Estimation

Giulia Meuli, Mathias Soeken, Martin Roetteler, Thomas Häner

Framework-Aware Debugging with Stack Tailoring

Matteo Marra, Guillermo Polito, Elisa Gonzalez Boix

2:00

Eliminating Abstraction Overhead of Java Stream Pipelines using Ahead-of-Time Program Optimization

Anders Møller, Oskar Haarklou Veileborg

2:20

Meet The Speakers

2:40

3:00

Precise Static Modeling of Ethereum “Memory”

Sifis Lagouvardos, Neville Grech, Ilias Tsatiris, Yannis Smaragdakis

Technology Today: A Paucity of Integrity and Imagination

Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis

Anastasia Isychev, Eva Darulova, Helmut Seidl

3:20

Perfectly Parallel Fairness Certification of Neural Networks

Caterina Urban, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang

3:40

Taming Callbacks for Smart Contract Modularity

Elvira Albert, Shelly Grossman, Noam Rinetzky, Clara Rodríguez-Núñez, Albert Rubio, Mooly Sagiv

Predicate Abstraction and CEGAR for nuHFL(Z) Validity Checking

Naoki Iwayama, Naoki Kobayashi, Ryota Suzuki, Takeshi Tsukada

4:00

Exposing Cache Timing Side-Channel Leaks through Out-of-Order Symbolic Execution

Shengjian Guo, Yueqi Chen, Jiyong Yu, Meng Wu, Zhiqiang Zuo, Peng Li, Yueqiang Cheng, Huibo Wang

4:20

Meet The Speakers

4:40

5:00

Adding Interactive Visual Syntax to Textual Code

Leif Andersen, Michael Ballantyne, Matthias Felleisen

Enterprise-scale static analysis: A Pinpoint experience

Static analysis for privacy-preserving artificial intelligence

Gogul Balakrishnan

5:20

Deductive Optimization of Relational Data Storage

Jack Feser, Sam Madden, Nan Tang, Armando Solar-Lezama

5:40

Inter-theory Dependency Analysis for SMT String Solvers

Minh-Thai Trinh, Duc-Hiep Chu, Joxan Jaffar

6:00

Macros for Domain-Specific Languages

Michael Ballantyne, Alexis King, Matthias Felleisen

6:20

Meet The Speakers

6:40

7:00

+12hDiffStream: Differential Output Testing for Stream Processing Programs

Konstantinos Kallas, Filip Niksic, Caleb Stanford, Rajeev Alur

+12hPL and HCI: Better Together

+12hIncremental Predicate Analysis for Regression Verification

Qianshan Yu, Fei He, Bow-Yaw Wang

7:20

+12hPomsets with Preconditions: A Simple Model of Relaxed Memory

Radha Jagadeesan, Alan Jeffrey, James Riely

+12hLearning Graph-Based Heuristics for Pointer Analysis without Handcrafting Application-Specific Features

Minseok Jeon, Myungho Lee, Hakjoo Oh

7:40

+12hStreamQL: A Query Language for Processing Streaming Time Series

Lingkun Kong, Konstantinos Mamouras

+12hTacTok: Semantics-Aware Proof Synthesis

Emily First, Yuriy Brun, Arjun Guha

8:00

+12hFoundations of Empirical Memory Consistency Testing

Jake Kirkham, Tyler Sorensen, Esin Tureci, Margaret Martonosi

+12hGuiding Dynamic Programing via Structural Probability for Accelerating Programming by Example

Ruyi Ji, Yican Sun, Yingfei Xiong, Zhenjiang Hu

8:20

+12hMeet The Speakers

8:40

9:00

+12hA Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra

Ryan Senanayake, Changwan Hong, Ziheng Wang, Amalee Wilson, Stephen Chou, Shoaib Kamil, Saman Amarasinghe, Fredrik Kjolstad

+12hPerformance Really Matters

Emery D. Berger

+12hFeedback-Driven Semi-supervised Synthesis of Program Transformations

Xiang Gao, Shraddha Barke, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani, Alan Leung, Nachiappan Nagappan, Ashish Tiwari

9:20

+12hResolution as Intersection Subtyping via Modus Ponens

Koar Marntirosian, Tom Schrijvers, Bruno C. d. S. Oliveira, Georgios Karachalias

+12hTesting Differential Privacy with Dual Interpreters

Hengchu Zhang, Edo Roth, Andreas Haeberlen, Benjamin C. Pierce, Aaron Roth

9:40

+12hGuided Linking: Dynamic Linking without the Costs

Sean Bartell, Will Dietz, Vikram S. Adve

+12hUnifying Execution of Imperative Generators and Declarative Specifications

Pengyu Nie, Marinela Parovic, Zhiqiang Zang, Sarfraz Khurshid, Aleksandar Milicevic, Milos Gligoric

10:00

+12hTowards a Unified Proof Framework for Automated Fixpoint Reasoning using Matching Logic

Xiaohong Chen, Minh-Thai Trinh, Nishant Rodrigues, Lucas Peña, Grigore Roşu

+12hDifferentially-Private Software Frequency Profiling under Linear Constraints

Hailong Zhang, Yu Hao, Sufian Latif, Raef Bassily, Atanas Rountev

10:20

+12hMeet The Speakers

10:40

11:00

+12hContextual Dispatch for Function Specialization

Olivier Flückiger, Guido Chari, Ming-Ho Yee, Jan Ječmen, Jakob Hain, Jan Vitek

+12hCo-Design for High-Performance Computing Software Systems

+12hJust-in-Time Learning for Bottom-Up Enumerative Synthesis

Shraddha Barke, Hila Peleg, Nadia Polikarpova

11:20

+12hFixpoints for the Masses: Programming with First-Class Datalog Constraints

Magnus Madsen, Ondřej Lhoták

+12hTaming Type Annotations in Gradual Typing

John Peter Campora, Sheng Chen

11:40

+12hVerifying and Improving Halide’s Term Rewriting System with Program Synthesis

Julie L. Newcomb, Andrew Adams, Steven Johnson, Rastislav Bodík, Shoaib Kamil

+12hLearning Semantic Program Embeddings with Graph Interval Neural Network

Yu Wang, Ke Wang, Fengjuan Gao, Linzhang Wang

Distinguished Paper

12:00

+12hPolymorphic Types and Effects with Boolean Unification

Magnus Madsen, Jaco van de Pol

+12hιDOT: A DOT Calculus with Object Initialization

Ifaz Kabir, Yufeng Li, Ondřej Lhoták

12:20

+12hMeet The Speakers

12:40

13:00

+12hA Modular Cost Analysis for Probabilistic Programs

Martin Avanzini, Georg Moser, Michael Schaper

+12hVariant analysis

+12hCertified and Efficient Instruction Scheduling: Application to Interlocked VLIW Processors

Cyril Six, Sylvain Boulmé, David Monniaux

13:20

+12hInteractive Synthesis of Temporal Specifications from Examples and Natural Language

Ivan Gavran, Eva Darulova, Rupak Majumdar

+12hIgloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification

Christoph Sprenger, Tobias Klenze, Marco Eilers, Felix A. Wolf, Peter Müller, Martin Clochard, David Basin

13:40

+12hScaling Exact Inference for Discrete Probabilistic Programs

Steven Holtzen, Guy Van den Broeck, Todd Millstein

Distinguished Paper

+12hNeural Reverse Engineering of Stripped Binaries using Augmented Control Flow Graphs

Yaniv David, Uri Alon, Eran Yahav

14:00

+12hDigging for Fold: Synthesis-Aided API Discovery for Haskell

Michael B. James, Zheng Guo, Ziteng Wang, Shivani Doshi, Hila Peleg, Ranjit Jhala, Nadia Polikarpova

+12hTermination Analysis for Evolving Programs: An Incremental Approach by Reusing Certified Modules

Fei He, Jitao Han

14:20

+12hMeet The Speakers

14:40

15:00

+12hEffects as Capabilities: Effect Handlers and Lightweight Effect Polymorphism

Jonathan Immanuel Brachthäuser, Philipp Schuster, Klaus Ostermann

The impact of differentiable programming: how ∂P is enabling new science in Julia

+12hProgramming at the Edge of Synchrony

Cezara Drăgoi, Josef Widder, Damien Zufferey

15:20

+12hFast Linear Programming through Transprecision Computing on Small and Sparse Data

Tobias Grosser, Theodoros Theodoridis, Maximilian Falkenstein, Arjun Pitchanathan, Michael Kruse, Manuel Rigger, Zhendong Su, Torsten Hoefler

+12hRethinking Safe Consistency in Distributed Object-Oriented Programming

Mirko Köhler, Nafise Eskandani, Pascal Weisenburger, Alessandro Margara, Guido Salvaneschi

15:40

+12hTesting Consensus Implementations using Communication Closure

Cezara Drăgoi, Constantin Enea, Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic

16:00

16:20

+12hMeet The Speakers

16:40

17:00

+12hTowards Building Ethically-Sound Data-Driven Software

Brittany Johnson

17:20

17:40

18:00

18:20

+12hClosing Session

18:40

19:00

DiffStream: Differential Output Testing for Stream Processing Programs

Konstantinos Kallas, Filip Niksic, Caleb Stanford, Rajeev Alur

PL and HCI: Better Together

Incremental Predicate Analysis for Regression Verification

Qianshan Yu, Fei He, Bow-Yaw Wang

19:20

Pomsets with Preconditions: A Simple Model of Relaxed Memory

Radha Jagadeesan, Alan Jeffrey, James Riely

Learning Graph-Based Heuristics for Pointer Analysis without Handcrafting Application-Specific Features

Minseok Jeon, Myungho Lee, Hakjoo Oh

19:40

StreamQL: A Query Language for Processing Streaming Time Series

Lingkun Kong, Konstantinos Mamouras

TacTok: Semantics-Aware Proof Synthesis

Emily First, Yuriy Brun, Arjun Guha

20:00

Foundations of Empirical Memory Consistency Testing

Jake Kirkham, Tyler Sorensen, Esin Tureci, Margaret Martonosi

Guiding Dynamic Programing via Structural Probability for Accelerating Programming by Example

Ruyi Ji, Yican Sun, Yingfei Xiong, Zhenjiang Hu

20:20

Meet The Speakers

20:40

21:00

A Sparse Iteration Space Transformation Framework for Sparse Tensor Algebra

Ryan Senanayake, Changwan Hong, Ziheng Wang, Amalee Wilson, Stephen Chou, Shoaib Kamil, Saman Amarasinghe, Fredrik Kjolstad

Performance Really Matters

Emery D. Berger

Feedback-Driven Semi-supervised Synthesis of Program Transformations

Xiang Gao, Shraddha Barke, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani, Alan Leung, Nachiappan Nagappan, Ashish Tiwari

21:20

Resolution as Intersection Subtyping via Modus Ponens

Koar Marntirosian, Tom Schrijvers, Bruno C. d. S. Oliveira, Georgios Karachalias

Testing Differential Privacy with Dual Interpreters

Hengchu Zhang, Edo Roth, Andreas Haeberlen, Benjamin C. Pierce, Aaron Roth

21:40

Guided Linking: Dynamic Linking without the Costs

Sean Bartell, Will Dietz, Vikram S. Adve

Unifying Execution of Imperative Generators and Declarative Specifications

Pengyu Nie, Marinela Parovic, Zhiqiang Zang, Sarfraz Khurshid, Aleksandar Milicevic, Milos Gligoric

22:00

Towards a Unified Proof Framework for Automated Fixpoint Reasoning using Matching Logic

Xiaohong Chen, Minh-Thai Trinh, Nishant Rodrigues, Lucas Peña, Grigore Roşu

Differentially-Private Software Frequency Profiling under Linear Constraints

Hailong Zhang, Yu Hao, Sufian Latif, Raef Bassily, Atanas Rountev

22:20

Meet The Speakers

22:40

23:00

Contextual Dispatch for Function Specialization

Olivier Flückiger, Guido Chari, Ming-Ho Yee, Jan Ječmen, Jakob Hain, Jan Vitek

Co-Design for High-Performance Computing Software Systems

Just-in-Time Learning for Bottom-Up Enumerative Synthesis

Shraddha Barke, Hila Peleg, Nadia Polikarpova

23:20

Fixpoints for the Masses: Programming with First-Class Datalog Constraints

Magnus Madsen, Ondřej Lhoták

Taming Type Annotations in Gradual Typing

John Peter Campora, Sheng Chen

23:40

Verifying and Improving Halide’s Term Rewriting System with Program Synthesis

Julie L. Newcomb, Andrew Adams, Steven Johnson, Rastislav Bodík, Shoaib Kamil

Learning Semantic Program Embeddings with Graph Interval Neural Network

Yu Wang, Ke Wang, Fengjuan Gao, Linzhang Wang

Distinguished Paper

Sat 21 Nov

0:00

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

Sat 21 Nov

Sat 21 Nov

0:00

Polymorphic Types and Effects with Boolean Unification

Magnus Madsen, Jaco van de Pol

ιDOT: A DOT Calculus with Object Initialization

Ifaz Kabir, Yufeng Li, Ondřej Lhoták

0:20

Meet The Speakers

0:40

1:00

A Modular Cost Analysis for Probabilistic Programs

Martin Avanzini, Georg Moser, Michael Schaper

Variant analysis

Certified and Efficient Instruction Scheduling: Application to Interlocked VLIW Processors

Cyril Six, Sylvain Boulmé, David Monniaux

1:20

Interactive Synthesis of Temporal Specifications from Examples and Natural Language

Ivan Gavran, Eva Darulova, Rupak Majumdar

Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification

Christoph Sprenger, Tobias Klenze, Marco Eilers, Felix A. Wolf, Peter Müller, Martin Clochard, David Basin

1:40

Scaling Exact Inference for Discrete Probabilistic Programs

Steven Holtzen, Guy Van den Broeck, Todd Millstein

Distinguished Paper

Neural Reverse Engineering of Stripped Binaries using Augmented Control Flow Graphs

Yaniv David, Uri Alon, Eran Yahav

2:00

Digging for Fold: Synthesis-Aided API Discovery for Haskell

Michael B. James, Zheng Guo, Ziteng Wang, Shivani Doshi, Hila Peleg, Ranjit Jhala, Nadia Polikarpova

Termination Analysis for Evolving Programs: An Incremental Approach by Reusing Certified Modules

Fei He, Jitao Han

2:20

Meet The Speakers

2:40

3:00

Effects as Capabilities: Effect Handlers and Lightweight Effect Polymorphism

Jonathan Immanuel Brachthäuser, Philipp Schuster, Klaus Ostermann

Programming at the Edge of Synchrony

Cezara Drăgoi, Josef Widder, Damien Zufferey

3:20

Fast Linear Programming through Transprecision Computing on Small and Sparse Data

Tobias Grosser, Theodoros Theodoridis, Maximilian Falkenstein, Arjun Pitchanathan, Michael Kruse, Manuel Rigger, Zhendong Su, Torsten Hoefler

Rethinking Safe Consistency in Distributed Object-Oriented Programming

Mirko Köhler, Nafise Eskandani, Pascal Weisenburger, Alessandro Margara, Guido Salvaneschi

3:40

Testing Consensus Implementations using Communication Closure

Cezara Drăgoi, Constantin Enea, Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic

4:00

4:20

Meet The Speakers

4:40

5:00

Towards Building Ethically-Sound Data-Driven Software

Brittany Johnson

5:20

5:40

6:00

6:20

Closing Session

6:40

7:00