‹Programming› 2020
Mon 23 - Thu 26 March 2020 Porto, Portugal
Program

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

Wed 25 Mar

Displayed time zone: Belfast change

09:30 - 10:30
< Opening KeynoteKeynotes at Auditorium
09:30
60m
Talk
Generality—or Not—in a DSLOpening Keynote
Keynotes
K: Guy L. Steele Jr. Oracle Labs
11:00 - 12:30
Reflecting on ProgrammingResearch Papers at Auditorium
11:00
30m
Research paper
Did JHotDraw respect the Law of Good Style? - A deep dive into the nature of false positives of bad code smells
Research Papers
Daniel Speicher Bonn-Aachen International Center for Information Technology, B-IT
Link to publication DOI Pre-print
11:30
30m
Research paper
Programming Paradigms, Turing Completeness and Computational Thinking
Research Papers
Greg Michaelson Heriot-Watt University
Link to publication DOI Pre-print
12:00
30m
Research paper
Sub-method, partial behavioral reflection with Reflectivity: Looking back on 10 years of use
Research Papers
Steven Costiou INRIA Lille, Vincent Aranega Université Lille, CNRS, Centrale Lille, Inria, UMR 9189 - CRIStAL, Marcus Denker INRIA Lille
Link to publication DOI Pre-print
14:00 - 15:30
Engineering CorrectnessResearch Papers at Auditorium
14:00
30m
Research paper
Lightweight Lexical Test Prioritization for Immediate Feedback
Research Papers
Toni Mattis Hasso Plattner Institute, University of Potsdam, Robert Hirschfeld Hasso-Plattner-Institut (HPI), Germany
Link to publication DOI Pre-print
14:30
30m
Research paper
Robust Contract Evolution in a TypeSafe MicroServices Architecture
Research Papers
João Costa Seco NOVA LINCS -- Universidade Nova de Lisboa, Paulo Ferreira OutSystems SA, Hugo Lourenço OutSystems SA, Carla Ferreira Universidade Nova Lisboa, Lucio Ferrao OutSystems
Link to publication DOI Pre-print
15:00
30m
Research paper
Sthread: In-Vivo Model-Checking of Multithreaded Programs
Research Papers
Gene Cooperman Northeastern University, Martin Quinson École Normale Supérieure Rennes
Link to publication DOI Pre-print
16:00 - 17:30
Thinking about DataResearch Papers at Auditorium
Chair(s): Jonathan Edwards
16:00
30m
Research paper
Bacatá: Notebooks for DSLs, Almost for Free
Research Papers
Mauricio Verano Merino Technische Universiteit Eindhoven, Jurgen Vinju CWI, Netherlands, Tijs van der Storm CWI & University of Groningen, Netherlands
Link to publication DOI Pre-print
16:30
30m
Research paper
Fine-Grained, Language-Based Access Control for Database-Backed Applications
Research Papers
Ezra Zigmond Harvard University, Stephen Chong Harvard University, Christos Dimoulas PLT @ Northwestern University, Scott Moore Galois, Inc
Link to publication DOI Pre-print
17:00
30m
Research paper
Foundations of a live data exploration environment
Research Papers
Tomas Petricek University of Kent
Link to publication DOI Pre-print

Thu 26 Mar

Displayed time zone: Belfast change

09:30 - 10:30
Closing Keynote >Keynotes at Auditorium
09:30
60m
Talk
The Bosks Are Thorny, Grim, and IckyClosing Keynote
Keynotes
K: Richard P. Gabriel Dream Songs, Inc. & HPI
11:00 - 12:30
Machines Thinking about ProgramsResearch Papers at Auditorium
Chair(s): Coen De Roover Vrije Universiteit Brussel
11:00
30m
Research paper
Automatically Tracing Imprecision Causes in JavaScript Static Analysis
Research Papers
Hongki Lee Korea Advanced Institute of Science and Technology, Changhee Park KAIST, Sukyoung Ryu KAIST
Link to publication DOI Pre-print
11:30
30m
Research paper
Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System
Research Papers
Jeff Smits Delft University of Technology, Gabriël Konat Delft University of Technology, Eelco Visser Delft University of Technology
Link to publication DOI Pre-print
12:00
30m
Research paper
Reusing Static Analysis across Different Domain-Specific Languages using Reference Attribute Grammars
Research Papers
Johannes Mey Technische Universität Dresden, Thomas Kühn Karlsruhe Institute of Technology, René Schöne Technische Universität Dresden, Uwe Aßmann TU Dresden, Germany
Link to publication DOI Pre-print
14:00 - 15:30
Thinking ConcurrentlyResearch Papers at Auditorium
Chair(s): Matthew Flatt University of Utah
14:00
30m
Research paper
Implementing a Language for Distributed Systems: Choices and Experiences with Type Level and Macro Programming in Scala
Research Papers
Pascal Weisenburger Technische Universität Darmstadt, Guido Salvaneschi Technische Universität Darmstadt
Link to publication DOI Pre-print
14:30
30m
Research paper
Reference Capabilities for Safe Parallel Array Programming
Research Papers
Beatrice Åkerblom Stockholm University, Elias Castegren Uppsala University, Tobias Wrigstad Uppsala University
Link to publication DOI Pre-print
15:00
30m
Research paper
Gavial: Programming the web with multi-tier FRP
Research Papers
Bob Reynders Chonnam National University, Frank Piessens KU Leuven, Dominique Devriese Vrije Universiteit Brussel
Link to publication DOI Pre-print
16:00 - 17:30
Programming with StyleResearch Papers at Auditorium
16:00
30m
Research paper
Generating a Generic Fluent API in Java
Research Papers
Tomoki Nakamaru Graduate School of Information Science and Technology, The University of Tokyo, Shigeru Chiba The University of Tokyo
Link to publication DOI Pre-print
16:30
30m
Research paper
Functional Programming in Pattern-Match-Oriented Programming Style
Research Papers
Satoshi Egi Rakuten Institute of Technology, Rakuten, Inc. / The University of Tokyo, Yuichi Nishiwaki The University of Tokyo
Link to publication DOI Pre-print

Wed 25 Mar

Displayed time zone: Belfast change