Write a Blog >>
SLE 2016
Mon 31 October - Tue 1 November 2016 Amsterdam, Netherlands
co-located with SPLASH 2016
VenueMövenpick Hotel Amsterdam City Centre
Room nameMatterhorn 1
Floor0
Additional informationThere is no additional information of this room available.
Program

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

Sun 30 Oct
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:30 - 10:00: First SessionParsing@SLE at Matterhorn 1
08:30 - 08:45
Day opening
Opening
Parsing@SLE
08:45 - 09:10
Talk
Disambiguation for SDF3 with Deep Priority Conflicts
Parsing@SLE
Timothée HaudebourgENS Rennes, Luis Eduardo de Souza AmorimDelft University of Technology, Netherlands, Eelco VisserDelft University of Technology, Netherlands
File Attached
09:10 - 09:35
Talk
Multiple input GLL parsing
Parsing@SLE
Elizabeth ScottRoyal Holloway University of London, Adrian JohnstoneRoyal Holloway University of London
File Attached
09:35 - 10:00
Demonstration
Demonstration: Modularly Parsing Naturally Embedded DSLs in Wyvern
Parsing@SLE
Jonathan AldrichCarnegie Mellon University
10:30 - 12:10: Second SessionParsing@SLE at Matterhorn 1
10:30 - 10:55
Talk
MADFAct—Constructing Dictionaries
Parsing@SLE
Tobias RungeTU Braunschweig, Ina SchaeferTU Braunschweig, Germany, Loek CleophasEindhoven University of Technology, Bruce WatsonStellenbosch University; and Centre for AI Research, CSIR
10:55 - 11:20
Talk
There’s more than one way to skin a cat
Parsing@SLE
Nate NystromUniversity of Lugano
File Attached
11:20 - 11:45
Talk
Knowledge-Based Support for Domain Specific Language Generation
Parsing@SLE
File Attached
11:45 - 12:10
Demonstration
Parsing in K-Framework
Parsing@SLE
Radu MereutaFaculty of Computer Science, UAIC, Iasi, Romania
File Attached
13:30 - 15:10: Third SessionParsing@SLE at Matterhorn 1
13:30 - 13:55
Talk
Context-Sensitive Parsing Through Stateful Parsing
Parsing@SLE
Nicolas LaurentUniversité Catholique de Louvain, Belgium, Kim MensUniversité Catholique de Louvain, Belgium
13:55 - 14:20
Talk
Goodbye Chomsky, Hello Tesnière: Replacing Constituency with Dependency in Software Languages
Parsing@SLE
Friedrich SteimannFernuniversität
14:20 - 14:45
Talk
Deriving Grammar Transformations for Developing and Maintaining Multiple Parser Versions
Parsing@SLE
Brian MalloyClemson University, James PowerMaynooth University
14:45 - 15:10
Demonstration
Composition of independent language extensions to C
Parsing@SLE
Ted KaminskiUniversity of Minnesota, Lucas KramerUniversity of Minnesota, Eric Van WykUniversity of Minnesota
15:40 - 17:20: Fourth SessionParsing@SLE at Matterhorn 1
15:40 - 16:05
Talk
Generalised Parsing and Combinator Parsing: a Happy Marriage?
Parsing@SLE
L. Thomas van BinsbergenRoyal Holloway University of London
File Attached
16:05 - 16:30
Talk
Good enough for you? Explaining ourselves through standard challenges
Parsing@SLE
Adrian JohnstoneRoyal Holloway University of London, Elizabeth ScottRoyal Holloway University of London
File Attached
16:30 - 17:20
Other
Discussion and closing
Parsing@SLE

Mon 31 Oct
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:10: Opening and KeynoteDSLDI at Matterhorn 1
10:30 - 12:10
Talk
Small, simple and smelly: What we can learn from examining end-user artifacts?
DSLDI
Felienne HermansDelft University of Technology
Media Attached
13:30 - 15:10: Session 1DSLDI at Matterhorn 1
13:30 - 13:55
Talk
The DSGA Model of DSL Design: Domain, Schema, Grammar, Actions
DSLDI
Vadim ZaytsevRaincode, Belgium
File Attached
13:55 - 14:20
Talk
Naturally Embedded DSLs
DSLDI
Jonathan AldrichCarnegie Mellon University, Alex PotaninVictoria University of Wellington
14:20 - 14:45
Talk
Towards explanation-oriented introductory programming
DSLDI
Julian JabsUniversity of Tübingen
14:45 - 15:10
Talk
DesignScript: a scalable multi-paradigm domain-specific end-user language and modelling environment for architectural computation
DSLDI
Robert AishBartlett School of Architecture, UCL, Emmanuel MendozaARM, Ltd

