Conference Dates
Conference Dates are in time zone (GMT-05:00) Guadalajara, Mexico City, Monterrey, and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your Program
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Conference Day
Sun 4 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

08:00 - 09:00
BreakfastSocial at Terrace
08:20 - 08:30
08:30 - 09:00
Introductory SessionBLOCKS+ at Beacon Hill
08:30
30m
Talk
Mental Models, Metaphors and Misconceptions
BLOCKS+
09:00 - 10:00
Limits People Reach & How to Get Past ThemBLOCKS+ at Beacon Hill
09:00
5m
Talk
Coding while Making: using Blocks Language in a Physical Computing Setting
BLOCKS+
Karen H. JinUniversity of New Hampshire
Pre-print
09:05
5m
Talk
Abstractionless Programming in App Inventor
BLOCKS+
Audrey SeoWellesley College
Pre-print
09:10
5m
Talk
Beyond "I'm done": Encouraging deeper exploration of challenging computational concepts
BLOCKS+
Paulina HaduongHarvard Graduate School of Education, Karen BrennanHarvard Graduate School of Education
Pre-print
09:15
5m
Talk
The Example Guru: Suggesting Examples to Novice Blocks Programmers in an Artifact-Based Context Increases Use of New Blocks
BLOCKS+
Michelle IchincoUniversity of Massachusetts Lowell, Caitlin KelleherWashington University in St. Louis
Pre-print
09:20
5m
Talk
Research Tools for MIT App Inventor
BLOCKS+
Evan W PattonMassachusetts Institute of Technology, Mark ShermanCERT, Michael TissenbaumUniversity of Illinois Urbana-Champaign
Pre-print
09:25
15m
Other
Themed Session 1: Whole Group Discussion
BLOCKS+

09:40
20m
Other
Themed Session 1: Break-out discussions
BLOCKS+

09:00 - 10:00
Keynote: RamanathanREBLS at Cambridge
Chair(s): Francisco Sant'AnnaRio de Janeiro State University
09:00
15m
Day opening
Welcome and Opening Remarks
REBLS
S: Guido SalvaneschiTU Darmstadt, S: Wolfgang De MeuterVrije Universiteit Brussel, P: Francisco Sant'AnnaRio de Janeiro State University
File Attached
09:15
45m
Talk
Reacting to stream-based programming bugs
REBLS
09:00 - 10:00
Opening SessionSLEBoK at Newbury
Chair(s): Vadim ZaytsevRaincode Labs
09:00
15m
Day opening
Welcome and introduction to SLEBoK and participants
SLEBoK
Vadim ZaytsevRaincode Labs, Eric Van WykUniversity of Minnesota, USA
09:15
15m
Other
Presentations from working group chairs
SLEBoK

09:30
15m
Other
Short proposals for new related SLEBoK project
SLEBoK

09:45
15m
Other
Planning and organization for the day
SLEBoK

09:00 - 10:00
Keynote: KirschVMIL at Stuart
Chair(s): Stefan MarrUniversity of Kent
09:00
60m
Talk
On the Self in Selfie ⭐️Keynote
VMIL
I: Christoph KirschUniversity of Salzburg
DOI Media Attached
10:00 - 10:30
BreakSocial at Terrace
10:30 - 11:00
Panel: Block Abstractions for AIBLOCKS+ at Beacon Hill
10:30
30m
Talk
Panel: Block Abstractions for Artificial Intelligence
BLOCKS+
A: Evan W PattonMassachusetts Institute of Technology, A: Stefania DrugaMassachusetts Institute of Technology, A: Jessica Van BrummelenMassachusetts Institute of Technology, P: Joe MazzoneTeacher at Davies Career and Technical High School, P: Xavier Puig FernandezMIT-CSAIL
Pre-print
10:30 - 12:00
Embedded, IoT / Multitier, DistributedREBLS at Cambridge
Chair(s): Tetsuo KaminaOita University
10:30
22m
Talk
Where Do Events Come From? Reactive and Energy-Efficient Programming From The Ground Up
REBLS
Francisco Sant'AnnaRio de Janeiro State University, Alexandre SztajnbergRio de Janeiro State University
File Attached
10:52
22m
Talk
Synthesizing Manually Verifiable Code for Statecharts
REBLS
Steven SmythKiel University, Christian MotikaPhilotech Systementwicklung und Software GmbH, Reinhard von HanxledenKiel University
File Attached
11:15
22m
Talk
RHEA: A Reactive, Heterogeneous, Extensible and Abstract Framework for Dataflow Programming
REBLS
Orestis MelkonianUniversity of Utrecht, Angelos CharalambidisNCSR "Demokritos''
File Attached
11:37
22m
Talk
Reactive Chatbot Programming
REBLS
Guillaume BaudartIBM Research, Martin HirzelIBM Research, Louis MandelIBM Research, Avraham ShinnarIBM Research, Jerome SimeonClause
File Attached
10:30 - 12:00
The State of GraceGRACE at Longfellow
Chair(s): James NobleVictoria University of Wellington
10:35
15m
Demonstration
A Tour of Grace
GRACE
Andrew BlackPortland State University
10:50
10m
Talk
Early Experience with Grace at Pomona College
GRACE
Andrew BlackPortland State University, P: Kim BrucePomona College
Link to publication
11:00
10m
Talk
Teaching programming with Grace at Portland State
GRACE
P: Andrew BlackPortland State University, Kim BrucePomona College
Link to publication
11:15
10m
Talk
Multi-Device Grace
GRACE
P: Craig AnslowVictoria University of Wellington, Ben Selwyn-Smith, Michael HomerVictoria University of Wellington
11:30
10m
Talk
Newspeak and Truffle: A Platform for Grace?
GRACE
P: Stefan MarrUniversity of Kent, James NobleVictoria University of Wellington, Richard RobertsVictoria University of Wellington
Pre-print
11:45
5m
Talk
SmallGrace: Grace in Pharo Smalltalk
GRACE
Andrew BlackPortland State University
10:30 - 12:00
Working Session ISLEBoK at Newbury
10:30
90m
Meeting
Split into small groups, work on SLEBoK tasks, morning
SLEBoK

10:30 - 12:00
IVMIL at Stuart
Chair(s): Mark MarronMicrosoft Research
10:30
25m
Research paper
Efficient VM-independent Runtime Checks for Parallel Programming
VMIL
Michael FaesETH Zurich, Thomas GrossETH Zurich
DOI Pre-print
10:55
25m
Research paper
Using Compiler Snippets to Exploit Parallelism on Heterogeneous Hardware: A Java Reduction Case Study
VMIL
Juan FumeroThe University of Manchester, Christos KotselidisThe University of Manchester
DOI Pre-print
11:20
20m
Talk
Generating a Minimum JavaScript VM Specialised for Target Applications
VMIL
Tomoharu UgawaKochi University of Technology, Japan, Hideya IwasakiUniversity of Electro-Communications, Japan
11:40
20m
Talk
Profiling Android Applications with Nanoscope
VMIL
Lun LiuUniversity of California at Los Angeles, USA, Leland TakamineUber Technologies, Adam WelcUber Technologies
Pre-print
11:00 - 12:00
Empowerment & Broadening ParticipationBLOCKS+ at Beacon Hill
11:00
10m
Talk
Broadening Participation in Computer Science through Block Programming
BLOCKS+
Beryl HoffmanElms College, Ralph MorelliTrinity College, Jennifer RosatoCollege of St. Scholastica
Pre-print
11:10
10m
Talk
Reducing the Barriers for Computational Action: How Blocks-Based Programming Can Support Digital Empowerment
BLOCKS+
Mike TissenbaumUniversity of Illinois, Urbana-Champain, Josh SheldonMIT App Inventor, Hal AbelsonMIT
Pre-print
11:20
8m
Other
Themed Session 2: Whole-group discussions
BLOCKS+

11:28
3m
Talk
Educational Robotics with a Twist
BLOCKS+
Hamid ZareGraduate Student, Miklos MarotiAssociate Professor, Akos LedecziVanderbilt University
Pre-print
11:31
3m
Talk
A Blocks-Based Approach to Internet of Things in MIT App Inventor
BLOCKS+
Wen XiHong Kong Polytechnic University, Evan W PattonMassachusetts Institute of Technology
Pre-print
11:34
3m
Talk
DevTech Lab - KIBO and ScratchJr Demo
BLOCKS+
Catherine CowellTufts University, Hannah RiehlTufts University, Marina Umaschi BersTufts University
Pre-print
11:37
3m
Talk
CloudDB in MIT App Inventor
BLOCKS+
11:40
20m
Other
Themed Session 2: Breakout discussions and demos/posters
BLOCKS+

13:10 - 14:10
Keynote: ShapiroBLOCKS+ at Beacon Hill
13:10
60m
Talk
Thinking Outside the Blocks
BLOCKS+
Ben ShapiroUniversity of Colorado, Boulder
13:30 - 15:00
Multitier, DistributedREBLS at Cambridge
Chair(s): Louis MandelIBM Research
13:30
22m
Talk
DISCOPAR: A Visual Reactive Programming Language for Generating Cloud-based Participatory Sensing Platforms
REBLS
Jesse ZamanVrije Universiteit Brussel, Kennedy KambonaVrije Universiteit Brussel, Wolfgang De MeuterVrije Universiteit Brussel
File Attached
13:52
22m
Talk
Multitier Reactive Programming with ScalaLoci
REBLS
Pascal WeisenburgerTechnische Universität Darmstadt, Guido SalvaneschiTU Darmstadt
File Attached
14:15
22m
Talk
Distributing Thread-Safety for Reactive Programming
REBLS
Joscha DrechslerTechnische Universität Darmstadt, Mira MeziniTU Darmstadt
Pre-print File Attached
14:37
22m
Talk
Skitter: A DSL for Distributed Reactive Workflows
REBLS
Mathijs SaeyVrije Universiteit Brussel, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel
Pre-print File Attached
13:30 - 15:00
Types in GraceGRACE at Longfellow
Chair(s): Kim BrucePomona College
13:30
20m
Talk
KafKa: Gradual Typing for Objects
GRACE
Benjamin W ChungNortheastern University
Link to publication
14:00
20m
Talk
Three approaches to Gradual Typing
GRACE
Ben GreenmanNortheastern University, USA, A: Preston Tunnell WilsonBrown University, USA, A: Justin PombrioBrown University, USA, A: Shriram KrishnamurthiBrown University, USA
14:30
20m
Talk
Gradual Typing is Morally Incorrect: the Problem of Applying Gradual Typing
GRACE
13:30 - 15:00
Working Session IISLEBoK at Newbury
13:30
90m
Meeting
Split into small groups, work on SLEBoK tasks, afternoon
SLEBoK

13:30 - 15:00
Keynote: StenmanVMIL at Stuart
Chair(s): Stephen KellUniversity of Kent
13:30
60m
Talk
BEAM: A Virtual Machine for Handling Millions of Messages per Second ⭐️Keynote
VMIL
DOI
14:30
25m
Research paper
A Cost Model for a Graph-Based Intermediate-Representation in a Dynamic Compiler
VMIL
David LeopoldsederJohannes Kepler University Linz, Lukas StadlerOracle Labs, Austria, Manuel RiggerJohannes Kepler University Linz, Thomas WuerthingerOracle Labs, Hanspeter MössenböckJKU Linz, Austria
DOI
14:10 - 15:00
Accessibility & Language Construction ToolsBLOCKS+ at Beacon Hill
14:10
10m
Talk
Building an Accessible Block Environment
BLOCKS+
Emmanuel SchanzerBrown University, Sina BahramPrime Access Consulting, Shriram KrishnamurthiBrown University, USA
Pre-print
14:20
5m
Talk
Language Workbench Support for Block-Based DSLs
BLOCKS+
Mauricio Verano MerinoTechnische Universiteit Eindhoven, Tijs van der StormCWI & University of Groningen
Pre-print
14:25
5m
Talk
Rapid Prototyping for Blocks-based Languages and Environments
BLOCKS+
Josh CaldwellCode.org, Josh LoryCode.org
Pre-print
14:30
5m
Talk
TypeScript: From JavaScript to Blockly and Back
BLOCKS+
Thomas BallMicrosoft Research, Peli de HalleuxMicrosoft Research, Sam El-HusseiniMicrosoft, Richard KnollMicrosoft, Michal MoskalMicrosoft Research
Pre-print
14:35
25m
Other
Themed Session 3: Break-out discussions and demos/posters
BLOCKS+

15:00 - 15:30
BreakSocial at Terrace
15:30 - 16:15
Collaborative ProgrammingBLOCKS+ at Beacon Hill
15:30
5m
Talk
Enhancing and Evaluating Collaborative Blocks Programming in App Inventor
BLOCKS+
Alissa TinneyWellesley College, Xinhui XuWellesley College
Pre-print
15:35
5m
Talk
Real-time Collaboration and Undo in StarLogo Nova: Technical Approach and Considerations for UX Design
BLOCKS+
Denis LiMIT Scheller Teacher Education Program, Lisa StumpMIT Scheller Teacher Education Program, Daniel WendelMIT Scheller Teacher Education Program
Pre-print
15:40
5m
Talk
Real-time Collaboration in NetsBlox
BLOCKS+
Akos LedecziVanderbilt University
15:45
5m
Talk
Multi-Device Grace
BLOCKS+
Ben Selwyn-Smith, Craig AnslowVictoria University of Wellington, Michael HomerVictoria University of Wellington
15:50
25m
Other
Themed Session 4: Break-out discussions and demos/posters
BLOCKS+

15:30 - 16:15
Types in Grace (continued)GRACE at Longfellow
15:30
20m
Talk
Static & Dynamic Typing in Grace
GRACE
P: Andrew BlackPortland State University, Kim BrucePomona College, James NobleVictoria University of Wellington
Link to publication
15:50
25m
Other
Discussion on types in Grace
GRACE

