‹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
Times are displayed in time zone: Greenwich Mean Time : Belfast change

09:30 - 10:30: < Opening KeynoteKeynotes at Auditorium
09:30 - 10:30
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 - 11:30
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 SpeicherBonn-Aachen International Center for Information Technology, B-IT
Link to publication DOI Pre-print
11:30 - 12:00
Research paper
Programming Paradigms, Turing Completeness and Computational Thinking
Research Papers
Greg MichaelsonHeriot-Watt University
Link to publication DOI Pre-print
12:00 - 12:30
Research paper
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
Link to publication DOI Pre-print
14:00 - 15:30: Engineering CorrectnessResearch Papers at Auditorium
14:00 - 14:30
Research paper
Lightweight Lexical Test Prioritization for Immediate Feedback
Research Papers
Toni MattisHasso Plattner Institute, University of Potsdam, Robert HirschfeldHasso-Plattner-Institut (HPI), Germany
Link to publication DOI Pre-print
14:30 - 15:00
Research paper
Robust Contract Evolution in a TypeSafe MicroServices Architecture
Research Papers
João Costa SecoNOVA LINCS -- Universidade Nova de Lisboa, Paulo FerreiraOutSystems SA, Hugo LourençoOutSystems SA, Carla FerreiraUniversidade Nova Lisboa, Lucio FerraoOutSystems
Link to publication DOI Pre-print
15:00 - 15:30
Research paper
Sthread: In-Vivo Model-Checking of Multithreaded Programs
Research Papers
Gene CoopermanNortheastern 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 - 16:30
Research paper
Bacatá: Notebooks for DSLs, Almost for Free
Research Papers
Mauricio Verano MerinoTechnische Universiteit Eindhoven, Jurgen VinjuCWI, Netherlands, Tijs van der StormCWI & University of Groningen, Netherlands
Link to publication DOI Pre-print
16:30 - 17:00
Research paper
Fine-Grained, Language-Based Access Control for Database-Backed Applications
Research Papers
Ezra ZigmondHarvard University, Stephen ChongHarvard University, Christos DimoulasPLT @ Northwestern University, Scott MooreGalois, Inc
Link to publication DOI Pre-print
17:00 - 17:30
Research paper
Foundations of a live data exploration environment
Research Papers
Tomas PetricekUniversity of Kent
Link to publication DOI Pre-print

Thu 26 Mar
Times are displayed in time zone: Greenwich Mean Time : Belfast change

09:30 - 10:30: Closing Keynote >Keynotes at Auditorium
09:30 - 10:30
Talk
The Bosks Are Thorny, Grim, and IckyClosing Keynote
Keynotes
K: Richard P. GabrielDream Songs, Inc. & HPI
11:00 - 12:30: Machines Thinking about ProgramsResearch Papers at Auditorium
Chair(s): Coen De RooverVrije Universiteit Brussel
11:00 - 11:30
Research paper
Automatically Tracing Imprecision Causes in JavaScript Static Analysis
Research Papers
Hongki LeeKorea Advanced Institute of Science and Technology, Changhee ParkKAIST, Sukyoung RyuKAIST
Link to publication DOI Pre-print
11:30 - 12:00
Research paper
Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System
Research Papers
Jeff SmitsDelft University of Technology, Gabriël KonatDelft University of Technology, Eelco VisserDelft University of Technology
Link to publication DOI Pre-print
12:00 - 12:30
Research paper
Reusing Static Analysis across Different Domain-Specific Languages using Reference Attribute Grammars
Research Papers
Johannes MeyTechnische Universität Dresden, Thomas KühnKarlsruhe Institute of Technology, René SchöneTechnische Universität Dresden, Uwe AßmannTU Dresden, Germany
Link to publication DOI Pre-print
14:00 - 15:30: Thinking ConcurrentlyResearch Papers at Auditorium
Chair(s): Matthew FlattUniversity of Utah
14:00 - 14:30
Research paper
Implementing a Language for Distributed Systems: Choices and Experiences with Type Level and Macro Programming in Scala
Research Papers
Pascal WeisenburgerTechnische Universität Darmstadt, Guido SalvaneschiTechnische Universität Darmstadt
Link to publication DOI Pre-print
14:30 - 15:00
Research paper
Reference Capabilities for Safe Parallel Array Programming
Research Papers
Beatrice ÅkerblomStockholm University, Elias CastegrenUppsala University, Tobias WrigstadUppsala University
Link to publication DOI Pre-print
15:00 - 15:30
Research paper
Gavial: Programming the web with multi-tier FRP
Research Papers
Bob ReyndersChonnam National University, Frank PiessensKU Leuven, Dominique DevrieseVrije Universiteit Brussel
Link to publication DOI Pre-print
16:00 - 17:30: Programming with StyleResearch Papers at Auditorium
16:00 - 16:30
Research paper
Generating a Generic Fluent API in Java
Research Papers
Tomoki NakamaruGraduate School of Information Science and Technology, The University of Tokyo, Shigeru ChibaThe University of Tokyo
Link to publication DOI Pre-print
16:30 - 17:00
Research paper
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
Link to publication DOI Pre-print

Wed 25 Mar
Times are displayed in time zone: Greenwich Mean Time : Belfast change

Thu 26 Mar
Times are displayed in time zone: Greenwich Mean Time : Belfast change