Tue 1 Nov
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:10: Session 2DLS at Matterhorn 1
Chair(s): Gilad BrachaGoogle
10:30 - 10:55
Talk
Type Unsoundness in Practice: An Empirical Study of Dart
DLS
Gianluca MezzettiAarhus University, Denmark, Anders MøllerAarhus University, Denmark, Fabio StroccoAarhus University, Denmark
DOI
10:55 - 11:20
Talk
Type Safety Analysis for Dart
DLS
Thomas S. HeinzeAarhus University, Denmark, Anders MøllerAarhus University, Denmark, Fabio StroccoAarhus University, Denmark
DOI
11:20 - 11:45
Talk
Precise and Scalable Static Analysis of jQuery using a Regular Expression Domain
DLS
Changhee ParkKAIST, South Korea, Hyeonseung ImKangwon National University, South Korea, Sukyoung RyuKAIST, South Korea
DOI
11:45 - 12:10
Talk
Just-in-Time Inheritance: A Dynamic and Implicit Multiple Inheritance Mechanism
DLS
Mattias De WaelVrije Universiteit Brussel, Belgium, Janwillem SwalensVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel, Belgium
DOI Pre-print File Attached
13:30 - 15:10: Session 3DLS at Matterhorn 1
Chair(s): Laurence TrattKing's College London
13:30 - 13:55
Talk
Parallel Virtual Machines with RPython
DLS
Remigius MeierETH Zurich, Switzerland, Armin RigoPyPy.org, Switzerland, Thomas GrossETH Zurich
DOI
13:55 - 14:20
Talk
Building Efficient and Highly Run-Time Adaptable Virtual Machines
DLS
Guido ChariUniversity of Buenos Aires, Argentina, Diego GarbervetskyUniversity of Buenos Aires, Argentina, Stefan MarrJohannes Kepler University Linz
DOI Pre-print
14:20 - 14:45
Talk
Efficiently Implementing the Copy Semantics of MATLAB's Arrays in JavaScript
DLS
Vincent Foley-BourgonMcGill University, Canada, Laurie HendrenMcGill University, Canada
DOI
14:45 - 15:10
Talk
Optimizing R Language Execution via Aggressive Speculation
DLS
Lukas StadlerOracle Labs, Austria, Adam WelcOracle Labs, USA, Christian HumerOracle Labs, Switzerland, Mick JordanOracle Labs, USA
DOI
15:40 - 17:20: Session 4DLS at Matterhorn 1
Chair(s): Elisa Gonzalez BoixVrije Universiteit Brussel
15:40 - 16:05
Talk
A Small Embedding of Logic Programming with a Simple Complete Search
DLS
Jason HemannIndiana University, USA, Daniel P. FriedmanIndiana University, USA, William E. ByrdUniversity of Utah, USA, Matthew MightUniversity of Utah, USA
DOI
16:05 - 16:30
Talk
Modular Semantic Actions
DLS
Alessandro WarthY Combinator Research, USA, Patrick DubroyY Combinator Research, USA, Tony Garnock-JonesNortheastern University, USA
DOI Pre-print
16:30 - 16:55
Talk
Cross-Language Compiler Benchmarking: Are We Fast Yet?
DLS
Stefan MarrJohannes Kepler University Linz, Benoit DalozeJKU Linz, Austria, Hanspeter MössenböckJKU Linz, Austria
DOI Pre-print