15:30 - 17:05
IIVMIL at Stuart
Chair(s): Adam WelcUber Technologies
15:30
25m
Research paper
Building JIT Compilers For Dynamic Languages With Low Development Effort
VMIL
Baptiste SaleilUniversité de Montréal, Marc FeeleyUniversité de Montréal
DOI
15:55
20m
Talk
Twopy: A Just-In-Time Compiler For Python Based On Code Specialization
VMIL
Julien PagèsUniversité de Montréal, Marc FeeleyUniversité de Montréal
16:15
25m
Research paper
Towards Compilation of an Imperative Language for FPGAs
VMIL
Baptiste PaugetÉcole Normale Supérieure, David J. PearceVictoria University of Wellington, Alex PotaninVictoria University of Wellington
DOI Pre-print File Attached
16:40
25m
Research paper
Two Decades of Smalltalk VM Development
VMIL
Eliot MirandaCadence Design Systems, Clément BéraSofware Languages Lab, Vrije Universiteit Brussel, Elisa Gonzalez BoixVrije Universiteit Brussel, Dan Ingalls
DOI
16:15 - 17:00
Implementers’ CampfireBLOCKS+ at Beacon Hill
16:15
5m
Talk
Rethinking OOP in Snap!
BLOCKS+
Jens MönigSAP SE, Brian HarveyUniversity of California, Berkeley, Jadga HügleSAP SE
Pre-print
16:20
5m
Talk
Custom Blocks in StarLogo Nova: A Template-Based Approach to Abstraction for Improved Ease of Use and Expressive Power
BLOCKS+
Hyeonsu KangMIT Scheller Teacher Education Program, David WuMIT, Daniel WendelMIT Scheller Teacher Education Program
Pre-print
16:25
5m
Talk
Two New Block Features in GP
BLOCKS+
16:30
5m
Talk
JSON Interoperability in MIT App Inventor
BLOCKS+
Evan W PattonMassachusetts Institute of Technology, Danny TangMassachusetts Institute of Technology
Pre-print
16:35
5m
Talk
Scratch 3.0 Design Notes
BLOCKS+
16:40
20m
Other
Implementers’ Campfire: Whole group discussions
BLOCKS+

16:15 - 17:00
The Future of GraceGRACE at Longfellow
16:15
45m
Meeting
The Future of Grace
GRACE
S: James NobleVictoria University of Wellington
17:00 - 17:05
17:00 - 18:00
Social Social at Terrace
17:05 - 17:45
Playground Poster/DemoBLOCKS+ at Beacon Hill
17:05
40m
Other
Playground Demo/Poster Session
BLOCKS+

Conference Day
Mon 5 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

07:30 - 08:30
BreakfastSocial at Terrace
08:30 - 10:00
Adoption & Programmer PerceptionPLATEAU at Beacon Hill
Chair(s): Joshua SunshineCarnegie Mellon University
08:30
20m
Talk
Welcome
PLATEAU

08:50
25m
Talk
Programming by example: efficient, but not "helpful"
PLATEAU
Mark SantolucitoYale University, USA, Drew GoldmanRoslyn High School, Allyson WeseleyRoslyn High School, Ruzica PiskacYale University, USA
File Attached
09:15
15m
Talk
Observing the Uptake of a Language Change Making Strings Immutable
PLATEAU
Manuel MaarekHeriot-Watt University
File Attached
09:30
15m
Talk
Identifying Barriers to Adoption for Rust through Online Discourse
PLATEAU
Anna ZengStanford University, Will CrichtonStanford University
File Attached
08:30 - 10:00
Keynote: WrigstadAGERE at Cabot
08:30
15m
Talk
Welcome and Introduction
AGERE

08:45
75m
Talk
Concurrency vs. Parallelism in Encore (...and Types)Keynote
AGERE
Tobias WrigstadUppsala University
08:30 - 10:00
Meta for TypesMETA at Cambridge
Chair(s): Elisa Gonzalez BoixVrije Universiteit Brussel
08:30
30m
Talk
Code Generation for Higher Inductive Types
META
Paventhan VivekanandanIndiana University Bloomington
File Attached
09:00
30m
Talk
Recognizing heterogeneous sequences by rational type expression
META
Jim NewtonEPITA / LRDE https://www.lrde.epita.fr, Didier VernaEPITA / LRDE
DOI
09:30
30m
Talk
Multiple Dispatch using Compile-Time Metaprogramming
META
Seyed Hossein HaeriUniversité Catholique de Louvain, Paul Keir
08:30 - 10:00
Keynote: AmarasingheGPCE at Studio 1
08:30
15m
Talk
Opening
GPCE
Eric Van WykUniversity of Minnesota, USA, Tiark RompfPurdue University, David J. PearceVictoria University of Wellington, Tanja MayerhoferTU Wien, Friedrich SteimannFernuniversität
08:45
75m
Talk
How to Make Sparse FastKeynote
GPCE
10:00 - 10:30
BreakSocial at Terrace
10:30 - 12:00
Keynote: ChughPLATEAU at Beacon Hill
Chair(s): Joshua SunshineCarnegie Mellon University
10:30
65m
Talk
Direct Manipulation Programming in Sketch-n-Sketch: Three Years, Three IdeasKeynote
PLATEAU
Ravi ChughUniversity of Chicago
11:35
5m
Talk
Interdisciplinary Programming Language Design - Preview
PLATEAU
Michael CoblenzCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Brad A. MyersCarnegie Mellon University, Joshua SunshineCarnegie Mellon University
11:40
5m
Talk
Julia: Dynamism and Performance Reconciled by Design - Preview
PLATEAU
Jeff BezansonJulia Computing, Benjamin ChungNortheastern University, Jiahao ChenCapital One, Stefan Karpinski, Viral B ShahJulia Computing, Jan VitekNortheastern University, Lionel ZoubritzkyÉcole Normale Supérieure
11:45
5m
Talk
On the Usage of “Pythonic” Idioms in Python Programs - Preview
PLATEAU
Carol V. AlexandruUniversity of Zurich, José J. MerchanteUniversidad Rey Juan Carlos, Sebastiano PanichellaZurich University of Applied Science/University of Zurich, Sebastian ProkschUniversity of Zurich, Harald GallUniversity of Zurich, Gregorio RoblesUniversidad Rey Juan Carlos
11:50
5m
Talk
We Should Stop Claiming Generality in our Domain-Specific Language Papers - Preview
PLATEAU
Daco HarkesDelft University of Technology
Link to publication
10:30 - 12:00
Distributed SystemsAGERE at Cabot
10:30
30m
Talk
A Configurable Transport Layer for CAF
AGERE
Link to publication DOI File Attached
11:00
30m
Talk
Distributed Functional Reactive Programming on Actor-Based Runtime
AGERE
Kazuhiro ShibanaiTokyo Institute of Technology, Takuo WatanabeTokyo Institute of Technology
Link to publication DOI
11:30
30m
Talk
Observable atomic consistency for CvRDTs
AGERE
Xin ZhaoKTH Royal Institute of Technology, Philipp HallerKTH, Sweden
10:30 - 12:00
Keynote: Burmako & ToolingMETA at Cambridge
Chair(s): Stefan MarrUniversity of Kent
10:30
60m
Talk
SemanticDB: a common data model for Scala developer tools ⭐️Keynote
META
I: Eugene BurmakoTwitter, Inc.
DOI
11:30
30m
Demonstration
Relit: Typed Literal Macros for Reason
META
Cyrus OmarUniversity of Chicago, Charles ChamberlainUniversity of Chicago
Link to publication
10:30 - 12:00
Speakers 2TURBO at Stuart
Chair(s): Gerhard DueckUniversity of New Brunswick
10:30
30m
Talk
Eclipse OMR Om: A Relaxing Object Model for the Polyglot World
TURBO
Robert YoungIBM, Canada
11:00
30m
Talk
Building AArch64 Support for the Eclipse OMR Language Runtime Toolkit
TURBO
Jean-Philippe LegaultUniversity of New Brunswick, Aaron GrahamIBM/University of New Brunswick: Centre for Advanced Studies - Atlantic (CAS-Atlantic)
11:30
30m
Talk
Building an Ahead-of-Time Compiler for WebAssembly with Eclipse OMR
TURBO
10:30 - 12:00
ParsingSLE at Studio 1
Chair(s): Tijs van der StormCWI & University of Groningen
10:30
30m
Talk
Declarative Specification of Indentation Rules: A Tooling Perspective on Parsing and Pretty-Printing Layout-Sensitive Languages
SLE
Luis Eduardo de Souza AmorimDelft University of Technology, Netherlands, Michael J. SteindorferDelft University of Technology, Sebastian ErdwegTU Delft, Eelco VisserDelft University of Technology
Link to publication DOI
11:00
30m
Talk
GLL Parsing with Flexible Combinators
SLE
L. Thomas van BinsbergenRoyal Holloway University of London, Elizabeth ScottRoyal Holloway University of London, Adrian Johnstone
File Attached
11:30
30m
Talk
Morbig: A Static Parser for POSIX Shell
SLE
Yann Régis-GianasIRIF, University Paris Diderot and CNRS, France / INRIA PI.R2, Nicolas JeannerodIRIF, Université de Paris, Ralf TreinenIRIF
10:30 - 12:00
IGPCE at Studio 2
Chair(s): Shoaib KamilAdobe
10:30
30m
Talk
A Domain-Specific Language for Exploratory Data Visualization
GPCE
Karl SmeltzerOregon State University, Martin ErwigOregon State University
11:00
30m
Talk
A Practical Unification of Multi-Stage Programming and Macros
GPCE
Nicolas StuckiEPFL, Switzerland, Aggelos BiboudisEPFL, Switzerland, Martin OderskyEPFL, Switzerland
11:30
30m
Talk
Rash: From Reckless Interactions to Reliable Programs
GPCE
William G HatchUniversity of Utah, Matthew FlattUniversity of Utah
13:30 - 15:00
Parallel SystemsAGERE at Cabot
13:30
30m
Talk
Chocola: Integrating Futures, Actors, and Transactions
AGERE
Janwillem SwalensVrije Universiteit Brussel, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel
Pre-print
14:00
30m
Talk
Concurrent Garbage Collection in the Actor Model
AGERE
Dan Plyukhin, Gul AghaUniversity of Illinois at Urbana-Champaign, USA
14:30
30m
Talk
Attached and Detached Closures in Actors
AGERE
Elias CastegrenUppsala University, Dave ClarkeUppsala Univ. Sweden and KU Leuvern, Kiko Fernandez-ReyesUppsala University, Tobias WrigstadUppsala University, Albert Mingkun YangUppsala University
13:30 - 15:00
Keynote: Bonetta & InfrastructureMETA at Cambridge
Chair(s): Guido ChariCzech Technical University, Czechia
13:30
60m
Talk
GraalVM: Metaprogramming inside a Polyglot System ⭐️Keynote
META
Daniele BonettaOracle Labs
DOI
14:30
30m
Talk
Does It Make Sense to have Application-specific Code Conventions as a Complementary Approach to Code Annotations?
META
Rodrigo TeixeiraINPE - National Institute for Space Research, Eduardo GuerraINPE - National Institute for Space Research, Phyllipe LimaINPE - National Institute for Space Research, Paulo MeirellesFederal University of São Paulo, Fabio KonUniversity of São Paulo
DOI
13:30 - 15:00
IIHILT at Franklin
Chair(s): William BailThe MITRE Corporation
13:30
45m
Talk
Tool support for Confidentiality by Construction
HILT
S: Tobias RungeTU Braunschweig, S: Ina SchaeferTechnische Universität Braunschweig, Alexander KnüppelTU Braunschweig, Germany, Loek CleophasEindhoven University of Technology (TU/e) and Stellenbosch University, Derrick KourieStellenbosch University, Bruce WatsonStellenbosch University; and Centre for AI Research, CSIR
14:15
45m
Other
Panel on Language-based Security
HILT
P: Stephen ChongHarvard University, Ina SchaeferTechnische Universität Braunschweig, Tobias RungeTU Braunschweig, Lucas WagnerRockwell Collins, Sam ProcterCarnegie Mellon Software Engineering Institute, Tucker TaftAdaCore
13:30 - 15:00
AfternoonSPLASH-E at Newbury
13:30
30m
Talk
Bridging the Gap for At-Risk Cohorts: Experimenting with English Language Learners
SPLASH-E
Celina BergUBC, Computer Science, Fatimah MahmoodUniversity of British Columbia
File Attached
14:00
30m
Talk
LambdaLab: An Interactive Lambda-Calculus Reducer for Learning
SPLASH-E
Daniel SainatiCornell University, Adrian SampsonCornell University
File Attached
14:30
30m
Meeting
Discussion
SPLASH-E

13:30 - 15:00
Hands-on Tutorial 1TURBO at Stuart
Chair(s): Leonardo BanderaliIBM Toronto Labs
13:30
90m
Other
Boost WABT Performance with JitBuilder (Part I)
TURBO
Leonardo BanderaliIBM Toronto Labs, Xiaoli LiangIBM Canada, Daryl MaierIBM Canada, Mark StoodleyIBM Canada, Robert YoungIBM, Canada
13:30 - 15:00
Parsing / CompositionSLE at Studio 1
Chair(s): Eelco VisserDelft University of Technology
13:30
20m
Talk
Input-Driven Regular Expressions (Vision Paper)Vision / New Idea
SLE
13:50
30m
Talk
Modular Language Composition for the Masses
SLE
Manuel LeducUniv Rennes, Inria, CNRS, IRISA, Thomas DegueuleCentrum Wiskunde & Informatica, Benoit CombemaleUniversity of Rennes 1
DOI Pre-print
14:20
20m
Talk
Storm: A Language Platform for Interacting and Extensible Languages (Tool Demo)Tool Demo
SLE
Filip StrömbäckLinköping University
DOI
14:40
20m
Talk
Languages as First-Class Citizens (Vision Paper)Vision / New Idea
SLE
Matteo CiminiUniversity of Massachusetts Lowell
13:30 - 15:00
IIGPCE at Studio 2
Chair(s): Aggelos BiboudisEPFL, Switzerland
13:30
30m
Talk
Exploring feature interactions without specifications: a controlled experiment
GPCE
Larissa SoaresUniversidade Federal da Bahia, Jens MeinickeMagdeburg University, Sarah NadiUniversity of Alberta, Christian KaestnerCarnegie Mellon University, Eduardo Santana de AlmeidaUniversidade Federal da Bahia
14:00
30m
Talk
Inferring Ownership Domains From Refinements
GPCE
Ebrahim KhalajWayne State University, Marwan Abi-AntounWayne State University
14:30
30m
Talk
Implementing a semi-causal domain-specific language for context detection over binary sensors
GPCE
Nic VolanschiInria Bordeaux, Bernard SerpetteInria, Charles ConselUniversity of Bordeaux
13:30 - 14:30
13:30
60m
Talk
Time-Travel Debugging and Actionable Diagnostics Insights
SPLASH-I
Mark MarronMicrosoft Research
15:00 - 15:30
BreakSocial at Terrace
15:30 - 17:00
Interactive Tools & BreakoutPLATEAU at Beacon Hill
Chair(s): Sarah E. ChasinsUniversity of California, Berkeley
15:30
25m
Talk
Interactive Extraction of Examples from Existing Code
PLATEAU
Andrew HeadUC Berkeley
15:55
5m
Talk
Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments - Preview
PLATEAU
Junho LeeKorea University, Dowon SongKorea University, Sunbeom SoKorea University, Hakjoo OhKorea University
16:00
5m
Talk
One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax - Preview
PLATEAU
16:05
5m
Talk
Live, Synchronized, and Mental Map Preserving Visualization for Data Structure Programming - Preview
PLATEAU
Akio OkaTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology, Tomoyuki AotaniTokyo Institute of Technology
16:10
50m
Other
Breakout Discussion
PLATEAU

