VenueOnline
Room nameVirtual Space B
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

Conference Day
Mon 22 Mar

Displayed time zone: Belfast change

13:00 - 14:30
Session 1ProWeb21 at Virtual Space B
Chair(s): Andrea StoccoUniversità della Svizzera italiana (USI)
13:00
30m
Talk
Rec.HTML: Typed Declarative HTMLProWeb21
ProWeb21
Bob ReyndersChonnam National University, Kwanghoon ChoiChonnam National University
Pre-print
13:30
30m
Talk
Tamper-proof security mechanism against liar objects in JavaScript applicationsProWeb20
ProWeb21
Angel Luis Scull PupoSofware Languages Lab, Vrije Universiteit Brussel, Jens NicolayVrije Universiteit Brussel, Belgium, Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium
Pre-print
14:00
30m
Talk
Wassail: a WebAssembly Static Analysis LibraryProWeb21
ProWeb21
Quentin StiévenartVrije Universiteit Brussel, Coen De RooverVrije Universiteit Brussel
Pre-print
15:00 - 16:30
Session 2ProWeb21 at Virtual Space B
Chair(s): Simon FowlerUniversity of Glasgow
15:00
60m
Keynote
Why Programming Languages for Distributed Systems are InevitableProWeb Keynote
ProWeb21
K: Guido SalvaneschiUniversity of St. Gallen
16:00
30m
Talk
Evolution of the WebDSL RuntimeProWeb20
ProWeb21
Danny GroenewegenDelft University of Technology, Elmer van ChasteletDelft University of Technology, Eelco VisserDelft University of Technology
Pre-print
16:30
30m
Talk
Oron: Towards a Dynamic Analysis Instrumentation Platform for AssemblyScriptProWeb21
ProWeb21
Aäron MunstersVrije Universiteit Brussel, Angel Luis Scull PupoSofware Languages Lab, Vrije Universiteit Brussel, Jim BauwensVrije Universiteit Brussel, Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium
Pre-print
17:00 - 19:00

Conference Day
Tue 23 Mar

Displayed time zone: Belfast change

16:00 - 16:30
Intro talk: Open Applications InfrastructureOAF at Virtual Space B
Chair(s): Evgeny Ponomarev, Alexey Pyshnenko
16:00
30m
Talk
Intro talk: Open Applications Infrastructure
OAF
Link to publication

Conference Day
Wed 24 Mar

Displayed time zone: Belfast change

14:00 - 14:30
15:00 - 16:30
Session 4Research Papers at Virtual Space B
Chair(s): Ademar AguiarFEUP, Universidade do Porto
15:00
30m
Live Q&A
Path-Sensitive Atomic Commit: Local Coordination Avoidance for Distributed Transactions
Research Papers
Tim SoethoutING Bank and Centrum Wiskunde & Informatica (CWI), Tijs van der StormCWI & University of Groningen, Netherlands, Jurgen VinjuCWI, Netherlands
DOI Media Attached
15:30
30m
Live Q&A
Interactive Music and Synchronous Reactive Programming
Research Papers
Bertrand PetitINRIA, France, Manuel SerranoInria, France
DOI Media Attached
16:00
30m
Live Q&A
Programming Paradigms, Turing Completeness and Computational Thinking
Research Papers
Greg MichaelsonHeriot-Watt University
DOI Media Attached
17:00 - 17:30
Conversation Starters IIConversation Starters at Virtual Space B
Chair(s): Patrick ReinHasso Plattner Institute
17:00
30m
Live Q&A
Live IDEs in the WebBrowser: What's Holding Us Back?
Conversation Starters
Gilad BrachaShape Security/F5 Networks
17:30 - 19:00
Session 6Research Papers at Virtual Space B
Chair(s): Ademar AguiarFEUP, Universidade do Porto
17:30
30m
Live Q&A
Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System
Research Papers
Jeff SmitsDelft University of Technology, Netherlands, Gabriël KonatDelft University of Technology, Eelco VisserDelft University of Technology
DOI Media Attached
18:00
30m
Live Q&A
Functional Programming in Pattern-Match-Oriented Programming Style
Research Papers
Satoshi EgiRakuten Institute of Technology, Rakuten, Inc. / The University of Tokyo, Yuichi NishiwakiThe University of Tokyo
DOI Media Attached
18:30
30m
Live Q&A
Sthread: In-Vivo Model Checking of Multithreaded Programs
Research Papers
Gene CoopermanNortheastern University, Martin QuinsonÉcole Normale Supérieure Rennes
DOI Media Attached

Conference Day
Thu 25 Mar

Displayed time zone: Belfast change