Wed 2 Nov
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:10: Optimization and PerformanceSPLASH OOPSLA at Matterhorn 1
Chair(s): Jan VitekNortheastern University
10:30 - 10:55
Talk
A Compiler for Throughput Optimization of Graph Algorithms on GPUsAEC
SPLASH OOPSLA
Sreepathi PaiUniversity of Texas at Austin, USA, Keshav PingaliUniversity of Texas at Austin, USA
DOI Pre-print
10:55 - 11:20
Talk
Automatic Parallelization of Pure Method Calls via Conditional Future Synthesis
SPLASH OOPSLA
Rishi SurendranRice University, USA, Vivek SarkarRice University, USA
DOI
11:20 - 11:45
Talk
Portable Inter-workgroup Barrier Synchronisation for GPUsAEC
SPLASH OOPSLA
Tyler SorensenImperial College London, Alastair DonaldsonImperial College London, Mark BattyUniversity of Kent, Ganesh GopalakrishnanUniversity of Utah, Zvonimir RakamaricUniversity of Utah
DOI Pre-print
11:45 - 12:10
Talk
Parallel Incremental Whole-Program Optimizations for Scala.js
SPLASH OOPSLA
Sébastien DoeraeneEPFL, Switzerland, Tobias SchlatterEPFL, Switzerland
DOI Pre-print
13:30 - 15:10: Language Design and Programming Models ISPLASH OOPSLA at Matterhorn 1
Chair(s): Roberto IerusalimschyPUC-Rio
13:30 - 13:55
Talk
Extensible Access Control with Authorization Contracts
SPLASH OOPSLA
Scott MooreHarvard University, Christos DimoulasHarvard University, Robby FindlerNorthwestern University, Matthew FlattUniversity of Utah, Stephen ChongHarvard University
DOI
13:55 - 14:20
Talk
Gentrification Gone too Far? Affordable 2nd-Class Values for Fun and (Co-)EffectAEC
SPLASH OOPSLA
Leo Osvald, Gregory Essertel, Xilun WuPurdue University, Lilliam I Gonzalez AlayonPurdue University, Tiark RompfPurdue University, USA
DOI
14:20 - 14:45
Talk
Incremental Forest: A DSL for Efficiently Managing FilestoresAEC
SPLASH OOPSLA
Jonathan DiLorenzoCornell University, Richard ZhangUniversity of Pennsylvania, Erin Menzies, Kathleen FisherTufts University, Nate FosterCornell University
DOI
14:45 - 15:10
Talk
LaCasa: Lightweight Affinity and Object Capabilities in Scala
SPLASH OOPSLA
Philipp HallerKTH Royal Institute of Technology, Alex LoikoGoogle Stockholm, Sweden
DOI Pre-print
15:40 - 17:20: Static AnalysisSPLASH OOPSLA at Matterhorn 1
Chair(s): Sam GuyerTufts University
15:40 - 16:05
Talk
Accelerating Program Analyses by Cross-Program Training
SPLASH OOPSLA
Sulekha KulkarniGeorgia Tech, Ravi MangalGeorgia Institute of Technology, Xin ZhangGeorgia Tech, Mayur NaikGeorgia Tech
DOI
16:05 - 16:30
Talk
An Improved Algorithm for Slicing Machine CodeAEC
SPLASH OOPSLA
Venkatesh SrinivasanUniversity of Wisconsin - Madison, Thomas RepsUniversity of Wisconsin - Madison and Grammatech Inc.
DOI Pre-print
16:30 - 16:55
Talk
Call Graphs for Languages with Parametric Polymorphism
SPLASH OOPSLA
Dmytro PetrashkoEPFL, Vlad UrecheEPFL, Switzerland, Ondřej LhotákUniversity of Waterloo, Martin OderskyEPFL, Switzerland
DOI
16:55 - 17:20
Talk
Type Inference for Static Compilation of JavaScript
SPLASH OOPSLA
Satish ChandraSamsung Research America, Colin GordonDrexel University, Jean-Baptiste JeanninCarnegie Mellon University , Cole SchlesingerSamsung Research America, Manu SridharanSamsung Research America, Frank TipSamsung Research America, Young-il ChoiSamsung Electronics
DOI Pre-print

Thu 3 Nov
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:10: Concurrency Analysis and Model CheckingSPLASH OOPSLA at Matterhorn 1
Chair(s): Thomas GrossETH Zurich
10:30 - 10:55
Talk
Directed Synthesis of Failing Concurrent Executions
SPLASH OOPSLA
Malavika SamakIndian Institute of Science, Bangalore, Omer TrippIBM Research, USA, Murali Krishna RamanathanIndian Institute of Science, Bangalore
DOI Media Attached
10:55 - 11:20
Talk
Maximal Causality Reduction for TSO and PSO
SPLASH OOPSLA
Shiyou HuangTexas A&M University, Jeff HuangTexas A&M University
DOI
11:20 - 11:45
Talk
Stateless Model Checking with Data-Race Preemption Points
SPLASH OOPSLA
Ben BlumCarnegie Mellon University, Garth GibsonCarnegie Mellon University
DOI Pre-print Media Attached
11:45 - 12:10
Talk
Precise and Maximal Race Detection from Incomplete Traces
SPLASH OOPSLA
Jeff HuangTexas A&M University, Arun Krishnakumar RajagopalanTexas A&M University
DOI Media Attached
13:30 - 15:10: Runtime SupportSPLASH OOPSLA at Matterhorn 1
Chair(s): Laurence TrattKing's College London
13:30 - 13:55
Talk
Efficient and Thread-Safe Objects for Dynamically-Typed LanguagesAEC
SPLASH OOPSLA
Benoit DalozeJKU Linz, Austria, Stefan MarrJohannes Kepler University Linz, Daniele BonettaOracle Labs, Hanspeter MössenböckJKU Linz, Austria
DOI Pre-print Media Attached
13:55 - 14:20
Talk
Hybrid STM/HTM for Nested Transactions on OpenJDKAECDistinguished Paper Award
SPLASH OOPSLA
Keith ChapmanPurdue University, Tony HoskingAustralian National University, Data61, and Purdue University, Eliot MossUniversity of Massachusetts Amherst
Link to publication DOI Pre-print Media Attached
14:20 - 14:45
Talk
Makalu: Fast Recoverable Allocation of Non-volatile Memory
SPLASH OOPSLA
Kumud BhandariRice University, USA, Dhruva Chakrabarti, Hans-J. BoehmGoogle
DOI Pre-print Media Attached
14:45 - 15:10
Talk
Prioritized Garbage Collection: Explicit GC Support for Software Caches
SPLASH OOPSLA
Diogenes NunezTufts University, Sam GuyerTufts University, Emery D. BergerUniversity of Massachusetts, Amherst
DOI Pre-print Media Attached
15:40 - 17:20: Program Modeling and LearningSPLASH OOPSLA at Matterhorn 1
Chair(s): Ondřej LhotákUniversity of Waterloo
15:40 - 16:05
Talk
Computing Repair Alternatives for Malformed Programs using Constraint Attribute GrammarsAEC
SPLASH OOPSLA
Friedrich SteimannFernuniversität, Jörg HagemannFernuniversität in Hagen, Bastian UlkeFernuniversität in Hagen
DOI Media Attached
16:05 - 16:30
Talk
Probabilistic Model for Code with Decision Trees
SPLASH OOPSLA
Veselin RaychevETH Zurich, Switzerland, Pavol Bielik, Martin VechevETH Zurich
DOI
16:30 - 16:55
Talk
Ringer: Web Automation by DemonstrationAEC
SPLASH OOPSLA
Shaon BarmanUC Berkeley, Sarah E. ChasinsUniversity of California, Berkeley, Rastislav BodikUniversity of Washington, USA, Sumit GulwaniMicrosoft Research
DOI Media Attached
16:55 - 17:20
Talk
Scalable Verification of Border Gateway Protocol Configurations with an SMT SolverAEC
SPLASH OOPSLA
Konstantin WeitzUniversity of Washington, Doug WoosUniversity of Washington, Emina TorlakUniversity of Washington, Michael D. ErnstUniversity of Washington, Arvind KrishnamurthyUniversity of Washington, Zachary TatlockUniversity of Washington, Seattle
DOI Media Attached