15:30 - 17:00
WIPAGERE at Cabot
15:30
30m
Talk
Implementing Linking in Multiparty Sessions
AGERE
Hanwen Wu, Hongwei XiBoston University
16:00
30m
Talk
Compositional Programming and Testing of Actor Programs
AGERE
Ankush DesaiUniversity of California, Berkeley, Shaz QadeerMicrosoft Research, Sanjit SeshiaUC Berkeley
15:30 - 17:00
Keynote: NobleMETA at Cambridge
Chair(s): Stefan MarrUniversity of Kent
15:30
60m
Talk
Through a Glass, Darkly ⭐️Keynote
META
I: James NobleVictoria University of Wellington
DOI
16:30
30m
Day closing
Discussion and Closing
META

15:30 - 17:00
IIIHILT at Franklin
Chair(s): Peter ChapinVermont Technical College
15:30
30m
Short-paper
SPARK by Example: an introduction to formal verification through the standard C++ library
HILT
16:00
30m
Short-paper
Soundness of a Dataflow Analysis for Memory Monitoring
HILT
P: Dara LyCEA LIST, Nikolai KosmatovCEA List, Frederic LoulergueNorthern Arizona University, Julien SignolesCEA LIST
16:30
25m
Short-paper
Minimal Specifications for Detecting Security Vulnerabilities
HILT
P: Andrew BernsUniversity of Northern Iowa, James CurbowUniversity of Northern Iowa, Joshua HilliardUniversity of Northern Iowa, Sheriff JorkehUniversity of Northern Iowa, Miho SandersUniversity of Northern Iowa
16:55
5m
Social Event
6:30PM HILT Banquet at Legal Seafoods, Park Plaza, preceded by SIGAda EC meeting from 5:15 to 6:15PM
HILT

15:30 - 17:00
Hands-on Tutorial 2TURBO at Stuart
Chair(s): Leonardo BanderaliIBM Toronto Labs
15:30
90m
Other
Boost WABT Performance with JitBuilder (Part II)
TURBO
Leonardo BanderaliIBM Toronto Labs, Xiaoli LiangIBM Canada, Daryl MaierIBM Canada, Mark StoodleyIBM Canada, Robert YoungIBM, Canada
15:30 - 17:30
Validation & VerificationSLE at Studio 1
Chair(s): Marsha ChechikUniversity of Toronto
15:30
30m
Talk
Continuous Model Validation using Reference Attribute Grammars
SLE
Johannes MeyTechnische Universität Dresden, René SchöneTechnische Universität Dresden, Görel Hedin, Emma SöderbergLund University, Thomas KühnTechnische Universität Dresden, Niklas ForsLund University, Jesper OqvistLund University, Uwe AßmannTU Dresden, Germany
Link to publication DOI Pre-print Media Attached
16:00
30m
Talk
Migrating Business Logic to an Incremental Computing DSL: A Case Study
SLE
Daco HarkesDelft University of Technology, Elmer van ChasteletDelft University of Technology, Eelco VisserDelft University of Technology
Link to publication DOI Pre-print
16:30
20m
Talk
An Industrial Case Study in Compiler Testing (Tool Demo)Tool Demo
SLE
Vadim ZaytsevRaincode Labs
16:50
20m
Talk
Messir, a Text-first DSL-based Approach for UML Requirements Engineering (Tool Demo)Tool Demo
SLE
Benoît RiesUniversity of Luxembourg, Alfredo CapozuccaUniversity of Luxembourg, Nicolas GuelfiUniversity of Luxembourg
DOI
15:30 - 17:00
IIIGPCE at Studio 2
Chair(s): Sarah NadiUniversity of Alberta
15:30
30m
Talk
Meta-programming for cross-domain tensor optimizations
GPCE
Adilla SusungiMINES ParisTech, France, Norman A. RinkTU Dresden, Germany, Albert CohenGoogle, Jeronimo CastrillonTU Dresden, Germany, Claude TadonkiMINES ParisTech, France
16:00
30m
Talk
Model-based Security Analysis of Feature-oriented Software Product Lines
GPCE
Sven PeldszusUniversity of Koblenz-Landau, Daniel StrüberUniversity of Koblenz-Landau, Germany, Jan JürjensUniversity of Koblenz-Landau
DOI Pre-print
16:30
30m
Talk
Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs
GPCE
Laurent ChristopheVUB, Coen De RooverVrije Universiteit Brussel, Elisa Gonzalez BoixVrije Universiteit Brussel, Wolfgang De MeuterVrije Universiteit Brussel
15:30 - 16:30
StoodleySPLASH-I at Whittier
15:30
60m
Talk
Oh, the compilers you will build!
SPLASH-I
Mark StoodleyIBM Canada
Link to publication
16:30 - 17:30
RamanathanSPLASH-I at White Hill
16:30
60m
Talk
Reliable Deployment at Uber Scale
SPLASH-I
17:30 - 19:30
PosterPosters at Terrace
17:30
1m
Poster
Data Programming (DP): A new way of programming user interfaces
Posters
Link to publication
17:31
1m
Poster
Programming by example: efficient, but not "helpful"
Posters
A: Mark SantolucitoYale University, USA, A: Drew GoldmanRoslyn High School, A: Allyson WeseleyRoslyn High School, A: Ruzica PiskacYale University, USA
Link to publication
17:33
1m
Poster
Obsidian: A Safer Blockchain Programming Language
Posters
A: Michael CoblenzCarnegie Mellon University, A: Jonathan AldrichCarnegie Mellon University, A: Brad A. MyersCarnegie Mellon University, A: Joshua SunshineCarnegie Mellon University
17:34
1m
Talk
Toward a Language-Parametric Code Completion Editor Service
Posters
Daniel A. A. PelsmaekerDelft University of Technology, Netherlands, Eelco VisserDelft University of Technology
Link to publication
17:36
1m
Poster
Compositional Programming and Testing of Dynamic Distributed Systems
Posters
A: Ankush DesaiUniversity of California, Berkeley, A: Amar PhanishayeeMicrosoft Research, A: Shaz QadeerMicrosoft Research, A: Sanjit SeshiaUC Berkeley
Link to publication
17:38
1m
Poster
Messir, a Text-first DSL-based Approach for UML Requirements Engineering (Tool Demo)
Posters
A: Benoît RiesUniversity of Luxembourg, A: Alfredo CapozuccaUniversity of Luxembourg, A: Nicolas GuelfiUniversity of Luxembourg
Link to publication
17:39
1m
Poster
Finding Broken Promises in Asynchronous JavaScript Programs
Posters
A: Saba AlimadadiNortheastern University, A: Di ZhongNortheastern University, USA, A: Magnus MadsenAarhus University, A: Frank TipNortheastern University
Link to publication
17:41
1m
Talk
Test Generation for Higher-Order Functions in Dynamic Languages
Posters
A: Marija SelakovicTU Darmstadt, Germany, A: Michael PradelTU Darmstadt, A: Rezwana Karim NawrinSamsung Research America, A: Frank TipNortheastern University
Link to publication
17:43
1m
Poster
Speeding up Symbolic Reasoning for Relational Queries
Posters
A: Chenglong WangUniversity of Washington, USA, A: Alvin CheungUniversity of Washington, A: Rastislav BodikUniversity of Washington
Link to publication
17:44
1m
Poster
Fixing Machine Learning with Solver-Aided Languages
Posters
A: Revan MacQueenUniversity of Alberta, A: Julian DolbyIBM Research, A: Karim AliUniversity of Alberta
17:46
1m
Poster
SWAN: A Swift Program Analysis Framework
Posters
A: Jeff ChoUniversity of Alberta, A: Mark MrozUniversity of Ottawa, A: Julian DolbyIBM Research, A: Karim AliUniversity of Alberta
Link to publication
17:48
1m
Poster
The Software Architecture of Economy Mechanics in Digital Games
Posters
A: Wilson MizutaniUniversity of São Paulo
Link to publication
17:49
1m
Poster
Identifying Barriers to Adoption for Rust through Online Discourse
Posters
A: Anna ZengStanford University, A: Will CrichtonStanford University
Link to publication
17:51
1m
Poster
Handling inconsistencies in software product line using a rule-based approach
Posters
Megha BhushanChitkara University, Punjab, India, A: Shivani Goel, Arun NegiMinistry of Defence, Government of India, India, Piyush SamantThapar Institute of Engineering, Patiala, Punjab, India
17:53
1m
Poster
Chocola: Integrating Futures, Actors, and Transactions
Posters
A: Janwillem SwalensVrije Universiteit Brussel, A: Wolfgang De MeuterVrije Universiteit Brussel, A: Joeri De KosterVrije Universiteit Brussel, Belgium
Link to publication Pre-print
17:54
1m
Poster
Anomaly Analyses for Feature-Model Evolution
Posters
A: Michael NiekeTU Braunschweig, Germany, A: Christoph SeidlTechnische Universität Braunschweig, A: Jacopo MauroUniversity of Southern Denmark, A: Thomas ThümTU Braunschweig, Germany, A: Ingrid Chieh YuUniversity of Oslo, A: Felix FranzkeTU Braunschweig
Link to publication
17:56
1m
Poster
Understanding Java Usability by Mining GitHub Repositories
Posters
Link to publication
17:57
1m
Poster
Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling
Posters
A: Minseok JeonKorea University, South Korea, A: Sehun JeongKorea University, A: Hakjoo OhKorea University
Link to publication
17:59
1m
Poster
QDB: From Quantum Algorithms Towards Correct Quantum Programs
Posters
A: Yipeng HuangPrinceton University, A: Margaret Martonosi
Link to publication
18:01
1m
Talk
Declarative Specification of Indentation Rules: A Tooling Perspective on Parsing and Pretty-Printing Layout-Sensitive Languages
Posters
A: Luis Eduardo de Souza AmorimDelft University of Technology, Netherlands, A: Michael J. SteindorferDelft University of Technology, A: Sebastian ErdwegTU Delft, A: Eelco VisserDelft University of Technology
Link to publication
18:02
1m
Poster
Safe Replication through Bounded Concurrency Verification
Posters
A: Gowtham KakiPurdue University, A: Kapil EarankyPurdue University, A: KC SivaramakrishnanUniversity of Cambridge, A: Suresh JagannathanPurdue University
Link to publication
18:04
1m
Poster
Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments
Posters
A: Junho LeeKorea University, A: Dowon SongKorea University, A: Sunbeom SoKorea University, A: Hakjoo OhKorea University
Link to publication
18:06
1m
Poster
Observable atomic consistency for CvRDTs
Posters
A: Xin ZhaoKTH Royal Institute of Technology, A: Philipp HallerKTH, Sweden
Link to publication
18:07
1m
Poster
Reconciling High-level Optimizations and Low-level Code in LLVM
Posters
A: Juneyoung LeeSeoul National University, A: Chung-Kil HurSeoul National University, A: Ralf JungMPI-SWS, A: Zhengyang LiuUniversity of Utah, A: John RegehrUniversity of Utah, A: Nuno P. LopesMicrosoft Research
Link to publication
18:09
1m
Poster
Meta-programming for cross-domain tensor optimizations
Posters
A: Adilla SusungiMINES ParisTech, France, A: Norman A. RinkTU Dresden, Germany, A: Albert CohenGoogle, A: Jeronimo CastrillonTU Dresden, Germany, A: Claude TadonkiMINES ParisTech, France
Link to publication
18:11
1m
Poster
One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax
Posters
Link to publication
18:12
1m
Poster
Scaling the REPL Experience
Posters
A: Yair ChuchemLamdu, A: Eyal LotemLamdu
Link to publication
18:14
1m
Poster
Automated Rule Inference for Cryptographic APIs through Source Code Repositories
Posters
A: Anna-Katharina WickertTU Darmstadt
Link to publication
18:16
1m
Poster
Exploring feature interactions without specifications: a controlled experiment
Posters
A: Larissa SoaresUniversidade Federal da Bahia, A: Jens MeinickeMagdeburg University, A: Sarah NadiUniversity of Alberta, A: Christian KaestnerCarnegie Mellon University, A: Eduardo Santana de AlmeidaUniversidade Federal da Bahia
Link to publication
18:17
1m
Poster
GraphIt - A High-Performance Graph DSL
Posters
Link to publication
18:19
1m
Poster
Symmetry-based Optimization of Interaction Kernels
Posters
A: Shigeyuki SatoKochi University of Technology
18:20
1m
Poster
Sound Deadlock Prediction
Posters
A: Christian Gram KalhaugeUniversity of California, Los Angeles, A: Jens PalsbergUniversity of California, Los Angeles
Link to publication
18:22
1m
Poster
Conflict Resolution for Structured Merge via Version Space Algebra
Posters
A: Fengmin Zhu, A: Fei HeTsinghua University
Link to publication
18:24
1m
Poster
Robust Relational Layout Synthesis from Examples for Android
Posters
A: Pavol BielikETH Zürich, A: Marc FischerETH Zurich, A: Martin VechevETH Zürich
Link to publication
18:25
1m
Poster
Parallelization of Dynamic Languages: Synchronizing Built-in Collections
Posters
A: Benoit DalozeJKU Linz, Austria, A: Arie TalTechnion, A: Stefan MarrUniversity of Kent, A: Hanspeter MössenböckJKU Linz, Austria, A: Erez PetrankTechnion
Link to publication
18:27
1m
Poster
RT-Trust: Automated Refactoring for Trusted Execution Under Real-Time Constraints
Posters
A: Yin LiuVirginia Tech, A: Kijin AnVirginia Tech, A: Eli TilevichVirginia Tech
Link to publication
18:29
1m
Poster
Scopes as Types
Posters
A: Hendrik van AntwerpenTU Delft, A: Casper Bach PoulsenDelft University of Technology, A: Arjen RouvoetDelft University of Technology, A: Eelco VisserDelft University of Technology
Link to publication
18:30
1m
Poster
Generating a Java Library from Its Specification
Posters
A: Tomoki NakamaruThe University of Tokyo, A: Shigeru ChibaThe University of Tokyo
18:32
1m
Poster
Thread-Safe Reactive Programming
Posters
A: Joscha DrechslerTechnische Universität Darmstadt, A: Ragnar MogkTechnische Universität Darmstadt, A: Guido SalvaneschiTU Darmstadt, A: Mira MeziniTU Darmstadt
Link to publication
18:34
1m
Poster
Storm: A Language Platform for Interacting and Extensible Languages (Tool Demo)
Posters
A: Filip StrömbäckLinköping University
Link to publication
18:35
1m
Poster
Multi-Device Grace
Posters
A: Ben Selwyn-Smith, A: Craig AnslowVictoria University of Wellington, A: Michael HomerVictoria University of Wellington
18:37
1m
Poster
Migrating Custom DSL Implementations to a Language Workbench: An Industrial Tool Demonstration (Tool Demo)
Posters
A: Jasper DenkersTU Delft, A: Louis van GoolOcé Technologies B.V., A: Eelco VisserDelft University of Technology
Link to publication
18:39
1m
Poster
Guiding Inlining Decisions by Identifying Post-Inlining Transformations
Posters
A: Erick OchoaUniversity of Alberta, A: Andrew CraikIBM Canada, A: Jose Nelson AmaralUniversity of Alberta, A: Karim AliUniversity of Alberta
18:40
1m
Poster
Compiling Distributed System Specifications into Implementations
Posters
A: Matthew DoComputer Science, University of British Columbia, A: Renato MascarenhasComputer Science, University of British Columbia, A: Finn HacketComputer Science, University of Waterloo, A: Brandon ZhangComputer Science, University of British Columbia, A: Yi Fan (Bob) YangFacebook, A: Adam GellerComputer Science, University of British Columbia, A: Ivan BeschastnikhComputer Science, University of British Columbia
18:42
1m
Poster
Towards Understanding the Costs of Avoiding Out-of-Thin-Air Results
Posters
A: Peizhao OuUniversity of California, Irvine, A: Brian DemskyUniversity of California, Irvine
Link to publication
18:43
1m
Poster
Incremental compilation for Stratego
Posters
A: Jeff SmitsDelft University of Technology, A: Eelco VisserDelft University of Technology
Link to publication
18:45
1m
Poster
Using Compiler Snippets to Exploit Parallelism on Heterogeneous Hardware: A Java Reduction Case Study
Posters
A: Juan FumeroThe University of Manchester, A: Christos KotselidisThe University of Manchester
Link to publication
18:47
1m
Poster
Object-Oriented Recovery for Non-Volatile Memory
Posters
A: Nachshon CohenEPFL, Switzerland, A: David T. AksunEPFL, A: James LarusEPFL
Link to publication
18:48
1m
Poster
Faster Variational Execution with Transparent Bytecode Transformation
Posters
A: Chu-Pan WongCarnegie Mellon University, A: Jens MeinickeMagdeburg University, A: Lukas Lazarek, A: Christian KaestnerCarnegie Mellon University
Link to publication
18:50
1m
Poster
Observing the Uptake of a Language Change Making Strings Immutable
Posters
A: Manuel MaarekHeriot-Watt University
Link to publication
18:52
1m
Poster
Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs
Posters
A: Laurent ChristopheVUB, A: Coen De RooverVrije Universiteit Brussel, A: Elisa Gonzalez BoixVrije Universiteit Brussel, A: Wolfgang De MeuterVrije Universiteit Brussel
Link to publication
18:53
1m
Poster
Espalier: a structured spreadsheet tool for end-user development of organizational applications
Posters
A: Matt McCutchenMIT, A: Shachar ItzhakyTechnion, Israel, A: Daniel JacksonMIT, A: Willow JarvisMIT
Link to publication
18:55
1m
Poster
Identifying Refactoring Opportunities for Replacing Type Code with Subclass and State
Posters
A: Jyothi VeduradaIIT Madras, A: V Krishna NandivadaIIT Madras
Link to publication
18:57
1m
Poster
Margin Notes: Automatic code documentation with recorded examples from runtime
Posters
Link to publication
18:58
1m
Poster
A Practical Unification of Multi-Stage Programming and Macros
Posters
A: Nicolas StuckiEPFL, Switzerland, A: Aggelos BiboudisEPFL, Switzerland, A: Martin OderskyEPFL, Switzerland
Link to publication
19:00
1m
Poster
Precision-Guided Context Sensitivity for Pointer Analysis
Posters
A: Yue LiAarhus University, Denmark, A: Tian TanAarhus University, Denmark, A: Anders MøllerAarhus University, A: Yannis SmaragdakisUniversity of Athens
Link to publication
19:02
1m
Poster
Skitter: A DSL for Distributed Reactive Workflows
Posters
A: Mathijs SaeyVrije Universiteit Brussel, A: Joeri De KosterVrije Universiteit Brussel, Belgium, A: Wolfgang De MeuterVrije Universiteit Brussel
Link to publication
19:03
1m
Poster
Consolidating Inheritance and Scoping into a Context Abstraction
Posters
A: Matan I. PeledTechnion—Israel Institute of Technology
19:05
1m
Poster
Modular Language Composition for the Masses
Posters
A: Manuel LeducIRISA, University of Rennes 1, A: Thomas DegueuleCentrum Wiskunde & Informatica, A: Benoit CombemaleUniversity of Rennes 1
Link to publication
19:06
1m
Poster
From Debugging Towards Live Tuning of Reactive Applications
Posters
A: Ragnar MogkTechnische Universität Darmstadt, A: Pascal WeisenburgerTechnische Universität Darmstadt, A: Julian HaasTechnische Universität Darmstadt, A: David RichterTechnische Universität Darmstadt
Link to publication
19:08
1m
Poster
Secure Serverless Computing Using Dynamic Information Flow Control
Posters
A: Kalev AlpernasTel Aviv University, A: Cormac FlanaganUniversity of California, Santa Cruz, A: Sadjad FouladiStanford University, A: Leonid RyzhykVMware Research, A: Mooly SagivTel Aviv University, A: Thomas Schmitz, A: Keith WinsteinStanford University
Link to publication
19:10
1m
Poster
DISCOPAR: A Visual Reactive Programming Language for Generating Cloud-based Participatory Sensing Platforms
Posters
A: Jesse ZamanVrije Universiteit Brussel, A: Kennedy KambonaVrije Universiteit Brussel, A: Wolfgang De MeuterVrije Universiteit Brussel
Link to publication
19:11
1m
Poster
A Derivation Framework for Dependent Security Label Inference
Posters
A: Peixuan LiPenn State University, A: Danfeng ZhangPennsylvania State University
Link to publication
19:13
1m
Poster
Distributed System Development with ScalaLoci
Posters
A: Pascal WeisenburgerTechnische Universität Darmstadt, A: Mirko Köhler, A: Guido SalvaneschiTU Darmstadt
Link to publication
19:15
1m
Poster
An Empirical Study of the Effect of Source-level Loop Transformations on Compiler Stability
Posters
A: Zhangxiaowen GongUniversity of Illinois at Urbana-Champaign, A: Zhi ChenUniversity of California, Irvine, A: Justin SzadayUniversity of Illinois at Urbana-Champaign, A: David WongIntel, A: Zehra SuraIBM Research, A: Neftali Watkinson, A: Saeed MalekiMicrosoft Research, A: David PaduaUniversity of Illinois at Urbana-Champaign, A: Alexander VeidenbaumUniversity of California, Irvine, A: Alexandru NicolauUniversity of California, Irvine, A: Josep TorrellasUniversity of Illinois at Urbana-Champaign
Link to publication
19:16
1m
Poster
METACO, a Type Checker Generator
Posters
A: Haochen XieNagoya University
19:18
1m
Poster
Refinement in object-sensitivity points-to analysis via slicing
Posters
A: Girish Maskeri RamaInfosys Limited, A: Raghavan KomondoorIndian Institute of Science, Bangalore, A: Himanshu SharmaIndian Institute of Science, Bangalore
Link to publication
19:20
1m
Poster
Explaining Spreadsheets with Spreadsheets
Posters
A: Jácome CunhaUniversity of Minho, A: Mihai DanOregon State University, A: Martin ErwigOregon State University, A: Danila FedorinOregon State University, A: Alex GrejucOregon State University
Link to publication
19:21
1m
Poster
Continuous Model Validation using Reference Attribute Grammars
Posters
A: Johannes MeyTechnische Universität Dresden, A: René SchöneTechnische Universität Dresden, A: Görel Hedin, A: Emma SöderbergLund University, A: Thomas KühnTechnische Universität Dresden, A: Niklas ForsLund University, A: Jesper OqvistLund University, A: Uwe AßmannTU Dresden, Germany
Link to publication Pre-print
19:23
1m
Poster
CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs
Posters
A: Jonathan BellGeorge Mason University, A: Luís PinaGeorge Mason University
19:25
1m
Poster
DeepBugs: A Learning Approach to Name-based Bug Detection
Posters
A: Michael PradelTU Darmstadt, A: Koushik SenUniversity of California, Berkeley
Link to publication
19:26
1m
Talk
Grammar Induction for Programming Languages using Skip-Gram Model
Posters
Tomomasa Matsunaga, Shigeru ChibaThe University of Tokyo
19:28
1m
Poster
Migrating Business Logic to an Incremental Computing DSL: A Case Study
Posters
A: Daco HarkesDelft University of Technology, A: Elmer van ChasteletDelft University of Technology, A: Eelco VisserDelft University of Technology
Link to publication

