ENIAC20
Tue 24 Mar 2020 Porto, Portugal
co-located with ‹Programming› 2020
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
09:30
60m
Talk
Generality—or Not—in a DSLOpening Keynote
‹Programming› Keynotes
K: Guy L. Steele Jr. Oracle Labs
11:00 - 12:30
Reflecting on Programming‹Programming› Research 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
‹Programming› 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
‹Programming› 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
‹Programming› 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
14:00
30m
Research paper
Lightweight Lexical Test Prioritization for Immediate Feedback
‹Programming› 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
‹Programming› 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
‹Programming› Research Papers
Gene Cooperman Northeastern University, Martin Quinson École Normale Supérieure Rennes
Link to publication DOI Pre-print
16:00 - 17:30
16:00
30m
Research paper
Bacatá: Notebooks for DSLs, Almost for Free
‹Programming› 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
‹Programming› 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
‹Programming› 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
09:30
60m
Talk
The Bosks Are Thorny, Grim, and IckyClosing Keynote
‹Programming› Keynotes
K: Richard P. Gabriel Dream Songs, Inc. & HPI
11:00 - 12:30
Machines Thinking about Programs‹Programming› Research Papers at Auditorium
Chair(s): Coen De Roover Vrije Universiteit Brussel
11:00
30m
Research paper
Automatically Tracing Imprecision Causes in JavaScript Static Analysis
‹Programming› 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
‹Programming› 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
‹Programming› 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 Concurrently‹Programming› Research 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
‹Programming› 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
‹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
‹Programming› 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
16:00
30m
Research paper
Generating a Generic Fluent API in Java
‹Programming› 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
‹Programming› 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