SPLASH 2017 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (1038)

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
Edward AftandilianAftandilian, Edward 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) Usably Expressing and Enforcing Design in Wyvern Panel Discussion: Security in OO languages Capabilities and Effects Using Object Capabilities and Effects to Build an Authority-Safe Module System 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 AppelAppel, Andrew 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
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 BodikBodik, Rastislav University of Washington Domain-Specific Symbolic Compilation Skip Blocks: Reusing Execution History to Accelerate Web Scripts
Hans-J. BoehmBoehm, Hans-J. GoogleUnited States Committee Member in Program Committee within the SPLASH OOPSLA-track
Carl Friedrich Bolz-TereickBolz-Tereick, Carl Friedrich Germany Sound Gradual Typing: Only Mostly Dead Virtual Machine Warmup Blows Hot and Cold 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 Discovering Empirical and Theoretical Analysis Properties from Lots of Real Executions Pushing Predictive Data Race Detection to the Limit 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 CamposCampos, 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 How Type Errors Were Fixed and What Students Did? Learning User Friendly Type-Error Messages 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
Jesús Sánchez CuadradoCuadrado, Jesús Sánchez Universidad de MurciaSpain Committee Member in Program Committee within the DSLDI-track
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 Sparrow - A DSL for Coordinating Large Groups of Heterogeneous Actors Dynamic Verification of Inter-parameter Constraints in Web Applications 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 Handling Partial Failures in Distributed Reactive Programming First-class Reactive Programs for CPS Sparrow - A DSL for Coordinating Large Groups of Heterogeneous Actors Dynamic Verification of Inter-parameter Constraints in Web Applications 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
Rob DeLineDeLine, Rob 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
Isil DilligDillig, Isil UT Austin Synthesis of Data Completion Scripts using Finite Tree Automata SQLizer: Query Synthesis from Natural Language
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 DonaldsonDonaldson, Alastair 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 One if by Lambda, Two if by C: How PL Can Attack Computing Education (CSES) Peer Review in Cybersecurity 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
Go 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
Go 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 P/Taint: Unified Points-To and Information Flow Analysis Heaps Don't Lie: Countering Unsoundness with Heap Snapshots Heaps Don't Lie: Countering Unsoundness Using 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 Towards Concept-aware Programming Environments for Guiding Software Modularity Designing a Live Development Experience for Web Components Living in your Programming Environment: Enabling Exploratory Programming for Productivity Tools 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
Tobias HollererHollerer, Tobias UCSB Infra: Structure All the Way Down - Structured Data as a Visual Programming Language
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
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 BergenNorway 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
Christian KaestnerKaestner, Christian Carnegie Mellon University, USAGermany Four Languages and Lots of Macros: Analyzing Autotools Build Systems Committee Member in Steering Committee within the GPCE-track
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 Salzburg Selfie and the Basics
Christoph KirschKirsch, Christoph University of SalzburgAustria 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
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