SPLASH 2017 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (1036)

A Mohamed AbbadiAbbadi, Mohamed Hogeschool Rotterdam Metacasanova: An Optimized Meta-compiler for Domain-Specific Languages
Tatsuya AbeAbe, Tatsuya Chiba Institute of Technology, Japan Model Checking Copy Phases of Concurrent Copying Garbage Collection with Various Memory Models
Paola AcciolyAccioly, Paola Federal University of Pernambuco, Brazil Evaluating and Improving Semistructured Merge
Michael D. AdamsAdams, Michael D. University of Utah, USA Restricting Grammars with Tree Automata
Eddie AftandilianAftandilian, Eddie GoogleUnited States Detecting Argument Selection Defects
Gul AghaAgha, Gul AGERE! Keynote: Actors for Big Data: Applications and Open Problems Committee Member in Program Committee within the AGERE-track
Matthew AhrensAhrens, Matthew Markedly: a cartographic approach for mapping eDSL implementation costs
Alex AikenAiken, Alex Stanford University Seam: Provably Safe Local Edits on Graphs
Shoaib AkramAkram, Shoaib Ghent UniversityBelgium Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Jafar M. Al-KofahiAl-Kofahi, Jafar M. Iowa State University, USA Four Languages and Lots of Macros: Analyzing Autotools Build Systems
Aws AlbarghouthiAlbarghouthi, Aws University of Wisconsin-Madison FairSquare: Probabilistic Verification of Program Fairness
Enzo AldaAlda, Enzo Lakebolt ResearchUnited States ZenSheet: a live programming environment for reactive computing
Jonathan AldrichAldrich, Jonathan Carnegie Mellon UniversityUnited States OOPSLA Review Committee Chair in Organizing Committee for SPLASH 2017 OOPSLA 2017 PC Chair in Steering Committee for SPLASH 2017 Steering Committee Member in Steering Committee for Onward! 2017 Session Chair of Dynamic Analysis (part of SPLASH OOPSLA) Session Chair of Usability and Deadlock (part of SPLASH OOPSLA) Panel Discussion: Security in OO languages Usably Expressing and Enforcing Design in Wyvern Using Object Capabilities and Effects to Build an Authority-Safe Module System Capabilities and Effects Substance and Style: domain-specific languages for mathematical diagrams A User Study to Inform the Design of the Obsidian Blockchain DSL OOPSLA Awards OOPSLA 2017 Program Chair's Report OOPSLA Overview & OOPSLA 10-Year Most Influential Paper Award Program Chair in Program Committee within the SPLASH OOPSLA-track
Karim AliAli, Karim University of Alberta SPLASH-I Co-Chair in Organizing Committee for SPLASH 2017 Session Chair of Security (part of SPLASH -I) Session Chair of Programming Models (part of Onward! Papers) Benchmarking for Program Analysis IDEal: Efficient and Precise Alias-Aware Dataflow Analysis Committee Member in Program Committee within the Onward! Papers-track Committee Member in Organizing Committee within the SPLASH -I-track
Tosin AlliyuAlliyu, Tosin Haverford College Preliminary Analysis of REST API Style Guidelines
John AltidorAltidor, John Draper LaboratoryUnited States Committee Member in External Program Committee within the SPLASH OOPSLA-track
Vasco AmaralAmaral, Vasco NOVA-LINCS, FCT/UNL A Requirements Engineering Approach for Usability-Driven DSL Development
Saman AmarasingheAmarasinghe, Saman MIT The Tensor Algebra Compiler
Dan AmelangAmelang, Dan Viewpoints Research Institute Kanto: A multi-participant screen-sharing system for Etoys, Snap! and GP Shadama: A Particle Simulation Programming Environment for Everyone
Alon AmidAmid, Alon UC Berkeley Preventing Babel: Rectifying the Trend of Programming Language Divergence
Nada AminAmin, Nada University of CambridgeUnited Kingdom Session Chair of Session 2 (part of DSLDI) Session Chair of Language Design (part of Scala) Session Chair of Staging (part of GPCE) Collapsing Towers of Interpreters ⭐️ Keynote Speaker in Invited Talks within the META-track Committee Member in Program Committee within the DSLDI-track Committee Member in Program Committee within the SPLASH Workshops-track Committee Member in Program Committee within the GPCE-track
Davide AnconaAncona, Davide University of GenovaItaly DLS Program Chair in Organizing Committee for SPLASH 2017 Session Chair of Verification in Practice (part of SPLASH OOPSLA) Session Chair of Session 3 (part of DLS) Session Chair of Session 1 (part of DLS) Session Chair of DLS 2017 Invited Talk (part of VMIL) Reasoning on Divergent Computations with Coaxioms Reasoning on Divergent Computations with Coaxioms Program Chair in Organizing Committee within the DLS-track Steering Committee Member in Steering Committee within the DLS-track Dynamic Languages Symposium Chair in Program Committee within the DLS-track Committee Member in External Program Committee within the SPLASH OOPSLA-track
Craig AnslowAnslow, Craig Victoria University of WellingtonNew Zealand Workshops Co-Chair in Organizing Committee for SPLASH 2017 Session Chair of Sensing and Sharing (Venture Labs, 12th Floor, 555 Hastings) (part of SAVR) Committee Member in Program Committee within the PLATEAU-track Committee Member in Program Committee within the SAVR-track Workshops Co-Chair in Organizing Committee within the SPLASH Workshops-track
Nikolas AntolinAntolin, Nikolas The Ohio State University Performance Analysis and Optimization of the RAMPAGE Metal Alloy Potential Generation Software
Tomoyuki AotaniAotani, Tomoyuki Tokyo Institute of Technology A DSL for Compensable and Interruptible Executions
Andrew W. AppelAppel, Andrew W. Princeton A Verified Messaging System
Guido AraujoAraujo, Guido Committee Member in Program Committee within the SEPS-track
Jean Baptiste ArnaudArnaud, Jean Baptiste Garbage Collection and Efficiency in Dynamic Metacircular Runtimes: An Experience Report
Matthew ArnoldArnold, Matthew Training and Tuning Machine-Learning Applications: A View from the Trenches
Yulissa Arroyo-ParedesArroyo-Paredes, Yulissa Columbia University, USA Detecting Argument Selection Defects
Ellen ArtecaArteca, Ellen University of Waterloo, CanadaCanada The VM Already Knew That: Leveraging Compile-Time Knowledge to Optimize Gradual Typing
Guilherme AssisAssis, Guilherme UFMG Feature Oriented Programming in Groovy
Angello AstorgaAstorga, Angello Preliminary Analysis of Contestant Performance for a Code Hunt Contest
Ehsan AtoofianAtoofian, Ehsan Lakehead University, CA Committee Member in Program Committee within the SEPS-track
Giorgio AudritoAudrito, Giorgio Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Dominik AumayrAumayr, Dominik A Concurrency-Agnostic Protocol for Multi-Paradigm Concurrent Debugging Tools
Mohammad Reza AzadmaneshAzadmanesh, Mohammad Reza University of Lugano The Entangled Strands of Time in Software Development
B Casper Bach PoulsenBach Poulsen, Casper Delft University of Technology Committee Member in Program Committee within the GPCE-track
Anya Helene BaggeBagge, Anya Helene University of BergenNorway Algool – Object-Orientation with Algebraic Specification Committee Member in Program Committee within the META-track
Mehdi BagherzadehBagherzadeh, Mehdi Oakland UniversityUnited States Order Types: Static Reasoning about Message Races in Asynchronous Message Passing Concurrency
Alexander BakstBakst, Alexander Verifying Distributed Programs via Canonical Sequentialization
Ioana BaldiniBaldini, Ioana IBM T.J. Watson Research The Serverless Trilemma: Function Composition for Serverless Computing
Kevin BaldorBaldor, Kevin Verifiable Reactive Software
Jonathan BalkindBalkind, Jonathan Princeton, USA Project Snowflake: Non-blocking Safe Manual Memory Management for .NET
Thomas BallBall, Thomas Microsoft ResearchUnited States Committee Member in External Program Committee within the SPLASH OOPSLA-track
Elisa BaniassadBaniassad, Elisa University of British ColumbiaCanada (CER) Making the Liskov Substitution Principle Happy and Sad Committee Member in Program Committee within the SPLASH Workshops-track
Titus BarikBarik, Titus MicrosoftUnited States One λ at a time: What do we know about presenting human-friendly output from program analysis tools?
Ankica BarisicBarisic, Ankica NOVA-LINCS - Universidade Nova de LisboaPortugal A Requirements Engineering Approach for Usability-Driven DSL Development Framework support for Usability evaluation of Domain-Specific Languages
Celeste BarnabyBarnaby, Celeste Wesleyan University A User Study to Inform the Design of the Obsidian Blockchain DSL
Edd BarrettBarrett, Edd King's College LondonUnited Kingdom Virtual Machine Warmup Blows Hot and Cold
Bart Bart University of Montreal Tangent: automatic differentiation using source code transformation in Python
Jesse BartelsBartels, Jesse Constructing Dynamic Control Flow Graphs from Execution Traces
Cecilia BastarricaBastarrica, Cecilia Committee Member in Program Committee within the FOSD-track
Shrutarshi BasuBasu, Shrutarshi Cornell University Property Law as a Programming Language
Edouard BatotBatot, Edouard University of Montreal Committee Member in Artifact Evaluation Committee within the SLE-track
Guillaume BaudartBaudart, Guillaume IBM ResearchUnited States Committee Member in Program Committee within the DLS-track
Spenser Andrew BaumanBauman, Spenser Andrew Indiana University, USA Sound Gradual Typing: Only Mostly Dead
Gabriele BavotaBavota, Gabriele Università della Svizzera italiana (USI) An Annotation-based API for Supporting Runtime Code Annotation Reading
Jonathan BellBell, Jonathan George Mason UniversityUnited States Posters Co-Chair in Organizing Committee for SPLASH 2017 Session Chair of Poster Reception Monday (part of SPLASH Posters) Session Chair of Poster Reception Wednesday (part of SPLASH Posters) Hundreds of Projects and Tens of Thousands of Builds: Evaluating Dynamic Testing and Analysis Tools in the Cloud PLMW Co-Chair in PLMW Organizing Committee within the SPLASH PL Mentoring Workshop (PLMW)-track Posters Co-Chair in Organizing Committee within the SPLASH Posters-track
Siegfried BenknerBenkner, Siegfried Committee Member in Program Committee within the SEPS-track
Alastair R. BeresfordBeresford, Alastair R. University of Cambridge, UK Verifying Strong Eventual Consistency in Distributed Systems
Celina BergBerg, Celina UBC, Computer ScienceCanada Committee Member in Program Committee within the SAVR-track Committee Member in Program Committee within the SPLASH -E-track
Alexandre BergelBergel, Alexandre University of ChileChile Object equivalence: Revisiting Object Equality Profiling (An Experience Report) Committee Member in Program Committee within the DLS-track
Federico BergentiBergenti, Federico Università degli Studi di ParmaItaly Committee Member in Organizing Committee within the AGERE-track
Christian BergerBerger, Christian Committee Member in Program Committee within the SLE-track
Emery D. BergerBerger, Emery D. University of Massachusetts, AmherstUnited States Forget the Garbagemen, We Need a Plumber
Thorsten BergerBerger, Thorsten Chalmers University of Technology, Sweden / University of Gothenburg, Sweden A Classification of Variation Control Systems A Chrestomathy of DSL implementations
Gilbert Louis BernsteinBernstein, Gilbert Louis Stanford University, USA Seam: Provably Safe Local Edits on Graphs
Philip A. BernsteinBernstein, Philip A. Microsoft Research AGERE! Keynote: Advanced Features of the Orleans Programming Framework Geo-Distribution of Actor-Based Services
Lorenzo BettiniBettini, Lorenzo Dipartimento di Statistica, Informatica, Applicazioni ‘Giuseppe Parenti’ (DISIA)Italy Committee Member in Program Committee within the DLS-track
Suparna BhattacharyaBhattacharya, Suparna Hewlett-Packard EnterpriseIndia Committee Member in Program Committee within the SPLASH OOPSLA-track
Aggelos BiboudisBiboudis, Aggelos Ecole Polytechnique Federale de LausanneSwitzerland Committee Member in Program Committee within the REBLS-track Committee Member in Program Committee within the Scala-track Committee Member in Steering Committee within the Scala-track
Robert BiddleBiddle, Robert Carleton UniversityCanada Onward! Essays Chair in Organizing Committee for SPLASH 2017 Essays Chair in Organizing Committee for Onward! 2017 Steering Committee Member in Steering Committee for Onward! 2017 Session Chair of Essay Panel (part of Onward! Essays) Session Chair of Essays (part of Onward! Essays) Onward! Program Chairs' Report Onward! Essays Chair in Program Committee within the Onward! Essays-track
Robert BillBill, Robert Vienna University of Technology Virtual Textual Model Composition for Supporting Versioning and Aspect-Orientation
Walter BinderBinder, Walter University of Lugano, Switzerland Accurate Reification of Complete Supertype Information for Dynamic Analysis on the JVM Committee Member in Program Committee within the VMIL-track
Christian BischofBischof, Christian Scientific Computing, TU Darmstadt The Influence of HPCToolkit and Score-P on Hardware Performance Counters
Judith BishopBishop, Judith Stellenbosch UniversitySouth Africa Committee Member in Steering Committee within the CHESE-track Committee Member in Program Committee within the SPLASH Workshops-track
Andrew BlackBlack, Andrew Portland State UniversityUnited States (CER) Early Experience with Grace Committee Member in Program Committee within the Onward! Essays-track
David Black-SchafferBlack-Schaffer, David Uppsala University How To Make Tasks Faster: Revealing The Complex Interactions Of Tasks In The Memory System
Steve BlackburnBlackburn, Steve Australian National University Australia Committee Member in Organizing Committee within the VMIL-track
Aaron BlanksteinBlankstein, Aaron Princeton, USA Project Snowflake: Non-blocking Safe Manual Memory Management for .NET
Sandrine BlazyBlazy, Sandrine IRISA, University of Rennes 1France Committee Member in Program Committee within the GPCE-track
Sebastian BlessingBlessing, Sebastian Imperial College LondonUnited Kingdom Tree Topologies for Causal Message Delivery
Dominique BlouinBlouin, Dominique LTCI Lab, Telecom ParisTech, Université Paris-Saclay A Requirements Engineering Approach for Usability-Driven DSL Development
Luc BläserBläser, Luc Hochschule für Technik RapperswilSwitzerland Accelerate JavaScript Applications by Cross-Compiling to WebAssembly
Christoph BockischBockisch, Christoph Philipps-Universität MarburgGermany Session Chair of Session 4: Wrap-Up (part of CoCoS) Survey of Approaches for Assessing Software Energy Consumption Chair in Program Committee within the CoCoS-track Committee Member in Organizing Committee within the CoCoS-track Committee Member in Organizing Committee within the VMIL-track
Eric BoddenBodden, Eric Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM Automated Benchmark Management IDEal: Efficient and Precise Alias-Aware Dataflow Analysis Committee Member in External Program Committee within the SPLASH OOPSLA-track
Rastislav BodíkBodík, Rastislav University of Washington Skip Blocks: Reusing Execution History to Accelerate Web Scripts Domain-Specific Symbolic Compilation
Hans-J. BoehmBoehm, Hans-J. GoogleUnited States Committee Member in Program Committee within the SPLASH OOPSLA-track
CF Bolz-TereickBolz-Tereick, CF Germany Virtual Machine Warmup Blows Hot and Cold Sound Gradual Typing: Only Mostly Dead Committee Member in Program Committee within the META-track Steering Committee Chair in Steering Committee within the DLS-track Committee Member in Program Committee within the DLS-track Committee Member in Program Committee within the PX/17.2-track
Michael D. BondBond, Michael D. Ohio State University Artifact Evaluation Co-Chair in Organizing Committee for SPLASH 2017 Pushing Predictive Data Race Detection to the Limit Discovering Empirical and Theoretical Analysis Properties from Lots of Real Executions Instrumentation Bias for Dynamic Data Race Detection Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Daniele BonettaBonetta, Daniele Oracle Labs Committee Member in Program Committee within the META-track
Viviana BonoBono, Viviana University of TorinoItaly Committee Member in Program Committee within the SPLASH OOPSLA-track
Matthias BookBook, Matthias University of Iceland [Position paper] Facilitating Collaboration in High Performance Computing Projects with an Interaction Room
Paulo BorbaBorba, Paulo Federal University of Pernambuco, BrazilBrazil Evaluating and Improving Semistructured Merge
Lera BoroditskyBoroditsky, Lera UC San Diego Onward 2017 Keynote: How the languages we speak shape the ways we think Panel: 50 Years of Language Evolution: From Simula’67 to the Future
Artur BoronatBoronat, Artur University of Leicester Structural Model Subtyping with OCL Constraints
Erwan BousseBousse, Erwan TU Wien, AustriaFrance Committee Member in Artifact Evaluation Committee within the SLE-track
Jonathan Immanuel BrachthäuserBrachthäuser, Jonathan Immanuel University of Tübingen, Germany Session Chair of Unconference (part of Scala) Towards Naturalistic EDSLs using Algebraic Effects Effekt: Extensible Algebraic Effects in Scala (Short Paper) Scala'17 Organizer in Organizing Committee within the Scala-track
Jeremy BradburyBradbury, Jeremy University of Ontario Institute of TechnologyCanada Committee Member in Program Committee within the SEPS-track
Edwin BradyBrady, Edwin University of St. Andrews, UKUnited Kingdom Committee Member in Program Committee within the Scala-track
James BramanBraman, James (CSES) Assessing the Usability of a Novel System for Programming Education
Marco BrambillaBrambilla, Marco Politecnico di MilanoItaly Better Call the Crowd. Using Crowdsourcing to Shape the Notation of Domain-Specific Languages
David BremnerBremner, David University of New Brunswick Fusing Method Handle Graphs for Efficient Dynamic JVM Language Implementations
Ruth BreuBreu, Ruth Committee Member in Program Committee within the SLE-track
Kim BruceBruce, Kim Pomona CollegeUnited States Session Chair of Types (part of SPLASH OOPSLA) (CER) Early Experience with Grace Committee Member in Steering Committee within the SPLASH -E-track Committee Member in Program Committee within the SPLASH OOPSLA-track
Pedro BruelBruel, Pedro University of São Paulo OpenMP or Pthreads: Which is Better for Beginners?
Elisabeth BrunetBrunet, Elisabeth Telecom SudParis Committee Member in Program Committee within the SEPS-track
Scott BuckleyBuckley, Scott Macquarie University, AustraliaAustralia A Formalisation of Parameterised Reference Attribute Grammars
Sebastian BurckhardtBurckhardt, Sebastian Microsoft ResearchSwitzerland Keynote: Don’t Hit Refresh: Towards Automatic Reactivity for Distributed Services Geo-Distribution of Actor-Based Services
Eugene BurmakoBurmako, Eugene TwitterUnited States Committee Member in Program Committee within the GPCE-track Committee Member in Program Committee within the Scala-track
Javier BurroniBurroni, Javier Garbage Collection and Efficiency in Dynamic Metacircular Runtimes: An Experience Report
Anton BurtsevBurtsev, Anton University of California, Irvine CapNet: Security and Least Authority in a Capability-Enabled Cloud
Sergey BykovBykov, Sergey Microsoft, n.n. Geo-Distribution of Actor-Based Services
C Jordi CabotCabot, Jordi ICREA - UOC Better Call the Crowd. Using Crowdsourcing to Shape the Notation of Domain-Specific Languages Committee Member in Program Committee within the SLE-track
Maya CakmakCakmak, Maya University of Washington Programming Robot Manipulators with Tangible Blocks
Joseph CaldwellCaldwell, Joseph University of Tokyo, Japan Reducing Calling Convention Overhead in Object-Oriented Programming on Embedded ARM Thumb-2 Platforms
Ben CalusCalus, Ben imec - DistriNet, KU Leuven FRP IoT Modules as a Scala DSL
Nicholas CameronCameron, Nicholas Mozilla Corporation Committee Member in External Program Committee within the SPLASH OOPSLA-track
John Peter CamporaCampora, John Peter ULL Lafayette Learning User Friendly Type-Error Messages
Breno Campos Ferreira GuimarãesCampos Ferreira Guimarães, Breno Federal University of Minas Gerais, Brazil Static Placement of Computation on Heterogeneous Devices
Lily CaoCao, Lily Towson University (CSES) Assessing the Usability of a Novel System for Programming Education
Man CaoCao, Man Ohio State University Instrumentation Bias for Dynamic Data Race Detection
Paris CarboneCarbone, Paris KTH, Sweden Kompics Scala: Narrowing the Gap between Algorithmic Specification and Executable Code (Short Paper)
Nicolás CardozoCardozo, Nicolás Universidad de los AndesColombia Committee Member in Program Committee within the META-track
Travis CarlsonCarlson, Travis University of Minnesota, USA Parsing extensible type qualifiers in ableC Type Qualifiers as Composable Language Extensions Reliable and Automatic Composition of Language Extensions to C Reliable and Automatic Composition of Language Extensions to C
Luiz CarvalhoCarvalho, Luiz Federal University of Alagoas, Brazil Avoiding Useless Mutants
Jeff CarverCarver, Jeff University of AlabamaUnited States [Position paper] How to Test your Concurrent Software: An Approach for the Selection of Testing Techniques Committee Member in Program Committee within the SEPS-track
Rubby CasallasCasallas, Rubby Committee Member in Program Committee within the FOSD-track
Franck CassezCassez, Franck Macquarie University, Australia ScalaSMT: Satisfiability Modulo Theory in Scala (Tool Paper)
Elias CastegrenCastegren, Elias Uppsala University Reference Capabilities for Concurrency & Scalability: an Experience Report (CER) Mastery Learning-Like Teaching with Achievements Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Jeronimo CastrillonCastrillon, Jeronimo TU Dresden, GermanyGermany Towards Compositional and Generative Tensor Optimizations
Bryan CatanzaroCatanzaro, Bryan NVIDIAUnited States Committee Member in Program Committee within the SAVR-track
Ana CavalcantiCavalcanti, Ana University of York, UK Avoiding Useless Mutants
Guilherme CavalcantiCavalcanti, Guilherme Federal University of Pernambuco, BrazilBrazil What merge tool should I use? What merge tool should I use? Evaluating and Improving Semistructured Merge
Walter CazzolaCazzola, Walter Università degli Studi di MilanoItaly Committee Member in Program Committee within the SLE-track
Germán CeballosCeballos, Germán Uppsala UniversityArgentina How To Make Tasks Faster: Revealing The Complex Interactions Of Tasks In The Memory System How To Make Tasks Faster: Revealing The Complex Interactions Of Tasks In The Memory System How To Make Tasks Faster: Revealing The Complex Interactions Of Tasks In The Memory System
Ahmet CelikCelik, Ahmet University of Texas at Austin, USA Bounded Exhaustive Test-Input Generation on GPUs
Carlos CetinaCetina, Carlos San Jorge University, Spain Analyzing the Impact of Natural Language Processing over Feature Location in Models
Sungdeok (Steve) ChaCha, Sungdeok (Steve) Korea University, South Korea Data-Driven Context-Sensitivity for Points-to Analysis
Kwonsoo ChaeChae, Kwonsoo Korea UniversityKorea, South Automatically Generating Features for Learning Program Analysis Heuristics for C-Like Languages
Michal ChalmovianskýChalmovianský, Michal Committee Member in Organizing Committee within the Parsing@SLE-track
Roger ChamberlainChamberlain, Roger Washington University in St. Louis Assessing User Preferences in Programming Language Design
Saksham ChandChand, Saksham Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Satish ChandraChandra, Satish FacebookUnited States IoTa: A Calculus for Internet of Things Automation
Adelbert ChangChang, Adelbert UnaffiliatedUnited States The Limitations of Type Classes as Subtyped Implicits (Short Paper)
Bor-Yuh Evan ChangChang, Bor-Yuh Evan University of Colorado Boulder ChimpCheck: Property-based Randomized Test Generation for Interactive Apps
Kerry ChangChang, Kerry IBM Research Committee Member in Program Committee within the PX/17.2-track
Andres S. Charif-RubialCharif-Rubial, Andres S. Université de Versailles Saint-Quentin MALT, A Malloc Tracker
Dominik CharoussetCharousset, Dominik Locality-Guided Scheduling in CAF
Sarah E. ChasinsChasins, Sarah E. University of California, Berkeley Session Chair of Insights into Programmer Thought Processes and Experience (part of PLATEAU) Skip Blocks: Reusing Execution History to Accelerate Web Scripts Co-chair in Organizing Committee within the PLATEAU-track
Avik ChaudhuriChaudhuri, Avik Facebook, USA SPLASH-I Co-Chair in Organizing Committee for SPLASH 2017 Fast and Precise Type Checking for JavaScript Committee Member in Organizing Committee within the SPLASH -I-track
Kamalika ChaudhuriChaudhuri, Kamalika University of California at San Diego, USA Learning to Blame: Localizing Novice Type Errors with Data-Driven Diagnosis
Marsha ChechikChechik, Marsha Committee Member in Program Committee within the SLE-track
Natalia ChechinaChechina, Natalia University of GlasgowUnited Kingdom Committee Member in Program Committee within the AGERE-track
Angela ChenChen, Angela Google, Inc QuixBugs: A Multi-Lingual Program Repair Benchmark Set Based on the Quixey Challenge
Sheng ChenChen, Sheng ULL LafayetteUnited States Learning User Friendly Type-Error Messages How Type Errors Were Fixed and What Students Did? Committee Member in Program Committee within the FOSD-track
Tongfei ChenChen, Tongfei Typesafe Abstractions for Tensor Operations (Short Paper)
Tzu-Chun ChenChen, Tzu-Chun Committee Member in Program Committee within the REBLS-track
Perry ChengCheng, Perry IBM Research The Serverless Trilemma: Function Composition for Serverless Computing
Peggy ChiChi, Peggy Google Inc.United States Committee Member in Program Committee within the PLATEAU-track
Shigeru ChibaChiba, Shigeru University of Tokyo, JapanJapan Session Chair of Types (part of GPCE) Reducing Calling Convention Overhead in Object-Oriented Programming on Embedded ARM Thumb-2 Platforms Silverchain: A Fluent API Generator Committee Member in Organizing Committee within the META-track Committee Member in Program Committee within the GPCE-track
Parmit ChilanaChilana, Parmit Simon Fraser University Committee Member in Program Committee within the PX/17.2-track
Andrei ChişChiş, Andrei feenk, Switzerland Sympathy for the Devil: Reified Collection of Runtime Errors Publicity Chair in Organizing Committee within the SLE-track
Adam ChlipalaChlipala, Adam Massachusetts Institute of Technology, USAUnited States TiML: A Functional Language for Practical Complexity Analysis with Invariants Committee Member in Program Committee within the SPLASH Workshops-track
Stephen ChouChou, Stephen MIT CSAILUnited States The Tensor Algebra Compiler
Ravi ChughChugh, Ravi University of Chicago Direct Manipulation Programming Systems Committee Member in Program Committee within the LIVE-track
Benjamin ChungChung, Benjamin Northeastern UniversityUnited States Towards Typing Julia
Luke ChurchChurch, Luke Keynote: Becoming Alive, Growing Up The Uses of Interactive Explorers for Web APIs Committee Member in Program Committee within the LIVE-track Organizing Committee in Program Committee within the PX/17.2-track Organizing Chair in Organizing Committee within the PX/17.2-track
Cristina CifuentesCifuentes, Cristina Oracle LabsAustralia Session Chair of Machine Learning & Data Science (part of SPLASH -I) Panel Discussion: Security in OO languages The Need for a JavaScript Benchmark for Program Analysis Benchmarking for Program Analysis It's Time for Secure Languages Committee Member in Program Committee within the NOOL-track
Matteo CiminiCimini, Matteo University of Massachusetts LowellUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Adrian ClarkClark, Adrian University of Illinois at Urbana-Champaign Preliminary Analysis of Contestant Performance for a Code Hunt Contest
Sylvan ClebschClebsch, Sylvan Imperial College London Tree Topologies for Causal Message Delivery Orca: GC and Type System Co-Design for Actor Languages
Loek CleophasCleophas, Loek Netherlands Committee Member in Program Committee within the FOSD-track
Yvonne CoadyCoady, Yvonne University of VictoriaCanada Session Chair of Session 3: Debugging (part of CoCoS) Session Chair of Keynote (Venture Labs, 12th Floor, 555 Hastings) (part of SAVR) Organization Co-chair in Organizing Committee within the SAVR-track Committee Member in Program Committee within the CoCoS-track Committee Member in Program Committee within the LIVE-track
Raphael CobeCobe, Raphael São Paulo State University OpenMP or Pthreads: Which is Better for Beginners?
Michael CoblenzCoblenz, Michael Carnegie Mellon UniversityUnited States A User Study to Inform the Design of the Obsidian Blockchain DSL
Tiago CogumbreiroCogumbreiro, Tiago Rice UniversityPortugal Deadlock Avoidance in Parallel Programs with Futures: Why Parallel Tasks Should Not Wait for Strangers
Albert CohenCohen, Albert Inria, France / ENS, FranceFrance Towards Compositional and Generative Tensor Optimizations
Nachshon CohenCohen, Nachshon EPFL, Switzerland Efficient Logging in Non-Volatile Memory by Exploiting Coherency Protocols
Jalen Coleman-LandsColeman-Lands, Jalen University of Illinois at Urbana-Champaign Preliminary Analysis of Contestant Performance for a Code Hunt Contest
Alexei ColinColin, Alexei Carnegie Mellon University Alpaca: Intermittent Execution without Checkpoints
Rem CollierCollier, Rem University College DublinUnited Kingdom Committee Member in Program Committee within the AGERE-track
Benoit CombemaleCombemale, Benoit University of Rennes 1France Opening General Chair in Organizing Committee within the SLE-track Committee Member in Steering Committee within the SLE-track
Sébastien CombéfisCombéfis, Sébastien ECAM BrusselsBelgium Program Co-Chair in Program Committee within the CHESE-track Program Co-Chair in Steering Committee within the CHESE-track
Mistral ContrastinContrastin, Mistral Verifying Spatial Properties of Array Computations
Kendra CooperCooper, Kendra IndependentCanada Committee Member in Program Committee within the SAVR-track Committee Member in Program Committee within the CHESE-track
Emilio CoppaCoppa, Emilio Sapienza University of Rome, ItalyItaly Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Agostino CortesiCortesi, Agostino Università Ca' Foscari VeneziaItaly Metacasanova: An Optimized Meta-compiler for Domain-Specific Languages
Manuel CostaCosta, Manuel Microsoft Research Project Snowflake: Non-blocking Safe Manual Memory Management for .NET
Ludovic CourtèsCourtès, Ludovic Inria, France Code Staging in GNU Guix
Marco CoutoCouto, Marco HASLab/INESC TEC & Universidade do Minho Energy Efficiency across Programming Languages: How do Energy, Time, and Memory Relate?
Frank CoyleCoyle, Frank SMU System Test Failures Diagnosis Using Grammars Generated by Mining Event Logs
Aaron CraigCraig, Aaron ECS, VUW Capabilities and Effects
Keenan CraneCrane, Keenan Carnegie Mellon University Substance and Style: domain-specific languages for mathematical diagrams
Karl CronburgCronburg, Karl Tufts UniversityUnited States Markedly: a cartographic approach for mapping eDSL implementation costs Markedly: a cartographic approach for mapping eDSL implementation costs Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Natacha CrooksCrooks, Natacha University of Texas at Austin, USA Geo-Distribution of Actor-Based Services
Jácome CunhaCunha, Jácome NOVA-LINCS - Universidade Nova de LisboaPortugal Energy Efficiency across Programming Languages: How do Energy, Time, and Memory Relate?
Evan CzaplickiCzaplicki, Evan Committee Member in Program Committee within the REBLS-track
Javier Luis Cánovas IzquierdoCánovas Izquierdo, Javier Luis IN3 - UOCSpain Better Call the Crowd. Using Crowdsourcing to Shape the Notation of Domain-Specific Languages
D Loris D'AntoniD'Antoni, Loris University of Wisconsin–MadisonItaly FairSquare: Probabilistic Verification of Program Fairness
Vijay D'SilvaD'Silva, Vijay Google Committee Member in Program Committee within the Onward! Papers-track
Francesco DagninoDagnino, Francesco Reasoning on Divergent Computations with Coaxioms
Matthew DanishDanish, Matthew University of Cambridge, UK Verifying Spatial Properties of Array Computations
David DaraisDarais, David University of Maryland, USAUnited States Video Co-Chair in Organizing Committee for SPLASH 2017 Panel of new Ph.D.s Speaker in PLMW Speakers within the SPLASH PL Mentoring Workshop (PLMW)-track
Eva DarulovaDarulova, Eva MPI-SWSGermany Committee Member in Program Committee within the Onward! Papers-track Committee Member in Program Committee within the Scala-track
John DaughtryDaughtry, John Google, Inc. The Uses of Interactive Explorers for Web APIs
Joeri De KosterDe Koster, Joeri Vrije Universiteit Brussel, Belgium Session Chair of Session 2: Runtime Environments and Debugging (part of AGERE) Session Chair of Session 1: Verification and Language Models (part of AGERE) Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model Dynamic Verification of Inter-parameter Constraints in Web Applications Sparrow - A DSL for Coordinating Large Groups of Heterogeneous Actors Transactional Actors: Communication in Transactions Committee Member in Organizing Committee within the AGERE-track
Wolfgang De MeuterDe Meuter, Wolfgang Vrije Universiteit Brussel Session Chair of Distributed Systems (part of SPLASH OOPSLA) Session Chair of Mining Software Repositories and Parsing (part of SPLASH OOPSLA) Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model First-class Reactive Programs for CPS Handling Partial Failures in Distributed Reactive Programming Dynamic Verification of Inter-parameter Constraints in Web Applications Sparrow - A DSL for Coordinating Large Groups of Heterogeneous Actors Transactional Actors: Communication in Transactions Committee Member in Organizing Committee within the REBLS-track Committee Member in External Program Committee within the SPLASH OOPSLA-track
Pablo de Oliveira Castrode Oliveira Castro, Pablo University of Versailles, France Session Chair of Session2: Software performance engineering (part of SEPS) Panel discussions: "Open source software and tools for engineering parallel software" Committee Member in Organizing Committee within the SEPS-track
Coen De RooverDe Roover, Coen Vrije Universiteit BrusselBelgium Doctoral Symposium Co-Chair in Organizing Committee for SPLASH 2017 Co-chair in Program Committee within the SPLASH Doctoral Symposium-track
Luis Eduardo de Souza Amorimde Souza Amorim, Luis Eduardo Delft University of Technology, NetherlandsNetherlands Declarative Disambiguation with Contextual Scoping A Modular SGLR Parsing Architecture for Systematic Performance Optimization Deep Priority Conflicts in the Wild: A Pilot Study
Paulo Sergio Lopes de Souzade Souza, Paulo Sergio Lopes ICMC/USP [Position paper] How to Test your Concurrent Software: An Approach for the Selection of Testing Techniques
Simone do Rocio Senger de Souzade Souza, Simone do Rocio Senger ICMC/USP [Position paper] How to Test your Concurrent Software: An Approach for the Selection of Testing Techniques
Christophe De TroyerDe Troyer, Christophe First-class Reactive Programs for CPS
Saumya DebrayDebray, Saumya University of Arizona Constructing Dynamic Control Flow Graphs from Execution Traces
James DeckerDecker, James Flare: A Brief Look into Optimizing UDFs in Spark (Student Talk)
Thomas DegueuleDegueule, Thomas CWI, NetherlandsFrance Committee Member in Artifact Evaluation Committee within the SLE-track
Benjamin DelawareDelaware, Benjamin Purdue University Committee Member in Program Committee within the FOSD-track
Pantazis DeligiannisDeligiannis, Pantazis Microsoft ResearchUnited Kingdom Project Snowflake: Non-blocking Safe Manual Memory Management for .NET
Robert DeLineDeLine, Robert Microsoft Research Committee Member in Program Committee within the LIVE-track
Camil DemetrescuDemetrescu, Camil Sapienza University RomeItaly Committee Member in Program Committee within the GPCE-track Committee Member in Program Committee within the REBLS-track
Jasper DenkersDenkers, Jasper TU DelftNetherlands A Modular SGLR Parsing Architecture for Systematic Performance Optimization
Joseph DeviettiDevietti, Joseph University of Pennsylvania Monadic Composition for Deterministic, Parallel Batch Processing
Dominique DevrieseDevriese, Dominique KU LeuvenBelgium FRP IoT Modules as a Scala DSL Committee Member in Program Committee within the REBLS-track
Mariangiola DezaniDezani, Mariangiola Università di Torino Committee Member in External Program Committee within the SPLASH OOPSLA-track
Rahul DhodapkarDhodapkar, Rahul MongoDB, USA Synthesizing Configuration File Specifications with Association Rule Learning
Davide Di RuscioDi Ruscio, Davide Committee Member in Steering Committee within the SLE-track
Lukas DiekmannDiekmann, Lukas King's College London Committee Member in Artifact Evaluation Committee within the SLE-track
Jens DietrichDietrich, Jens Massey UniversityNew Zealand XCorpus, An Executable Corpus of Java Programs Committee Member in Program Committee within the SPLASH OOPSLA-track
Danny DigDig, Danny School of EECS at Oregon State University Keynote: The Landscape of Refactoring Research in the Last Decade GPCE Keynote: The Landscape of Refactoring Research in the Last Decade, Danny Dig Understanding the Use of Lambda Expressions in Java Speaker in Keynote speaker within the GPCE-track
Işıl DilligDillig, Işıl UT Austin SQLizer: Query Synthesis from Natural Language Synthesis of Data Completion Scripts using Finite Tree Automata
Thomas DilligDillig, Thomas SQLizer: Query Synthesis from Natural Language
Yufei DingDing, Yufei North Carolina State UniversityChina GLORE: Generalized Loop Redundancy Elimination upon LER-Notation
Tom DinkelakerDinkelaker, Tom Ericsson, GermanyGermany Committee Member in Program Committee within the SLE-track
Cynthia DisenfeldDisenfeld, Cynthia University of Toronto Committee Member in Program Committee within the CoCoS-track
Julian DolbyDolby, Julian IBM Thomas J. Watson Research CenterUnited States Toward Scalable Semantic Big Data
Alastair F. DonaldsonDonaldson, Alastair F. Imperial College LondonUnited Kingdom Automated Testing of Graphics Shader Compilers Automated Testing of Graphics Shader Compilers Committee Member in Program Committee within the SPLASH Workshops-track
Gabriel Dos ReisDos Reis, Gabriel Texas A&M University and Microsoft Committee Member in Program Committee within the SPLASH OOPSLA-track
Samuel DrewsDrews, Samuel University of Wisconsin-Madison FairSquare: Probabilistic Verification of Program Fairness
Derek DreyerDreyer, Derek MPI-SWS Robust and Compositional Verification of Object Capability Patterns
Sophia DrossopoulouDrossopoulou, Sophia Tree Topologies for Causal Message Delivery Specifying Attenuation You Can Have it All: Abstraction and Good Cache Performance Orca: GC and Type System Co-Design for Actor Languages Committee Member in Program Committee within the OCAP-track
Gilles DuboscqDuboscq, Gilles Oracle LabsSwitzerland Making Collection Operations Optimal with Aggressive JIT Compilation
Patrick DubroyDubroy, Patrick Y Combinator Research, USAGermany Incremental Packrat Parsing Committee Member in Program Committee within the NOOL-track
E Jonathan EdwardsEdwards, Jonathan United States Session Chair of Verification (part of SPLASH OOPSLA) Session Chair of Synthesis (part of SPLASH OOPSLA) Reifying Programming Co-chair in Program Committee within the LIVE-track Committee Member in Program Committee within the PX/17.2-track Committee Member in External Program Committee within the SPLASH OOPSLA-track
Michael EichbergEichberg, Michael TU Darmstadt, Germany Committee Member in Program Committee within the CoCoS-track
Eric EideEide, Eric University of UtahUnited States CapNet: Security and Least Authority in a Capability-Enabled Cloud
Susan EisenbachEisenbach, Susan Imperial College London You Can Have it All: Abstraction and Good Cache Performance
Izzat El HajjEl Hajj, Izzat University of Illinois at Urbana-Champaign, USA SAVI Objects: Sharing and Virtuality Incorporated
Romina EramoEramo, Romina University of L'AquilaItaly Committee Member in Artifact Evaluation Committee within the SLE-track
Sebastian ErdwegErdweg, Sebastian TU DelftNetherlands Session Chair of Metaprogramming and Domain Specific Languages (part of META) Toward Abstract Interpretation of Program Transformations Opening Awards Committee Member in Program Committee within the META-track Committee Member in Program Committee within the SPLASH Workshops-track Program Chair in Organizing Committee within the GPCE-track Program Chair in Program Committee within the GPCE-track
Erik ErnstErnst, Erik Google Inc.Denmark Committee Member in Program Committee within the DLS-track Committee Member in External Program Committee within the SPLASH OOPSLA-track
Martin ErwigErwig, Martin Oregon State UniversityUnited States Variational Lists: Comparisons and Design Guidelines Committee Member in Steering Committee within the SLE-track
Tyler EtzelEtzel, Tyler A User Study to Inform the Design of the Obsidian Blockchain DSL
Patrick EugsterEugster, Patrick Purdue University OOPSLA 2015 Program Chair in Steering Committee for SPLASH 2017 Committee Member in Organizing Committee within the REBLS-track
Hugues EvrardEvrard, Hugues Imperial College London, UK Automated Testing of Graphics Shader Compilers
Jonathan EyolfsonEyolfson, Jonathan University of Waterloo Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
F Jose FaleiroFaleiro, Jose Yale University, USA Geo-Distribution of Actor-Based Services
Marc FeeleyFeeley, Marc Université de MontréalCanada Session Chair of Session 4 (part of DLS) Committee Member in Program Committee within the DLS-track
Tim FelgentreffFelgentreff, Tim Hasso-Plattner-Institute, PotsdamGermany Designing a Live Development Experience for Web Components Committee Member in Program Committee within the REBLS-track
Wolfram FenskeFenske, Wolfram University of Magdeburg, Germany How Preprocessor Annotations (Do Not) Affect Maintainability: A Case Study on Change-Proneness
João Paulo FernandesFernandes, João Paulo Release/LISP, CISUC Energy Efficiency across Programming Languages: How do Energy, Time, and Memory Relate?
Leonardo FernandesFernandes, Leonardo Federal University of Pernambuco, BrazilBrazil Avoiding Useless Mutants
Luis Fernando González AlvaránFernando González Alvarán, Luis Politécnico Colombiano Jaime Isaza CadavidColombia Combining Visual and Textual Languages for Dyslexia
Fabrício FerracioliFerracioli, Fabrício LG Electronics, BrazilBrazil Static Placement of Computation on Heterogeneous Devices
Fabiano FerrariFerrari, Fabiano Federal University of São Carlos, Brazil Avoiding Useless Mutants
Eduardo FigueiredoFigueiredo, Eduardo UFMGBrazil Feature Oriented Programming in Groovy
Monica FigueraFiguera, Monica Universidad Simón Bolívar ZenSheet: a live programming environment for reactive computing ZenSheet Studio: A Spreadsheet-Inspired Environment for Reactive Computing ZenSheet Studio: a visual environment for functional reactive computing
Stephen J FinkFink, Stephen J IBMUnited States The Serverless Trilemma: Function Composition for Serverless Computing
Irene FinocchiFinocchi, Irene Sapienza University of Rome, ItalyItaly Committee Member in Program Committee within the SPLASH OOPSLA-track
Bernd FischerFischer, Bernd Stellenbosch University Committee Member in Program Committee within the SLE-track Chair in Steering Committee within the GPCE-track
Kathi FislerFisler, Kathi Brown University (CSES) Peer Review in Cybersecurity Education One if by Lambda, Two if by C: How PL Can Attack Computing Education (CSES) Student Understanding of Aliasing and Procedure Calls Committee Member in Steering Committee within the SPLASH -E-track
Matthew FlattFlatt, Matthew University of UtahUnited States Session Chair of Performance (part of GPCE) Debugging Domain-Specific Languages Defined with Macros Opening Awards Debugging with Domain-Specific Events via Macros Committee Member in Program Committee within the DLS-track General Chair in Organizing Committee within the GPCE-track Committee Member in Steering Committee within the GPCE-track
Jaime FontFont, Jaime San Jorge University, Spain Analyzing the Impact of Natural Language Processing over Feature Location in Models
Nate FosterFoster, Nate Cornell UniversityUnited States Session Chair of Compilers (part of SPLASH -I) Property Law as a Programming Language Verifying Network Data Planes
George FourtounisFourtounis, George University of Athens Heaps Don't Lie: Countering Unsoundness with Heap Snapshots
Nikos FoutrisFoutris, Nikos Cross-ISA debugging in meta-circular VMs
Adrian FrancalanzaFrancalanza, Adrian University of MaltaMalta Heaps Don't Lie: Countering Unsoundness with Heap Snapshots
Juliana FrancoFranco, Juliana Imperial College LondonUnited Kingdom You Can Have it All: Abstraction and Good Cache Performance Orca: GC and Type System Co-Design for Actor Languages Committee Member in Program Committee within the NOOL-track
Hubertus FrankeFranke, Hubertus Dynamic Atomicity: Optimizing Swift memory management
Steven D. FraserFraser, Steven D. Panel: 50 Years of Language Evolution: From Simula’67 to the Future Committee Member in Organizing Committee within the Escaped-track
Marcus FrenkelFrenkel, Marcus Fernuni Hagen Robust Projectional Editing
Bert FreudenbergFreudenberg, Bert Germany Kanto: A multi-participant screen-sharing system for Etoys, Snap! and GP Shadama: A Particle Simulation Programming Environment for Everyone
Daniel FridlenderFridlender, Daniel Decoding Lua: Formal Semantics for the Developer and the Semanticist
Michal FriedmanFriedman, Michal Efficient Logging in Non-Volatile Memory by Exploiting Coherency Protocols
Thomas FritzFritz, Thomas University of British Columbia, University of ZurichCanada Reducing Interruptions at Work with the FlowLight
Jochen FröhlichFröhlich, Jochen TU Dresden, Germany Towards Compositional and Generative Tensor Optimizations
Lidia FuentesFuentes, Lidia Universidad de Málaga, SpainSpain Committee Member in Program Committee within the FOSD-track
G Richard P. GabrielGabriel, Richard P. Dream Songs, Inc. & HPI Organizing Committee in Program Committee within the PX/17.2-track Organizing Chair in Organizing Committee within the PX/17.2-track
Keheliya GallabaGallaba, Keheliya McGill UniversityCanada Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Ronald GarciaGarcia, Ronald University of British Columbia, Canada Web & Publicity in Organizing Committee for SPLASH 2017 Gradual Typing: Foundations for Mixing Static and Dynamic (Keynote Talk) Refining Semantics for Multi-stage Programming Keynote Speaker in Keynote Speaker within the DSLDI-track
Henry GardnerGardner, Henry The Australian National University Systems Level Liveness with AnonSystem
Deepak GargGarg, Deepak Max Planck Institute for Software SystemsGermany Robust and Compositional Verification of Object Capability Patterns
Julien Gascon-SamsonGascon-Samson, Julien SmartJS: Dynamic and Self-Adaptable Runtime Middleware for Next-Generation IoT Systems Committee Member in Program Committee within the REBLS-track
Nicolas GaudGaud, Nicolas Universite’ de technologie Belfort-Montbéliard Committee Member in Program Committee within the AGERE-track Committee Member in Program Committee within the AGERE-track
François GauthierGauthier, François Oracle LabsAustralia The Need for a JavaScript Benchmark for Program Analysis
Rui GeGe, Rui University of British Columbia, Canada Refining Semantics for Multi-stage Programming Refining Semantics for Multi-stage Programming
Edward GehringerGehringer, Edward North Carolina State University (CSES) Open-Source Sofware in Class: Students’ Common Mistakes
Robert GentlemanGentleman, Robert 23andme Panel: 50 Years of Language Evolution: From Simula’67 to the Future
Sebastian GerardGerard, Sebastian CEA Saclay - NanoInnovFrance Committee Member in Program Committee within the SLE-track
Rohit GheyiGheyi, Rohit Federal University of Campina Grande, Brazil Avoiding Useless Mutants
Francesco Di GiacomoGiacomo, Francesco Di Università Ca' Foscari Metacasanova: An Optimized Meta-compiler for Domain-Specific Languages
Paola GianniniGiannini, Paola Universita' del Piemonte OrientaleItaly Committee Member in Program Committee within the DLS-track
Paolo G. GiarrussoGiarrusso, Paolo G. University of Tübingen, GermanyItaly Session Chair of Compilation (part of Scala) Scala'17 Organizer in Organizing Committee within the Scala-track
Jeremy GibbonsGibbons, Jeremy Department of Computer Science, University of OxfordUnited Kingdom Committee Member in Program Committee within the Onward! Essays-track
Yossi GilGil, Yossi Technion—Israel Institute of Technology Less Testing Ink Thapl—A Theatrical DSL
Andy GillGill, Andy University of Kansas, USA Rewriting a Shallow DSL using a GHC Compiler Extension
Elena GlassmanGlassman, Elena UC Berkeley Committee Member in Program Committee within the PLATEAU-track
Klaus v. GleissenthallGleissenthall, Klaus v. University of California at San Diego, USA Verifying Distributed Programs via Canonical Sequentialization
Milos GligoricGligoric, Milos University of Texas at AustinUnited States Bounded Exhaustive Test-Input Generation on GPUs Committee Member in Program Committee within the Onward! Papers-track
PLoP Committess Go to the website for a complete list of all of the committeesGo to the website for a complete list of all of the committees, PLoP Committess The Hillside Group Comfy Chair in Program Committee within the PLoP-track
PLoP Committees Go to the website for a list of all of the committeesGo to the website for a list of all of the committees, PLoP Committees The Hillside Group Comfy Chair in Organizing Committee within the PLoP-track
Alan GoldmanGoldman, Alan Emily Carr UniversityCanada Committee Member in Program Committee within the SAVR-track
Alfredo GoldmanGoldman, Alfredo University of São Paulo OpenMP or Pthreads: Which is Better for Beginners?
Sam GoldmanGoldman, Sam Facebook, USA Fast and Precise Type Checking for JavaScript
Victor B. F. GomesGomes, Victor B. F. University of Cambridge, UK Verifying Strong Eventual Consistency in Distributed Systems
Elisa Gonzalez BoixGonzalez Boix, Elisa Vrije Universiteit BrusselBelgium Doctoral Symposium Co-Chair in Organizing Committee for SPLASH 2017 Steering Committee Member in Steering Committee for Onward! 2017 A Concurrency-Agnostic Protocol for Multi-Paradigm Concurrent Debugging Tools A Principled Approach Towards Debugging Communicating Event-Loops Committee Member in Organizing Committee within the META-track Program Chair in Program Committee within the SPLASH Doctoral Symposium-track Committee Member in Program Committee within the SPLASH Workshops-track Committee Member in Program Committee within the SPLASH OOPSLA-track
Miguel GoulaoGoulao, Miguel NOVA-LINCS, FCT/UNL A Requirements Engineering Approach for Usability-Driven DSL Development
Chris GrangerGranger, Chris Kodowa SPLASH 2017 Keynote: Eve: tackling a giant with a change in perspective Panel: 50 Years of Language Evolution: From Simula’67 to the Future Committee Member in Program Committee within the LIVE-track
Jeff GrayGray, Jeff University of Alabama Committee Member in Program Committee within the SLE-track
Kathryn E. GrayGray, Kathryn E. University of Cambridge Committee Member in Program Committee within the SPLASH OOPSLA-track
Mark GrebeGrebe, Mark University of Kansas, USA Rewriting a Shallow DSL using a GHC Compiler Extension
Neville GrechGrech, Neville Better Program Analysis Through Heap Profiling Heaps Don't Lie: Countering Unsoundness Using Heap Snapshots P/Taint: Unified Points-To and Information Flow Analysis Heaps Don't Lie: Countering Unsoundness with Heap Snapshots P/Taint: Unified Points-to and Taint Analysis
Ben GreenmanGreenman, Ben Northeastern UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Clemens GrelckGrelck, Clemens University of AmsterdamGermany Committee Member in Program Committee within the SEPS-track
Radu GrigoreGrigore, Radu University of KentUnited Kingdom Effective Interactive Resolution of Static Analysis Alarms
Semyon GrigorevGrigorev, Semyon Parsing techniques for graph analysis
James GrimmelmannGrimmelmann, James Cornell Law School Property Law as a Programming Language
Matthias GrimmerGrimmer, Matthias Oracle Labs, Austria Co-chair in Program Committee within the VMIL-track
Dan GrossmanGrossman, Dan University of WashingtonUnited States A Solver-Aided Language for Test Input Generation Instrumentation Bias for Dynamic Data Race Detection
Max GrossmanGrossman, Max Rice University, USA Deadlock Avoidance in Parallel Programs with Futures: Why Parallel Tasks Should Not Wait for Strangers
David GroveGrove, David IBM ResearchUnited States Panel - The future of language runtimes Dynamic Atomicity: Optimizing Swift memory management Dynamic Atomicity: Optimizing Swift Memory Management
Lindsay GrovesGroves, Lindsay Victoria University of Wellington Capabilities and Effects
Paul GrünbacherGrünbacher, Paul JKU Linz, AustriaAustria A Classification of Variation Control Systems
Ronghui GuGu, Ronghui Columbia University, USA An Auditing Language for Preventing Correlated Failures in the Cloud
Eduardo GuerraGuerra, Eduardo INPE - National Institute for Space Research An Annotation-based API for Supporting Runtime Code Annotation Reading
Esther GuerraGuerra, Esther Committee Member in Program Committee within the SLE-track
Sumit GulwaniGulwani, Sumit Microsoft Research PLATEAU Keynote: Usability Design Space in Programming by Examples Panel: 50 Years of Language Evolution: From Simula’67 to the Future
Philip GuoGuo, Philip UCSD Committee Member in Program Committee within the LIVE-track
Sam GuyerGuyer, Sam Tufts UniversityUnited States Can Analysis be Too Precise? Garbology: A Study of How Java Objects Die
Tudor GîrbaGîrba, Tudor CompuGroup Medical Schweiz AG Sympathy for the Devil: Reified Collection of Runtime Errors
Abel GómezGómez, Abel Universitat Oberta de CatalunyaSpain Committee Member in Artifact Evaluation Committee within the SLE-track
Markus GötzGötz, Markus Jülich Supercomputing Centre [Position paper] Facilitating Collaboration in High Performance Computing Projects with an Interaction Room
H David H. LorenzH. Lorenz, David Technion—Israel Institute of Technology Thapl—A Theatrical DSL
Sebastian HackHack, Sebastian Saarland University, GermanyGermany RaTrace: Simple and Efficient Abstractions for BVH Ray Traversal Algorithms
Martin HagelinHagelin, Martin (Dirac) You Can Have it All: Abstraction and Good Cache Performance
Erik HagerstenHagersten, Erik Uppsala University How To Make Tasks Faster: Revealing The Complex Interactions Of Tasks In The Memory System
Michiel HaismaHaisma, Michiel TU DelftNetherlands The Semantics of Name Resolution in Grace
Christopher HallHall, Christopher Infra: Structure All the Way Down - Structured Data as a Visual Programming Language
Philipp HallerHaller, Philipp KTH Royal Institute of TechnologyGermany Session Chair of Keynote Sunday (part of Scala) Panel discussions: "Open source software and tools for engineering parallel software" SEPS Keynote: Taming Concurrent Programming with Domain-Specific Languages Committee Member in Program Committee within the OCAP-track Committee Member in Program Committee within the SPLASH Doctoral Symposium-track Committee Member in Program Committee within the SPLASH Workshops-track Committee Member in Program Committee within the GPCE-track Committee Member in Steering Committee within the Scala-track Scala'17 Program Chair in Organizing Committee within the Scala-track
Christian HammerHammer, Christian University of PotsdamGermany Session Chair of Testing (part of SPLASH OOPSLA) Session Chair of Static Analysis (part of SPLASH OOPSLA) Committee Member in External Program Committee within the SPLASH OOPSLA-track
Matthew HammerHammer, Matthew University of Colorado, BoulderUnited States Toward a Live Stepper for Typed Expressions with Holes Committee Member in Program Committee within the SPLASH Workshops-track Committee Member in Program Committee within the GPCE-track
Stefan HanenbergHanenberg, Stefan University of Duisburg-Essen What's the Effect of Projectional Editors for Creating Words For Unknown Languages? A Controlled Experiment Committee Member in Program Committee within the PLATEAU-track
Stephen HankaHanka, Stephen System Test Failures Diagnosis Using Grammars Generated by Mining Event Logs
Pat HanrahanHanrahan, Pat Stanford University, USA Seam: Provably Safe Local Edits on Graphs
Norm HardyHardy, Norm Keynote by Norm Hardy
Seif HaridiHaridi, Seif Kompics Scala: Narrowing the Gap between Algorithmic Specification and Executable Code (Short Paper)
Daco HarkesHarkes, Daco Delft University of TechnologyNetherlands Student Volunteers Co-Chair in Organizing Committee for SPLASH 2017
Michael HauptHaupt, Michael Oracle Labs Committee Member in Organizing Committee within the VMIL-track
Matthias HauswirthHauswirth, Matthias Università della Svizzera italiana (USI)Switzerland The Entangled Strands of Time in Software Development How Did the Failure Come to Be? Lost in Space and Time? Quantifying the Size of Unit Test Execution Histories Panel: How can our publication models best serve our research? Committee Member in Program Committee within the SPLASH -E-track Committee Member in Program Committee within the SPLASH Workshops-track
Akihiro HayashiHayashi, Akihiro Rice University, USAUnited States Committee Member in Program Committee within the SEPS-track
Paul HeHe, Paul University of Waterloo, CanadaCanada A Simple Soundness Proof for Dependent Object Types
Sarah HeckmanHeckman, Sarah NC State University (CER) 10+ Years of Teaching Software Engineering with iTrust: the Good, the Bad, and the Ugly
Gorel HedinHedin, Gorel Lund UniversitySweden Committee Member in Steering Committee within the SLE-track
Görel HedinHedin, Görel Jatte: A Tunable Tree Editor for Integrated DSLs Concurrent Circular Reference Attribute Grammars
Daniel HeidingaHeidinga, Daniel IBM Fusing Method Handle Graphs for Efficient Dynamic JVM Language Implementations
Marcel HeinzHeinz, Marcel University of Koblenz-Landau, Germany A Chrestomathy of DSL implementations
Kevlin HenneyHenney, Kevlin CurbralanUnited Kingdom Committee Member in Program Committee within the NOOL-track
Pedro Rangel HenriquesHenriques, Pedro Rangel University of Minho, Portugal Automatic Generation of Virtual Learning Spaces Driven by CaVa<sup>DSL</sup>: An Experience Report
Kihong HeoHeo, Kihong University of Pennsylvania, USAKorea, South Automatically Generating Features for Learning Program Analysis Heuristics for C-Like Languages
Ben HermannHermann, Ben University of PaderbornGermany Automated Benchmark Management Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Michael HicksHicks, Michael University of Maryland, College ParkUnited States SIGPLAN Chair in Steering Committee for SPLASH 2017
Raphael HiesgenHiesgen, Raphael Locality-Guided Scheduling in CAF Locality-Guided Scheduling in CAF
Scott HilbergHilberg, Scott (CSES) Assessing the Usability of a Novel System for Programming Education
Michael HiltonHilton, Michael Carnegie Mellon University, USAUnited States Video Co-Chair in Organizing Committee for SPLASH 2017 Panel of new Ph.D.s Speaker in PLMW Speakers within the SPLASH PL Mentoring Workshop (PLMW)-track
Robert HirschfeldHirschfeld, Robert HPIGermany Steering Committee Chair in Steering Committee for Onward! 2017 Designing a Live Development Experience for Web Components Living in your Programming Environment: Enabling Exploratory Programming for Productivity Tools Towards Concept-aware Programming Environments for Guiding Software Modularity Committee Member in Program Committee within the META-track Steering Committee Member in Steering Committee within the DLS-track Committee Member in Program Committee within the DLS-track Organizing Committee in Program Committee within the PX/17.2-track Organizing Chair in Organizing Committee within the PX/17.2-track
Martin HirzelHirzel, Martin IBM ResearchUnited States Generating Chat Bots from Web API Specifications
Eric HolkHolk, Eric Google Committee Member in Program Committee within the DSLDI-track
Niklas HollmannHollmann, Niklas University of Duisburg-Essen, Germany What's the Effect of Projectional Editors for Creating Words For Unknown Languages? A Controlled Experiment
Reid HolmesHolmes, Reid University of British ColumbiaCanada Keynote: Program Comprehension - Who, How, What, and Why
Michael HomerHomer, Michael Victoria University of Wellington Committee Member in Program Committee within the SLE-track Committee Member in Program Committee within the SPLASH -E-track
Nigel HorspoolHorspool, Nigel University of Victoria Committee Member in Program Committee within the CHESE-track
Tony HoskingHosking, Tony Australian National University / Data61Australia Steering Committee Chair in Organizing Committee for SPLASH 2017 SPLASH Steering Committee Chair in Steering Committee for SPLASH 2017 Panel - The future of language runtimes SPLASH Steering Committee Report Committee Member in Organizing Committee within the VMIL-track
Yongjian HuHu, Yongjian University of California, Riverside China Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Zhewei HuHu, Zhewei North Carolina State UniversityUnited States (CSES) Open-Source Sofware in Class: Students’ Common Mistakes
Jeff HuangHuang, Jeff Texas A&M University Session Chair of WODA (part of WODA) Session Chair of WODA (part of WODA) Session Chair of WODA (part of WODA) Session Chair of WODA (part of WODA) Model Checking with Maximal Causality Reduction Co-chair in Organizing Committee within the WODA-track
Shan Shan HuangHuang, Shan Shan LogicBlox, Inc. Student Research Competition Co-Chair in Organizing Committee for SPLASH 2017 Session Chair of SRC 2nd Round: Presentations (part of SPLASH Student Research Competition) Session Chair of SRC 1st Round: Posters (part of SPLASH Student Research Competition) Co-chair in Student Research Competition within the SPLASH Student Research Competition-track
Immo HuismannHuismann, Immo TU Dresden, Germany Towards Compositional and Generative Tensor Optimizations
Lars HupelHupel, Lars Technische Universität MünchenGermany Committee Member in Program Committee within the Scala-track
Wen-mei HwuHwu, Wen-mei University of Illinois at Urbana-Champaign, USA SAVI Objects: Sharing and Virtuality Incorporated
Johannes HärtelHärtel, Johannes University of Koblenz-Landau, Germany A Chrestomathy of DSL implementations
Lukas HärtelHärtel, Lukas University of Koblenz-Landau, Germany A Chrestomathy of DSL implementations
Tobias HöllererHöllerer, Tobias UCSB Infra: Structure All the Way Down - Structured Data as a Visual Programming Language
Jomi Fred HübnerHübner, Jomi Fred Federal University of Santa Catarina, Brazil Committee Member in Program Committee within the AGERE-track
I Kazuhiro IchikawaIchikawa, Kazuhiro University of Tokyo, Japan Silverchain: A Fluent API Generator
Roberto IerusalimschyIerusalimschy, Roberto PUC-RioBrazil Committee Member in Program Committee within the META-track Steering Committee Member in Steering Committee within the DLS-track Committee Member in Program Committee within the DLS-track Committee Member in Program Committee within the VMIL-track
Atsushi IgarashiIgarashi, Atsushi Kyoto University, JapanJapan A DSL for Compensable and Interruptible Executions Committee Member in Program Committee within the SPLASH OOPSLA-track
Alejandro InfanteInfante, Alejandro Object equivalence: Revisiting Object Equality Profiling (An Experience Report)
Pablo InostrozaInostroza, Pablo CWINetherlands Committee Member in Program Committee within the META-track Committee Member in Program Committee within the Scala-track
Hiroaki InoueInoue, Hiroaki Graduate School of Informatics, Kyoto University A DSL for Compensable and Interruptible Executions
Charles Isbell, Jr.Isbell, Jr., Charles Georgia Institute of Technology DSL Design for Reinforcement Learning Agents
Shachar ItzhakyItzhaky, Shachar Technion, IsraelIsrael Committee Member in Program Committee within the Onward! Papers-track
Christian IwainskyIwainsky, Christian Competence Center for High-Performance Computing in Hessian, TU Darmstadt The Influence of HPCToolkit and Score-P on Hardware Performance Counters
J Thomas B. JablinJablin, Thomas B. University of Illinois at Urbana-Champaign, USA / Multicoreware, USA SAVI Objects: Sharing and Virtuality Incorporated
Derek JacobyJacoby, Derek Qvirt.comCanada Session Chair of Building and Breaking (Venture Labs, 12th Floor, 555 Hastings) (part of SAVR) Organization Co-chair in Organizing Committee within the SAVR-track
William JalbyJalby, William Université de Versalles MALT, A Malloc Tracker
Abhinav JangdaJangda, Abhinav University of Massachusetts, AmherstIndia Block Level Parallelism in Parsing Block Structured Languages Unbounded Superoptimization
Ali JannesariJannesari, Ali University of California, BerkeleyUnited States Committee Member in Organizing Committee within the SEPS-track
Sabine JanssensJanssens, Sabine StressLabo Can Some Programming Languages Be Considered Harmful?
Ciera JaspanJaspan, Ciera Google Detecting Argument Selection Defects Committee Member in Program Committee within the SPLASH OOPSLA-track
Jean-Baptiste JeanninJeannin, Jean-Baptiste Carnegie Mellon University IoTa: A Calculus for Internet of Things Automation
Minseok JeonJeon, Minseok Korea University, South KoreaKorea, South Data-Driven Context-Sensitivity for Points-to Analysis
Sehun JeongJeong, Sehun Korea University, South KoreaKorea, South Data-Driven Context-Sensitivity for Points-to Analysis
Chris JermaineJermaine, Chris Rice University Abridging Source Code
Ranjit JhalaJhala, Ranjit University of California at San Diego, USAUnited States Verifying Distributed Programs via Canonical Sequentialization Learning to Blame: Localizing Novice Type Errors with Data-Driven Diagnosis
Alexandra JimboreanJimborean, Alexandra Uppsala University Committee Member in Program Committee within the SEPS-track
David JohnsonJohnson, David University of Utah CapNet: Security and Least Authority in a Capability-Enabled Cloud
Jeremy JohnsonJohnson, Jeremy Drexel University, USA A Haskell Compiler for Signal Transforms
Emily JohnstonJohnston, Emily Google Detecting Argument Selection Defects
Mike JohnstonJohnston, Mike Moatboat Whatever You Say, Happens: Live Creation of VR/AR Experiences
Richard JonesJones, Richard University of Kent Committee Member in Program Committee within the VMIL-track
Nils JonssonJonsson, Nils Delimited Control in Scala (Student Talk) Design of Library Interfaces (Student Talk)
Joaquim JorgeJorge, Joaquim Simplex Sigilo Veritas, U LisboaPortugal Committee Member in Program Committee within the SAVR-track
Jaakko JärviJärvi, Jaakko University of TurkuFinland Session Chair of Analysis & Testing (part of GPCE) Committee Member in Program Committee within the GPCE-track Committee Member in Steering Committee within the GPCE-track
K Ifaz KabirKabir, Ifaz University of Waterloo, Canada A Simple Soundness Proof for Dependent Object Types
Antti-Juhani KaijanahoKaijanaho, Antti-Juhani University of JyväskyläFinland Concept Analysis in Programming Language Research: Done Well It Is All Right
Gail KaiserKaiser, Gail Columbia University, New YorkUnited States Committee Member in Program Committee within the Onward! Papers-track
Tomas KaliberaKalibera, Tomas Northeastern University Committee Member in Program Committee within the VMIL-track
Yukiyoshi KameyamaKameyama, Yukiyoshi University of Tsukuba, JapanJapan Staging with Control: Type-Safe Multi-stage Programming with Control Operators
Shoaib KamilKamil, Shoaib Adobe The Tensor Algebra Compiler
Ted KaminskiKaminski, Ted University of MinnesotaUnited States Reliable composition of domain-specific language features Ensuring Non-interference of Composable Language Extensions Reliable and Automatic Composition of Language Extensions to C
Eliezer KanalKanal, Eliezer Carnegie Mellon University A User Study to Inform the Design of the Obsidian Blockchain DSL
Rezwana KarimKarim, Rezwana Samsung Research America Committee Member in Program Committee within the SPLASH OOPSLA-track
Amey KarkareKarkare, Amey IIT Kanpur Committee Member in Program Committee within the CHESE-track
Alan KarpKarp, Alan Unforgeable Distributed Capabilities Committee Member in Program Committee within the OCAP-track
Saketh KasibatlaKasibatla, Saketh HARC / Y Combinator ResearchUnited States Seymour: Live Programming for the Classroom
Jun KatoKato, Jun National Institute of Advanced Industrial Science and Technology, JapanJapan Keynote: User Interfaces for Live Programming Committee Member in Program Committee within the LIVE-track Committee Member in Program Committee within the PX/17.2-track
Lennart KatsKats, Lennart Amazon Web Services Committee Member in Program Committee within the GPCE-track
Kiyokuni KawachiyaKawachiya, Kiyokuni IBM Research - TokyoJapan Committee Member in External Program Committee within the SPLASH OOPSLA-track
Sven KeidelKeidel, Sven Delft University of Technology, NetherlandsNetherlands Toward Abstract Interpretation of Program Transformations
Keiji Kimura Keiji Kimura Committee Member in Program Committee within the SEPS-track
Stephen KellKell, Stephen University of Cambridge Some Were Meant For C: The endurance of an unmanageable language
Gabriele KellerKeller, Gabriele Data61,CSIRO (formerly NICTA) and UNSWAustralia Committee Member in Program Committee within the DSLDI-track
Mary Beth KeryKery, Mary Beth Carnegie Mellon University Preliminary Analysis of REST API Style Guidelines
Christoph KesslerKessler, Christoph Linköping University, Sweden Committee Member in Program Committee within the SEPS-track
Ameya KetkarKetkar, Ameya Oregon State University, USA Understanding the Use of Lambda Expressions in Java
Samantha Syeda KhairunnesaKhairunnesa, Samantha Syeda Iowa State UniversityUnited States Exploiting Implicit Beliefs to Resolve Sparse Usage Problem in Usage-Based Specification Mining Exploiting Implicit Beliefs to Resolve Sparse Usage Problem in Usage-Based Specification Mining
Deepali KholkarKholkar, Deepali Tata Consultancy Services Research A Domain-Specific Controlled English Language for Automated Regulatory Compliance
Sarfraz KhurshidKhurshid, Sarfraz University of Texas at AustinUnited States Bounded Exhaustive Test-Input Generation on GPUs
Rami Gökhan KıcıKıcı, Rami Gökhan University of California at San Diego, USA Verifying Distributed Programs via Canonical Sequentialization
Liam KiemeleKiemele, Liam MicrosoftUnited States Committee Member in Program Committee within the SAVR-track
Rebecca KillickKillick, Rebecca Department of Mathematics and Statistics, University of Lancaster Virtual Machine Warmup Blows Hot and Cold
Alan KingstoneKingstone, Alan UBC, Cognitive ScienceCanada Committee Member in Program Committee within the SAVR-track
Christoph KirschKirsch, Christoph University of SalzburgAustria Selfie and the Basics Selfie and the Basics
Oleg KiselyovKiselyov, Oleg Committee Member in Program Committee within the Scala-track
Fredrik KjolstadKjolstad, Fredrik MIT CSAIL The Tensor Algebra Compiler The Tensor Algebra Compiler
Kevin KleinKlein, Kevin University of Koblenz-Landau A Chrestomathy of DSL implementations
Martin KleppmannKleppmann, Martin University of CambridgeUnited Kingdom Verifying Strong Eventual Consistency in Distributed Systems
Gabriel KliotKliot, Gabriel Google, n.n. Geo-Distribution of Actor-Based Services
Amy KoKo, Amy University of Washington Modeling Programming Problem Solving Through Interactive Worked Examples Committee Member in Program Committee within the PX/17.2-track
Christoph E. KochKoch, Christoph E. EPFL Squid: Type-Safe, Hygienic, and Reusable Quasiquotes Quoted Staged Rewriting: A Practical Approach to Library-Defined Optimizations
Alex KolesnichenkoKolesnichenko, Alex Microsoft Committee Member in Program Committee within the CHESE-track
James KoppelKoppel, James MIT Incremental Parametric Syntax for Multi-Language Transformation QuixBugs: A Multi-Lingual Program Repair Benchmark Set Based on the Quixey Challenge
Suresh KothariKothari, Suresh Iowa State University, USA Four Languages and Lots of Macros: Analyzing Autotools Build Systems
Christos KotselidisKotselidis, Christos The University of ManchesterUnited Kingdom Cross-ISA debugging in meta-circular VMs Committee Member in Program Committee within the VMIL-track
Scott KovachKovach, Scott Anansi: a Tracing Interpreter
Lucas KramerKramer, Lucas University of Minnesota Reliable and Automatic Composition of Language Extensions to C
Oliver KraussKrauss, Oliver University of Applied Sciences Upper AustriaAustria Genetic Improvement in Code Interpreters and Compilers Genetic Improvement in Code Interpreters and Compilers
Shriram KrishnamurthiKrishnamurthi, Shriram Brown University, USA Error Messages are Classifiers: A Process to Design and Evaluate Error Messages Can We Crowdsource Language Design? (CSES) Student Understanding of Aliasing and Procedure Calls
Erik Krogh KristensenKristensen, Erik Krogh Aarhus University, Denmark Type Test Scripts for TypeScript Testing
Lars KrollKroll, Lars KTH Royal Institute of Technology, SwedenSweden Kompics Scala: Narrowing the Gap between Algorithmic Specification and Executable Code (Short Paper)
Philippe KruchtenKruchten, Philippe University of British ColumbiaCanada Panel: How can our publication models best serve our research? Committee Member in Program Committee within the Onward! Essays-track
Milind KulkarniKulkarni, Milind Purdue University Strong Memory Models: 5 Simple Tricks to Beat SC TreeFuser: A Framework for Analyzing and Fusing General Recursive Tree Traversals
Vinay KulkarniKulkarni, Vinay Tata Consultancy Services ResearchIndia A Domain-Specific Controlled English Language for Automated Regulatory Compliance
Aditya KumarKumar, Aditya Samsung Performance Analysis and Optimization of C++ Standard Libraries
Alok KumbhareKumbhare, Alok Microsoft Research, n.n. Geo-Distribution of Actor-Based Services
Josh KunzKunz, Josh University of Utah CapNet: Security and Least Authority in a Capability-Enabled Cloud
Mark KunzeKunze, Mark University of Duisburg-Essen, Germany What's the Effect of Projectional Editors for Creating Words For Unknown Languages? A Controlled Experiment
Lindsey KuperKuper, Lindsey Intel Labs Session Chair of Session 4 (part of DSLDI) Session Chair of Session 1 (part of DSLDI) Welcome Co-chair in Organizing Committee within the DSLDI-track
Kimio KuramitsuKuramitsu, Kimio Yokohama National University, Japan A Symbol-Based Extension of Parsing Expression Grammars and Context-Sensitive Packrat Parsing
Christian KästnerKästner, Christian Carnegie Mellon University, USAGermany Four Languages and Lots of Macros: Analyzing Autotools Build Systems Committee Member in Steering Committee within the GPCE-track
Thomas KühnKühn, Thomas Technische Universität DresdenGermany Committee Member in Artifact Evaluation Committee within the SLE-track
L Tania Lado InsuaLado Insua, Tania University of TasmaniaAustralia Committee Member in Program Committee within the SAVR-track
Ralf LaemmelLaemmel, Ralf University of Koblenz-Landau, Germany Session Chair of Parsing (part of SLE) A Chrestomathy of DSL implementations Committee Member in Program Committee within the SLE-track
Edmund LamLam, Edmund University of Colorado Boulder ChimpCheck: Property-based Randomized Test Generation for Interactive Apps
Patrick LamLam, Patrick University of Waterloo Posters Co-Chair in Organizing Committee for SPLASH 2017 Session Chair of Poster Reception Monday (part of SPLASH Posters) Session Chair of Poster Reception Wednesday (part of SPLASH Posters) Posters Co-Chair in Organizing Committee within the SPLASH Posters-track
Wing LamLam, Wing University of Illinois at Urbana-ChampaignUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Maria LantinLantin, Maria Emily Carr UniversityCanada Committee Member in Program Committee within the SAVR-track
Michele LanzaLanza, Michele Università della Svizzera italiana (USI)Switzerland An Annotation-based API for Supporting Runtime Code Annotation Reading Sympathy for the Devil: Reified Collection of Runtime Errors
Anna LanzaroLanzaro, Anna Federico II University of NaplesItaly Committee Member in Program Committee within the SEPS-track
Xun LaoLao, Xun Yale University, USA An Auditing Language for Preventing Correlated Failures in the Cloud
Raúl LapeñaLapeña, Raúl San Jorge University, Spain Analyzing the Impact of Natural Language Processing over Feature Location in Models
James LarusLarus, James EPFL Efficient Logging in Non-Volatile Memory by Exploiting Coherency Protocols
Andrei LascuLascu, Andrei Imperial College London Automated Testing of Graphics Shader Compilers
Thomas LaTozaLaToza, Thomas George Mason UniversityUnited States Committee Member in Program Committee within the PLATEAU-track
Nicolas LaurentLaurent, Nicolas Université Catholique de Louvain, BelgiumBelgium Red Shift: Procedural Shift-Reduce Parsing
Ben LaurieLaurie, Ben DeepMind Committee Member in Program Committee within the OCAP-track
Julia LawallLawall, Julia Inria/LIP6 Committee Member in Program Committee within the SPLASH Workshops-track
Lukas LazarekLazarek, Lukas How to Efficiently Process 2^100 Different Lists
Doug LeaLea, Doug State University of New York (SUNY) OswegoUnited States Committee Member in Steering Committee within the SPLASH -E-track Committee Member in Program Committee within the SPLASH OOPSLA-track
Richard LeblancLeblanc, Richard Seattle University Committee Member in Steering Committee within the SPLASH -E-track
Manuel LeducLeduc, Manuel IRISA, University of Rennes 1 Committee Member in Artifact Evaluation Committee within the SLE-track
Michael LeeLee, Michael New Jersey Institute of TechnologyUnited States Committee Member in Program Committee within the PLATEAU-track
Victor LeeLee, Victor Intel CorporationChina Committee Member in Program Committee within the SEPS-track
Daniel LehmannLehmann, Daniel TU DarmstadtGermany Automatic Testing of Interactive JavaScript Debuggers
Jan-Patrick LehrLehr, Jan-Patrick Graduate School of Computational Engineering, TU Darmstadt The Influence of HPCToolkit and Score-P on Hardware Performance Counters
Daan LeijenLeijen, Daan Microsoft ResearchUnited States Semantics of Asynchronous JavaScript
Michael LeinhardtLeinhardt, Michael Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Roland LeißaLeißa, Roland Saarland University, GermanyGermany RaTrace: Simple and Efficient Abstractions for BVH Ray Traversal Algorithms
David LeopoldsederLeopoldseder, David Johannes Kepler University LinzAustria Making Collection Operations Optimal with Aggressive JIT Compilation Simulation-based Code Duplication for Enhancing Compiler Optimizations Simulation-based Code Duplication for Enhancing Compiler Optimizations
Rebekah Leslie-HurdLeslie-Hurd, Rebekah Committee Member in Program Committee within the DSLDI-track
Tihamer LevendovszkyLevendovszky, Tihamer Microsoft Committee Member in Program Committee within the SLE-track
Gabriel LeviLevi, Gabriel Facebook, USA Fast and Precise Type Checking for JavaScript
Nicholas LewchenkoLewchenko, Nicholas Computer-Assisted Specification of Asynchronous Interfaces with Non-Deterministic Behavior
Ondřej LhotákLhoták, Ondřej University of Waterloo, Canada Session Chair of Keynote Monday (part of Scala) A Simple Soundness Proof for Dependent Object Types A Model for Reasoning about JavaScript Promises Scala'17 Program Chair in Organizing Committee within the Scala-track
Huang LiLi, Huang Type-Safe Modular Parsing
Paley LiLi, Paley Northeastern UniversityNew Zealand Towards Typing Julia Committee Member in Program Committee within the SPLASH Workshops-track
Xia LiLi, Xia University of Texas at Dallas, USA Transforming Programs and Tests in Tandem for Fault Localization
Xiangqi LiLi, Xiangqi University of Utah Debugging Domain-Specific Languages Defined with Macros Debugging with Domain-Specific Events via Macros
Zhiyuan LiLi, Zhiyuan Purdue Universitym, USA Committee Member in Program Committee within the SEPS-track
Henry LiebermanLieberman, Henry MIT CSAIL, USA Committee Member in Program Committee within the LIVE-track
Nistor LigiaLigia, Nistor Carnegie Mellon University Verifying the Proxy Design Pattern Using Object Propositions
Phyllipe LimaLima, Phyllipe INPE - National Institute for Space ResearchBrazil An Annotation-based API for Supporting Runtime Code Annotation Reading
Bo LinLin, Bo Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Derrick LinLin, Derrick Independent Researcher QuixBugs: A Multi-Lingual Program Repair Benchmark Set Based on the Quixey Challenge
Jens LinckeLincke, Jens Hasso Plattner Institute Designing a Live Development Experience for Web Components Living in your Programming Environment: Enabling Exploratory Programming for Productivity Tools Towards Concept-aware Programming Environments for Guiding Software Modularity
Lukas LinsbauerLinsbauer, Lukas Johannes Kepler University LinzAustria A Classification of Variation Control Systems
Chang LiuLiu, Chang Ohio University Program Co-Chair in Program Committee within the CHESE-track Program Co-Chair in Steering Committee within the CHESE-track
Lun LiuLiu, Lun University of California at Los Angeles, USA A Volatile-by-Default JVM for Server Applications
Y. Annie LiuLiu, Y. Annie Stony Brook UniversityUnited States What to do and who to ask? Speaker in PLMW Speakers within the SPLASH PL Mentoring Workshop (PLMW)-track Committee Member in External Program Committee within the SPLASH OOPSLA-track
Yu David LiuLiu, Yu David State University of New York (SUNY) BinghamtonUnited States Tool Support for Energy-Aware Programming
Ben LivshitsLivshits, Ben Imperial College London, UK Session Chair of WODA (part of WODA) Session Chair of WODA (part of WODA) Session Chair of WODA (part of WODA) Session Chair of WODA (part of WODA) Browser Performance Woes: Past, Present, and Future Co-chair in Organizing Committee within the WODA-track
Malte LochauLochau, Malte Towards Complete Consistency Checks of Clafer Models
Shu-Peng LohLoh, Shu-Peng Imperial College London Specifying Attenuation
Dastyni LoksaLoksa, Dastyni University of Washington Modeling Programming Problem Solving Through Interactive Worked Examples
Donna LongLong, Donna MicrosoftUnited States Committee Member in Program Committee within the SAVR-track
Crista LopesLopes, Crista University of California, Irvine Steering Committee Member in Steering Committee for Onward! 2017 Session Chair of Session 2 (part of NJR) Welcome and Overview of NJR NJR discussion; Needs, Requirements, Wishes Panel: How can our publication models best serve our research? SPLASH 2017 Keynote: Objects in the Age of Data DéjàVu: A Map of Code Duplicates on GitHub Panel: 50 Years of Language Evolution: From Simula’67 to the Future Committee Member in Program Committee within the DLS-track Committee Member in Organizing Committee within the NJR-track
Matthew C. LoringLoring, Matthew C. Semantics of Asynchronous JavaScript
Giuliano LosaLosa, Giuliano University of California at Los Angeles, USA Paxos Made EPR: Decidable Reasoning about Distributed Protocols
Brandon LuciaLucia, Brandon Carnegie Mellon UniversityUnited States Alpaca: Intermittent Execution without Checkpoints
David LugatoLugato, David CEA, France The Tensor Algebra Compiler
Lechanceux LuhunuLuhunu, Lechanceux University of Montreal Comparison of the Expressiveness and Performance of Template-Based Code Generation Tools
M Manuel MaarekMaarek, Manuel Heriot-Watt UniversityUnited Kingdom Development of a Web Platform for Code Peer-Testing
Lindsay MacdonaldMacdonald, Lindsay Interactions Lab, University of CalgaryCanada Committee Member in Program Committee within the SAVR-track
Julian MackayMackay, Julian Victoria University of Wellington Committee Member in Artifact Evaluation Committee within the SLE-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Andrew MacveanMacvean, Andrew Google, Inc. The Uses of Interactive Explorers for Web APIs
Magnus MadsenMadsen, Magnus University of WaterlooDenmark A Model for Reasoning about JavaScript Promises
Toshiyuki MaedaMaeda, Toshiyuki Chiba Institute of Technology, Japan Model Checking Copy Phases of Concurrent Copying Garbage Collection with Various Memory Models
Kiwan MaengMaeng, Kiwan Carnegie Mellon University, USA Alpaca: Intermittent Execution Without Checkpoints Alpaca: Intermittent Execution without Checkpoints
Giuseppe MaggioreMaggiore, Giuseppe Hogeschool Rotterdam Metacasanova: An Optimized Meta-compiler for Domain-Specific Languages
Geoffrey MainlandMainland, Geoffrey Drexel University, USA A Haskell Compiler for Signal Transforms
Petr MajMaj, Petr ReactorLabs DéjàVu: A Map of Code Duplicates on GitHub DéjàVu: A Map of Code Duplicates on GitHub
Parth MalaniMalani, Parth Committee Member in Program Committee within the SEPS-track
José Carlos MaldonadoMaldonado, José Carlos University of São Paulo, Brazil Avoiding Useless Mutants
Dennis ManclMancl, Dennis MSWX Software ExpertsUnited States Committee Member in Organizing Committee within the Escaped-track
Louis MandelMandel, Louis IBM ResearchUnited States Generating Chat Bots from Web API Specifications
Ravi MangalMangal, Ravi Georgia Institute of Technology Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
William ManskyMansky, William Princeton UniversityUnited States A Verified Messaging System
Stefan MarrMarr, Stefan University of KentUnited Kingdom Session Chair of Code Generation (part of META) Session Chair of Compiling Reflection (part of META) Garbage Collection and Efficiency in Dynamic Metacircular Runtimes: An Experience Report A Concurrency-Agnostic Protocol for Multi-Paradigm Concurrent Debugging Tools A Principled Approach Towards Debugging Communicating Event-Loops Welcome Metaphysics: Towards a Robust Framework for Remotely Working with Potentially Broken Objects and Runtimes Committee Member in Organizing Committee within the META-track Committee Member in Program Committee within the SPLASH Workshops-track Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Mark MarronMarron, Mark Microsoft Research Semantics of Asynchronous JavaScript
Chris MartensMartens, Chris North Carolina State UniversityUnited States Committee Member in Program Committee within the DSLDI-track
Ricardo Giuliani MartiniMartini, Ricardo Giuliani University of Minho, Portugal Automatic Generation of Virtual Learning Spaces Driven by CaVa<sup>DSL</sup>: An Experience Report
Francisco MartinsMartins, Francisco LaSIGE, University of Lisbon Deadlock Avoidance in Parallel Programs with Futures: Why Parallel Tasks Should Not Wait for Strangers
Pedro MartinsMartins, Pedro University of California at Irvine, USA DéjàVu: A Map of Code Duplicates on GitHub
Guillaume MartresMartres, Guillaume EPFL, SwitzerlandSwitzerland Interactive Development using the Dotty Compiler (Tool Paper)
Fabio MascarenhasMascarenhas, Fabio UFRJ Decoding Lua: Formal Semantics for the Developer and the Semanticist
Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of TechnologyJapan Organizing Committee in Program Committee within the PX/17.2-track Organizing Chair in Organizing Committee within the PX/17.2-track Committee Member in Program Committee within the REBLS-track
Toni MattisMattis, Toni Hasso Plattner Institute Living in your Programming Environment: Enabling Exploratory Programming for Productivity Tools Towards Concept-aware Programming Environments for Guiding Software Modularity
Tim MattsonMattson, Tim Intel, USA Committee Member in Organizing Committee within the SEPS-track
Andrea MauriMauri, Andrea Politecnico di Milano, Italy Better Call the Crowd. Using Crowdsourcing to Shape the Notation of Domain-Specific Languages
Tanja MayerhoferMayerhofer, Tanja TU WienAustria Awards Artifact Evaluation Co-Chair in Organizing Committee within the SLE-track Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the SLE-track
Davood MazinanianMazinanian, Davood Concordia University, Canada Understanding the Use of Lambda Expressions in Java
Dylan McDermottMcDermott, Dylan University of Cambridge Project Snowflake: Non-blocking Safe Manual Memory Management for .NET
Sean McDirmidMcDirmid, Sean IndependentUnited States Closing Discussion Lightning Talks Live Programming as Gradual Abstraction Co-chair in Program Committee within the LIVE-track
Léon McGregorMcGregor, Léon Heriot-Watt University Development of a Web Platform for Code Peer-Testing
Shane McIntoshMcIntosh, Shane McGill UniversityCanada Committee Member in Program Committee within the SPLASH OOPSLA-track
Kathryn S McKinleyMcKinley, Kathryn S Google Session Chair of Performance (part of SPLASH OOPSLA) Research is a social process / What Programming Languages Researchers Do and How Static Stages for Heterogeneous Programming Panel: Industry & Academia Speaker in PLMW Speakers within the SPLASH PL Mentoring Workshop (PLMW)-track Committee Member in Program Committee within the SPLASH OOPSLA-track
Erik MeijerMeijer, Erik Committee Member in External Program Committee within the SPLASH OOPSLA-track
Paulo MeirellesMeirelles, Paulo University of São Paulo and University of BrasíliaBrazil OpenMP or Pthreads: Which is Better for Beginners?
Darya MelicherMelicher, Darya Carnegie Mellon University Using Object Capabilities and Effects to Build an Authority-Safe Module System Using Object Capabilities and Effects to Build an Authority-Safe Module System
Silvana Morita MeloMelo, Silvana Morita ICMC/USPBrazil [Position paper] How to Test your Concurrent Software: An Approach for the Selection of Testing Techniques
Richard MembarthMembarth, Richard DFKI, Germany RaTrace: Simple and Efficient Abstractions for BVH Ray Traversal Algorithms
Na MengMeng, Na Virginia Tech Committee Member in Program Committee within the Onward! Papers-track
Kim MensMens, Kim Université Catholique de Louvain, BelgiumBelgium Committee Member in Program Committee within the META-track
Marjan MernikMernik, Marjan University of MariborSlovenia Session Chair of Meta-modelling (part of SLE) Awards Opening Program Co-Chair in Program Committee within the SLE-track PC Co-Chair in Organizing Committee within the SLE-track
Jacobus Van der MerweMerwe, Jacobus Van der University of Utah CapNet: Security and Least Authority in a Capability-Enabled Cloud
Leo MeyerovichMeyerovich, Leo Graphistry Committee Member in Program Committee within the Onward! Papers-track
Bart MeyersMeyers, Bart University of Antwerp, Belgium Concrete Syntax: A Multi-paradigm Modelling Approach
Mira MeziniMezini, Mira TU DarmstadtGermany Committee Member in Program Committee within the SPLASH OOPSLA-track
Matthew MightMight, Matthew University of Utah, USAUnited States Restricting Grammars with Tree Automata
Guilherme Miguel Teixeira RitoMiguel Teixeira Rito, Guilherme What merge tool should I use?
Ana MilanovaMilanova, Ana Rensselaer Polytechnic InstituteUnited States Choosing your mentor and learning to present your ideas clearly Speaker in PLMW Speakers within the SPLASH PL Mentoring Workshop (PLMW)-track Committee Member in Program Committee within the SPLASH OOPSLA-track
Heather MillerMiller, Heather Ecole Polytechnique Federale de Lausanne Committee Member in Steering Committee within the Scala-track Scala'17 General Chair in Organizing Committee within the Scala-track Committee Member in Program Committee within the SPLASH OOPSLA-track
Mark MillerMiller, Mark Google Inc.United States Session Chair of Welcome and Keynote (part of OCAP) Panel Discussion: Security in OO languages Committee Member in Organizing Committee within the OCAP-track
Todd MillsteinMillstein, Todd University of California, Los Angeles A Volatile-by-Default JVM for Server Applications
Dejan MilojicicMilojicic, Dejan Hewlett Packard Labs, USA SAVI Objects: Sharing and Virtuality Incorporated
Sasa MisailovicMisailovic, Sasa University of Illinois at Urbana-Champaign, USA Committee Member in Program Committee within the SPLASH OOPSLA-track
Nick MitchellMitchell, Nick The Serverless Trilemma: Function Composition for Serverless Computing
Andrea MocciMocci, Andrea Universita della Svizzera italiana (USI) An Annotation-based API for Supporting Runtime Code Annotation Reading Sympathy for the Devil: Reified Collection of Runtime Errors
Rafiuzzaman MohammadMohammad, Rafiuzzaman University of British ColumbiaBangladesh SmartJS: Dynamic and Self-Adaptable Runtime Middleware for Next-Generation IoT Systems
Tim MolderezMolderez, Tim Vrije Universiteit BrusselBelgium Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Korbinian MolitoriszMolitorisz, Korbinian Committee Member in Program Committee within the SEPS-track
Melina MongioviMongiovi, Melina Federal University of Campina Grande, Brazil Avoiding Useless Mutants
Scott MooreMoore, Scott Harvard University Committee Member in Program Committee within the DLS-track
Shirley MooreMoore, Shirley Oak Ridge National Laboratory Performance Analysis and Optimization of the RAMPAGE Metal Alloy Potential Generation Software
Christine Corbett MoranMoran, Christine Corbett California Institute of Technology (CSES) Applied and Adaptive Curriculum in Introductory to Computer Science Courses for Success in Diverse Student Groups
Igor Moreno SantosMoreno Santos, Igor Ivo functions forward and backward
Savannah MorganMorgan, Savannah How Are Programming Questions from Women Received on Stack Overflow? A Case Study of Peer Parity
J. Garrett MorrisMorris, J. Garrett University of Kansas, USAUnited States Committee Member in Program Committee within the NOOL-track
Peter D. MossesMosses, Peter D. Swansea UniversityUnited Kingdom Keynote: Engineering Meta-Languages for Specifying Software Languages SLE Keynote: Engineering meta-languages for specifying software languages Committee Member in Keynote Speaker within the SLE-track
Paulo MottaMotta, Paulo Motta & SantAnna Pesquisa e Desenvolvimento [Position paper] Declaring Lua Data Types for GPU Code Generation
Sarah MountMount, Sarah King's College LondonUnited Kingdom Virtual Machine Warmup Blows Hot and Cold Committee Member in Program Committee within the SPLASH Workshops-track
Fabian MuehlboeckMuehlboeck, Fabian Cornell University Sound Gradual Typing Is Nominally Alive and Well
Manasij MukherjeeMukherjee, Manasij Chennai Mathematical Institute MkMod: A Domain Specific Language for developing Linux Kernel Modules
Dominic P. MulliganMulligan, Dominic P. University of Cambridge Verifying Strong Eventual Consistency in Distributed Systems
Vijayaraghavan MuraliMurali, Vijayaraghavan Rice University, USA Abridging Source Code
Gail MurphyMurphy, Gail University of British ColumbiaCanada General Chair in Organizing Committee for SPLASH 2017 SPLASH 2017 General Chair in Steering Committee for SPLASH 2017 Steering Committee Member in Steering Committee for Onward! 2017 Session Chair of Programming Models (part of SPLASH -I) Conference Banquet (Reception Style) SPLASH 2017 General Chairs Report Monday Workshop and Poster Reception Welcome to SPLASH 2017 Ice Cream Social Wednesday Poster Reception Committee Member in Organizing Committee within the SPLASH -I-track
Lauren MurphyMurphy, Lauren University of Michigan Preliminary Analysis of REST API Style Guidelines
Emerson Murphy-HillMurphy-Hill, Emerson North Carolina State University Onward! 2016 Papers Chair in Steering Committee for SPLASH 2017 Steering Committee Member in Steering Committee for Onward! 2017 One λ at a time: What do we know about presenting human-friendly output from program analysis tools? Committee Member in Program Committee within the PLATEAU-track Committee Member in Program Committee within the Onward! Essays-track Committee Member in Program Committee within the PX/17.2-track
Toby MurrayMurray, Toby University of Melbourne, AustraliaAustralia Committee Member in Program Committee within the OCAP-track
Jeanne-Marie MuscaMusca, Jeanne-Marie Tufts University Markedly: a cartographic approach for mapping eDSL implementation costs
Gunter MussbacherMussbacher, Gunter McGill University, Canada Committee Member in Program Committee within the SLE-track
Madan MusuvathiMusuvathi, Madan Microsoft Research A Volatile-by-Default JVM for Server Applications
Vinod MuthusamyMuthusamy, Vinod IBM T.J. Watson Research The Serverless Trilemma: Function Composition for Serverless Computing
Andrew MyersMyers, Andrew Familia: Unifying Interfaces, Type Classes, and Family Polymorphism
Brad A. MyersMyers, Brad A. Carnegie Mellon UniversityUnited States Preliminary Analysis of REST API Style Guidelines A User Study to Inform the Design of the Obsidian Blockchain DSL
Florian MyterMyter, Florian Vrije Universiteit Brussel, BelgiumBelgium Session Chair of Bits versus Atoms! (Venture Labs, 12th Floor, 555 Hastings) (part of SAVR) Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model Handling Partial Failures in Distributed Reactive Programming Committee Member in Program Committee within the SAVR-track
Todd MytkowiczMytkowicz, Todd Microsoft Research Static Stages for Heterogeneous Programming
Hanspeter MössenböckMössenböck, Hanspeter JKU Linz, AustriaAustria A Concurrency-Agnostic Protocol for Multi-Paradigm Concurrent Debugging Tools A Principled Approach Towards Debugging Communicating Event-Loops
Anders MøllerMøller, Anders Aarhus UniversityDenmark Practical Initialization Race Detection for JavaScript Web Applications Type Test Scripts for TypeScript Testing
Peter MüllerMüller, Peter ETH ZurichSwitzerland Committee Member in External Program Committee within the SPLASH OOPSLA-track
N Sarah NadiNadi, Sarah University of AlbertaCanada Committee Member in Program Committee within the GPCE-track Committee Member in Program Committee within the SPLASH OOPSLA-track
Mayur NaikNaik, Mayur University of Pennsylvania Navigating the process of doing a rewarding Ph.D. Panel: Industry & Academia Effective Interactive Resolution of Static Analysis Alarms Speaker in PLMW Speakers within the SPLASH PL Mentoring Workshop (PLMW)-track
Shayan NajdNajd, Shayan University of EdinburghUnited Kingdom Embedding By Normalisation
Tomoki NakamaruNakamaru, Tomoki University of Tokyo, JapanJapan Silverchain: A Fluent API Generator
Marco NardesNardes, Marco INPE - National Institute for Space Research An Annotation-based API for Supporting Runtime Code Annotation Reading
Roberto NatellaNatella, Roberto Federico II University of NaplesItaly Committee Member in Program Committee within the SEPS-track
Omar Navarro-LeijaNavarro-Leija, Omar University of Pennsylvania, USA Monadic Composition for Deterministic, Parallel Batch Processing
Patrick NeubauerNeubauer, Patrick University of York, UKUnited Kingdom Virtual Textual Model Composition for Supporting Versioning and Aspect-Orientation
Helmut NeukirchenNeukirchen, Helmut University of Iceland [Position paper] Facilitating Collaboration in High Performance Computing Projects with an Interaction Room
Julie L. NewcombNewcomb, Julie L. University of California at Berkeley IoTa: A Calculus for Internet of Things Automation Iota: A Calculus for Internet of Things Automation
Ryan R. NewtonNewton, Ryan R. Indiana UniversityUnited States Monadic Composition for Deterministic, Parallel Batch Processing
Lisa Nguyen Quang DoNguyen Quang Do, Lisa Fraunhofer IEMGermany Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Hoan Anh NguyenNguyen, Hoan Anh Iowa State University, USA Exploiting Implicit Beliefs to Resolve Sparse Usage Problem in Usage-Based Specification Mining
Tien N. NguyenNguyen, Tien N. University of Texas at DallasUnited States Exploiting Implicit Beliefs to Resolve Sparse Usage Problem in Usage-Based Specification Mining
Wode NiNi, Wode Columbia University Substance and Style: domain-specific languages for mathematical diagrams
Jens NicolayNicolay, Jens Vrije Universiteit Brussel, BelgiumBelgium First-class Reactive Programs for CPS
Abel NietoNieto, Abel University of WaterlooCanada Towards Algorithmic Typing for DOT (Short Paper)
Borivoje NikolicNikolic, Borivoje UC Berkeley Preventing Babel: Rectifying the Trend of Programming Language Divergence
Andrew NisbetNisbet, Andrew The University of Manchester Cross-ISA debugging in meta-circular VMs
Jianwei NiuNiu, Jianwei Verifiable Reactive Software
James NobleNoble, James Victoria University of Wellington Committee Member in Program Committee within the Onward! Papers-track Committee Member in Organizing Committee within the OCAP-track Committee Member in External Program Committee within the SPLASH OOPSLA-track
Aleksey NoginNogin, Aleksey HRL Laboratories, LLCUnited States A Verified Messaging System
Job NoormanNoorman, Job KU Leuven FRP IoT Modules as a Scala DSL
Aditya NoriNori, Aditya FairSquare: Probabilistic Verification of Program Fairness
Nate NystromNystrom, Nate Ivo functions forward and backward A Scala Framework for Supercompilation
O Martin OderskyOdersky, Martin EPFL, SwitzerlandSwitzerland Committee Member in Program Committee within the Scala-track Committee Member in Steering Committee within the Scala-track
Georg OfenbeckOfenbeck, Georg ETH Zurich, Switzerland Staging for Generic Programming in Space and Time
Hakjoo OhOh, Hakjoo Korea UniversityKorea, South Automatically Generating Features for Learning Program Analysis Heuristics for C-Like Languages Automatically Generating Features for Learning Program Analysis Heuristics for C-Like Languages Data-Driven Context-Sensitivity for Points-to Analysis Data-Driven Context-Sensitivity for Points-to Analysis
Yoshiki OhshimaOhshima, Yoshiki HARC / Y Combinator ResearchJapan Kanto: A multi-participant screen-sharing system for Etoys, Snap! and GP Shadama: A Particle Simulation Programming Environment for Everyone Committee Member in Program Committee within the PX/17.2-track Committee Member in Program Committee within the REBLS-track
Junpei OishiOishi, Junpei University of Tsukuba, Japan Staging with Control: Type-Safe Multi-stage Programming with Control Operators
Leonid OlikerOliker, Leonid Lawrence Berkeley National Laboratory Performance Analysis and Optimization of the RAMPAGE Metal Alloy Potential Generation Software
Bruno C. d. S. OliveiraOliveira, Bruno C. d. S. University of Hong Kong, ChinaHong Kong Type-Safe Modular Parsing Unifying Typing and Subtyping Committee Member in Program Committee within the GPCE-track Committee Member in Program Committee within the Scala-track Committee Member in External Program Committee within the SPLASH OOPSLA-track
Cyrus OmarOmar, Cyrus Carnegie Mellon UniversityUnited States Session Chair of Runtime Reflection (part of META) Toward a Live Stepper for Typed Expressions with Holes Committee Member in Program Committee within the META-track Committee Member in Program Committee within the META-track Publicity Chair in Organizing Committee within the GPCE-track Committee Member in Program Committee within the GPCE-track
Steve OneyOney, Steve University of Michigan Committee Member in Program Committee within the LIVE-track Committee Member in Program Committee within the PX/17.2-track
Nathalie OostvogelsOostvogels, Nathalie Dynamic Verification of Inter-parameter Constraints in Web Applications Dynamic Verification of Inter-parameter Constraints in Web Applications
Jesper OqvistOqvist, Jesper Lund University Concurrent Circular Reference Attribute Grammars Concurrent Circular Reference Attribute Grammars
Dominic OrchardOrchard, Dominic University of Kent, UKUnited Kingdom Verifying Spatial Properties of Array Computations
Harold OssherOssher, Harold IBM Thomas J. Watson Research CenterUnited States Training and Tuning Machine-Learning Applications: A View from the Trenches
Leo OsvaldOsvald, Leo Purdue University, USA Rust-Like Borrowing with 2nd-Class Values (Short Paper)
Guilherme OttoniOttoni, Guilherme Facebook HHVM: Efficient and Scalable PHP/Hack Execution
P Piotr PadlewskiPadlewski, Piotr Devirtualization in LLVM
Oded PadonPadon, Oded Tel Aviv UniversityIsrael Paxos Made EPR: Decidable Reasoning about Distributed Protocols
Sreepathi PaiPai, Sreepathi University of RochesterUnited States Bounded Exhaustive Test-Input Generation on GPUs
Richard PaigePaige, Richard University of York Committee Member in Steering Committee within the SLE-track
Zachary PalmerPalmer, Zachary Swarthmore CollegeUnited States Committee Member in Program Committee within the SPLASH -E-track
Jens PalsbergPalsberg, Jens University of California, Los Angeles (UCLA) Session Chair of Session 1 (part of NJR) Welcome and Overview of NJR NJR discussion; Needs, Requirements, Wishes Committee Member in Organizing Committee within the NJR-track
Manolis PapadakisPapadakis, Manolis Stanford University, USAGreece Seam: Provably Safe Local Edits on Graphs
Nick PapouliasPapoulias, Nick IRD, UPMC, France France Committee Member in Program Committee within the DLS-track
Matthew J. ParkinsonParkinson, Matthew J. Microsoft Research, UKUnited Kingdom Project Snowflake: Non-blocking Safe Manual Memory Management for .NET
Chris ParninParnin, Chris NCSUUnited States One λ at a time: What do we know about presenting human-friendly output from program analysis tools? (CER) 10+ Years of Teaching Software Engineering with iTrust: the Good, the Bad, and the Ugly
Terence ParrParr, Terence University of San FranciscoUnited States Committee Member in Program Committee within the SLE-track
Lionel ParreauxParreaux, Lionel EPFLSwitzerland Squid: Type-Safe, Hygienic, and Reusable Quasiquotes Quoted Staged Rewriting: A Practical Approach to Library-Defined Optimizations Quoted Staged Rewriting: a Practical Approach to Library-Defined Optimizations
Oscar PastorPastor, Oscar Universitat Politècnica de València, Spain Analyzing the Impact of Natural Language Processing over Feature Location in Models
Karthik PattabiramanPattabiraman, Karthik University of British Columbia SmartJS: Dynamic and Self-Adaptable Runtime Middleware for Next-Generation IoT Systems
David J. PearcePearce, David J. Victoria University of Wellington, New ZealandUnited Kingdom Rewriting for Sound and Complete Union, Intersection and Negation Types Committee Member in Steering Committee within the SLE-track
Matan I. PeledPeled, Matan I. Technion—Israel Institute of TechnologyIsrael Thapl—A Theatrical DSL
Fernando Magno Quintão PereiraPereira, Fernando Magno Quintão UFMGBrazil Static Placement of Computation on Heterogeneous Devices
Rui PereiraPereira, Rui HASLab/INESC TEC & Universidade do Minho Energy Efficiency across Programming Languages: How do Energy, Time, and Memory Relate?
Roly PereraPerera, Roly University of Edinburgh, UK / University of Glasgow, UKUnited Kingdom Integrating Debugging with Continuous Testing Committee Member in Program Committee within the LIVE-track Co-chair in Organizing Committee within the NOOL-track
Michael PerscheidPerscheid, Michael Hasso Plattner Institute Committee Member in Program Committee within the PX/17.2-track
Eric PetitPetit, Eric Intel, France Committee Member in Program Committee within the SEPS-track
Erez PetrankPetrank, Erez TechnionIsrael Committee Member in Program Committee within the SPLASH OOPSLA-track
Marian PetrePetre, Marian Committee Member in Program Committee within the Onward! Essays-track
Michael PhilippsenPhilippsen, Michael Committee Member in Program Committee within the SEPS-track
Benjamin C. PiercePierce, Benjamin C. University of PennsylvaniaUnited States Committee Member in Program Committee within the OCAP-track
Frank PiessensPiessens, Frank KU Leuven FRP IoT Modules as a Scala DSL
Lee PikePike, Lee Galois Committee Member in Program Committee within the DSLDI-track
Javier PimásPimás, Javier Palantir SolutionsArgentina Garbage Collection and Efficiency in Dynamic Metacircular Runtimes: An Experience Report Metaphysics: Towards a Robust Framework for Remotely Working with Potentially Broken Objects and Runtimes
Ruzica PiskacPiskac, Ruzica Yale University An Auditing Language for Preventing Correlated Failures in the Cloud An Auditing Language for Preventing Correlated Failures in the Cloud Synthesizing Configuration File Specifications with Association Rule Learning
Filip PizloPizlo, Filip AppleUnited States Invited talk: The JavaScriptCore Virtual Machine (joint with DLS 2017) Invited talk: The JavaScriptCore Virtual Machine (joint with VMIL 2017)
Gabriel PoesiaPoesia, Gabriel Federal University of Minas Gerais, Brazil Static Placement of Computation on Heterogeneous Devices
Guillermo PolitoPolito, Guillermo CNRSArgentina Committee Member in Program Committee within the META-track
Joe Gibbs PolitzPolitz, Joe Gibbs University of California, San DiegoUnited States SPLASH-E Chair in Organizing Committee for SPLASH 2017 Session Chair of Tools and Techniques (part of SPLASH -E) Program Chair in Program Committee within the SPLASH -E-track
Lori PollockPollock, Lori University of Delaware, USAUnited States PLMW Co-Chair in Organizing Committee for SPLASH 2017 Welcome and Greeting PLMW Co-Chair in PLMW Organizing Committee within the SPLASH PL Mentoring Workshop (PLMW)-track
Justin PombrioPombrio, Justin Brown University, USAUnited States Can We Crowdsource Language Design?
Sebastian PopPop, Sebastian Samsung Research America Performance Analysis and Optimization of C++ Standard Libraries
Jaroslav PorubänPorubän, Jaroslav Technical University of Košice, Slovakia Committee Member in Program Committee within the SLE-track
Alex PotaninPotanin, Alex Victoria University of WellingtonNew Zealand Workshops Co-Chair in Organizing Committee for SPLASH 2017 Publications Chair in Organizing Committee for SPLASH 2017 Usably Expressing and Enforcing Design in Wyvern Using Object Capabilities and Effects to Build an Authority-Safe Module System Capabilities and Effects Workshops Co-Chair in Organizing Committee within the SPLASH Workshops-track Co-chair in Organizing Committee within the NOOL-track
Michael PradelPradel, Michael TU Darmstadt Detecting Argument Selection Defects Committee Member in Program Committee within the SPLASH Workshops-track
Aleksandar ProkopecProkopec, Aleksandar Oracle LabsSwitzerland Encoding the building blocks of communication Making Collection Operations Optimal with Aggressive JIT Compilation Committee Member in Program Committee within the AGERE-track
Arsène Pérard-GayotPérard-Gayot, Arsène Saarland University, Germany RaTrace: Simple and Efficient Abstractions for BVH Ray Traversal Algorithms
Markus PüschelPüschel, Markus ETH ZürichSwitzerland Staging for Generic Programming in Space and Time Committee Member in Program Committee within the GPCE-track
Q Xiaokang QiuQiu, Xiaokang Purdue UniversityUnited States Natural Synthesis of Provably-Correct Data-Structure Manipulations
Christoffer Quist AdamsenQuist Adamsen, Christoffer Aarhus UniversityDenmark Practical Initialization Race Detection for JavaScript Web Applications Practical Initialization Race Detection for JavaScript Web Applications
R Mohammad R. AzadmaneshR. Azadmanesh, Mohammad How Did the Failure Come to Be?
Rodric RabbahRabbah, Rodric IBM Research The Serverless Trilemma: Function Composition for Serverless Computing
Jonathan Ragan-KelleyRagan-Kelley, Jonathan UC BerkeleyUnited States Committee Member in Program Committee within the DSLDI-track
Muntasir Raihan RahmanRahman, Muntasir Raihan MicrosoftUnited States Geo-Distribution of Actor-Based Services
Hridesh RajanRajan, Hridesh Iowa State UniversityUnited States Order Types: Static Reasoning about Message Races in Asynchronous Message Passing Concurrency Bridging the Digital Divide in Data Science Exploiting Implicit Beliefs to Resolve Sparse Usage Problem in Usage-Based Specification Mining Committee Member in Program Committee within the AGERE-track Committee Member in Organizing Committee within the VMIL-track
Rachel RalphRalph, Rachel Center for Digital Media/UVicCanada Committee Member in Program Committee within the SAVR-track
Stefan RamsonRamson, Stefan Hasso Plattner Institute, Potsdam Designing a Live Development Experience for Web Components Living in your Programming Environment: Enabling Exploratory Programming for Productivity Tools Towards Concept-aware Programming Environments for Guiding Software Modularity
Marianna RapoportRapoport, Marianna University of Waterloo, CanadaCanada A Simple Soundness Proof for Dependent Object Types Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Baishakhi RayRay, Baishakhi Committee Member in Program Committee within the Onward! Papers-track
Derek RaysideRayside, Derek University of Waterloo Committee Member in Program Committee within the Onward! Papers-track
Dwayne ReevesReeves, Dwayne Facebook The Hack Programming Language
Alastair ReidReid, Alastair Arm LtdUnited Kingdom Who Guards the Guards? Formal Validation of the ARM v8-M Architecture Specification
Patrick ReinRein, Patrick Hasso Plattner Institute Designing a Live Development Experience for Web Components Living in your Programming Environment: Enabling Exploratory Programming for Productivity Tools Towards Concept-aware Programming Environments for Guiding Software Modularity
Micha ReiserReiser, Micha Hochschule für Technik RapperswilSwitzerland Accelerate JavaScript Applications by Cross-Compiling to WebAssembly
Thomas RepsReps, Thomas University of Wisconsin - Madison and GrammaTech, Inc.United States Model-Assisted Machine-Code Synthesis
Bob ReyndersReynders, Bob imec-DistriNet, KU Leuven, BelgiumBelgium FRP IoT Modules as a Scala DSL
Mohammad rezareza, Mohammad Lost in Space and Time? Quantifying the Size of Unit Test Execution Histories
Francisco RibeiroRibeiro, Francisco HASLab/INESC TEC & Universidade do Minho Energy Efficiency across Programming Languages: How do Energy, Time, and Memory Relate?
Márcio RibeiroRibeiro, Márcio Federal University of Alagoas, BrazilBrazil Avoiding Useless Mutants Committee Member in Program Committee within the GPCE-track Committee Member in External Program Committee within the SPLASH OOPSLA-track
Alessandro RicciRicci, Alessandro University of Bologna, Italy Committee Member in Program Committee within the AGERE-track
Andrew RiceRice, Andrew University of Cambridge, UK Verifying Spatial Properties of Array Computations Detecting Argument Selection Defects
Gregor RichardsRichards, Gregor University of WaterlooCanada Session Chair of Language Design (part of SPLASH OOPSLA) Session Chair of Optimizing Compilation and Verification (part of SPLASH OOPSLA) The VM Already Knew That: Leveraging Compile-Time Knowledge to Optimize Gradual Typing Committee Member in Program Committee within the SPLASH OOPSLA-track
Bernhard RieckeRiecke, Bernhard Simon Fraser UniversityCanada Committee Member in Program Committee within the SAVR-track
Morris RiedelRiedel, Morris Jülich Supercomputing Centre [Position paper] Facilitating Collaboration in High Performance Computing Projects with an Interaction Room
Felix RiegerRieger, Felix Philipps-Universität Marburg Survey of Approaches for Assessing Software Energy Consumption
David RiegnerRiegner, David The Ohio State University Performance Analysis and Optimization of the RAMPAGE Metal Alloy Potential Generation Software
Dirk RiehleRiehle, Dirk Committee Member in Program Committee within the Onward! Essays-track
Michael RiesRies, Michael facilityBoss GmbH Towards Complete Consistency Checks of Clafer Models
Martin C. RinardRinard, Martin C. Massachusetts Institute of TechnologyUnited States Robust Programs with Filtered Iterators
Talia RingerRinger, Talia University of WashingtonUnited States A Solver-Aided Language for Test Input Generation
Jan Oliver RingertRingert, Jan Oliver Tel Aviv UniversityGermany Committee Member in Program Committee within the SLE-track
Norman A. RinkRink, Norman A. TU Dresden, Germany Towards Compositional and Generative Tensor Optimizations
Romain RobbesRobbes, Romain Free University of Bozen-BolzanoItaly Committee Member in Program Committee within the SPLASH OOPSLA-track
Matthew RobertsRoberts, Matthew Macquarie University Committee Member in Artifact Evaluation Committee within the SLE-track
Marshall RochRoch, Marshall Facebook, USA Fast and Precise Type Checking for JavaScript
Humberto Rodriguez AvilaRodriguez Avila, Humberto Vrije Universiteit BrusselBelgium Sparrow - A DSL for Coordinating Large Groups of Heterogeneous Actors
Tiark RompfRompf, Tiark Purdue UniversityUnited States Rust-Like Borrowing with 2nd-Class Values (Short Paper) Staging for Generic Programming in Space and Time Committee Member in Program Committee within the META-track Committee Member in Program Committee within the META-track Committee Member in Program Committee within the GPCE-track
Eduardo RosalesRosales, Eduardo University of Lugano, Switzerland Accurate Reification of Complete Supertype Information for Dynamic Analysis on the JVM
Thorben RoßenbeckRoßenbeck, Thorben University of Duisburg-Essen, Germany What's the Effect of Projectional Editors for Creating Words For Unknown Languages? A Controlled Experiment
Andrea RosàRosà, Andrea University of Lugano, SwitzerlandSwitzerland Accurate Reification of Complete Supertype Information for Dynamic Analysis on the JVM
Philip C. RothRoth, Philip C. Oak Ridge National Laboratory Performance Analysis and Optimization of the RAMPAGE Metal Alloy Potential Generation Software
Suman RoychoudhuryRoychoudhury, Suman Tata Consultancy Services Research A Domain-Specific Controlled English Language for Automated Regulatory Compliance A Domain-Specific Controlled English Language for Automated Regulatory Compliance
Rui RuaRua, Rui HASLab/INESC TEC & Universidade do Minho Energy Efficiency across Programming Languages: How do Energy, Time, and Memory Relate?
Julia RubinRubin, Julia University of British ColumbiaCanada FOSD Keynote: Managing Features in Cloned Variants Panel: Industry & Academia Committee Member in Program Committee within the SLE-track Speaker in PLMW Speakers within the SPLASH PL Mentoring Workshop (PLMW)-track Keynote Speaker in Keynote Speaker within the FOSD-track Committee Member in Program Committee within the FOSD-track
Spencer RugaberRugaber, Spencer Georgia Institute of Technology DSL Design for Reinforcement Learning Agents
Bernhard RumpeRumpe, Bernhard RWTH Aachen University, GermanyGermany Session Chair of Grammars (part of SLE) Awards Opening Program Co-Chair in Program Committee within the SLE-track PC Co-Chair in Organizing Committee within the SLE-track Committee Member in Program Committee within the SEPS-track
Barbara RyderRyder, Barbara Virginia TechUnited States PLMW Co-Chair in Organizing Committee for SPLASH 2017 Welcome and Greeting PLMW Co-Chair in PLMW Organizing Committee within the SPLASH PL Mentoring Workshop (PLMW)-track
Sukyoung RyuRyu, Sukyoung KAISTKorea, South Committee Member in Program Committee within the DLS-track Committee Member in External Program Committee within the SPLASH OOPSLA-track
S Gunter SaakeSaake, Gunter University of Magdeburg, Germany How Preprocessor Annotations (Do Not) Affect Maintainability: A Case Study on Change-Proneness
Farshad SaeidiSaeidi, Farshad Iran Programmable Aspect (Canceled)
Mooly SagivSagiv, Mooly Tel Aviv University Paxos Made EPR: Decidable Reasoning about Distributed Protocols
Vaibhav SainiSaini, Vaibhav University of California at Irvine, USA DéjàVu: A Map of Code Duplicates on GitHub
Hitesh SajnaniSajnani, Hitesh Microsoft DéjàVu: A Map of Code Duplicates on GitHub
Laith SakkaSakka, Laith Purdue UniversityUnited States TreeFuser: A Framework for Analyzing and Fusing General Recursive Tree Traversals
Guido SalvaneschiSalvaneschi, Guido TU Darmstadt Session Chair of Open-source & Student Talks (part of Scala) Committee Member in Program Committee within the PX/17.2-track Committee Member in Program Committee within the SPLASH Doctoral Symposium-track Committee Member in Program Committee within the SPLASH Workshops-track Committee Member in Organizing Committee within the REBLS-track Committee Member in Program Committee within the Scala-track
Adrian SampsonSampson, Adrian Cornell UniversityUnited States Session Chair of New Languages (part of Onward! Papers) Static Stages for Heterogeneous Programming Committee Member in Program Committee within the Onward! Papers-track
Farzad SanatiSanati, Farzad American University of Iraq, Sulaimani, Sulaimani Programmable Aspect (Canceled)
Francisco Sant'AnnaSant'Anna, Francisco Rio de Janeiro State UniversityBrazil Committee Member in Program Committee within the REBLS-track
Mark SantolucitoSantolucito, Mark Yale University Synthesizing Configuration File Specifications with Association Rule Learning Synthesizing Configuration File Specifications with Association Rule Learning
Andre SantosSantos, Andre Avoiding Useless Mutants
João SaraivaSaraiva, João University of Minho, Portugal Energy Efficiency across Programming Languages: How do Energy, Time, and Memory Relate?
Vivek SarkarSarkar, Vivek Rice University, USAUnited States Deadlock Avoidance in Parallel Programs with Futures: Why Parallel Tasks Should Not Wait for Strangers
Jennifer B. SartorSartor, Jennifer B. Vrije Universiteit BrusselBelgium Student Research Competition Co-Chair in Organizing Committee for SPLASH 2017 Session Chair of SRC 2nd Round: Presentations (part of SPLASH Student Research Competition) Session Chair of SRC 1st Round: Posters (part of SPLASH Student Research Competition) Session Chair of Gradual Types and Memory (part of SPLASH OOPSLA) Student Awards Co-chair in Student Research Competition within the SPLASH Student Research Competition-track Committee Member in Program Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the VMIL-track
Tommaso Dal SassoSasso, Tommaso Dal Università della Svizzera Italiana Sympathy for the Devil: Reified Collection of Runtime Errors
Annabel SatinSatin, Annabel P.C.K. Treasurer & Conference Manager in Organizing Committee for SPLASH 2017
Yukinori SatoSato, Yukinori Tokyo Institute of TechnologyJapan Session Chair of Session 1 (part of SEPS) Session Chair of Session 4 (part of SEPS) Panel discussions: "Open source software and tools for engineering parallel software" Committee Member in Organizing Committee within the SEPS-track
Michael SatzingerSatzinger, Michael University of Baltimore (CSES) Assessing the Usability of a Novel System for Programming Education
Ina SchaeferSchaefer, Ina Technische Universität BraunschweigGermany Session Chair of Variability (part of GPCE) Automated Recommendations for Reducing Unnecessary Variability of Technology Architectures Towards a Development Process for Maturing Delta-Oriented Software Product Lines Committee Member in Program Committee within the GPCE-track Committee Member in Steering Committee within the GPCE-track
Max SchaeferSchaefer, Max SemmleUnited Kingdom Committee Member in Program Committee within the Onward! Papers-track
Simon SchaussSchauss, Simon University of Koblenz-LandauGermany A Chrestomathy of DSL implementations
Cole SchlesingerSchlesinger, Cole Samsung Research America IoTa: A Calculus for Internet of Things Automation
Thomas SchmidtSchmidt, Thomas Committee Member in Program Committee within the AGERE-track
Thomas C. SchmidtSchmidt, Thomas C. HAW Hamburg Locality-Guided Scheduling in CAF
Christophe ScholliersScholliers, Christophe Universiteit Gent, Belgium Handling Partial Failures in Distributed Reactive Programming A Principled Approach Towards Debugging Communicating Event-Loops
Ulrik Pagh SchultzSchultz, Ulrik Pagh University of Southern Denmark Can Some Programming Languages Be Considered Harmful? Committee Member in Steering Committee within the GPCE-track
Stefan SchulzSchulz, Stefan Philipps-Universität MarburgGermany Chair in Publicity within the CoCoS-track
Sandro SchulzeSchulze, Sandro University of Magdeburg, GermanyGermany How Preprocessor Annotations (Do Not) Affect Maintainability: A Case Study on Change-Proneness Committee Member in Program Committee within the FOSD-track Committee Member in Program Committee within the GPCE-track
Philipp SchusterSchuster, Philipp University of Tübingen Effekt: Extensible Algebraic Effects in Scala (Short Paper)
Sven SchusterSchuster, Sven TU Braunschweig, Germany Towards a Development Process for Maturing Delta-Oriented Software Product Lines
Daniel Schwartz-NarbonneSchwartz-Narbonne, Daniel Amazon, n.n. A Solver-Aided Language for Test Input Generation
Andy SchürrSchürr, Andy TU Darmstadt Towards Complete Consistency Checks of Clafer Models
Ryan ScottScott, Ryan Indiana UniversityUnited States Monadic Composition for Deterministic, Parallel Batch Processing
Chris SeatonSeaton, Chris Oracle LabsUnited Kingdom Committee Member in Program Committee within the DLS-track
Yasaman SefidgarSefidgar, Yasaman University of Washington Programming Robot Manipulators with Tangible Blocks
Eric SeidelSeidel, Eric University of California at San Diego, USAUnited States Learning to Blame: Localizing Novice Type Errors with Data-Driven Diagnosis
Ed SeidewitzSeidewitz, Ed nMeta LLC Tool Demonstration: A development environment for the Alf language within the MagicDraw UML tool
Christoph SeidlSeidl, Christoph Technische Universität Braunschweig Automated Recommendations for Reducing Unnecessary Variability of Technology Architectures Towards a Development Process for Maturing Delta-Oriented Software Product Lines Committee Member in Program Committee within the FOSD-track
Ilya SergeySergey, Ilya University College LondonUnited Kingdom Committee Member in Program Committee within the SPLASH Workshops-track Committee Member in Program Committee within the Scala-track
Manuel SerranoSerrano, Manuel Inria, France Session Chair of Session 2 (part of DLS) Hop.js: JavaScript Multitier Programming ⭐️ Keynote Speaker in Invited Talks within the META-track Steering Committee Member in Steering Committee within the DLS-track Committee Member in Program Committee within the DLS-track
Marco ServettoServetto, Marco Victoria University of Wellington Committee Member in External Program Committee within the SPLASH OOPSLA-track
Vivek ShahShah, Vivek University of Copenhagen, Denmark Geo-Distribution of Actor-Based Services
Amir ShaikhhaShaikhha, Amir EPFL Squid: Type-Safe, Hygienic, and Reusable Quasiquotes Quoted Staged Rewriting: A Practical Approach to Library-Defined Optimizations
Hongzhang ShanShan, Hongzhang Lawrence Berkeley National Laboratory Performance Analysis and Optimization of the RAMPAGE Metal Alloy Potential Generation Software
Ehud SharlinSharlin, Ehud University of Calgary Canada Committee Member in Program Committee within the SAVR-track
Rahul SharmaSharma, Rahul Microsoft ResearchIndia Seam: Provably Safe Local Edits on Graphs
Mary ShawShaw, Mary Carnegie Mellon University Panel: How can our publication models best serve our research?
Jiasi ShenShen, Jiasi Massachusetts Institute of Technology Robust Programs with Filtered Iterators Robust Programs with Filtered Iterators
Xipeng ShenShen, Xipeng North Carolina State UniversityUnited States GLORE: Generalized Loop Redundancy Elimination upon LER-Notation
Yangqingwei ShiShi, Yangqingwei Peking University Using Object Capabilities and Effects to Build an Authority-Safe Module System
Kazuhiro ShibanaiShibanai, Kazuhiro Tokyo Institute of Technology Actoverse: A Reversible Debugger for Actors
Aaron ShimShim, Aaron Microsoft, USA Synthesizing Configuration File Specifications with Association Rule Learning
Avraham ShinnarShinnar, Avraham IBM Research Generating Chat Bots from Web API Specifications
Sharon ShohamShoham, Sharon Tel Aviv universityIsrael Paxos Made EPR: Decidable Reasoning about Distributed Protocols
Tatiana ShpeismanShpeisman, Tatiana Intel LabsUnited States Committee Member in External Program Committee within the SPLASH OOPSLA-track
Xujie SiSi, Xujie University of Pennsylvania Effective Interactive Resolution of Static Analysis Alarms
Huma SibghatSibghat, Huma University of California at San Diego, USA Learning to Blame: Localizing Novice Type Errors with Data-Driven Diagnosis
Jeremy G. SiekSiek, Jeremy G. Indiana University, USAUnited States Invited talk: Challenges and Progress Toward Efficient Gradual Typing Sound Gradual Typing: Only Mostly Dead
Bruno SilvestreSilvestre, Bruno Decoding Lua: Formal Semantics for the Developer and the Semanticist
Jerome SimeonSimeon, Jerome IBM ResearchUnited States Generating Chat Bots from Web API Specifications
Jocelyn SimmondsSimmonds, Jocelyn University of ChileChile Co-chair in Organizing Committee within the FOSD-track
Christopher SimpkinsSimpkins, Christopher Georgia Institute of Technology DSL Design for Reinforcement Learning Agents
Corbin SimpsonSimpson, Corbin Matador Cloud LLC Monte: A Spiritual Successor to E
Rishabh SinghSingh, Rishabh Microsoft ResearchUnited States Synthesis of Data Completion Scripts using Finite Tree Automata
Satnam SinghSingh, Satnam Facebook SIGPLAN Awards
John L. SingletonSingleton, John L. University of Central FloridaUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Marjan SirjaniSirjani, Marjan Committee Member in Program Committee within the AGERE-track
Anthony SloaneSloane, Anthony Macquarie UniversityAustralia Session Chair of Types (part of Scala) Session Chair of Textual Models (part of SLE) Session Chair of DSLs (part of GPCE) ScalaSMT: Satisfiability Modulo Theory in Scala (Tool Paper) A Formalisation of Parameterised Reference Attribute Grammars Committee Member in Program Committee within the SLE-track Committee Member in Steering Committee within the SLE-track Committee Member in Program Committee within the GPCE-track Committee Member in Program Committee within the Scala-track
Philipp SlusallekSlusallek, Philipp DFKI, Germany RaTrace: Simple and Efficient Abstractions for BVH Ray Traversal Algorithms
Yannis SmaragdakisSmaragdakis, Yannis University of Athens OOPSLA 2016 PC Chair in Steering Committee for SPLASH 2017 Panel Discussion: Security in OO languages Benchmarking for Program Analysis SIGPLAN Town Hall Heaps Don't Lie: Countering Unsoundness with Heap Snapshots Why do a Ph.D. and how to pick an area? P/Taint: Unified Points-to and Taint Analysis OOPSLA Overview & OOPSLA 10-Year Most Influential Paper Award Speaker in PLMW Speakers within the SPLASH PL Mentoring Workshop (PLMW)-track
Karl SmeltzerSmeltzer, Karl Oregon State University Variational Lists: Comparisons and Design Guidelines
Edward SmithSmith, Edward Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Justin SmithSmith, Justin North Carolina State UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Peter SmithSmith, Peter ACL (Principal Software Engineer) Local Arrangements Chair in Organizing Committee for SPLASH 2017
Jeff SmitsSmits, Jeff Delft University of Technology, NetherlandsNetherlands FlowSpec: Declarative Dataflow Analysis Specification
Gustavo SoaresSoares, Gustavo MicrosoftUnited States Session Chair of Tools and Environments (part of PLATEAU) Committee Member in Organizing Committee within the PLATEAU-track
Armando Solar-LezamaSolar-Lezama, Armando MIT CSAILUnited States Incremental Parametric Syntax for Multi-Language Transformation QuixBugs: A Multi-Lingual Program Repair Benchmark Set Based on the Quixey Challenge Natural Synthesis of Provably-Correct Data-Structure Manipulations
Mallku SoldevilaSoldevila, Mallku FAMAF, UNC / CONICETArgentina Decoding Lua: Formal Semantics for the Developer and the Semanticist Decoding Lua: Formal Semantics for the Developer and the Semanticist
Yang SongSong, Yang University of North Carolina Wilmington (CSES) Open-Source Sofware in Class: Students’ Common Mistakes
Andrew SorensenSorensen, Andrew Australian National University Systems Level Liveness with AnonSystem Systems Level Liveness with Extempore
Vasco SousaSousa, Vasco University of Montreal Committee Member in Artifact Evaluation Committee within the SLE-track
Pieter SpronckSpronck, Pieter Tilburg University Metacasanova: An Optimized Meta-compiler for Domain-Specific Languages
Johannes SpäthSpäth, Johannes Fraunhofer IEMGermany IDEal: Efficient and Precise Alias-Aware Dataflow Analysis Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Sarat SreepathiSreepathi, Sarat Oak Ridge National Laboratory Performance Analysis and Optimization of the RAMPAGE Metal Alloy Potential Generation Software
Manu SridharanSridharan, Manu Uber IoTa: A Calculus for Internet of Things Automation
Venkatesh SrinivasanSrinivasan, Venkatesh University of Wisconsin - MadisonIndia Model-Assisted Machine-Code Synthesis
Witawas Srisa-anSrisa-an, Witawas University of Nebraska-LincolnUnited States Committee Member in Organizing Committee within the VMIL-track
Vincent St-AmourSt-Amour, Vincent Northwestern University, USAUnited States Committee Member in Program Committee within the DSLDI-track Committee Member in Program Committee within the GPCE-track
Trevor StandleyStandley, Trevor Stanford Infra: Structure All the Way Down - Structured Data as a Visual Programming Language
Guy L. Steele Jr.Steele Jr., Guy L. Oracle LabsUnited States Steering Committee Member in Steering Committee for Onward! 2017
Friedrich SteimannSteimann, Friedrich Fernuniversität Replacing Phrase Structure Grammar with Dependency Grammar in the Design and Implementation of Programming Languages Robust Projectional Editing
Michael SteindorferSteindorfer, Michael Delft University of Technology, Netherlands Declarative Disambiguation with Contextual Scoping A Modular SGLR Parsing Architecture for Systematic Performance Optimization
Michael J. SteindorferSteindorfer, Michael J. Delft University of Technology Deep Priority Conflicts in the Wild: A Pilot Study
Katerina StepanovaStepanova, Katerina Simon Fraser UniversityCanada Committee Member in Program Committee within the SAVR-track
Jon StephensStephens, Jon Constructing Dynamic Control Flow Graphs from Execution Traces
Marc StieglerStiegler, Marc Committee Member in Program Committee within the OCAP-track
Mats StijlaartStijlaart, Mats Universiteit van Amsterdam Towards a Taxonomy of Grammar Smells
Jörg StillerStiller, Jörg TU Dresden, Germany Towards Compositional and Generative Tensor Optimizations
Quentin StiévenartStiévenart, Quentin Vrije Universiteit Brussel, Belgium Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Kathryn StoleeStolee, Kathryn North Carolina State UniversityUnited States Panel of new Ph.D.s (CER) 10+ Years of Teaching Software Engineering with iTrust: the Good, the Bad, and the Ugly Speaker in PLMW Speakers within the SPLASH PL Mentoring Workshop (PLMW)-track
Malcolm StoneStone, Malcolm Integrating Debugging with Continuous Testing
Eleni StrouliaStroulia, Eleni University of AlbertaCanada Session Chair of Optimization & Networks (part of SPLASH -I) Smart Condo: IoT for Social Good
Daniel StrüberStrüber, Daniel University of Koblenz-Landau, GermanyGermany Committee Member in Artifact Evaluation Committee within the SLE-track Committee Member in Program Committee within the CoCoS-track
Sandro StuckiStucki, Sandro EPFLSwitzerland Committee Member in Steering Committee within the Scala-track
Wolfgang StuerzlingerStuerzlinger, Wolfgang Simon Fraser UniversityCanada Committee Member in Program Committee within the SAVR-track
Kevin SullivanSullivan, Kevin Steering Committee Member in Steering Committee for Onward! 2017
Matúš SulírSulír, Matúš Technical University of KošiceSlovakia Committee Member in Artifact Evaluation Committee within the SLE-track
Alexander J. SummersSummers, Alexander J. ETH Zurich Committee Member in Program Committee within the SPLASH Workshops-track Committee Member in External Program Committee within the SPLASH OOPSLA-track
Nick SumnerSumner, Nick Simon Fraser University Committee Member in Program Committee within the SPLASH Workshops-track
Kirshanthan SundararajahSundararajah, Kirshanthan Purdue UniversityUnited States TreeFuser: A Framework for Analyzing and Fusing General Recursive Tree Traversals
Sagar SunkleSunkle, Sagar Tata Consultancy Services Research A Domain-Specific Controlled English Language for Automated Regulatory Compliance
Joshua SunshineSunshine, Joshua Carnegie Mellon University Session Chair of Tools (part of SPLASH OOPSLA) Session Chair of Language, DSL, and Feature Design (part of PLATEAU) Substance and Style: domain-specific languages for mathematical diagrams A User Study to Inform the Design of the Obsidian Blockchain DSL Committee Member in Organizing Committee within the PLATEAU-track Committee Member in Program Committee within the SPLASH OOPSLA-track
Zehra SuraSura, Zehra IBM ResearchUnited States Committee Member in Program Committee within the DLS-track
Rishi SurendranSurendran, Rishi Rice University, USA Deadlock Avoidance in Parallel Programs with Futures: Why Parallel Tasks Should Not Wait for Strangers
Adilla SusungiSusungi, Adilla MINES ParisTech, France Towards Compositional and Generative Tensor Optimizations Towards Compositional and Generative Tensor Optimizations
Philippe SuterSuter, Philippe Two SigmaSwitzerland The Serverless Trilemma: Function Composition for Serverless Computing Committee Member in Program Committee within the Scala-track
Ana Maria SutiiSutii, Ana Maria Eindhoven University of Technology Committee Member in Artifact Evaluation Committee within the SLE-track
Janwillem SwalensSwalens, Janwillem Vrije Universiteit Brussel, BelgiumBelgium Transactional Actors: Communication in Transactions Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
David SwaseySwasey, David MPI-SWS, Germany Robust and Compositional Verification of Object Capability Patterns
Colin SwindellsSwindells, Colin Immersion CorporationUnited States Committee Member in Program Committee within the SAVR-track
Eugene SyrianiSyriani, Eugene University of MontrealCanada Comparison of the Expressiveness and Performance of Template-Based Code Generation Tools Comparison of the Expressiveness and Performance of Template-Based Code Generation Tools Committee Member in Program Committee within the SLE-track
Adriana SzekeresSzekeres, Adriana University of Washington, USA Geo-Distribution of Actor-Based Services
Jesús Sánchez CuadradoSánchez Cuadrado, Jesús Universidad de MurciaSpain Committee Member in Program Committee within the DSLDI-track
Emma SöderbergSöderberg, Emma GoogleDenmark Committee Member in Program Committee within the SLE-track Committee Member in Program Committee within the PLATEAU-track
T Claude TadonkiTadonki, Claude MINES ParisTech, France Towards Compositional and Generative Tensor Optimizations
Marcel TaeumelTaeumel, Marcel Hasso Plattner InstituteGermany Designing a Live Development Experience for Web Components Committee Member in Program Committee within the PX/17.2-track
Steven TanimotoTanimoto, Steven University of Washington, SeattleUnited States [Keynote] Shaping the Programming Experiences of Students: Reflections on a Course on Game Design for Problem Solving Committee Member in Program Committee within the PX/17.2-track
Éric TanterTanter, Éric University of ChileChile Committee Member in External Program Committee within the SPLASH OOPSLA-track
Olivier TardieuTardieu, Olivier IBM ResearchFrance The Serverless Trilemma: Function Composition for Serverless Computing Committee Member in Program Committee within the REBLS-track
Serdar TasiranTasiran, Serdar Amazon, n.n. A Solver-Aided Language for Test Input Generation
Ross TateTate, Ross Cornell UniversityUnited States Sound Gradual Typing Is Nominally Alive and Well
Zachary TatlockTatlock, Zachary University of Washington, SeattleUnited States Session Chair of Language Design (part of Onward! Papers) Committee Member in Program Committee within the Onward! Papers-track Committee Member in Program Committee within the SPLASH Doctoral Symposium-track
TBD TBD Onward! Most Notable Paper Award
Leopoldo TeixeiraTeixeira, Leopoldo Federal University of PernambucoBrazil Committee Member in Program Committee within the FOSD-track
Ewan TemperoTempero, Ewan Committee Member in External Program Committee within the SPLASH OOPSLA-track
William M. TempleTemple, William M. University of Colorado BoulderUnited States (CSES) Peer Review in Cybersecurity Education
Jorgen ThelinThelin, Jorgen Microsoft Research, RedmondUnited States Geo-Distribution of Actor-Based Services
Peter ThiemannThiemann, Peter University of Freiburg, Germany SIGPLAN Vice Chair in Steering Committee for SPLASH 2017 Steering Committee Member in Steering Committee for Onward! 2017 Steering Committee Member in Steering Committee within the DLS-track
Paul ThomsonThomson, Paul Imperial College London Automated Testing of Graphics Shader Compilers
Thomas ThümThüm, Thomas University of UlmGermany Committee Member in Program Committee within the FOSD-track Committee Member in Program Committee within the GPCE-track
Nikolai TillmannTillmann, Nikolai Microsoft Committee Member in Steering Committee within the CHESE-track
Michael TingleyTingley, Michael Towards PPL: Extending Coroutines in Hack to Enable Probabilistic Programming
Frank TipTip, Frank Northeastern UniversityUnited States A Model for Reasoning about JavaScript Promises Practical Initialization Race Detection for JavaScript Web Applications Committee Member in Program Committee within the Scala-track
Ben L. TitzerTitzer, Ben L. Google Committee Member in Program Committee within the VMIL-track
Sam Tobin-HochstadtTobin-Hochstadt, Sam Indiana UniversityUnited States Artifact Evaluation Co-Chair in Organizing Committee for SPLASH 2017 Session Chair of Usability and Performance (part of Onward! Papers) Sound Gradual Typing: Only Mostly Dead Committee Member in Program Committee within the Onward! Papers-track Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track Committee Member in Program Committee within the Scala-track
Dann ToliverToliver, Dann TodaCanada Committee Member in Program Committee within the NOOL-track
Tony Clark Tony Clark Committee Member in Program Committee within the SLE-track
Emina TorlakTorlak, Emina University of WashingtonUnited States Onward! PC Chair in Organizing Committee for SPLASH 2017 Onward! 2017 Papers Chair in Steering Committee for SPLASH 2017 Papers Chair in Organizing Committee for Onward! 2017 Steering Committee Member in Steering Committee for Onward! 2017 Session Chair of Program Generation and Synthesis (part of Onward! Papers) Onward! Program Chairs' Report Program Chair in Program Committee within the Onward! Papers-track
Massimo TorquatiTorquati, Massimo Computer Science Department - University of Pisa Committee Member in Program Committee within the SEPS-track
Carmen Torres LopezTorres Lopez, Carmen A Concurrency-Agnostic Protocol for Multi-Paradigm Concurrent Debugging Tools A Principled Approach Towards Debugging Communicating Event-Loops Advanced Debugging Techniques to Identify Concurrency Bugs in Actor-based Programs
Laurence TrattTratt, Laurence King's College LondonUnited Kingdom Awards Virtual Machine Warmup Blows Hot and Cold Artifact Evaluation Co-Chair in Organizing Committee within the SLE-track Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the SLE-track Steering Committee Member in Steering Committee within the DLS-track
Dean TribbleTribble, Dean Deluxe Corporation Committee Member in Program Committee within the OCAP-track
Nikolaos TsantalisTsantalis, Nikolaos Concordia University, CanadaCanada Understanding the Use of Lambda Expressions in Java
Bill TullohTulloh, Bill eRights.orgUnited States Committee Member in Organizing Committee within the OCAP-track
Alexi TurcotteTurcotte, Alexi University of WaterlooCanada The VM Already Knew That: Leveraging Compile-Time Knowledge to Optimize Gradual Typing
Aybuke Gul TurkerTurker, Aybuke Gul University of Wisconsin - MadisonUnited States (CSES) Applied and Adaptive Curriculum in Introductory to Computer Science Courses for Success in Diverse Student Groups
Liron TürkTürk, Liron University of Duisburg-Essen, Germany What's the Effect of Projectional Editors for Creating Words For Unknown Languages? A Controlled Experiment
U Tomoharu UgawaUgawa, Tomoharu Kochi University of Technology, JapanJapan Model Checking Copy Phases of Concurrent Copying Garbage Collection with Various Memory Models
David UngarUngar, David Apple, Inc,United States Dynamic Atomicity: Optimizing Swift memory management Invited Talk: From PhD to Fossil: of choice and context, technical and personal Committee Member in Invited Talks within the SPLASH Doctoral Symposium-track
Ganesha UpadhyayaUpadhyaya, Ganesha Iowa State UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
V Sébastien ValatValat, Sébastien CERNFrance Session Chair of Session 3: Software concurrency and heterogeneity (part of SEPS) MALT, A Malloc Tracker
Gustavo ValeVale, Gustavo University of Passau Feature Oriented Programming in Groovy
Tom Van CutsemVan Cutsem, Tom Nokia Bell LabsBelgium Committee Member in Program Committee within the META-track Committee Member in Program Committee within the SPLASH OOPSLA-track
Michael Van De VanterVan De Vanter, Michael Oracle LabsUnited States Chair in Program Committee within the CoCoS-track Committee Member in Organizing Committee within the CoCoS-track
Mark van den Brandvan den Brand, Mark Committee Member in Program Committee within the SLE-track
Sam Van den VonderVan den Vonder, Sam Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model
Tijs van der Stormvan der Storm, Tijs Centrum Wiskunde & Informatica / University of GroningenNetherlands Publications Chair in Organizing Committee for SPLASH 2017 Papers Co-chair in Organizing Committee for Onward! 2017 Bacatá: a generic notebook generator for DSLs Program Chair in Program Committee within the Onward! Papers-track Committee Member in Program Committee within the GPCE-track
Simon Van MierloVan Mierlo, Simon University of Antwerp Concrete Syntax: A Multi-paradigm Modelling Approach
Yentl Van TendelooVan Tendeloo, Yentl University of Antwerp Concrete Syntax: A Multi-paradigm Modelling Approach
Eric Van WykVan Wyk, Eric University of Minnesota, USAUnited States Session Chair of Session 1 (part of Parsing@SLE) Session Chair of Session 3 (part of Parsing@SLE) Session Chair of GPL/DSL implementation (part of SLE) Parsing extensible type qualifiers in ableC Welcome Reliable composition of domain-specific language features Type Qualifiers as Composable Language Extensions Ensuring Non-interference of Composable Language Extensions Reliable and Automatic Composition of Language Extensions to C Committee Member in Program Committee within the SLE-track Committee Member in Steering Committee within the SLE-track Committee Member in Organizing Committee within the Parsing@SLE-track
Hans VangheluweVangheluwe, Hans University of Antwerp and McGill UniversityBelgium Concrete Syntax: A Multi-paradigm Modelling Approach
Ara VartanianVartanian, Ara University of Wisconsin-Madison, USA Model-Assisted Machine-Code Synthesis
Vasco T. VasconcelosVasconcelos, Vasco T. University of Lisbon, Portugal Deadlock Avoidance in Parallel Programs with Futures: Why Parallel Tasks Should Not Wait for Strangers
Kapil VaswaniVaswani, Kapil Microsoft Research Project Snowflake: Non-blocking Safe Manual Memory Management for .NET
Mandana VaziriVaziri, Mandana IBM Research Generating Chat Bots from Web API Specifications Committee Member in Program Committee within the Onward! Papers-track Committee Member in External Program Committee within the SPLASH OOPSLA-track
Niki VazouVazou, Niki University of Maryland Committee Member in Program Committee within the Scala-track
Panagiotis VekrisVekris, Panagiotis University of California at San Diego, USA Fast and Precise Type Checking for JavaScript
Mauricio Verano MerinoVerano Merino, Mauricio Technische Universiteit EindhovenNetherlands Bacatá: a generic notebook generator for DSLs
Ekaterina VerbitskaiaVerbitskaia, Ekaterina Parsing techniques for graph analysis
Vlad VerguVergu, Vlad TU Delft The Semantics of Name Resolution in Grace
Julien VerlaguetVerlaguet, Julien Facebook Committee Member in Program Committee within the SPLASH OOPSLA-track
Jo VermeulenVermeulen, Jo Aarhus UniversityDenmark Committee Member in Program Committee within the SAVR-track
Raoul VeroyVeroy, Raoul Tufts UniversityUnited States Garbology: A Study of How Java Objects Die
Giovanni VincentiVincenti, Giovanni University of BaltimoreUnited States (CSES) Assessing the Usability of a Novel System for Programming Education
Jurgen VinjuVinju, Jurgen Centrum Wiskunde & Informatica / Technische Universiteit EindhovenNetherlands Sponsorship Co-Chair in Organizing Committee for SPLASH 2017 Session Chair of Practical Guide to Parsing (part of Parsing@SLE) Session Chair of Session 2 (part of Parsing@SLE) Session Chair of DSLs (part of SLE) Discussion of SLEBoK Practical Guide to Parsing Welcome Bacatá: a generic notebook generator for DSLs Committee Member in Program Committee within the Onward! Papers-track Committee Member in Program Committee within the SLE-track Committee Member in Steering Committee within the SLE-track Committee Member in Organizing Committee within the Parsing@SLE-track
Eelco VisserVisser, Eelco Delft University of TechnologyNetherlands SPLASH 2016 General Chair in Steering Committee for SPLASH 2017 Steering Committee Member in Steering Committee for Onward! 2017 A Modular SGLR Parsing Architecture for Systematic Performance Optimization The Semantics of Name Resolution in Grace Deep Priority Conflicts in the Wild: A Pilot Study FlowSpec: Declarative Dataflow Analysis Specification
Willem VisserVisser, Willem Stellenbosch UniversitySouth Africa Committee Member in Program Committee within the CHESE-track
Jan VitekVitek, Jan Northeastern University, USAUnited States SPLASH 2018 DéjàVu: A Map of Code Duplicates on GitHub Invited Talk: From PHD to PROF: blind luck or careful planning? My 25 years in OO Orca: GC and Type System Co-Design for Actor Languages Committee Member in Program Committee within the DLS-track Speaker in PLMW Speakers within the SPLASH PL Mentoring Workshop (PLMW)-track Committee Member in Invited Talks within the SPLASH Doctoral Symposium-track
Giovanni VivianiViviani, Giovanni University of British ColumbiaCanada Student Volunteers Co-Chair in Organizing Committee for SPLASH 2017
Markus VoelterVoelter, Markus itemis Robust Projectional Editing Committee Member in Steering Committee within the SLE-track
Ian VoyseyVoysey, Ian Carnegie Mellon University Toward a Live Stepper for Typed Expressions with Holes
Dimitrios VytiniotisVytiniotis, Dimitrios Microsoft Research, Cambridge Project Snowflake: Non-blocking Safe Manual Memory Management for .NET
Markus VölterVölter, Markus itemis/independent Committee Member in Program Committee within the GPCE-track
W Philip WadlerWadler, Philip University of Edinburgh, UKUnited Kingdom Committee Member in Program Committee within the DSLDI-track Committee Member in Program Committee within the GPCE-track
Eric WalkingshawWalkingshaw, Eric Oregon State UniversityUnited States Publicity Chair in Organizing Committee for SPLASH 2017 Session Chair of Session 1 (part of DSLDI) Session Chair of Session 3 (part of DSLDI) Lightning Talks Welcome Committee Member in Program Committee within the SLE-track Co-chair in Organizing Committee within the DSLDI-track Co-chair in Organizing Committee within the FOSD-track Committee Member in Program Committee within the GPCE-track
Di WangWang, Di Peking University, China TiML: A Functional Language for Practical Complexity Analysis with Invariants
Peng WangWang, Peng Massachusetts Institute of Technology, USA TiML: A Functional Language for Practical Complexity Analysis with Invariants
Wei-Jen WangWang, Wei-Jen Committee Member in Program Committee within the AGERE-track
Xi WangWang, Xi Yale University, USA An Auditing Language for Preventing Correlated Failures in the Cloud
Xinyu WangWang, Xinyu UT AustinChina Synthesis of Data Completion Scripts using Finite Tree Automata
Yuepeng WangWang, Yuepeng University of Texas at Austin SQLizer: Query Synthesis from Natural Language
Alessandro WarthWarth, Alessandro Y Combinator Research, USA Seymour: Live Programming for the Classroom Incremental Packrat Parsing
Takuo WatanabeWatanabe, Takuo Tokyo Institute of TechnologyJapan Actoverse: A Reversible Debugger for Actors Reactive Reflection in an FRP Language for Small-Scale Embedded Systems Committee Member in Program Committee within the META-track Committee Member in Program Committee within the AGERE-track
Robert N. M. WatsonWatson, Robert N. M. University of Cambridge Committee Member in Program Committee within the OCAP-track
Markus WeckesserWeckesser, Markus TU Darmstadt Towards Complete Consistency Checks of Clafer Models
Kenny WehlingWehling, Kenny Volkswagen AG Automated Recommendations for Reducing Unnecessary Variability of Technology Architectures
Martin WeierWeier, Martin Bonn-Rhein-Sieg University of Applied Sciences, Germany RaTrace: Simple and Efficient Abstractions for BVH Ray Traversal Algorithms
Westley WeimerWeimer, Westley University of Virginia, USA Learning to Blame: Localizing Novice Type Errors with Data-Driven Diagnosis
Adam WelcWelc, Adam Huawei America Research CenterUnited States Session Chair of VMIL (part of VMIL) Session Chair of VMIL (part of VMIL) Welcome to VMIL Committee Member in Program Committee within the SPLASH Workshops-track Committee Member in Program Committee within the GPCE-track Co-chair in Program Committee within the VMIL-track
Jonathan WellsWells, Jonathan University of Illinois at Urbana-Champaign Preliminary Analysis of Contestant Performance for a Code Hunt Contest
Jim WhiteheadWhitehead, Jim University of California, Santa CruzUnited States Committee Member in Program Committee within the CHESE-track
Thomas WiesWies, Thomas New York University Committee Member in Program Committee within the Onward! Papers-track
David WilleWille, David TU Braunschweig, GermanyGermany Automated Recommendations for Reducing Unnecessary Variability of Technology Architectures
Ryan WilliamsWilliams, Ryan Genomic Data Analysis in Scala (Open-Source Talk)
Samuel WilliamsWilliams, Samuel Lawrence Berkeley National Laboratory Performance Analysis and Optimization of the RAMPAGE Metal Alloy Potential Generation Software
Preston Tunnell WilsonWilson, Preston Tunnell Brown University Can We Crowdsource Language Design? (CSES) Student Understanding of Aliasing and Procedure Calls
Alexander B. WiltschkoWiltschko, Alexander B. Google Brain Tangent: automatic differentiation using source code transformation in Python
Manuel WimmerWimmer, Manuel TU WienAustria Virtual Textual Model Composition for Supporting Versioning and Aspect-Orientation
Wolfgang WindlWindl, Wolfgang The Ohio State University Performance Analysis and Optimization of the RAMPAGE Metal Alloy Potential Generation Software
Stefan WinterWinter, Stefan TU DarmstadtGermany Committee Member in Program Committee within the SEPS-track
Allen Wirfs-BrockWirfs-Brock, Allen Mozilla Corporation Committee Member in Program Committee within the PX/17.2-track
Mario WolczkoWolczko, Mario Oracle LabsUnited States Session Chair of Types and Language Design (part of SPLASH OOPSLA) Keynote: How Should We Train the Next Generation of VM Engineers? Panel - The future of language runtimes Committee Member in External Program Committee within the SPLASH OOPSLA-track
Benjamin P. WoodWood, Benjamin P. Wellesley College Instrumentation Bias for Dynamic Data Race Detection
Andreas WortmannWortmann, Andreas RWTH Aachen University Committee Member in Program Committee within the SLE-track Committee Member in Artifact Evaluation Committee within the SLE-track
John WrennWrenn, John Brown UniversityUnited States Error Messages are Classifiers: A Process to Design and Evaluate Error Messages
Tobias WrigstadWrigstad, Tobias Uppsala UniversitySweden Reference Capabilities for Concurrency & Scalability: an Experience Report You Can Have it All: Abstraction and Good Cache Performance (CER) Mastery Learning-Like Teaching with Achievements Orca: GC and Type System Co-Design for Actor Languages Co-chair in Organizing Committee within the NOOL-track
Baijun WuWu, Baijun University of Louisiana at Lafayette, USA Learning User Friendly Type-Error Messages How Type Errors Were Fixed and What Students Did?
Peng WuWu, Peng Huawei America Research LabUnited States Committee Member in Program Committee within the SPLASH OOPSLA-track
Thomas WuerthingerWuerthinger, Thomas Oracle Labs Making Collection Operations Optimal with Aggressive JIT Compilation
Sebastian WölkeWölke, Sebastian None Locality-Guided Scheduling in CAF
X Andrew XieXie, Andrew Independent Preliminary Analysis of Contestant Performance for a Code Hunt Contest
Haochen XieXie, Haochen Nagoya UniversityJapan Principles, patterns, and techniques for designing and implementing practical fluent interfaces in Java
Tao XieXie, Tao Preliminary Analysis of Contestant Performance for a Code Hunt Contest Committee Member in Steering Committee within the CHESE-track
Reynold XinXin, Reynold Databricks Spark and Scala
Harry XuXu, Harry University of California, IrvineUnited States Calling-to-Reference Context Translation via Constraint-Guided Context-Free-Language Reachability Graph Systems for Statically Analyzing Hundreds of Projects at the Same Time
Shijie XuXu, Shijie University of New Brunswick Fusing Method Handle Graphs for Efficient Dynamic JVM Language Implementations
Y Navid YaghmazadehYaghmazadeh, Navid University of Texas, Austin SQLizer: Query Synthesis from Natural Language
Eran YahavYahav, Eran TechnionIsrael Committee Member in External Program Committee within the SPLASH OOPSLA-track
Tetsuro YamazakiYamazaki, Tetsuro University of Tokyo, Japan Silverchain: A Fluent API Generator
Albert Mingkun YangYang, Albert Mingkun Orca: GC and Type System Co-Design for Actor Languages
Di YangYang, Di University of California at Irvine, USA DéjàVu: A Map of Code Duplicates on GitHub
Hongseok YangYang, Hongseok University of Oxford Automatically Generating Features for Learning Program Analysis Heuristics for C-Like Languages
Jean YangYang, Jean Carnegie Mellon University Preventing Information Leaks by Construction
Yanpeng YangYang, Yanpeng University of Hong Kong, China Unifying Typing and Subtyping
Katherine YeYe, Katherine Substance and Style: domain-specific languages for mathematical diagrams
Annie T.T. YingYing, Annie T.T. EquitySimCanada Panel of new Ph.D.s Speaker in PLMW Speakers within the SPLASH PL Mentoring Workshop (PLMW)-track
Greta YorshYorsh, Greta Queen Mary University of London Unbounded Superoptimization Committee Member in Program Committee within the Onward! Papers-track
David YoungYoung, David University of Kansas, USA Rewriting a Shallow DSL using a GHC Compiler Extension
Binhang YuanYuan, Binhang Rice University, USA Abridging Source Code
Z Foivos S. ZakkakZakkak, Foivos S. Cross-ISA debugging in meta-circular VMs
Vadim ZaytsevZaytsev, Vadim Raincode Labs, BelgiumBelgium Session Chair of Software Engineering & Education (part of SPLASH -I) Incremental Coverage of Legacy Software Languages Parsing @ IDE Objectifying a Metaprogramming Language Megamodelling with NGA Multimodels Can Some Programming Languages Be Considered Harmful? Parser Generation by Example for Legacy Pattern Languages Towards a Taxonomy of Grammar Smells An Introduction to the Software Language Engineering Body of Knowledge DYOL: Design a Language, Know the Consequences DYOL: Design a Language, Know the Consequences Towards a Taxonomy of Grammar Smells
Ennan ZhaiZhai, Ennan Yale University, USA An Auditing Language for Preventing Correlated Failures in the Cloud Synthesizing Configuration File Specifications with Association Rule Learning
Haoyuan ZhangZhang, Haoyuan Type-Safe Modular Parsing
Hongyu ZhangZhang, Hongyu The University of Newcastle Committee Member in Program Committee within the CHESE-track
Lingming ZhangZhang, Lingming Transforming Programs and Tests in Tandem for Fault Localization
Lu ZhangZhang, Lu Peking University Committee Member in Program Committee within the SPLASH OOPSLA-track
Peilun ZhangZhang, Peilun ChimpCheck: Property-based Randomized Test Generation for Interactive Apps ChimpCheck: Property-Based Randomized Test Generation for Interactive Apps
Tian ZhangZhang, Tian Nanjing UniversityChina Committee Member in Program Committee within the SLE-track
Xin ZhangZhang, Xin Massachusetts Institute of Technology, USAUnited States Effective Interactive Resolution of Static Analysis Alarms
Yizhou ZhangZhang, Yizhou Cornell University Familia: Unifying Interfaces, Type Classes, and Family Polymorphism
Zheng ZhangZhang, Zheng Rutgers University Committee Member in External Program Committee within the SPLASH OOPSLA-track
Jianjun ZhaoZhao, Jianjun Kyushu UniversityJapan Committee Member in Program Committee within the CoCoS-track
Valerie ZhaoZhao, Valerie Wellesley College Using Object Capabilities and Effects to Build an Authority-Safe Module System Abstracting Resource Effects
Xinghui ZhaoZhao, Xinghui University of Washington Committee Member in Program Committee within the SEPS-track
Hao ZhongZhong, Hao Shanghai Jiao Tong UniversityChina Committee Member in External Program Committee within the SPLASH OOPSLA-track
Lukasz ZiarekZiarek, Lukasz SUNY Buffalo, USAUnited States Committee Member in Organizing Committee within the REBLS-track
Beta ZilianiZiliani, Beta FAMAF, UNC and CONICETArgentina Decoding Lua: Formal Semantics for the Developer and the Semanticist
Jakub ZitnyZitny, Jakub Czech Technical University, Czechia DéjàVu: A Map of Code Duplicates on GitHub
Benjamin ZornZorn, Benjamin Microsoft ResearchUnited States Finding Bugs and Insights in Semi-structured Data The Influence of Programming Languages on Augmenting Human Understanding Panel: Industry & Academia Speaker in PLMW Speakers within the SPLASH PL Mentoring Workshop (PLMW)-track
Elena ZuccaZucca, Elena University of Genova Reasoning on Divergent Computations with Coaxioms Committee Member in Program Committee within the SPLASH OOPSLA-track
Florian ZulegerZuleger, Florian TU Vienna Committee Member in Program Committee within the CHESE-track
Å Alfred ÅkessonÅkesson, Alfred Jatte: A Tunable Tree Editor for Integrated DSLs

SPLASH 2017 Contributors

Results (1036)

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia