Auditorium - NIP'20

Room nameAuditorium

Floor1

Room numberA 101

Capacity450

Room Information

Location

https://www.google.com/maps/@41.1782565,-8.5977549,2a,75y,275.2h,69.94t/data=!3m6!1e1!3m4!1syxp2qhSU3mS72Rlmr-UBqA!2e0!7i13312!8i6656

Details

https://sigarra.up.pt/feup/pt/instal_geral.espaco_view?pv_id=73005

Program

Time Zone

The program is currently displayed in (GMT) Belfast.

Use conference time zone: (GMT) BelfastSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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 Keynote‹Programming› Keynotes at Auditorium

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	Engineering Correctness‹Programming› Research Papers at Auditorium

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	Thinking about Data‹Programming› Research Papers at Auditorium Chair(s): Jonathan Edwards

16:00 30m Research paper		Bacatá: 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	Closing Keynote >‹Programming› Keynotes at Auditorium

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	Programming with Style‹Programming› Research Papers at Auditorium

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

Wed 25 Mar
Displayed time zone: Belfast change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Auditorium							‹Programming› Keynotes < Opening Keynote																		‹Programming› Research Papers Reflecting on Programming																																				‹Programming› Research Papers Engineering Correctness																								‹Programming› Research Papers Thinking about Data

Thu 26 Mar
Displayed time zone: Belfast change


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
Auditorium							‹Programming› Keynotes Closing Keynote >																		‹Programming› Research Papers Machines Thinking about Programs																																				‹Programming› Research Papers Thinking Concurrently																								‹Programming› Research Papers Programming with Style

Wed 25 Mar
Displayed time zone: Belfast change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
Auditorium							‹Programming› KeynotesOpening Keynote Generality—or Not—in a DSL 09:30 - 10:30																		‹Programming› Research Papers Did JHotDraw respect the Law of Good Style? - A deep dive into the natu ... 11:00 - 11:30						‹Programming› Research Papers Programming Paradigms, Turing Completeness and Computational Thinking 11:30 - 12:00						‹Programming› Research Papers Sub-method, partial behavioral reflection with Reflectivity: Looking ba ... 12:00 - 12:30																								‹Programming› Research Papers Lightweight Lexical Test Prioritization for Immediate Feedback 14:00 - 14:30						‹Programming› Research Papers Robust Contract Evolution in a TypeSafe MicroServices Architecture 14:30 - 15:00						‹Programming› Research Papers Sthread: In-Vivo Model-Checking of Multithreaded Programs 15:00 - 15:30												‹Programming› Research Papers Bacatá: Notebooks for DSLs, Almost for Free 16:00 - 16:30						‹Programming› Research Papers Fine-Grained, Language-Based Access Control for Database-Backed Applica ... 16:30 - 17:00						‹Programming› Research Papers Foundations of a live data exploration environment 17:00 - 17:30

Thu 26 Mar
Displayed time zone: Belfast change


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
Auditorium							‹Programming› KeynotesClosing Keynote The Bosks Are Thorny, Grim, and Icky 09:30 - 10:30																		‹Programming› Research Papers Automatically Tracing Imprecision Causes in JavaScript Static Analysis 11:00 - 11:30						‹Programming› Research Papers Constructing Hybrid Incremental Compilers for Cross-Module Extensibilit ... 11:30 - 12:00						‹Programming› Research Papers Reusing Static Analysis across Different Domain-Specific Languages usin ... 12:00 - 12:30																								‹Programming› Research Papers Implementing a Language for Distributed Systems: Choices and Experience ... 14:00 - 14:30						‹Programming› Research Papers Reference Capabilities for Safe Parallel Array Programming 14:30 - 15:00						‹Programming› Research Papers Gavial: Programming the web with multi-tier FRP 15:00 - 15:30												‹Programming› Research Papers Generating a Generic Fluent API in Java 16:00 - 16:30						‹Programming› Research Papers Functional Programming in Pattern-Match-Oriented Programming Style 16:30 - 17:00

Room information: Auditorium

Wed 25 Mar
Displayed time zone: Belfast change

Thu 26 Mar
Displayed time zone: Belfast change

Wed 25 Mar
Displayed time zone: Belfast change

‹Programming› Keynotes

‹Programming› Research Papers

‹Programming› Research Papers

‹Programming› Research Papers

Thu 26 Mar
Displayed time zone: Belfast change

‹Programming› Keynotes

‹Programming› Research Papers

‹Programming› Research Papers

‹Programming› Research Papers

Wed 25 Mar
Displayed time zone: Belfast change

Thu 26 Mar
Displayed time zone: Belfast change

Tracks

‹Programming› 2020

Room information: Auditorium

Program Display Configuration

Wed 25 MarDisplayed time zone: Belfast change

Thu 26 MarDisplayed time zone: Belfast change

Wed 25 MarDisplayed time zone: Belfast change

‹Programming› Keynotes

‹Programming› Research Papers

‹Programming› Research Papers

‹Programming› Research Papers

Thu 26 MarDisplayed time zone: Belfast change

‹Programming› Keynotes

‹Programming› Research Papers

‹Programming› Research Papers

‹Programming› Research Papers

Wed 25 MarDisplayed time zone: Belfast change

Thu 26 MarDisplayed time zone: Belfast change

Wed 25 Mar
Displayed time zone: Belfast change

Thu 26 Mar
Displayed time zone: Belfast change

Wed 25 Mar
Displayed time zone: Belfast change

Thu 26 Mar
Displayed time zone: Belfast change

Wed 25 Mar
Displayed time zone: Belfast change

Thu 26 Mar
Displayed time zone: Belfast change