SPLASH 2016 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (971)

A Aharon AbadiAbadi, Aharon IBM Research Committee Member in Steering Committee within the Mobile!-track
Ahmed Abdel MoamenAbdel Moamen, Ahmed University of Saskatchewan Canada Supporting Resource Bounded Multitenancy in Akka
Umut A. AcarAcar, Umut A. Carnegie Mellon University Committee Member in Program Committee within the REBLS-track
Rohan AcharAchar, Rohan University of California, IrvineUnited States Programme Committee in Program Committee within the SPLASH OOPSLA Artifacts-track
Sorin AdamAdam, Sorin Conpleks Innovation Automatic Code Generation in Practice: Experiences with Embedded Robot Controllers
Ademola Peter AdejokunAdejokun, Ademola Peter Lockheed Martin Aeronautics Company Committee Member in Program Committee within the SPLASH Student Research Competition-track
Mehrdad AfshariAfshari, Mehrdad Vivibe LLCUnited States Building White-Box Abstractions by Program Refinement
Gul AghaAgha, Gul University of Illinois at Urbana-Champaign Programme Committee in Program Committee within the AGERE-track
Alex AikenAiken, Alex Stanford University Dependent Partitioning
Robert AishAish, Robert Bartlett School of Architecture, UCL DesignScript: a scalable multi-paradigm domain-specific end-user language and modelling environment for architectural computation
Shoaib AkramAkram, Shoaib Ghent UniversityBelgium Programme Committee in Program Committee within the SPLASH OOPSLA Artifacts-track
Mustafa Al-HajjajiAl-Hajjaji, Mustafa Magdeburg University Fine-Grained Test Case Prioritization for Integration Testing of Delta-Oriented Software Product Lines IncLing: Efficient Product-Line Testing Using Incremental Pairwise Sampling Tool Demo: Testing Configurable Systems with FeatureIDE
Ahmad Salim Al-SibahiAl-Sibahi, Ahmad Salim IT University of Copenhagen, DenmarkDenmark Symbolic Execution of High-Level Transformations
Omar AlamAlam, Omar Trent UniversityCanada Delaying Decisions in Variable Concern Hierarchies
Lilliam I Gonzalez AlayonAlayon, Lilliam I Gonzalez Purdue UniversityPuerto Rico Gentrification Gone too Far? Affordable 2nd-Class Values for Fun and (Co-)Effect
Jonathan AldrichAldrich, Jonathan Carnegie Mellon University SPLASH 2015 General Chair in Steering Committee for SPLASH 2016 Session Chair of Semantics and Verification (part of SPLASH OOPSLA) Naturally Embedded DSLs Delegation Revisited Capability Safe Reflection for the Wyvern Language Demonstration: Modularly Parsing Naturally Embedded DSLs in Wyvern Programmable Semantic Fragments: The Design and Implementation of typy Committee Member in Program Committee within the SPLASH OOPSLA-track
Juliana Alves PereiraAlves Pereira, Juliana University of Magdeburg A Feature-Based Personalized Recommender System for Product-Line Configuration
Vander AlvesAlves, Vander University of BrasiliaBrazil Committee Member in Program Committee within the FOSD-track
Nada AminAmin, Nada EPFLSwitzerland Generative Programming: from High-Performance to Safety-Critical Applications Java and Scala's Type Systems are Unsound: The Existential Crisis of Null Pointers Type Soundness for Dependent Object Types (DOT) Panel: Young Researchers Committee Member in Program Committee within the Scala-track
Sofia AnanievaAnanieva, Sofia FZI Research Center for Information TechnologyGermany Implicit Constraints in Partial Feature Models Explaining Anomalies in Feature Models
Davide AnconaAncona, Davide University of Genova Semantic Subtyping for Imperative Object-Oriented Languages Steering Committee Member in Steering Committee within the DLS-track ERC member in External Program Committee within the SPLASH OOPSLA-track
Esben AndreasenAndreasen, Esben Aarhus UniversityDenmark Programme Committee in Program Committee within the SPLASH OOPSLA Artifacts-track
Anthony AnjorinAnjorin, Anthony University of Paderborn, Germany Committee Member in Artifact Evaluation Committee within the SLE-track
Craig AnslowAnslow, Craig Middlesex University, UKUnited Kingdom Workshops Co-Chair in Organizing Committee for SPLASH 2016 Session Chair of Session 13 (Languages) (part of SPLASH -I) Session Chair of Session 3 (part of PLATEAU) Hacking with Multi-touch for Java (MT4j) Committee Member in Organizing Committee within the PLATEAU-track Workshops Co-Chair in Organizing Committee within the SPLASH Workshops-track
Tomoyuki AotaniAotani, Tomoyuki Tokyo Institute of Technology Towards Automatic Decoration
Sven ApelApel, Sven University of Passau Committee Member in Steering Committee within the FOSD-track
Guido AraujoAraujo, Guido University of Campinas (UNICAMP)Brazil Committee Member in Program Committee within the SEPS-track
Jaime AriasArias, Jaime INRIA Grenoble Rhône-AlpesFrance A Reactive Interpretation of Session-Based Concurrency (In Progress Paper)
Steven ArztArzt, Steven TU Darmstadt, GermanyGermany Making Malory Behave Maliciously: Targeted Fuzzing of Android Applications
Kenichi AsaiAsai, Kenichi Ochanomizu UniversityJapan Committee Member in Program Committee within the GPCE-track
Uwe AßmannAßmann, Uwe TU Dresden, Germany FRaMED: Full-Fledge Role Modeling Editor (Tool Demo)
Joanne M. AtleeAtlee, Joanne M. University of Waterloo, Canada BSML-mbeddr: Integrating Semantically Configurable State-Machine Models in a C Programming Environment
Ehsan AtoofianAtoofian, Ehsan Lakehead University, CA Committee Member in Program Committee within the SEPS-track
Iman AvazpourAvazpour, Iman Deakin UniversityAustralia Committee Member in Program Committee within the DSLDI-track
Tanzirul AzimAzim, Tanzirul University of California at Riverside, USABangladesh Finding Resume and Restart Errors in Android Applications Programme Committee in Program Committee within the SPLASH OOPSLA Artifacts-track
B Paul BabuckeBabucke, Paul University of Duisburg-Essen 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
Casper Bach PoulsenBach Poulsen, Casper Delft University of Technology Panel: Young Researchers
Christoph Tobias BachBach, Christoph Tobias Karlsruhe Institute of Technology, Vincenz-Priessnitz-Str. 1, Karlsruhe, Germany libDSU: Towards Hot-Swapping Dynamically Linked Libraries on Stock Linux
David BaconBacon, David Google ERC member in External Program Committee within the SPLASH OOPSLA-track
Anya Helene BaggeBagge, Anya Helene University of Bergen, NorwayNorway Committee Member in Program Committee within the ITSLE-track Committee Member in Program Committee within the GPCE-track Committee Member in Program Committee within the SLE-track
Ebrahim BagheriBagheri, Ebrahim Ryerson University Committee Member in Program Committee within the FOSD-track
Mehdi BagherzadehBagherzadeh, Mehdi Iowa State University Committee Member in Program Committee within the REBLS-track
Zeljko BajicBajic, Zeljko Serbia and Montenegro Towards a Scala embedded information system description DSL
Emilie BallandBalland, Emilie Sensational AGSwitzerland SLE Program Chair in Organizing Committee for SPLASH 2016 Opening Awards Program Chair in Organizing Committee within the SLE-track Program Co-Chair in Program Committee within the SLE-track
Anindya BanerjeeBanerjee, Anindya IMDEA Software Institute Hoare-Style Specifications as Correctness Conditions for Non-linearizable Concurrent Objects
Olivier BaraisBarais, Olivier Automatic Non-functional Testing of Code Generators Families
Souvik BaratBarat, Souvik Actor Monitors for Adaptive Behaviour
Ankica BarisicBarisic, Ankica FCT / Universidade Nova de LisboaPortugal Committee Member in Program Committee within the DSM-track
Shaon BarmanBarman, Shaon UC Berkeley Ringer: Web Automation by Demonstration
Balbir BarnBarn, Balbir Actor Monitors for Adaptive Behaviour
Niall BarrBarr, Niall University of GlasgowUnited Kingdom Solutions to Three Language Workbench Challenges using Wizards Workbench
Henrik BarthelsBarthels, Henrik RWTH Aachen The Matrix Chain Algorithm to Compile Linear Algebra Expressions A Compiler for Linear Algebra Operations
Regina BarzilayBarzilay, Regina MIT sk_p: a neural program corrector for MOOCs
Don BatoryBatory, Don University of Texas, AustinUnited States Committee Member in Steering Committee within the FOSD-track
Mark BattyBatty, Mark University of Kent Portable Inter-workgroup Barrier Synchronisation for GPUs Committee Member in Program Committee within the SPLASH Doctoral Symposium-track
Benoit BaudryBaudry, Benoit Automatic Non-functional Testing of Code Generators Families
Michael BauerBauer, Michael NVIDIA Research Dependent Partitioning
Rohan BavishiBavishi, Rohan IIT Kanpur, IndiaIndia Regression Aware Debugging for Mobile Applications To Be Precise: Regression Aware Debugging
Felipe Bañados SchwerterBañados Schwerter, Felipe University of British Columbia, Canada Side Effects Take the Blame
Benjamin BehringerBehringer, Benjamin University of Luxembourg, Germany Implementing Delta-Oriented SPLs using PEoPL: An Example Scenario and Case Study
Jonathan BellBell, Jonathan Columbia UniversityUnited States Programme Committee in Program Committee within the SPLASH OOPSLA Artifacts-track
Amine BenelallamBenelallam, Amine Efficient Model Partitioning for Distributed Model Transformations
Siegfried BenknerBenkner, Siegfried University of Vienna, Austria Committee Member in Program Committee within the SEPS-track
Christian BergBerg, Christian Martin-Luther-University Halle-Wittenberg A Domain Specific Language for Optimal Pumping Systems
Alexandre BergelBergel, Alexandre University of ChileChile Does Live Programming Help Program Comprehension? -- A user study with Live Robot Programming
Federico BergentiBergenti, Federico University of Parma, Italy Interaction Protocols in the JADEL Programming Language
Christian BergerBerger, Christian University of GothenburgSweden Committee Member in Program Committee within the DSM-track
Emery D. BergerBerger, Emery D. University of Massachusetts, AmherstUnited States Prioritized Garbage Collection: Explicit GC Support for Software Caches Committee Member in Program Committee within the SPLASH OOPSLA-track
Thorsten BergerBerger, Thorsten Chalmers University of Technology, Sweden Towards Predicting Feature Defects in Software Product Lines Keynote: Perspectives of Projection-Based Variation Control Systems Efficient Development of Consistent Projectional Editors using Grammar Cells
Maicon BernardinoBernardino, Maicon UFCSPA, Brazil Committee Member in Program Committee within the DSM-track
Lorenzo BettiniBettini, Lorenzo Dipartimento di Statistica, Informatica, Applicazioni ‘Giuseppe Parenti’ (DISIA) Committee Member in Program Committee within the LWC@SLE-track
Kumud BhandariBhandari, Kumud Rice University, USAUnited States Managing Persistent Heap in NVRAM Makalu: Fast Recoverable Allocation of Non-volatile Memory
Aggelos BiboudisBiboudis, Aggelos University of AthensGreece Recaf: Java Dialects as Libraries Co-chair in Organizing Committee within the Scala-track
Robert BiddleBiddle, Robert Carleton University, CanadaCanada Hacking with Multi-touch for Java (MT4j) Committee Member in Program Committee within the Onward! Essays-track
Pavol BielikBielik, Pavol Probabilistic Model for Code with Decision Trees
Paolo BientinesiBientinesi, Paolo Program Generation for Linear Algebra Using Multiple Layers of DSLs The Matrix Chain Algorithm to Compile Linear Algebra Expressions
Kay BierzynskiBierzynski, Kay TU Dresden, Germany FRaMED: Full-Fledge Role Modeling Editor (Tool Demo)
Walter BinderBinder, Walter University of Lugano Actor Profiling in Virtual Execution Environments GEMs: Shared-Memory Parallel Programming for Node.js Committee Member in Program Committee within the GPCE-track Committee Member in Program Committee within the RUMPLE-track Committee Member in Program Committee within the SPLASH Student Research Competition-track
Judith BishopBishop, Judith Microsoft ResearchUnited States Committee Member in Steering Committee within the Mobile!-track
Andrew BlackBlack, Andrew Portland State UniversityUnited States SPLASH 2014 General Chair in Steering Committee for SPLASH 2016 Committee Member in Steering Committee for Onward! 2016 The Essence of Inheritance The Left Hand of Equals Why Programming Languages Matter
Steve BlackburnBlackburn, Steve Australian National University Australia SPLASH-E Co-Chair in Organizing Committee for SPLASH 2016 Session Chair of 1. Basics & Context (part of SPLASH -E) Session Chair of 3. Which Concepts to Teach? (part of SPLASH -E) Committee Member in Steering Committee within the VMIL-track Co-chair in Program Committee within the SPLASH -E-track
Alan BlackwellBlackwell, Alan University of CambridgeUnited Kingdom PLATEAU Keynote: How to Design a Programming Language
Volodymyr BlagodarovBlagodarov, Volodymyr Raincode, Belgium Raincode Assembler Compiler (Tool Demo)
Sandrine BlazyBlazy, Sandrine IRISA / University of Rennes 1 Session Chair of Session 3 (part of SPLASH PLMW) Session Chair of Reception (part of SPLASH PLMW) Session Chair of Session 1 (part of SPLASH PLMW) PLMW Co-Chair in Organizing Committee within the SPLASH PLMW-track Committee Member in Program Committee within the GPCE-track
Kelly BlincoeBlincoe, Kelly University of AucklandNew Zealand Committee Member in Program Committee within the PLATEAU-track
Ben BlumBlum, Ben Carnegie Mellon University Stateless Model Checking with Data-Race Preemption Points
Christoph BockischBockisch, Christoph Philipps-Universität MarburgNetherlands Committee Member in Steering Committee within the VMIL-track
Rastislav BodíkBodík, Rastislav University of Washington, USASlovakia Automatically finding Scala soundness bugs Ringer: Web Automation by Demonstration Committee Member in Program Committee within the GPCE-track
Hans-J. BoehmBoehm, Hans-J. Google Makalu: Fast Recoverable Allocation of Non-volatile Memory ERC member in External Program Committee within the SPLASH OOPSLA-track
Meinte BoersmaBoersma, Meinte Mendix Session Chair of Session 1 (part of LWC@SLE) Session Chair of Discussion (part of LWC@SLE) Committee Member in Organizing Committee within the LWC@SLE-track
Christopher BogartBogart, Christopher Carnegie Mellon UniversityUnited States Committee Member in Program Committee within the DSLDI-track
CF Bolz-TereickBolz-Tereick, CF King's College London Committee Member in Program Committee within the DLS-track Steering Committee Chair in Steering Committee within the DLS-track Committee Member in Program Committee within the SPLASH Posters-track Committee Member in Program Committee within the RUMPLE-track
Michael D. BondBond, Michael D. Ohio State University Artefact Evaluation Co-Chair in Organizing Committee for SPLASH 2016 OOPSLA Awards Artifact Evaluation Co-Chair in Program Committee within the SPLASH OOPSLA Artifacts-track ERC member in External Program Committee within the SPLASH OOPSLA-track
Daniele BonettaBonetta, Daniele Oracle Labs GEMs: Shared-Memory Parallel Programming for Node.js Efficient and Thread-Safe Objects for Dynamically-Typed Languages
Viviana BonoBono, Viviana University of Torino Committee Member in Program Committee within the SPLASH Doctoral Symposium-track
Rafael BordiniBordini, Rafael PUCRSBrazil Agent-Oriented Programming Programme Committee in Program Committee within the AGERE-track
Rafael H. BordiniBordini, Rafael H. PUCRS, Brazil Conflicting Goals in Agent-Oriented Programming
Jaume BoschBosch, Jaume Barcelona Supercomputing Center SEPS Tutorial: Task-Based Programming Everywhere from Supercomputing to Embedded Multicore Systems
Joost BosmanBosman, Joost ING Bank Solving the Bank with Rebel
Jocelyn BoullierBoullier, Jocelyn EPFL Function Passing: A Model for Typed, Distributed Functional Programming
Noury BouraqadiBouraqadi, Noury Mines Douai Instance Migration in Dynamic Software Update
Mohamed BoussaaBoussaa, Mohamed INRIA RennesFrance Automatic Non-functional Testing of Code Generators Families
Erwan BousseBousse, Erwan TU Vienna, AustriaFrance Execution Framework of the GEMOC Studio (Tool Demo)
John BoylandBoyland, John University of Wisconsin, Milwaukee ERC member in External Program Committee within the SPLASH OOPSLA-track
Gilad BrachaBracha, Gilad GoogleIsrael Session Chair of Session 2 (part of DLS) Reflection in Dart: A Cautionary Experience Committee Member in Program Committee within the DLS-track Keynote Speaker in Keynote within the META-track Committee Member in Program Committee within the SPLASH OOPSLA-track
Jonathan Immanuel BrachthäuserBrachthäuser, Jonathan Immanuel University of Tübingen, Germany Revisiting the Cake Pattern: Scaling “Scalable Component Abstractions” Parsing with First-Class Derivatives
Jeremy BradburyBradbury, Jeremy University of Ontario Institute of Technology, CanadaCanada Committee Member in Program Committee within the SEPS-track
Edwin BradyBrady, Edwin University of St Andrews Type-driven Development in Idris Committee Member in Program Committee within the Onward! Papers-track
Marco BrambillaBrambilla, Marco Politecnico di Milano, ItalyItaly A Model-Based Method for Seamless Web and Mobile Experience Committee Member in Program Committee within the Mobile!-track Committee Member in Program Committee within the DSM-track
Stephan BrandauerBrandauer, Stephan Uppsala UniversitySweden Programme Committee in Program Committee within the SPLASH OOPSLA Artifacts-track
Larissa BrazBraz, Larissa Federal University of Campina Grande A Change-Centric Approach to Compile Configurable Systems with #ifdefs An Approach to Compile Configurable Systems with #ifdefs Based on Impact Analysis
Rob BrennanBrennan, Rob Trinity College Dublin, IrelandIreland Organizing Committee in Organizing Committee within the SA-MDE-track
Ruth BreuBreu, Ruth University of InnsbruckAustria Committee Member in Program Committee within the SLE-track
Kim BruceBruce, Kim Pomona CollegeUnited States The Left Hand of Equals Committee Member in Steering Committee within the SPLASH -E-track
Bernd BrueggeBruegge, Bernd TU MunichGermany Committee Member in Steering Committee for Onward! 2016
Lucas BrutschyBrutschy, Lucas ETH ZurichSwitzerland Committee Member in Program Committee within the Mobile!-track
lucas brutschybrutschy, lucas ETH Zurich Committee Member in Program Committee within the Mobile!-track
Scott BuckleyBuckley, Scott Macquarie University, AustraliaAustralia The sbt-rats Parser Generator Plugin for Scala (Tool Paper) Using Scala’s pattern matching features for an attribute grammar formalisation of the CSS layout specification Specifying CSS Layout with Reference Attribute Grammars
William E. ByrdByrd, William E. University of Utah, USAUnited States A Small Embedding of Logic Programming with a Simple Complete Search
C Jordi CabotCabot, Jordi Open University of Catalonia, Spain Session Chair of Domain-Specific Languages (part of SLE) Runtime Support for Rule-Based Access-Control Evaluation through Model-Transformation Efficient Model Partitioning for Distributed Model Transformations Committee Member in Program Committee within the SLE-track
Joseph CaldwellCaldwell, Joseph University of Tokyo Reducing Procedure Call Bloat in ARM Binaries Reducing Procedure Call Bloat in ARM Binaries
Miguel CampusanoCampusano, Miguel DCC, Universidad de ChileChile Does Live Programming Help Program Comprehension? -- A user study with Live Robot Programming
Mauricio CanoCano, Mauricio A Reactive Interpretation of Session-Based Concurrency (In Progress Paper)
Michael CarbinCarbin, Michael MIT Committee Member in Program Committee within the SPLASH OOPSLA-track
Nicolás CardozoCardozo, Nicolás Universidad de los AndesColombia Emergent Software Services
Jeff CarverCarver, Jeff University of AlabamaUnited States Committee Member in Program Committee within the PLATEAU-track Committee Member in Program Committee within the SEPS-track
Roberto CasadeiCasadei, Roberto Programming Actor-based Collective Adaptive Systems
Roberto CasadeiCasadei, Roberto University of Bologna, ItalyItaly Practical Aggregate Programming in Scala
Franck CassezCassez, Franck Macquarie University, Australia The sbt-rats Parser Generator Plugin for Scala (Tool Paper)
Elias CastegrenCastegren, Elias Uppsala UniversitySweden Programme Committee in Program Committee within the SPLASH OOPSLA Artifacts-track
Paolina CentonzeCentonze, Paolina Iona CollegeItaly Committee Member in Program Committee within the Mobile!-track
Emmanuel ChaillouxChailloux, Emmanuel UPMC, France Synchronous-Reactive Web Programming
Dhruva ChakrabartiChakrabarti, Dhruva Makalu: Fast Recoverable Allocation of Non-volatile Memory
Mandar ChandorkarChandorkar, Mandar Centrum Wiskunde & InformaticaNetherlands DynaML: A Scala machine learning environment
Kartik ChandraChandra, Kartik Henry M. Gunn High School Automatically finding Scala soundness bugs
Satish ChandraChandra, Satish Samsung Research America A Practical Framework for Type Inference Error Explanation Type Inference for Static Compilation of JavaScript
Bor-Yuh Evan ChangChang, Bor-Yuh Evan University of Colorado Boulder A Vision for Online Verification-Validation
David ChangChang, David Grinnell College, USAUnited States Scrambler: Dynamic Layout Adaptation
Keith ChapmanChapman, Keith Purdue UniversityUnited States Extending OpenJDK To Support Hybrid STM/HTM Hybrid STM/HTM for Nested Transactions on OpenJDK
Guido ChariChari, Guido University of Buenos Aires, ArgentinaArgentina Building Efficient and Highly Run-Time Adaptable Virtual Machines
Dominik CharoussetCharousset, Dominik Reconsidering Reliability in Distributed Actor Systems
Sarah E. ChasinsChasins, Sarah E. University of California, Berkeley Ringer: Web Automation by Demonstration
Marsha ChechikChechik, Marsha University of Toronto Committee Member in Program Committee within the SLE-track
Natalia ChechinaChechina, Natalia University of Glasgow Programme Committee in Program Committee within the AGERE-track
Lydia Y. ChenChen, Lydia Y. IBM Research Lab Zurich Actor Profiling in Virtual Execution Environments
Albert M. K. ChengCheng, Albert M. K. University of HoustonUnited States Committee Member in Program Committee within the REBLS-track
Jessica CherayilCherayil, Jessica Wellesley College, USA PixelDust: Supporting Dynamic Area of Interest Tagging in Programming Studies with Eye Tracking
Shigeru ChibaChiba, Shigeru University of Tokyo Session Chair of Security & Capability-based Designs (part of META) Session Chair of Generative Programming I (part of GPCE) Committee Member in Organizing Committee within the META-track Committee Member in Program Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the GPCE-track Committee Member in Program Committee within the REBLS-track Committee Member in Program Committee within the Scala-track
Wei-Ngan ChinChin, Wei-Ngan National University of SingaporeSingapore Committee Member in Program Committee within the SPLASH OOPSLA-track
Andrei ChişChiş, Andrei University of Bern, Switzerland Moldable, Context-Aware Searching with Spotter Towards Object-Aware Development Tools Publicity Chair in Organizing Committee within the SLE-track
Adam ChlipalaChlipala, Adam MIT CSAILUnited States Session Chair of Principles, Across the Compilation Stack (part of SPLASH OOPSLA) Rapid Development of Web Applications with Typed Metaprogramming in Ur/Web
Young-il ChoiChoi, Young-il Samsung Electronics Type Inference for Static Compilation of JavaScript
Stephen ChongChong, Stephen Harvard UniversityUnited States Automatic Enforcement of Expressive Security Policies using Enclaves Extensible Access Control with Authorization Contracts Committee Member in Program Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the SPLASH Workshops-track
Rezaul ChowdhuryChowdhury, Rezaul Stony Brook University Deriving Divide-and-Conquer Dynamic Programming Algorithms using Solver-Aided Transformations
Tommy Aagaard ChristensenChristensen, Tommy Aagaard Aalborg University, Denmark Discount Method for Programming Language Evaluation
Benjamin ChungChung, Benjamin Carnegie Mellon University Static Typing Without Static Types - Typing Inheritance from the Bottom Up
Paolo CiancariniCiancarini, Paolo University of Bologna Committee Member in Program Committee within the Mobile!-track
Jürgen CitoCito, Jürgen University of ZurichAustria Using Docker Containers to Improve Reproducibility in PL/SE Research
Sylvan ClebschClebsch, Sylvan Imperial College London Pony: Co-designing a Type System and a Runtime Programme Committee in Program Committee within the SPLASH OOPSLA Artifacts-track Committee Member in Organizing Committee within the AGERE-track
Loek CleophasCleophas, Loek Eindhoven University of TechnologyNetherlands MADFAct—Constructing Dictionaries Committee Member in Program Committee within the FOSD-track Committee Member in Organizing Committee within the Parsing@SLE-track
Yvonne CoadyCoady, Yvonne University of VictoriaCanada Committee Member in Steering Committee for Onward! 2016 Exploratory Analysis in Virtual Reality: The New Frontier Committee Member in Program Committee within the SPLASH Workshops-track
Alexei ColinColin, Alexei Carnegie Mellon University Chain: Tasks and Channels for Reliable Intermittent Programs
Philippe ColletCollet, Philippe University of Nice Delaying Decisions in Variable Concern Hierarchies
Rem CollierCollier, Rem University College DublinUnited Kingdom Agent-Oriented Programming Programme Committee in Program Committee within the AGERE-track
Benoit CombemaleCombemale, Benoit University of Rennes 1, France Closing & Outlook to SLE'17 Execution Framework of the GEMOC Studio (Tool Demo)
William CookCook, William UT Austin OrcO: A Concurrency-First Approach to Objects Stencils: Graphical User Interfaces in Ensō
Tim CoppietersCoppieters, Tim Vrije Universiteit Brussel, Belgium I Now Pronounce You Reactive and Consistent: Handling Distributed and Replicated State in Reactive Programming Shared State for Actors: Pass-By-Replication Semantics
Jonathan CorleyCorley, Jonathan University of West Georgia, USAUnited States Committee Member in Program Committee within the DSM-track
Andrea CorradiCorradi, Andrea Semantic Subtyping for Imperative Object-Oriented Languages
Frank CoyleCoyle, Frank SMU Knowledge-Based Support for Domain Specific Language Generation
Angelo CroattiCroatti, Angelo University of BolognaItaly An Extension of AgentSpeak(L) and Jason Tailored to Programming and Software Development
Karl CronburgCronburg, Karl Tufts UniversityUnited States Programme Committee in Program Committee within the SPLASH OOPSLA Artifacts-track
Ryan CulpepperCulpepper, Ryan Northeastern University Languages the Racket Way: Submission to the 2016 Language Workbench Challenge
Krzysztof CzarneckiCzarnecki, Krzysztof University of Waterloo, CanadaCanada Towards Predicting Feature Defects in Software Product Lines Committee Member in Steering Committee within the FOSD-track
Javier Luis Cánovas IzquierdoCánovas Izquierdo, Javier Luis IN3 - UOCSpain Committee Member in Artifact Evaluation Committee within the SLE-track Committee Member in Program Committee within the DSM-track
D Yanja DajsurenDajsuren, Yanja Eindhoven University of Technology, The Netherlands Session Chair of Industrial DSLs and tools (part of ITSLE) Committee Member in Organizing Committee within the ITSLE-track
Tamer DallouDallou, Tamer LG Electronics San Jose Lab Session Chair of Session 2 (part of SEPS) SEPS Tutorial: Task-Based Programming Everywhere from Supercomputing to Embedded Multicore Systems
Benoit DalozeDaloze, Benoit JKU Linz, AustriaBelgium Cross-Language Compiler Benchmarking: Are We Fast Yet? Efficient and Thread-Safe Objects for Dynamically-Typed Languages
Ferruccio DamianiDamiani, Ferruccio University of TurinItaly Committee Member in Program Committee within the FOSD-track
Andrei Marian DanDan, Andrei Marian ETH ZurichRomania Modeling and Analysis of Remote Memory Access Programming
Marco DaneluttoDanelutto, Marco University of Pisa, Italy A Divide-and-Conquer Parallel Pattern Implementation for Multicores
Eva DarulovaDarulova, Eva MPI-SWS, Germany Committee Member in Program Committee within the Scala-track
Mehdi DastaniDastani, Mehdi Agent-Oriented Programming
Joeri De KosterDe Koster, Joeri Vrije Universiteit Brussel, Belgium Shared State for Actors: Pass-By-Replication Semantics 43 Years of Actors: A Taxonomy of Actor Models and Their Key Properties Dependence-Driven Delimited CPS Transformation for JavaScript
Juan de Larade Lara, Juan Autonomous University of Madrid, SpainSpain Efficient Model Partitioning for Distributed Model Transformations Committee Member in Program Committee within the DSM-track
Tiziano De MatteisDe Matteis, Tiziano University of Pisa, Italy A Divide-and-Conquer Parallel Pattern Implementation for Multicores
Wolfgang De MeuterDe Meuter, Wolfgang Vrije Universiteit Brussel, BelgiumBelgium I Now Pronounce You Reactive and Consistent: Handling Distributed and Replicated State in Reactive Programming A model for Reflection in Rule-Based Languages Just-in-Time Inheritance: A Dynamic and Implicit Multiple Inheritance Mechanism Shared State for Actors: Pass-By-Replication Semantics Many Spiders Make a Better Web: A Unified Web-Based Actor Framework 43 Years of Actors: A Taxonomy of Actor Models and Their Key Properties Dependence-Driven Delimited CPS Transformation for JavaScript Building a Modular Static Analysis Framework in Scala (Tool Paper) Committee Member in Program Committee within the Mobile!-track Committee Member in Organizing Committee within the REBLS-track Committee Member in Program Committee within the SPLASH Workshops-track
Pablo de Oliveira Castrode Oliveira Castro, Pablo University of Versailles, France Committee Member in Program Committee within the SEPS-track
Coen De RooverDe Roover, Coen Vrije Universiteit Brussel, BelgiumBelgium Session Chair of Session 12 (part of SPLASH -I) Improving Trace-based JIT Optimisation using Whole-Program Information Dependence-Driven Delimited CPS Transformation for JavaScript Building a Modular Static Analysis Framework in Scala (Tool Paper) Committee Member in Program Committee within the SPLASH Doctoral Symposium-track
Borja Arnau de Régil Basáñezde Régil Basáñez, Borja Arnau IMDEA Software InstituteSpain Dynamic Path Contraction for Distributed Dataflow Languages
Luis Eduardo de Souza Amorimde Souza Amorim, Luis Eduardo Delft University of Technology, NetherlandsNetherlands Bootstrapping, Default Formatting, and Skeleton Editing in the Spoofax Language Workbench Disambiguation for SDF3 with Deep Priority Conflicts Principled Syntactic Code Completion using Placeholders
Mattias De WaelDe Wael, Mattias Vrije Universiteit Brussel, Belgium Just-in-Time Inheritance: A Dynamic and Implicit Multiple Inheritance Mechanism
Julien DeAntoniDeAntoni, Julien Execution Framework of the GEMOC Studio (Tool Demo)
Thomas DegueuleDegueule, Thomas Inria, FranceFrance Execution Framework of the GEMOC Studio (Tool Demo) Committee Member in Artifact Evaluation Committee within the SLE-track
Germán Andrés DelbiancoDelbianco, Germán Andrés IMDEA Software InstituteSpain Hoare-Style Specifications as Correctness Conditions for Non-linearizable Concurrent Objects
Camil DemetrescuDemetrescu, Camil Sapienza University RomeItaly Committee Member in Program Committee within the REBLS-track
Joachim DenilDenil, Joachim University of Antwerp, Belgium Automated Testing Support for Reactive Domain-Specific Modelling Languages
Marcus DenkerDenker, Marcus INRIA LilleFrance Committee Member in Program Committee within the DLS-track Committee Member in Program Committee within the META-track Committee Member in Program Committee within the SLE-track
Ewen DenneyDenney, Ewen NASA Ames Research Center Committee Member in Program Committee within the GPCE-track
Travis DesellDesell, Travis University of North DakotaUnited States Committee Member in Organizing Committee within the AGERE-track
Zachary DeVitoDeVito, Zachary Stanford, USAUnited States Committee Member in Program Committee within the DLS-track
Dominique DevrieseDevriese, Dominique iMinds - Distrinet, KU LeuvenBelgium Committee Member in Program Committee within the REBLS-track
Davide Di RuscioDi Ruscio, Davide University of L'AquilaItaly Committee Member in Program Committee within the SLE-track
Werner DietlDietl, Werner University of WaterlooCanada Committee Member in Program Committee within the SPLASH Workshops-track
Christian DietrichDietrich, Christian Towards Scalable Configuration Testing in Variable Software
Will DietzDietz, Will University of Illinois at Urbana-ChampaignUnited States Programme Committee in Program Committee within the SPLASH OOPSLA Artifacts-track
Işıl DilligDillig, Işıl UT Austin Committee Member in Program Committee within the SPLASH OOPSLA-track
Jonathan DiLorenzoDiLorenzo, Jonathan Cornell University Incremental Forest: A DSL for Efficiently Managing Filestores
Christos DimoulasDimoulas, Christos Harvard University Extensible Access Control with Authorization Contracts
Aleksandar S. DimovskiDimovski, Aleksandar S. IT University of Copenhagen, Denmark Symbolic Execution of High-Level Transformations
Christian DirschlDirschl, Christian Wolters Kluwer, GermanyGermany The ALIGNED vision Organizing Committee in Organizing Committee within the SA-MDE-track
Tim DisneyDisney, Tim Virtual Values for Taint and Information Flow Analysis
Sébastien DoeraeneDoeraene, Sébastien EPFL, SwitzerlandSwitzerland Session Chair of Reactive, Concurrent, Distributed Computation \| Parsing (part of Scala) Semantics-Driven Interoperability between Scala.js and JavaScript Parallel Incremental Whole-Program Optimizations for Scala.js Committee Member in Program Committee within the Scala-track
Julian DolbyDolby, Julian IBM ResearchUnited States ERC member in External Program Committee within the SPLASH OOPSLA-track
Jörg DomaschkaDomaschka, Jörg Ulm University, Germany Experiences of Models@run-time with EMF and CDO
Alastair F. DonaldsonDonaldson, Alastair F. Imperial College LondonUnited Kingdom Metamorphic Testing for Compilers and Program Analysers Portable Inter-workgroup Barrier Synchronisation for GPUs
Will DormannDormann, Will CERT/CC, USA Google Authentication Risks on iOS
Zoé DreyDrey, Zoé ENSTA Bretagne, France Object-Oriented Design Pattern for DSL Program Monitoring
Sophia DrossopoulouDrossopoulou, Sophia Imperial College LondonUnited Kingdom Committee Member in Program Committee within the SPLASH OOPSLA-track
Patrick DubroyDubroy, Patrick Y Combinator Research, USAGermany Situated Objects Modular Semantic Actions
Stéphane DucasseDucasse, Stéphane INRIA Lille Instance Migration in Dynamic Software Update
Tudor DumitrasDumitras, Tudor University of Maryland at College Park Helping Johnny Encrypt: Toward Semantic Interfaces for Cryptographic Frameworks
Schahram DustdarDustdar, Schahram TU Wien Asserting Reliable Convergence for Configuration Management Scripts
István DávidDávid, István University of Antwerp, Belgium Automated Testing Support for Reactive Domain-Specific Modelling Languages
Tobias DürschmidDürschmid, Tobias Hasso Plattner Institute, PotsdamGermany Design Pattern Builder: A Concept for Refinable Reusable Design Pattern Libraries
E Jonathan EdwardsEdwards, Jonathan MIT, USAUnited States Committee Member in Steering Committee for Onward! 2016 Committee Member in Program Committee within the DLS-track Committee Member in Program Committee within the REBLS-track Committee Member in Program Committee within the NOOL-track
Michael EichbergEichberg, Michael TU Darmstadt, Germany Reactive Async: Expressive Deterministic Concurrency
Matthias EichholzEichholz, Matthias Language Support for Verifiable SDNs
Susan EisenbachEisenbach, Susan Imperial College LondonUnited Kingdom Committee Member in Program Committee within the Onward! Essays-track
Amal El Fallah-SegrouchniEl Fallah-Segrouchni, Amal LIP6 Agent-Oriented Programming Programme Committee in Program Committee within the AGERE-track
Rémy El SibaïeEl Sibaïe, Rémy UPMC, France Synchronous-Reactive Web Programming
Christoph ElsnerElsner, Christoph Siemens AGGermany Committee Member in Program Committee within the FOSD-track
Johannes EmerichEmerich, Johannes Germany How Are Programs Found? Speculating about Language Ergonomics with Curry-Howard
Romina EramoEramo, Romina University of L'AquilaItaly Committee Member in Artifact Evaluation Committee within the SLE-track
Sebastian ErdwegErdweg, Sebastian Delft University of Technology, Netherlands Posters Co-Chair in Organizing Committee for SPLASH 2016 Session Chair of Poster Reception Wednesday (part of SPLASH Posters) Session Chair of Poster Reception Monday (part of SPLASH Posters) Session Chair of Typing, in Practice (part of SPLASH OOPSLA) Session Chair of Session 5 (part of SPLASH -I) Bootstrapping, Default Formatting, and Skeleton Editing in the Spoofax Language Workbench Bootstrapping Domain-Specific Meta-Languages in Language Workbenches The IDE Portability Problem and Its Solution in Monto Efficient Development of Consistent Projectional Editors using Grammar Cells Principled Syntactic Code Completion using Placeholders Posters Co-Chair in Organizing Committee within the SPLASH Posters-track Committee Member in Program Committee within the GPCE-track Committee Member in Program Committee within the LWC@SLE-track Committee Member in Program Committee within the Scala-track
Floris ErichErich, Floris End-User Software Engineering of Cognitive Robot Applications using Procedural Parameters and Complex Event Processing
Michael D. ErnstErnst, Michael D. University of Washington Scalable Verification of Border Gateway Protocol Configurations with an SMT Solver ERC member in External Program Committee within the SPLASH OOPSLA-track
Martin ErwigErwig, Martin Oregon State University Committee Member in Program Committee within the FOSD-track Committee Member in Program Committee within the GPCE-track Committee Member in Program Committee within the SLE-track
Gregory EssertelEssertel, Gregory Gentrification Gone too Far? Affordable 2nd-Class Values for Fun and (Co-)Effect
Tyler EtzelEtzel, Tyler Flexible Initialization of Immutable Objects
Patrick EugsterEugster, Patrick Purdue UniversityUnited States SPLASH 2013 Co-Chair and OOPSLA 2015 PC Chair in Steering Committee for SPLASH 2016 SecureScala: Scala Embedding of Secure Computations Committee Member in Program Committee within the SPLASH OOPSLA-track Committee Member in Organizing Committee within the REBLS-track
Jonathan EyolfsonEyolfson, Jonathan University of Waterloo Programme Committee in Program Committee within the SPLASH OOPSLA Artifacts-track
F Diego Fabregat-TraverFabregat-Traver, Diego RWTH Aachen Program Generation for Linear Algebra Using Multiple Layers of DSLs
Luc FabresseFabresse, Luc Mines Douai Instance Migration in Dynamic Software Update
Johan FabryFabry, Johan University of ChileBahamas, The Does Live Programming Help Program Comprehension? -- A user study with Live Robot Programming
Lu FangFang, Lu University of California, Irvine Low-Overhead and Fully Automated Statistical Debugging with Abstraction Refinement
Tim FelgentreffFelgentreff, Tim Hasso-Plattner-Institute, PotsdamGermany A World of Active Objects for Work and Play: The First Ten Years of Lively Committee Member in Program Committee within the REBLS-track
Matthias FelleisenFelleisen, Matthias Northeastern University Languages the Racket Way: Submission to the 2016 Language Workbench Challenge Real Researchers Allow Passion to Guide Them
Daniel FelteyFeltey, Daniel Northwestern University Languages the Racket Way: Submission to the 2016 Language Workbench Challenge
Pietro FerraraFerrara, Pietro Julia SRL, ItalyItaly Demos Chair in Organizing Committee for SPLASH 2016
Francisco FerreiraFerreira, Francisco McGill UniversityCanada Programme Committee in Program Committee within the SPLASH OOPSLA Artifacts-track
Moritz FeyFey, Moritz Saarland University of Applied Sciences, Germany Implementing Delta-Oriented SPLs using PEoPL: An Example Scenario and Case Study
Robert Bruce FindlerFindler, Robert Bruce Northwestern UniversityUnited States Languages the Racket Way: Submission to the 2016 Language Workbench Challenge SLE 2016 Keynote: Redex: Lightweight Semantics Engineering Extensible Access Control with Authorization Contracts Committee Member in Program Committee within the SPLASH OOPSLA-track Keynote Speaker in Keynote Speaker within the SLE-track
Stephen J FinkFink, Stephen J IBMUnited States ERC member in External Program Committee within the SPLASH OOPSLA-track
Bernd FischerFischer, Bernd Stellenbosch UniversitySouth Africa GPCE General Chair in Organizing Committee for SPLASH 2016 General Chair in Organizing Committee for GPCE 2016 Session Chair of Testing and Verification (part of GPCE) GPCE/SLE Steering Committee Meeting General Chair in Program Committee within the GPCE-track Committee Member in Program Committee within the SLE-track
Kathleen FisherFisher, Kathleen Tufts UniversityUnited States Incremental Forest: A DSL for Efficiently Managing Filestores
Kathi FislerFisler, Kathi Worcester Polytechnic InstituteUnited States Committee Member in Program Committee within the PLATEAU-track Committee Member in Steering Committee within the SPLASH -E-track
Cormac FlanaganFlanagan, Cormac University of California, Santa CruzIreland Virtual Values for Taint and Information Flow Analysis
Matthew FlattFlatt, Matthew University of Utah Doctoral Symposium Chair in Organizing Committee for SPLASH 2016 Languages the Racket Way: Submission to the 2016 Language Workbench Challenge Student Awards Extensible Access Control with Authorization Contracts Committee Member in Program Committee within the DLS-track Program Chair in Program Committee within the SPLASH Doctoral Symposium-track Committee Member in Program Committee within the GPCE-track
Spencer P. FlorenceFlorence, Spencer P. Northwestern University Languages the Racket Way: Submission to the 2016 Language Workbench Challenge
Lori FlynnFlynn, Lori CERTUnited States Closing Opening Committee Member in Steering Committee within the Mobile!-track Chair in Organizing Committee within the Mobile!-track
Vincent Foley-BourgonFoley-Bourgon, Vincent McGill University, Canada Efficiently Implementing the Copy Semantics of MATLAB's Arrays in JavaScript
Niklas ForsFors, Niklas Lund University Bloqqi: Modular Feature-Based Block Diagram Programming
Jeffrey S. FosterFoster, Jeffrey S. University of Maryland, College ParkUnited States ERC member in External Program Committee within the SPLASH OOPSLA-track
Nate FosterFoster, Nate Cornell UniversityUnited States Incremental Forest: A DSL for Efficiently Managing Filestores
Juliana FrancoFranco, Juliana Imperial College LondonPortugal Session Chair of Politeness and Popularity (part of NOOL) Committee Member in Program Committee within the NOOL-track
Mirco FranzagoFranzago, Mirco University of L'Aquila, ItalyItaly A Model-Based Method for Seamless Web and Mobile Experience
Daniel P. FriedmanFriedman, Daniel P. Indiana University, USA A Small Embedding of Logic Programming with a Simple Complete Search
Thorbiörn FritzonFritzon, Thorbiörn Spotify Actors and Hot Objects
Rina FujinoFujino, Rina Waseda University, Japan Reducing Parallelizing Compilation Time by Removing Redundant Analysis
Akira FukudaFukuda, Akira Kyushu University Coloured Petri-Nets Framework for Simulating Method Invocations on Context-Oriented Software
Franz E. FürchtegottFürchtegott, Franz E. Technische Universität Braunschweig Fine-Grained Test Case Prioritization for Integration Testing of Delta-Oriented Software Product Lines
G Richard P. GabrielGabriel, Richard P. Dream Songs, Inc. & IBM ResearchUnited States Session Chair of Session 3 (Philosophy of Computing) (part of SPLASH -I) “in the control room of the banquet”
Diego GarbervetskyGarbervetsky, Diego University of Buenos Aires, Argentina Building Efficient and Highly Run-Time Adaptable Virtual Machines
Ronald GarciaGarcia, Ronald University of British Columbia Web & Publicity in Organizing Committee for SPLASH 2016
Jokin GarcíaGarcía, Jokin IK4-IKERLAN Research Center, Spain Runtime Support for Rule-Based Access-Control Evaluation through Model-Transformation
Tony Garnock-JonesGarnock-Jones, Tony Northeastern University, USA Modular Semantic Actions
Matthew GaudetGaudet, Matthew IBM CanadaCanada Rebuilding an Airliner In Flight: A Retrospective on Refactoring IBM Testarossa production compiler for Eclipse OMR
Simon J. GayGay, Simon J. University of Glasgow, UK Benefits of Session Types for Software Development
Hongxing GengGeng, Hongxing Separating Communication Concerns in Concurrent Systems
Sebastian GerardGerard, Sebastian CEA Saclay - NanoInnovFrance Committee Member in Program Committee within the SLE-track
Simon GeriesGeries, Simon KTH Royal Institute of Technology, Sweden Reactive Async: Expressive Deterministic Concurrency
Rohit GheyiGheyi, Rohit UFCG, Brazil A Change-Centric Approach to Compile Configurable Systems with #ifdefs
Paolo G. GiarrussoGiarrusso, Paolo G. University of Tübingen, GermanyItaly Revisiting the Cake Pattern: Scaling “Scalable Component Abstractions”
Jeremy GibbonsGibbons, Jeremy University of Oxford, UK Session Chair of Session 1: ALIGNED, The Metadata Catalogue and Booster (part of SA-MDE) Wrap-up and discussion Welcome Organizing Committee in Organizing Committee within the SA-MDE-track Committee Member in Program Committee within the Onward! Essays-track Committee Member in Program Committee within the SLE-track
Garth GibsonGibson, Garth Carnegie Mellon University Stateless Model Checking with Data-Race Preemption Points
Holger GieseGiese, Holger Hasso Plattner InstituteGermany Committee Member in Program Committee within the SLE-track
Yossi GilGil, Yossi Israel Institute of Technology ERC member in External Program Committee within the SPLASH OOPSLA-track
Andy GillGill, Andy University of Kansas Committee Member in Program Committee within the DSLDI-track
Milos GligoricGligoric, Milos University of Illinois at Urbana-Champaign Committee Member in Program Committee within the Onward! Papers-track
Michael W. GodfreyGodfrey, Michael W. University of Waterloo, CanadaCanada Committee Member in Program Committee within the ITSLE-track
Martin GogollaGogolla, Martin University of BremenGermany Committee Member in Program Committee within the SLE-track
Aniruddha GokhaleGokhale, Aniruddha Vanderbilt University Committee Member in Program Committee within the GPCE-track
Logan GoldbergGoldberg, Logan Grinnell College, USA Energy Profiling with Alpaca
Anitha GollamudiGollamudi, Anitha Automatic Enforcement of Expressive Security Policies using Enclaves
Eduardo GomesGomes, Eduardo University Institute of Lisbon, Portugal Xdiagram: A Declarative Textual DSL for Describing Diagram Editors (Tool Demo)
Boryana GoncharenkoGoncharenko, Boryana University of Amsterdam, Netherlands Language Design and Implementation for the Domain of Coding Conventions
Elisa Gonzalez BoixGonzalez Boix, Elisa Vrije Universiteit BrusselBelgium Session Chair of Mirror-based Reflection (part of META) Session Chair of Session 4 (part of DLS) Declaratively Specifying Security Policies For Web Applications Towards Advanced Debugging Support for Actor Languages Committee Member in Program Committee within the DLS-track Programme Committee in Program Committee within the AGERE-track Committee Member in Organizing Committee within the META-track
Ganesh GopalakrishnanGopalakrishnan, Ganesh University of Utah Portable Inter-workgroup Barrier Synchronisation for GPUs
Colin GordonGordon, Colin Drexel UniversityUnited States Type Inference for Static Compilation of JavaScript
Alessandra GorlaGorla, Alessandra IMDEA Software InstituteSpain Inferring test oracles from the Javadoc documentation
Marco GrandiGrandi, Marco Computer Science Department - University of PisaItaly Spray: Programming with a Persistent Distributed Heap
Jeff GrayGray, Jeff University of AlabamaUnited States Committee Member in Program Committee within the Mobile!-track Committee Member in Program Committee within the GPCE-track Committee Member in Program Committee within the SPLASH Workshops-track Committee Member in Program Committee within the SLE-track Committee Member in Organizing Committee within the DSM-track
Ben GreenmanGreenman, Ben Northeastern UniversityUnited States Programme Committee in Program Committee within the SPLASH OOPSLA Artifacts-track
Clemens GrelckGrelck, Clemens University of AmsterdamGermany SEPS Panel discussion: Engineering software performance for upcoming heterogeneous computing systems - through programming patterns, runtime systems and tools Committee Member in Program Committee within the SEPS-track
Sylvia GreweGrewe, Sylvia TU DarmstadtGermany VeriTaS: Verification of Type System Specifications Committee Member in Program Committee within the SPLASH Posters-track Committee Member in Program Committee within the DSLDI-track
Frank GriesingerGriesinger, Frank Ulm University, Germany Experiences of Models@run-time with EMF and CDO
Robert GrimmGrimm, Robert Goldman SachsGermany Adventures in Software Evolution
Matthias GrimmerGrimmer, Matthias Johannes Kepler University LinzAustria Bringing Low-Level Languages to the JVM: Efficient Execution of LLVM IR on Truffle Committee Member in Program Committee within the VMIL-track Committee Member in Organizing Committee within the RUMPLE-track
Thomas GrossGross, Thomas ETH Zurich Session Chair of Concurrency Analysis and Model Checking (part of SPLASH OOPSLA)
Thomas GrossGross, Thomas ETH ZurichSwitzerland Parallel Virtual Machines with RPython
Thomas GrossGross, Thomas ETH Zurich ERC member in External Program Committee within the SPLASH OOPSLA-track
David GroveGrove, David IBM ResearchUnited States Committee Member in Program Committee within the SPLASH OOPSLA-track
Paul GrünbacherGrünbacher, Paul Johannes Kepler University LinzAustria Committee Member in Program Committee within the FOSD-track
Esther GuerraGuerra, Esther Autonomous University of Madrid, Spain Committee Member in Program Committee within the SLE-track
Apala GuhaGuha, Apala Simon Fraser University Committee Member in Program Committee within the VMIL-track
Sumit GulwaniGulwani, Sumit Microsoft Research FIDEX: Filtering Spreadsheet Data using Examples Ringer: Web Automation by Demonstration
Sam GuyerGuyer, Sam Tufts University Student Research Competition Chair in Organizing Committee for SPLASH 2016 Session Chair of Static Analysis (part of SPLASH OOPSLA) Session Chair of Talks (part of SPLASH Student Research Competition) What’s going on in the heap? Student Awards Prioritized Garbage Collection: Explicit GC Support for Software Caches Student Research Competition Co-Chair in Program Committee within the SPLASH Student Research Competition-track
Tudor GîrbaGîrba, Tudor feenk.comSwitzerland Moldable, Context-Aware Searching with Spotter Software Environmentalism Committee Member in Program Committee within the PLATEAU-track
Sebastian GötzGötz, Sebastian TU Dresden, Germany Committee Member in Program Committee within the FOSD-track
H Thomas H. AustinH. Austin, Thomas Virtual Values for Taint and Information Flow Analysis
David H. LorenzH. Lorenz, David Open University and Technion IIT Define Your App, Don’t Implement It: Building a Scalable Social Network in 45 minutes
Andrew HabibHabib, Andrew TU Darmstadt, Germany Finding Concurrency Bugs Using Graph-Based Anomaly Detection in Big Code
Jörg HagemannHagemann, Jörg Fernuniversität in Hagen Computing Repair Alternatives for Malformed Programs using Constraint Attribute Grammars
Philipp HallerHaller, Philipp KTH Royal Institute of TechnologySweden Session Chair of Session 11 (part of SPLASH -I) Session Chair of Analysis, Testing & Verification (part of Scala) Function Passing: A Model for Typed, Distributed Functional Programming Reactive Async: Expressive Deterministic Concurrency LaCasa: Lightweight Affinity and Object Capabilities in Scala Committee Member in Organizing Committee within the AGERE-track Committee Member in Program Committee within the REBLS-track Committee Member in Program Committee within the Scala-track
Marc HamiltonHamilton, Marc Altran Pattern Specification and Application in Metamodels in Ecore
Matthew HammerHammer, Matthew University of Colorado, BoulderUnited States A Vision for Online Verification-Validation
Jixin HanHan, Jixin Waseda University, JapanJapan Reducing Parallelizing Compilation Time by Removing Redundant Analysis
Oliver HanappiHanappi, Oliver Vienna University of TechnologyAustria Asserting Reliable Convergence for Configuration Management Scripts
Stefan HanenbergHanenberg, Stefan University of Duisburg-EssenGermany 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 Committee Member in Program Committee within the PLATEAU-track
Andreas HanssonHansson, Andreas ARM, UKUnited Kingdom Committee Member in Program Committee within the ITSLE-track
Daco HarkesHarkes, Daco Delft University of TechnologyNetherlands Student Volunteer Co-Chair in Organizing Committee for SPLASH 2016
Brian HarveyHarvey, Brian University of California, Berkeley Snap!: Scheme Disguised as Scratch Snap!: Scheme Disguised as Scratch
Markus HauckHauck, Markus codecentric AG SecureScala: Scala Embedding of Secure Computations
Timothée HaudebourgHaudebourg, Timothée ENS RennesFrance Disambiguation for SDF3 with Deep Priority Conflicts
Michael HauptHaupt, Michael Oracle LabsGermany Committee Member in Steering Committee within the VMIL-track Committee Member in Program Committee within the GPCE-track
Christopher B. HauserHauser, Christopher B. Ulm University, Germany Experiences of Models@run-time with EMF and CDO
Matthias HauswirthHauswirth, Matthias University of LuganoSwitzerland SPLASH-E Co-Chair in Organizing Committee for SPLASH 2016 Session Chair of 2. SPLASH-I talks (room Matterhorn 3!) (part of SPLASH -E) Session Chair of Session 1 (SPLASH-E) (part of SPLASH -I) Session Chair of Session 4 (SPLASH-E) (part of SPLASH -I) Committee Member in Program Committee within the VMIL-track Co-chair in Program Committee within the SPLASH -E-track Committee Member in Program Committee within the SPLASH -I-track
Akihiro HayashiHayashi, Akihiro Rice UniversityUnited States Committee Member in Program Committee within the SEPS-track
Gorel HedinHedin, Gorel Lund UniversitySweden Committee Member in Program Committee within the SLE-track
Görel HedinHedin, Görel Lund University, Sweden Session Chair of Model Transformation (part of SLE) Bloqqi: Modular Feature-Based Block Diagram Programming DrAST: An Inspection Tool for Attributed Syntax Trees (Tool Demo)
Thomas S. HeinzeHeinze, Thomas S. Aarhus University, Denmark Type Safety Analysis for Dart
Jason HemannHemann, Jason Indiana University, USA A Small Embedding of Logic Programming with a Simple Complete Search
Laurie HendrenHendren, Laurie McGill University, CanadaCanada Efficiently Implementing the Copy Semantics of MATLAB's Arrays in JavaScript
Kevlin HenneyHenney, Kevlin CurbralanUnited Kingdom Committee Member in Program Committee within the NOOL-track
Felienne HermansHermans, Felienne Delft University of Technology Small, simple and smelly: What we can learn from examining end-user artifacts? Committee Member in Program Committee within the Onward! Papers-track
Michael HicksHicks, Michael University of Maryland, College ParkUnited States SIGPLAN Chair in Steering Committee for SPLASH 2016
Raphael HiesgenHiesgen, Raphael Reconsidering Reliability in Distributed Actor Systems
James HillHill, James IUPUIUnited States Committee Member in Program Committee within the SPLASH Workshops-track
Michael HiltonHilton, Michael Oregon State University, USAUnited States Video Chair in Organizing Committee for SPLASH 2016
Michael HindHind, Michael IBM ResearchUnited States Artifact Evaluation Co-Chair in Organizing Committee for SPLASH 2016 Artifact Evaluation Co-Chair in Program Committee within the SPLASH OOPSLA Artifacts-track
Koen HindriksHindriks, Koen Delft University of Technology, NetherlandsNetherlands Agent-Oriented Programming
Robert HirschfeldHirschfeld, Robert HPIGermany Onward! 2013 Papers Chair in Steering Committee for SPLASH 2016 Onward! Steering Committee Chair in Steering Committee for Onward! 2016 A World of Active Objects for Work and Play: The First Ten Years of Lively Gramada: Immediacy in Programming Language Development Onward Steering Committee Meeting Onward! Most Notable Paper Award Committee Member in Program Committee within the DLS-track Steering Committee Member in Steering Committee within the DLS-track Committee Member in Program Committee within the META-track
Martin HirzelHirzel, Martin IBM ResearchUnited States Committee Member in Program Committee within the VMIL-track
Kenji HisazumiHisazumi, Kenji Kyushu University Coloured Petri-Nets Framework for Simulating Method Invocations on Context-Oriented Software
Torsten HoeflerHoefler, Torsten ETH ZurichSwitzerland Modeling and Analysis of Remote Memory Access Programming
Michael HomerHomer, Michael Victoria University of Wellington The Left Hand of Equals Committee Member in Program Committee within the SLE-track
Ricardo Honorato-ZimmerHonorato-Zimmer, Ricardo University of EdinburghUnited Kingdom Committee Member in Program Committee within the Scala-track
Cay HorstmannHorstmann, Cay San Jose State University Committee Member in Program Committee within the Scala-track
Tony HoskingHosking, Tony Australian National University, Data61, and Purdue UniversityAustralia SPLASH Steering Committee Chair in Steering Committee for SPLASH 2016 Committee Member in Sponsorship Committee for SPLASH 2016 Committee Member in Steering Committee for Onward! 2016 Session Chair of Session 2 (part of VMIL) Session Chair of Session 3 (part of VMIL) Session Chair of Session 1 (part of VMIL) Opening Remarks Extending OpenJDK To Support Hybrid STM/HTM Discussions/Closing Remarks SPLASH Steering Committee Report Hybrid STM/HTM for Nested Transactions on OpenJDK SPLASH Steering Committee Meeting Co-chair in Organizing Committee within the VMIL-track
Kate HowlandHowland, Kate University of SussexUnited Kingdom Committee Member in Program Committee within the DSLDI-track
Yongjian HuHu, Yongjian University of California at Riverside, USAChina Programme Committee in Program Committee within the SPLASH OOPSLA Artifacts-track
Zhenjiang HuHu, Zhenjiang National University SOKENDAI, JapanJapan Parsing and Reflective Printing, Bidirectionally
Jeff HuangHuang, Jeff Texas A&M University Posters Co-Chair in Organizing Committee for SPLASH 2016 Session Chair of Poster Reception Wednesday (part of SPLASH Posters) Session Chair of Poster Reception Monday (part of SPLASH Posters) Session Chair of Session 2 (part of Onward! Papers) Maximal Causality Reduction for TSO and PSO Precise and Maximal Race Detection from Incomplete Traces Posters Co-Chair in Organizing Committee within the SPLASH Posters-track
Shan Shan HuangHuang, Shan Shan Logicblox Committee Member in Program Committee within the SPLASH OOPSLA-track
Shiyou HuangHuang, Shiyou Texas A&M University Maximal Causality Reduction for TSO and PSO
Spencer HubbardHubbard, Spencer Oregon State University, USAUnited States Formula Choice Calculus
Andrew HughesHughes, Andrew Steadfast Innovation, USA Scaling Android User Interfaces: A Case Study of Squid
Christian HumerHumer, Christian Oracle Labs, SwitzerlandSwitzerland Optimizing R Language Execution via Aggressive Speculation
Waldemar HummerHummer, Waldemar Vienna University of Technology Asserting Reliable Convergence for Configuration Management Scripts
Lars HupelHupel, Lars Technische Universität MünchenGermany Committee Member in Program Committee within the Scala-track
Jomi Fred HübnerHübner, Jomi Fred Federal University of Santa Catarina, Brazil Conflicting Goals in Agent-Oriented Programming
I Roberto IerusalimschyIerusalimschy, Roberto PUC-RioBrazil Dynamic Languages Symposium Chair in Organizing Committee for SPLASH 2016 Session Chair of Language Design and Programming Models I (part of SPLASH OOPSLA) Program Chair in Program Committee within the DLS-track Steering Committee Member in Steering Committee within the DLS-track
Hyeonseung ImIm, Hyeonseung Kangwon National University, South Korea Precise and Scalable Static Analysis of jQuery using a Regular Expression Domain
Soumya IndelaIndela, Soumya University of Maryland at College Park Helping Johnny Encrypt: Toward Semantic Interfaces for Cryptographic Frameworks
Daniel IngallsIngalls, Daniel SAP Palo Alto Research Center A World of Active Objects for Work and Play: The First Ten Years of Lively
Pablo InostrozaInostroza, Pablo CWINetherlands The Rascal Approach to Code in Prose, Computed Properties, and Language Extension ChromaKey: Towards Extensible Mirror Architectures Extensible Modeling with Managed Data in Java Recaf: Java Dialects as Libraries Committee Member in Program Committee within the LWC@SLE-track
Eleonora IottiIotti, Eleonora University of Parma, Italy Interaction Protocols in the JADEL Programming Language
Ludovico IovinoIovino, Ludovico Gran Sasso Science Institute, L'Aquila, Italy Committee Member in Artifact Evaluation Committee within the SLE-track
Shachar ItzhakyItzhaky, Shachar MIT CSAILUnited States Object Spreadsheets: A New Computational Model for End-User Development of Data-Centric Web Applications Deriving Divide-and-Conquer Dynamic Programming Algorithms using Solver-Aided Transformations
J Julian JabsJabs, Julian University of Tübingen Towards explanation-oriented introductory programming
Daniel JacksonJackson, Daniel MIT Exploring the Role of Sequential Computation in Distributed Systems: Motivating a Programming Paradigm Shift Object Spreadsheets: A New Computational Model for End-User Development of Data-Centric Web Applications Purposes, Concepts, Misfits, and a Redesign of Git
Derek JacobyJacoby, Derek Qvirt Exploratory Analysis in Virtual Reality: The New Frontier
Nadeem JamaliJamali, Nadeem Separating Communication Concerns in Concurrent Systems Supporting Resource Bounded Multitenancy in Akka
Ali JannesariJannesari, Ali University of California, BerkeleyUnited States Committee Member in Organizing Committee within the SEPS-track
David S. JanzenJanzen, David S. California Polytechnic State University, USA Scaling Android User Interfaces: A Case Study of Squid
Yves JaradinJaradin, Yves Raincode, Belgium Raincode Assembler Compiler (Tool Demo)
Jean-Baptiste JeanninJeannin, Jean-Baptiste Carnegie Mellon University Type Inference for Static Compilation of JavaScript
Adrian JohnstoneJohnstone, Adrian Royal Holloway University of LondonUnited Kingdom Multiple input GLL parsing Good enough for you? Explaining ourselves through standard challenges Committee Member in Organizing Committee within the Parsing@SLE-track
Richard JonesJones, Richard University of Kent Committee Member in Program Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the RUMPLE-track
Timothy JonesJones, Timothy Victoria University of WellingtonNew Zealand Programme Committee in Program Committee within the SPLASH OOPSLA Artifacts-track
Manohar JonnalageddaJonnalagedda, Manohar EPFL, Switzerland Opening - Day 1 Opening - Day 2 Co-chair in Organizing Committee within the Scala-track
Wouter JoosenJoosen, Wouter Katholieke Universiteit Leuven Automated Regression Testing of BPMN 2.0 Processes: A Capture & Replay Framework for Continuous Delivery
Mick JordanJordan, Mick Oracle Labs, USA Optimizing R Language Execution via Aggressive Speculation
Frédéric JouaultJouault, Frédéric TRAME Team, ESEO , France Committee Member in Program Committee within the ITSLE-track
Vojin JovanovicJovanovic, Vojin Oracle LabsSwitzerland Committee Member in Program Committee within the Scala-track
Milan JovicJovic, Milan Department of Mathematics and Informatics, Faculty of Sciences, University of Novi Sad Towards a Scala embedded information system description DSL
Ján JuhárJuhár, Ján Integrating Concerns with Development Environments
Eric JulJul, Eric How to get your Ph.D. DONE
K Gail KaiserKaiser, Gail Columbia University, New YorkUnited States Committee Member in Program Committee within the Onward! Papers-track
Tetsuo KaminaKamina, Tetsuo Ritsumeikan UniversityJapan Towards Automatic Decoration Introducing Lightweight Reactive Values to Java
Ted KaminskiKaminski, Ted University of Minnesota Composition of independent language extensions to C
Sachio KamiyaKamiya, Sachio OSCAR TECHNOLOGY, Japan Reducing Parallelizing Compilation Time by Removing Redundant Analysis
Prakasam KannanKannan, Prakasam San Jose State University Virtual Values for Taint and Information Flow Analysis
Hironori KasaharaKasahara, Hironori Waseda University, JapanJapan Reducing Parallelizing Compilation Time by Removing Redundant Analysis
Lennart KatsKats, Lennart Cloud9 Responsive Language Tooling For Cloud-based IDEs
Joel KatticaranKatticaran, Joel Grinnell College, USA Energy Profiling with Alpaca
Sven KeidelKeidel, Sven Delft University of Technology, NetherlandsNetherlands The IDE Portability Problem and Its Solution in Monto
Keiji Kimura Keiji Kimura Waseda University SEPS Panel discussion: Engineering software performance for upcoming heterogeneous computing systems - through programming patterns, runtime systems and tools Reducing Parallelizing Compilation Time by Removing Redundant Analysis Committee Member in Program Committee within the SEPS-track
Stephen KellKell, Stephen University of CambridgeUnited Kingdom Dynamically Diagnosing Type Errors in Unsafe Code The Missing Link: Explaining ELF Static Linking, Semantically Committee Member in Program Committee within the RUMPLE-track Committee Member in Program Committee within the SPLASH Workshops-track
Steven KellyKelly, Steven MetaCaseUnited Kingdom Committee Member in Program Committee within the DSM-track
Andy KennerKenner, Andy METOP Magdeburg, Germany FeatureCoPP: Compositional Annotations
Christoph KesslerKessler, Christoph Linköping University, Sweden Committee Member in Program Committee within the SEPS-track
Kurt KeutzerKeutzer, Kurt UC BerkeleyUnited States Committee Member in Program Committee within the SEPS-track
Siau-Cheng KhooKhoo, Siau-Cheng Low-Overhead and Fully Automated Statistical Debugging with Abstraction Refinement
Allan KielstraKielstra, Allan IBM, Canada Exhaustive Analysis of Thread-Level Speculation
Jörg KienzleKienzle, Jörg McGill University, Canada Delaying Decisions in Variable Concern Hierarchies
Dohyeong KimKim, Dohyeong Purdue University Apex: Automatic Programming Assignment Error Explanation
I Luk KimKim, I Luk Purdue University Apex: Automatic Programming Assignment Error Explanation
Oleg KiselyovKiselyov, Oleg Tohoku University Committee Member in Program Committee within the Scala-track
David KitchinKitchin, David Google, Inc. OrcO: A Concurrency-First Approach to Objects
Tim KnutsonKnutson, Tim Univeristy of Utah Languages the Racket Way: Submission to the 2016 Language Workbench Challenge
Amy KoKo, Amy University of WashingtonUnited States What Is a Programming Language, Really? SPLASH 2016 Keynote: A Human View of Programming Languages Committee Member in Program Committee within the PLATEAU-track
Hsiang-Shang ‘Josh’ KoKo, Hsiang-Shang ‘Josh’ National Institute of InformaticsJapan Parsing and Reflective Printing, Bidirectionally
Bernd KolbKolb, Bernd itemis AG Efficient Development of Consistent Projectional Editors using Grammar Cells
Dimitris KolovosKolovos, Dimitris University of YorkUnited Kingdom Awards Committee Member in Program Committee within the ITSLE-track Artifact Evaluation Co-Chair in Organizing Committee within the SLE-track Committee Member in Program Committee within the SLE-track
Gabriël KonatKonat, Gabriël Delft University of TechnologyNetherlands Bootstrapping, Default Formatting, and Skeleton Editing in the Spoofax Language Workbench Bootstrapping Domain-Specific Meta-Languages in Language Workbenches
Peter KourzanovKourzanov, Peter NXP, NetherlandsNetherlands Session Chair of Industry meets academy (part of ITSLE) Parallel Evaluation of a DSP Algorithm using Julia Committee Member in Organizing Committee within the ITSLE-track
Matthias KowalKowal, Matthias TU Braunschweig, Germany Implicit Constraints in Partial Feature Models Higher-Order Delta Modeling for Software Product Line Evolution Explaining Anomalies in Feature Models
Robert KrahnKrahn, Robert CDG Labs A World of Active Objects for Work and Play: The First Ten Years of Lively
Lucas KramerKramer, Lucas University of Minnesota Composition of independent language extensions to C
Stefan KratochwilKratochwil, Stefan Karlsruhe Institute of Technology, Vincenz-Priessnitz-Str. 1, Karlsruhe, Germany libDSU: Towards Hot-Swapping Dynamically Linked Libraries on Stock Linux
Sebastian KrieterKrieter, Sebastian Magdeburg University IncLing: Efficient Product-Line Testing Using Incremental Pairwise Sampling Tool Demo: Testing Configurable Systems with FeatureIDE A Feature-Based Personalized Recommender System for Product-Line Configuration
Murali Krishna RamanathanKrishna Ramanathan, Murali Indian Institute of Science, BangaloreIndia Directed Synthesis of Failing Concurrent Executions
Shriram KrishnamurthiKrishnamurthi, Shriram Brown UniversityUnited States Onward! 2014 Papers Chair in Steering Committee for SPLASH 2016 Committee Member in Steering Committee for Onward! 2016 Committee Member in Program Committee within the DLS-track ERC member in External Program Committee within the SPLASH OOPSLA-track
Arvind KrishnamurthyKrishnamurthy, Arvind University of Washington Scalable Verification of Border Gateway Protocol Configurations with an SMT Solver
Alexander KrolikKrolik, Alexander McGill University, Canada Exhaustive Analysis of Thread-Level Speculation
Christopher KruczekKruczek, Christopher METOP Magdeburg, Germany FeatureCoPP: Compositional Annotations
Jacob KrügerKrüger, Jacob Harz University of Applied Sciences, Germany FeatureCoPP: Compositional Annotations
Juraj KubelkaKubelka, Juraj University of Chile Moldable, Context-Aware Searching with Spotter
Thomas KuehneKuehne, Thomas Victoria University of Wellington Committee Member in Program Committee within the DSM-track
Marco KuhrmannKuhrmann, Marco Automatic Code Generation in Practice: Experiences with Embedded Robot Controllers
Milind KulkarniKulkarni, Milind Purdue University Committee Member in Program Committee within the SPLASH OOPSLA-track
Mukul KulkarniKulkarni, Mukul University of Maryland at College Park Helping Johnny Encrypt: Toward Semantic Interfaces for Cryptographic Frameworks
Prasad KulkarniKulkarni, Prasad University of Kansas Committee Member in Program Committee within the VMIL-track
Sulekha KulkarniKulkarni, Sulekha Georgia Tech Accelerating Program Analyses by Cross-Program Training
Vinay KulkarniKulkarni, Vinay Actor Monitors for Adaptive Behaviour
Viktor KunčakKunčak, Viktor EPFL, Switzerland SMT-Based Checking of Predicate-Qualified Types for Scala
Lindsey KuperKuper, Lindsey Intel Labs Committee Member in Program Committee within the DSLDI-track
Ivan KurajKuraj, Ivan MIT CSAIL, USASerbia and Montenegro Exploring the Role of Sequential Computation in Distributed Systems: Motivating a Programming Paradigm Shift
Kimio KuramitsuKuramitsu, Kimio Yokohama National University, Japan Nez: Practical Open Grammar Language
Svetomir KurtevKurtev, Svetomir Aalborg University, Denmark Discount Method for Programming Language Evaluation
Jan KuršKurš, Jan University of Bern Polite Programmers, Use Spaces in Identifiers When Needed
Yonghwi KwonKwon, Yonghwi Purdue University Apex: Automatic Programming Assignment Error Explanation
Young-Woo KwonKwon, Young-Woo Utah State University Committee Member in Program Committee within the Mobile!-track
Christian KästnerKästner, Christian Carnegie Mellon UniversityUnited States Committee Member in Steering Committee within the FOSD-track Committee Member in Program Committee within the GPCE-track
Thomas KühnKühn, Thomas TU Dresden, GermanyGermany FRaMED: Full-Fledge Role Modeling Editor (Tool Demo)
L Remo LachmannLachmann, Remo Technische Universität Braunschweig Fine-Grained Test Case Prioritization for Integration Testing of Delta-Oriented Software Product Lines
Ralf LaemmelLaemmel, Ralf University of Koblenz-Landau, Germany Session Chair of Model Checking and Transformation (part of META) Session Chair of Language Validation (part of SLE) Coupled Software Transformations — Revisited The basic skill set of software language engineering Committee Member in Program Committee within the META-track Committee Member in Program Committee within the DSLDI-track Committee Member in Program Committee within the SLE-track
Patrick LamLam, Patrick University of Waterloo, Canada Student Research Competition Chair in Organizing Committee for SPLASH 2016 Session Chair of Talks (part of SPLASH Student Research Competition) Modeling and Analysis of Remote Memory Access Programming Student Research Competition Co-Chair in Program Committee within the SPLASH Student Research Competition-track
Wing LamLam, Wing University of Illinois at Urbana-Champaign Programme Committee in Program Committee within the SPLASH OOPSLA Artifacts-track
Anna LanzaroLanzaro, Anna Federico II University of NaplesItaly Committee Member in Program Committee within the SEPS-track
Thomas LaTozaLaToza, Thomas George Mason UniversityUnited States Session Chair of Session 1 (part of PLATEAU) Committee Member in Program Committee within the Onward! Papers-track Committee Member in Organizing Committee within the PLATEAU-track
Nicolas LaurentLaurent, Nicolas Université Catholique de Louvain, BelgiumBelgium Context-Sensitive Parsing Through Stateful Parsing Taming Context-Sensitive Languages with Principled Stateful Parsing
Julia LawallLawall, Julia Inria/LIP6 Session Chair of Code Generation and Synthesis (part of GPCE) Session Chair of Runtime Techniques (part of SLE) Programing Languages Research in an Open Source Setting: the Coccinelle Experience Committee Member in Program Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the GPCE-track Committee Member in Program Committee within the SLE-track
Vu LeLe, Vu MicrosoftVietnam Finding Compiler Bugs via Live Code Mutation
Doug LeaLea, Doug State University of New York (SUNY) Oswego ERC member in External Program Committee within the SPLASH OOPSLA-track Committee Member in Steering Committee within the SPLASH -E-track Committee Member in Program Committee within the Scala-track
Richard LeblancLeblanc, Richard Seattle University Committee Member in Steering Committee within the SPLASH -E-track
Mina LeeLee, Mina Korea UniversityKorea, South Synthesizing Regular Expressions from Examples for Introductory Automata Assignments
Victor LeeLee, Victor Intel CorporationChina Committee Member in Program Committee within the SEPS-track
Thomas LeichLeich, Thomas Harz University of Applied Sciences, Germany FeatureCoPP: Compositional Annotations Tool Demo: Testing Configurable Systems with FeatureIDE
Charles E. LeisersonLeiserson, Charles E. MITUnited States Deriving Divide-and-Conquer Dynamic Programming Algorithms using Solver-Aided Transformations
Philipp LembkenLembken, Philipp University of Duisburg-Essen 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
Christian LengauerLengauer, Christian Committee Member in Steering Committee within the FOSD-track
Anthony LenzLenz, Anthony Steadfast Innovation, USA Scaling Android User Interfaces: A Case Study of Squid
Max LeskeLeske, Max University of Bern, Switzerland Improving Live Debugging of Concurrent Threads
Tihamer LevendovszkyLevendovszky, Tihamer Microsoft Committee Member in Program Committee within the SLE-track
Ondřej LhotákLhoták, Ondřej University of Waterloo Session Chair of Program Modeling and Learning (part of SPLASH OOPSLA) Call Graphs for Languages with Parametric Polymorphism
Du LiLi, Du Hewlett Packard LabsUnited States Committee Member in Program Committee within the VMIL-track
Paley LiLi, Paley Northeastern UniversityNew Zealand Session Chair of Delegation and Decoration (part of NOOL) Static Typing Without Static Types - Typing Inheritance from the Bottom Up
Yilong LiLi, Yilong Runtime Verification, Inc. Semantics-Based Program Verifiers for All Languages
Zhiyuan LiLi, Zhiyuan Purdue University, USA Committee Member in Program Committee within the SEPS-track
Shuying LiangLiang, Shuying Hewlett-Packard EnterpriseUnited States Committee Member in Program Committee within the Mobile!-track
Ben LiblitLiblit, Ben University of Wisconsin–MadisonUnited States Best-Effort Failure Reconstruction Using CSI: Crash Scene Investigation
Jens LinckeLincke, Jens Hasso Plattner Institute A World of Active Objects for Work and Play: The First Ten Years of Lively
Joel LindholmLindholm, Joel Lund University, Sweden DrAST: An Inspection Tool for Attributed Syntax Trees (Tool Demo)
Sascha LissonLisson, Sascha itemis AG Efficient Development of Consistent Projectional Editors using Grammar Cells
Sascha LityLity, Sascha Technische Universität Braunschweig Fine-Grained Test Case Prioritization for Integration Testing of Delta-Oriented Software Product Lines Higher-Order Delta Modeling for Software Product Line Evolution
Fengyun LiuLiu, Fengyun EPFL, SwitzerlandSwitzerland A Generic Algorithm for Checking Exhaustivity of Pattern Matching (Short Paper)
Peng LiuLiu, Peng Purdue University Apex: Automatic Programming Assignment Error Explanation
Yu David LiuLiu, Yu David First-Class Effect Reflection for Effect-Guided Programming
Ben LivshitsLivshits, Ben Microsoft Research Session Chair of Bug Detection Analysis and Model Checking (part of SPLASH OOPSLA) The high-interest credit card of runtime enforcement Committee Member in Program Committee within the DLS-track Committee Member in Program Committee within the SPLASH OOPSLA-track
Malte LochauLochau, Malte TU DarmstadtGermany IncLing: Efficient Product-Line Testing Using Incremental Pairwise Sampling Committee Member in Program Committee within the FOSD-track
Daniel LohmannLohmann, Daniel Friedrich-Alexander University of Erlangen-Nürnberg Towards Scalable Configuration Testing in Variable Software
Alex LoikoLoiko, Alex Google Stockholm, Sweden LaCasa: Lightweight Affinity and Object Capabilities in Scala
Calvin LoncaricLoncaric, Calvin University of WashingtonUnited States A Practical Framework for Type Inference Error Explanation
Yuheng LongLong, Yuheng Iowa State University First-Class Effect Reflection for Effect-Guided Programming
Crista LopesLopes, Crista University of California, Irvine Onward! Essays Chair in Organizing Committee for SPLASH 2016 Past SPLASH SC Chair in Steering Committee for SPLASH 2016 Committee Member in Sponsorship Committee for SPLASH 2016 Onward! Essays Chair in Organizing Committee for Onward! 2016 Session Chair of Keynote Friday (part of SPLASH Keynotes and Awards) Proceedings of the ACM Simulating Cities: The Spacetime Framework Onward Program Chair's Report Program Chair in Program Committee within the Onward! Essays-track
David H. LorenzLorenz, David H. Open University and Technion IIT Cedalion's Response to the 2016 Language Workbench Challenge A Web Application is a Domain-Specific Language
Shan LuLu, Shan University of Chicago Low-Overhead and Fully Automated Statistical Debugging with Abstraction Refinement
Yongquan LuLu, Yongquan MIT Deriving Divide-and-Conquer Dynamic Programming Algorithms using Solver-Aided Transformations
Brandon LuciaLucia, Brandon Carnegie Mellon UniversityUnited States Chain: Tasks and Channels for Reliable Intermittent Programs
Mircea F. LunguLungu, Mircea F. University of GroningenNetherlands Polite Programmers, Use Spaces in Identifiers When Needed
Zhaoyi LuoLuo, Zhaoyi University of Waterloo, Canada BSML-mbeddr: Integrating Semantically Configurable State-Machine Models in a C Programming Environment
M Ravichandhran MadhavanMadhavan, Ravichandhran EPFLSwitzerland A Scala Library for Testing Student Assignments on Concurrent Programming
Ole Lehrmann MadsenMadsen, Ole Lehrmann Aarhus University & The Alexandra InstituteDenmark The Essence of Subclassing Committee Member in Program Committee within the NOOL-track
Majid MakkiMakki, Majid iMinds-DistriNet Automated Regression Testing of BPMN 2.0 Processes: A Capture & Replay Framework for Continuous Delivery
Parth MalaniMalani, Parth FacebookUnited States Committee Member in Program Committee within the SEPS-track
Ivano MalavoltaMalavolta, Ivano Vrije Universiteit AmsterdamItaly Keynote: "Beyond native apps: Web technologies to the rescue!" Beyond Native Apps: Web Technologies to the Rescue! (Keynote)
Brian MalloyMalloy, Brian Clemson University Deriving Grammar Transformations for Developing and Maintaining Multiple Parser Versions
Ravi MangalMangal, Ravi Georgia Institute of Technology Accelerating Program Analyses by Cross-Program Training Programme Committee in Program Committee within the SPLASH OOPSLA Artifacts-track
Stefan MarrMarr, Stefan Johannes Kepler University LinzAustria Session Chair of Session 14 (part of SPLASH -I) Session Chair of Run-time Reflection (part of META) Cross-Language Compiler Benchmarking: Are We Fast Yet? Building Efficient and Highly Run-Time Adaptable Virtual Machines Towards Advanced Debugging Support for Actor Languages GEMs: Shared-Memory Parallel Programming for Node.js Efficient and Thread-Safe Objects for Dynamically-Typed Languages Committee Member in Organizing Committee within the META-track Committee Member in Program Committee within the SPLASH Workshops-track
Stuart MarshallMarshall, Stuart Victoria University of Wellington, New Zealand Hacking with Multi-touch for Java (MT4j)
Tim MarterMarter, Tim University of Duisburg-Essen 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
Patricia Martin-RodillaMartin-Rodilla, Patricia Institute of Heritage Sciences (Spanish National Research Council), Spain Committee Member in Artifact Evaluation Committee within the SLE-track
Jabier MartinezMartinez, Jabier University of Luxembourg Programme Committee in Program Committee within the SPLASH OOPSLA Artifacts-track
Pedro MartinsMartins, Pedro University of California at Irvine, USA Parsing and Reflective Printing, Bidirectionally
Guillaume MartresMartres, Guillaume EPFL, SwitzerlandSwitzerland Implementing Higher-Kinded Types in Dotty
Salvador MartínezMartínez, Salvador Open University of Catalonia, France Runtime Support for Rule-Based Access-Control Evaluation through Model-Transformation
Luis MastrangeloMastrangelo, Luis University of Lugano, Switzerland Programme Committee in Program Committee within the SPLASH OOPSLA Artifacts-track
Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of Technology, JapanJapan Session Chair of Session 3 (part of Onward! Papers) Committee Member in Program Committee within the Onward! Papers-track
Neil MatherMather, Neil ARC Technology Ltd. Lightning Talk: Comparing Variability Mechanisms for Requirements and Test Artifacts in Behaviour-Driven Development
Tim MattsonMattson, Tim Intel, USAUnited States Committee Member in Program Committee within the SEPS-track
Pawel MatuszykMatuszyk, Pawel University of Magdeburg A Feature-Based Personalized Recommender System for Product-Line Configuration
Andrea MauriMauri, Andrea Politecnico di Milano, Italy A Model-Based Method for Seamless Web and Mobile Experience
Mikaël MayerMayer, Mikaël EPFL, Switzerland A Scala Library for Testing Student Assignments on Concurrent Programming
Tanja MayerhoferMayerhofer, Tanja TU Vienna, Austria Adding Uncertainty and Units to Quantity Types in Software Models Execution Framework of the GEMOC Studio (Tool Demo) Committee Member in Program Committee within the DSLDI-track Committee Member in Program Committee within the DSM-track
Matt McCutchenMcCutchen, Matt MITUnited States Object Spreadsheets: A New Computational Model for End-User Development of Data-Centric Web Applications
Sean McDirmidMcDirmid, Sean Microsoft Research Committee Member in Program Committee within the Onward! Papers-track Committee Member in Program Committee within the NOOL-track
Ross McIlroyMcIlroy, Ross Google DLS 2016 Keynote: Ignition: Jump-starting an Interpreter for V8
Flavio MedeirosMedeiros, Flavio A Change-Centric Approach to Compile Configurable Systems with #ifdefs
Flávio MedeirosMedeiros, Flávio Federal University of Campina Grande Committee Member in Program Committee within the FOSD-track
Farhad MehtaMehta, Farhad University of Applied Sciences Rapperswil, Switzerland Scaps: Type-Directed API Search for Scala
Remigius MeierMeier, Remigius ETH Zurich, SwitzerlandSwitzerland Parallel Virtual Machines with RPython
Erik MeijerMeijer, Erik Applied Duality, Inc.United States Committee Member in Program Committee within the REBLS-track Committee Member in Program Committee within the Scala-track
Christopher MeiklejohnMeiklejohn, Christopher Université catholique de LouvainUnited States Dynamic Path Contraction for Distributed Dataflow Languages
Jens MeinickeMeinicke, Jens Magdeburg University Tool Demo: Testing Configurable Systems with FeatureIDE
Darya MelicherMelicher, Darya Carnegie Mellon University Committee Member in Program Committee within the DSLDI-track Committee Member in Program Committee within the NOOL-track
Kayvan MemarianMemarian, Kayvan University of Cambridge An Operational Semantics for C/C++11 Concurrency
Gabriele MencagliMencagli, Gabriele University of Pisa, Italy A Divide-and-Conquer Parallel Pattern Implementation for Multicores
Emmanuel MendozaMendoza, Emmanuel ARM, Ltd DesignScript: a scalable multi-paradigm domain-specific end-user language and modelling environment for architectural computation
J.G.M. MengerinkMengerink, J.G.M. Eindhoven University of Technology Udapt: Edapt Extensions for Industrial Application
Kim MensMens, Kim Université Catholique de Louvain, BelgiumBelgium Context-Sensitive Parsing Through Stateful Parsing Taming Context-Sensitive Languages with Principled Stateful Parsing
Erin MenziesMenzies, Erin Incremental Forest: A DSL for Efficiently Managing Filestores
Radu MereutaMereuta, Radu Faculty of Computer Science, UAIC, Iasi, Romania Parsing in K-Framework
Marjan MernikMernik, Marjan University of MariborSlovenia Committee Member in Program Committee within the DSLDI-track
John-Jules MeyerMeyer, John-Jules Universiteit Utrecht Agent-Oriented Programming Programme Committee in Program Committee within the AGERE-track
Bart MeyersMeyers, Bart University of Antwerp, Belgium Automated Testing Support for Reactive Domain-Specific Modelling Languages
Mira MeziniMezini, Mira TU DarmstadtGermany SecureScala: Scala Embedding of Secure Computations ERC member in External Program Committee within the SPLASH OOPSLA-track
Gianluca MezzettiMezzetti, Gianluca Aarhus University, Denmark Type Unsoundness in Practice: An Empirical Study of Dart
Abraham MhaidliMhaidli, Abraham Grinnell College, USA Energy Profiling with Alpaca
Arthur Michener PetersMichener Peters, Arthur The University of Texas at Austin, Texas, USAUnited States OrcO: A Concurrency-First Approach to Objects
Hiroko MidorikawaMidorikawa, Hiroko Seikei UniversityJapan Committee Member in Program Committee within the SEPS-track
Matthew MightMight, Matthew University of Utah, USA A Small Embedding of Logic Programming with a Simple Complete Search
Hiroki MikamiMikami, Hiroki Waseda University, Japan Reducing Parallelizing Compilation Time by Removing Redundant Analysis
Tommi MikkonenMikkonen, Tommi Tampere University of Technology A World of Active Objects for Work and Play: The First Ten Years of Lively
Tommi MikkonenMikkonen, Tommi Tampere University of Technology Committee Member in Program Committee within the Mobile!-track
Heather MillerMiller, Heather Ecole Polytechnique Federale de Lausanne Function Passing: A Model for Typed, Distributed Functional Programming Language Support for Distributed Systems Committee Member in Program Committee within the REBLS-track Committee Member in Program Committee within the Scala-track Committee Member in Program Committee within the SLE-track
Mark MillerMiller, Mark Google Inc.United States The Left Hand of Equals The elements of decision alignment: Large programs as complex organizations
Todd MillsteinMillstein, Todd University of California, Los Angeles OOPSLA 2014 PC Chair in Steering Committee for SPLASH 2016
Nevena MilojkovićMilojković, Nevena University of Bern Exploring Cheap Type Inference Heuristics in Dynamically Typed Languages
Takahiro MiyajimaMiyajima, Takahiro OSCAR TECHNOLOGY, Japan Reducing Parallelizing Compilation Time by Removing Redundant Analysis
Andrea MocciMocci, Andrea Universita della Svizzera italiana (USI) Committee Member in Artifact Evaluation Committee within the SLE-track
Korbinian MolitoriszMolitorisz, Korbinian Agilent Technologies Committee Member in Program Committee within the SEPS-track
Melina MongioviMongiovi, Melina A Change-Centric Approach to Compile Configurable Systems with #ifdefs Scaling Testing of Refactoring Engines
Stefania MonicaMonica, Stefania University of Parma, Italy Interaction Protocols in the JADEL Programming Language
Scott MooreMoore, Scott Harvard University Extensible Access Control with Authorization Contracts
Lucas MoraisMorais, Lucas UNICAMPBrazil SEPS Tutorial: Task-Based Programming Everywhere from Supercomputing to Embedded Multicore Systems
Pierre-Etienne MoreauMoreau, Pierre-Etienne Mines NancyFrance Committee Member in Program Committee within the SLE-track
J. Garrett MorrisMorris, J. Garrett University of Edinburgh, UKUnited Kingdom Committee Member in Program Committee within the NOOL-track
Eliot MossMoss, Eliot University of Massachusetts Amherst Extending OpenJDK To Support Hybrid STM/HTM Hybrid STM/HTM for Nested Transactions on OpenJDK
Sarah MountMount, Sarah King's College LondonUnited Kingdom Committee Member in Program Committee within the DSLDI-track
Henry MucciniMuccini, Henry University of L'Aquila, Italy A Model-Based Method for Seamless Web and Mobile Experience
Dominic P. MulliganMulligan, Dominic P. University of Cambridge The Missing Link: Explaining ELF Static Linking, Semantically
Gail MurphyMurphy, Gail University of British Columbia Onward! 2015 Papers Chair in Steering Committee for SPLASH 2016 Committee Member in Steering Committee for Onward! 2016 SPLASH 2017 Organizing Committee Meeting SPLASH 2017 Removing Stagnation from Modern Code Review
Emerson Murphy-HillMurphy-Hill, Emerson GoogleUnited States Onward! PC Chair in Organizing Committee for SPLASH 2016 Onward! PC Chair in Organizing Committee for SPLASH 2016 Onward! 2016 Papers Chair in Steering Committee for SPLASH 2016 Onward! PC Chair in Organizing Committee for Onward! 2016 Committee Member in Steering Committee for Onward! 2016 Session Chair of Programming Frameworks, Tools, and Methodologies (part of SPLASH OOPSLA) Session Chair of Keynote Friday (part of SPLASH Keynotes and Awards) Session Chair of Session 1 (part of Onward! Papers) Onward Program Chair's Report Program Chair in Program Committee within the Onward! Papers-track ERC member in External Program Committee within the SPLASH OOPSLA-track
Gunter MussbacherMussbacher, Gunter McGill UniversityCanada Delaying Decisions in Variable Concern Hierarchies Committee Member in Program Committee within the SLE-track
Brad A. MyersMyers, Brad A. Carnegie Mellon UniversityUnited States Committee Member in Program Committee within the PLATEAU-track
Florian MyterMyter, Florian Vrije Universiteit Brussel, BelgiumBelgium I Now Pronounce You Reactive and Consistent: Handling Distributed and Replicated State in Reactive Programming Many Spiders Make a Better Web: A Unified Web-Based Actor Framework
Hanspeter MössenböckMössenböck, Hanspeter JKU Linz, AustriaAustria Bringing Low-Level Languages to the JVM: Efficient Execution of LLVM IR on Truffle Cross-Language Compiler Benchmarking: Are We Fast Yet? Towards Advanced Debugging Support for Actor Languages Efficient and Thread-Safe Objects for Dynamically-Typed Languages
Anders MøllerMøller, Anders Aarhus University, Denmark Type Unsoundness in Practice: An Empirical Study of Dart Type Safety Analysis for Dart Committee Member in Program Committee within the SPLASH OOPSLA-track
Birger Møller-PedersenMøller-Pedersen, Birger University of Oslo The Essence of Subclassing
Normen MüllerMüller, Normen Germany Function Passing: A Model for Typed, Distributed Functional Programming
N Priya NagpurkarNagpurkar, Priya IBM Research, USAUnited States Committee Member in Program Committee within the DLS-track
Mayur NaikNaik, Mayur Georgia Tech Accelerating Program Analyses by Cross-Program Training
Aleksandar NanevskiNanevski, Aleksandar IMDEA Software Institute Hoare-Style Specifications as Correctness Conditions for Non-linearizable Concurrent Objects
Karthik NarasimhanNarasimhan, Karthik MIT sk_p: a neural program corrector for MOOCs
Roberto NatellaNatella, Roberto Federico II University of NaplesItaly Committee Member in Program Committee within the SEPS-track
Kartik NayakNayak, Kartik University of Maryland at College Park Helping Johnny Encrypt: Toward Semantic Interfaces for Cryptographic Frameworks
Iulian NeamtiuNeamtiu, Iulian New Jersey Institute of Technology, USAUnited States Finding Resume and Restart Errors in Android Applications Committee Member in Program Committee within the SPLASH Workshops-track
Martin Alexander NeumannNeumann, Martin Alexander libDSU: Towards Hot-Swapping Dynamically Linked Libraries on Stock Linux Towards Practical Release-Level Dynamic Software Updating on Stock Java
Thu NguyenNguyen, Thu Grinnell College, USA Scrambler: Dynamic Layout Adaptation
Jens NicolayNicolay, Jens Vrije Universiteit Brussel, BelgiumBelgium Declaratively Specifying Security Policies For Web Applications Building a Modular Static Analysis Framework in Scala (Tool Paper)
Michael NiekeNieke, Michael TU Braunschweig, Germany Name Resolution Strategies in Variability Realization Languages for Software Product Lines
Kyndylan NienhuisNienhuis, Kyndylan University of Cambridge An Operational Semantics for C/C++11 Concurrency
Oscar NierstraszNierstrasz, Oscar University of Bern, SwitzerlandSwitzerland Moldable, Context-Aware Searching with Spotter Exploring Cheap Type Inference Heuristics in Dynamically Typed Languages Committee Member in Program Committee within the Onward! Essays-track
Adrian NistorNistor, Adrian Chapman University Committee Member in Program Committee within the SPLASH Posters-track
James NobleNoble, James Victoria University of Wellington, New Zealand Hacking with Multi-touch for Java (MT4j) The Left Hand of Equals Committee Member in Program Committee within the SPLASH OOPSLA-track
David NolenNolen, David CognitecUnited States Committee Member in Program Committee within the Onward! Essays-track
Jacques NoyéNoyé, Jacques École des Mines de Nantes, FranceFrance Committee Member in Program Committee within the REBLS-track
Diogenes NunezNunez, Diogenes Tufts UniversityUnited States Prioritized Garbage Collection: Explicit GC Support for Software Caches Programme Committee in Program Committee within the SPLASH OOPSLA Artifacts-track
Nate NystromNystrom, Nate University of LuganoSwitzerland There’s more than one way to skin a cat Committee Member in Program Committee within the Scala-track Committee Member in Program Committee within the SPLASH Workshops-track
O Martin OderskyOdersky, Martin EPFL, SwitzerlandSwitzerland Session Chair of Program Synthesis (part of SPLASH OOPSLA) Implementing Higher-Kinded Types in Dotty SPLASH 2016 Keynote: From DOT to Dotty -- Foundations and Types for Objects As Modules Call Graphs for Languages with Parametric Polymorphism
Georg OfenbeckOfenbeck, Georg ETH Zurich, Switzerland RandIR: Differential Testing for Embedded Compilers
Nobuhiko OguraOgura, Nobuhiko Tokyo City University Coloured Petri-Nets Framework for Simulating Method Invocations on Context-Oriented Software
Hakjoo OhOh, Hakjoo Korea University Synthesizing Regular Expressions from Examples for Introductory Automata Assignments
Yoshiki OhshimaOhshima, Yoshiki Viewpoints Research Institute Committee Member in Program Committee within the REBLS-track
Bruno C. d. S. OliveiraOliveira, Bruno C. d. S. University of Hong Kong Classless Java Committee Member in Program Committee within the FOSD-track ERC member in External Program Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the SLE-track
Cyrus OmarOmar, Cyrus Carnegie Mellon UniversityUnited States Programmable Semantic Fragments: The Design and Implementation of typy
Jesper OqvistOqvist, Jesper Lund University Committee Member in Artifact Evaluation Committee within the SLE-track
Peter-Michael OseraOsera, Peter-Michael Grinnell CollegeUnited States Committee Member in Program Committee within the PLATEAU-track
Klaus OstermannOstermann, Klaus University of Tübingen, Germany Parsing with First-Class Derivatives Committee Member in Program Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the Scala-track
Leo OsvaldOsvald, Leo Gentrification Gone too Far? Affordable 2nd-Class Values for Fun and (Co-)Effect
P Luca PadovaniPadovani, Luca Università di Torino, ItalyItaly Committee Member in Program Committee within the NOOL-track
Sreepathi PaiPai, Sreepathi University of Texas at Austin, USAUnited States A Compiler for Throughput Optimization of Graph Algorithms on GPUs
Jens PalsbergPalsberg, Jens University of California, Los Angeles Committee Member in Program Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the SPLASH OOPSLA-track
Pavel PanchekhaPanchekha, Pavel University of WashingtonUnited States Automated Reasoning for Web Page Layout
Awanish PandeyPandey, Awanish IIT Kanpur, IndiaIndia Regression Aware Debugging for Mobile Applications To Be Precise: Regression Aware Debugging
Changhee ParkPark, Changhee KAIST, South Korea Precise and Scalable Static Analysis of jQuery using a Regular Expression Domain Programme Committee in Program Committee within the SPLASH OOPSLA Artifacts-track
Daejun ParkPark, Daejun University of Illinois at Urbana-Champaign Semantics-Based Program Verifiers for All Languages
Terence ParrParr, Terence University of San Francisco, USA Session Chair of Grammars and Parsing (part of SLE) Towards a Universal Code Formatter through Machine Learning Committee Member in Program Committee within the SLE-track
Leonardo PassosPassos, Leonardo University of Waterloo, Canada Committee Member in Program Committee within the FOSD-track
David J. PearcePearce, David J. Victoria University of WellingtonNew Zealand Committee Member in Program Committee within the SPLASH Workshops-track
Daniel A. A. PelsmaekerPelsmaeker, Daniel A. A. Delft University of Technology, NetherlandsNetherlands A Scalable Infrastructure for Teaching Concepts of Programming Languages in Scala with WebLab: An Experience Report
Betsy PepelsPepels, Betsy Invited talk: Model Driven Software Engineering (MDSE) in the large
Fernando Magno Quintão PereiraPereira, Fernando Magno Quintão Federal University of Minas Gerais, Brazil Committee Member in Program Committee within the Onward! Papers-track
Roly PereraPerera, Roly University of {Glasgow, Edinburgh}United Kingdom Session Chair of Introductions and Inheritance (part of NOOL) Committee Member in Organizing Committee within the NOOL-track
Santiago Perez De RossoPerez De Rosso, Santiago MIT CSAIL Purposes, Concepts, Misfits, and a Redesign of Git
Miquel PericàsPericàs, Miquel Chalmers University of Technology, Sweden Committee Member in Program Committee within the SEPS-track
David Mitchel PerryPerry, David Mitchel Purdue University Apex: Automatic Programming Assignment Error Explanation
Enrico PersianiPersiani, Enrico Metatis sasItaly Whole Platform Solution to a Selection of LWC16 Benchmark Problems
Erez PetrankPetrank, Erez Technion ERC member in External Program Committee within the SPLASH OOPSLA-track
Dmitry PetrashkoPetrashko, Dmitry EPFL, Switzerland Implementing Higher-Kinded Types in Dotty
Dmytro PetrashkoPetrashko, Dmytro EPFL Call Graphs for Languages with Parametric Polymorphism
Simon Peyton JonesPeyton Jones, Simon Microsoft Research, Cambridge SPLASH-E Keynote (Room Matterhorn 3) The dream of a lifetime: Shaping how our children learn computing SPLASH-I/E Keynote: The dream of a lifetime: Shaping how our children learn computing
Wulf PfeifferPfeiffer, Wulf TU Darmstadt, Germany The IDE Portability Problem and Its Solution in Monto
Michael PhilippsenPhilippsen, Michael University of Erlangen-Nuremberg, GermanyGermany Committee Member in Program Committee within the SEPS-track
Laure PhilipsPhilips, Laure Software Languages Lab Dependence-Driven Delimited CPS Transformation for JavaScript
Christopher J. F. PickettPickett, Christopher J. F. McGill University, Canada Exhaustive Analysis of Thread-Level Speculation
Benjamin C. PiercePierce, Benjamin C. University of PennsylvaniaUnited States SPLASH 2016 Keynote: The Science of Deep Specification
Luís PinaPina, Luís Imperial College London, UKPortugal Programme Committee in Program Committee within the SPLASH OOPSLA Artifacts-track
Keshav PingaliPingali, Keshav University of Texas at Austin, USA A Compiler for Throughput Optimization of Graph Algorithms on GPUs
Marco PistoiaPistoia, Marco IBM ResearchUnited States Committee Member in Program Committee within the Mobile!-track
Agostino PoggiPoggi, Agostino University of Parma, Italy Interaction Protocols in the JADEL Programming Language
Guillermo PolitoPolito, Guillermo InriaArgentina Instance Migration in Dynamic Software Update
Joe Gibbs PolitzPolitz, Joe Gibbs Swarthmore CollegeUnited States Committee Member in Program Committee within the DLS-track
Justin PombrioPombrio, Justin Brown UniversityUnited States Committee Member in Program Committee within the DSLDI-track
Jaroslav PorubänPorubän, Jaroslav Technical University of Košice, Slovakia A Quantitative Study of Java Software Buildability
Alex PotaninPotanin, Alex Victoria University of WellingtonNew Zealand Publications Chair in Organizing Committee for SPLASH 2016 Naturally Embedded DSLs Delegation Revisited Committee Member in Program Committee within the NOOL-track
James PowerPower, James Maynooth UniversityIreland Deriving Grammar Transformations for Developing and Maintaining Multiple Parser Versions
Michael PradelPradel, Michael TU Darmstadt, Germany Session Chair of Session 2 (part of WODA) Session Chair of Session 4 (part of WODA) Session Chair of Session 1 (part of WODA) Session Chair of Session 3 (part of WODA) Committee Member in Organizing Committee within the WODA-track
Aleksandar ProkopecProkopec, Aleksandar Oracle Labs, SwitzerlandSwitzerland Pluggable Scheduling for the Reactor Programming Model Programme Committee in Program Committee within the AGERE-track
Jonathan ProtzenkoProtzenko, Jonathan Microsoft ResearchUnited States Committee Member in Program Committee within the Mobile!-track
Yewen PuPu, Yewen sk_p: a neural program corrector for MOOCs
Bill PughPugh, Bill University of Maryland, College Park ERC member in External Program Committee within the SPLASH OOPSLA-track
Angel Luis Scull PupoPupo, Angel Luis Scull Sofware Languages Lab, Vrije Universiteit Brussel Declaratively Specifying Security Policies For Web Applications
Jorge A. PérezPérez, Jorge A. University of Groningen, The Netherlands A Reactive Interpretation of Session-Based Concurrency (In Progress Paper)
Markus PüschelPüschel, Markus ETH ZurichSwitzerland Program Generation for Linear Algebra Using Multiple Layers of DSLs RandIR: Differential Testing for Embedded Compilers
Q Rodrigo QueirozQueiroz, Rodrigo University of Waterloo, Canada Towards Predicting Feature Defects in Software Product Lines
Christoffer Quist AdamsenQuist Adamsen, Christoffer Aarhus UniversityDenmark Programme Committee in Program Committee within the SPLASH OOPSLA Artifacts-track
R Markus RaabRaab, Markus Vienna University of Technology, Austria Persistent Contextual Values as Inter-process Layers
Cosmin RadoiRadoi, Cosmin University of Illinois Programme Committee in Program Committee within the SPLASH OOPSLA Artifacts-track
Arun Krishnakumar RajagopalanRajagopalan, Arun Krishnakumar Texas A&M University Precise and Maximal Race Detection from Incomplete Traces
Hridesh RajanRajan, Hridesh Iowa State University, USAUnited States First-Class Effect Reflection for Effect-Guided Programming Committee Member in Steering Committee within the VMIL-track Programme Committee in Program Committee within the AGERE-track Committee Member in Program Committee within the META-track Committee Member in Program Committee within the REBLS-track
Zvonimir RakamaricRakamaric, Zvonimir University of UtahUnited States Portable Inter-workgroup Barrier Synchronisation for GPUs
Miguel RamosRamos, Miguel Federal University of Minas Gerais, Brazil AngularJS in the Wild: A Survey with 460 Developers
Marianna RapoportRapoport, Marianna University of WaterlooCanada Programme Committee in Program Committee within the SPLASH OOPSLA Artifacts-track
Veselin RaychevRaychev, Veselin ETH Zurich, SwitzerlandBulgaria Session Chair of Session 4 (part of Onward! Papers) Probabilistic Model for Code with Decision Trees Committee Member in Program Committee within the SPLASH Posters-track
Derek RaysideRayside, Derek University of Waterloo Committee Member in Program Committee within the GPCE-track
Stefan ReichhartReichhart, Stefan Moldable, Context-Aware Searching with Spotter
Patrick ReinRein, Patrick Hasso Plattner Institute Gramada: Immediacy in Programming Language Development Deducing Classes: Integrating the Domain Models of Object-Oriented Applications
Jan S. RellermeyerRellermeyer, Jan S. IBM Research Workshops Co-Chair in Organizing Committee for SPLASH 2016 Workshops Co-Chair in Organizing Committee within the SPLASH Workshops-track
Brianna M. RenRen, Brianna M. University of Maryland, College Park Programme Committee in Program Committee within the SPLASH OOPSLA Artifacts-track
Thierry RenauxRenaux, Thierry Vrije Universiteit Brussel A model for Reflection in Rule-Based Languages
Tillmann RendelRendel, Tillmann University of Tübingen, GermanyGermany Parsing with First-Class Derivatives Committee Member in Program Committee within the DSLDI-track
Michel ReniersReniers, Michel TU/e Integrated Simulation of CIF3 and Simulink Models
Thomas RepsReps, Thomas University of Wisconsin - Madison and Grammatech Inc.United States Speeding Up Machine-Code Synthesis An Improved Algorithm for Slicing Machine Code
Márcio RibeiroRibeiro, Márcio Federal University of Alagoas (UFAL)Brazil A Change-Centric Approach to Compile Configurable Systems with #ifdefs Committee Member in Program Committee within the FOSD-track
Alessandro RicciRicci, Alessandro University of Bologna, ItalyItaly Session Chair of Session 2 (AGERE) (part of SPLASH -I) Conflicting Goals in Agent-Oriented Programming An Extension of AgentSpeak(L) and Jason Tailored to Programming and Software Development Agent-Oriented Programming Committee Member in Organizing Committee within the AGERE-track
Gregor RichardsRichards, Gregor University of Waterloo Committee Member in Program Committee within the Onward! Papers-track
Sebastian RichlyRichly, Sebastian TU Dresden, Germany FRaMED: Full-Fledge Role Modeling Editor (Tool Demo)
Manuel RiggerRigger, Manuel Johannes Kepler University, Linz, AustriaAustria Bringing Low-Level Languages to the JVM: Efficient Execution of LLVM IR on Truffle
Armin RigoRigo, Armin PyPy.org, Switzerland Parallel Virtual Machines with RPython
Matthew RobertsRoberts, Matthew Macquarie University Specifying CSS Layout with Reference Attribute Grammars Committee Member in Artifact Evaluation Committee within the SLE-track
Gustavo Rodriguez-RiveraRodriguez-Rivera, Gustavo Purdue UniversityUnited States Apex: Automatic Programming Assignment Error Explanation
Tiark RompfRompf, Tiark Purdue University, USAUnited States Session Chair of Session 6 (part of SPLASH -I) Session Chair of Software Product Lines and Testing (part of GPCE) Generative Programming: from High-Performance to Safety-Critical Applications GPCE 2016 Keynote: Lightweight Modular Staging (LMS): Generate all the things! Reflections on LMS: Exploring Front-End Alternatives RandIR: Differential Testing for Embedded Compilers Type Soundness for Dependent Object Types (DOT) Gentrification Gone too Far? Affordable 2nd-Class Values for Fun and (Co-)Effect Committee Member in Program Committee within the DSLDI-track Keynote Speaker in Keynote Speaker within the GPCE-track
Boaz RosenanRosenan, Boaz University of HaifaIsrael Cedalion's Response to the 2016 Language Workbench Challenge A Web Application is a Domain-Specific Language Define Your App, Don’t Implement It: Building a Scalable Social Network in 45 minutes
Matti RossiRossi, Matti Aalto University School of Business Session Chair of Group work session (part of DSM) Session Chair of Robotics and Safety (part of DSM) Committee Member in Organizing Committee within the DSM-track
Alessandro RossiniRossini, Alessandro SINTEF, Norway Experiences of Models@run-time with EMF and CDO
Andrea RosàRosà, Andrea Università della Svizzera italianaSwitzerland Actor Profiling in Virtual Execution Environments
Valentin RothbergRothberg, Valentin Friedrich-Alexander University of Erlangen-Nürnberg Towards Scalable Configuration Testing in Variable Software
Romain RouvoyRouvoy, Romain University Lille 1 and INRIA Committee Member in Program Committee within the META-track
Subhajit RoyRoy, Subhajit IIT Kanpur, India Regression Aware Debugging for Mobile Applications To Be Precise: Regression Aware Debugging
Grigore RoşuRoşu, Grigore University of Illinois at Urbana-ChampaignUnited States Semantics-Based Program Verifiers for All Languages
Julia RubinRubin, Julia Massachusetts Institute of Technology Committee Member in Program Committee within the FOSD-track Committee Member in Program Committee within the ITSLE-track Committee Member in Program Committee within the SLE-track
Bernhard RumpeRumpe, Bernhard RWTH Aachen University, Germany Committee Member in Program Committee within the SEPS-track
Tobias RungeRunge, Tobias TU Braunschweig MADFAct—Constructing Dictionaries
Adrian RutleRutle, Adrian Bergen University College , NorwayNorway Committee Member in Program Committee within the ITSLE-track
Sukyoung RyuRyu, Sukyoung KAIST, South KoreaKorea, South Precise and Scalable Static Analysis of jQuery using a Regular Expression Domain Committee Member in Program Committee within the SPLASH OOPSLA-track
István RáthRáth, István Budapest University of Technology and EconomicsHungary Committee Member in Program Committee within the SLE-track
Marko RöderRöder, Marko HARC / Y Combinator ResearchUnited States A World of Active Objects for Work and Play: The First Ten Years of Lively
S Gunter SaakeSaake, Gunter Magdeburg University IncLing: Efficient Product-Line Testing Using Incremental Pairwise Sampling Tool Demo: Testing Configurable Systems with FeatureIDE A Feature-Based Personalized Recommender System for Product-Line Configuration
Caitlin SadowskiSadowski, Caitlin Google Committee Member in Program Committee within the SPLASH OOPSLA-track
Luca SalucciSalucci, Luca Università della Svizzera italiana (USI) GEMs: Shared-Memory Parallel Programming for Node.js
Guido SalvaneschiSalvaneschi, Guido TU Darmstadt, Germany Towards a Comprehensive Multitier Reactive Language What Do We Really Know about Data Flow Languages? SecureScala: Scala Embedding of Secure Computations Reactive Async: Expressive Deterministic Concurrency Committee Member in Organizing Committee within the REBLS-track
Malavika SamakSamak, Malavika Indian Institute of Science, BangaloreIndia Directed Synthesis of Failing Concurrent Executions Programme Committee in Program Committee within the SPLASH OOPSLA Artifacts-track
Jose Lorenzo San MiguelSan Miguel, Jose Lorenzo Keio University, Japan GUI and Usage Model-Based Test Case Generation for Android Applications with Change Analysis
Beverly SandersSanders, Beverly University of Florida SEPS Panel discussion: Engineering software performance for upcoming heterogeneous computing systems - through programming patterns, runtime systems and tools SEPS Keynote: Patterns for Parallel Programming: New and Improved!
Francisco Sant'AnnaSant'Anna, Francisco Rio de Janeiro State UniversityBrazil Committee Member in Program Committee within the REBLS-track
André L. SantosSantos, André L. University Institute of Lisbon, Portugal Xdiagram: A Declarative Textual DSL for Describing Diagram Editors (Tool Demo)
Gustavo SantosSantos, Gustavo Inria, France AngularJS in the Wild: A Survey with 460 Developers
João SaraivaSaraiva, João University of Minho, Portugal Parsing and Reflective Printing, Bidirectionally
Vivek SarkarSarkar, Vivek Rice University, USA Automatic Parallelization of Pure Method Calls via Conditional Future Synthesis
Jennifer B. SartorSartor, Jennifer B. Vrije Universiteit Brussel + University Ghent Committee Member in Program Committee within the VMIL-track
Annabel SatinSatin, Annabel Treasurer & Conference Manager in Organizing Committee for SPLASH 2016
Yukinori SatoSato, Yukinori Tokyo Institute of TechnologyJapan SEPS Panel discussion: Engineering software performance for upcoming heterogeneous computing systems - through programming patterns, runtime systems and tools Committee Member in Organizing Committee within the SEPS-track
Benjamin SaulSaul, Benjamin Martin-Luther-University Halle-Wittenberg A Domain Specific Language for Optimal Pumping Systems
Savvas SavvidesSavvides, Savvas Purdue University SecureScala: Scala Embedding of Secure Computations
Kensuke SawadaSawada, Kensuke Tokyo Institute of Technology, Japan Towards an Integration of the Actor Model in an FRP Language for Small-Scale Embedded Systems
Alexandre Sawczuk da SilvaSawczuk da Silva, Alexandre Victoria University of Wellington Committee Member in Artifact Evaluation Committee within the SLE-track
Ina SchaeferSchaefer, Ina TU Braunschweig, GermanyGermany GPCE Program Chair in Organizing Committee for SPLASH 2016 Program Chair in Organizing Committee for GPCE 2016 Session Chair of Keynote (part of GPCE) Implicit Constraints in Partial Feature Models Variability Mining of State Charts Name Resolution Strategies in Variability Realization Languages for Software Product Lines Fine-Grained Test Case Prioritization for Integration Testing of Delta-Oriented Software Product Lines Higher-Order Delta Modeling for Software Product Line Evolution MADFAct—Constructing Dictionaries Committee Member in Program Committee within the FOSD-track Program Chair in Program Committee within the GPCE-track
Max SchaeferSchaefer, Max Semmle Committee Member in Program Committee within the Onward! Papers-track
Emmanuel SchanzerSchanzer, Emmanuel Brown UniversityUnited States Bootstrap: Build Bridges, not Walls
R.R.H. SchiffelersSchiffelers, R.R.H. ASML Udapt: Edapt Extensions for Industrial Application
Ramon SchiffelersSchiffelers, Ramon Eindhoven University of Technology and ASML, the NetherlandsNetherlands Committee Member in Program Committee within the ITSLE-track
Sonja SchimmlerSchimmler, Sonja Bundeswehr University MunichGermany Committee Member in Program Committee within the DSLDI-track
Eugen SchindlerSchindler, Eugen OceNetherlands Session Chair of Discussion (part of LWC@SLE) Language Workbench Challenge 2016: the JetBrains Meta Programming System Committee Member in Organizing Committee within the LWC@SLE-track
Klemens SchindlerSchindler, Klemens Sioux Embedded Systems Language Workbench Challenge 2016: the JetBrains Meta Programming System
Eric SchkufzaSchkufza, Eric Stanford University A Sampling-based Approach to Accelerating Queries in Log Management Systems
Tobias SchlatterSchlatter, Tobias EPFL, Switzerland Semantics-Driven Interoperability between Scala.js and JavaScript Parallel Incremental Whole-Program Optimizations for Scala.js
Cole SchlesingerSchlesinger, Cole Samsung Research America JavaScript in the Small A Practical Framework for Type Inference Error Explanation Type Inference for Static Compilation of JavaScript
Georg Stefan SchmidSchmid, Georg Stefan EPFL, Switzerland SMT-Based Checking of Predicate-Qualified Types for Scala
Klaus SchmidSchmid, Klaus University of HildesheimGermany Committee Member in Program Committee within the FOSD-track
Thomas C. SchmidtSchmidt, Thomas C. HAW HamburgGermany Reconsidering Reliability in Distributed Actor Systems Programme Committee in Program Committee within the AGERE-track
Christophe ScholliersScholliers, Christophe Universiteit Gent, Belgium I Now Pronounce You Reactive and Consistent: Handling Distributed and Replicated State in Reactive Programming Many Spiders Make a Better Web: A Unified Web-Based Actor Framework
Ivonne SchröterSchröter, Ivonne University of Magdeburg, Germany FeatureCoPP: Compositional Annotations
Reimar SchröterSchröter, Reimar Magdeburg University Tool Demo: Testing Configurable Systems with FeatureIDE
Ulrik Pagh SchultzSchultz, Ulrik Pagh University of Southern Denmark PLMW Chair in Organizing Committee for SPLASH 2016 Session Chair of Session 4 (part of SPLASH PLMW) Session Chair of Session 2 (part of SPLASH PLMW) Session Chair of Reception (part of SPLASH PLMW) Session Chair of Session 8 (part of SPLASH -I) Session Chair of Generative Programming II (part of GPCE) Automatic Code Generation in Practice: Experiences with Embedded Robot Controllers Welcome and overview PLMW Co-Chair in Organizing Committee within the SPLASH PLMW-track Committee Member in Program Committee within the GPCE-track
Sandro SchulzeSchulze, Sandro TU Hamburg, GermanyGermany Variability Mining of State Charts Committee Member in Program Committee within the FOSD-track Committee Member in Program Committee within the GPCE-track
Sibylle SchuppSchupp, Sibylle TU HamburgGermany Committee Member in Program Committee within the SLE-track
Sven SchusterSchuster, Sven TU Braunschweig, Germany Name Resolution Strategies in Variability Realization Languages for Software Product Lines
Bernhard SchätzSchätz, Bernhard Technische Universität München, fortiss GmbHGermany Committee Member in Program Committee within the SLE-track Committee Member in Program Committee within the SLE-track
Elizabeth ScottScott, Elizabeth Royal Holloway University of London Multiple input GLL parsing Good enough for you? Explaining ourselves through standard challenges Committee Member in Organizing Committee within the Parsing@SLE-track
Robert SeacordSeacord, Robert Secure Coding InstituteUnited States Committee Member in Program Committee within the Mobile!-track
Chris SeatonSeaton, Chris Oracle LabsUnited Kingdom AST Specialisation and Partial Evaluation for Easy High-Performance Metaprogramming Truffle and Graal: Fast Programming Languages With Modest Effort Committee Member in Program Committee within the DLS-track
Christoph SeidlSeidl, Christoph Technische Universität Braunschweig Session Chair of Feature Models and Product Lines (part of GPCE) Session Chair of Session 1 - Opening + Keynote (part of FOSD) Workshop Opening Chair in Organizing Committee within the FOSD-track Publicity Chair in Program Committee within the GPCE-track
Alexander SerebrenikSerebrenik, Alexander Eindhoven University of Technology Udapt: Edapt Extensions for Industrial Application
Ilya SergeySergey, Ilya University College LondonUnited Kingdom Hoare-Style Specifications as Correctness Conditions for Non-linearizable Concurrent Objects Committee Member in Program Committee within the Scala-track
Manuel SerranoSerrano, Manuel INRIAFrance Committee Member in Program Committee within the DLS-track Steering Committee Member in Steering Committee within the DLS-track
Marco ServettoServetto, Marco Victoria University of Wellington Classless Java
Peter SewellSewell, Peter University of Cambridge An Operational Semantics for C/C++11 Concurrency The Missing Link: Explaining ELF Static Linking, Semantically
Daniel SeyboldSeybold, Daniel Ulm University, Germany Experiences of Models@run-time with EMF and CDO
Seyyed ShahShah, Seyyed University of OxfordUnited Kingdom Session Chair of Booster: Hands On (part of SA-MDE) Booster: A Gentle Introduction Publicity Chair in Organizing Committee within the SA-MDE-track
Zhiyong ShanShan, Zhiyong University of Central Missouri, USAUnited States Finding Resume and Restart Errors in Android Applications
Abhishek SharmaSharma, Abhishek Integrated Simulation of CIF3 and Simulink Models
Rahul SharmaSharma, Rahul Microsoft ResearchIndia Dependent Partitioning
Tushar SharmaSharma, Tushar University of Wisconsin - Madison, USA Speeding Up Machine-Code Synthesis
Mary SheeranSheeran, Mary Chalmers University of Technology Committee Member in Program Committee within the GPCE-track
Jiasi ShenShen, Jiasi Massachusetts Institute of Technology Programme Committee in Program Committee within the SPLASH OOPSLA Artifacts-track Committee Member in Artifact Evaluation Committee within the SLE-track
Ruslan ShevchenkoShevchenko, Ruslan vertamedia Scala-Gopher: CSP-style programming techniques with idiomatic Scala.
Mamoru ShimaokaShimaoka, Mamoru Waseda University, Japan Reducing Parallelizing Compilation Time by Removing Redundant Analysis
Janet SiegmundSiegmund, Janet University of Passau Germany Committee Member in Program Committee within the PLATEAU-track
Norbert SiegmundSiegmund, Norbert University of Passau Committee Member in Program Committee within the FOSD-track Committee Member in Program Committee within the GPCE-track
Jeremy G. SiekSiek, Jeremy G. Indiana UniversityUnited States ERC member in External Program Committee within the SPLASH OOPSLA-track
Konrad SiekSiek, Konrad Poznań University of Technology, Poland Atomic RMI 2: Distributed Transactions for Java
Alberto SillittiSillitti, Alberto Innopolis UniversityRussia Committee Member in Steering Committee within the Mobile!-track Co-chair in Organizing Committee within the Mobile!-track
Jeremy SingerSinger, Jeremy University of GlasgowUnited Kingdom Session Chair of Session 4 (part of VMIL) Solutions to Three Language Workbench Challenges using Wizards Workbench Invited Talk: The seven ages of virtual machines (with apologies to Shakespeare) Committee Member in Program Committee within the VMIL-track Committee Member in Program Committee within the PLATEAU-track
Rishabh SinghSingh, Rishabh Microsoft ResearchIndia FIDEX: Filtering Spreadsheet Data using Examples
Rohit SinghSingh, Rohit MIT Deriving Divide-and-Conquer Dynamic Programming Algorithms using Solver-Aided Transformations
John L. SingletonSingleton, John L. University of Central FloridaUnited States Programme Committee in Program Committee within the SPLASH OOPSLA Artifacts-track
Marjan SirjaniSirjani, Marjan Reykjavik UniversityIceland Programme Committee in Program Committee within the AGERE-track
John SlabySlaby, John Raytheon Integrated Defense Systems USAUnited States Committee Member in Program Committee within the ITSLE-track
Elliott SlaughterSlaughter, Elliott Dependent Partitioning
Anthony SloaneSloane, Anthony Macquarie University, AustraliaAustralia Session Chair of Development Environments (part of SLE) The sbt-rats Parser Generator Plugin for Scala (Tool Paper) Specifying CSS Layout with Reference Attribute Grammars Committee Member in Program Committee within the ITSLE-track Committee Member in Program Committee within the SLE-track
Yannis SmaragdakisSmaragdakis, Yannis University of Athens OOPSLA Program Chair in Organizing Committee for SPLASH 2016 OOPSLA 2016 PC Chair in Steering Committee for SPLASH 2016 Session Chair of Keynote Thursday (part of SPLASH Keynotes and Awards) From Soundiness to Soundness OOPSLA 2016 Program Chair's Report SIGPLAN Awards OOPSLA Awards Program Chair in Program Committee within the SPLASH OOPSLA-track
Justin SmithSmith, Justin North Carolina State UniversityUnited States Programme Committee in Program Committee within the SPLASH OOPSLA Artifacts-track
Thomas SmithSmith, Thomas Delft University of Technology, Netherlands A Scalable Infrastructure for Teaching Concepts of Programming Languages in Scala with WebLab: An Experience Report
Sunbeom SoSo, Sunbeom Korea University Synthesizing Regular Expressions from Examples for Introductory Automata Assignments
Stefan SobernigSobernig, Stefan Vienna University of Economics and BusinessAustria Committee Member in Program Committee within the FOSD-track
Armando Solar-LezamaSolar-Lezama, Armando MIT CSAILUnited States sk_p: a neural program corrector for MOOCs Deriving Divide-and-Conquer Dynamic Programming Algorithms using Solver-Aided Transformations
Riccardo SolmiSolmi, Riccardo Whole Factory srlItaly Whole Platform Solution to a Selection of LWC16 Benchmark Problems
Peter SommerladSommerlad, Peter University of Applied Sciences Rapperswil, Switzerland Scaps: Type-Directed API Search for Scala
Tyler SorensenSorensen, Tyler Imperial College LondonUnited Kingdom Portable Inter-workgroup Barrier Synchronisation for GPUs
Vasco SousaSousa, Vasco University of Montreal Committee Member in Artifact Evaluation Committee within the SLE-track
Daniele G. SpampinatoSpampinato, Daniele G. ETH Zurich Program Generation for Linear Algebra Using Multiple Layers of DSLs
Maria SpichkovaSpichkova, Maria RMIT University, AustraliaAustralia Committee Member in Artifact Evaluation Committee within the SLE-track
Myra SpiliopoulouSpiliopoulou, Myra University of Magdeburg A Feature-Based Personalized Recommender System for Product-Line Configuration
Jonathan SprinkleSprinkle, Jonathan University of ArizonaUnited States Session Chair of Introduction & Languages (part of DSM) Session Chair of Group work session (part of DSM) Committee Member in Organizing Committee within the DSM-track
Manu SridharanSridharan, Manu Samsung Research America A Practical Framework for Type Inference Error Explanation Type Inference for Static Compilation of JavaScript Committee Member in Program Committee within the SPLASH OOPSLA-track
Venkatesh SrinivasanSrinivasan, Venkatesh University of Wisconsin - MadisonIndia Speeding Up Machine-Code Synthesis An Improved Algorithm for Slicing Machine Code
Witawas Srisa-anSrisa-an, Witawas University of Nebraska-Lincoln Co-chair in Organizing Committee within the VMIL-track
Vincent St-AmourSt-Amour, Vincent Northeastern University Languages the Racket Way: Submission to the 2016 Language Workbench Challenge Panel: Young Researchers
Lukas StadlerStadler, Lukas Oracle Labs, AustriaAustria Optimizing R Language Execution via Aggressive Speculation
Mark StampStamp, Mark San Jose State University Virtual Values for Taint and Information Flow Analysis
Guy L. Steele Jr.Steele Jr., Guy L. Oracle LabsUnited States Committee Member in Steering Committee for Onward! 2016 Onward! Most Notable Paper Award SPLASH-I Keynote: How to Tell a Compiler What We Think We Know?
Andrei StefanescuStefanescu, Andrei University of Illinois at Urbana-Champaign Semantics-Based Program Verifiers for All Languages
Andreas StefikStefik, Andreas University of Nevada, Las Vegas United States Committee Member in Program Committee within the PLATEAU-track
Friedrich SteimannSteimann, Friedrich Fernuniversität Goodbye Chomsky, Hello Tesnière: Replacing Constituency with Dependency in Software Languages Computing Repair Alternatives for Malformed Programs using Constraint Attribute Grammars
Michael SteindorferSteindorfer, Michael CWI, Netherlands Towards a Software Product Line of Trie-Based Collections
Quentin StiévenartStiévenart, Quentin Vrije Universiteit Brussel, Belgium Building a Modular Static Analysis Framework in Scala (Tool Paper)
Mirko StockerStocker, Mirko University of Applied Sciences Rapperswil, SwitzerlandSwitzerland Scaps: Type-Directed API Search for Scala Committee Member in Program Committee within the Scala-track
Jouke StoelStoel, Jouke CWI Solving the Bank with Rebel
Mark StoodleyStoodley, Mark IBM Canada Rebuilding an Airliner In Flight: A Retrospective on Refactoring IBM Testarossa production compiler for Eclipse OMR Keynote: The good, the good enough, and some things we wish we had done differently: runtime design lessons from a production JVM
Fabio StroccoStrocco, Fabio Aarhus University, Denmark Type Unsoundness in Practice: An Empirical Study of Dart Type Safety Analysis for Dart
Daniel StrüberStrüber, Daniel University of Koblenz-Landau, GermanyGermany Committee Member in Artifact Evaluation Committee within the SLE-track
Nicolas StuckiStucki, Nicolas EPFL, SwitzerlandSwitzerland Semantics-Driven Interoperability between Scala.js and JavaScript
Sandro StuckiStucki, Sandro EPFLSwitzerland Opening - Day 1 Opening - Day 2 Co-chair in Organizing Committee within the Scala-track
Zhendong SuSu, Zhendong University of California, DavisUnited States Building White-Box Abstractions by Program Refinement Finding Compiler Bugs via Live Code Mutation
Midori SugayaSugaya, Midori Shibaura Institute of Technology Coloured Petri-Nets Framework for Simulating Method Invocations on Context-Oriented Software
Kevin SullivanSullivan, Kevin University of VirginiaUnited States Committee Member in Steering Committee for Onward! 2016
Matúš SulírSulír, Matúš Technical University of KošiceSlovakia A Quantitative Study of Java Software Buildability
Chengnian SunSun, Chengnian University of California, Davis Finding Compiler Bugs via Live Code Mutation
Weibin SunSun, Weibin Google Inc. Committee Member in Program Committee within the Mobile!-track
Joshua SunshineSunshine, Joshua Carnegie Mellon University Session Chair of Session 2 (part of PLATEAU) Committee Member in Organizing Committee within the PLATEAU-track
Gerson SunyéSunyé, Gerson INRIA Rennes Automatic Non-functional Testing of Code Generators Families
Rishi SurendranSurendran, Rishi Rice University, USA Automatic Parallelization of Pure Method Calls via Conditional Future Synthesis
Neeraj SuriSuri, Neeraj TU DarmstadtGermany Committee Member in Program Committee within the SEPS-track
Ana Maria SutiiSutii, Ana Maria Eindhoven University of Technology Language Workbench Challenge 2016: the JetBrains Meta Programming System Pattern Specification and Application in Metamodels in Ecore
Kazuhiko SuzukiSuzuki, Kazuhiko OSCAR TECHNOLOGY, Japan Reducing Parallelizing Compilation Time by Removing Redundant Analysis
Janwillem SwalensSwalens, Janwillem Vrije Universiteit Brussel, BelgiumBelgium Just-in-Time Inheritance: A Dynamic and Implicit Multiple Inheritance Mechanism
Aliaksei SyrelSyrel, Aliaksei University of Bern Moldable, Context-Aware Searching with Spotter
Eugene SyrianiSyriani, Eugene University of Montreal Committee Member in Program Committee within the SLE-track
Tamás SzabóSzabó, Tamás itemis AG / TU DelftGermany Efficient Development of Consistent Projectional Editors using Grammar Cells Dedicated Support for Analyses and Optimizations in Language Workbenches Committee Member in Program Committee within the LWC@SLE-track
Jesús Sánchez CuadradoSánchez Cuadrado, Jesús Autonomous University of Madrid, Spain Efficient Model Partitioning for Distributed Model Transformations
Emma SöderbergSöderberg, Emma GoogleDenmark From Tricorder to Tricium: Useful Static Analysis and the Importance of Workflow Integration Committee Member in Program Committee within the PLATEAU-track Committee Member in Program Committee within the SLE-track
T Gabriele TaentzerTaentzer, Gabriele University of Marburg Committee Member in Program Committee within the SLE-track Committee Member in Program Committee within the DSM-track
Marcel TaeumelTaeumel, Marcel Hasso Plattner InstituteGermany Gramada: Immediacy in Programming Language Development
Walid TahaTaha, Walid Committee Member in Program Committee within the GPCE-track
Antero TaivalsaariTaivalsaari, Antero Nokia Technologies A World of Active Objects for Work and Play: The First Ten Years of Lively
Shingo TakadaTakada, Shingo Keio University, Japan Mobile Application Test Case Generation Focusing on External Events GUI and Usage Model-Based Test Case Generation for Android Applications with Change Analysis Committee Member in Program Committee within the Mobile!-track
Moriyuki TakamuraTakamura, Moriyuki OSCAR TECHNOLOGY, Japan Reducing Parallelizing Compilation Time by Removing Redundant Analysis
Niko TakayesuTakayesu, Niko Grinnell College, USA Scrambler: Dynamic Layout Adaptation
Ryota TamuraTamura, Ryota Waseda University, Japan Reducing Parallelizing Compilation Time by Removing Redundant Analysis
Ikuta TanigawaTanigawa, Ikuta Kyusyu University Coloured Petri-Nets Framework for Simulating Method Invocations on Context-Oriented Software
Éric TanterTanter, Éric University of ChileChile Committee Member in Program Committee within the META-track ERC member in External Program Committee within the SPLASH OOPSLA-track
Olivier TardieuTardieu, Olivier IBM Research Session Chair of Language Design and Programming Models II (part of SPLASH OOPSLA) ActiveSheets: Stream Processing with a Spreadsheet (Keynote) Committee Member in Program Committee within the SPLASH OOPSLA-track
Ross TateTate, Ross Cornell UniversityUnited States Session Chair of Session 9 (part of SPLASH -I) Java and Scala's Type Systems are Unsound: The Existential Crisis of Null Pointers
Zachary TatlockTatlock, Zachary University of Washington, SeattleUnited States Scalable Verification of Border Gateway Protocol Configurations with an SMT Solver
Leopoldo TeixeiraTeixeira, Leopoldo Federal University of PernambucoBrazil Session Chair of Session 1 - Opening + Keynote (part of FOSD) Workshop Opening A Change-Centric Approach to Compile Configurable Systems with #ifdefs Chair in Organizing Committee within the FOSD-track
Ewan TemperoTempero, Ewan The University of AucklandNew Zealand Committee Member in Program Committee within the Onward! Papers-track
Ciprian TeodorovTeodorov, Ciprian ENSTA Bretagne, France Object-Oriented Design Pattern for DSL Program Monitoring
Ricardo TerraTerra, Ricardo Federal University of Lavras, BrazilBrazil AngularJS in the Wild: A Survey with 460 Developers
Pablo TesoneTesone, Pablo Inria Lille–Nord Europe, France Mines Douai, IA, Univ. Lille, France Instance Migration in Dynamic Software Update
Peter ThiemannThiemann, Peter University of FreiburgGermany SIGPLAN Vice Chair in Steering Committee for SPLASH 2016 Committee Member in Steering Committee for Onward! 2016 Steering Committee Member in Steering Committee within the DLS-track
Bent ThomsenThomsen, Bent Aalborg University, DenmarkDenmark Discount Method for Programming Language Evaluation
Johan ThorsbergThorsberg, Johan Lund University, Sweden DrAST: An Inspection Tool for Attributed Syntax Trees (Tool Demo)
Suresh ThummalapentaThummalapenta, Suresh Microsoft Research, RedmondUnited States Committee Member in Program Committee within the Onward! Papers-track
John A. ThywissenThywissen, John A. The University of Texas at AustinUnited States OrcO: A Concurrency-First Approach to Objects
Thomas ThümThüm, Thomas University of UlmGermany Implicit Constraints in Partial Feature Models IncLing: Efficient Product-Line Testing Using Incremental Pairwise Sampling Explaining Anomalies in Feature Models Tool Demo: Testing Configurable Systems with FeatureIDE
Eli TilevichTilevich, Eli Virginia Tech ERC member in External Program Committee within the SPLASH OOPSLA-track
Nikolai TillmannTillmann, Nikolai Microsoft Committee Member in Program Committee within the Mobile!-track
Frank TipTip, Frank Samsung Research AmericaUnited States Feedback-Directed Instrumentation for Deployed JavaScript Applications Type Inference for Static Compilation of JavaScript Committee Member in Program Committee within the SPLASH OOPSLA-track
Massimo TisiTisi, Massimo AtlanMod, FranceFrance Efficient Model Partitioning for Distributed Model Transformations Committee Member in Program Committee within the ITSLE-track
Ben L. TitzerTitzer, Ben L. Google Keynote: WebAssembly from wire to machine code: a view inside V8's implementation
Sam Tobin-HochstadtTobin-Hochstadt, Sam Indiana UniversityUnited States Committee Member in Program Committee within the DLS-track
Juha-Pekka TolvanenTolvanen, Juha-Pekka MetaCase, Finland Session Chair of Group work session (part of DSM) Session Chair of Panel session (part of DSM) Collaborative Design, Implementation and Use of Domain-Specific Languages MetaEdit+ for Collaborative Language Engineering and Language Use (Tool Demo) Committee Member in Organizing Committee within the DSM-track
Federico TomassettiTomassetti, Federico IndependentItaly Language Workbench Challenge 2016: the JetBrains Meta Programming System
Taichi TomiokaTomioka, Taichi Waseda University Implementation of LMNtal Model Checkers: a Metaprogramming Approach
Tony Clark Tony Clark Middlesex University, LondonUnited Kingdom Actor Monitors for Adaptive Behaviour Committee Member in Program Committee within the DSM-track
Emina TorlakTorlak, Emina University of WashingtonUnited States Automated Reasoning for Web Page Layout Scalable Verification of Border Gateway Protocol Configurations with an SMT Solver Committee Member in Program Committee within the Onward! Papers-track
Massimo TorquatiTorquati, Massimo University of Pisa, ItalyItaly A Divide-and-Conquer Parallel Pattern Implementation for Multicores Committee Member in Program Committee within the SEPS-track
Carmen Torres LopezTorres Lopez, Carmen Towards Advanced Debugging Support for Actor Languages
Emma ToschTosch, Emma University of Massachusetts, Amherst Designing and Debugging Surveys with SurveyMan
Bruce TraskTrask, Bruce MDE Systems Inc. The Definition and Anatomy of Model Driven Engineering and Domain Specific Languages
Laurence TrattTratt, Laurence King's College LondonUnited Kingdom Session Chair of Runtime Support (part of SPLASH OOPSLA) Session Chair of Session 7 (Modeling) (part of SPLASH -I) Session Chair of Session 3 (part of DLS) Invited Talk: Why aren't more users more happy with our VMs? Fine-grained language composition without a common VM Committee Member in Program Committee within the DLS-track Steering Committee Member in Steering Committee within the DLS-track Committee Member in Program Committee within the SPLASH OOPSLA-track Committee Member in Organizing Committee within the RUMPLE-track Keynote Speaker in Keynote Speakers within the Scala-track
Sean TreichlerTreichler, Sean Stanford UniversityUnited States Dependent Partitioning
Omer TrippTripp, Omer IBM Research, USA Session Chair of Session 2 (part of WODA) Session Chair of Session 4 (part of WODA) Session Chair of Session 1 (part of WODA) Session Chair of Session 3 (part of WODA) Directed Synthesis of Failing Concurrent Executions Committee Member in Organizing Committee within the WODA-track
Salvador TrujilloTrujillo, Salvador IK4-IKERLAN, Spain Committee Member in Program Committee within the FOSD-track
Athanasios TsitsipasTsitsipas, Athanasios Ulm University, Germany Experiences of Models@run-time with EMF and CDO
Yutaro TsunekawaTsunekawa, Yutaro Waseda University Implementation of LMNtal Model Checkers: a Metaprogramming Approach
Bill TullohTulloh, Bill eRights.orgUnited States The elements of decision alignment: Large programs as complex organizations
U Naoyasu UbayashiUbayashi, Naoyasu Kyushu UniversityJapan Committee Member in Program Committee within the DSM-track
Kazunori UedaUeda, Kazunori Waseda University Implementation of LMNtal Model Checkers: a Metaprogramming Approach
Bastian UlkeUlke, Bastian Fernuniversität in Hagen Computing Repair Alternatives for Malformed Programs using Constraint Attribute Grammars
Ganesha UpadhyayaUpadhyaya, Ganesha Iowa State University, USAIndia Programme Committee in Program Committee within the SPLASH OOPSLA Artifacts-track
Vlad UrecheUreche, Vlad EPFL, SwitzerlandRomania Call Graphs for Languages with Parametric Polymorphism Co-chair in Organizing Committee within the Scala-track
Ian UttingUtting, Ian University of KentUnited Kingdom Committee Member in Program Committee within the PLATEAU-track
V Marco Tulio ValenteValente, Marco Tulio Federal University of Minas Gerais, Brazil AngularJS in the Wild: A Survey with 460 Developers
Antonio VallecilloVallecillo, Antonio University of Málaga, SpainSpain Adding Uncertainty and Units to Quantity Types in Software Models
L. Thomas van Binsbergenvan Binsbergen, L. Thomas Royal Holloway University of LondonNetherlands Generalised Parsing and Combinator Parsing: a Happy Marriage?
Tom Van CutsemVan Cutsem, Tom Nokia Bell Labs, BelgiumBelgium 43 Years of Actors: A Taxonomy of Actor Models and Their Key Properties Programme Committee in Program Committee within the AGERE-track Committee Member in Program Committee within the META-track
Simon Van de WaterVan de Water, Simon VUB A model for Reflection in Rule-Based Languages
Mark van den Brandvan den Brand, Mark Pattern Specification and Application in Metamodels in Ecore Udapt: Edapt Extensions for Industrial Application
Tim van der Lippevan der Lippe, Tim Delft University of Technology, NetherlandsNetherlands A Scalable Infrastructure for Teaching Concepts of Programming Languages in Scala with WebLab: An Experience Report
Tijs van der Stormvan der Storm, Tijs CWI & University of GroningenNetherlands Publicity Chair in Organizing Committee for SPLASH 2016 Session Chair of Session 10 (part of SPLASH -I) Session Chair of SLE Keynote (part of SLE) The Rascal Approach to Code in Prose, Computed Properties, and Language Extension Nomen: A Dynamically Typed OO Programming Language, Transpiled to Java ChromaKey: Towards Extensible Mirror Architectures Solving the Bank with Rebel Extensible Modeling with Managed Data in Java Recaf: Java Dialects as Libraries Opening Closing & Outlook to SLE'17 GPCE/SLE Steering Committee Meeting Committee Member in Program Committee within the META-track Committee Member in Program Committee within the SPLASH OOPSLA-track Co-chair in Organizing Committee within the DSLDI-track Committee Member in Program Committee within the GPCE-track Committee Member in Organizing Committee within the LWC@SLE-track Committee Member in Program Committee within the Scala-track SPLASH-I Co-Chair in Program Committee within the SPLASH -I-track General Chair in Organizing Committee within the SLE-track
David Van HornVan Horn, David University of Maryland at College Park, USA A Vision for Online Verification-Validation Committee Member in Program Committee within the SPLASH Posters-track
Dimitri Van LanduytVan Landuyt, Dimitri Katholieke Universiteit Leuven Automated Regression Testing of BPMN 2.0 Processes: A Capture & Replay Framework for Continuous Delivery
Eric Van WykVan Wyk, Eric University of Minnesota Composition of independent language extensions to C Committee Member in Organizing Committee within the Parsing@SLE-track Committee Member in Program Committee within the SLE-track
Maarten VandercammenVandercammen, Maarten Vrije Universiteit Brussel Improving Trace-based JIT Optimisation using Whole-Program Information
Hans VangheluweVangheluwe, Hans University of Antwerp, CanadaBelgium Automated Testing Support for Reactive Domain-Specific Modelling Languages Committee Member in Program Committee within the SLE-track
Carlos VarelaVarela, Carlos Rensselaer Polytechnic Institute, US Programme Committee in Program Committee within the AGERE-track
Daniel VarroVarro, Daniel SLE Program Chair in Organizing Committee for SPLASH 2016 Opening Awards Program Chair in Organizing Committee within the SLE-track Program Co-Chair in Program Committee within the SLE-track
Vasco T. VasconcelosVasconcelos, Vasco T. University of Lisbon, Portugal Committee Member in Program Committee within the Onward! Essays-track
Niki VazouVazou, Niki UC San Diego Committee Member in Program Committee within the Scala-track
Martin VechevVechev, Martin ETH ZurichBulgaria Probabilistic Model for Code with Decision Trees Modeling and Analysis of Remote Memory Access Programming ERC member in External Program Committee within the SPLASH OOPSLA-track
Annette VeeVee, Annette University of Pittsburgh Committee Member in Program Committee within the Onward! Essays-track
Jose Juan Dominguez VeigaVeiga, Jose Juan Dominguez Maynooth University, Ireland Data Collection Requirements for Mobile Connected Health: An End User Development Approach
Gert E. Veldhuijzen van ZantenVeldhuijzen van Zanten, Gert E. Invited talk: Model Driven Software Engineering (MDSE) in the large
Todd VeldhuizenVeldhuizen, Todd LogicBlox Fast Datalog
Clark VerbruggeVerbrugge, Clark McGill University, Canada Exhaustive Analysis of Thread-Level Speculation
Jorge Vicente CanteroVicente Cantero, Jorge EPFL Function Passing: A Model for Typed, Distributed Functional Programming
Jurgen VinjuVinju, Jurgen CWI, Netherlands Sponsorship Chair in Organizing Committee for SPLASH 2016 Sponsorship Chair in Sponsorship Committee for SPLASH 2016 Solving the Bank with Rebel Towards a Software Product Line of Trie-Based Collections Towards a Universal Code Formatter through Machine Learning Committee Member in Organizing Committee within the Parsing@SLE-track Committee Member in Program Committee within the SLE-track
Mirko ViroliViroli, Mirko Programming Actor-based Collective Adaptive Systems
Eelco VisserVisser, Eelco Delft University of Technology, NetherlandsNetherlands General Chair in Organizing Committee for SPLASH 2016 SPLASH 2016 General Chair in Steering Committee for SPLASH 2016 Committee Member in Sponsorship Committee for SPLASH 2016 General Chair in Organizing Committee for Onward! 2016 Committee Member in Steering Committee for Onward! 2016 Session Chair of Keynote Wednesday (part of SPLASH Keynotes and Awards) Session Chair of Session 15 (Keynote) (part of SPLASH -I) Bootstrapping, Default Formatting, and Skeleton Editing in the Spoofax Language Workbench Disambiguation for SDF3 with Deep Priority Conflicts Bootstrapping Domain-Specific Meta-Languages in Language Workbenches A Scalable Infrastructure for Teaching Concepts of Programming Languages in Scala with WebLab: An Experience Report Principled Syntactic Code Completion using Placeholders OOPSLA 10-year Most Influential Paper Award SPLASH 2016 General Chair's Report Welcome to SPLASH 2016 SPLASH-I Co-Chair in Program Committee within the SPLASH -I-track
Jan VitekVitek, Jan Northeastern UniversitySwitzerland Session Chair of Optimization and Performance (part of SPLASH OOPSLA) Static Typing Without Static Types - Typing Inheritance from the Bottom Up This is not a Type: Gradual typing in practice My Twenty-Five Years in OO What to do at SPLASH Committee Member in Program Committee within the DLS-track Committee Member in Program Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the RUMPLE-track Keynote Speaker in Keynote Speakers within the Scala-track
Giovanni VivianiViviani, Giovanni University of British ColumbiaCanada Student Volunteer Co-Chair in Organizing Committee for SPLASH 2016 Removing Stagnation from Modern Code Review
A. Laura VoineaVoinea, A. Laura University of Glasgow, UK Benefits of Session Types for Software Development
Didier VojtisekVojtisek, Didier Inria, France Execution Framework of the GEMOC Studio (Tool Demo)
Markus VölterVölter, Markus itemis, Germany Session Chair of Session 2 (part of LWC@SLE) Session Chair of Discussion (part of LWC@SLE) Session Chair of Industrial applications (part of ITSLE) Keynote: Lessons learned about language engineering from the development of mbeddr Efficient Development of Consistent Projectional Editors using Grammar Cells How Domain Requirements Shape Languages Committee Member in Program Committee within the DSLDI-track Committee Member in Program Committee within the GPCE-track Committee Member in Organizing Committee within the LWC@SLE-track
W Guido WachsmuthWachsmuth, Guido Delft University of Technology, NetherlandsSwitzerland Principled Syntactic Code Completion using Placeholders Committee Member in Program Committee within the SLE-track
Philip WadlerWadler, Philip University of EdinburghUnited Kingdom Committee Member in Program Committee within the PLATEAU-track
Tal WagnerWagner, Tal MIT CSAIL A Sampling-based Approach to Accelerating Queries in Log Management Systems
Eric WalkingshawWalkingshaw, Eric Oregon State University, USAUnited States Formula Choice Calculus Co-chair in Organizing Committee within the DSLDI-track Committee Member in Program Committee within the SLE-track
Esther WangWang, Esther Carnegie Mellon University Capability Safe Reflection for the Wyvern Language
Haichuan WangWang, Haichuan Huawei America Research CenterChina Committee Member in Program Committee within the DLS-track
Wei-Jen WangWang, Wei-Jen National Central UniversityTaiwan Programme Committee in Program Committee within the AGERE-track
Xinyu WangWang, Xinyu UT AustinChina FIDEX: Filtering Spreadsheet Data using Examples
Yanlin WangWang, Yanlin University of Hong KongChina Classless Java
Tomas E. WardWard, Tomas E. Maynooth University, Ireland Data Collection Requirements for Mobile Connected Health: An End User Development Approach
Jos WarmerWarmer, Jos Independent Netherlands Making Mendix Meta Model Driven
Alessandro WarthWarth, Alessandro Y Combinator Research, USA Modular Semantic Actions
Harumi WatanabeWatanabe, Harumi Tokai UniversityJapan Coloured Petri-Nets Framework for Simulating Method Invocations on Context-Oriented Software
Takuo WatanabeWatanabe, Takuo Tokyo Institute of TechnologyJapan Towards an Integration of the Actor Model in an FRP Language for Small-Scale Embedded Systems Programme Committee in Program Committee within the AGERE-track Committee Member in Program Committee within the META-track
Bruce WatsonWatson, Bruce Stellenbosch University; and Centre for AI Research, CSIR MADFAct—Constructing Dictionaries
Lukas WegmannWegmann, Lukas 1plusX, SwitzerlandSwitzerland Scaps: Type-Directed API Search for Scala
Pascal WeisenburgerWeisenburger, Pascal Towards a Comprehensive Multitier Reactive Language Multitier Reactive Abstractions
Konstantin WeitzWeitz, Konstantin University of WashingtonUnited States Scalable Verification of Border Gateway Protocol Configurations with an SMT Solver
Adam WelcWelc, Adam Oracle Labs, USA Optimizing R Language Execution via Aggressive Speculation Truffle and Graal: Fast Programming Languages With Modest Effort Committee Member in Organizing Committee within the RUMPLE-track
James WelchWelch, James University of Oxford Session Chair of Metadata Catalogue: Demos and Hands-on (part of SA-MDE) Introducing the The Metadata Catalogue Committee Member in Organizing Committee within the SA-MDE-track
Udi WiederWieder, Udi VMware A Sampling-based Approach to Accelerating Queries in Log Management Systems
James R. WilcoxWilcox, James R. University of WashingtonUnited States Programme Committee in Program Committee within the SPLASH OOPSLA Artifacts-track
David WilleWille, David TU Braunschweig, Germany Variability Mining of State Charts
Christian WimmerWimmer, Christian Oracle Labs Bringing Low-Level Languages to the JVM: Efficient Execution of LLVM IR on Truffle Committee Member in Program Committee within the RUMPLE-track
Manuel WimmerWimmer, Manuel TU Vienna, Austria Adding Uncertainty and Units to Quantity Types in Software Models Committee Member in Program Committee within the SLE-track
Stefan WinterWinter, Stefan TU DarmstadtGermany Committee Member in Organizing Committee within the SEPS-track
Paweł T. WojciechowskiWojciechowski, Paweł T. Poznań University of Technology, Poland Atomic RMI 2: Distributed Transactions for Java
Doug WoosWoos, Doug University of WashingtonUnited States Scalable Verification of Border Gateway Protocol Configurations with an SMT Solver
Tobias WrigstadWrigstad, Tobias Uppsala UniversitySweden Committee Member in Sponsorship Committee for SPLASH 2016 Session Chair of Typing and Transpilation (part of NOOL) Actors and Hot Objects ERC member in External Program Committee within the SPLASH OOPSLA-track Committee Member in Organizing Committee within the NOOL-track Committee Member in Program Committee within the SPLASH Workshops-track
Peng WuWu, Peng Huawei America LabChina Committee Member in Program Committee within the DSLDI-track
Xilun WuWu, Xilun Purdue University Gentrification Gone too Far? Affordable 2nd-Class Values for Fun and (Co-)Effect
Thomas WuerthingerWuerthinger, Thomas Oracle Labs Bringing Low-Level Languages to the JVM: Efficient Execution of LLVM IR on Truffle
Andrzej WąsowskiWąsowski, Andrzej IT University of Copenhagen, Denmark Symbolic Execution of High-Level Transformations Committee Member in Program Committee within the SLE-track
X Harry XuXu, Harry University of California, IrvineUnited States Low-Overhead and Fully Automated Statistical Debugging with Abstraction Refinement
Y Shir YadidYadid, Shir TechnionIsrael Extracting Code from Programming Tutorial Videos
Eran YahavYahav, Eran TechnionIsrael Leveraging a Corpus of Natural Language Descriptions for Program Similarity Extracting Code from Programming Tutorial Videos
Wei YangYang, Wei University of Illinois at Urbana-Champaign, USA Programme Committee in Program Committee within the SPLASH OOPSLA Artifacts-track
Xi YangYang, Xi Australian National University, Australia Programme Committee in Program Committee within the SPLASH OOPSLA Artifacts-track
Kuat YessenovYessenov, Kuat MIT Deriving Divide-and-Conquer Dynamic Programming Algorithms using Solver-Aided Transformations
Gang YuYu, Gang Huawei Committee Member in Program Committee within the ITSLE-track
Siena YuYu, Siena Keio University, Japan Mobile Application Test Case Generation Focusing on External Events
Shijiao YuwenYuwen, Shijiao University of Illinois at Urbana-Champaign Semantics-Based Program Verifiers for All Languages
Z Theologos ZacharopoulosZacharopoulos, Theologos Centrum Wiskunde & InformaticaGreece Extensible Modeling with Managed Data in Java
Andy ZaidmanZaidman, Andy TU DelftNetherlands Fact or fiction? What software analytics can do for us (developers and researchers)
Maicon Rafael ZatelliZatelli, Maicon Rafael Federal University of Santa Catarina, Brazil Conflicting Goals in Agent-Oriented Programming
Vadim ZaytsevZaytsev, Vadim Raincode, BelgiumBelgium The DSGA Model of DSL Design: Domain, Schema, Grammar, Actions Evolution of Metaprograms: XSLT as a Metaprogramming Language Language Design and Implementation for the Domain of Coding Conventions Raincode Assembler Compiler (Tool Demo) Awards Committee Member in Program Committee within the ITSLE-track Artifact Evaluation Co-Chair in Organizing Committee within the SLE-track
Haoyuan ZhangZhang, Haoyuan Classless Java
Jia ZhangZhang, Jia Altran Pattern Specification and Application in Metamodels in Ecore
Richard ZhangZhang, Richard University of Pennsylvania Incremental Forest: A DSL for Efficiently Managing Filestores
Tian ZhangZhang, Tian Nanjing UniversityChina Committee Member in Program Committee within the SLE-track
Xiangyu ZhangZhang, Xiangyu Purdue University Apex: Automatic Programming Assignment Error Explanation
Xin ZhangZhang, Xin Georgia TechChina Accelerating Program Analyses by Cross-Program Training Programme Committee in Program Committee within the SPLASH OOPSLA Artifacts-track Committee Member in Program Committee within the SPLASH Posters-track
Yongzhe ZhangZhang, Yongzhe National University SOKENDAI, Japan Parsing and Reflective Printing, Bidirectionally
Zhen ZhangZhang, Zhen University of Science and Technology of ChinaChina xWIDL: Modular and Deep JavaScript API Misuses Checking Based on eXtended WebIDL
Xinghui ZhaoZhao, Xinghui Washington State UniversityUnited States Committee Member in Program Committee within the SEPS-track
Zirun ZhuZhu, Zirun National University SOKENDAI, JapanJapan Parsing and Reflective Printing, Bidirectionally
Lukasz ZiarekZiarek, Lukasz SUNY Buffalo, USA Committee Member in Organizing Committee within the REBLS-track
Andreas ZieglerZiegler, Andreas Friedrich-Alexander University Erlangen-Nürnberg (FAU)Germany Towards Scalable Configuration Testing in Variable Software
Meital ZilbersteinZilberstein, Meital Technion Leveraging a Corpus of Natural Language Descriptions for Program Similarity
Wolf ZimmermannZimmermann, Wolf Martin-Luther-University Halle-Wittenberg A Domain Specific Language for Optimal Pumping Systems
Steffen ZschalerZschaler, Steffen King's College LondonGermany Committee Member in Program Committee within the GPCE-track
Zhiqiang ZuoZuo, Zhiqiang University of California, Irvine Low-Overhead and Fully Automated Statistical Debugging with Abstraction Refinement

SPLASH 2016 Contributors

Results (971)

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia