International Symposium on DIStributed Computing (DISC) 2020

Workshop Program

All times are in Central European Summer Time = CEST = Berlin time = UTC+02:00.

 

Thursday, October 15

CELLS

Chairs: Matthias Fuegger, Manish Kushwaha, Thomas Nowak
Zoom Meeting: Conference Room CELLS

17:30 Jeff Hasty: “Engineered Gene Circuits: From Clocks To Tumors And Small Ecologies”
18:30 David Doty: “Crystals That Think About How They’re Growing”
19:30 30min break
20:00 Discussion/Socializing

TLA+

Chairs: Leslie Lamport and Stephan Merz
Zoom Meeting: Conference Room TLA+

17:30 Welcome
17:40 Dharma Shukla: Keynote: TLA+ at Microsoft to build planetary-scale systems.

 

Friday, October 16

ADGA

Chair: Jara Uitto
Zoom Meeting: Conference Room ADGA

15:00 Krzysztof Onak: The Current Landscape of Massively Parallel Algorithms for Graphs
15:30 Slobodan Mitrović: Recent LCA Techniques through the Lens of Matchings
16:00 coffee break
16:20 Faith Ellen: Constant-Length Labelling Schemes for Deterministic Radio Broadcast
16:50 Yannic Maus: Distributed vertex coloring: classic meets modern
17:20 coffee break
17:40 Dennis Olivetti: Distributed Edge Coloring in Time Quasi-Polylogarithmic in Δ
18:10 Michael Dinitz: New Graph Spanners and the Greedy Algorithm

BIS

Chairs: Fatemeh Shirazi, Eleftherios Kokoris-Kogias
Zoom Meeting: Conference Room BIS

15:00 Alexei Zamyatin
15:30 Pramod Viswanath
16:00 Christopher Goes
16:30 Dankrad Feist
17:00 Rachid Guerraoui
17:30 Pedro Moreno-Sanchez
18:00 George Danezis
18:30 Alistair Stewart

CELLS

Chairs: Matthias Fuegger, Manish Kushwaha, Thomas Nowak
Zoom Meeting: Conference Room CELLS

14:00 Kurt Mehlhorn: “Physarum Computations”
15:00 Tom de Greef: “Programmable DNA-Based Communication In Populations Of Synthetic Cells”
16:00 Yolanda Schaerli: “Synthetic Gene Regulatory Networks For Spatiotemporal Pattern Formation”
17:00 Tal Danino: “Engineering Bacteria As A Cancer Therapy”
18:00 30 min break
17:00 iGEM team Évry Paris-Saclay 2020: “How To Train Your Microbe For Rosewood Sensing?”

TLA+

Chairs: Leslie Lamport and Stephan Merz
Zoom Meeting: Conference Room TLA+

15:00 Ron Pressler: Conjunction Capers (TLA+ Truffle)
15:25 Jordan Haltermann: Bridging the Verifiability Gap: Why We Need More From Our Specs and How We Can Get It
15:50 break
16:15 Catalin Marinas: A formal model of cache speculation side channels
16:40 Smruti Padhy, Joe Stubbs: Exploring and improving the design of Abaco
17:05 break
17:30 Jesse Davis, Max Hirschhorn, Judah Schvimer: eXtreme Modelling in Practice (paper)
17:55 Star Dorminey: Kayfabe – model-based program testing
18:20 Andrey Kupriyanov, Igor Konnov: Model-based testing with TLA+ and Apalache

 

Monday, October 19

TLA+

Chairs: Leslie Lamport and Stephan Merz
Zoom Meeting: Conference Room TLA+

15:00 Tomek Masternak, Szymon Pobiega: Checking safety in Exactly-once – a library for stronger message processing guarantees
15:25 Jose Solsona, Sergio Yovine: TLA + specification of PCR parallel programming pattern
15:50 break
16:15 Jean-Paul Bodeveix, Julien Brunel, David Chemouil, Mamoun Filali: TLA+ validation of Chord
16:40 Heba Alkayed, Horatiu Cirstea, Stephan Merz: An Extension of PlusCal for Modeling Distributed Algorithms
17:05 break
17:30 Antoine Defourné, Petar Vukmirovic: Higher-order Automation in TLAPS
17:55 Jure Kukovec, Igor Konnov: Type Inference for TLA+ in Apalache
18:20 Discussion and wrap-up