Fri 4 Nov
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:10: Typing, in PracticeSPLASH OOPSLA at Matterhorn 1
Chair(s): Sebastian ErdwegDelft University of Technology, Netherlands
10:30 - 10:55
Talk
A Practical Framework for Type Inference Error Explanation
SPLASH OOPSLA
Calvin LoncaricUniversity of Washington, Satish ChandraSamsung Research America, Manu SridharanSamsung Research America, Cole SchlesingerSamsung Research America
DOI Pre-print Media Attached
10:55 - 11:20
Talk
Dynamically Diagnosing Type Errors in Unsafe CodeAEC
SPLASH OOPSLA
Stephen KellUniversity of Cambridge
DOI Media Attached
11:20 - 11:45
Talk
First-Class Effect Reflection for Effect-Guided Programming
SPLASH OOPSLA
Yuheng LongIowa State University, Yu David Liu, Hridesh RajanIowa State University, USA
DOI
11:45 - 12:10
Talk
Java and Scala's Type Systems are Unsound: The Existential Crisis of Null PointersAEC
SPLASH OOPSLA
Nada AminEPFL, Ross TateCornell University
Link to publication DOI Pre-print
13:30 - 15:10: Bug Detection Analysis and Model CheckingSPLASH OOPSLA at Matterhorn 1
Chair(s): Ben LivshitsMicrosoft Research
13:30 - 13:55
Talk
Finding Compiler Bugs via Live Code Mutation
SPLASH OOPSLA
Chengnian SunUniversity of California, Davis, Vu LeMicrosoft, Zhendong SuUniversity of California, Davis
DOI Media Attached
13:55 - 14:20
Talk
Finding Resume and Restart Errors in Android Applications
SPLASH OOPSLA
Zhiyong ShanUniversity of Central Missouri, USA, Tanzirul AzimUniversity of California at Riverside, USA, Iulian NeamtiuNew Jersey Institute of Technology, USA
DOI Pre-print
14:20 - 14:45
Talk
Low-Overhead and Fully Automated Statistical Debugging with Abstraction RefinementAEC
SPLASH OOPSLA
Zhiqiang ZuoUniversity of California, Irvine, Lu FangUniversity of California, Irvine, Siau-Cheng Khoo, Harry XuUniversity of California, Irvine, Shan LuUniversity of Chicago
DOI Media Attached
14:45 - 15:10
Talk
To Be Precise: Regression Aware Debugging
SPLASH OOPSLA
Rohan BavishiIIT Kanpur, India, Awanish PandeyIIT Kanpur, India, Subhajit RoyIIT Kanpur, India
DOI

Sun 30 Oct
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 31 Oct
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Matterhorn 1

Tue 1 Nov
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
Matterhorn 1

Wed 2 Nov
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 3 Nov
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 4 Nov
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change