13:00 - 14:30
Session 8Research Papers at Virtual Space B
Chair(s): Simon FowlerUniversity of Glasgow
13:00
30m
Live Q&A
Sub-method, partial behavioral reflection with Reflectivity: Looking back on 10 years of use
Research Papers
Steven Costiou INRIA Lille, Vincent AranegaUniversité Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL, Marcus Denker INRIA Lille
DOI Media Attached
13:30
30m
Live Q&A
Reference Capabilities for Safe Parallel Array Programming
Research Papers
Beatrice ÅkerblomStockholm University, Elias CastegrenKTH, Tobias WrigstadUppsala University, Sweden
DOI Media Attached
14:00
30m
Live Q&A
ReactiFi: Reactive Programming of Wi-Fi Firmware on Mobile Devices
Research Papers
Artur SterzPhilipps-Universität Marburg, Matthias Eichholz, Ragnar MogkTechnische Universität Darmstadt, Lars BaumgärtnerTechnische Universität Darmstadt, Pablo Graubner, Matthias Hollick, Mira MeziniTU Darmstadt, Germany, Bernd FreislebenPhilipps-Universität Marburg
DOI Media Attached
15:00 - 16:30
Session 10Research Papers at Virtual Space B
Chair(s): Mariana MarasoiuUniversity of Cambridge
15:00
30m
Live Q&A
Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System
Research Papers
Jeff SmitsDelft University of Technology, Netherlands, Gabriël KonatDelft University of Technology, Eelco VisserDelft University of Technology
DOI Media Attached
15:30
30m
Live Q&A
Sthread: In-Vivo Model Checking of Multithreaded Programs
Research Papers
Gene CoopermanNortheastern University, Martin QuinsonÉcole Normale Supérieure Rennes
DOI Media Attached
17:00 - 17:30
Conversation Starters IVConversation Starters at Virtual Space B
Chair(s): Patrick ReinHasso Plattner Institute
17:00
30m
Live Q&A
Are many heaps better than one?
Conversation Starters
Mario WolczkoOracle Labs
17:30 - 19:00
Session 13Research Papers at Virtual Space B
Chair(s): Jens LinckeHasso Plattner Institute, University of Potsdam, Germany
17:30
30m
Live Q&A
Interactive Music and Synchronous Reactive Programming
Research Papers
Bertrand PetitINRIA, France, Manuel SerranoInria, France
DOI Media Attached
18:00
30m
Live Q&A
Capturing High-level Nondeterminism in Concurrent Programs for Practical Concurrency Model Agnostic Record & Replay
Research Papers
Dominik AumayrJohannes Kepler University Linz, Austria, Stefan MarrUniversity of Kent, Sophie KalebaUniversity of Kent, Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium, Hanspeter MössenböckJKU Linz, Austria
DOI Media Attached
18:30
30m
Live Q&A
Transparent Compiler and Runtime Specializations for Accelerating Managed Languages on FPGAs
Research Papers
Michail PapadimitriouUniversity of Manchester, UK, Juan FumeroUniversity of Manchester, UK, Athanasios StratikopoulosThe University of Manchester, Foivos S. ZakkakRed Hat, Inc., Christos KotselidisKTM Innovation / The University of Manchester
DOI Media Attached

Conference Day
Fri 26 Mar

Displayed time zone: Belfast change

13:00 - 13:30
Conversation Starters VIConversation Starters at Virtual Space B
Chair(s): Emma SöderbergLund University
13:00
30m
Live Q&A
Techniques for Mixed Consistency in Programming Languages
Conversation Starters
Mirko KöhlerTU Darmstadt, Nafise EskandaniTU Darmstadt, Pascal WeisenburgerTU Darmstadt, Guido SalvaneschiUniversity of St. Gallen
13:30 - 14:30
Session 15Research Papers at Virtual Space B
Chair(s): Stefan MarrUniversity of Kent
13:30
30m
Live Q&A
Transparent Compiler and Runtime Specializations for Accelerating Managed Languages on FPGAs
Research Papers
Michail PapadimitriouUniversity of Manchester, UK, Juan FumeroUniversity of Manchester, UK, Athanasios StratikopoulosThe University of Manchester, Foivos S. ZakkakRed Hat, Inc., Christos KotselidisKTM Innovation / The University of Manchester
DOI Media Attached
14:00
30m
Live Q&A
Sub-method, partial behavioral reflection with Reflectivity: Looking back on 10 years of use
Research Papers
Steven Costiou INRIA Lille, Vincent AranegaUniversité Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL, Marcus Denker INRIA Lille
DOI Media Attached
15:00 - 16:30
Session 17Research Papers at Virtual Space B
Chair(s): Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium
15:00
30m
Live Q&A
Capturing High-level Nondeterminism in Concurrent Programs for Practical Concurrency Model Agnostic Record & Replay
Research Papers
Dominik AumayrJohannes Kepler University Linz, Austria, Stefan MarrUniversity of Kent, Sophie KalebaUniversity of Kent, Elisa Gonzalez BoixVrije Universiteit Brussel, Belgium, Hanspeter MössenböckJKU Linz, Austria
DOI Media Attached
15:30
30m
Live Q&A
Prioritising Server Side Reachability via Inter-process Concolic Testing
Research Papers
Maarten VandercammenVrije Universiteit Brussel, Laurent ChristopheVUB, Dario Di NucciTilburg University, Wolfgang De MeuterVrije Universiteit Brussel, Coen De RooverVrije Universiteit Brussel
Link to publication DOI Media Attached
16:00
30m
Live Q&A
ReactiFi: Reactive Programming of Wi-Fi Firmware on Mobile Devices
Research Papers
Artur SterzPhilipps-Universität Marburg, Matthias Eichholz, Ragnar MogkTechnische Universität Darmstadt, Lars BaumgärtnerTechnische Universität Darmstadt, Pablo Graubner, Matthias Hollick, Mira MeziniTU Darmstadt, Germany, Bernd FreislebenPhilipps-Universität Marburg
DOI Media Attached
17:00 - 17:30
Session 19Research Papers at Virtual Space B
Chair(s): Mariana MarasoiuUniversity of Cambridge
17:00
30m
Live Q&A
Did JHotDraw Respect the Law of Good Style?: A deep dive into the nature of false positives of bad code smells
Research Papers
Daniel SpeicherBonn-Aachen International Center for Information Technology, B-IT
DOI Media Attached

Conference Day
Mon 22 Mar

Displayed time zone: Belfast change

Room13:003014:003015:003016:003017:003018:0030
Virtual Space B

Conference Day
Tue 23 Mar

Displayed time zone: Belfast change

Conference Day
Wed 24 Mar

Displayed time zone: Belfast change

Conference Day
Thu 25 Mar

Displayed time zone: Belfast change

Conference Day
Tue 23 Mar

Displayed time zone: Belfast change