Conference Day
Tue 6 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

07:30 - 08:30
BreakfastSocial at Terrace
07:30 - 08:45
Mentoring BreakfastPLMW at Tremont
07:30
75m
Mentoring Breakfast
PLMW

08:00 - 10:00
AI SEPSAI-SEPS at Cabot
Chair(s): Yukinori SatoToyohashi University of Technology, Ali JannesariIowa State University
08:00
50m
Talk
Deep Learning at ScaleKeynote
AI-SEPS
PrabhatNERSC, Berkeley Lab
08:50
25m
Talk
PIRA: Performance Instrumentation Refinement Automation
AI-SEPS
Jan-Patrick LehrGraduate School of Computational Engineering, TU Darmstadt, Alexander HückInstitute for Scientific Computing, TU Darmstadt, Christian BischofScientific Computing, TU Darmstadt
09:15
15m
Talk
PyGA: A Python to FPGA compiler prototype
AI-SEPS
Yohann UguenUniv Lyon, INSA Lyon, Inria, CITI, Eric PetitIntel, France
09:30
30m
Talk
Panel discussion
AI-SEPS
P: Yukinori SatoToyohashi University of Technology, P: Ali JannesariIowa State University, P: Shigeru ChibaThe University of Tokyo
08:30 - 10:00
ILIVE at Beacon Hill
Chair(s): Jonathan EdwardsUnaffiliated
08:30
60m
Talk
Against The Current: What We Learned From EveKeynote
LIVE
09:30
30m
Talk
From Debugging Towards Live Tuning of Reactive Applications
LIVE
Ragnar MogkTechnische Universität Darmstadt, Pascal WeisenburgerTechnische Universität Darmstadt, Julian HaasTechnische Universität Darmstadt, David RichterTechnische Universität Darmstadt, Guido SalvaneschiTU Darmstadt, Mira MeziniTU Darmstadt
Pre-print
08:30 - 10:00
IDocSymposium at Charles River
Chair(s): Philipp HallerKTH, Sweden
08:30
3m
Day opening
Welcome and Introduction
DocSymposium
Philipp HallerKTH, Sweden
08:33
12m
Talk
Lightning Talks
DocSymposium
Philipp HallerKTH, Sweden
08:45
45m
Talk
A DSL for Distributed, Reactive Workflows
DocSymposium
Mathijs SaeyVrije Universiteit Brussel
09:30
30m
Talk
Invited Talk 1
DocSymposium
Heather MillerCarnegie Mellon University
08:30 - 10:00
08:30
30m
Talk
The DaCapo Benchmark Suite: A Methodological, Engineering, and Social Journey
NJR
Steve BlackburnAustralian National University
09:00
30m
Talk
NJR: 100,000 Executable, Scriptable, and Searchable Java Programs
NJR
Jens PalsbergUniversity of California, Los Angeles
09:30
30m
Talk
NJR discussion; Needs, Requirements, Wishes
NJR
Jens PalsbergUniversity of California, Los Angeles
08:30 - 10:00
Hands-on Tutorial 1TURBO at Stuart
Chair(s): Robert YoungIBM, Canada
08:30
90m
Other
Create an Object Model and Get a GC for Free (Part I)
TURBO
Robert YoungIBM, Canada, Leonardo BanderaliIBM Toronto Labs, Xiaoli LiangIBM Canada, Daryl MaierIBM Canada, Mark StoodleyIBM Canada
08:30 - 10:00
Keynote: RinardSLE at Studio 1
08:30
15m
Day opening
Awards
SLE
Friedrich SteimannFernuniversität, Tanja MayerhoferTU Wien, Matthew RobertsMacquarie University, Romina EramoUniversity of L'Aquila
08:45
75m
Talk
A New Approach for Software Correctness and ReliabilityKeynote
SLE
Martin C. RinardMassachusetts Institute of Technology
08:45 - 10:00
Keynote: SteeleKeynotes / PLMW at Cambridge
Chair(s): Barbara RyderVirginia Tech
08:45
15m
Welcome and Introduction
PLMW
Barbara RyderVirginia Tech
File Attached
09:00
60m
Talk
50 Years of Programming and Language DesignKEYNOTE
Keynotes
File Attached
10:00 - 10:30
BreakSocial at Terrace
10:30 - 12:00
Keynote: StieglerOCAP at Cabot
Chair(s): Marc Stiegler
10:30
60m
Talk
Lost Wisdom of the Ancients
OCAP
11:30
30m
Talk
OCAP Patterns Panel
OCAP
Marc Stiegler, James NobleVictoria University of Wellington, Alan Karp, JF ParadisSalesforce
10:30 - 12:00
Mentoring WorkshopPLMW at Cambridge
Chair(s): Sarah NadiUniversity of Alberta
10:30
30m
Talk
The story of Arjun Guha, or: the arc of a research project
PLMW
Shriram KrishnamurthiBrown University, USA
11:00
30m
Talk
From academia to industry and back again
PLMW
Julia RubinUniversity of British Columbia
File Attached
11:30
30m
Talk
Work/Life Balance
PLMW
Kathleen FisherTufts University, USA
File Attached
10:30 - 12:00
IIDocSymposium at Charles River
Chair(s): Philipp HallerKTH, Sweden
10:30
45m
Talk
Building Correct and Safe Distributed Systems
DocSymposium
Maryam DabaghchianUniversity of Utah
11:15
45m
Talk
The Software Architecture of Economy Mechanics in Digital Games
DocSymposium
Wilson MizutaniUniversity of São Paulo
10:30 - 12:00
IVHILT at Franklin
Chair(s): Alok SrivastavaSAIC
10:30
45m
Talk
SpeAR – Using a formal specification language for safety and security
HILT
Lucas WagnerRockwell Collins
11:15
45m
Talk
Architecture-level security in a safety-critical system
HILT
S: Sam ProcterCarnegie Mellon Software Engineering Institute, Peter FeilerCarnegie Mellon Software Engineering Institute
10:30 - 12:00
DSLs that computeDSLDI at St. James
10:30
30m
Talk
A Schematic Pushdown Reachability Language
DSLDI
Zachary PalmerSwarthmore College, Charlotte RatySwarthmore College
11:00
30m
Talk
CLP(SMT)
DSLDI
Nada AminUniversity of Cambridge, William E. ByrdUniversity of Alabama at Birmingham, USA
11:30
30m
Talk
Domain-Specific Optimizations for Linear Pipelines
DSLDI
10:30 - 12:00
Hands-on Tutorial 2TURBO at Stuart
Chair(s): Robert YoungIBM, Canada
10:30
90m
Other
Create an Object Model and Get a GC for Free (Part II)
TURBO
Robert YoungIBM, Canada, Leonardo BanderaliIBM Toronto Labs, Xiaoli LiangIBM Canada, Mark StoodleyIBM Canada, Daryl MaierIBM Canada
10:30 - 12:00
Types & ConstraintsSLE at Studio 1
Chair(s): Ralf LaemmelFacebook London
10:30
30m
Talk
Constraint-based Run-time State Migration for Live Modeling
SLE
Ulyana TikhonovaCWI, Jouke StoelCWI, Tijs van der StormCWI & University of Groningen, Thomas DegueuleCentrum Wiskunde & Informatica
11:00
30m
Talk
The Next 700 Unit Checkers
SLE
Oscar Bennich-BjörkmanUppsala University, Steve McKeeverUppsala University
11:30
30m
Talk
A Practical Type System for Safe Aliasing
SLE
Dimitri RacordonUniversity of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland, Didier BuchsUniversity of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland
10:30 - 12:00
IVGPCE at Studio 2
Chair(s): Sebastian ErdwegTU Delft
10:30
30m
Talk
Measuring Effectiveness of Sample-based Product-Line Testing
GPCE
Sebastian Ruland, Lars LuthmannTU Darmstadt, Real-time Systems Lab, Johannes BürdekTU Darmstadt, Real-time Systems Lab, Sascha LityTechnische Universität Braunschweig, Thomas ThümTU Braunschweig, Germany, Malte Lochau, Márcio RibeiroFederal University of Alagoas, Brazil
11:00
30m
Talk
Pattern Matching in an Open World
GPCE
Weixin ZhangThe University of Hong Kong, Bruno C. d. S. OliveiraThe University of Hong Kong
11:30
30m
Talk
Verification of High-Level Transformations with Inductive Refinement Types
GPCE
Ahmad Salim Al-SibahiDepartment of Computer Science, University of Copenhagen (DIKU) & BilagScan, Thomas P. JensenINRIA Rennes, Aleksandar S. DimovskiIT University of Copenhagen, Denmark, Andrzej WąsowskiIT University of Copenhagen, Denmark
10:30 - 12:00
SemanticsDLS at The Loft
Chair(s): Tim FelgentreffOracle Labs, Potsdam
10:30
30m
Talk
The Behavior of Gradual Types: A User Study
DLS
Preston Tunnell WilsonBrown University, USA, Ben GreenmanNortheastern University, USA, Justin PombrioBrown University, USA, Shriram KrishnamurthiBrown University, USA
11:00
30m
Talk
A Trustworthy Mechanized Formalization of R
DLS
Martin BodinImperial College London, Tomás DiazUniversity of Chile, Chile, Éric TanterUniversity of Chile & Inria Paris
11:00 - 12:00
KinnearSPLASH-I at Whittier
11:00
60m
Talk
Valhalla: Enhancing the JVM with Value Types
SPLASH-I
13:00 - 14:00
Panel: Industry and AcademiaPLMW at Cambridge
Chair(s): Sarah NadiUniversity of Alberta
13:00
60m
Panel: Industrial and Academic Research
PLMW
Kathleen FisherTufts University, USA, Mayur NaikUniversity of Pennsylvania, Julia RubinUniversity of British Columbia, Frank TipNortheastern University
13:30 - 15:00
Capabilities and EffectsOCAP at Cabot
13:30
30m
Talk
Designing with Static Capabilities and Effects
OCAP
Colin GordonDrexel University
14:00
60m
Talk
Formal Methods Panel
OCAP
James NobleVictoria University of Wellington, Philipp HallerKTH, Sweden, Colin GordonDrexel University
13:30 - 15:00
DSLs that communicateDSLDI at St. James
13:30
30m
Talk
Healthcare Data Management using Domain Specific Languages for Metadata Management
DSLDI
David Milward, Adam MilwardUniversity of Oxford
14:00
30m
Talk
Modeling REST API Behaviour with Text, Graphics or Both?
DSLDI
Ana IvanchikjSoftware Institute, Faculty of Informatics, USI Lugano, Cesare PautassoSoftware Institute, Faculty of Informatics, USI Lugano
14:30
30m
Talk
The POSIX shell is an interactive DSL for concurrency
DSLDI
Michael GreenbergPomona College
13:30 - 15:00
Grammars & MetamodellingSLE at Studio 1
Chair(s): Thomas DegueuleCentrum Wiskunde & Informatica
13:30
30m
Talk
Facet-Oriented Modelling: Open Objects for Model-Driven Engineering
SLE
Juan de LaraUniversidad Autónoma de Madrid, Esther Guerra Universidad Autónoma de Madrid, Jörg KienzleMcGill University, Canada, Yanis HattabMcGill University
14:00
30m
Talk
Analysing Meta-Model Product Lines
SLE
Esther Guerra Universidad Autónoma de Madrid, Juan de LaraUniversidad Autónoma de Madrid, Marsha ChechikUniversity of Toronto, Rick SalayUniversity of Toronto
14:30
30m
Talk
Translating Grammars to Accurate Metamodels
SLE
Arvid ButtingSoftware Engineering RWTH Aachen University, Nico JansenSoftware Engineering, RWTH Aachen University, Bernhard RumpeRWTH Aachen University, Andreas WortmannRWTH Aachen University
13:30 - 15:00
VGPCE at Studio 2
Chair(s): Tijs van der StormCWI & University of Groningen
13:30
60m
Talk
TensorFlow AutoGraph: Imperative-Style Coding with Graph-based PerformanceInvited Talk
GPCE
I: Alexander B. WiltschkoGoogle Brain
14:30
15m
Talk
Funcons for HGMP - The Fundamental Constructs of Homogeneous Generative Meta-Programming (Short paper)
GPCE
L. Thomas van BinsbergenRoyal Holloway University of London
14:45
15m
Talk
Explaining Spreadsheets with Spreadsheets (Short Paper)
GPCE
Jácome CunhaUniversity of Minho, Mihai DanOregon State University, Martin ErwigOregon State University, Danila FedorinOregon State University, Alex GrejucOregon State University
13:30 - 15:00
OptimizationDLS at The Loft
Chair(s): Stefan MarrUniversity of Kent
13:30
30m
Talk
Log++ Logging for a Cloud-Native World
DLS
Mark MarronMicrosoft Research
14:00
30m
Talk
HorseIR: Bringing Array Programming Languages Together with Database Query Processing
DLS
Hanfeng ChenMcGill University, Canada, Joseph Vinish D'SilvaMcGill University, Canada, Hongji ChenMcGill University, Canada, Bettina KemmeMcGill University, Canada, Laurie HendrenMcGill University, Canada
14:30
30m
Talk
JavaScript AOT Compilation
DLS
Manuel SerranoInria, France
14:00 - 15:30
Mentoring WorkshopPLMW at Cambridge
Chair(s): Jonathan BellGeorge Mason University
14:00
30m
Talk
Navigating the process of doing a rewarding Ph.D.
PLMW
Mayur NaikUniversity of Pennsylvania
14:30
30m
Talk
Interaction: the Key to Joining a Research Community
PLMW
Kathi FislerBrown University
File Attached
15:00
30m
Talk
Advice on your advisor
PLMW
Marsha ChechikUniversity of Toronto
File Attached
15:00 - 15:30
BreakSocial at Terrace
15:30 - 17:00
IVLIVE at Beacon Hill
Chair(s): Roly PereraUniversity of Glasgow
15:30
30m
Talk
Scaling the REPL Experience
LIVE
16:00
30m
Talk
SVG Programming by Direct Manipulation of Intermediates
LIVE
Brian HempelUniversity of Chicago, Ravi ChughUniversity of Chicago
Media Attached
16:30
30m
Talk
Chalktalk : A Visualization and Communication Language -- As a Tool in the Domain of Computer Science Education
LIVE
Ken PerlinNew York University, Zhenyi HeNew York University, Karl RosenbergNew York University
15:30 - 17:00
Research DirectionsOCAP at Cabot
15:30
45m
Talk
Using a JavaScript Ocap Security Kernel at Scale
OCAP
JF ParadisSalesforce
16:15
45m
Talk
Ocaps & Crypto-commerce
OCAP
Jonathan AldrichCarnegie Mellon University, Mark MillerAgoric, Chris Lemmer Webber
15:30 - 17:00
IVDocSymposium at Charles River
Chair(s): Philipp HallerKTH, Sweden
15:30
45m
Talk
Automated Rule Inference for Cryptographic APIs through Source Code Repositories
DocSymposium
16:15
30m
Talk
Invited Talk 2
DocSymposium
Ross TateCornell University
16:45
5m
Day closing
Closing Remarks
DocSymposium
Philipp HallerKTH, Sweden
15:30 - 17:00
Speakers 2TURBO at Stuart
Chair(s): Mark StoodleyIBM Canada
15:30
90m
Other
BoF: Eclipse OMR Community Directions
TURBO
Mark StoodleyIBM Canada
15:30 - 17:30
Grammars & Metamodelling / WorkbenchesSLE at Studio 1
Chair(s): Juan de LaraUniversidad Autónoma de Madrid
15:30
30m
Talk
Deriving Fluent Internal Domain-Specific Languages from Grammars
SLE
Arvid ButtingSoftware Engineering RWTH Aachen University, Manuela DaliborSoftware Engineering, RWTH Aachen University, Gerrit LeonhardtSoftware Engineering, RWTH Aachen University, Bernhard RumpeRWTH Aachen University, Andreas WortmannRWTH Aachen University
16:00
20m
Talk
Fostering Metamodels and Grammars Within a Dedicated Environment for HPC: The NabLab Environment (Tool Demo)Tool Demo
SLE
Benoît LelandaisCEA/DAM/DIF, France, Marie-Pierre OudotCEA/DAM/DIF, France, Benoit CombemaleUniversity of Rennes 1
16:20
20m
Talk
Migrating Custom DSL Implementations to a Language Workbench (Tool Demo) Tool Demo
SLE
Jasper DenkersTU Delft, Louis van GoolOcé Technologies B.V., Eelco VisserDelft University of Technology
Link to publication DOI
16:40
20m
Talk
Bacatá: A Language Parametric Notebook Generator (Tool Demo)Tool Demo
SLE
Mauricio Verano MerinoTechnische Universiteit Eindhoven, Jurgen VinjuCentrum Wiskunde & Informatica / Technische Universiteit Eindhoven / SWAT.engineering BV, Tijs van der StormCWI & University of Groningen
17:00
20m
Talk
Shape-Diverse DSLs: Languages without Borders (Vision Paper)Vision / New Idea
SLE
Fabien CoulonUniversity of Toulouse / Obeo, Thomas DegueuleCentrum Wiskunde & Informatica, Tijs van der StormCWI & University of Groningen, Benoit CombemaleUniversity of Rennes 1
Pre-print
15:30 - 17:00
VIGPCE at Studio 2
Chair(s): Stefan MarrUniversity of Kent
15:30
30m
Talk
Anomaly Analyses for Feature-Model Evolution
GPCE
Michael NiekeTU Braunschweig, Germany, Jacopo MauroUniversity of Southern Denmark, Christoph SeidlTechnische Universität Braunschweig, Thomas ThümTU Braunschweig, Germany, Ingrid Chieh YuUniversity of Oslo, Felix FranzkeTU Braunschweig
16:00
30m
Talk
Regenerate: A Language Generator for Extended Regular Expressions
GPCE
Gabriel RadanneUniversity of Freiburg, Peter ThiemannUniversity of Freiburg
DOI Pre-print
16:30
30m
Talk
RT-Trust: Automated Refactoring for Trusted Execution Under Real-Time Constraints
GPCE
Yin LiuVirginia Tech, Kijin AnVirginia Tech, Eli TilevichVirginia Tech
15:30 - 17:00
SystemsDLS at The Loft
15:30
30m
Talk
Query-Based Object-Oriented Programming: A Declarative Web of Objects
DLS
Yoav Seginercdl-lang.org, Netherlands, Theo Vossecdl-lang.org, Netherlands, Gil Hararicdl-lang.org, Israel, Uri Kolodnycdl-lang.org, Israel
16:00
30m
Talk
Self-Contained Development Environments
DLS
Guido ChariCzech Technical University, Czechia, Javier PimásPalantir Solutions, Argentina, Jan VitekNortheastern University, Olivier FlückigerNortheastern University, USA
16:30
30m
Talk
Numerical Computing on the Web: Benchmarking for the Future
DLS
David HerreraMcGill University, Canada, Hanfeng ChenMcGill University, Canada, Erick LavoieMcGill University, Canada, Laurie HendrenMcGill University, Canada
15:30 - 16:30
15:30
60m
Talk
What happened to distributed programming languages?
SPLASH-I
Heather MillerCarnegie Mellon University
16:00 - 21:00
Mentoring WorkshopPLMW at Cambridge
Chair(s): Jonathan BellGeorge Mason University
16:00
30m
Talk
How to Select Good Research Topics?
PLMW
Frank TipNortheastern University
File Attached
16:30
60m
Panel of Recent Ph.Ds
PLMW
Michael CarbinMassachusetts Institute of Technology, Benjamin LernerNortheastern University, Sarah NadiUniversity of Alberta, Shiyi WeiThe University of Texas at Dallas
17:30
15m
Discussion and Concluding Remarks
PLMW

