SPLASH 2016 (series) /
SPLASH 2016 Program
Conference Dates
Conference Dates are in time zone (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna, and may differ from the viewed time zone.
Rooms
Tracks
Badges
Your Program
Sun 30 Oct Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sun 30 Oct
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:30 - 10:00 | Session 1 - Opening + KeynoteFOSD at Berlin Chair(s): Christoph SeidlTechnische Universität Braunschweig, Leopoldo TeixeiraFederal University of Pernambuco | ||
08:30 10mDay opening | Workshop Opening FOSD Christoph SeidlTechnische Universität Braunschweig, Leopoldo TeixeiraFederal University of Pernambuco | ||
08:40 80mTalk | Keynote: Perspectives of Projection-Based Variation Control Systems FOSD Thorsten BergerChalmers University of Technology, Sweden |
08:30 - 10:00 | |||
08:25 5mDay opening | Welcome AGERE | ||
08:30 30mTalk | 43 Years of Actors: A Taxonomy of Actor Models and Their Key Properties AGERE Joeri De KosterVrije Universiteit Brussel, Belgium, Tom Van CutsemNokia Bell Labs, Belgium, Wolfgang De MeuterVrije Universiteit Brussel, Belgium DOI File Attached | ||
09:00 30mTalk | Pluggable Scheduling for the Reactor Programming Model AGERE Aleksandar ProkopecOracle Labs, Switzerland DOI | ||
09:30 30mTalk | An Extension of AgentSpeak(L) and Jason Tailored to Programming and Software Development AGERE DOI File Attached |
08:30 - 10:00 | |||
08:30 15mDay opening | Opening Parsing@SLE | ||
08:45 25mTalk | 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 25mTalk | Multiple input GLL parsing Parsing@SLE Elizabeth ScottRoyal Holloway University of London, Adrian JohnstoneRoyal Holloway University of London File Attached | ||
09:35 25mDemonstration | Demonstration: Modularly Parsing Naturally Embedded DSLs in Wyvern Parsing@SLE Jonathan AldrichCarnegie Mellon University |
08:30 - 10:00 | |||
08:30 30mDay opening | Opening - Day 1 Scala | ||
09:00 60mTalk | Fine-grained language composition without a common VMKeynote Scala Laurence TrattKing's College London Media Attached |
08:30 - 10:00 | Model Checking and TransformationMETA at Matterhorn 3 Chair(s): Ralf LaemmelUniversity of Koblenz-Landau, Germany | ||
08:30 30mTalk | Evolution of Metaprograms: XSLT as a Metaprogramming Language META Vadim ZaytsevRaincode, Belgium Media Attached File Attached | ||
09:00 30mTalk | Coloured Petri-Nets Framework for Simulating Method Invocations on Context-Oriented Software META Harumi WatanabeTokai University, Ikuta TanigawaKyusyu University, Nobuhiko OguraTokyo City University, Midori SugayaShibaura Institute of Technology, Kenji HisazumiKyushu University, Akira FukudaKyushu University File Attached | ||
09:30 30mTalk | Implementation of LMNtal Model Checkers: a Metaprogramming Approach META Media Attached File Attached |
10:30 - 12:10 | |||
10:30 30mTalk | Implementing Delta-Oriented SPLs using PEoPL: An Example Scenario and Case Study FOSD Benjamin BehringerUniversity of Luxembourg, Germany, Moritz FeySaarland University of Applied Sciences, Germany DOI | ||
11:05 30mTalk | Higher-Order Delta Modeling for Software Product Line Evolution FOSD Sascha LityTechnische Universität Braunschweig, Matthias KowalTU Braunschweig, Germany, Ina SchaeferTU Braunschweig, Germany DOI | ||
11:40 30mTalk | Name Resolution Strategies in Variability Realization Languages for Software Product Lines FOSD Sven SchusterTU Braunschweig, Germany, Michael NiekeTU Braunschweig, Germany, Ina SchaeferTU Braunschweig, Germany DOI |
10:30 - 12:10 | |||
10:30 30mTalk | Interaction Protocols in the JADEL Programming Language AGERE Federico BergentiUniversity of Parma, Italy, Eleonora IottiUniversity of Parma, Italy, Stefania MonicaUniversity of Parma, Italy, Agostino PoggiUniversity of Parma, Italy DOI File Attached | ||
11:00 30mTalk | Atomic RMI 2: Distributed Transactions for Java AGERE Paweł T. WojciechowskiPoznań University of Technology, Poland, Konrad SiekPoznań University of Technology, Poland DOI | ||
11:30 30mTalk | Conflicting Goals in Agent-Oriented Programming AGERE Maicon Rafael ZatelliFederal University of Santa Catarina, Brazil, Jomi Fred HübnerFederal University of Santa Catarina, Brazil, Alessandro RicciUniversity of Bologna, Italy, Rafael H. BordiniPUCRS, Brazil DOI File Attached | ||
12:00 30mTalk | Many Spiders Make a Better Web: A Unified Web-Based Actor Framework AGERE Florian MyterVrije Universiteit Brussel, Belgium, Christophe ScholliersUniversiteit Gent, Belgium, Wolfgang De MeuterVrije Universiteit Brussel, Belgium Link to publication DOI |
10:30 - 12:10 | |||
10:30 25mTalk | 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 25mTalk | There’s more than one way to skin a cat Parsing@SLE Nate NystromUniversity of Lugano File Attached | ||
11:20 25mTalk | Knowledge-Based Support for Domain Specific Language Generation Parsing@SLE Frank CoyleSMU File Attached | ||
11:45 25mDemonstration | Parsing in K-Framework Parsing@SLE Radu MereutaFaculty of Computer Science, UAIC, Iasi, Romania File Attached |
10:30 - 12:10 | |||
10:30 25mTalk | Implementing Higher-Kinded Types in Dotty Scala Martin OderskyEPFL, Switzerland, Guillaume MartresEPFL, Switzerland, Dmitry PetrashkoEPFL, Switzerland DOI Pre-print Media Attached | ||
10:55 25mTalk | Semantics-Driven Interoperability between Scala.js and JavaScript Scala Sébastien DoeraeneEPFL, Switzerland, Tobias SchlatterEPFL, Switzerland, Nicolas StuckiEPFL, Switzerland DOI Pre-print | ||
11:20 25mTalk | A Generic Algorithm for Checking Exhaustivity of Pattern Matching (Short Paper) Scala Fengyun LiuEPFL, Switzerland DOI Media Attached | ||
11:45 25mTalk | Scaps: Type-Directed API Search for Scala Scala Lukas Wegmann1plusX, Switzerland, Farhad MehtaUniversity of Applied Sciences Rapperswil, Switzerland, Peter SommerladUniversity of Applied Sciences Rapperswil, Switzerland, Mirko StockerUniversity of Applied Sciences Rapperswil, Switzerland DOI File Attached |
10:30 - 12:10 | |||
10:30 30mTalk | A model for Reflection in Rule-Based Languages META Simon Van de WaterVUB, Thierry RenauxVrije Universiteit Brussel, Wolfgang De MeuterVrije Universiteit Brussel, Belgium Media Attached File Attached | ||
11:00 30mTalk | Instance Migration in Dynamic Software Update META Pablo TesoneInria Lille–Nord Europe, France Mines Douai, IA, Univ. Lille, France, Guillermo PolitoInria, Luc FabresseMines Douai, Noury BouraqadiMines Douai, Stéphane Ducasse INRIA Lille Media Attached File Attached | ||
11:30 30mTalk | AST Specialisation and Partial Evaluation for Easy High-Performance Metaprogramming META Chris SeatonOracle Labs Pre-print Media Attached File Attached |
13:30 - 15:10 | |||
13:30 30mTalk | Formula Choice Calculus FOSD DOI | ||
14:05 30mTalk | Implicit Constraints in Partial Feature Models FOSD Sofia AnanievaFZI Research Center for Information Technology, Matthias KowalTU Braunschweig, Germany, Thomas ThümTU Braunschweig, Germany, Ina SchaeferTU Braunschweig, Germany DOI | ||
14:40 30mTalk | Towards Predicting Feature Defects in Software Product Lines FOSD Rodrigo QueirozUniversity of Waterloo, Canada, Thorsten BergerChalmers University of Technology, Sweden, Krzysztof CzarneckiUniversity of Waterloo, Canada DOI |
13:30 - 15:10 | |||
13:30 80mTalk | Panel on Industrial Use of Domain-Specific Modeling DSM | ||
14:50 20mOther | Group work topic selection DSM |
13:30 - 15:10 | |||
13:30 25mTalk | Context-Sensitive Parsing Through Stateful Parsing Parsing@SLE Nicolas LaurentUniversité Catholique de Louvain, Belgium, Kim MensUniversité Catholique de Louvain, Belgium | ||
13:55 25mTalk | Goodbye Chomsky, Hello Tesnière: Replacing Constituency with Dependency in Software Languages Parsing@SLE Friedrich SteimannFernuniversität | ||
14:20 25mTalk | Deriving Grammar Transformations for Developing and Maintaining Multiple Parser Versions Parsing@SLE | ||
14:45 25mDemonstration | Composition of independent language extensions to C Parsing@SLE Ted KaminskiUniversity of Minnesota, Lucas KramerUniversity of Minnesota, Eric Van WykUniversity of Minnesota |
13:30 - 15:10 | |||
13:30 25mTalk | RandIR: Differential Testing for Embedded Compilers Scala DOI File Attached | ||
13:55 25mTalk | Reflections on LMS: Exploring Front-End Alternatives Scala Tiark RompfPurdue University, USA DOI | ||
14:20 25mTalk | SecureScala: Scala Embedding of Secure Computations Scala Markus Hauckcodecentric AG, Savvas SavvidesPurdue University, Patrick EugsterPurdue University, Mira MeziniTU Darmstadt, Guido SalvaneschiTU Darmstadt, Germany DOI Pre-print Media Attached | ||
14:45 25mTalk | Towards a Scala embedded information system description DSL Scala Zeljko Bajic, Milan JovicDepartment of Mathematics and Informatics, Faculty of Sciences, University of Novi Sad |
13:30 - 15:10 | |||
13:30 30mTalk | Declaratively Specifying Security Policies For Web Applications META Angel Luis Scull PupoSofware Languages Lab, Vrije Universiteit Brussel, Jens NicolayVrije Universiteit Brussel, Belgium, Elisa Gonzalez BoixVrije Universiteit Brussel Media Attached File Attached | ||
14:00 30mTalk | Virtual Values for Taint and Information Flow Analysis META Prakasam KannanSan Jose State University, Thomas H. Austin, Mark StampSan Jose State University, Tim Disney, Cormac FlanaganUniversity of California, Santa Cruz Media Attached File Attached | ||
14:30 30mTalk | Capability Safe Reflection for the Wyvern Language META Media Attached File Attached |
15:40 - 17:20 | |||
15:40 30mTalk | Variability Mining of State Charts FOSD David WilleTU Braunschweig, Germany, Sandro SchulzeTU Hamburg, Germany, Ina SchaeferTU Braunschweig, Germany DOI | ||
16:10 30mTalk | FeatureCoPP: Compositional Annotations FOSD Jacob KrügerHarz University of Applied Sciences, Germany, Ivonne SchröterUniversity of Magdeburg, Germany, Andy KennerMETOP Magdeburg, Germany, Christopher KruczekMETOP Magdeburg, Germany, Thomas LeichHarz University of Applied Sciences, Germany DOI | ||
16:40 10mTalk | Lightning Talk: Comparing Variability Mechanisms for Requirements and Test Artifacts in Behaviour-Driven Development FOSD Neil MatherARC Technology Ltd. | ||
16:50 30mTalk | Fine-Grained Test Case Prioritization for Integration Testing of Delta-Oriented Software Product Lines FOSD Remo LachmannTechnische Universität Braunschweig, Sascha LityTechnische Universität Braunschweig, Mustafa Al-HajjajiMagdeburg University, Franz E. FürchtegottTechnische Universität Braunschweig, Ina SchaeferTU Braunschweig, Germany DOI |
15:40 - 17:20 | Group work sessionDSM at Hamburg Chair(s): Jonathan SprinkleUniversity of Arizona, Matti RossiAalto University School of Business, Juha-Pekka TolvanenMetaCase, Finland | ||
15:40 80mOther | Group work DSM | ||
17:00 20mTalk | Group work reporting and wrap-up DSM |
15:40 - 17:20 | |||
15:40 20mTalk | Programming Actor-based Collective Adaptive Systems AGERE File Attached | ||
16:00 20mTalk | Separating Communication Concerns in Concurrent Systems AGERE File Attached | ||
16:20 65mMeeting | DISCUSSION AGERE | ||
17:25 5mDay closing | Closing AGERE |
15:40 - 17:20 | |||
15:40 25mTalk | Generalised Parsing and Combinator Parsing: a Happy Marriage? Parsing@SLE L. Thomas van BinsbergenRoyal Holloway University of London File Attached | ||
16:05 25mTalk | 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 50mOther | Discussion and closing Parsing@SLE |
15:40 - 17:20 | |||
15:40 25mTalk | Revisiting the Cake Pattern: Scaling “Scalable Component Abstractions” Scala Paolo G. GiarrussoUniversity of Tübingen, Germany, Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany | ||
16:05 25mTalk | A Scalable Infrastructure for Teaching Concepts of Programming Languages in Scala with WebLab: An Experience Report Scala Tim van der LippeDelft University of Technology, Netherlands, Thomas SmithDelft University of Technology, Netherlands, Daniel A. A. PelsmaekerDelft University of Technology, Netherlands, Eelco VisserDelft University of Technology, Netherlands DOI File Attached | ||
16:30 50mOther | Unconference 1 Scala |
15:40 - 17:20 | |||
15:40 60mTalk | Reflection in Dart: A Cautionary Experience META | ||
16:40 40mTalk | ChromaKey: Towards Extensible Mirror Architectures META Pre-print Media Attached File Attached |
Mon 31 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
08:30 - 10:00 | |||
08:30 5mDay opening | Opening Mobile! | ||
08:35 30mTalk | Keynote: "Beyond native apps: Web technologies to the rescue!" Mobile! Ivano MalavoltaVrije Universiteit Amsterdam Media Attached | ||
09:05 30mTalk | Google Authentication Risks on iOS Mobile! Will DormannCERT/CC, USA DOI | ||
09:35 25mTalk | Managing Persistent Heap in NVRAM Mobile! Kumud BhandariRice University, USA DOI |
08:30 - 10:00 | |||
08:30 30mDay opening | Welcome NOOL | ||
09:00 60mTalk | The Essence of Inheritance NOOL Andrew BlackPortland State University Link to publication Pre-print |
08:30 - 10:00 | |||
08:30 30mDay opening | Opening - Day 2 Scala | ||
09:00 60mTalk | This is not a Type: Gradual typing in practiceKeynote Scala Jan VitekNortheastern University |
08:30 - 10:00 | Session 1VMIL at St Gallen Chair(s): Tony HoskingAustralian National University, Data61, and Purdue University | ||
08:30 10mDay opening | Opening Remarks VMIL Tony HoskingAustralian National University, Data61, and Purdue University | ||
08:40 55mTalk | Keynote: The good, the good enough, and some things we wish we had done differently: runtime design lessons from a production JVM VMIL Link to publication Media Attached | ||
09:35 25mTalk | Extending OpenJDK To Support Hybrid STM/HTM VMIL Keith ChapmanPurdue University, Tony HoskingAustralian National University, Data61, and Purdue University, Eliot MossUniversity of Massachusetts Amherst DOI Pre-print Media Attached |
08:30 - 10:00 | |||
08:30 - 10:00 | |||
08:30 90mTalk | GPCE 2016 Keynote: Lightweight Modular Staging (LMS): Generate all the things!Keynote GPCE |
10:30 - 12:10 | Session 1: ALIGNED, The Metadata Catalogue and BoosterSA-MDE at Basel Chair(s): Jeremy GibbonsUniversity of Oxford, UK | ||
10:30 25mDay opening | Welcome SA-MDE Jeremy GibbonsUniversity of Oxford, UK | ||
10:55 25mTalk | The ALIGNED vision SA-MDE Christian DirschlWolters Kluwer, Germany | ||
11:20 25mTalk | Introducing the The Metadata Catalogue SA-MDE James WelchUniversity of Oxford | ||
11:45 25mTalk | Booster: A Gentle Introduction SA-MDE Seyyed ShahUniversity of Oxford |
10:30 - 12:10 | |||
10:30 59mTalk | Keynote: Lessons learned about language engineering from the development of mbeddr ITSLE Markus Völteritemis, Germany Media Attached | ||
11:30 9mBreak | Coffee break ITSLE | ||
11:40 30mTalk | Pattern Specification and Application in Metamodels in Ecore ITSLE Jia ZhangAltran, Mark van den Brand, Ana Maria SutiiEindhoven University of Technology, Marc HamiltonAltran |
10:30 - 12:10 | |||
10:30 25mTalk | Persistent Contextual Values as Inter-process Layers Mobile! Markus RaabVienna University of Technology, Austria Link to publication DOI Pre-print Media Attached | ||
10:55 25mTalk | Hacking with Multi-touch for Java (MT4j) Mobile! A: Craig AnslowMiddlesex University, UK, A: Stuart MarshallVictoria University of Wellington, New Zealand, A: James NobleVictoria University of Wellington, New Zealand, A: Robert BiddleCarleton University, Canada DOI Pre-print File Attached | ||
11:20 25mTalk | Regression Aware Debugging for Mobile Applications Mobile! DOI Media Attached | ||
11:45 25mTalk | Data Collection Requirements for Mobile Connected Health: An End User Development Approach Mobile! DOI Pre-print Media Attached |
10:30 - 12:10 | |||
10:30 35mTalk | Polite Programmers, Use Spaces in Identifiers When Needed NOOL Pre-print | ||
11:05 35mTalk | Actors and Hot Objects NOOL Pre-print |
10:30 - 12:10 | |||
10:30 1h40mTalk | Small, simple and smelly: What we can learn from examining end-user artifacts? DSLDI Felienne HermansDelft University of Technology Media Attached |
10:30 - 12:10 | Reactive, Concurrent, Distributed Computation | ParsingScala at Matterhorn 2 Chair(s): Sébastien DoeraeneEPFL, Switzerland | ||
10:30 25mTalk | Practical Aggregate Programming in Scala Scala Roberto CasadeiUniversity of Bologna, Italy Media Attached | ||
10:55 25mTalk | DynaML: A Scala machine learning environment Scala Mandar ChandorkarCentrum Wiskunde & Informatica | ||
11:20 25mTalk | Scala-Gopher: CSP-style programming techniques with idiomatic Scala. Scala Ruslan Shevchenkovertamedia Media Attached | ||
11:45 25mTalk | Reactive Async: Expressive Deterministic Concurrency Scala Philipp HallerKTH Royal Institute of Technology, Simon GeriesKTH Royal Institute of Technology, Sweden, Michael EichbergTU Darmstadt, Germany, Guido SalvaneschiTU Darmstadt, Germany DOI Pre-print Media Attached |
10:30 - 12:10 | |||
10:30 50mTalk | SPLASH-I/E Keynote: The dream of a lifetime: Shaping how our children learn computingKeynote SPLASH-I Simon Peyton JonesMicrosoft Research, Cambridge Media Attached File Attached | ||
11:20 50mTalk | Snap!: Scheme Disguised as Scratch SPLASH-I Brian HarveyUniversity of California, Berkeley Media Attached |
10:30 - 12:10 | Session 2VMIL at St Gallen Chair(s): Tony HoskingAustralian National University, Data61, and Purdue University | ||
10:30 50mTalk | SPLASH-E Keynote (Room Matterhorn 3) VMIL Simon Peyton JonesMicrosoft Research, Cambridge | ||
11:25 45mTalk | Invited Talk: Why aren't more users more happy with our VMs? VMIL Media Attached |
10:30 - 12:10 | 2. SPLASH-I talks (room Matterhorn 3!)SPLASH-E at Winterthur Chair(s): Matthias HauswirthUniversity of Lugano | ||
10:30 50mTalk | The dream of a lifetime: Shaping how our children learn computing SPLASH-E Simon Peyton JonesMicrosoft Research, Cambridge Media Attached | ||
11:20 50mTalk | Snap!: Scheme Disguised as Scratch SPLASH-E Brian HarveyUniversity of California, Berkeley |
10:30 - 12:10 | |||
10:30 30mTalk | Recaf: Java Dialects as Libraries GPCE Aggelos BiboudisUniversity of Athens, Pablo InostrozaCWI, Tijs van der StormCWI & University of Groningen Pre-print Media Attached File Attached | ||
11:00 30mTalk | Classless Java GPCE Yanlin WangUniversity of Hong Kong, Haoyuan Zhang, Marco ServettoVictoria University of Wellington, Bruno C. d. S. OliveiraUniversity of Hong Kong | ||
11:30 30mTalk | Extensible Modeling with Managed Data in Java GPCE Theologos ZacharopoulosCentrum Wiskunde & Informatica, Pablo InostrozaCWI, Tijs van der StormCWI & University of Groningen |
10:30 - 12:10 | |||
10:30 10mDay opening | Opening SLE | ||
10:40 25mTalk | Parsing and Reflective Printing, Bidirectionally SLE Zirun ZhuNational University SOKENDAI, Japan, Yongzhe ZhangNational University SOKENDAI, Japan, Hsiang-Shang ‘Josh’ KoNational Institute of Informatics, Pedro MartinsUniversity of California at Irvine, USA, João SaraivaUniversity of Minho, Portugal, Zhenjiang HuNational University SOKENDAI, Japan DOI | ||
11:05 25mTalk | Taming Context-Sensitive Languages with Principled Stateful Parsing SLE Nicolas LaurentUniversité Catholique de Louvain, Belgium, Kim MensUniversité Catholique de Louvain, Belgium DOI Pre-print | ||
11:30 15mTalk | MetaEdit+ for Collaborative Language Engineering and Language Use (Tool Demo) SLE Juha-Pekka TolvanenMetaCase, Finland DOI Pre-print Media Attached | ||
11:45 25mTalk | Efficient Development of Consistent Projectional Editors using Grammar Cells SLE Markus Völteritemis, Germany, Tamás Szabóitemis AG / TU Delft, Sascha Lissonitemis AG, Bernd Kolbitemis AG, Sebastian ErdwegDelft University of Technology, Netherlands, Thorsten BergerChalmers University of Technology, Sweden DOI Pre-print Media Attached |
13:30 - 15:10 | |||
13:30 50mDemonstration | Metadata Catalogue: A Guided Tour SA-MDE | ||
14:20 50mDemonstration | Metadata Catalogue: Interactive Hands-On SA-MDE |
13:30 - 15:10 | Industrial DSLs and toolsITSLE at Geneva Chair(s): Yanja DajsurenEindhoven University of Technology, The Netherlands | ||
13:30 29mTalk | Invited talk: Model Driven Software Engineering (MDSE) in the large ITSLE | ||
14:00 29mTalk | Solving the Bank with Rebel ITSLE Jouke StoelCWI, Jurgen VinjuCWI, Netherlands, Tijs van der StormCWI & University of Groningen, Joost BosmanING Bank | ||
14:30 29mTalk | Udapt: Edapt Extensions for Industrial Application ITSLE J.G.M. MengerinkEindhoven University of Technology, Alexander SerebrenikEindhoven University of Technology, R.R.H. SchiffelersASML, Mark van den Brand Pre-print | ||
15:00 10mBreak | SPLASH break & networking ITSLE |
13:30 - 15:10 | |||
13:30 25mTalk | Generative Programming: from High-Performance to Safety-Critical Applications Mobile! Pre-print | ||
13:55 15mTalk | Scaling Android User Interfaces: A Case Study of Squid Mobile! David S. JanzenCalifornia Polytechnic State University, USA, Andrew HughesSteadfast Innovation, USA, Anthony LenzSteadfast Innovation, USA DOI Pre-print | ||
14:10 30mTalk | A Model-Based Method for Seamless Web and Mobile Experience Mobile! Marco BrambillaPolitecnico di Milano, Italy, Andrea MauriPolitecnico di Milano, Italy, Mirco FranzagoUniversity of L'Aquila, Italy, Henry MucciniUniversity of L'Aquila, Italy Link to publication DOI Pre-print Media Attached | ||
14:40 15mTalk | Mobile Application Test Case Generation Focusing on External Events Mobile! DOI | ||
14:55 15mTalk | GUI and Usage Model-Based Test Case Generation for Android Applications with Change Analysis Mobile! DOI |
13:30 - 15:10 | |||
13:30 35mTalk | Nomen: A Dynamically Typed OO Programming Language, Transpiled to Java NOOL Tijs van der StormCWI & University of Groningen Pre-print | ||
14:05 35mTalk | Static Typing Without Static Types - Typing Inheritance from the Bottom Up NOOL Benjamin ChungCarnegie Mellon University, Paley LiNortheastern University, Jan VitekNortheastern University Pre-print | ||
14:40 35mTalk | The Essence of Subclassing NOOL Ole Lehrmann MadsenAarhus University & The Alexandra Institute, Birger Møller-PedersenUniversity of Oslo Pre-print |
13:30 - 15:10 | |||
13:30 25mTalk | The DSGA Model of DSL Design: Domain, Schema, Grammar, Actions DSLDI Vadim ZaytsevRaincode, Belgium File Attached | ||
13:55 25mTalk | Naturally Embedded DSLs DSLDI | ||
14:20 25mTalk | Towards explanation-oriented introductory programming DSLDI Julian JabsUniversity of Tübingen | ||
14:45 25mTalk | DesignScript: a scalable multi-paradigm domain-specific end-user language and modelling environment for architectural computation DSLDI |
13:30 - 15:10 | Analysis, Testing & VerificationScala at Matterhorn 2 Chair(s): Philipp HallerKTH Royal Institute of Technology | ||
13:30 25mTalk | SMT-Based Checking of Predicate-Qualified Types for Scala Scala DOI File Attached | ||
13:55 25mTalk | A Scala Library for Testing Student Assignments on Concurrent Programming Scala DOI File Attached | ||
14:20 25mTalk | Building a Modular Static Analysis Framework in Scala (Tool Paper) Scala Quentin StiévenartVrije Universiteit Brussel, Belgium, Jens NicolayVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel, Belgium, Coen De RooverVrije Universiteit Brussel, Belgium DOI | ||
14:45 25mTalk | Automatically finding Scala soundness bugs Scala Media Attached |
13:30 - 15:10 | |||
13:30 1h40mTalk | Agent-Oriented Programming SPLASH-I Amal El Fallah-SegrouchniLIP6, John-Jules MeyerUniversiteit Utrecht, Mehdi Dastani, Rafael BordiniPUCRS, Koen HindriksDelft University of Technology, Netherlands, Rem CollierUniversity College Dublin, Alessandro RicciUniversity of Bologna, Italy Media Attached |
13:30 - 15:10 | Session 3VMIL at St Gallen Chair(s): Tony HoskingAustralian National University, Data61, and Purdue University | ||
13:30 55mTalk | Keynote: WebAssembly from wire to machine code: a view inside V8's implementation VMIL | ||
14:25 45mTalk | Invited Talk: The seven ages of virtual machines (with apologies to Shakespeare) VMIL |
13:30 - 15:10 | 3. Which Concepts to Teach?SPLASH-E at Winterthur Chair(s): Steve BlackburnAustralian National University | ||
13:30 - 15:10 | Generative Programming IIGPCE at Zürich 1 Chair(s): Ulrik Pagh SchultzUniversity of Southern Denmark | ||
13:30 30mTalk | Actor Profiling in Virtual Execution Environments GPCE Andrea RosàUniversità della Svizzera italiana, Lydia Y. ChenIBM Research Lab Zurich, Walter BinderUniversity of Lugano | ||
14:00 30mTalk | Bootstrapping Domain-Specific Meta-Languages in Language Workbenches GPCE Gabriël KonatDelft University of Technology, Sebastian ErdwegDelft University of Technology, Netherlands, Eelco VisserDelft University of Technology, Netherlands Link to publication DOI Pre-print Media Attached | ||
14:30 30mTalk | Dependence-Driven Delimited CPS Transformation for JavaScript GPCE Laure PhilipsSoftware Languages Lab, Joeri De KosterVrije Universiteit Brussel, Belgium, Wolfgang De MeuterVrije Universiteit Brussel, Belgium, Coen De RooverVrije Universiteit Brussel, Belgium File Attached |
13:30 - 15:10 | |||
13:30 25mTalk | Experiences of Models@run-time with EMF and CDO SLE Daniel SeyboldUlm University, Germany, Jörg DomaschkaUlm University, Germany, Alessandro RossiniSINTEF, Norway, Christopher B. HauserUlm University, Germany, Frank GriesingerUlm University, Germany, Athanasios TsitsipasUlm University, Germany DOI | ||
13:55 25mTalk | Runtime Support for Rule-Based Access-Control Evaluation through Model-Transformation SLE Salvador MartínezOpen University of Catalonia, France, Jokin GarcíaIK4-IKERLAN Research Center, Spain, Jordi CabotOpen University of Catalonia, Spain DOI | ||
14:20 25mTalk | Object-Oriented Design Pattern for DSL Program Monitoring SLE DOI Media Attached | ||
14:45 15mTalk | Execution Framework of the GEMOC Studio (Tool Demo) SLE Erwan BousseTU Vienna, Austria, Thomas DegueuleInria, France, Didier VojtisekInria, France, Tanja MayerhoferTU Vienna, Austria, Julien DeAntoni, Benoit CombemaleUniversity of Rennes 1, France DOI Pre-print Media Attached File Attached |
15:40 - 17:20 | |||
15:40 33mDemonstration | Booster: A Guided Tour SA-MDE | ||
16:13 33mDemonstration | Booster: Interactive Hands-On SA-MDE | ||
16:46 33mDay closing | Wrap-up and discussion SA-MDE Jeremy GibbonsUniversity of Oxford, UK |
15:40 - 17:20 | |||
15:40 29mTalk | A Domain Specific Language for Optimal Pumping Systems ITSLE Benjamin SaulMartin-Luther-University Halle-Wittenberg, Christian BergMartin-Luther-University Halle-Wittenberg, Wolf ZimmermannMartin-Luther-University Halle-Wittenberg | ||
16:10 29mTalk | Integrated Simulation of CIF3 and Simulink Models ITSLE | ||
16:40 9mBreak | Short break ITSLE | ||
16:50 30mMeeting | Panel discussion (Chairs: Yanja Dajsuren/Peter Kourzanov) ITSLE |
15:40 - 17:20 | |||
15:40 90mOther | Group Activity with Mobile Development Topic Mobile! | ||
17:10 10mDay closing | Closing Mobile! |
15:40 - 17:20 | |||
15:40 35mTalk | Situated Objects NOOL Patrick DubroyY Combinator Research, USA Pre-print | ||
16:15 35mTalk | Towards Automatic Decoration NOOL Pre-print | ||
16:50 35mTalk | Delegation Revisited NOOL Pre-print |
15:40 - 17:20 | |||
15:40 25mTalk | Collaborative Design, Implementation and Use of Domain-Specific Languages DSLDI Juha-Pekka TolvanenMetaCase, Finland | ||
16:05 25mTalk | Program Generation for Linear Algebra Using Multiple Layers of DSLs DSLDI Daniele G. SpampinatoETH Zurich, Diego Fabregat-TraverRWTH Aachen, Markus PüschelETH Zurich, Paolo Bientinesi | ||
16:30 25mTalk | The Matrix Chain Algorithm to Compile Linear Algebra Expressions DSLDI | ||
16:55 25mTalk | The Definition and Anatomy of Model Driven Engineering and Domain Specific Languages DSLDI Bruce TraskMDE Systems Inc. |
15:40 - 17:20 | |||
15:40 25mTalk | Using Scala’s pattern matching features for an attribute grammar formalisation of the CSS layout specification Scala Scott BuckleyMacquarie University, Australia | ||
16:05 25mTalk | The sbt-rats Parser Generator Plugin for Scala (Tool Paper) Scala Anthony SloaneMacquarie University, Australia, Franck CassezMacquarie University, Australia, Scott BuckleyMacquarie University, Australia DOI Media Attached | ||
16:30 50mOther | Unconference 2 Scala |
15:40 - 17:20 | Session 3 (Philosophy of Computing)SPLASH-I at Matterhorn 3 Chair(s): Richard P. GabrielDream Songs, Inc. & IBM Research | ||
15:40 1h40mTalk | The elements of decision alignment: Large programs as complex organizations SPLASH-I Media Attached |
15:40 - 17:20 | |||
15:40 25mTalk | Bringing Low-Level Languages to the JVM: Efficient Execution of LLVM IR on Truffle VMIL Manuel RiggerJohannes Kepler University, Linz, Austria, Matthias GrimmerJohannes Kepler University Linz, Christian WimmerOracle Labs, Thomas WuerthingerOracle Labs, Hanspeter MössenböckJKU Linz, Austria Pre-print | ||
16:05 25mTalk | Improving Trace-based JIT Optimisation using Whole-Program Information VMIL DOI Pre-print | ||
16:30 25mTalk | Rebuilding an Airliner In Flight: A Retrospective on Refactoring IBM Testarossa production compiler for Eclipse OMR VMIL | ||
16:55 25mDay closing | Discussions/Closing Remarks VMIL Tony HoskingAustralian National University, Data61, and Purdue University |
15:40 - 17:20 | |||
15:40 - 17:20 | |||
15:40 30mTalk | Synthesizing Regular Expressions from Examples for Introductory Automata Assignments GPCE | ||
16:10 30mTalk | Programmable Semantic Fragments: The Design and Implementation of typy GPCE | ||
16:40 30mTalk | Delaying Decisions in Variable Concern Hierarchies GPCE Jörg KienzleMcGill University, Canada, Gunter MussbacherMcGill University, Omar AlamTrent University, Philippe ColletUniversity of Nice | ||
17:10 15mTalk | Automatic Code Generation in Practice: Experiences with Embedded Robot Controllers GPCE |
15:40 - 17:20 | |||
15:40 25mTalk | Language Design and Implementation for the Domain of Coding Conventions SLE DOI Media Attached | ||
16:05 25mTalk | BSML-mbeddr: Integrating Semantically Configurable State-Machine Models in a C Programming Environment SLE DOI Media Attached | ||
16:30 25mTalk | Adding Uncertainty and Units to Quantity Types in Software Models SLE Tanja MayerhoferTU Vienna, Austria, Manuel WimmerTU Vienna, Austria, Antonio VallecilloUniversity of Málaga, Spain DOI Media Attached | ||
16:55 15mTalk | FRaMED: Full-Fledge Role Modeling Editor (Tool Demo) SLE Thomas KühnTU Dresden, Germany, Kay BierzynskiTU Dresden, Germany, Sebastian RichlyTU Dresden, Germany, Uwe AßmannTU Dresden, Germany DOI Media Attached | ||
17:10 10mDay closing | Awards SLE Emilie BallandSensational AG, Daniel Varro, Vadim ZaytsevRaincode, Belgium, Dimitris KolovosUniversity of York |
17:30 - 20:30 | |||
17:30 3hSocial Event | Monday Poster Reception Social Program |
Tue 1 Nov Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Tue 1 Nov
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:30 - 10:00 | |||
08:30 4mDay opening | Welcome Doctoral Symposium | ||
08:34 16mTalk | Lightning Talks Doctoral Symposium | ||
08:50 40mTalk | Integrating Concerns with Development Environments Doctoral Symposium | ||
09:30 40mTalk | Dedicated Support for Analyses and Optimizations in Language Workbenches Doctoral Symposium Tamás Szabóitemis AG / TU Delft |
08:30 - 10:00 | |||
08:30 30mTalk | Welcome and overview PLMW Ulrik Pagh SchultzUniversity of Southern Denmark | ||
09:00 60mTalk | Real Researchers Allow Passion to Guide Them PLMW Matthias FelleisenNortheastern University File Attached |
08:30 - 10:00 | |||
08:45 15mDay opening | Welcome and Introduction REBLS | ||
09:00 60mTalk | ActiveSheets: Stream Processing with a Spreadsheet (Keynote) REBLS |
08:30 - 10:00 | |||
08:30 90mTalk | DLS 2016 Keynote: Ignition: Jump-starting an Interpreter for V8Keynote DLS |
08:30 - 10:00 | |||
08:30 30mDay opening | Welcome and Introduction PLATEAU | ||
09:00 60mTalk | PLATEAU Keynote: How to Design a Programming Language PLATEAU Alan BlackwellUniversity of Cambridge |
08:30 - 10:00 | |||
08:30 90mTalk | SEPS Keynote: Patterns for Parallel Programming: New and Improved! SEPS Beverly SandersUniversity of Florida |
08:30 - 10:00 | Session 1WODA at Winterthur Chair(s): Michael PradelTU Darmstadt, Germany, Omer TrippIBM Research, USA | ||
08:30 45mTalk | Feedback-Directed Instrumentation for Deployed JavaScript Applications WODA Frank TipSamsung Research America | ||
09:15 45mTalk | JavaScript in the Small WODA Cole SchlesingerSamsung Research America |
08:30 - 10:00 | |||
08:30 90mTalk | SLE 2016 Keynote: Redex: Lightweight Semantics EngineeringKeynote SLE Link to publication Media Attached |
10:30 - 12:10 | |||
10:30 40mTalk | VeriTaS: Verification of Type System Specifications Doctoral Symposium Sylvia GreweTU Darmstadt Pre-print | ||
11:10 40mTalk | Language Support for Verifiable SDNs Doctoral Symposium |
10:30 - 12:10 | |||
10:30 60mTalk | Programing Languages Research in an Open Source Setting: the Coccinelle Experience PLMW Julia LawallInria/LIP6 File Attached | ||
11:30 40mOther | Networking activity (before and after lunch) PLMW |
10:30 - 12:10 | |||
10:30 25mTalk | A Reactive Interpretation of Session-Based Concurrency (In Progress Paper) REBLS Jaime AriasINRIA Grenoble Rhône-Alpes, Mauricio Cano, Jorge A. PérezUniversity of Groningen, The Netherlands Pre-print | ||
10:55 25mTalk | Synchronous-Reactive Web Programming REBLS DOI | ||
11:20 25mTalk | Towards a Comprehensive Multitier Reactive Language REBLS | ||
11:45 25mTalk | I Now Pronounce You Reactive and Consistent: Handling Distributed and Replicated State in Reactive Programming REBLS Florian MyterVrije Universiteit Brussel, Belgium, Tim CoppietersVrije Universiteit Brussel, Belgium, Christophe ScholliersUniversiteit Gent, Belgium, Wolfgang De MeuterVrije Universiteit Brussel, Belgium Link to publication DOI |
10:30 - 12:10 | |||
10:30 25mTalk | Solutions to Three Language Workbench Challenges using Wizards Workbench LWC@SLE File Attached | ||
10:55 25mTalk | Whole Platform Solution to a Selection of LWC16 Benchmark Problems LWC@SLE File Attached | ||
11:20 25mTalk | Cedalion's Response to the 2016 Language Workbench Challenge LWC@SLE File Attached | ||
11:45 25mTalk | Language Workbench Challenge 2016: the JetBrains Meta Programming System LWC@SLE Eugen SchindlerOce, Klemens SchindlerSioux Embedded Systems, Federico TomassettiIndependent, Ana Maria SutiiEindhoven University of Technology File Attached |
10:30 - 12:10 | |||
10:30 25mTalk | 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 25mTalk | Type Safety Analysis for Dart DLS Thomas S. HeinzeAarhus University, Denmark, Anders MøllerAarhus University, Denmark, Fabio StroccoAarhus University, Denmark DOI | ||
11:20 25mTalk | 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 25mTalk | 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 |
10:30 - 12:10 | |||
10:30 33mTalk | Discount Method for Programming Language Evaluation PLATEAU Svetomir KurtevAalborg University, Denmark, Tommy Aagaard ChristensenAalborg University, Denmark, Bent ThomsenAalborg University, Denmark DOI Pre-print | ||
11:03 33mTalk | Does Live Programming Help Program Comprehension? -- A user study with Live Robot Programming PLATEAU Miguel CampusanoDCC, Universidad de Chile, Alexandre BergelUniversity of Chile, Johan FabryUniversity of Chile File Attached | ||
11:36 33mTalk | AngularJS in the Wild: A Survey with 460 Developers PLATEAU Miguel RamosFederal University of Minas Gerais, Brazil, Marco Tulio ValenteFederal University of Minas Gerais, Brazil, Ricardo TerraFederal University of Lavras, Brazil, Gustavo SantosInria, France DOI Pre-print |
10:30 - 12:10 | |||
10:30 1h40mTalk | Bootstrap: Build Bridges, not Walls SPLASH-I Emmanuel SchanzerBrown University Media Attached |
10:30 - 12:10 | |||
10:30 25mTalk | Reducing Parallelizing Compilation Time by Removing Redundant Analysis SEPS Jixin HanWaseda University, Japan, Rina FujinoWaseda University, Japan, Ryota TamuraWaseda University, Japan, Mamoru ShimaokaWaseda University, Japan, Hiroki MikamiWaseda University, Japan, Moriyuki TakamuraOSCAR TECHNOLOGY, Japan, Sachio KamiyaOSCAR TECHNOLOGY, Japan, Kazuhiko SuzukiOSCAR TECHNOLOGY, Japan, Takahiro MiyajimaOSCAR TECHNOLOGY, Japan, Keiji Kimura Waseda University, Hironori KasaharaWaseda University, Japan DOI | ||
10:55 25mTalk | A Divide-and-Conquer Parallel Pattern Implementation for Multicores SEPS Marco DaneluttoUniversity of Pisa, Italy, Tiziano De MatteisUniversity of Pisa, Italy, Gabriele MencagliUniversity of Pisa, Italy, Massimo TorquatiUniversity of Pisa, Italy DOI | ||
11:20 25mTalk | Parallel Evaluation of a DSP Algorithm using Julia SEPS Peter KourzanovNXP, Netherlands DOI | ||
11:45 25mTalk | Exhaustive Analysis of Thread-Level Speculation SEPS Clark VerbruggeMcGill University, Canada, Christopher J. F. PickettMcGill University, Canada, Alexander KrolikMcGill University, Canada, Allan KielstraIBM, Canada DOI |
10:30 - 12:10 | Session 2WODA at Winterthur Chair(s): Michael PradelTU Darmstadt, Germany, Omer TrippIBM Research, USA | ||
10:30 33mTalk | Inferring test oracles from the Javadoc documentation WODA Alessandra GorlaIMDEA Software Institute | ||
11:03 33mTalk | The high-interest credit card of runtime enforcement WODA Ben LivshitsMicrosoft Research | ||
11:36 33mTalk | Making Malory Behave Maliciously: Targeted Fuzzing of Android Applications WODA Steven ArztTU Darmstadt, Germany |
10:30 - 12:10 | Feature Models and Product LinesGPCE at Zürich 1 Chair(s): Christoph SeidlTechnische Universität Braunschweig | ||
10:30 30mTalk | A Change-Centric Approach to Compile Configurable Systems with #ifdefs GPCE Larissa BrazFederal University of Campina Grande, Rohit GheyiUFCG, Brazil, Melina Mongiovi, Márcio RibeiroFederal University of Alagoas (UFAL), Flavio Medeiros, Leopoldo TeixeiraFederal University of Pernambuco | ||
11:00 30mTalk | A Feature-Based Personalized Recommender System for Product-Line Configuration GPCE Juliana Alves PereiraUniversity of Magdeburg, Pawel MatuszykUniversity of Magdeburg, Sebastian KrieterMagdeburg University, Myra SpiliopoulouUniversity of Magdeburg, Gunter SaakeMagdeburg University | ||
11:30 30mTalk | Explaining Anomalies in Feature Models GPCE Matthias KowalTU Braunschweig, Germany, Sofia AnanievaFZI Research Center for Information Technology, Thomas ThümTU Braunschweig, Germany |
10:30 - 12:10 | |||
10:30 25mTalk | Towards a Universal Code Formatter through Machine Learning SLE DOI Pre-print Media Attached File Attached | ||
10:55 25mTalk | The IDE Portability Problem and Its Solution in Monto SLE Sven KeidelDelft University of Technology, Netherlands, Wulf PfeifferTU Darmstadt, Germany, Sebastian ErdwegDelft University of Technology, Netherlands DOI Media Attached File Attached | ||
11:20 25mTalk | Principled Syntactic Code Completion using Placeholders SLE Luis Eduardo de Souza AmorimDelft University of Technology, Netherlands, Sebastian ErdwegDelft University of Technology, Netherlands, Guido WachsmuthDelft University of Technology, Netherlands, Eelco VisserDelft University of Technology, Netherlands DOI Media Attached | ||
11:45 15mTalk | DrAST: An Inspection Tool for Attributed Syntax Trees (Tool Demo) SLE Joel LindholmLund University, Sweden, Johan ThorsbergLund University, Sweden, Görel HedinLund University, Sweden DOI Media Attached |
12:10 - 13:30 | |||
12:10 80mMeeting | GPCE/SLE Steering Committee Meeting ORG |
13:30 - 15:10 | |||
13:30 40mTalk | Multitier Reactive Abstractions Doctoral Symposium | ||
14:10 40mTalk | Scaling Testing of Refactoring Engines Doctoral Symposium |
13:30 - 15:10 | |||
13:30 60mTalk | Why Programming Languages Matter PLMW Andrew BlackPortland State University Pre-print | ||
14:30 40mOther | Panel: Young Researchers PLMW Nada AminEPFL, Casper Bach PoulsenDelft University of Technology, Vincent St-AmourNortheastern University |
13:30 - 15:10 | |||
13:30 25mTalk | Bootstrapping, Default Formatting, and Skeleton Editing in the Spoofax Language Workbench LWC@SLE Gabriël KonatDelft University of Technology, Luis Eduardo de Souza AmorimDelft University of Technology, Netherlands, Sebastian ErdwegDelft University of Technology, Netherlands, Eelco VisserDelft University of Technology, Netherlands File Attached | ||
13:55 25mTalk | The Rascal Approach to Code in Prose, Computed Properties, and Language Extension LWC@SLE File Attached | ||
14:20 25mTalk | Languages the Racket Way: Submission to the 2016 Language Workbench Challenge LWC@SLE Daniel FelteyNorthwestern University, Spencer P. FlorenceNorthwestern University, Tim KnutsonUniveristy of Utah, Vincent St-AmourNortheastern University, Ryan CulpepperNortheastern University, Matthew FlattUniversity of Utah, Robby FindlerNorthwestern University, Matthias FelleisenNortheastern University File Attached | ||
14:45 25mOther | Preparation Discussion LWC@SLE |
13:30 - 15:10 | |||
13:30 25mTalk | Parallel Virtual Machines with RPython DLS DOI | ||
13:55 25mTalk | 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 25mTalk | Efficiently Implementing the Copy Semantics of MATLAB's Arrays in JavaScript DLS DOI | ||
14:45 25mTalk | 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 |
13:30 - 15:10 | |||
13:30 30mTalk | A Quantitative Study of Java Software Buildability PLATEAU DOI Pre-print | ||
14:00 30mTalk | Benefits of Session Types for Software Development PLATEAU DOI Pre-print | ||
14:30 20mTalk | What Do We Really Know about Data Flow Languages? PLATEAU Guido SalvaneschiTU Darmstadt, Germany DOI Pre-print | ||
14:50 20mTalk | What Is a Programming Language, Really? PLATEAU Amy KoUniversity of Washington DOI Pre-print |
13:30 - 15:10 | Session 5SPLASH-I at Matterhorn 3 Chair(s): Sebastian ErdwegDelft University of Technology, Netherlands | ||
13:30 50mTalk | From Tricorder to Tricium: Useful Static Analysis and the Importance of Workflow Integration SPLASH-I Emma SöderbergGoogle Media Attached | ||
14:20 50mTalk | Designing and Debugging Surveys with SurveyMan SPLASH-I Emma ToschUniversity of Massachusetts, Amherst Media Attached |
13:30 - 15:10 | |||
13:30 1h40mTalk | SEPS Tutorial: Task-Based Programming Everywhere from Supercomputing to Embedded Multicore Systems SEPS P: Jaume BoschBarcelona Supercomputing Center, P: Lucas MoraisUNICAMP, P: Tamer DallouLG Electronics San Jose Lab |
13:30 - 15:10 | Session 3WODA at Winterthur Chair(s): Michael PradelTU Darmstadt, Germany, Omer TrippIBM Research, USA | ||
13:30 50mTalk | Best-Effort Failure Reconstruction Using CSI: Crash Scene Investigation WODA Ben LiblitUniversity of Wisconsin–Madison | ||
14:20 50mTalk | What’s going on in the heap? WODA Sam GuyerTufts University |
13:30 - 15:10 | |||
13:30 30mTalk | IncLing: Efficient Product-Line Testing Using Incremental Pairwise Sampling GPCE Mustafa Al-HajjajiMagdeburg University, Sebastian KrieterMagdeburg University, Thomas ThümTU Braunschweig, Germany, Malte LochauTU Darmstadt, Gunter SaakeMagdeburg University | ||
14:00 30mTalk | Towards Scalable Configuration Testing in Variable Software GPCE Valentin Rothberg Friedrich-Alexander University of Erlangen-Nürnberg, Christian Dietrich, Andreas ZieglerFriedrich-Alexander University Erlangen-Nürnberg (FAU), Daniel LohmannFriedrich-Alexander University of Erlangen-Nürnberg Pre-print Media Attached | ||
14:30 15mTalk | Towards a Software Product Line of Trie-Based Collections GPCE Pre-print Media Attached | ||
14:45 15mTalk | Tool Demo: Testing Configurable Systems with FeatureIDE GPCE Mustafa Al-HajjajiMagdeburg University, Jens MeinickeMagdeburg University, Sebastian KrieterMagdeburg University, Reimar SchröterMagdeburg University, Thomas ThümTU Braunschweig, Germany, Thomas LeichHarz University of Applied Sciences, Germany, Gunter SaakeMagdeburg University |
13:30 - 15:10 | |||
13:30 25mTalk | Automated Testing Support for Reactive Domain-Specific Modelling Languages SLE Bart MeyersUniversity of Antwerp, Belgium, Joachim DenilUniversity of Antwerp, Belgium, István DávidUniversity of Antwerp, Belgium, Hans VangheluweUniversity of Antwerp, Canada DOI | ||
13:55 25mTalk | Side Effects Take the Blame SLE Felipe Bañados SchwerterUniversity of British Columbia, Canada DOI | ||
14:20 25mTalk | Symbolic Execution of High-Level Transformations SLE Ahmad Salim Al-SibahiIT University of Copenhagen, Denmark, Aleksandar S. DimovskiIT University of Copenhagen, Denmark, Andrzej WąsowskiIT University of Copenhagen, Denmark Link to publication DOI Pre-print Media Attached | ||
14:45 15mTalk | Raincode Assembler Compiler (Tool Demo) SLE Volodymyr BlagodarovRaincode, Belgium, Yves JaradinRaincode, Belgium, Vadim ZaytsevRaincode, Belgium DOI |
15:40 - 17:20 | |||
15:40 40mTalk | Spray: Programming with a Persistent Distributed Heap Doctoral Symposium Marco GrandiComputer Science Department - University of Pisa | ||
16:20 40mTalk | Towards Practical Release-Level Dynamic Software Updating on Stock Java Doctoral Symposium | ||
17:00 20mTalk | How to get your Ph.D. DONE Doctoral Symposium |
15:40 - 17:20 | |||
15:40 50mTalk | My Twenty-Five Years in OO PLMW Jan VitekNortheastern University File Attached | ||
16:30 50mTalk | What to do at SPLASH PLMW Jan VitekNortheastern University |
15:40 - 17:20 | DiscussionLWC@SLE at Luzern Chair(s): Markus Völteritemis, Germany, Meinte BoersmaMendix, Eugen SchindlerOce | ||
15:40 1h40mOther | Future challenges / Break out sessions LWC@SLE |
15:40 - 17:20 | |||
15:40 25mTalk | 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 25mTalk | Modular Semantic Actions DLS Alessandro WarthY Combinator Research, USA, Patrick DubroyY Combinator Research, USA, Tony Garnock-JonesNortheastern University, USA DOI Pre-print | ||
16:30 25mTalk | 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 |
15:40 - 17:20 | |||
15:40 80mTalk | Group Exercise PLATEAU | ||
17:00 20mTalk | Discussion and Wrap Up PLATEAU |
15:40 - 17:20 | |||
15:40 50mTalk | Type-driven Development in Idris SPLASH-I Edwin BradyUniversity of St Andrews | ||
16:30 50mTalk | Fact or fiction? What software analytics can do for us (developers and researchers) SPLASH-I Andy ZaidmanTU Delft Media Attached |
15:40 - 17:20 | |||
15:40 1h40mTalk | SEPS Panel discussion: Engineering software performance for upcoming heterogeneous computing systems - through programming patterns, runtime systems and tools SEPS P: Yukinori SatoTokyo Institute of Technology, P: Clemens GrelckUniversity of Amsterdam, P: Keiji Kimura Waseda University, P: Beverly SandersUniversity of Florida |
15:40 - 17:20 | Session 4WODA at Winterthur Chair(s): Michael PradelTU Darmstadt, Germany, Omer TrippIBM Research, USA | ||
15:40 50mTalk | Metamorphic Testing for Compilers and Program Analysers WODA Alastair DonaldsonImperial College London | ||
16:30 50mTalk | From Soundiness to Soundness WODA Yannis SmaragdakisUniversity of Athens |
15:40 - 17:20 | |||
15:40 30mTalk | Automated Regression Testing of BPMN 2.0 Processes: A Capture & Replay Framework for Continuous Delivery GPCE Majid MakkiiMinds-DistriNet, Dimitri Van LanduytKatholieke Universiteit Leuven, Wouter JoosenKatholieke Universiteit Leuven | ||
16:10 30mTalk | A Vision for Online Verification-Validation GPCE Matthew HammerUniversity of Colorado, Boulder, Bor-Yuh Evan ChangUniversity of Colorado Boulder, David Van HornUniversity of Maryland at College Park, USA Pre-print Media Attached | ||
16:40 30mTalk | Automatic Non-functional Testing of Code Generators Families GPCE Pre-print Media Attached File Attached |
15:40 - 17:20 | |||
15:40 25mTalk | Efficient Model Partitioning for Distributed Model Transformations SLE Amine Benelallam, Massimo TisiAtlanMod, France, Jesús Sánchez CuadradoAutonomous University of Madrid, Spain, Juan de LaraAutonomous University of Madrid, Spain, Jordi CabotOpen University of Catalonia, Spain DOI | ||
16:05 25mTalk | Coupled Software Transformations — Revisited SLE Ralf LaemmelUniversity of Koblenz-Landau, Germany DOI Media Attached | ||
16:30 15mTalk | Xdiagram: A Declarative Textual DSL for Describing Diagram Editors (Tool Demo) SLE André L. SantosUniversity Institute of Lisbon, Portugal, Eduardo GomesUniversity Institute of Lisbon, Portugal DOI | ||
16:45 15mDay closing | Closing & Outlook to SLE'17 SLE |
18:30 - 22:30 | |||
18:30 4hDinner | GPCE & SLE Dinner SLE Media Attached |
18:30 - 22:30 | |||
18:30 4hDinner | GPCE & SLE Dinner GPCE Media Attached |
Wed 2 Nov Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Wed 2 Nov
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:30 - 10:00 | Keynote WednesdayKeynotes and Awards at Matterhorn 2 Chair(s): Eelco VisserDelft University of Technology, Netherlands | ||
08:30 10mDay opening | Welcome to SPLASH 2016 Keynotes and Awards | ||
08:40 5mAwards | OOPSLA 10-year Most Influential Paper AwardAward Keynotes and Awards Eelco VisserDelft University of Technology, Netherlands | ||
08:45 75mTalk | SPLASH 2016 Keynote: The Science of Deep SpecificationKeynote Keynotes and Awards Media Attached |
10:30 - 12:10 | |||
10:30 25mTalk | A Compiler for Throughput Optimization of Graph Algorithms on GPUs OOPSLA DOI Pre-print | ||
10:55 25mTalk | Automatic Parallelization of Pure Method Calls via Conditional Future Synthesis OOPSLA DOI | ||
11:20 25mTalk | Portable Inter-workgroup Barrier Synchronisation for GPUs 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 25mTalk | Parallel Incremental Whole-Program Optimizations for Scala.js OOPSLA DOI Pre-print |
10:30 - 12:10 | Semantics and VerificationOOPSLA at Matterhorn 2 Chair(s): Jonathan AldrichCarnegie Mellon University | ||
10:30 25mTalk | Semantics-Based Program Verifiers for All Languages OOPSLA Andrei StefanescuUniversity of Illinois at Urbana-Champaign, Daejun ParkUniversity of Illinois at Urbana-Champaign, Shijiao YuwenUniversity of Illinois at Urbana-Champaign, Yilong LiRuntime Verification, Inc., Grigore RoşuUniversity of Illinois at Urbana-Champaign DOI Media Attached | ||
10:55 25mTalk | Hoare-Style Specifications as Correctness Conditions for Non-linearizable Concurrent Objects OOPSLA Ilya SergeyUniversity College London, Aleksandar NanevskiIMDEA Software Institute, Anindya BanerjeeIMDEA Software Institute, Germán Andrés DelbiancoIMDEA Software Institute DOI Pre-print Media Attached File Attached | ||
11:20 25mTalk | An Operational Semantics for C/C++11 Concurrency OOPSLA Kyndylan NienhuisUniversity of Cambridge, Kayvan MemarianUniversity of Cambridge, Peter SewellUniversity of Cambridge DOI | ||
11:45 25mTalk | Modeling and Analysis of Remote Memory Access Programming OOPSLA Andrei Marian DanETH Zurich, Patrick LamUniversity of Waterloo, Canada, Torsten HoeflerETH Zurich, Martin VechevETH Zurich DOI Pre-print Media Attached |
10:30 - 12:10 | |||
10:30 50mTalk | How Domain Requirements Shape Languages SPLASH-I Markus Völteritemis, Germany Media Attached | ||
11:20 50mTalk | Making Mendix Meta Model Driven SPLASH-I Jos WarmerIndependent |
10:30 - 12:10 | |||
10:30 25mTalk | Lightweight Programming Experiments without Programmers and Programs: An Example Study on the Effect of Similarity and Number of Object Identifiers on the Readability of Source Code using Natural Texts Onward! Papers Tim MarterUniversity of Duisburg-Essen, Paul BabuckeUniversity of Duisburg-Essen, Philipp LembkenUniversity of Duisburg-Essen, Stefan HanenbergUniversity of Duisburg-Essen DOI | ||
10:55 25mTalk | Emergent Software Services Onward! Papers Nicolás CardozoUniversidad de los Andes DOI Pre-print Media Attached | ||
11:20 25mTalk | Nez: Practical Open Grammar Language Onward! Papers Kimio KuramitsuYokohama National University, Japan DOI | ||
11:45 25mTalk | Exploring Cheap Type Inference Heuristics in Dynamically Typed Languages Onward! Papers DOI |
12:10 - 13:30 | |||
12:10 80mMeeting | Onward Steering Committee Meeting ORG |
13:30 - 15:10 | Language Design and Programming Models IOOPSLA at Matterhorn 1 Chair(s): Roberto IerusalimschyPUC-Rio | ||
13:30 25mTalk | Extensible Access Control with Authorization Contracts OOPSLA Scott MooreHarvard University, Christos DimoulasHarvard University, Robby FindlerNorthwestern University, Matthew FlattUniversity of Utah, Stephen ChongHarvard University DOI | ||
13:55 25mTalk | Gentrification Gone too Far? Affordable 2nd-Class Values for Fun and (Co-)Effect OOPSLA Leo Osvald, Gregory Essertel, Xilun WuPurdue University, Lilliam I Gonzalez AlayonPurdue University, Tiark RompfPurdue University, USA DOI | ||
14:20 25mTalk | Incremental Forest: A DSL for Efficiently Managing Filestores OOPSLA Jonathan DiLorenzoCornell University, Richard ZhangUniversity of Pennsylvania, Erin Menzies, Kathleen FisherTufts University, Nate FosterCornell University DOI | ||
14:45 25mTalk | LaCasa: Lightweight Affinity and Object Capabilities in Scala OOPSLA DOI Pre-print |
13:30 - 15:10 | |||
13:30 25mTalk | Deriving Divide-and-Conquer Dynamic Programming Algorithms using Solver-Aided Transformations OOPSLA Shachar ItzhakyMIT CSAIL, Rohit SinghMIT, Rezaul ChowdhuryStony Brook University, Kuat YessenovMIT, Yongquan LuMIT, Charles E. LeisersonMIT, Armando Solar-LezamaMIT CSAIL DOI Pre-print Media Attached | ||
13:55 25mTalk | Speeding Up Machine-Code Synthesis OOPSLA Venkatesh SrinivasanUniversity of Wisconsin - Madison, Tushar SharmaUniversity of Wisconsin - Madison, USA, Thomas RepsUniversity of Wisconsin - Madison and Grammatech Inc. DOI Pre-print Media Attached | ||
14:20 25mTalk | Automated Reasoning for Web Page Layout OOPSLA DOI Media Attached | ||
14:45 25mTalk | FIDEX: Filtering Spreadsheet Data using Examples OOPSLA DOI Media Attached |
13:30 - 15:10 | |||
13:30 50mTalk | Define Your App, Don’t Implement It: Building a Scalable Social Network in 45 minutes SPLASH-I | ||
14:20 50mTalk | The basic skill set of software language engineering SPLASH-I Ralf LaemmelUniversity of Koblenz-Landau, Germany Media Attached |
13:30 - 15:10 | |||
13:30 50mTalk | How Are Programs Found? Speculating about Language Ergonomics with Curry-Howard Onward! Essays DOI Pre-print File Attached | ||
14:20 50mTalk | The Left Hand of Equals Onward! Essays James NobleVictoria University of Wellington, New Zealand, Andrew BlackPortland State University, Kim BrucePomona College, Michael HomerVictoria University of Wellington, Mark MillerGoogle Inc. DOI |
15:40 - 17:20 | |||
15:40 25mTalk | Accelerating Program Analyses by Cross-Program Training OOPSLA Sulekha KulkarniGeorgia Tech, Ravi MangalGeorgia Institute of Technology, Xin ZhangGeorgia Tech, Mayur NaikGeorgia Tech DOI | ||
16:05 25mTalk | An Improved Algorithm for Slicing Machine Code OOPSLA Venkatesh SrinivasanUniversity of Wisconsin - Madison, Thomas RepsUniversity of Wisconsin - Madison and Grammatech Inc. DOI Pre-print | ||
16:30 25mTalk | Call Graphs for Languages with Parametric Polymorphism OOPSLA Dmytro PetrashkoEPFL, Vlad UrecheEPFL, Switzerland, Ondřej LhotákUniversity of Waterloo, Martin OderskyEPFL, Switzerland DOI | ||
16:55 25mTalk | Type Inference for Static Compilation of JavaScript 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 |
15:40 - 17:20 | Programming Frameworks, Tools, and MethodologiesOOPSLA at Matterhorn 2 Chair(s): Emerson Murphy-HillGoogle | ||
15:40 25mTalk | Purposes, Concepts, Misfits, and a Redesign of Git OOPSLA DOI Pre-print Media Attached | ||
16:05 25mTalk | Apex: Automatic Programming Assignment Error Explanation OOPSLA Dohyeong KimPurdue University, Yonghwi KwonPurdue University, Peng LiuPurdue University, I Luk KimPurdue University, David Mitchel PerryPurdue University, Xiangyu ZhangPurdue University, Gustavo Rodriguez-RiveraPurdue University DOI Media Attached | ||
16:30 25mTalk | Asserting Reliable Convergence for Configuration Management Scripts OOPSLA Oliver HanappiVienna University of Technology, Waldemar HummerVienna University of Technology, Schahram DustdarTU Wien DOI | ||
16:55 25mTalk | Dependent Partitioning OOPSLA Sean TreichlerStanford University, Michael BauerNVIDIA Research, Rahul SharmaMicrosoft Research, Elliott Slaughter, Alex AikenStanford University DOI Media Attached |
15:40 - 17:20 | |||
15:40 50mTalk | Using Docker Containers to Improve Reproducibility in PL/SE Research SPLASH-I Jürgen CitoUniversity of Zurich Media Attached | ||
16:30 50mTalk | Adventures in Software Evolution SPLASH-I Robert GrimmGoldman Sachs |
15:40 - 17:20 | |||
15:40 25mTalk | Bloqqi: Modular Feature-Based Block Diagram Programming Onward! Papers DOI Pre-print | ||
16:05 25mTalk | Building White-Box Abstractions by Program Refinement Onward! Papers DOI Pre-print | ||
16:30 25mTalk | Function Passing: A Model for Typed, Distributed Functional Programming Onward! Papers Heather MillerEcole Polytechnique Federale de Lausanne, Philipp HallerKTH Royal Institute of Technology, Normen Müller, Jocelyn BoullierEPFL, Jorge Vicente-CanteroEPFL DOI | ||
16:55 25mTalk | Extracting Code from Programming Tutorial Videos Onward! Papers DOI |
17:30 - 19:30 | |||
17:30 2hTalk | Wednesday Poster Reception Social Program |
Thu 3 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
08:30 - 10:00 | Keynote ThursdayKeynotes and Awards at Matterhorn 2 Chair(s): Yannis SmaragdakisUniversity of Athens | ||
08:30 20mAwards | OOPSLA AwardsAward Keynotes and Awards | ||
08:50 70mTalk | SPLASH 2016 Keynote: From DOT to Dotty -- Foundations and Types for Objects As ModulesKeynote Keynotes and Awards Media Attached |
10:30 - 12:10 | |||
10:30 25mTalk | Directed Synthesis of Failing Concurrent Executions OOPSLA Malavika SamakIndian Institute of Science, Bangalore, Omer TrippIBM Research, USA, Murali Krishna RamanathanIndian Institute of Science, Bangalore DOI Media Attached | ||
10:55 25mTalk | Maximal Causality Reduction for TSO and PSO OOPSLA DOI | ||
11:20 25mTalk | Stateless Model Checking with Data-Race Preemption Points OOPSLA DOI Pre-print Media Attached | ||
11:45 25mTalk | Precise and Maximal Race Detection from Incomplete Traces OOPSLA DOI Media Attached |
10:30 - 12:10 | Language Design and Programming Models IIOOPSLA at Matterhorn 2 Chair(s): Olivier TardieuIBM Research | ||
10:30 25mTalk | Automatic Enforcement of Expressive Security Policies using Enclaves OOPSLA DOI | ||
10:55 25mTalk | Chain: Tasks and Channels for Reliable Intermittent Programs OOPSLA DOI Pre-print | ||
11:20 25mTalk | GEMs: Shared-Memory Parallel Programming for Node.js OOPSLA Daniele BonettaOracle Labs, Luca SalucciUniversità della Svizzera italiana (USI), Stefan MarrJohannes Kepler University Linz, Walter BinderUniversity of Lugano DOI | ||
11:45 25mTalk | OrcO: A Concurrency-First Approach to Objects OOPSLA Arthur Michener PetersThe University of Texas at Austin, Texas, USA, David KitchinGoogle, Inc., John A. ThywissenThe University of Texas at Austin, William CookUT Austin DOI Pre-print |
10:30 - 12:10 | |||
10:30 50mTalk | Responsive Language Tooling For Cloud-based IDEs SPLASH-I Lennart KatsCloud9 Media Attached | ||
11:20 50mTalk | Simulating Cities: The Spacetime Framework SPLASH-I Crista LopesUniversity of California, Irvine Media Attached |
12:10 - 13:30 | |||
12:10 80mMeeting | SPLASH Steering Committee Meeting ORG |
13:30 - 15:10 | |||
13:30 25mTalk | Efficient and Thread-Safe Objects for Dynamically-Typed Languages 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 25mTalk | Hybrid STM/HTM for Nested Transactions on OpenJDK 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 25mTalk | Makalu: Fast Recoverable Allocation of Non-volatile Memory OOPSLA DOI Pre-print Media Attached | ||
14:45 25mTalk | Prioritized Garbage Collection: Explicit GC Support for Software Caches OOPSLA Diogenes NunezTufts University, Sam GuyerTufts University, Emery D. BergerUniversity of Massachusetts, Amherst DOI Pre-print Media Attached |
13:30 - 15:10 | |||
13:30 25mTalk | Semantic Subtyping for Imperative Object-Oriented Languages OOPSLA DOI | ||
13:55 25mTalk | Parsing with First-Class Derivatives OOPSLA Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany, Tillmann RendelUniversity of Tübingen, Germany, Klaus OstermannUniversity of Tübingen, Germany DOI | ||
14:20 25mTalk | The Missing Link: Explaining ELF Static Linking, Semantically OOPSLA Stephen KellUniversity of Cambridge, Dominic P. MulliganUniversity of Cambridge, Peter SewellUniversity of Cambridge DOI | ||
14:45 25mTalk | Type Soundness for Dependent Object Types (DOT) OOPSLA DOI Pre-print |
13:30 - 15:10 | |||
13:30 50mTalk | Exploratory Analysis in Virtual Reality: The New Frontier SPLASH-I Media Attached | ||
14:20 50mTalk | Truffle and Graal: Fast Programming Languages With Modest Effort SPLASH-I Media Attached |
15:40 - 17:20 | |||
15:40 25mTalk | Computing Repair Alternatives for Malformed Programs using Constraint Attribute Grammars OOPSLA Friedrich SteimannFernuniversität, Jörg HagemannFernuniversität in Hagen, Bastian UlkeFernuniversität in Hagen DOI Media Attached | ||
16:05 25mTalk | Probabilistic Model for Code with Decision Trees OOPSLA DOI | ||
16:30 25mTalk | Ringer: Web Automation by Demonstration OOPSLA Shaon BarmanUC Berkeley, Sarah E. ChasinsUniversity of California, Berkeley, Rastislav BodikUniversity of Washington, USA, Sumit GulwaniMicrosoft Research DOI Media Attached | ||
16:55 25mTalk | Scalable Verification of Border Gateway Protocol Configurations with an SMT Solver 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 |
15:40 - 16:30 | Session 3Onward! Papers at Matterhorn 2 Chair(s): Hidehiko MasuharaTokyo Institute of Technology, Japan | ||
15:40 25mTalk | Object Spreadsheets: A New Computational Model for End-User Development of Data-Centric Web Applications Onward! Papers DOI Pre-print Media Attached | ||
16:05 25mTalk | Moldable, Context-Aware Searching with Spotter Onward! Papers Andrei ChişUniversity of Bern, Switzerland, Tudor Gîrbafeenk.com, Juraj KubelkaUniversity of Chile, Oscar NierstraszUniversity of Bern, Switzerland, Stefan Reichhart, Aliaksei SyrelUniversity of Bern DOI |
15:40 - 17:20 | |||
15:40 50mTalk | Language Support for Distributed Systems SPLASH-I Heather MillerEcole Polytechnique Federale de Lausanne | ||
16:30 50mTalk | Pony: Co-designing a Type System and a Runtime SPLASH-I Sylvan ClebschImperial College London Media Attached |
15:40 - 17:20 | TalksStudent Research Competition at Winterthur Chair(s): Sam GuyerTufts University, Patrick LamUniversity of Waterloo, Canada | ||
15:40 1h40mTalk | Phase 3 Talks Student Research Competition |
17:30 - 18:30 | |||
17:30 5mMeeting | SPLASH Steering Committee Report Keynotes and Awards | ||
17:35 7mOther | SPLASH 2016 General Chair's Report Keynotes and Awards | ||
17:42 7mOther | Onward Program Chair's Report Keynotes and Awards | ||
17:49 16mOther | OOPSLA 2016 Program Chair's Report Keynotes and Awards | ||
18:05 5mAwards | SIGPLAN AwardsAward Keynotes and Awards | ||
18:10 20mMeeting | Proceedings of the ACM Keynotes and Awards |
19:30 - 22:30 | |||
Fri 4 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
08:30 - 10:00 | Keynote FridayKeynotes and Awards at Matterhorn 2 Chair(s): Emerson Murphy-HillGoogle, Crista LopesUniversity of California, Irvine | ||
08:30 10mDay opening | SPLASH 2017 Keynotes and Awards | ||
08:40 5mAwards | Onward! Most Notable Paper AwardAward Keynotes and Awards | ||
08:45 10mAwards | Student AwardsAward Keynotes and Awards | ||
08:55 65mTalk | SPLASH 2016 Keynote: A Human View of Programming LanguagesKeynote Keynotes and Awards Amy KoUniversity of Washington Media Attached |
10:30 - 12:10 | Typing, in PracticeOOPSLA at Matterhorn 1 Chair(s): Sebastian ErdwegDelft University of Technology, Netherlands | ||
10:30 25mTalk | A Practical Framework for Type Inference Error Explanation OOPSLA Calvin LoncaricUniversity of Washington, Satish ChandraSamsung Research America, Manu SridharanSamsung Research America, Cole SchlesingerSamsung Research America DOI Pre-print Media Attached | ||
10:55 25mTalk | Dynamically Diagnosing Type Errors in Unsafe Code OOPSLA Stephen KellUniversity of Cambridge DOI Media Attached | ||
11:20 25mTalk | First-Class Effect Reflection for Effect-Guided Programming OOPSLA DOI | ||
11:45 25mTalk | Java and Scala's Type Systems are Unsound: The Existential Crisis of Null Pointers OOPSLA Link to publication DOI Pre-print |
10:30 - 12:10 | |||
10:30 25mTalk | Exploring the Role of Sequential Computation in Distributed Systems: Motivating a Programming Paradigm Shift Onward! Papers DOI | ||
10:55 25mTalk | Gramada: Immediacy in Programming Language Development Onward! Papers DOI | ||
11:20 25mTalk | Helping Johnny Encrypt: Toward Semantic Interfaces for Cryptographic Frameworks Onward! Papers Soumya IndelaUniversity of Maryland at College Park, Mukul KulkarniUniversity of Maryland at College Park, Kartik NayakUniversity of Maryland at College Park, Tudor DumitrasUniversity of Maryland at College Park DOI | ||
11:45 25mTalk | Leveraging a Corpus of Natural Language Descriptions for Program Similarity Onward! Papers DOI |
10:30 - 12:10 | |||
10:30 50mTalk | Stencils: Graphical User Interfaces in Ensō SPLASH-I William CookUT Austin Media Attached | ||
11:20 50mTalk | Rapid Development of Web Applications with Typed Metaprogramming in Ur/Web SPLASH-I Adam ChlipalaMIT CSAIL Media Attached |
12:10 - 13:30 | |||
12:10 80mMeeting | SPLASH 2017 Organizing Committee Meeting ORG |
13:30 - 15:10 | Bug Detection Analysis and Model CheckingOOPSLA at Matterhorn 1 Chair(s): Ben LivshitsMicrosoft Research | ||
13:30 25mTalk |