File Attached
18:00
3h
End-of-Workshop Dinner at The Brahmin American (All PLMW attendees, speakers, panelists and mentors are invited)
PLMW

16:30 - 17:30
WilkinsonSPLASH-I at White Hill
16:30
60m
Talk
Automatic Visualization
SPLASH-I
16:30 - 17:30
MansinghkaSPLASH-I at Whittier
16:30
60m
Talk
Probabilistic Programming Paradigms
SPLASH-I
17:00 - 18:00
SocialSocial at Terrace
17:30 - 18:30
17:30
60m
Talk
Provably Eliminating Exploitable Bugs
SPLASH-I
Kathleen FisherTufts University, USA
17:30 - 18:30
17:30
60m
Talk
All the languages together
SPLASH-I
Amal AhmedNortheastern University

Conference Day
Wed 7 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

07:30 - 08:30
BreakfastSocial at Terrace
08:30 - 10:00
08:30
90m
Talk
A new modularity for softwareKEYNOTE
Keynotes
10:00 - 10:30
BreakSocial at Terrace
10:30 - 12:00
Types and EffectsOOPSLA at Studio 1
Chair(s): Colin GordonDrexel University
10:30
22m
Talk
Effect Handlers for the Masses
OOPSLA
Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany, Philipp SchusterUniversity of Tübingen, Germany, Klaus OstermannUniversity of Tübingen, Germany
10:52
22m
Talk
Empowering Union and Intersection Types with Integrated Subtyping
OOPSLA
Fabian MuehlboeckCornell University, Ross TateCornell University
Link to publication DOI Pre-print
11:15
22m
Talk
Julia Subtyping: a Rational Reconstruction
OOPSLA
Francesco Zappa NardelliInria, Julia BelyakovaNortheastern University, USA, Artem PelenitsynNortheastern University, Benjamin ChungNortheastern University, Jeff BezansonJulia Computing, Jan VitekNortheastern University
DOI Media Attached
11:37
22m
Talk
Scopes as Types
OOPSLA
Hendrik van AntwerpenTU Delft, Casper Bach PoulsenDelft University of Technology, Arjen RouvoetDelft University of Technology, Eelco VisserDelft University of Technology
Link to publication DOI File Attached
10:30 - 12:00
Parallelism and PerformanceOOPSLA at Studio 2
Chair(s): Arjun GuhaUniversity of Massachusetts Amherst
10:30
22m
Talk
Every Data Structure Deserves Lock-Free Memory Reclamation
OOPSLA
Nachshon CohenEPFL, Switzerland
10:52
22m
Talk
Parallelization of Dynamic Languages: Synchronizing Built-in Collections
OOPSLA
Benoit DalozeJKU Linz, Austria, Arie TalTechnion, Stefan MarrUniversity of Kent, Hanspeter MössenböckJKU Linz, Austria, Erez PetrankTechnion
Pre-print
11:15
22m
Talk
Virtual Machine Design for Parallel Dynamic Programming Languages
OOPSLA
Remigius MeierETH Zurich, Switzerland, Armin RigoPyPy.org, Switzerland, Thomas GrossETH Zurich
11:37
22m
Talk
goSLP: Globally Optimized Superword Level Parallelism Framework
OOPSLA
10:30 - 12:00
Usability and ReusabilityOnward! Papers at The Loft
Chair(s): Elisa Gonzalez BoixVrije Universiteit Brussel
10:30
30m
Talk
On the Usage of “Pythonic” Idioms in Python Programs
Onward! Papers
Carol V. AlexandruUniversity of Zurich, José J. MerchanteUniversidad Rey Juan Carlos, Sebastiano PanichellaZurich University of Applied Science/University of Zurich, Sebastian ProkschUniversity of Zurich, Harald GallUniversity of Zurich, Gregorio RoblesUniversidad Rey Juan Carlos
11:00
30m
Talk
Inference and Regeneration of Programs that Store and Retrieve Data
Onward! Papers
Martin C. RinardMassachusetts Institute of Technology, Jiasi ShenMassachusetts Institute of Technology, Varun MangalickMIT
11:00 - 12:00
11:00
60m
Talk
Programming NVM
SPLASH-I
12:00 - 13:30
13:30 - 15:00
SecurityOOPSLA at Studio 1
Chair(s): Tobias WrigstadUppsala University
13:30
22m
Talk
A Derivation Framework for Dependent Security Label Inference
OOPSLA
Peixuan LiPenn State University, Danfeng ZhangPennsylvania State University
13:52
22m
Talk
MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart ContractsDistinguished Paper Award
OOPSLA
Neville GrechUniversity of Athens, Michael KongUniversity of Sydney, Anton JurisevicUniversity of Sydney, Lexi BrentUniversity of Sydney, Bernhard ScholzThe University of Sydney, Yannis SmaragdakisUniversity of Athens
Link to publication Pre-print File Attached
14:15
22m
Talk
Faster Variational Execution with Transparent Bytecode Transformation
OOPSLA
Chu-Pan WongCarnegie Mellon University, Jens MeinickeMagdeburg University, Lukas Lazarek, Christian KaestnerCarnegie Mellon University
14:37
22m
Talk
Secure Serverless Computing Using Dynamic Information Flow Control
OOPSLA
Kalev AlpernasTel Aviv University, Cormac FlanaganUniversity of California, Santa Cruz, Sadjad FouladiStanford University, Leonid RyzhykVMware Research, Mooly SagivTel Aviv University, Thomas Schmitz, Keith WinsteinStanford University
13:30 - 15:00
Language Design 1OOPSLA at Studio 2
Chair(s): Eelco VisserDelft University of Technology
13:30
22m
Talk
AnyDSL: A Partial Evaluation Framework for Programming High-Performance Libraries
OOPSLA
Roland LeißaSaarland University, Germany, Klaas BoescheSaarland University, Sebastian HackSaarland University, Germany, Arsène Pérard-GayotSaarland University, Germany, Richard MembarthDFKI, Germany, Philipp SlusallekDFKI, Germany, André MüllerJohannes Gutenberg University, Bertil SchmidtJohannes Gutenberg University
13:52
22m
Talk
Julia: Dynamism and Performance Reconciled by Design
OOPSLA
Jeff BezansonJulia Computing, Benjamin ChungNortheastern University, Jiahao ChenCapital One, Stefan Karpinski, Viral B ShahJulia Computing, Jan VitekNortheastern University, Lionel ZoubritzkyÉcole Normale Supérieure
14:15
22m
Talk
GraphIt - A High-Performance Graph DSL
OOPSLA
14:37
22m
Talk
One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax
OOPSLA
13:30 - 15:00
DSLs and Language Design Principles Onward! Papers at The Loft
Chair(s): Stefan MarrUniversity of Kent
13:30
30m
Talk
The Open Authorial Principle - Supporting Networks of Authors in Creating Externalisable Designs
Onward! Papers
Antranig Basman, Clayton LewisUniversity of Colorado Boulder, Colin Clark
14:00
30m
Talk
Tool: Accessible Automated Reasoning for Human Robot Collaboration
Onward! Papers
13:30 - 14:30
AlexandrescuSPLASH-I at Whittier
13:30
60m
Talk
Design by Introspection in D
SPLASH-I
Andrei AlexandrescuD Language Foundation
15:00 - 15:30
BreakSocial at Terrace
15:30 - 17:00
Language Design 2OOPSLA at Studio 1
Chair(s): Jonathan AldrichCarnegie Mellon University
15:30
22m
Talk
Bidirectional Evaluation with Direct Manipulation
OOPSLA
Mikaël MayerEPFL, Switzerland, Viktor KunčakEPFL, Switzerland, Ravi ChughUniversity of Chicago
15:52
22m
Talk
BioScript: Programming Safe Chemistry on Laboratories-on-a-ChipDistinguished Paper Award
OOPSLA
Jason OttUniversity of California, Riverside, Tyson LovelessUniversity of California, Riverside, Chris CurtisUniversity of California, Riverside, Mohsen LesaniUniversity of California, Riverside, Philip BriskUniversity of California, Riverside
16:15
22m
Talk
Distributed System Development with ScalaLoci
OOPSLA
Pascal WeisenburgerTechnische Universität Darmstadt, Mirko Köhler, Guido SalvaneschiTU Darmstadt
16:37
22m
Talk
Concurrency-aware Object-oriented Programming with Roles
OOPSLA
Michael FaesETH Zurich, Thomas GrossETH Zurich
Link to publication DOI
15:30 - 17:00
Compiler OptimizationOOPSLA at Studio 2
Chair(s): Patrick LamUniversity of Waterloo
15:30
22m
Talk
Format Abstraction for Sparse Tensor Algebra Compilers
OOPSLA
15:52
22m
Talk
ShareJIT: JIT Code Cache Sharing across Processes and its Practical Implementation
OOPSLA
Xiaoran XuRice University, Keith CooperRice University, Jacob BrockUniversity of Rochester, Yan Zhang, Handong YeFuturewei Technologies
16:15
22m
Talk
Reconciling High-level Optimizations and Low-level Code in LLVM
OOPSLA
Juneyoung LeeSeoul National University, Chung-Kil HurSeoul National University, Ralf JungMPI-SWS, Zhengyang LiuUniversity of Utah, John RegehrUniversity of Utah, Nuno P. LopesMicrosoft Research
Pre-print
16:37
22m
Talk
An Empirical Study of the Effect of Source-level Loop Transformations on Compiler Stability
OOPSLA
Zhangxiaowen GongUniversity of Illinois at Urbana-Champaign, Zhi ChenUniversity of California, Irvine, Justin SzadayUniversity of Illinois at Urbana-Champaign, David WongIntel, Zehra SuraIBM Research, Neftali Watkinson, Saeed MalekiMicrosoft Research, David PaduaUniversity of Illinois at Urbana-Champaign, Alexander VeidenbaumUniversity of California, Irvine, Alexandru NicolauUniversity of California, Irvine, Josep TorrellasUniversity of Illinois at Urbana-Champaign
Media Attached
15:30 - 17:00
15:30
45m
Full-paper
Fatal Abstraction
Onward! Essays
Friedrich SteimannFernuniversität
Link to publication DOI
15:30 - 16:30
15:30
60m
Talk
Low level systems programming in a high level language
SPLASH-I
Molham ArefRelational.ai
16:30 - 17:30
BezansonSPLASH-I at White Hill
16:30
60m
Talk
The Rise of Compilerization
SPLASH-I
Jeff BezansonJulia Computing
16:30 - 17:30
16:30
60m
Talk
Expanding R Syntax in package space
SPLASH-I
Jim HesterRStudio
17:05 - 18:00
Awards / SIGPLAN Town Hall MeetingOOPSLA at Studio 1
Chair(s): Manu SridharanUber, Jens PalsbergUniversity of California, Los Angeles
17:30 - 18:30
17:30
60m
Talk
Two Decades of Ownership Types
SPLASH-I
James NobleVictoria University of Wellington
18:00 - 20:30
Poster & SRCPosters at Georgian
18:00
2m
Poster
Faster Variational Execution with Transparent Bytecode Transformation
Posters
A: Chu-Pan WongCarnegie Mellon University, A: Jens MeinickeMagdeburg University, A: Lukas Lazarek, A: Christian KaestnerCarnegie Mellon University
Link to publication
18:02
2m
Poster
Guiding Inlining Decisions by Identifying Post-Inlining Transformations
Posters
A: Erick OchoaUniversity of Alberta, A: Andrew CraikIBM Canada, A: Jose Nelson AmaralUniversity of Alberta, A: Karim AliUniversity of Alberta
18:04
2m
Poster
DeepBugs: A Learning Approach to Name-based Bug Detection
Posters
A: Michael PradelTU Darmstadt, A: Koushik SenUniversity of California, Berkeley
Link to publication
18:06
2m
Poster
Continuous Model Validation using Reference Attribute Grammars
Posters
A: Johannes MeyTechnische Universität Dresden, A: René SchöneTechnische Universität Dresden, A: Görel Hedin, A: Emma SöderbergLund University, A: Thomas KühnTechnische Universität Dresden, A: Niklas ForsLund University, A: Jesper OqvistLund University, A: Uwe AßmannTU Dresden, Germany
Link to publication Pre-print
18:08
2m
Poster
Modular Language Composition for the Masses
Posters
A: Manuel LeducIRISA, University of Rennes 1, A: Thomas DegueuleCentrum Wiskunde & Informatica, A: Benoit CombemaleUniversity of Rennes 1
Link to publication
18:10
2m
Poster
Generating a Java Library from Its Specification
Posters
A: Tomoki NakamaruThe University of Tokyo, A: Shigeru ChibaThe University of Tokyo
18:12
2m
Poster
Scopes as Types
Posters
A: Hendrik van AntwerpenTU Delft, A: Casper Bach PoulsenDelft University of Technology, A: Arjen RouvoetDelft University of Technology, A: Eelco VisserDelft University of Technology
Link to publication
18:14
2m
Poster
Compositional Programming and Testing of Dynamic Distributed Systems
Posters
A: Ankush DesaiUniversity of California, Berkeley, A: Amar PhanishayeeMicrosoft Research, A: Shaz QadeerMicrosoft Research, A: Sanjit SeshiaUC Berkeley
Link to publication
18:16
2m
Poster
Fixing Machine Learning with Solver-Aided Languages
Posters
A: Revan MacQueenUniversity of Alberta, A: Julian DolbyIBM Research, A: Karim AliUniversity of Alberta
18:18
2m
Poster
Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling
Posters
A: Minseok JeonKorea University, South Korea, A: Sehun JeongKorea University, A: Hakjoo OhKorea University
Link to publication
18:20
2m
Poster
CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs
Posters
A: Jonathan BellGeorge Mason University, A: Luís PinaGeorge Mason University
18:22
2m
Poster
Speeding up Symbolic Reasoning for Relational Queries
Posters
A: Chenglong WangUniversity of Washington, USA, A: Alvin CheungUniversity of Washington, A: Rastislav BodikUniversity of Washington
Link to publication
18:24
2m
Poster
Towards Understanding the Costs of Avoiding Out-of-Thin-Air Results
Posters
A: Peizhao OuUniversity of California, Irvine, A: Brian DemskyUniversity of California, Irvine
Link to publication
18:26
2m
Poster
Exploring feature interactions without specifications: a controlled experiment
Posters
A: Larissa SoaresUniversidade Federal da Bahia, A: Jens MeinickeMagdeburg University, A: Sarah NadiUniversity of Alberta, A: Christian KaestnerCarnegie Mellon University, A: Eduardo Santana de AlmeidaUniversidade Federal da Bahia
Link to publication
18:28
2m
Poster
Obsidian: A Safer Blockchain Programming Language
Posters
A: Michael CoblenzCarnegie Mellon University, A: Jonathan AldrichCarnegie Mellon University, A: Brad A. MyersCarnegie Mellon University, A: Joshua SunshineCarnegie Mellon University
18:30
2m
Talk
Grammar Induction for Programming Languages using Skip-Gram Model
Posters
Tomomasa Matsunaga, Shigeru ChibaThe University of Tokyo
18:32
2m
Talk
Declarative Specification of Indentation Rules: A Tooling Perspective on Parsing and Pretty-Printing Layout-Sensitive Languages
Posters
A: Luis Eduardo de Souza AmorimDelft University of Technology, Netherlands, A: Michael J. SteindorferDelft University of Technology, A: Sebastian ErdwegTU Delft, A: Eelco VisserDelft University of Technology
Link to publication
18:34
2m
Poster
Incremental compilation for Stratego
Posters
A: Jeff SmitsDelft University of Technology, A: Eelco VisserDelft University of Technology
Link to publication
18:36
2m
Poster
Migrating Custom DSL Implementations to a Language Workbench: An Industrial Tool Demonstration (Tool Demo)
Posters
A: Jasper DenkersTU Delft, A: Louis van GoolOcé Technologies B.V., A: Eelco VisserDelft University of Technology
Link to publication
18:39
2m
Poster
Reconciling High-level Optimizations and Low-level Code in LLVM
Posters
A: Juneyoung LeeSeoul National University, A: Chung-Kil HurSeoul National University, A: Ralf JungMPI-SWS, A: Zhengyang LiuUniversity of Utah, A: John RegehrUniversity of Utah, A: Nuno P. LopesMicrosoft Research
Link to publication
18:41
2m
Poster
Identifying Barriers to Adoption for Rust through Online Discourse
Posters
A: Anna ZengStanford University, A: Will CrichtonStanford University
Link to publication
18:43
2m
Poster
Chocola: Integrating Futures, Actors, and Transactions
Posters
A: Janwillem SwalensVrije Universiteit Brussel, A: Wolfgang De MeuterVrije Universiteit Brussel, A: Joeri De KosterVrije Universiteit Brussel, Belgium
Link to publication Pre-print
18:45
2m
Poster
SWAN: A Swift Program Analysis Framework
Posters
A: Jeff ChoUniversity of Alberta, A: Mark MrozUniversity of Ottawa, A: Julian DolbyIBM Research, A: Karim AliUniversity of Alberta
Link to publication
18:47
2m
Poster
Migrating Business Logic to an Incremental Computing DSL: A Case Study
Posters
A: Daco HarkesDelft University of Technology, A: Elmer van ChasteletDelft University of Technology, A: Eelco VisserDelft University of Technology
Link to publication
18:49
2m
Poster
Multi-Device Grace
Posters
A: Ben Selwyn-Smith, A: Craig AnslowVictoria University of Wellington, A: Michael HomerVictoria University of Wellington
18:51
2m
Poster
Handling inconsistencies in software product line using a rule-based approach
Posters
Megha BhushanChitkara University, Punjab, India, A: Shivani Goel, Arun NegiMinistry of Defence, Government of India, India, Piyush SamantThapar Institute of Engineering, Patiala, Punjab, India
18:53
2m
Poster
Storm: A Language Platform for Interacting and Extensible Languages (Tool Demo)
Posters
A: Filip StrömbäckLinköping University
Link to publication
18:55
2m
Poster
Espalier: a structured spreadsheet tool for end-user development of organizational applications
Posters
A: Matt McCutchenMIT, A: Shachar ItzhakyTechnion, Israel, A: Daniel JacksonMIT, A: Willow JarvisMIT
Link to publication
18:57
2m
Poster
Scaling the REPL Experience
Posters
A: Yair ChuchemLamdu, A: Eyal LotemLamdu
Link to publication
18:59
2m
Poster
Sound Deadlock Prediction
Posters
A: Christian Gram KalhaugeUniversity of California, Los Angeles, A: Jens PalsbergUniversity of California, Los Angeles
Link to publication
19:01
2m
Poster
Distributed System Development with ScalaLoci
Posters
A: Pascal WeisenburgerTechnische Universität Darmstadt, A: Mirko Köhler, A: Guido SalvaneschiTU Darmstadt
Link to publication
19:03
2m
Poster
Safe Replication through Bounded Concurrency Verification
Posters
A: Gowtham KakiPurdue University, A: Kapil EarankyPurdue University, A: KC SivaramakrishnanUniversity of Cambridge, A: Suresh JagannathanPurdue University
Link to publication
19:05
2m
Poster
Identifying Refactoring Opportunities for Replacing Type Code with Subclass and State
Posters
A: Jyothi VeduradaIIT Madras, A: V Krishna NandivadaIIT Madras
Link to publication
19:07
2m
Poster
Margin Notes: Automatic code documentation with recorded examples from runtime
Posters
Link to publication
19:09
2m
Poster
Refinement in object-sensitivity points-to analysis via slicing
Posters
A: Girish Maskeri RamaInfosys Limited, A: Raghavan KomondoorIndian Institute of Science, Bangalore, A: Himanshu SharmaIndian Institute of Science, Bangalore
Link to publication
19:11
2m
Poster
The Software Architecture of Economy Mechanics in Digital Games
Posters
A: Wilson MizutaniUniversity of São Paulo
Link to publication
19:13
2m
Poster
Finding Broken Promises in Asynchronous JavaScript Programs
Posters
A: Saba AlimadadiNortheastern University, A: Di ZhongNortheastern University, USA, A: Magnus MadsenAarhus University, A: Frank TipNortheastern University
Link to publication
19:16
2m
Poster
Programming by example: efficient, but not "helpful"
Posters
A: Mark SantolucitoYale University, USA, A: Drew GoldmanRoslyn High School, A: Allyson WeseleyRoslyn High School, A: Ruzica PiskacYale University, USA
Link to publication
19:18
2m
Poster
Parallelization of Dynamic Languages: Synchronizing Built-in Collections
Posters
A: Benoit DalozeJKU Linz, Austria, A: Arie TalTechnion, A: Stefan MarrUniversity of Kent, A: Hanspeter MössenböckJKU Linz, Austria, A: Erez PetrankTechnion
Link to publication
19:20
2m
Poster
Symmetry-based Optimization of Interaction Kernels
Posters
A: Shigeyuki SatoKochi University of Technology
19:22
2m
Poster
A Practical Unification of Multi-Stage Programming and Macros
Posters
A: Nicolas StuckiEPFL, Switzerland, A: Aggelos BiboudisEPFL, Switzerland, A: Martin OderskyEPFL, Switzerland
Link to publication
19:24
2m
Poster
Messir, a Text-first DSL-based Approach for UML Requirements Engineering (Tool Demo)
Posters
A: Benoît RiesUniversity of Luxembourg, A: Alfredo CapozuccaUniversity of Luxembourg, A: Nicolas GuelfiUniversity of Luxembourg
Link to publication
19:26
2m
Poster
One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax
Posters
Link to publication
19:28
2m
Poster
Anomaly Analyses for Feature-Model Evolution
Posters
A: Michael NiekeTU Braunschweig, Germany, A: Christoph SeidlTechnische Universität Braunschweig, A: Jacopo MauroUniversity of Southern Denmark, A: Thomas ThümTU Braunschweig, Germany, A: Ingrid Chieh YuUniversity of Oslo, A: Felix FranzkeTU Braunschweig
Link to publication
19:30
2m
Poster
RT-Trust: Automated Refactoring for Trusted Execution Under Real-Time Constraints
Posters
A: Yin LiuVirginia Tech, A: Kijin AnVirginia Tech, A: Eli TilevichVirginia Tech
Link to publication
19:32
2m
Poster
Meta-programming for cross-domain tensor optimizations
Posters
A: Adilla SusungiMINES ParisTech, France, A: Norman A. RinkTU Dresden, Germany, A: Albert CohenGoogle, A: Jeronimo CastrillonTU Dresden, Germany, A: Claude TadonkiMINES ParisTech, France
Link to publication
19:34
2m
Poster
Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments
Posters
A: Junho LeeKorea University, A: Dowon SongKorea University, A: Sunbeom SoKorea University, A: Hakjoo OhKorea University
Link to publication
19:36
2m
Poster
Robust Relational Layout Synthesis from Examples for Android
Posters
A: Pavol BielikETH Zürich, A: Marc FischerETH Zurich, A: Martin VechevETH Zürich
Link to publication
19:38
2m
Poster
A Derivation Framework for Dependent Security Label Inference
Posters
A: Peixuan LiPenn State University, A: Danfeng ZhangPennsylvania State University
Link to publication
19:40
2m
Poster
An Empirical Study of the Effect of Source-level Loop Transformations on Compiler Stability
Posters
A: Zhangxiaowen GongUniversity of Illinois at Urbana-Champaign, A: Zhi ChenUniversity of California, Irvine, A: Justin SzadayUniversity of Illinois at Urbana-Champaign, A: David WongIntel, A: Zehra SuraIBM Research, A: Neftali Watkinson, A: Saeed MalekiMicrosoft Research, A: David PaduaUniversity of Illinois at Urbana-Champaign, A: Alexander VeidenbaumUniversity of California, Irvine, A: Alexandru NicolauUniversity of California, Irvine, A: Josep TorrellasUniversity of Illinois at Urbana-Champaign
Link to publication
19:42
2m
Poster
Consolidating Inheritance and Scoping into a Context Abstraction
Posters
A: Matan I. PeledTechnion—Israel Institute of Technology
19:44
2m
Talk
Test Generation for Higher-Order Functions in Dynamic Languages
Posters
A: Marija SelakovicTU Darmstadt, Germany, A: Michael PradelTU Darmstadt, A: Rezwana Karim NawrinSamsung Research America, A: Frank TipNortheastern University
Link to publication
19:46
2m
Poster
Using Compiler Snippets to Exploit Parallelism on Heterogeneous Hardware: A Java Reduction Case Study
Posters
A: Juan FumeroThe University of Manchester, A: Christos KotselidisThe University of Manchester
Link to publication
19:48
2m
Poster
DISCOPAR: A Visual Reactive Programming Language for Generating Cloud-based Participatory Sensing Platforms
Posters
A: Jesse ZamanVrije Universiteit Brussel, A: Kennedy KambonaVrije Universiteit Brussel, A: Wolfgang De MeuterVrije Universiteit Brussel
Link to publication
19:50
2m
Poster
Explaining Spreadsheets with Spreadsheets
Posters
A: Jácome CunhaUniversity of Minho, A: Mihai DanOregon State University, A: Martin ErwigOregon State University, A: Danila FedorinOregon State University, A: Alex GrejucOregon State University
Link to publication
19:53
2m
Poster
Skitter: A DSL for Distributed Reactive Workflows
Posters
A: Mathijs SaeyVrije Universiteit Brussel, A: Joeri De KosterVrije Universiteit Brussel, Belgium, A: Wolfgang De MeuterVrije Universiteit Brussel
Link to publication
19:55
2m
Poster
Thread-Safe Reactive Programming
Posters
A: Joscha DrechslerTechnische Universität Darmstadt, A: Ragnar MogkTechnische Universität Darmstadt, A: Guido SalvaneschiTU Darmstadt, A: Mira MeziniTU Darmstadt
Link to publication
19:57
2m
Poster
Automated Rule Inference for Cryptographic APIs through Source Code Repositories
Posters
A: Anna-Katharina WickertTU Darmstadt
Link to publication
19:59
2m
Poster
Observable atomic consistency for CvRDTs
Posters
A: Xin ZhaoKTH Royal Institute of Technology, A: Philipp HallerKTH, Sweden
Link to publication
20:01
2m
Poster
Conflict Resolution for Structured Merge via Version Space Algebra
Posters
A: Fengmin Zhu, A: Fei HeTsinghua University
Link to publication
20:03
2m
Poster
Observing the Uptake of a Language Change Making Strings Immutable
Posters
A: Manuel MaarekHeriot-Watt University
Link to publication
20:05
2m
Poster
Secure Serverless Computing Using Dynamic Information Flow Control
Posters
A: Kalev AlpernasTel Aviv University, A: Cormac FlanaganUniversity of California, Santa Cruz, A: Sadjad FouladiStanford University, A: Leonid RyzhykVMware Research, A: Mooly SagivTel Aviv University, A: Thomas Schmitz, A: Keith WinsteinStanford University
Link to publication
20:07
2m
Poster
Understanding Java Usability by Mining GitHub Repositories
Posters
Link to publication
20:09
2m
Poster
Compiling Distributed System Specifications into Implementations
Posters
A: Matthew DoComputer Science, University of British Columbia, A: Renato MascarenhasComputer Science, University of British Columbia, A: Finn HacketComputer Science, University of Waterloo, A: Brandon ZhangComputer Science, University of British Columbia, A: Yi Fan (Bob) YangFacebook, A: Adam GellerComputer Science, University of British Columbia, A: Ivan BeschastnikhComputer Science, University of British Columbia
20:11
2m
Poster
From Debugging Towards Live Tuning of Reactive Applications
Posters
A: Ragnar MogkTechnische Universität Darmstadt, A: Pascal WeisenburgerTechnische Universität Darmstadt, A: Julian HaasTechnische Universität Darmstadt, A: David RichterTechnische Universität Darmstadt
Link to publication
20:13
2m
Poster
Data Programming (DP): A new way of programming user interfaces
Posters
Link to publication
20:15
2m
Poster
Object-Oriented Recovery for Non-Volatile Memory
Posters
A: Nachshon CohenEPFL, Switzerland, A: David T. AksunEPFL, A: James LarusEPFL
Link to publication
20:17
2m
Poster
METACO, a Type Checker Generator
Posters
A: Haochen XieNagoya University
20:19
2m
Poster
GraphIt - A High-Performance Graph DSL
Posters
Link to publication
20:21
2m
Poster
Precision-Guided Context Sensitivity for Pointer Analysis
Posters
A: Yue LiAarhus University, Denmark, A: Tian TanAarhus University, Denmark, A: Anders MøllerAarhus University, A: Yannis SmaragdakisUniversity of Athens
Link to publication
20:23
2m
Poster
QDB: From Quantum Algorithms Towards Correct Quantum Programs
Posters
A: Yipeng HuangPrinceton University, A: Margaret Martonosi
Link to publication
20:25
2m
Talk
Toward a Language-Parametric Code Completion Editor Service
Posters
Daniel A. A. PelsmaekerDelft University of Technology, Netherlands, Eelco VisserDelft University of Technology
Link to publication
20:27
2m
Poster
Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs
Posters
A: Laurent ChristopheVUB, A: Coen De RooverVrije Universiteit Brussel, A: Elisa Gonzalez BoixVrije Universiteit Brussel, A: Wolfgang De MeuterVrije Universiteit Brussel
Link to publication

Conference Day
Thu 8 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

07:30 - 08:30
BreakfastSocial at Terrace
08:30 - 10:00
08:30
90m
Talk
Beauty is the Promise of HappinessKEYNOTE
Keynotes
Jenny QuillienEmbodied Making Institute
10:00 - 10:30
BreakSocial at Terrace
10:30 - 12:00
Weak Memory and RefactoringOOPSLA at Studio 1
Chair(s): Richard JonesUniversity of Kent
10:30
22m
Talk
Optimal Stateless Model Checking under the Release-Acquire Semantics
OOPSLA
Parosh Aziz AbdullaUppsala University, Sweden, Mohamed Faouzi AtigUppsala University, Bengt JonssonUppsala University, Tuan Phong NgoUppsala University
10:52
22m
Talk
Towards Understanding the Costs of Avoiding Out-of-Thin-Air Results
OOPSLA
Peizhao OuUniversity of California, Irvine, Brian DemskyUniversity of California, Irvine
11:15
22m
Talk
Persistence Semantics for Weak Memory
OOPSLA
Azalea RaadMPI-SWS, Germany, Viktor VafeiadisMPI-SWS, Germany
11:37
22m
Talk
Identifying Refactoring Opportunities for Replacing Type Code with Subclass and State
OOPSLA
10:30 - 12:00
Types and ContractsOOPSLA at Studio 2
Chair(s): Hakjoo OhKorea University
10:30
22m
Talk
Horn-ICE Learning for Synthesizing Invariants and Contracts
OOPSLA
Deepak D'Souza, Ezudheen P, Pranav GargUniversity of Illinois at Urbana-Champaign, Daniel NeiderMax Planck Institute for Software Systems, P. MadhusudanUniversity of Illinois at Urbana-Champaign
10:52
22m
Talk
Gradual Liquid Type InferenceDistinguished Paper Award
OOPSLA
Niki VazouIMDEA Software Institute, Éric TanterUniversity of Chile & Inria Paris, David Van HornUniversity of Maryland, USA
11:15
22m
Talk
Collapsible Contracts: Fixing a Pathology of Gradual Typing
OOPSLA
Daniel FelteyNorthwestern University, USA, Ben GreenmanNortheastern University, USA, Christophe ScholliersUniversiteit Gent, Belgium, Robby FindlerNorthwestern University, USA, Vincent St-AmourNorthwestern University
11:37
22m
Talk
The Root Cause of Blame: Contracts for Intersection and Union Types
OOPSLA
Jack WilliamsUniversity of Edinburgh, UK, J. Garrett MorrisUniversity of Kansas, USA, Philip WadlerUniversity of Edinburgh, UK
10:30 - 12:00
Data StructuresOnward! Papers at The Loft
Chair(s): Stefan MarrUniversity of Kent
10:30
30m
Talk
Cflat: A New Modular Approach to Implementing Efficient and Tunable Collections
Onward! Papers
Stephan BrandauerUppsala University, Elias CastegrenUppsala University, Tobias WrigstadUppsala University
Pre-print
11:00
30m
Talk
Live, Synchronized, and Mental Map Preserving Visualization for Data Structure Programming
Onward! Papers
Akio OkaTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology, Tomoyuki AotaniTokyo Institute of Technology
11:00 - 12:00
11:00
60m
Talk
Establishing a culture of code review
SPLASH-I
Peter BurkaTwo Sigma
12:00 - 13:30
13:30 - 15:00
Parallelism and CorrectnessOOPSLA at Studio 1
Chair(s): Werner DietlUniversity of Waterloo, Canada
13:30
22m
Talk
Thread-Safe Reactive Programming
OOPSLA
Joscha DrechslerTechnische Universität Darmstadt, Ragnar MogkTechnische Universität Darmstadt, Guido SalvaneschiTU Darmstadt, Mira MeziniTU Darmstadt
DOI Pre-print File Attached
13:52
22m
Talk
RacerD: Compositional Static Race Detection
OOPSLA
Sam BlackshearFacebook, Nikos Gorogiannis, Peter W. O'HearnFacebook and University College London, Ilya SergeyYale-NUS College
Pre-print
14:15
22m
Talk
What Happens-After the First Race? Enhancing the Predictive Power of Happens-Before Based Dynamic Race Detection
OOPSLA
Umang MathurUniversity of Illinois at Urbana-Champaign, Dileep KiniUniversity of Illinois at Urbana-Champaign, Mahesh ViswanathanUniversity of Illinois at Urbana-Champaign
DOI Authorizer link Pre-print
14:37
22m
Talk
Sound Deadlock Prediction
OOPSLA
Christian Gram KalhaugeUniversity of California, Los Angeles, Jens PalsbergUniversity of California, Los Angeles
13:30 - 15:00
Static AnalysisOOPSLA at Studio 2
Chair(s): Karim AliUniversity of Alberta
13:30
22m
Talk
Incrementalizing Lattice-Based Program Analyses in Datalog
OOPSLA
Tamás Szabóitemis / TU Delft, Gábor BergmannBudapest University of Technology and Economics / MTA-BME Lendület Research Group on Cyber-Physical Systems, Hungary, Sebastian ErdwegTU Delft, Markus Völterindependent / itemis, Germany
13:52
22m
Talk
Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling
OOPSLA
Minseok JeonKorea University, South Korea, Sehun JeongKorea University, Hakjoo OhKorea University
14:15
22m
Talk
Precision-Guided Context Sensitivity for Pointer Analysis
OOPSLA
Yue LiAarhus University, Denmark, Tian TanAarhus University, Denmark, Anders MøllerAarhus University, Yannis SmaragdakisUniversity of Athens
14:37
22m
Talk
Refinement in object-sensitivity points-to analysis via slicing
OOPSLA
Girish Maskeri RamaInfosys Limited, Raghavan KomondoorIndian Institute of Science, Bangalore, Himanshu SharmaIndian Institute of Science, Bangalore
13:30 - 15:00
Language DesignOnward! Papers at The Loft
Chair(s): Philipp HallerKTH, Sweden
13:30
30m
Talk
A CAPable distributed programming model
Onward! Papers
Florian MyterVrije Universiteit Brussel, Belgium, Christophe ScholliersUniversiteit Gent, Belgium, Wolfgang De MeuterVrije Universiteit Brussel
14:00
30m
Talk
Protecting Chatbots from Toxic Content
Onward! Papers
Guillaume BaudartIBM Research, Julian DolbyIBM Research, Evelyn DuesterwaldIBM Research, Martin HirzelIBM Research, Avraham ShinnarIBM Research
14:30
30m
Talk
JEff: Objects for Effect
Onward! Papers
Pablo InostrozaCWI, Tijs van der StormCWI & University of Groningen
13:30 - 14:30
MatsakisSPLASH-I at White Hill
13:30
60m
Talk
Rust: Reach Further
SPLASH-I
Nicholas MatsakisMozilla Corporation
13:30 - 14:30
McDirmidSPLASH-I at Whittier
13:30
60m
Talk
Tangible Abstraction
SPLASH-I
15:00 - 15:30
BreakSocial at Terrace
15:30 - 17:00
PerformanceOOPSLA at Studio 1
Chair(s): Adam WelcUber Technologies
15:30
22m
Talk
Cross-Component Garbage Collection
OOPSLA
DOI Media Attached
15:52
22m
Talk
Reactive Caching for Composed Services
OOPSLA
Sebastian BurckhardtMicrosoft Research, Tim CoppietersVrije Universiteit Brussel, Belgium
16:15
22m
Talk
Object-Oriented Recovery for Non-Volatile Memory
OOPSLA
Nachshon CohenEPFL, Switzerland, David T. AksunEPFL, James LarusEPFL
16:37
22m
Talk
Software Multiplexing: Share Your Libraries and Statically Link Them Too
OOPSLA
Will DietzUniversity of Illinois at Urbana-Champaign, Vikram S. AdveUniversity of Illinois at Urbana-Champaign
Link to publication DOI Pre-print
15:30 - 17:00
PotpourriOOPSLA at Studio 2
Chair(s): Anders MøllerAarhus University
15:30
22m
Talk
DeepBugs: A Learning Approach to Name-based Bug Detection
OOPSLA
Michael PradelTU Darmstadt, Koushik SenUniversity of California, Berkeley
15:52
22m
Talk
ExceLint: Automatically Finding Spreadsheet Formula Errors
OOPSLA
Dan Barowy, Emery D. BergerUniversity of Massachusetts, Amherst, Benjamin ZornMicrosoft Research
16:15
22m
Talk
Finding Code That Explodes Under Symbolic Evaluation
OOPSLA
James BornholtUniversity of Washington, Emina TorlakUniversity of Washington
16:37
22m
Talk
FlashProfile: A Framework for Synthesizing Data Profiles
OOPSLA
Saswat PadhiUniversity of California, Los Angeles, Prateek JainMicrosoft Research Lab, India, Daniel PerelmanUniversity of Washington, USA, Alex PolozovMicrosoft Research, Sumit GulwaniMicrosoft Research, Todd MillsteinUniversity of California, Los Angeles
15:30 - 17:00
15:30
45m
Full-paper
We Should Stop Claiming Generality in our Domain-Specific Language Papers
Onward! Essays
Daco HarkesDelft University of Technology
Link to publication
16:15
45m
Full-paper
Interdisciplinary Programming Language Design
Onward! Essays
Michael CoblenzCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Brad A. MyersCarnegie Mellon University, Joshua SunshineCarnegie Mellon University
15:30 - 16:30
15:30
60m
Talk
Provably Safe Pointers for a Parallel World
SPLASH-I
15:30 - 16:30
15:30
60m
Talk
Peering behind the Turing Mirror
SPLASH-I
16:30 - 17:30
16:30
60m
Talk
All about JavaScriptCore's many compilers
SPLASH-I
17:30 - 18:30
17:30
60m
Talk
In Defense of "Little Code"KEYNOTE
Keynotes
Kathi FislerBrown University

Conference Day
Fri 9 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

07:30 - 08:30
BreakfastSocial at Terrace
08:30 - 10:00
08:30
90m
Talk
Distributed AbstractionsKEYNOTE
Keynotes
10:00 - 10:30
BreakSocial at Terrace
10:30 - 12:00
TestingOOPSLA at Studio 1
Chair(s): Kim BrucePomona College
10:30
22m
Talk
Compositional Programming and Testing of Dynamic Distributed Systems
OOPSLA
Ankush DesaiUniversity of California, Berkeley, Amar PhanishayeeMicrosoft Research, Shaz QadeerMicrosoft Research, Sanjit SeshiaUC Berkeley
10:52
22m
Talk
Randomized Testing of Distributed Systems with Probabilistic GuaranteesDistinguished Paper Award
OOPSLA
Burcu Kulahcioglu OzkanMPI-SWS, Germany, Rupak MajumdarMPI-SWS, Germany, Filip NiksicMPI-SWS, Mitra Tabaei BefroueiVienna University of Technology, Georg WeissenbacherTechnische Universität Wien
11:15
22m
Talk
Test Generation for Higher-Order Functions in Dynamic Languages
OOPSLA
Marija SelakovicTU Darmstadt, Germany, Michael PradelTU Darmstadt, Rezwana Karim NawrinSamsung Research America, Frank TipNortheastern University
11:37
22m
Talk
Finding Broken Promises in Asynchronous JavaScript Programs
OOPSLA
Saba AlimadadiNortheastern University, Di ZhongNortheastern University, USA, Magnus MadsenAarhus University, Frank TipNortheastern University
10:30 - 12:00
Program SynthesisOOPSLA at Studio 2
Chair(s): Jens PalsbergUniversity of California, Los Angeles
10:30
22m
Talk
Relational Program Synthesis
OOPSLA
Yuepeng WangUniversity of Texas at Austin, Xinyu WangUT Austin, Isil DilligUT Austin
10:52
22m
Talk
Robust Relational Layout Synthesis from Examples for Android
OOPSLA
Pavol BielikETH Zürich, Marc FischerETH Zurich, Martin VechevETH Zürich
11:15
22m
Talk
Speeding up Symbolic Reasoning for Relational Queries
OOPSLA
Chenglong WangUniversity of Washington, USA, Alvin CheungUniversity of Washington, Rastislav BodikUniversity of Washington
11:37
22m
Talk
Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments
OOPSLA
Junho LeeKorea University, Dowon SongKorea University, Sunbeom SoKorea University, Hakjoo OhKorea University
12:00 - 13:30
13:30 - 14:15
VerificationOOPSLA at Studio 1
Chair(s): Tony HoskingAustralian National University / Data61
13:30
22m
Talk
Leto: Verifying Application-Specific Fault Tolerance through Parameterized Execution Models
OOPSLA
Brett BostonMassachusetts Institute of Technology, Zoe GongMassachusetts Institute of Technology, Michael CarbinMassachusetts Institute of Technology
13:52
22m
Talk
Safe Replication through Bounded Concurrency Verification
OOPSLA
Gowtham KakiPurdue University, Kapil EarankyPurdue University, KC SivaramakrishnanUniversity of Cambridge, Suresh JagannathanPurdue University
13:30 - 14:15
Safe MergingOOPSLA at Studio 2
Chair(s): David J. PearceVictoria University of Wellington
13:30
22m
Talk
Verified Three-Way Program Merge
OOPSLA
Marcelo SousaUniversity of Oxford, Isil DilligUT Austin, Shuvendu LahiriMicrosoft Research
13:52
22m
Talk
Conflict Resolution for Structured Merge via Version Space Algebra
OOPSLA
Fengmin Zhu, Fei HeTsinghua University
15:45 - 16:45
T-shirt socialSocial at Terrace