SPLASH 2017 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Affiliation

Name

Results (1038)

Mohamed Abbadi Hogeschool Rotterdam Author of Metacasanova: An Optimized Meta-compiler for Domain-Specific Languages within the SLE-track in SLE 2017
Tatsuya Abe Chiba Institute of Technology, Japan Author of Model Checking Copy Phases of Concurrent Copying Garbage Collection with Various Memory Models within the OOPSLA-track in SPLASH 2017
Paola Accioly Federal University of Pernambuco, Brazil Author of Evaluating and Improving Semistructured Merge within the OOPSLA-track in SPLASH 2017
Michael D. Adams University of Utah, USA Author of Restricting Grammars with Tree Automata within the OOPSLA-track in SPLASH 2017
Edward Aftandilian Google United States Author of Detecting Argument Selection Defects within the OOPSLA-track in SPLASH 2017
Gul Agha Keynote Speaker of AGERE! Keynote: Actors for Big Data: Applications and Open Problems within the AGERE 2017-track in AGERE 2017 Committee Member in Program Committee within the AGERE-track
Matthew Ahrens Author of Markedly: a cartographic approach for mapping eDSL implementation costs within the Meta 2017-track in META 2017
Alex Aiken Stanford University Author of Seam: Provably Safe Local Edits on Graphs within the OOPSLA-track in SPLASH 2017
Shoaib Akram Ghent University Belgium Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Jafar M. Al-Kofahi Iowa State University, USA Author of Four Languages and Lots of Macros: Analyzing Autotools Build Systems within the GPCE 2017-track in GPCE 2017
Aws Albarghouthi University of Wisconsin-Madison Author of FairSquare: Probabilistic Verification of Program Fairness within the OOPSLA-track in SPLASH 2017
Enzo Alda Lakebolt Research United States Author of ZenSheet: a live programming environment for reactive computing within the LIVE 2017-track in LIVE 2017
Jonathan Aldrich Carnegie Mellon University United 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) Panelist of Panel Discussion: Security in OO languages within the NOOL 2017-track in NOOL 2017 Author of Usably Expressing and Enforcing Design in Wyvern within the NOOL 2017-track in NOOL 2017 Author of Capabilities and Effects within the OCAP 2017-track in OCAP 2017 Author of Using Object Capabilities and Effects to Build an Authority-Safe Module System within the OCAP 2017-track in OCAP 2017 Author of Substance and Style: domain-specific languages for mathematical diagrams within the DSLDI 2017-track in DSLDI 2017 Author of A User Study to Inform the Design of the Obsidian Blockchain DSL within the PLATEAU 2017-track in PLATEAU 2017 OOPSLA 2017 PC Chair of OOPSLA Overview & OOPSLA 10-Year Most Influential Paper Award within the Keynotes-track in SPLASH 2017 Presenter of OOPSLA Awards within the Keynotes-track in SPLASH 2017 OOPSLA 2017 PC Chair of OOPSLA 2017 Program Chair's Report within the Keynotes-track in SPLASH 2017 Program Chair in Program Committee within the SPLASH OOPSLA-track
Karim Ali 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) Author of Benchmarking for Program Analysis within the NJR 2017-track in NJR 2017 Author of IDEal: Efficient and Precise Alias-Aware Dataflow Analysis within the OOPSLA-track in SPLASH 2017 Committee Member in Program Committee within the Onward! Papers-track Committee Member in Organizing Committee within the SPLASH -I-track
Tosin Alliyu Haverford College Author of Preliminary Analysis of REST API Style Guidelines within the PLATEAU 2017-track in PLATEAU 2017
John Altidor Draper Laboratory United States Committee Member in External Program Committee within the SPLASH OOPSLA-track
Vasco Amaral NOVA-LINCS, FCT/UNL Author of A Requirements Engineering Approach for Usability-Driven DSL Development within the SLE-track in SLE 2017
Saman Amarasinghe MIT Author of The Tensor Algebra Compiler within the OOPSLA-track in SPLASH 2017
Dan Amelang Viewpoints Research Institute Author of Kanto: A multi-participant screen-sharing system for Etoys, Snap! and GP within the PX/17.2-track in PX/17.2 Author of Shadama: A Particle Simulation Programming Environment for Everyone within the LIVE 2017-track in LIVE 2017
Alon Amid UC Berkeley Author of Preventing Babel: Rectifying the Trend of Programming Language Divergence within the PLATEAU 2017-track in PLATEAU 2017
Nada Amin University of Cambridge United Kingdom Session Chair of Session 2 (part of DSLDI) Session Chair of Language Design (part of Scala) Session Chair of Staging (part of GPCE) Presenter of Collapsing Towers of Interpreters ⭐️ within the Meta 2017-track in META 2017 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 Ancona University of Genova Italy 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) Author of Reasoning on Divergent Computations with Coaxioms within the Posters-track in SPLASH 2017 Author of Reasoning on Divergent Computations with Coaxioms within the OOPSLA-track in SPLASH 2017 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 Anslow Victoria University of Wellington New 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 Antolin The Ohio State University Author of Performance Analysis and Optimization of the RAMPAGE Metal Alloy Potential Generation Software within the SEPS 2017-track in SEPS 2017
Tomoyuki Aotani Tokyo Institute of Technology Author of A DSL for Compensable and Interruptible Executions within the REBELS-track in REBLS 2017
Andrew Appel Princeton Author of A Verified Messaging System within the OOPSLA-track in SPLASH 2017
Guido Araujo Committee Member in Program Committee within the SEPS-track
Jean Baptiste Arnaud Author of Garbage Collection and Efficiency in Dynamic Metacircular Runtimes: An Experience Report within the DLS 2017-track in DLS 2017
Matthew Arnold Author of Training and Tuning Machine-Learning Applications: A View from the Trenches within the SPLASH-I-track in SPLASH 2017
Yulissa Arroyo-Paredes Columbia University, USA Author of Detecting Argument Selection Defects within the OOPSLA-track in SPLASH 2017
Ellen Arteca University of Waterloo, Canada Canada Author of The VM Already Knew That: Leveraging Compile-Time Knowledge to Optimize Gradual Typing within the OOPSLA-track in SPLASH 2017
Guilherme Assis UFMG Author of Feature Oriented Programming in Groovy within the FOSD 2017-track in FOSD 2017
Angello Astorga Author of Preliminary Analysis of Contestant Performance for a Code Hunt Contest within the PLATEAU 2017-track in PLATEAU 2017
Ehsan Atoofian Lakehead University, CA Committee Member in Program Committee within the SEPS-track
Giorgio Audrito Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Dominik Aumayr Author of A Concurrency-Agnostic Protocol for Multi-Paradigm Concurrent Debugging Tools within the DLS 2017-track in DLS 2017
Mohammad Reza Azadmanesh University of Lugano Author of The Entangled Strands of Time in Software Development within the PX/17.2-track in PX/17.2
Casper Bach Poulsen Delft University of Technology Committee Member in Program Committee within the GPCE-track
Anya Helene Bagge University of Bergen Norway Author of Algool – Object-Orientation with Algebraic Specification within the NOOL 2017-track in NOOL 2017 Committee Member in Program Committee within the META-track
Mehdi Bagherzadeh Oakland University United States Author of Order Types: Static Reasoning about Message Races in Asynchronous Message Passing Concurrency within the AGERE 2017-track in AGERE 2017
Alexander Bakst Author of Verifying Distributed Programs via Canonical Sequentialization within the OOPSLA-track in SPLASH 2017
Ioana Baldini IBM T.J. Watson Research Author of The Serverless Trilemma: Function Composition for Serverless Computing within the Onward! Papers-track in Onward! 2017
Kevin Baldor Author of Verifiable Reactive Software within the REBELS-track in REBLS 2017
Jonathan Balkind Princeton, USA Author of Project Snowflake: Non-blocking Safe Manual Memory Management for .NET within the OOPSLA-track in SPLASH 2017
Thomas Ball Microsoft Research United States Committee Member in External Program Committee within the SPLASH OOPSLA-track
Elisa Baniassad University of British Columbia Canada Author of (CER) Making the Liskov Substitution Principle Happy and Sad within the SPLASH-E-track in SPLASH 2017 Committee Member in Program Committee within the SPLASH Workshops-track
Titus Barik Microsoft United States Author of One λ at a time: What do we know about presenting human-friendly output from program analysis tools? within the PLATEAU 2017-track in PLATEAU 2017
Ankica Barisic NOVA-LINCS - Universidade Nova de Lisboa Portugal Author of A Requirements Engineering Approach for Usability-Driven DSL Development within the SLE-track in SLE 2017 Author of Framework support for Usability evaluation of Domain-Specific Languages within the Student Research Competition-track in SPLASH 2017
Celeste Barnaby Wesleyan University Author of A User Study to Inform the Design of the Obsidian Blockchain DSL within the PLATEAU 2017-track in PLATEAU 2017
Edd Barrett King's College London United Kingdom Author of Virtual Machine Warmup Blows Hot and Cold within the OOPSLA-track in SPLASH 2017
Jesse Bartels Author of Constructing Dynamic Control Flow Graphs from Execution Traces within the WODA 2017-track in WODA 2017
Cecilia Bastarrica Committee Member in Program Committee within the FOSD-track
Shrutarshi Basu Cornell University Author of Property Law as a Programming Language within the DSLDI 2017-track in DSLDI 2017
Edouard Batot University of Montreal Committee Member in Artifact Evaluation Committee within the SLE-track
Guillaume Baudart IBM Research United States Committee Member in Program Committee within the DLS-track
Spenser Andrew Bauman Indiana University, USA Author of Sound Gradual Typing: Only Mostly Dead within the OOPSLA-track in SPLASH 2017
Gabriele Bavota Università della Svizzera italiana (USI) Author of An Annotation-based API for Supporting Runtime Code Annotation Reading within the Meta 2017-track in META 2017
Jonathan Bell George Mason University United 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) Author of Hundreds of Projects and Tens of Thousands of Builds: Evaluating Dynamic Testing and Analysis Tools in the Cloud within the NJR 2017-track in NJR 2017 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 Benkner Committee Member in Program Committee within the SEPS-track
Alastair R. Beresford University of Cambridge, UK Author of Verifying Strong Eventual Consistency in Distributed Systems within the OOPSLA-track in SPLASH 2017
Alexandre Bergel University of Chile Chile Author of Object equivalence: Revisiting Object Equality Profiling (An Experience Report) within the DLS 2017-track in DLS 2017 Committee Member in Program Committee within the DLS-track
Federico Bergenti Università degli Studi di Parma Italy Committee Member in Organizing Committee within the AGERE-track
Emery Berger University of Massachusetts, Amherst United States Author of Forget the Garbagemen, We Need a Plumber within the WODA 2017-track in WODA 2017
Christian Berger Committee Member in Program Committee within the SLE-track
Thorsten Berger Chalmers University of Technology, Sweden / University of Gothenburg, Sweden Author of A Classification of Variation Control Systems within the GPCE 2017-track in GPCE 2017 Author of A Chrestomathy of DSL implementations within the SLE-track in SLE 2017
Celina Berg UBC, Computer Science Canada Committee Member in Program Committee within the SAVR-track Committee Member in Program Committee within the SPLASH -E-track
Philip A. Bernstein Microsoft Research Keynote Speaker of AGERE! Keynote: Advanced Features of the Orleans Programming Framework within the AGERE 2017-track in AGERE 2017 Author of Geo-Distribution of Actor-Based Services within the OOPSLA-track in SPLASH 2017
Gilbert Louis Bernstein Stanford University, USA Author of Seam: Provably Safe Local Edits on Graphs within the OOPSLA-track in SPLASH 2017
Lorenzo Bettini Dipartimento di Statistica, Informatica, Applicazioni ‘Giuseppe Parenti’ (DISIA) Italy Committee Member in Program Committee within the DLS-track
Suparna Bhattacharya Hewlett-Packard Enterprise India Committee Member in Program Committee within the SPLASH OOPSLA-track
Aggelos Biboudis Ecole Polytechnique Federale de Lausanne Switzerland 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 Biddle Carleton University Canada 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! Essays Chair of Onward! Program Chairs' Report within the Keynotes-track in SPLASH 2017 Onward! Essays Chair in Program Committee within the Onward! Essays-track
Robert Bill Vienna University of Technology Author of Virtual Textual Model Composition for Supporting Versioning and Aspect-Orientation within the SLE-track in SLE 2017
Walter Binder University of Lugano, Switzerland Author of Accurate Reification of Complete Supertype Information for Dynamic Analysis on the JVM within the GPCE 2017-track in GPCE 2017 Committee Member in Program Committee within the VMIL-track
Christian Bischof Scientific Computing, TU Darmstadt Author of The Influence of HPCToolkit and Score-P on Hardware Performance Counters within the SEPS 2017-track in SEPS 2017
Judith Bishop Stellenbosch University South Africa Committee Member in Steering Committee within the CHESE-track Committee Member in Program Committee within the SPLASH Workshops-track
David Black-Schaffer Uppsala University Author of How To Make Tasks Faster: Revealing The Complex Interactions Of Tasks In The Memory System within the Posters-track in SPLASH 2017
Steve Blackburn Australian National University Australia Committee Member in Organizing Committee within the VMIL-track
Andrew Black Portland State University United States Author of (CER) Early Experience with Grace within the SPLASH-E-track in SPLASH 2017 Committee Member in Program Committee within the Onward! Essays-track
Aaron Blankstein Princeton, USA Author of Project Snowflake: Non-blocking Safe Manual Memory Management for .NET within the OOPSLA-track in SPLASH 2017
Sandrine Blazy IRISA, University of Rennes 1 France Committee Member in Program Committee within the GPCE-track
Sebastian Blessing Imperial College London United Kingdom Author of Tree Topologies for Causal Message Delivery within the AGERE 2017-track in AGERE 2017
Dominique Blouin LTCI Lab, Telecom ParisTech, Université Paris-Saclay Author of A Requirements Engineering Approach for Usability-Driven DSL Development within the SLE-track in SLE 2017
Luc Bläser Hochschule für Technik Rapperswil Switzerland Author of Accelerate JavaScript Applications by Cross-Compiling to WebAssembly within the VMIL 2017-track in VMIL 2017
Christoph Bockisch Philipps-Universität Marburg Germany Session Chair of Session 4: Wrap-Up (part of CoCoS) Author of Survey of Approaches for Assessing Software Energy Consumption within the CoCoS 2017-track in CoCoS 2017 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 Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM Author of Automated Benchmark Management within the NJR 2017-track in NJR 2017 Author of IDEal: Efficient and Precise Alias-Aware Dataflow Analysis within the OOPSLA-track in SPLASH 2017 Committee Member in External Program Committee within the SPLASH OOPSLA-track
Rastislav Bodik University of Washington Author of Domain-Specific Symbolic Compilation within the SPLASH-I-track in SPLASH 2017 Author of Skip Blocks: Reusing Execution History to Accelerate Web Scripts within the OOPSLA-track in SPLASH 2017
Hans-J. Boehm Google United States Committee Member in Program Committee within the SPLASH OOPSLA-track
Carl Friedrich Bolz-Tereick Germany Author of Sound Gradual Typing: Only Mostly Dead within the OOPSLA-track in SPLASH 2017 Author of Virtual Machine Warmup Blows Hot and Cold within the OOPSLA-track in SPLASH 2017 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 Bond Ohio State University Artifact Evaluation Co-Chair in Organizing Committee for SPLASH 2017 Author of Discovering Empirical and Theoretical Analysis Properties from Lots of Real Executions within the NJR 2017-track in NJR 2017 Author of Pushing Predictive Data Race Detection to the Limit within the WODA 2017-track in WODA 2017 Author of Instrumentation Bias for Dynamic Data Race Detection within the OOPSLA-track in SPLASH 2017 Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Daniele Bonetta Oracle Labs Committee Member in Program Committee within the META-track
Viviana Bono University of Torino Italy Committee Member in Program Committee within the SPLASH OOPSLA-track
Matthias Book University of Iceland Author of [Position paper] Facilitating Collaboration in High Performance Computing Projects with an Interaction Room within the SEPS 2017-track in SEPS 2017
Paulo Borba Federal University of Pernambuco, Brazil Brazil Author of Evaluating and Improving Semistructured Merge within the OOPSLA-track in SPLASH 2017
Lera Boroditsky UC San Diego Keynote Speaker of Onward 2017 Keynote: How the languages we speak shape the ways we think within the Keynotes-track in SPLASH 2017 Panelist of Panel: 50 Years of Language Evolution: From Simula’67 to the Future within the SPLASH-I-track in SPLASH 2017
Artur Boronat University of Leicester Author of Structural Model Subtyping with OCL Constraints within the SLE-track in SLE 2017
Erwan Bousse TU Wien, Austria France Committee Member in Artifact Evaluation Committee within the SLE-track
Jonathan Immanuel Brachthäuser University of Tübingen, Germany Session Chair of Unconference (part of Scala) Author of Towards Naturalistic EDSLs using Algebraic Effects within the DSLDI 2017-track in DSLDI 2017 Author of Effekt: Extensible Algebraic Effects in Scala (Short Paper) within the Scala 2017-track in Scala 2017 Scala'17 Organizer in Organizing Committee within the Scala-track
Jeremy Bradbury University of Ontario Institute of Technology Canada Committee Member in Program Committee within the SEPS-track
Edwin Brady University of St. Andrews, UK United Kingdom Committee Member in Program Committee within the Scala-track
James Braman Author of (CSES) Assessing the Usability of a Novel System for Programming Education within the SPLASH-E-track in SPLASH 2017
Marco Brambilla Politecnico di Milano Italy Author of Better Call the Crowd. Using Crowdsourcing to Shape the Notation of Domain-Specific Languages within the SLE-track in SLE 2017
David Bremner University of New Brunswick Author of Fusing Method Handle Graphs for Efficient Dynamic JVM Language Implementations within the VMIL 2017-track in VMIL 2017
Ruth Breu Committee Member in Program Committee within the SLE-track
Kim Bruce Pomona College United States Session Chair of Types (part of SPLASH OOPSLA) Author of (CER) Early Experience with Grace within the SPLASH-E-track in SPLASH 2017 Committee Member in Steering Committee within the SPLASH -E-track Committee Member in Program Committee within the SPLASH OOPSLA-track
Pedro Bruel University of São Paulo Author of OpenMP or Pthreads: Which is Better for Beginners? within the PLATEAU 2017-track in PLATEAU 2017
Elisabeth Brunet Telecom SudParis Committee Member in Program Committee within the SEPS-track
Scott Buckley Macquarie University, Australia Australia Author of A Formalisation of Parameterised Reference Attribute Grammars within the SLE-track in SLE 2017
Sebastian Burckhardt Microsoft Research Switzerland Keynote Speaker of Keynote: Don’t Hit Refresh: Towards Automatic Reactivity for Distributed Services within the REBELS-track in REBLS 2017 Author of Geo-Distribution of Actor-Based Services within the OOPSLA-track in SPLASH 2017
Eugene Burmako Twitter United States Committee Member in Program Committee within the GPCE-track Committee Member in Program Committee within the Scala-track
Javier Burroni Author of Garbage Collection and Efficiency in Dynamic Metacircular Runtimes: An Experience Report within the DLS 2017-track in DLS 2017
Anton Burtsev University of California, Irvine Author of CapNet: Security and Least Authority in a Capability-Enabled Cloud within the OCAP 2017-track in OCAP 2017
Sergey Bykov Microsoft, n.n. Author of Geo-Distribution of Actor-Based Services within the OOPSLA-track in SPLASH 2017
Jordi Cabot ICREA - UOC Author of Better Call the Crowd. Using Crowdsourcing to Shape the Notation of Domain-Specific Languages within the SLE-track in SLE 2017 Committee Member in Program Committee within the SLE-track
Maya Cakmak University of Washington Author of Programming Robot Manipulators with Tangible Blocks within the PLATEAU 2017-track in PLATEAU 2017
Joseph Caldwell University of Tokyo, Japan Author of Reducing Calling Convention Overhead in Object-Oriented Programming on Embedded ARM Thumb-2 Platforms within the GPCE 2017-track in GPCE 2017
Ben Calus imec - DistriNet, KU Leuven Author of FRP IoT Modules as a Scala DSL within the REBELS-track in REBLS 2017
Nicholas Cameron Mozilla Corporation Committee Member in External Program Committee within the SPLASH OOPSLA-track
Breno Campos Federal University of Minas Gerais, Brazil Author of Static Placement of Computation on Heterogeneous Devices within the OOPSLA-track in SPLASH 2017
Lily Cao Towson University Author of (CSES) Assessing the Usability of a Novel System for Programming Education within the SPLASH-E-track in SPLASH 2017
Man Cao Ohio State University Author of Instrumentation Bias for Dynamic Data Race Detection within the OOPSLA-track in SPLASH 2017
Paris Carbone KTH, Sweden Author of Kompics Scala: Narrowing the Gap between Algorithmic Specification and Executable Code (Short Paper) within the Scala 2017-track in Scala 2017
Nicolás Cardozo Universidad de los Andes Colombia Committee Member in Program Committee within the META-track
Travis Carlson University of Minnesota, USA Author of Parsing extensible type qualifiers in ableC within the Parsing@SLE 2017-track in Parsing@SLE 2017 Author of Type Qualifiers as Composable Language Extensions within the GPCE 2017-track in GPCE 2017 Author of Reliable and Automatic Composition of Language Extensions to C within the Posters-track in SPLASH 2017 Author of Reliable and Automatic Composition of Language Extensions to C within the OOPSLA-track in SPLASH 2017
Luiz Carvalho Federal University of Alagoas, Brazil Author of Avoiding Useless Mutants within the GPCE 2017-track in GPCE 2017
Jeff Carver University of Alabama United States Author of [Position paper] How to Test your Concurrent Software: An Approach for the Selection of Testing Techniques within the SEPS 2017-track in SEPS 2017 Committee Member in Program Committee within the SEPS-track
Rubby Casallas Committee Member in Program Committee within the FOSD-track
Franck Cassez Macquarie University, Australia Author of ScalaSMT: Satisfiability Modulo Theory in Scala (Tool Paper) within the Scala 2017-track in Scala 2017
Elias Castegren Uppsala University Author of Reference Capabilities for Concurrency & Scalability: an Experience Report within the OCAP 2017-track in OCAP 2017 Author of (CER) Mastery Learning-Like Teaching with Achievements within the SPLASH-E-track in SPLASH 2017 Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Jeronimo Castrillon TU Dresden, Germany Germany Author of Towards Compositional and Generative Tensor Optimizations within the GPCE 2017-track in GPCE 2017
Bryan Catanzaro NVIDIA United States Committee Member in Program Committee within the SAVR-track
Ana Cavalcanti University of York, UK Author of Avoiding Useless Mutants within the GPCE 2017-track in GPCE 2017
Guilherme Cavalcanti Federal University of Pernambuco, Brazil Brazil Author of What merge tool should I use? within the Doctoral Symposium-track in SPLASH 2017 Author of Evaluating and Improving Semistructured Merge within the OOPSLA-track in SPLASH 2017 Author of What merge tool should I use? within the Student Research Competition-track in SPLASH 2017
Walter Cazzola Università degli Studi di Milano Italy Committee Member in Program Committee within the SLE-track
Germán Ceballos Uppsala University Argentina Author of How To Make Tasks Faster: Revealing The Complex Interactions Of Tasks In The Memory System within the Posters-track in SPLASH 2017 Author of How To Make Tasks Faster: Revealing The Complex Interactions Of Tasks In The Memory System within the Doctoral Symposium-track in SPLASH 2017 Author of How To Make Tasks Faster: Revealing The Complex Interactions Of Tasks In The Memory System within the Student Research Competition-track in SPLASH 2017
Ahmet Celik University of Texas at Austin, USA Author of Bounded Exhaustive Test-Input Generation on GPUs within the OOPSLA-track in SPLASH 2017
Carlos Cetina San Jorge University, Spain Author of Analyzing the Impact of Natural Language Processing over Feature Location in Models within the GPCE 2017-track in GPCE 2017
Kwonsoo Chae Korea University Korea, South Author of Automatically Generating Features for Learning Program Analysis Heuristics for C-Like Languages within the OOPSLA-track in SPLASH 2017
Michal Chalmovianský Committee Member in Organizing Committee within the Parsing@SLE-track
Roger Chamberlain Washington University in St. Louis Author of Assessing User Preferences in Programming Language Design within the Onward! Papers-track in Onward! 2017
Satish Chandra Facebook United States Author of IoTa: A Calculus for Internet of Things Automation within the Onward! Papers-track in Onward! 2017
Saksham Chand Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Kerry Chang IBM Research Committee Member in Program Committee within the PX/17.2-track
Adelbert Chang Unaffiliated United States Author of The Limitations of Type Classes as Subtyped Implicits (Short Paper) within the Scala 2017-track in Scala 2017
Bor-Yuh Evan Chang University of Colorado Boulder Author of ChimpCheck: Property-based Randomized Test Generation for Interactive Apps within the Onward! Papers-track in Onward! 2017
Andres S. Charif-Rubial Université de Versailles Saint-Quentin Author of MALT, A Malloc Tracker within the SEPS 2017-track in SEPS 2017
Dominik Charousset Author of Locality-Guided Scheduling in CAF within the AGERE 2017-track in AGERE 2017
Sarah Chasins University of California, Berkeley Session Chair of Insights into Programmer Thought Processes and Experience (part of PLATEAU) Author of Skip Blocks: Reusing Execution History to Accelerate Web Scripts within the OOPSLA-track in SPLASH 2017 Co-chair in Organizing Committee within the PLATEAU-track
Kamalika Chaudhuri University of California at San Diego, USA Author of Learning to Blame: Localizing Novice Type Errors with Data-Driven Diagnosis within the OOPSLA-track in SPLASH 2017
Avik Chaudhuri Facebook, USA SPLASH-I Co-Chair in Organizing Committee for SPLASH 2017 Author of Fast and Precise Type Checking for JavaScript within the OOPSLA-track in SPLASH 2017 Committee Member in Organizing Committee within the SPLASH -I-track
Sungdeok (Steve) Cha Korea University, South Korea Author of Data-Driven Context-Sensitivity for Points-to Analysis within the OOPSLA-track in SPLASH 2017
Marsha Chechik Committee Member in Program Committee within the SLE-track
Natalia Chechina University of Glasgow United Kingdom Committee Member in Program Committee within the AGERE-track
Perry Cheng IBM Research Author of The Serverless Trilemma: Function Composition for Serverless Computing within the Onward! Papers-track in Onward! 2017
Tongfei Chen Author of Typesafe Abstractions for Tensor Operations (Short Paper) within the Scala 2017-track in Scala 2017
Sheng Chen ULL Lafayette United States Author of Learning User Friendly Type-Error Messages within the OOPSLA-track in SPLASH 2017 Author of How Type Errors Were Fixed and What Students Did? within the OOPSLA-track in SPLASH 2017 Committee Member in Program Committee within the FOSD-track
Angela Chen Google, Inc Author of QuixBugs: A Multi-Lingual Program Repair Benchmark Set Based on the Quixey Challenge within the Posters-track in SPLASH 2017
Tzu-Chun Chen Committee Member in Program Committee within the REBLS-track
Shigeru Chiba University of Tokyo, Japan Japan Session Chair of Types (part of GPCE) Author of Reducing Calling Convention Overhead in Object-Oriented Programming on Embedded ARM Thumb-2 Platforms within the GPCE 2017-track in GPCE 2017 Author of Silverchain: A Fluent API Generator within the GPCE 2017-track in GPCE 2017 Committee Member in Organizing Committee within the META-track Committee Member in Program Committee within the GPCE-track
Parmit Chilana Simon Fraser University Committee Member in Program Committee within the PX/17.2-track
Peggy Chi Google Inc. United States Committee Member in Program Committee within the PLATEAU-track
Andrei Chiş feenk, Switzerland Author of Sympathy for the Devil: Reified Collection of Runtime Errors within the PLATEAU 2017-track in PLATEAU 2017 Publicity Chair in Organizing Committee within the SLE-track
Adam Chlipala Massachusetts Institute of Technology, USA United States Author of TiML: A Functional Language for Practical Complexity Analysis with Invariants within the OOPSLA-track in SPLASH 2017 Committee Member in Program Committee within the SPLASH Workshops-track
Stephen Chou MIT CSAIL United States Author of The Tensor Algebra Compiler within the OOPSLA-track in SPLASH 2017
Ravi Chugh University of Chicago Author of Direct Manipulation Programming Systems within the SPLASH-I-track in SPLASH 2017 Committee Member in Program Committee within the LIVE-track
Benjamin Chung Northeastern University United States Author of Towards Typing Julia within the NOOL 2017-track in NOOL 2017
Luke Church Author of Keynote: Becoming Alive, Growing Up within the LIVE 2017-track in LIVE 2017 Author of The Uses of Interactive Explorers for Web APIs within the PLATEAU 2017-track in PLATEAU 2017 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 Cifuentes Oracle Labs Australia Session Chair of Machine Learning & Data Science (part of SPLASH -I) Panel organizer of Panel Discussion: Security in OO languages within the NOOL 2017-track in NOOL 2017 Author of The Need for a JavaScript Benchmark for Program Analysis within the NJR 2017-track in NJR 2017 Author of Benchmarking for Program Analysis within the NJR 2017-track in NJR 2017 Author of It's Time for Secure Languages within the SPLASH-I-track in SPLASH 2017 Committee Member in Program Committee within the NOOL-track
Matteo Cimini University of Massachusetts Lowell United States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Adrian Clark University of Illinois at Urbana-Champaign Author of Preliminary Analysis of Contestant Performance for a Code Hunt Contest within the PLATEAU 2017-track in PLATEAU 2017
Sylvan Clebsch Imperial College London Author of Tree Topologies for Causal Message Delivery within the AGERE 2017-track in AGERE 2017 Author of Orca: GC and Type System Co-Design for Actor Languages within the OOPSLA-track in SPLASH 2017
Loek Cleophas Netherlands Committee Member in Program Committee within the FOSD-track
Yvonne Coady University of Victoria Canada 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 Cobe São Paulo State University Author of OpenMP or Pthreads: Which is Better for Beginners? within the PLATEAU 2017-track in PLATEAU 2017
Michael Coblenz Carnegie Mellon University United States Author of A User Study to Inform the Design of the Obsidian Blockchain DSL within the PLATEAU 2017-track in PLATEAU 2017
Tiago Cogumbreiro Rice University Portugal Author of Deadlock Avoidance in Parallel Programs with Futures: Why Parallel Tasks Should Not Wait for Strangers within the OOPSLA-track in SPLASH 2017
Albert Cohen Inria, France / ENS, France France Author of Towards Compositional and Generative Tensor Optimizations within the GPCE 2017-track in GPCE 2017
Nachshon Cohen EPFL, Switzerland Author of Efficient Logging in Non-Volatile Memory by Exploiting Coherency Protocols within the OOPSLA-track in SPLASH 2017
Jalen Coleman-Lands University of Illinois at Urbana-Champaign Author of Preliminary Analysis of Contestant Performance for a Code Hunt Contest within the PLATEAU 2017-track in PLATEAU 2017
Alexei Colin Carnegie Mellon University Author of Alpaca: Intermittent Execution without Checkpoints within the OOPSLA-track in SPLASH 2017
Rem Collier University College Dublin United Kingdom Committee Member in Program Committee within the AGERE-track
Benoit Combemale University of Rennes 1 France Author of Opening within the SLE-track in SLE 2017 General Chair in Organizing Committee within the SLE-track Committee Member in Steering Committee within the SLE-track
Sébastien Combéfis ECAM Brussels Belgium Program Co-Chair in Program Committee within the CHESE-track Program Co-Chair in Steering Committee within the CHESE-track
Mistral Contrastin Author of Verifying Spatial Properties of Array Computations within the OOPSLA-track in SPLASH 2017
Kendra Cooper Independent Canada Committee Member in Program Committee within the SAVR-track Committee Member in Program Committee within the CHESE-track
Emilio Coppa Sapienza University of Rome, Italy Italy Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Agostino Cortesi Università Ca' Foscari Venezia Italy Author of Metacasanova: An Optimized Meta-compiler for Domain-Specific Languages within the SLE-track in SLE 2017
Manuel Costa Microsoft Research Author of Project Snowflake: Non-blocking Safe Manual Memory Management for .NET within the OOPSLA-track in SPLASH 2017
Ludovic Courtès Inria, France Author of Code Staging in GNU Guix within the GPCE 2017-track in GPCE 2017
Marco Couto HASLab/INESC TEC & Universidade do Minho Author of Energy Efficiency across Programming Languages: How do Energy, Time, and Memory Relate? within the SLE-track in SLE 2017
Frank Coyle SMU Author of System Test Failures Diagnosis Using Grammars Generated by Mining Event Logs within the Parsing@SLE 2017-track in Parsing@SLE 2017
Aaron Craig ECS, VUW Author of Capabilities and Effects within the OCAP 2017-track in OCAP 2017
Keenan Crane Carnegie Mellon University Author of Substance and Style: domain-specific languages for mathematical diagrams within the DSLDI 2017-track in DSLDI 2017
Karl Cronburg Tufts University United States Author of Markedly: a cartographic approach for mapping eDSL implementation costs within the Meta 2017-track in META 2017 Author of Markedly: a cartographic approach for mapping eDSL implementation costs within the Posters-track in SPLASH 2017 Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Natacha Crooks University of Texas at Austin, USA Author of Geo-Distribution of Actor-Based Services within the OOPSLA-track in SPLASH 2017
Jesús Sánchez Cuadrado Universidad de Murcia Spain Committee Member in Program Committee within the DSLDI-track
Jácome Cunha NOVA-LINCS - Universidade Nova de Lisboa Portugal Author of Energy Efficiency across Programming Languages: How do Energy, Time, and Memory Relate? within the SLE-track in SLE 2017
Evan Czaplicki Committee Member in Program Committee within the REBLS-track
Javier Luis Cánovas Izquierdo IN3 - UOC Spain Author of Better Call the Crowd. Using Crowdsourcing to Shape the Notation of Domain-Specific Languages within the SLE-track in SLE 2017
Loris D'Antoni University of Wisconsin–Madison Italy Author of FairSquare: Probabilistic Verification of Program Fairness within the OOPSLA-track in SPLASH 2017
Vijay D'Silva Google Committee Member in Program Committee within the Onward! Papers-track
Francesco Dagnino Author of Reasoning on Divergent Computations with Coaxioms within the OOPSLA-track in SPLASH 2017
Matthew Danish University of Cambridge, UK Author of Verifying Spatial Properties of Array Computations within the OOPSLA-track in SPLASH 2017
David Darais University of Maryland, USA United States Video Co-Chair in Organizing Committee for SPLASH 2017 Panelist of Panel of new Ph.D.s within the PL Mentoring Workshop (PLMW)-track in SPLASH 2017 Speaker in PLMW Speakers within the SPLASH PL Mentoring Workshop (PLMW)-track
Eva Darulova MPI-SWS Germany Committee Member in Program Committee within the Onward! Papers-track Committee Member in Program Committee within the Scala-track
John Daughtry Google, Inc. Author of The Uses of Interactive Explorers for Web APIs within the PLATEAU 2017-track in PLATEAU 2017
Joeri De Koster 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) Author of Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model within the REBELS-track in REBLS 2017 Author of Dynamic Verification of Inter-parameter Constraints in Web Applications within the WODA 2017-track in WODA 2017 Author of Sparrow - A DSL for Coordinating Large Groups of Heterogeneous Actors within the AGERE 2017-track in AGERE 2017 Author of Transactional Actors: Communication in Transactions within the SEPS 2017-track in SEPS 2017 Committee Member in Organizing Committee within the AGERE-track
Wolfgang De Meuter Vrije Universiteit Brussel Session Chair of Distributed Systems (part of SPLASH OOPSLA) Session Chair of Mining Software Repositories and Parsing (part of SPLASH OOPSLA) Author of Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model within the REBELS-track in REBLS 2017 Author of First-class Reactive Programs for CPS within the REBELS-track in REBLS 2017 Author of Handling Partial Failures in Distributed Reactive Programming within the REBELS-track in REBLS 2017 Author of Dynamic Verification of Inter-parameter Constraints in Web Applications within the WODA 2017-track in WODA 2017 Author of Sparrow - A DSL for Coordinating Large Groups of Heterogeneous Actors within the AGERE 2017-track in AGERE 2017 Author of Transactional Actors: Communication in Transactions within the SEPS 2017-track in SEPS 2017 Committee Member in Organizing Committee within the REBLS-track Committee Member in External Program Committee within the SPLASH OOPSLA-track
Coen De Roover Vrije Universiteit Brussel Belgium Doctoral Symposium Co-Chair in Organizing Committee for SPLASH 2017 Co-chair in Program Committee within the SPLASH Doctoral Symposium-track
Christophe De Troyer Author of First-class Reactive Programs for CPS within the REBELS-track in REBLS 2017
Rob DeLine Microsoft Research Committee Member in Program Committee within the LIVE-track
Saumya Debray University of Arizona Author of Constructing Dynamic Control Flow Graphs from Execution Traces within the WODA 2017-track in WODA 2017
James Decker Author of Flare: A Brief Look into Optimizing UDFs in Spark (Student Talk) within the Scala 2017-track in Scala 2017
Thomas Degueule CWI, Netherlands France Committee Member in Artifact Evaluation Committee within the SLE-track
Benjamin Delaware Purdue University Committee Member in Program Committee within the FOSD-track
Pantazis Deligiannis Microsoft Research United Kingdom Author of Project Snowflake: Non-blocking Safe Manual Memory Management for .NET within the OOPSLA-track in SPLASH 2017
Camil Demetrescu Sapienza University Rome Italy Committee Member in Program Committee within the GPCE-track Committee Member in Program Committee within the REBLS-track
Jasper Denkers TU Delft Netherlands Author of A Modular SGLR Parsing Architecture for Systematic Performance Optimization within the Parsing@SLE 2017-track in Parsing@SLE 2017
Joseph Devietti University of Pennsylvania Author of Monadic Composition for Deterministic, Parallel Batch Processing within the OOPSLA-track in SPLASH 2017
Dominique Devriese KU Leuven Belgium Author of FRP IoT Modules as a Scala DSL within the REBELS-track in REBLS 2017 Committee Member in Program Committee within the REBLS-track
Mariangiola Dezani Università di Torino Committee Member in External Program Committee within the SPLASH OOPSLA-track
Rahul Dhodapkar MongoDB, USA Author of Synthesizing Configuration File Specifications with Association Rule Learning within the OOPSLA-track in SPLASH 2017
Davide Di Ruscio Committee Member in Steering Committee within the SLE-track
Lukas Diekmann King's College London Committee Member in Artifact Evaluation Committee within the SLE-track
Jens Dietrich Massey University New Zealand Author of XCorpus, An Executable Corpus of Java Programs within the NJR 2017-track in NJR 2017 Committee Member in Program Committee within the SPLASH OOPSLA-track
Danny Dig School of EECS at Oregon State University Keynote Speaker of Keynote: The Landscape of Refactoring Research in the Last Decade within the GPCE 2017-track in GPCE 2017 Keynote Speaker of GPCE Keynote: The Landscape of Refactoring Research in the Last Decade, Danny Dig within the SLE-track in SLE 2017 Author of Understanding the Use of Lambda Expressions in Java within the OOPSLA-track in SPLASH 2017 Speaker in Keynote speaker within the GPCE-track
Isil Dillig UT Austin Author of SQLizer: Query Synthesis from Natural Language within the OOPSLA-track in SPLASH 2017 Author of Synthesis of Data Completion Scripts using Finite Tree Automata within the OOPSLA-track in SPLASH 2017
Thomas Dillig Author of SQLizer: Query Synthesis from Natural Language within the OOPSLA-track in SPLASH 2017
Yufei Ding North Carolina State University China Author of GLORE: Generalized Loop Redundancy Elimination upon LER-Notation within the OOPSLA-track in SPLASH 2017
Tom Dinkelaker Ericsson, Germany Germany Committee Member in Program Committee within the SLE-track
Cynthia Disenfeld University of Toronto Committee Member in Program Committee within the CoCoS-track
Julian Dolby IBM Thomas J. Watson Research Center United States Author of Toward Scalable Semantic Big Data within the SPLASH-I-track in SPLASH 2017
Alastair Donaldson Imperial College London United Kingdom Author of Automated Testing of Graphics Shader Compilers within the OOPSLA-track in SPLASH 2017 Author of Automated Testing of Graphics Shader Compilers within the Posters-track in SPLASH 2017 Committee Member in Program Committee within the SPLASH Workshops-track
Gabriel Dos Reis Texas A&M University and Microsoft Committee Member in Program Committee within the SPLASH OOPSLA-track
Samuel Drews University of Wisconsin-Madison Author of FairSquare: Probabilistic Verification of Program Fairness within the OOPSLA-track in SPLASH 2017
Derek Dreyer MPI-SWS Author of Robust and Compositional Verification of Object Capability Patterns within the OOPSLA-track in SPLASH 2017
Sophia Drossopoulou Author of Specifying Attenuation within the OCAP 2017-track in OCAP 2017 Author of Tree Topologies for Causal Message Delivery within the AGERE 2017-track in AGERE 2017 Author of You Can Have it All: Abstraction and Good Cache Performance within the Onward! Papers-track in Onward! 2017 Author of Orca: GC and Type System Co-Design for Actor Languages within the OOPSLA-track in SPLASH 2017 Committee Member in Program Committee within the OCAP-track
Gilles Duboscq Oracle Labs Switzerland Author of Making Collection Operations Optimal with Aggressive JIT Compilation within the Scala 2017-track in Scala 2017
Patrick Dubroy Y Combinator Research, USA Germany Author of Incremental Packrat Parsing within the SLE-track in SLE 2017 Committee Member in Program Committee within the NOOL-track
Jonathan Edwards United States Session Chair of Verification (part of SPLASH OOPSLA) Session Chair of Synthesis (part of SPLASH OOPSLA) Author of Reifying Programming within the LIVE 2017-track in LIVE 2017 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 Eichberg TU Darmstadt, Germany Committee Member in Program Committee within the CoCoS-track
Eric Eide University of Utah United States Author of CapNet: Security and Least Authority in a Capability-Enabled Cloud within the OCAP 2017-track in OCAP 2017
Susan Eisenbach Imperial College London Author of You Can Have it All: Abstraction and Good Cache Performance within the Onward! Papers-track in Onward! 2017
Izzat El Hajj University of Illinois at Urbana-Champaign, USA Author of SAVI Objects: Sharing and Virtuality Incorporated within the OOPSLA-track in SPLASH 2017
Romina Eramo University of L'Aquila Italy Committee Member in Artifact Evaluation Committee within the SLE-track
Sebastian Erdweg TU Delft Netherlands Session Chair of Metaprogramming and Domain Specific Languages (part of META) Author of Toward Abstract Interpretation of Program Transformations within the Meta 2017-track in META 2017 Author of Opening within the GPCE 2017-track in GPCE 2017 Author of Awards within the GPCE 2017-track in GPCE 2017 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 Ernst Google Inc. Denmark Committee Member in Program Committee within the DLS-track Committee Member in External Program Committee within the SPLASH OOPSLA-track
Martin Erwig Oregon State University United States Author of Variational Lists: Comparisons and Design Guidelines within the FOSD 2017-track in FOSD 2017 Committee Member in Steering Committee within the SLE-track
Tyler Etzel Author of A User Study to Inform the Design of the Obsidian Blockchain DSL within the PLATEAU 2017-track in PLATEAU 2017
Patrick Eugster Purdue University OOPSLA 2015 Program Chair in Steering Committee for SPLASH 2017 Committee Member in Organizing Committee within the REBLS-track
Hugues Evrard Imperial College London, UK Author of Automated Testing of Graphics Shader Compilers within the OOPSLA-track in SPLASH 2017
Jonathan Eyolfson University of Waterloo Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Jose Faleiro Yale University, USA Author of Geo-Distribution of Actor-Based Services within the OOPSLA-track in SPLASH 2017
Marc Feeley Université de Montréal Canada Session Chair of Session 4 (part of DLS) Committee Member in Program Committee within the DLS-track
Tim Felgentreff Hasso-Plattner-Institute, Potsdam Germany Author of Designing a Live Development Experience for Web Components within the PX/17.2-track in PX/17.2 Committee Member in Program Committee within the REBLS-track
Wolfram Fenske University of Magdeburg, Germany Author of How Preprocessor Annotations (Do Not) Affect Maintainability: A Case Study on Change-Proneness within the GPCE 2017-track in GPCE 2017
João Paulo Fernandes Release/LISP, CISUC Author of Energy Efficiency across Programming Languages: How do Energy, Time, and Memory Relate? within the SLE-track in SLE 2017
Leonardo Fernandes Federal University of Pernambuco, Brazil Brazil Author of Avoiding Useless Mutants within the GPCE 2017-track in GPCE 2017
Luis Fernando González Alvarán Politécnico Colombiano Jaime Isaza Cadavid Colombia Author of Combining Visual and Textual Languages for Dyslexia within the Doctoral Symposium-track in SPLASH 2017
Fabrício Ferracioli LG Electronics, Brazil Brazil Author of Static Placement of Computation on Heterogeneous Devices within the OOPSLA-track in SPLASH 2017
Fabiano Ferrari Federal University of São Carlos, Brazil Author of Avoiding Useless Mutants within the GPCE 2017-track in GPCE 2017
Eduardo Figueiredo UFMG Brazil Author of Feature Oriented Programming in Groovy within the FOSD 2017-track in FOSD 2017
Monica Figuera Universidad Simón Bolívar Author of ZenSheet: a live programming environment for reactive computing within the LIVE 2017-track in LIVE 2017 Author of ZenSheet Studio: A Spreadsheet-Inspired Environment for Reactive Computing within the Student Research Competition-track in SPLASH 2017 Author of ZenSheet Studio: a visual environment for functional reactive computing within the Posters-track in SPLASH 2017
Stephen J Fink IBM United States Author of The Serverless Trilemma: Function Composition for Serverless Computing within the Onward! Papers-track in Onward! 2017
Irene Finocchi Sapienza University of Rome, Italy Italy Committee Member in Program Committee within the SPLASH OOPSLA-track
Bernd Fischer Stellenbosch University Committee Member in Program Committee within the SLE-track Chair in Steering Committee within the GPCE-track
Kathi Fisler Brown University Author of (CSES) Peer Review in Cybersecurity Education within the SPLASH-E-track in SPLASH 2017 Author of One if by Lambda, Two if by C: How PL Can Attack Computing Education within the SPLASH-I-track in SPLASH 2017 Author of (CSES) Student Understanding of Aliasing and Procedure Calls within the SPLASH-E-track in SPLASH 2017 Committee Member in Steering Committee within the SPLASH -E-track
Matthew Flatt University of Utah United States Session Chair of Performance (part of GPCE) Author of Debugging Domain-Specific Languages Defined with Macros within the DSLDI 2017-track in DSLDI 2017 Author of Opening within the GPCE 2017-track in GPCE 2017 Author of Awards within the GPCE 2017-track in GPCE 2017 Author of Debugging with Domain-Specific Events via Macros within the SLE-track in SLE 2017 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 Font San Jorge University, Spain Author of Analyzing the Impact of Natural Language Processing over Feature Location in Models within the GPCE 2017-track in GPCE 2017
Nate Foster Cornell University United States Session Chair of Compilers (part of SPLASH -I) Author of Property Law as a Programming Language within the DSLDI 2017-track in DSLDI 2017 Author of Verifying Network Data Planes within the SPLASH-I-track in SPLASH 2017
George Fourtounis University of Athens Author of Heaps Don't Lie: Countering Unsoundness with Heap Snapshots within the OOPSLA-track in SPLASH 2017
Nikos Foutris Author of Cross-ISA debugging in meta-circular VMs within the VMIL 2017-track in VMIL 2017
Adrian Francalanza University of Malta Malta Author of Heaps Don't Lie: Countering Unsoundness with Heap Snapshots within the OOPSLA-track in SPLASH 2017
Juliana Franco Imperial College London United Kingdom Author of You Can Have it All: Abstraction and Good Cache Performance within the Onward! Papers-track in Onward! 2017 Author of Orca: GC and Type System Co-Design for Actor Languages within the OOPSLA-track in SPLASH 2017 Committee Member in Program Committee within the NOOL-track
Hubertus Franke Author of Dynamic Atomicity: Optimizing Swift memory management within the DLS 2017-track in DLS 2017
Steven D. Fraser Panelist of Panel: 50 Years of Language Evolution: From Simula’67 to the Future within the SPLASH-I-track in SPLASH 2017 Committee Member in Organizing Committee within the Escaped-track
Marcus Frenkel Fernuni Hagen Author of Robust Projectional Editing within the SLE-track in SLE 2017
Bert Freudenberg Germany Author of Kanto: A multi-participant screen-sharing system for Etoys, Snap! and GP within the PX/17.2-track in PX/17.2 Author of Shadama: A Particle Simulation Programming Environment for Everyone within the LIVE 2017-track in LIVE 2017
Daniel Fridlender Author of Decoding Lua: Formal Semantics for the Developer and the Semanticist within the DLS 2017-track in DLS 2017
Michal Friedman Author of Efficient Logging in Non-Volatile Memory by Exploiting Coherency Protocols within the OOPSLA-track in SPLASH 2017
Thomas Fritz University of British Columbia, University of Zurich Canada Author of Reducing Interruptions at Work with the FlowLight within the SPLASH-I-track in SPLASH 2017
Jochen Fröhlich TU Dresden, Germany Author of Towards Compositional and Generative Tensor Optimizations within the GPCE 2017-track in GPCE 2017
Lidia Fuentes Universidad de Málaga, Spain Spain Committee Member in Program Committee within the FOSD-track
Richard P. Gabriel 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 Gallaba McGill University Canada Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Ronald Garcia University of British Columbia, Canada Web & Publicity in Organizing Committee for SPLASH 2017 Keynote Speaker of Gradual Typing: Foundations for Mixing Static and Dynamic (Keynote Talk) within the DSLDI 2017-track in DSLDI 2017 Author of Refining Semantics for Multi-stage Programming within the GPCE 2017-track in GPCE 2017 Keynote Speaker in Keynote Speaker within the DSLDI-track
Henry Gardner The Australian National University Author of Systems Level Liveness with AnonSystem within the Onward! Papers-track in Onward! 2017
Deepak Garg Max Planck Institute for Software Systems Germany Author of Robust and Compositional Verification of Object Capability Patterns within the OOPSLA-track in SPLASH 2017
Julien Gascon-Samson Author of SmartJS: Dynamic and Self-Adaptable Runtime Middleware for Next-Generation IoT Systems within the Posters-track in SPLASH 2017 Committee Member in Program Committee within the REBLS-track
Nicolas Gaud 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 Gauthier Oracle Labs Australia Author of The Need for a JavaScript Benchmark for Program Analysis within the NJR 2017-track in NJR 2017
Edward Gehringer North Carolina State University Author of (CSES) Open-Source Sofware in Class: Students’ Common Mistakes within the SPLASH-E-track in SPLASH 2017
Robert Gentleman 23andme Panelist of Panel: 50 Years of Language Evolution: From Simula’67 to the Future within the SPLASH-I-track in SPLASH 2017
Sebastian Gerard CEA Saclay - NanoInnov France Committee Member in Program Committee within the SLE-track
Rui Ge University of British Columbia, Canada Author of Refining Semantics for Multi-stage Programming within the GPCE 2017-track in GPCE 2017 Author of Refining Semantics for Multi-stage Programming within the Posters-track in SPLASH 2017
Rohit Gheyi Federal University of Campina Grande, Brazil Author of Avoiding Useless Mutants within the GPCE 2017-track in GPCE 2017
Francesco Di Giacomo Università Ca' Foscari Author of Metacasanova: An Optimized Meta-compiler for Domain-Specific Languages within the SLE-track in SLE 2017
Paola Giannini Universita' del Piemonte Orientale Italy Committee Member in Program Committee within the DLS-track
Paolo G. Giarrusso University of Tübingen, Germany Italy Session Chair of Compilation (part of Scala) Scala'17 Organizer in Organizing Committee within the Scala-track
Jeremy Gibbons Department of Computer Science, University of Oxford United Kingdom Committee Member in Program Committee within the Onward! Essays-track
Andy Gill University of Kansas, USA Author of Rewriting a Shallow DSL using a GHC Compiler Extension within the GPCE 2017-track in GPCE 2017
Yossi Gil Technion—Israel Institute of Technology Author of Less Testing Ink within the Meta 2017-track in META 2017 Author of Thapl—A Theatrical DSL within the DSLDI 2017-track in DSLDI 2017
Elena Glassman UC Berkeley Committee Member in Program Committee within the PLATEAU-track
Klaus v. Gleissenthall University of California at San Diego, USA Author of Verifying Distributed Programs via Canonical Sequentialization within the OOPSLA-track in SPLASH 2017
Milos Gligoric University of Texas at Austin United States Author of Bounded Exhaustive Test-Input Generation on GPUs within the OOPSLA-track in SPLASH 2017 Committee Member in Program Committee within the Onward! Papers-track
PLoP Committess Go to the website for a complete list of all of the committees 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 committees The Hillside Group Comfy Chair in Organizing Committee within the PLoP-track
Alfredo Goldman University of São Paulo Author of OpenMP or Pthreads: Which is Better for Beginners? within the PLATEAU 2017-track in PLATEAU 2017
Alan Goldman Emily Carr University Canada Committee Member in Program Committee within the SAVR-track
Sam Goldman Facebook, USA Author of Fast and Precise Type Checking for JavaScript within the OOPSLA-track in SPLASH 2017
Victor B. F. Gomes University of Cambridge, UK Author of Verifying Strong Eventual Consistency in Distributed Systems within the OOPSLA-track in SPLASH 2017
Elisa Gonzalez Boix Vrije Universiteit Brussel Belgium Doctoral Symposium Co-Chair in Organizing Committee for SPLASH 2017 Steering Committee Member in Steering Committee for Onward! 2017 Author of A Concurrency-Agnostic Protocol for Multi-Paradigm Concurrent Debugging Tools within the DLS 2017-track in DLS 2017 Author of A Principled Approach Towards Debugging Communicating Event-Loops within the AGERE 2017-track in AGERE 2017 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 Goulao NOVA-LINCS, FCT/UNL Author of A Requirements Engineering Approach for Usability-Driven DSL Development within the SLE-track in SLE 2017
Chris Granger Kodowa Keynote Speaker of SPLASH 2017 Keynote: Eve: tackling a giant with a change in perspective within the Keynotes-track in SPLASH 2017 Panelist of Panel: 50 Years of Language Evolution: From Simula’67 to the Future within the SPLASH-I-track in SPLASH 2017 Committee Member in Program Committee within the LIVE-track
Kathryn E. Gray University of Cambridge Committee Member in Program Committee within the SPLASH OOPSLA-track
Jeff Gray University of Alabama Committee Member in Program Committee within the SLE-track
Mark Grebe University of Kansas, USA Author of Rewriting a Shallow DSL using a GHC Compiler Extension within the GPCE 2017-track in GPCE 2017
Neville Grech Author of Better Program Analysis Through Heap Profiling within the WODA 2017-track in WODA 2017 Author of Heaps Don't Lie: Countering Unsoundness Using Heap Snapshots within the Posters-track in SPLASH 2017 Author of P/Taint: Unified Points-To and Information Flow Analysis within the Posters-track in SPLASH 2017 Author of Heaps Don't Lie: Countering Unsoundness with Heap Snapshots within the OOPSLA-track in SPLASH 2017 Author of P/Taint: Unified Points-to and Taint Analysis within the OOPSLA-track in SPLASH 2017
Ben Greenman Northeastern University United States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Clemens Grelck University of Amsterdam Germany Committee Member in Program Committee within the SEPS-track
Semyon Grigorev Author of Parsing techniques for graph analysis within the Parsing@SLE 2017-track in Parsing@SLE 2017
Radu Grigore University of Kent United Kingdom Author of Effective Interactive Resolution of Static Analysis Alarms within the OOPSLA-track in SPLASH 2017
James Grimmelmann Cornell Law School Author of Property Law as a Programming Language within the DSLDI 2017-track in DSLDI 2017
Matthias Grimmer Oracle Labs, Austria Co-chair in Program Committee within the VMIL-track
Max Grossman Rice University, USA Author of Deadlock Avoidance in Parallel Programs with Futures: Why Parallel Tasks Should Not Wait for Strangers within the OOPSLA-track in SPLASH 2017
Dan Grossman University of Washington United States Author of A Solver-Aided Language for Test Input Generation within the OOPSLA-track in SPLASH 2017 Author of Instrumentation Bias for Dynamic Data Race Detection within the OOPSLA-track in SPLASH 2017
Lindsay Groves Victoria University of Wellington Author of Capabilities and Effects within the OCAP 2017-track in OCAP 2017
David Grove IBM Research United States Author of Panel - The future of language runtimes within the VMIL 2017-track in VMIL 2017 Author of Dynamic Atomicity: Optimizing Swift memory management within the DLS 2017-track in DLS 2017 Author of Dynamic Atomicity: Optimizing Swift Memory Management within the Posters-track in SPLASH 2017
Paul Grünbacher JKU Linz, Austria Austria Author of A Classification of Variation Control Systems within the GPCE 2017-track in GPCE 2017
Eduardo Guerra INPE - National Institute for Space Research Author of An Annotation-based API for Supporting Runtime Code Annotation Reading within the Meta 2017-track in META 2017
Esther Guerra Committee Member in Program Committee within the SLE-track
Sumit Gulwani Microsoft Research Author of PLATEAU Keynote: Usability Design Space in Programming by Examples within the PLATEAU 2017-track in PLATEAU 2017 Panelist of Panel: 50 Years of Language Evolution: From Simula’67 to the Future within the SPLASH-I-track in SPLASH 2017
Philip Guo UCSD Committee Member in Program Committee within the LIVE-track
Ronghui Gu Columbia University, USA Author of An Auditing Language for Preventing Correlated Failures in the Cloud within the OOPSLA-track in SPLASH 2017
Sam Guyer Tufts University United States Author of Can Analysis be Too Precise? within the WODA 2017-track in WODA 2017 Author of Garbology: A Study of How Java Objects Die within the Onward! Papers-track in Onward! 2017
Tudor Gîrba CompuGroup Medical Schweiz AG Author of Sympathy for the Devil: Reified Collection of Runtime Errors within the PLATEAU 2017-track in PLATEAU 2017
Abel Gómez Universitat Oberta de Catalunya Spain Committee Member in Artifact Evaluation Committee within the SLE-track
Markus Götz Jülich Supercomputing Centre Author of [Position paper] Facilitating Collaboration in High Performance Computing Projects with an Interaction Room within the SEPS 2017-track in SEPS 2017
David H. Lorenz Technion—Israel Institute of Technology Author of Thapl—A Theatrical DSL within the DSLDI 2017-track in DSLDI 2017
Sebastian Hack Saarland University, Germany Germany Author of RaTrace: Simple and Efficient Abstractions for BVH Ray Traversal Algorithms within the GPCE 2017-track in GPCE 2017
Martin Hagelin (Dirac) Author of You Can Have it All: Abstraction and Good Cache Performance within the Onward! Papers-track in Onward! 2017
Erik Hagersten Uppsala University Author of How To Make Tasks Faster: Revealing The Complex Interactions Of Tasks In The Memory System within the Posters-track in SPLASH 2017
Michiel Haisma TU Delft Netherlands Author of The Semantics of Name Resolution in Grace within the DLS 2017-track in DLS 2017
Philipp Haller KTH Royal Institute of Technology Germany Session Chair of Keynote Sunday (part of Scala) Speaker of SEPS Keynote: Taming Concurrent Programming with Domain-Specific Languages within the SEPS 2017-track in SEPS 2017 Panelist of Panel discussions: "Open source software and tools for engineering parallel software" within the SEPS 2017-track in SEPS 2017 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
Christopher Hall Author of Infra: Structure All the Way Down - Structured Data as a Visual Programming Language within the Onward! Papers-track in Onward! 2017
Matthew Hammer University of Colorado, Boulder United States Author of Toward a Live Stepper for Typed Expressions with Holes within the LIVE 2017-track in LIVE 2017 Committee Member in Program Committee within the SPLASH Workshops-track Committee Member in Program Committee within the GPCE-track
Christian Hammer University of Potsdam Germany 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
Stefan Hanenberg University of Duisburg-Essen Author of What's the Effect of Projectional Editors for Creating Words For Unknown Languages? A Controlled Experiment within the PLATEAU 2017-track in PLATEAU 2017 Committee Member in Program Committee within the PLATEAU-track
Stephen Hanka Author of System Test Failures Diagnosis Using Grammars Generated by Mining Event Logs within the Parsing@SLE 2017-track in Parsing@SLE 2017
Pat Hanrahan Stanford University, USA Author of Seam: Provably Safe Local Edits on Graphs within the OOPSLA-track in SPLASH 2017
Norm Hardy Speaker of Keynote by Norm Hardy within the OCAP 2017-track in OCAP 2017
Seif Haridi Author of Kompics Scala: Narrowing the Gap between Algorithmic Specification and Executable Code (Short Paper) within the Scala 2017-track in Scala 2017
Daco Harkes Delft University of Technology Netherlands Student Volunteers Co-Chair in Organizing Committee for SPLASH 2017
Michael Haupt Oracle Labs Committee Member in Organizing Committee within the VMIL-track
Matthias Hauswirth Università della Svizzera italiana (USI) Switzerland Author of The Entangled Strands of Time in Software Development within the PX/17.2-track in PX/17.2 Author of How Did the Failure Come to Be? within the CoCoS 2017-track in CoCoS 2017 Author of Lost in Space and Time? Quantifying the Size of Unit Test Execution Histories within the PLATEAU 2017-track in PLATEAU 2017 Panelist of Panel: How can our publication models best serve our research? within the Onward! Essays-track in Onward! 2017 Committee Member in Program Committee within the SPLASH -E-track Committee Member in Program Committee within the SPLASH Workshops-track
Akihiro Hayashi Rice University, USA United States Committee Member in Program Committee within the SEPS-track
Sarah Heckman NC State University Author of (CER) 10+ Years of Teaching Software Engineering with iTrust: the Good, the Bad, and the Ugly within the SPLASH-E-track in SPLASH 2017
Görel Hedin Author of Jatte: A Tunable Tree Editor for Integrated DSLs within the CoCoS 2017-track in CoCoS 2017 Author of Concurrent Circular Reference Attribute Grammars within the SLE-track in SLE 2017
Gorel Hedin Lund University Sweden Committee Member in Steering Committee within the SLE-track
Daniel Heidinga IBM Author of Fusing Method Handle Graphs for Efficient Dynamic JVM Language Implementations within the VMIL 2017-track in VMIL 2017
Marcel Heinz University of Koblenz-Landau, Germany Author of A Chrestomathy of DSL implementations within the SLE-track in SLE 2017
Kevlin Henney Curbralan United Kingdom Committee Member in Program Committee within the NOOL-track
Pedro Rangel Henriques University of Minho, Portugal Author of Automatic Generation of Virtual Learning Spaces Driven by CaVa<sup>DSL</sup>: An Experience Report within the GPCE 2017-track in GPCE 2017
Kihong Heo University of Pennsylvania, USA Korea, South Author of Automatically Generating Features for Learning Program Analysis Heuristics for C-Like Languages within the OOPSLA-track in SPLASH 2017
Ben Hermann University of Paderborn Germany Author of Automated Benchmark Management within the NJR 2017-track in NJR 2017 Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Paul He University of Waterloo, Canada Canada Author of A Simple Soundness Proof for Dependent Object Types within the OOPSLA-track in SPLASH 2017
Michael Hicks University of Maryland, College Park United States SIGPLAN Chair in Steering Committee for SPLASH 2017
Raphael Hiesgen Author of Locality-Guided Scheduling in CAF within the AGERE 2017-track in AGERE 2017 Author of Locality-Guided Scheduling in CAF within the Posters-track in SPLASH 2017
Scott Hilberg Author of (CSES) Assessing the Usability of a Novel System for Programming Education within the SPLASH-E-track in SPLASH 2017
Michael Hilton Carnegie Mellon University, USA United States Video Co-Chair in Organizing Committee for SPLASH 2017 Panelist of Panel of new Ph.D.s within the PL Mentoring Workshop (PLMW)-track in SPLASH 2017 Speaker in PLMW Speakers within the SPLASH PL Mentoring Workshop (PLMW)-track
Robert Hirschfeld HPI Germany Steering Committee Chair in Steering Committee for Onward! 2017 Author of Towards Concept-aware Programming Environments for Guiding Software Modularity within the PX/17.2-track in PX/17.2 Author of Living in your Programming Environment: Enabling Exploratory Programming for Productivity Tools within the PX/17.2-track in PX/17.2 Author of Designing a Live Development Experience for Web Components within the PX/17.2-track in PX/17.2 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 Hirzel IBM Research United States Author of Generating Chat Bots from Web API Specifications within the Onward! Papers-track in Onward! 2017
Eric Holk Google Committee Member in Program Committee within the DSLDI-track
Tobias Hollerer UCSB Author of Infra: Structure All the Way Down - Structured Data as a Visual Programming Language within the Onward! Papers-track in Onward! 2017
Niklas Hollmann University of Duisburg-Essen, Germany Author of What's the Effect of Projectional Editors for Creating Words For Unknown Languages? A Controlled Experiment within the PLATEAU 2017-track in PLATEAU 2017
Reid Holmes University of British Columbia Canada Keynote Speaker of Keynote: Program Comprehension - Who, How, What, and Why within the CoCoS 2017-track in CoCoS 2017
Michael Homer Victoria University of Wellington Committee Member in Program Committee within the SLE-track Committee Member in Program Committee within the SPLASH -E-track
Nigel Horspool University of Victoria Committee Member in Program Committee within the CHESE-track
Tony Hosking Australian National University / Data61 Australia Steering Committee Chair in Organizing Committee for SPLASH 2017 SPLASH Steering Committee Chair in Steering Committee for SPLASH 2017 Author of Panel - The future of language runtimes within the VMIL 2017-track in VMIL 2017 Steering Committee Chair of SPLASH Steering Committee Report within the Keynotes-track in SPLASH 2017 Committee Member in Organizing Committee within the VMIL-track
Shan Shan Huang 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
Jeff Huang 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) Author of Model Checking with Maximal Causality Reduction within the WODA 2017-track in WODA 2017 Co-chair in Organizing Committee within the WODA-track
Immo Huismann TU Dresden, Germany Author of Towards Compositional and Generative Tensor Optimizations within the GPCE 2017-track in GPCE 2017
Lars Hupel Technische Universität München Germany Committee Member in Program Committee within the Scala-track
Yongjian Hu University of California, Riverside China Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Zhewei Hu North Carolina State University United States Author of (CSES) Open-Source Sofware in Class: Students’ Common Mistakes within the SPLASH-E-track in SPLASH 2017
Wen-mei Hwu University of Illinois at Urbana-Champaign, USA Author of SAVI Objects: Sharing and Virtuality Incorporated within the OOPSLA-track in SPLASH 2017
Lukas Härtel University of Koblenz-Landau, Germany Author of A Chrestomathy of DSL implementations within the SLE-track in SLE 2017
Johannes Härtel University of Koblenz-Landau, Germany Author of A Chrestomathy of DSL implementations within the SLE-track in SLE 2017
Jomi Fred Hübner Federal University of Santa Catarina, Brazil Committee Member in Program Committee within the AGERE-track
Kazuhiro Ichikawa University of Tokyo, Japan Author of Silverchain: A Fluent API Generator within the GPCE 2017-track in GPCE 2017
Roberto Ierusalimschy PUC-Rio Brazil 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 Igarashi Kyoto University, Japan Japan Author of A DSL for Compensable and Interruptible Executions within the REBELS-track in REBLS 2017 Committee Member in Program Committee within the SPLASH OOPSLA-track
Alejandro Infante Author of Object equivalence: Revisiting Object Equality Profiling (An Experience Report) within the DLS 2017-track in DLS 2017
Pablo Inostroza CWI Netherlands Committee Member in Program Committee within the META-track Committee Member in Program Committee within the Scala-track
Hiroaki Inoue Graduate School of Informatics, Kyoto University Author of A DSL for Compensable and Interruptible Executions within the REBELS-track in REBLS 2017
Charles Isbell, Jr. Georgia Institute of Technology Author of DSL Design for Reinforcement Learning Agents within the DSLDI 2017-track in DSLDI 2017
Shachar Itzhaky Technion, Israel Israel Committee Member in Program Committee within the Onward! Papers-track
Christian Iwainsky Competence Center for High-Performance Computing in Hessian, TU Darmstadt Author of The Influence of HPCToolkit and Score-P on Hardware Performance Counters within the SEPS 2017-track in SEPS 2017
Thomas B. Jablin University of Illinois at Urbana-Champaign, USA / Multicoreware, USA Author of SAVI Objects: Sharing and Virtuality Incorporated within the OOPSLA-track in SPLASH 2017
Derek Jacoby Qvirt.com Canada 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 Jalby Université de Versalles Author of MALT, A Malloc Tracker within the SEPS 2017-track in SEPS 2017
Abhinav Jangda University of Massachusetts, Amherst India Author of Block Level Parallelism in Parsing Block Structured Languages within the Parsing@SLE 2017-track in Parsing@SLE 2017 Author of Unbounded Superoptimization within the Onward! Papers-track in Onward! 2017
Ali Jannesari University of California, Berkeley United States Committee Member in Organizing Committee within the SEPS-track
Sabine Janssens StressLabo Author of Can Some Programming Languages Be Considered Harmful? within the PLATEAU 2017-track in PLATEAU 2017
Ciera Jaspan Google Author of Detecting Argument Selection Defects within the OOPSLA-track in SPLASH 2017 Committee Member in Program Committee within the SPLASH OOPSLA-track
Jean-Baptiste Jeannin Carnegie Mellon University Author of IoTa: A Calculus for Internet of Things Automation within the Onward! Papers-track in Onward! 2017
Sehun Jeong Korea University, South Korea Korea, South Author of Data-Driven Context-Sensitivity for Points-to Analysis within the OOPSLA-track in SPLASH 2017
Minseok Jeon Korea University, South Korea Korea, South Author of Data-Driven Context-Sensitivity for Points-to Analysis within the OOPSLA-track in SPLASH 2017
Chris Jermaine Rice University Author of Abridging Source Code within the OOPSLA-track in SPLASH 2017
Ranjit Jhala University of California at San Diego, USA United States Author of Verifying Distributed Programs via Canonical Sequentialization within the OOPSLA-track in SPLASH 2017 Author of Learning to Blame: Localizing Novice Type Errors with Data-Driven Diagnosis within the OOPSLA-track in SPLASH 2017
Alexandra Jimborean Uppsala University Committee Member in Program Committee within the SEPS-track
Jeremy Johnson Drexel University, USA Author of A Haskell Compiler for Signal Transforms within the GPCE 2017-track in GPCE 2017
David Johnson University of Utah Author of CapNet: Security and Least Authority in a Capability-Enabled Cloud within the OCAP 2017-track in OCAP 2017
Emily Johnston Google Author of Detecting Argument Selection Defects within the OOPSLA-track in SPLASH 2017
Mike Johnston Moatboat Author of Whatever You Say, Happens: Live Creation of VR/AR Experiences within the LIVE 2017-track in LIVE 2017
Richard Jones University of Kent Committee Member in Program Committee within the VMIL-track
Nils Jonsson Author of Delimited Control in Scala (Student Talk) within the Scala 2017-track in Scala 2017 Author of Design of Library Interfaces (Student Talk) within the Scala 2017-track in Scala 2017
Joaquim Jorge Simplex Sigilo Veritas, U Lisboa Portugal Committee Member in Program Committee within the SAVR-track
Jaakko Järvi University of Bergen Norway 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
Ifaz Kabir University of Waterloo, Canada Author of A Simple Soundness Proof for Dependent Object Types within the OOPSLA-track in SPLASH 2017
Antti-Juhani Kaijanaho University of Jyväskylä Finland Author of Concept Analysis in Programming Language Research: Done Well It Is All Right within the Onward! Essays-track in Onward! 2017
Gail Kaiser Columbia University, New York United States Committee Member in Program Committee within the Onward! Papers-track
Tomas Kalibera Northeastern University Committee Member in Program Committee within the VMIL-track
Yukiyoshi Kameyama University of Tsukuba, Japan Japan Author of Staging with Control: Type-Safe Multi-stage Programming with Control Operators within the GPCE 2017-track in GPCE 2017
Shoaib Kamil Adobe Author of The Tensor Algebra Compiler within the OOPSLA-track in SPLASH 2017
Ted Kaminski University of Minnesota United States Author of Reliable composition of domain-specific language features within the DSLDI 2017-track in DSLDI 2017 Author of Ensuring Non-interference of Composable Language Extensions within the SLE-track in SLE 2017 Author of Reliable and Automatic Composition of Language Extensions to C within the OOPSLA-track in SPLASH 2017
Eliezer Kanal Carnegie Mellon University Author of A User Study to Inform the Design of the Obsidian Blockchain DSL within the PLATEAU 2017-track in PLATEAU 2017
Rezwana Karim Samsung Research America Committee Member in Program Committee within the SPLASH OOPSLA-track
Amey Karkare IIT Kanpur Committee Member in Program Committee within the CHESE-track
Alan Karp Author of Unforgeable Distributed Capabilities within the OCAP 2017-track in OCAP 2017 Committee Member in Program Committee within the OCAP-track
Saketh Kasibatla HARC / Y Combinator Research United States Author of Seymour: Live Programming for the Classroom within the LIVE 2017-track in LIVE 2017
Jun Kato National Institute of Advanced Industrial Science and Technology, Japan Japan Author of Keynote: User Interfaces for Live Programming within the LIVE 2017-track in LIVE 2017 Committee Member in Program Committee within the LIVE-track Committee Member in Program Committee within the PX/17.2-track
Lennart Kats Amazon Web Services Committee Member in Program Committee within the GPCE-track
Kiyokuni Kawachiya IBM Research - Tokyo Japan Committee Member in External Program Committee within the SPLASH OOPSLA-track
Sven Keidel Delft University of Technology, Netherlands Netherlands Author of Toward Abstract Interpretation of Program Transformations within the Meta 2017-track in META 2017
Gabriele Keller Data61,CSIRO (formerly NICTA) and UNSW Australia Committee Member in Program Committee within the DSLDI-track
Stephen Kell University of Cambridge Author of Some Were Meant For C: The endurance of an unmanageable language within the Onward! Essays-track in Onward! 2017
Mary Beth Kery Carnegie Mellon University Author of Preliminary Analysis of REST API Style Guidelines within the PLATEAU 2017-track in PLATEAU 2017
Christoph Kessler Linköping University, Sweden Committee Member in Program Committee within the SEPS-track
Ameya Ketkar Oregon State University, USA Author of Understanding the Use of Lambda Expressions in Java within the OOPSLA-track in SPLASH 2017
Samantha Syeda Khairunnesa Iowa State University United States Author of Exploiting Implicit Beliefs to Resolve Sparse Usage Problem in Usage-Based Specification Mining within the Posters-track in SPLASH 2017 Author of Exploiting Implicit Beliefs to Resolve Sparse Usage Problem in Usage-Based Specification Mining within the OOPSLA-track in SPLASH 2017
Deepali Kholkar Tata Consultancy Services Research Author of A Domain-Specific Controlled English Language for Automated Regulatory Compliance within the SLE-track in SLE 2017
Sarfraz Khurshid University of Texas at Austin United States Author of Bounded Exhaustive Test-Input Generation on GPUs within the OOPSLA-track in SPLASH 2017
Liam Kiemele Microsoft United States Committee Member in Program Committee within the SAVR-track
Rebecca Killick Department of Mathematics and Statistics, University of Lancaster Author of Virtual Machine Warmup Blows Hot and Cold within the OOPSLA-track in SPLASH 2017
Alan Kingstone UBC, Cognitive Science Canada Committee Member in Program Committee within the SAVR-track
Christoph Kirsch University of Salzburg Austria Author of Selfie and the Basics within the Posters-track in SPLASH 2017
Christoph Kirsch University of Salzburg Author of Selfie and the Basics within the Onward! Papers-track in Onward! 2017
Oleg Kiselyov Committee Member in Program Committee within the Scala-track
Fredrik Kjolstad MIT CSAIL Author of The Tensor Algebra Compiler within the Posters-track in SPLASH 2017 Author of The Tensor Algebra Compiler within the OOPSLA-track in SPLASH 2017
Kevin Klein University of Koblenz-Landau Author of A Chrestomathy of DSL implementations within the SLE-track in SLE 2017
Martin Kleppmann University of Cambridge United Kingdom Author of Verifying Strong Eventual Consistency in Distributed Systems within the OOPSLA-track in SPLASH 2017
Gabriel Kliot Google, n.n. Author of Geo-Distribution of Actor-Based Services within the OOPSLA-track in SPLASH 2017
Christoph E. Koch EPFL Author of Squid: Type-Safe, Hygienic, and Reusable Quasiquotes within the Scala 2017-track in Scala 2017 Author of Quoted Staged Rewriting: A Practical Approach to Library-Defined Optimizations within the GPCE 2017-track in GPCE 2017
Alex Kolesnichenko Microsoft Committee Member in Program Committee within the CHESE-track
James Koppel MIT Author of Incremental Parametric Syntax for Multi-Language Transformation within the Posters-track in SPLASH 2017 Author of QuixBugs: A Multi-Lingual Program Repair Benchmark Set Based on the Quixey Challenge within the Posters-track in SPLASH 2017
Suresh Kothari Iowa State University, USA Author of Four Languages and Lots of Macros: Analyzing Autotools Build Systems within the GPCE 2017-track in GPCE 2017
Christos Kotselidis The University of Manchester United Kingdom Author of Cross-ISA debugging in meta-circular VMs within the VMIL 2017-track in VMIL 2017 Committee Member in Program Committee within the VMIL-track
Scott Kovach Author of Anansi: a Tracing Interpreter within the LIVE 2017-track in LIVE 2017
Amy Ko University of Washington Author of Modeling Programming Problem Solving Through Interactive Worked Examples within the PLATEAU 2017-track in PLATEAU 2017 Committee Member in Program Committee within the PX/17.2-track
Lucas Kramer University of Minnesota Author of Reliable and Automatic Composition of Language Extensions to C within the OOPSLA-track in SPLASH 2017
Oliver Krauss University of Applied Sciences Upper Austria Austria Author of Genetic Improvement in Code Interpreters and Compilers within the Student Research Competition-track in SPLASH 2017 Author of Genetic Improvement in Code Interpreters and Compilers within the Doctoral Symposium-track in SPLASH 2017
Shriram Krishnamurthi Brown University, USA Author of Error Messages are Classifiers: A Process to Design and Evaluate Error Messages within the Onward! Papers-track in Onward! 2017 Author of Can We Crowdsource Language Design? within the Onward! Papers-track in Onward! 2017 Author of (CSES) Student Understanding of Aliasing and Procedure Calls within the SPLASH-E-track in SPLASH 2017
Erik Krogh Kristensen Aarhus University, Denmark Author of Type Test Scripts for TypeScript Testing within the OOPSLA-track in SPLASH 2017
Lars Kroll KTH Royal Institute of Technology, Sweden Sweden Author of Kompics Scala: Narrowing the Gap between Algorithmic Specification and Executable Code (Short Paper) within the Scala 2017-track in Scala 2017
Philippe Kruchten University of British Columbia Canada Panelist of Panel: How can our publication models best serve our research? within the Onward! Essays-track in Onward! 2017 Committee Member in Program Committee within the Onward! Essays-track
Milind Kulkarni Purdue University Author of Strong Memory Models: 5 Simple Tricks to Beat SC within the WODA 2017-track in WODA 2017 Author of TreeFuser: A Framework for Analyzing and Fusing General Recursive Tree Traversals within the OOPSLA-track in SPLASH 2017
Vinay Kulkarni Tata Consultancy Services Research India Author of A Domain-Specific Controlled English Language for Automated Regulatory Compliance within the SLE-track in SLE 2017
Aditya Kumar Samsung Speaker of Performance Analysis and Optimization of C++ Standard Libraries within the SPLASH-I-track in SPLASH 2017
Alok Kumbhare Microsoft Research, n.n. Author of Geo-Distribution of Actor-Based Services within the OOPSLA-track in SPLASH 2017
Mark Kunze University of Duisburg-Essen, Germany Author of What's the Effect of Projectional Editors for Creating Words For Unknown Languages? A Controlled Experiment within the PLATEAU 2017-track in PLATEAU 2017
Josh Kunz University of Utah Author of CapNet: Security and Least Authority in a Capability-Enabled Cloud within the OCAP 2017-track in OCAP 2017
Lindsey Kuper Intel Labs Session Chair of Session 4 (part of DSLDI) Session Chair of Session 1 (part of DSLDI) Program Co-Chair of Welcome within the DSLDI 2017-track in DSLDI 2017 Co-chair in Organizing Committee within the DSLDI-track
Kimio Kuramitsu Yokohama National University, Japan Author of A Symbol-Based Extension of Parsing Expression Grammars and Context-Sensitive Packrat Parsing within the SLE-track in SLE 2017
Christian Kästner Carnegie Mellon University, USA Germany Author of Four Languages and Lots of Macros: Analyzing Autotools Build Systems within the GPCE 2017-track in GPCE 2017 Committee Member in Steering Committee within the GPCE-track
Thomas Kühn Technische Universität Dresden Germany Committee Member in Artifact Evaluation Committee within the SLE-track
Rami Gökhan Kıcı University of California at San Diego, USA Author of Verifying Distributed Programs via Canonical Sequentialization within the OOPSLA-track in SPLASH 2017
Thomas LaToza George Mason University United States Committee Member in Program Committee within the PLATEAU-track
Tania Lado Insua University of Tasmania Australia Committee Member in Program Committee within the SAVR-track
Wing Lam University of Illinois at Urbana-Champaign United States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Edmund Lam University of Colorado Boulder Author of ChimpCheck: Property-based Randomized Test Generation for Interactive Apps within the Onward! Papers-track in Onward! 2017
Patrick Lam 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
Maria Lantin Emily Carr University Canada Committee Member in Program Committee within the SAVR-track
Anna Lanzaro Federico II University of Naples Italy Committee Member in Program Committee within the SEPS-track
Michele Lanza Università della Svizzera italiana (USI) Switzerland Author of An Annotation-based API for Supporting Runtime Code Annotation Reading within the Meta 2017-track in META 2017 Author of Sympathy for the Devil: Reified Collection of Runtime Errors within the PLATEAU 2017-track in PLATEAU 2017
Xun Lao Yale University, USA Author of An Auditing Language for Preventing Correlated Failures in the Cloud within the OOPSLA-track in SPLASH 2017
Raúl Lapeña San Jorge University, Spain Author of Analyzing the Impact of Natural Language Processing over Feature Location in Models within the GPCE 2017-track in GPCE 2017
James Larus EPFL Author of Efficient Logging in Non-Volatile Memory by Exploiting Coherency Protocols within the OOPSLA-track in SPLASH 2017
Andrei Lascu Imperial College London Author of Automated Testing of Graphics Shader Compilers within the OOPSLA-track in SPLASH 2017
Nicolas Laurent Université Catholique de Louvain, Belgium Belgium Author of Red Shift: Procedural Shift-Reduce Parsing within the SLE-track in SLE 2017
Ben Laurie DeepMind Committee Member in Program Committee within the OCAP-track
Julia Lawall Inria/LIP6 Committee Member in Program Committee within the SPLASH Workshops-track
Lukas Lazarek Author of How to Efficiently Process 2^100 Different Lists within the Student Research Competition-track in SPLASH 2017
Doug Lea State University of New York (SUNY) Oswego United States Committee Member in Steering Committee within the SPLASH -E-track Committee Member in Program Committee within the SPLASH OOPSLA-track
Richard Leblanc Seattle University Committee Member in Steering Committee within the SPLASH -E-track
Manuel Leduc IRISA, University of Rennes 1 Committee Member in Artifact Evaluation Committee within the SLE-track
Michael Lee New Jersey Institute of Technology United States Committee Member in Program Committee within the PLATEAU-track
Victor Lee Intel Corporation China Committee Member in Program Committee within the SEPS-track
Daniel Lehmann TU Darmstadt Germany Author of Automatic Testing of Interactive JavaScript Debuggers within the Student Research Competition-track in SPLASH 2017
Jan-Patrick Lehr Graduate School of Computational Engineering, TU Darmstadt Author of The Influence of HPCToolkit and Score-P on Hardware Performance Counters within the SEPS 2017-track in SEPS 2017
Daan Leijen Microsoft Research United States Author of Semantics of Asynchronous JavaScript within the DLS 2017-track in DLS 2017
Michael Leinhardt Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Roland Leißa Saarland University, Germany Germany Author of RaTrace: Simple and Efficient Abstractions for BVH Ray Traversal Algorithms within the GPCE 2017-track in GPCE 2017
David Leopoldseder Johannes Kepler University Linz Austria Author of Making Collection Operations Optimal with Aggressive JIT Compilation within the Scala 2017-track in Scala 2017 Author of Simulation-based Code Duplication for Enhancing Compiler Optimizations within the Student Research Competition-track in SPLASH 2017 Author of Simulation-based Code Duplication for Enhancing Compiler Optimizations within the Doctoral Symposium-track in SPLASH 2017
Rebekah Leslie-Hurd Committee Member in Program Committee within the DSLDI-track
Tihamer Levendovszky Microsoft Committee Member in Program Committee within the SLE-track
Gabriel Levi Facebook, USA Author of Fast and Precise Type Checking for JavaScript within the OOPSLA-track in SPLASH 2017
Nicholas Lewchenko Author of Computer-Assisted Specification of Asynchronous Interfaces with Non-Deterministic Behavior within the Student Research Competition-track in SPLASH 2017
Ondřej Lhoták University of Waterloo, Canada Session Chair of Keynote Monday (part of Scala) Author of A Model for Reasoning about JavaScript Promises within the OOPSLA-track in SPLASH 2017 Author of A Simple Soundness Proof for Dependent Object Types within the OOPSLA-track in SPLASH 2017 Scala'17 Program Chair in Organizing Committee within the Scala-track
Henry Lieberman MIT CSAIL, USA Committee Member in Program Committee within the LIVE-track
Nistor Ligia Carnegie Mellon University Author of Verifying the Proxy Design Pattern Using Object Propositions within the Student Research Competition-track in SPLASH 2017
Phyllipe Lima INPE - National Institute for Space Research Brazil Author of An Annotation-based API for Supporting Runtime Code Annotation Reading within the Meta 2017-track in META 2017
Jens Lincke Hasso Plattner Institute Author of Towards Concept-aware Programming Environments for Guiding Software Modularity within the PX/17.2-track in PX/17.2 Author of Living in your Programming Environment: Enabling Exploratory Programming for Productivity Tools within the PX/17.2-track in PX/17.2 Author of Designing a Live Development Experience for Web Components within the PX/17.2-track in PX/17.2
Lukas Linsbauer Johannes Kepler University Linz Austria Author of A Classification of Variation Control Systems within the GPCE 2017-track in GPCE 2017
Derrick Lin Independent Researcher Author of QuixBugs: A Multi-Lingual Program Repair Benchmark Set Based on the Quixey Challenge within the Posters-track in SPLASH 2017
Bo Lin Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Yanhong A. Liu Stony Brook University, USA Committee Member in External Program Committee within the SPLASH OOPSLA-track
Lun Liu University of California at Los Angeles, USA Author of A Volatile-by-Default JVM for Server Applications within the OOPSLA-track in SPLASH 2017
Yu David Liu State University of New York (SUNY) Binghamton United States Author of Tool Support for Energy-Aware Programming within the NJR 2017-track in NJR 2017
Chang Liu Ohio University Program Co-Chair in Program Committee within the CHESE-track Program Co-Chair in Steering Committee within the CHESE-track
Y. Annie Liu Stony Brook University United States Speaker of What to do and who to ask? within the PL Mentoring Workshop (PLMW)-track in SPLASH 2017 Speaker in PLMW Speakers within the SPLASH PL Mentoring Workshop (PLMW)-track
Ben Livshits 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) Author of Browser Performance Woes: Past, Present, and Future within the SPLASH-I-track in SPLASH 2017 Co-chair in Organizing Committee within the WODA-track
Zhiyuan Li Purdue Universitym, USA Committee Member in Program Committee within the SEPS-track
Paley Li Northeastern University New Zealand Author of Towards Typing Julia within the NOOL 2017-track in NOOL 2017 Committee Member in Program Committee within the SPLASH Workshops-track
Huang Li Author of Type-Safe Modular Parsing within the SLE-track in SLE 2017
Xiangqi Li University of Utah Author of Debugging Domain-Specific Languages Defined with Macros within the DSLDI 2017-track in DSLDI 2017 Author of Debugging with Domain-Specific Events via Macros within the SLE-track in SLE 2017
Xia Li University of Texas at Dallas, USA Author of Transforming Programs and Tests in Tandem for Fault Localization within the OOPSLA-track in SPLASH 2017
Malte Lochau Author of Towards Complete Consistency Checks of Clafer Models within the FOSD 2017-track in FOSD 2017
Shu-Peng Loh Imperial College London Author of Specifying Attenuation within the OCAP 2017-track in OCAP 2017
Dastyni Loksa University of Washington Author of Modeling Programming Problem Solving Through Interactive Worked Examples within the PLATEAU 2017-track in PLATEAU 2017
Donna Long Microsoft United States Committee Member in Program Committee within the SAVR-track
Crista Lopes University of California, Irvine Steering Committee Member in Steering Committee for Onward! 2017 Session Chair of Session 2 (part of NJR) Author of NJR discussion; Needs, Requirements, Wishes within the NJR 2017-track in NJR 2017 Author of Welcome and Overview of NJR within the NJR 2017-track in NJR 2017 Panelist of Panel: How can our publication models best serve our research? within the Onward! Essays-track in Onward! 2017 Author of SPLASH 2017 Keynote: Objects in the Age of Data within the Keynotes-track in SPLASH 2017 Panelist of Panel: 50 Years of Language Evolution: From Simula’67 to the Future within the SPLASH-I-track in SPLASH 2017 Author of DéjàVu: A Map of Code Duplicates on GitHub within the OOPSLA-track in SPLASH 2017 Committee Member in Program Committee within the DLS-track Committee Member in Organizing Committee within the NJR-track
Matthew C. Loring Author of Semantics of Asynchronous JavaScript within the DLS 2017-track in DLS 2017
Giuliano Losa University of California at Los Angeles, USA Author of Paxos Made EPR: Decidable Reasoning about Distributed Protocols within the OOPSLA-track in SPLASH 2017
Brandon Lucia Carnegie Mellon University United States Author of Alpaca: Intermittent Execution without Checkpoints within the OOPSLA-track in SPLASH 2017
David Lugato CEA, France Author of The Tensor Algebra Compiler within the OOPSLA-track in SPLASH 2017
Lechanceux Luhunu University of Montreal Author of Comparison of the Expressiveness and Performance of Template-Based Code Generation Tools within the SLE-track in SLE 2017
Ralf Lämmel University of Koblenz-Landau, Germany Session Chair of Parsing (part of SLE) Author of A Chrestomathy of DSL implementations within the SLE-track in SLE 2017 Committee Member in Program Committee within the SLE-track
Manuel Maarek Heriot-Watt University United Kingdom Author of Development of a Web Platform for Code Peer-Testing within the PLATEAU 2017-track in PLATEAU 2017
Lindsay Macdonald Interactions Lab, University of Calgary Canada Committee Member in Program Committee within the SAVR-track
Julian Mackay 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 Macvean Google, Inc. Author of The Uses of Interactive Explorers for Web APIs within the PLATEAU 2017-track in PLATEAU 2017
Magnus Madsen University of Waterloo Denmark Author of A Model for Reasoning about JavaScript Promises within the OOPSLA-track in SPLASH 2017
Toshiyuki Maeda Chiba Institute of Technology, Japan Author of Model Checking Copy Phases of Concurrent Copying Garbage Collection with Various Memory Models within the OOPSLA-track in SPLASH 2017
Kiwan Maeng Carnegie Mellon University, USA Author of Alpaca: Intermittent Execution Without Checkpoints within the Posters-track in SPLASH 2017 Author of Alpaca: Intermittent Execution without Checkpoints within the OOPSLA-track in SPLASH 2017
Giuseppe Maggiore Hogeschool Rotterdam Author of Metacasanova: An Optimized Meta-compiler for Domain-Specific Languages within the SLE-track in SLE 2017
Geoffrey Mainland Drexel University, USA Author of A Haskell Compiler for Signal Transforms within the GPCE 2017-track in GPCE 2017
Petr Maj ReactorLabs Author of DéjàVu: A Map of Code Duplicates on GitHub within the Posters-track in SPLASH 2017 Author of DéjàVu: A Map of Code Duplicates on GitHub within the OOPSLA-track in SPLASH 2017
Parth Malani Committee Member in Program Committee within the SEPS-track
José Carlos Maldonado University of São Paulo, Brazil Author of Avoiding Useless Mutants within the GPCE 2017-track in GPCE 2017
Dennis Mancl MSWX Software Experts United States Committee Member in Organizing Committee within the Escaped-track
Louis Mandel IBM Research United States Author of Generating Chat Bots from Web API Specifications within the Onward! Papers-track in Onward! 2017
Ravi Mangal Georgia Institute of Technology Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
William Mansky Princeton University United States Author of A Verified Messaging System within the OOPSLA-track in SPLASH 2017
Mark Marron Microsoft Research Author of Semantics of Asynchronous JavaScript within the DLS 2017-track in DLS 2017
Stefan Marr University of Kent United Kingdom Session Chair of Code Generation (part of META) Session Chair of Compiling Reflection (part of META) Author of Garbage Collection and Efficiency in Dynamic Metacircular Runtimes: An Experience Report within the DLS 2017-track in DLS 2017 Author of A Concurrency-Agnostic Protocol for Multi-Paradigm Concurrent Debugging Tools within the DLS 2017-track in DLS 2017 Author of A Principled Approach Towards Debugging Communicating Event-Loops within the AGERE 2017-track in AGERE 2017 Author of Metaphysics: Towards a Robust Framework for Remotely Working with Potentially Broken Objects and Runtimes within the Meta 2017-track in META 2017 Co-chair of Welcome within the Meta 2017-track in META 2017 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
Chris Martens North Carolina State University United States Committee Member in Program Committee within the DSLDI-track
Ricardo Giuliani Martini University of Minho, Portugal Author of Automatic Generation of Virtual Learning Spaces Driven by CaVa<sup>DSL</sup>: An Experience Report within the GPCE 2017-track in GPCE 2017
Pedro Martins University of California at Irvine, USA Author of DéjàVu: A Map of Code Duplicates on GitHub within the OOPSLA-track in SPLASH 2017
Francisco Martins LaSIGE, University of Lisbon Author of Deadlock Avoidance in Parallel Programs with Futures: Why Parallel Tasks Should Not Wait for Strangers within the OOPSLA-track in SPLASH 2017
Guillaume Martres EPFL, Switzerland Switzerland Author of Interactive Development using the Dotty Compiler (Tool Paper) within the Scala 2017-track in Scala 2017
Fabio Mascarenhas UFRJ Author of Decoding Lua: Formal Semantics for the Developer and the Semanticist within the DLS 2017-track in DLS 2017
Hidehiko Masuhara Tokyo Institute of Technology Japan 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 Mattis Hasso Plattner Institute Author of Towards Concept-aware Programming Environments for Guiding Software Modularity within the PX/17.2-track in PX/17.2 Author of Living in your Programming Environment: Enabling Exploratory Programming for Productivity Tools within the PX/17.2-track in PX/17.2
Tim Mattson Intel, USA Committee Member in Organizing Committee within the SEPS-track
Andrea Mauri Politecnico di Milano, Italy Author of Better Call the Crowd. Using Crowdsourcing to Shape the Notation of Domain-Specific Languages within the SLE-track in SLE 2017
Tanja Mayerhofer TU Wien Austria Author of Awards within the SLE-track in SLE 2017 Artifact Evaluation Co-Chair in Organizing Committee within the SLE-track Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the SLE-track
Davood Mazinanian Concordia University, Canada Author of Understanding the Use of Lambda Expressions in Java within the OOPSLA-track in SPLASH 2017
Dylan McDermott University of Cambridge Author of Project Snowflake: Non-blocking Safe Manual Memory Management for .NET within the OOPSLA-track in SPLASH 2017
Sean McDirmid Independent United States Comfy Chair of Lightning Talks within the LIVE 2017-track in LIVE 2017 Author of Live Programming as Gradual Abstraction within the LIVE 2017-track in LIVE 2017 Author of Closing Discussion within the LIVE 2017-track in LIVE 2017 Co-chair in Program Committee within the LIVE-track
Léon McGregor Heriot-Watt University Author of Development of a Web Platform for Code Peer-Testing within the PLATEAU 2017-track in PLATEAU 2017
Shane McIntosh McGill University Canada Committee Member in Program Committee within the SPLASH OOPSLA-track
Kathryn S McKinley Google Session Chair of Performance (part of SPLASH OOPSLA) Author of Static Stages for Heterogeneous Programming within the OOPSLA-track in SPLASH 2017 Speaker of Research is a social process / What Programming Languages Researchers Do and How within the PL Mentoring Workshop (PLMW)-track in SPLASH 2017 Panelist of Panel: Industry & Academia within the PL Mentoring Workshop (PLMW)-track in SPLASH 2017 Speaker in PLMW Speakers within the SPLASH PL Mentoring Workshop (PLMW)-track Committee Member in Program Committee within the SPLASH OOPSLA-track
Erik Meijer Committee Member in External Program Committee within the SPLASH OOPSLA-track
Paulo Meirelles University of São Paulo and University of Brasília Brazil Author of OpenMP or Pthreads: Which is Better for Beginners? within the PLATEAU 2017-track in PLATEAU 2017
Darya Melicher Carnegie Mellon University Author of Using Object Capabilities and Effects to Build an Authority-Safe Module System within the OCAP 2017-track in OCAP 2017 Author of Using Object Capabilities and Effects to Build an Authority-Safe Module System within the Posters-track in SPLASH 2017
Silvana Morita Melo ICMC/USP Brazil Author of [Position paper] How to Test your Concurrent Software: An Approach for the Selection of Testing Techniques within the SEPS 2017-track in SEPS 2017
Richard Membarth DFKI, Germany Author of RaTrace: Simple and Efficient Abstractions for BVH Ray Traversal Algorithms within the GPCE 2017-track in GPCE 2017
Na Meng Virginia Tech Committee Member in Program Committee within the Onward! Papers-track
Kim Mens Université Catholique de Louvain, Belgium Belgium Committee Member in Program Committee within the META-track
Marjan Mernik University of Maribor Slovenia Session Chair of Meta-modelling (part of SLE) Author of Opening within the SLE-track in SLE 2017 Author of Awards within the SLE-track in SLE 2017 Program Co-Chair in Program Committee within the SLE-track PC co-chair in Organizing Committee within the SLE-track
Jacobus Van der Merwe University of Utah Author of CapNet: Security and Least Authority in a Capability-Enabled Cloud within the OCAP 2017-track in OCAP 2017
Leo Meyerovich Graphistry Committee Member in Program Committee within the Onward! Papers-track
Bart Meyers University of Antwerp, Belgium Author of Concrete Syntax: A Multi-paradigm Modelling Approach within the SLE-track in SLE 2017
Mira Mezini TU Darmstadt Germany Committee Member in Program Committee within the SPLASH OOPSLA-track
Matthew Might University of Utah, USA United States Author of Restricting Grammars with Tree Automata within the OOPSLA-track in SPLASH 2017
Guilherme Miguel Teixeira Rito Author of What merge tool should I use? within the Posters-track in SPLASH 2017
Ana Milanova Rensselaer Polytechnic Institute United States Speaker of Choosing your mentor and learning to present your ideas clearly within the PL Mentoring Workshop (PLMW)-track in SPLASH 2017 Speaker in PLMW Speakers within the SPLASH PL Mentoring Workshop (PLMW)-track Committee Member in Program Committee within the SPLASH OOPSLA-track
Heather Miller 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 Miller Google Inc. United States Session Chair of Welcome and Keynote (part of OCAP) Panelist of Panel Discussion: Security in OO languages within the NOOL 2017-track in NOOL 2017 Committee Member in Organizing Committee within the OCAP-track
Todd Millstein University of California, Los Angeles Author of A Volatile-by-Default JVM for Server Applications within the OOPSLA-track in SPLASH 2017
Dejan Milojicic Hewlett Packard Labs, USA Author of SAVI Objects: Sharing and Virtuality Incorporated within the OOPSLA-track in SPLASH 2017
Albert Mingkun Yang Author of Orca: GC and Type System Co-Design for Actor Languages within the OOPSLA-track in SPLASH 2017
Sasa Misailovic University of Illinois at Urbana-Champaign, USA Committee Member in Program Committee within the SPLASH OOPSLA-track
Nick Mitchell Author of The Serverless Trilemma: Function Composition for Serverless Computing within the Onward! Papers-track in Onward! 2017
Andrea Mocci Universita della Svizzera italiana (USI) Author of An Annotation-based API for Supporting Runtime Code Annotation Reading within the Meta 2017-track in META 2017 Author of Sympathy for the Devil: Reified Collection of Runtime Errors within the PLATEAU 2017-track in PLATEAU 2017
Rafiuzzaman Mohammad University of British Columbia Bangladesh Author of SmartJS: Dynamic and Self-Adaptable Runtime Middleware for Next-Generation IoT Systems within the Posters-track in SPLASH 2017
Tim Molderez Vrije Universiteit Brussel Belgium Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Korbinian Molitorisz Committee Member in Program Committee within the SEPS-track
Melina Mongiovi Federal University of Campina Grande, Brazil Author of Avoiding Useless Mutants within the GPCE 2017-track in GPCE 2017
Shirley Moore Oak Ridge National Laboratory Author of Performance Analysis and Optimization of the RAMPAGE Metal Alloy Potential Generation Software within the SEPS 2017-track in SEPS 2017
Scott Moore Harvard University Committee Member in Program Committee within the DLS-track
Christine Corbett Moran California Institute of Technology Author of (CSES) Applied and Adaptive Curriculum in Introductory to Computer Science Courses for Success in Diverse Student Groups within the SPLASH-E-track in SPLASH 2017
Igor Moreno Santos Author of Ivo functions forward and backward within the NOOL 2017-track in NOOL 2017
Savannah Morgan Author of How Are Programming Questions from Women Received on Stack Overflow? A Case Study of Peer Parity within the Student Research Competition-track in SPLASH 2017
J. Garrett Morris University of Kansas, USA United States Committee Member in Program Committee within the NOOL-track
Peter D. Mosses Swansea University United Kingdom Keynote Speaker of Keynote: Engineering Meta-Languages for Specifying Software Languages within the GPCE 2017-track in GPCE 2017 Keynote Speaker of SLE Keynote: Engineering meta-languages for specifying software languages within the SLE-track in SLE 2017 Committee Member in Keynote Speaker within the SLE-track
Paulo Motta Motta & SantAnna Pesquisa e Desenvolvimento Author of [Position paper] Declaring Lua Data Types for GPU Code Generation within the SEPS 2017-track in SEPS 2017
Sarah Mount King's College London United Kingdom Author of Virtual Machine Warmup Blows Hot and Cold within the OOPSLA-track in SPLASH 2017 Committee Member in Program Committee within the SPLASH Workshops-track
Fabian Muehlboeck Cornell University Author of Sound Gradual Typing Is Nominally Alive and Well within the OOPSLA-track in SPLASH 2017
Manasij Mukherjee Chennai Mathematical Institute Author of MkMod: A Domain Specific Language for developing Linux Kernel Modules within the DSLDI 2017-track in DSLDI 2017
Dominic P. Mulligan University of Cambridge Author of Verifying Strong Eventual Consistency in Distributed Systems within the OOPSLA-track in SPLASH 2017
Vijayaraghavan Murali Rice University, USA Author of Abridging Source Code within the OOPSLA-track in SPLASH 2017
Emerson Murphy-Hill North Carolina State University Onward! 2016 Papers Chair in Steering Committee for SPLASH 2017 Steering Committee Member in Steering Committee for Onward! 2017 Author of One λ at a time: What do we know about presenting human-friendly output from program analysis tools? within the PLATEAU 2017-track in PLATEAU 2017 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
Gail Murphy University of British Columbia Canada 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 Chair of Conference Banquet (Reception Style) within the Social Program-track in SPLASH 2017 General Chair of SPLASH 2017 General Chairs Report within the Keynotes-track in SPLASH 2017 Conference Chair of Monday Workshop and Poster Reception within the Social Program-track in SPLASH 2017 Presenter of Welcome to SPLASH 2017 within the Keynotes-track in SPLASH 2017 Conference Chair of Ice Cream Social within the Social Program-track in SPLASH 2017 Conference Chair of Wednesday Poster Reception within the Social Program-track in SPLASH 2017 Committee Member in Organizing Committee within the SPLASH -I-track
Lauren Murphy University of Michigan Author of Preliminary Analysis of REST API Style Guidelines within the PLATEAU 2017-track in PLATEAU 2017
Toby Murray University of Melbourne, Australia Australia Committee Member in Program Committee within the OCAP-track
Jeanne-Marie Musca Tufts University Author of Markedly: a cartographic approach for mapping eDSL implementation costs within the Meta 2017-track in META 2017
Gunter Mussbacher McGill University, Canada Committee Member in Program Committee within the SLE-track
Madan Musuvathi Microsoft Research Author of A Volatile-by-Default JVM for Server Applications within the OOPSLA-track in SPLASH 2017
Vinod Muthusamy IBM T.J. Watson Research Author of The Serverless Trilemma: Function Composition for Serverless Computing within the Onward! Papers-track in Onward! 2017
Brad Myers Carnegie Mellon University United States Author of Preliminary Analysis of REST API Style Guidelines within the PLATEAU 2017-track in PLATEAU 2017 Author of A User Study to Inform the Design of the Obsidian Blockchain DSL within the PLATEAU 2017-track in PLATEAU 2017
Andrew Myers Author of Familia: Unifying Interfaces, Type Classes, and Family Polymorphism within the OOPSLA-track in SPLASH 2017
Florian Myter Vrije Universiteit Brussel, Belgium Belgium Session Chair of Bits versus Atoms! (Venture Labs, 12th Floor, 555 Hastings) (part of SAVR) Author of Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model within the REBELS-track in REBLS 2017 Author of Handling Partial Failures in Distributed Reactive Programming within the REBELS-track in REBLS 2017 Committee Member in Program Committee within the SAVR-track
Todd Mytkowicz Microsoft Research Author of Static Stages for Heterogeneous Programming within the OOPSLA-track in SPLASH 2017
Hanspeter Mössenböck JKU Linz, Austria Austria Author of A Concurrency-Agnostic Protocol for Multi-Paradigm Concurrent Debugging Tools within the DLS 2017-track in DLS 2017 Author of A Principled Approach Towards Debugging Communicating Event-Loops within the AGERE 2017-track in AGERE 2017
Anders Møller Aarhus University Denmark Author of Type Test Scripts for TypeScript Testing within the OOPSLA-track in SPLASH 2017 Author of Practical Initialization Race Detection for JavaScript Web Applications within the OOPSLA-track in SPLASH 2017
Peter Müller ETH Zurich Switzerland Committee Member in External Program Committee within the SPLASH OOPSLA-track
Sarah Nadi University of Alberta Canada Committee Member in Program Committee within the GPCE-track Committee Member in Program Committee within the SPLASH OOPSLA-track
Mayur Naik University of Pennsylvania Speaker of Navigating the process of doing a rewarding Ph.D. within the PL Mentoring Workshop (PLMW)-track in SPLASH 2017 Author of Effective Interactive Resolution of Static Analysis Alarms within the OOPSLA-track in SPLASH 2017 Panelist of Panel: Industry & Academia within the PL Mentoring Workshop (PLMW)-track in SPLASH 2017 Speaker in PLMW Speakers within the SPLASH PL Mentoring Workshop (PLMW)-track
Shayan Najd University of Edinburgh United Kingdom Author of Embedding By Normalisation within the DSLDI 2017-track in DSLDI 2017
Tomoki Nakamaru University of Tokyo, Japan Japan Author of Silverchain: A Fluent API Generator within the GPCE 2017-track in GPCE 2017
Marco Nardes INPE - National Institute for Space Research Author of An Annotation-based API for Supporting Runtime Code Annotation Reading within the Meta 2017-track in META 2017
Roberto Natella Federico II University of Naples Italy Committee Member in Program Committee within the SEPS-track
Omar Navarro-Leija University of Pennsylvania, USA Author of Monadic Composition for Deterministic, Parallel Batch Processing within the OOPSLA-track in SPLASH 2017
Patrick Neubauer University of York, UK United Kingdom Author of Virtual Textual Model Composition for Supporting Versioning and Aspect-Orientation within the SLE-track in SLE 2017
Helmut Neukirchen University of Iceland Author of [Position paper] Facilitating Collaboration in High Performance Computing Projects with an Interaction Room within the SEPS 2017-track in SEPS 2017
Julie L. Newcomb University of California at Berkeley Author of IoTa: A Calculus for Internet of Things Automation within the Onward! Papers-track in Onward! 2017 Author of Iota: A Calculus for Internet of Things Automation within the Posters-track in SPLASH 2017
Ryan R. Newton Indiana University United States Author of Monadic Composition for Deterministic, Parallel Batch Processing within the OOPSLA-track in SPLASH 2017
Lisa Nguyen Quang Do Fraunhofer IEM Germany Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Hoan Anh Nguyen Iowa State University, USA Author of Exploiting Implicit Beliefs to Resolve Sparse Usage Problem in Usage-Based Specification Mining within the OOPSLA-track in SPLASH 2017
Tien N. Nguyen University of Texas at Dallas United States Author of Exploiting Implicit Beliefs to Resolve Sparse Usage Problem in Usage-Based Specification Mining within the OOPSLA-track in SPLASH 2017
Jens Nicolay Vrije Universiteit Brussel, Belgium Belgium Author of First-class Reactive Programs for CPS within the REBELS-track in REBLS 2017
Abel Nieto University of Waterloo Canada Author of Towards Algorithmic Typing for DOT (Short Paper) within the Scala 2017-track in Scala 2017
Borivoje Nikolic UC Berkeley Author of Preventing Babel: Rectifying the Trend of Programming Language Divergence within the PLATEAU 2017-track in PLATEAU 2017
Andy Nisbet The University of Manchester Author of Cross-ISA debugging in meta-circular VMs within the VMIL 2017-track in VMIL 2017
Jianwei Niu Author of Verifiable Reactive Software within the REBELS-track in REBLS 2017
Wode Ni Columbia University Author of Substance and Style: domain-specific languages for mathematical diagrams within the DSLDI 2017-track in DSLDI 2017
James Noble 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 Nogin HRL Laboratories, LLC United States Author of A Verified Messaging System within the OOPSLA-track in SPLASH 2017
Job Noorman KU Leuven Author of FRP IoT Modules as a Scala DSL within the REBELS-track in REBLS 2017
Aditya Nori Author of FairSquare: Probabilistic Verification of Program Fairness within the OOPSLA-track in SPLASH 2017
Nate Nystrom Author of Ivo functions forward and backward within the NOOL 2017-track in NOOL 2017 Author of A Scala Framework for Supercompilation within the Scala 2017-track in Scala 2017
Martin Odersky EPFL, Switzerland Switzerland Committee Member in Program Committee within the Scala-track Committee Member in Steering Committee within the Scala-track
Georg Ofenbeck ETH Zurich, Switzerland Author of Staging for Generic Programming in Space and Time within the GPCE 2017-track in GPCE 2017
Yoshiki Ohshima HARC / Y Combinator Research Japan Author of Kanto: A multi-participant screen-sharing system for Etoys, Snap! and GP within the PX/17.2-track in PX/17.2 Author of Shadama: A Particle Simulation Programming Environment for Everyone within the LIVE 2017-track in LIVE 2017 Committee Member in Program Committee within the PX/17.2-track Committee Member in Program Committee within the REBLS-track
Hakjoo Oh Korea University Korea, South Author of Data-Driven Context-Sensitivity for Points-to Analysis within the OOPSLA-track in SPLASH 2017 Author of Data-Driven Context-Sensitivity for Points-to Analysis within the Posters-track in SPLASH 2017 Author of Automatically Generating Features for Learning Program Analysis Heuristics for C-Like Languages within the Posters-track in SPLASH 2017 Author of Automatically Generating Features for Learning Program Analysis Heuristics for C-Like Languages within the OOPSLA-track in SPLASH 2017
Junpei Oishi University of Tsukuba, Japan Author of Staging with Control: Type-Safe Multi-stage Programming with Control Operators within the GPCE 2017-track in GPCE 2017
Leonid Oliker Lawrence Berkeley National Laboratory Author of Performance Analysis and Optimization of the RAMPAGE Metal Alloy Potential Generation Software within the SEPS 2017-track in SEPS 2017
Bruno C. d. S. Oliveira University of Hong Kong, China Hong Kong Author of Type-Safe Modular Parsing within the SLE-track in SLE 2017 Author of Unifying Typing and Subtyping within the OOPSLA-track in SPLASH 2017 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 Omar Carnegie Mellon University United States Session Chair of Runtime Reflection (part of META) Author of Toward a Live Stepper for Typed Expressions with Holes within the LIVE 2017-track in LIVE 2017 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
Stephen Oney University of Michigan Committee Member in Program Committee within the LIVE-track Committee Member in Program Committee within the PX/17.2-track
Nathalie Oostvogels Author of Dynamic Verification of Inter-parameter Constraints in Web Applications within the WODA 2017-track in WODA 2017 Author of Dynamic Verification of Inter-parameter Constraints in Web Applications within the Posters-track in SPLASH 2017
Jesper Oqvist Lund University Author of Concurrent Circular Reference Attribute Grammars within the SLE-track in SLE 2017 Author of Concurrent Circular Reference Attribute Grammars within the Posters-track in SPLASH 2017
Dominic Orchard University of Kent, UK United Kingdom Author of Verifying Spatial Properties of Array Computations within the OOPSLA-track in SPLASH 2017
Harold Ossher IBM Thomas J. Watson Research Center United States Author of Training and Tuning Machine-Learning Applications: A View from the Trenches within the SPLASH-I-track in SPLASH 2017
Leo Osvald Purdue University, USA Author of Rust-Like Borrowing with 2nd-Class Values (Short Paper) within the Scala 2017-track in Scala 2017
Guilherme Ottoni Facebook Author of HHVM: Efficient and Scalable PHP/Hack Execution within the SPLASH-I-track in SPLASH 2017
Piotr Padlewski Author of Devirtualization in LLVM within the Student Research Competition-track in SPLASH 2017
Oded Padon Tel Aviv University Israel Author of Paxos Made EPR: Decidable Reasoning about Distributed Protocols within the OOPSLA-track in SPLASH 2017
Richard Paige University of York Committee Member in Steering Committee within the SLE-track
Sreepathi Pai University of Rochester United States Author of Bounded Exhaustive Test-Input Generation on GPUs within the OOPSLA-track in SPLASH 2017
Zachary Palmer Swarthmore College United States Committee Member in Program Committee within the SPLASH -E-track
Jens Palsberg University of California, Los Angeles (UCLA) Session Chair of Session 1 (part of NJR) Author of NJR discussion; Needs, Requirements, Wishes within the NJR 2017-track in NJR 2017 Author of Welcome and Overview of NJR within the NJR 2017-track in NJR 2017 Committee Member in Organizing Committee within the NJR-track
Manolis Papadakis Stanford University, USA Greece Author of Seam: Provably Safe Local Edits on Graphs within the OOPSLA-track in SPLASH 2017
Nick Papoulias IRD, UPMC, France France Committee Member in Program Committee within the DLS-track
Matthew Parkinson Microsoft Research, UK United Kingdom Author of Project Snowflake: Non-blocking Safe Manual Memory Management for .NET within the OOPSLA-track in SPLASH 2017
Chris Parnin NCSU United States Author of One λ at a time: What do we know about presenting human-friendly output from program analysis tools? within the PLATEAU 2017-track in PLATEAU 2017 Author of (CER) 10+ Years of Teaching Software Engineering with iTrust: the Good, the Bad, and the Ugly within the SPLASH-E-track in SPLASH 2017
Lionel Parreaux EPFL Switzerland Author of Squid: Type-Safe, Hygienic, and Reusable Quasiquotes within the Scala 2017-track in Scala 2017 Author of Quoted Staged Rewriting: A Practical Approach to Library-Defined Optimizations within the GPCE 2017-track in GPCE 2017 Author of Quoted Staged Rewriting: a Practical Approach to Library-Defined Optimizations within the Posters-track in SPLASH 2017
Terence Parr University of San Francisco United States Committee Member in Program Committee within the SLE-track
Oscar Pastor Universitat Politècnica de València, Spain Author of Analyzing the Impact of Natural Language Processing over Feature Location in Models within the GPCE 2017-track in GPCE 2017
Karthik Pattabiraman University of British Columbia Author of SmartJS: Dynamic and Self-Adaptable Runtime Middleware for Next-Generation IoT Systems within the Posters-track in SPLASH 2017
David Pearce Victoria University of Wellington, New Zealand United Kingdom Author of Rewriting for Sound and Complete Union, Intersection and Negation Types within the GPCE 2017-track in GPCE 2017 Committee Member in Steering Committee within the SLE-track
Matan I. Peled Technion—Israel Institute of Technology Israel Author of Thapl—A Theatrical DSL within the DSLDI 2017-track in DSLDI 2017
Fernando Magno Quintão Pereira UFMG Brazil Author of Static Placement of Computation on Heterogeneous Devices within the OOPSLA-track in SPLASH 2017
Rui Pereira HASLab/INESC TEC & Universidade do Minho Author of Energy Efficiency across Programming Languages: How do Energy, Time, and Memory Relate? within the SLE-track in SLE 2017
Roly Perera University of Edinburgh, UK / University of Glasgow, UK United Kingdom Author of Integrating Debugging with Continuous Testing within the NOOL 2017-track in NOOL 2017 Committee Member in Program Committee within the LIVE-track Co-chair in Organizing Committee within the NOOL-track
Michael Perscheid Hasso Plattner Institute Committee Member in Program Committee within the PX/17.2-track
John Peter Campora III ULL Lafayette Author of Learning User Friendly Type-Error Messages within the OOPSLA-track in SPLASH 2017
Eric Petit Intel, France Committee Member in Program Committee within the SEPS-track
Erez Petrank Technion Israel Committee Member in Program Committee within the SPLASH OOPSLA-track
Marian Petre Committee Member in Program Committee within the Onward! Essays-track
Michael Philippsen Committee Member in Program Committee within the SEPS-track
Benjamin C. Pierce University of Pennsylvania United States Committee Member in Program Committee within the OCAP-track
Frank Piessens KU Leuven Author of FRP IoT Modules as a Scala DSL within the REBELS-track in REBLS 2017
Lee Pike Galois Committee Member in Program Committee within the DSLDI-track
Javier Pimás Palantir Solutions Argentina Author of Garbage Collection and Efficiency in Dynamic Metacircular Runtimes: An Experience Report within the DLS 2017-track in DLS 2017 Author of Metaphysics: Towards a Robust Framework for Remotely Working with Potentially Broken Objects and Runtimes within the Meta 2017-track in META 2017
Ruzica Piskac Yale University Author of An Auditing Language for Preventing Correlated Failures in the Cloud within the Posters-track in SPLASH 2017 Author of An Auditing Language for Preventing Correlated Failures in the Cloud within the OOPSLA-track in SPLASH 2017 Author of Synthesizing Configuration File Specifications with Association Rule Learning within the OOPSLA-track in SPLASH 2017
Filip Pizlo Apple United States Author of Invited talk: The JavaScriptCore Virtual Machine (joint with DLS 2017) within the VMIL 2017-track in VMIL 2017 Invited speaker of Invited talk: The JavaScriptCore Virtual Machine (joint with VMIL 2017) within the DLS 2017-track in DLS 2017
Gabriel Poesia Federal University of Minas Gerais, Brazil Author of Static Placement of Computation on Heterogeneous Devices within the OOPSLA-track in SPLASH 2017
Guillermo Polito CNRS Argentina Committee Member in Program Committee within the META-track
Joe Gibbs Politz University of California, San Diego United 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 Pollock University of Delaware, USA United States PLMW Co-Chair in Organizing Committee for SPLASH 2017 Speaker of Welcome and Greeting within the PL Mentoring Workshop (PLMW)-track in SPLASH 2017 PLMW Co-Chair in PLMW Organizing Committee within the SPLASH PL Mentoring Workshop (PLMW)-track
Justin Pombrio Brown University, USA United States Author of Can We Crowdsource Language Design? within the Onward! Papers-track in Onward! 2017
Sebastian Pop Samsung Research America Author of Performance Analysis and Optimization of C++ Standard Libraries within the SPLASH-I-track in SPLASH 2017
Jaroslav Porubän Technical University of Košice, Slovakia Committee Member in Program Committee within the SLE-track
Alex Potanin Victoria University of Wellington New Zealand Workshops Co-Chair in Organizing Committee for SPLASH 2017 Publications Chair in Organizing Committee for SPLASH 2017 Author of Usably Expressing and Enforcing Design in Wyvern within the NOOL 2017-track in NOOL 2017 Author of Capabilities and Effects within the OCAP 2017-track in OCAP 2017 Author of Using Object Capabilities and Effects to Build an Authority-Safe Module System within the OCAP 2017-track in OCAP 2017 Workshops Co-Chair in Organizing Committee within the SPLASH Workshops-track Co-chair in Organizing Committee within the NOOL-track
Michael Pradel TU Darmstadt Author of Detecting Argument Selection Defects within the OOPSLA-track in SPLASH 2017 Committee Member in Program Committee within the SPLASH Workshops-track
Aleksandar Prokopec Oracle Labs Switzerland Author of Encoding the building blocks of communication within the Onward! Papers-track in Onward! 2017 Author of Making Collection Operations Optimal with Aggressive JIT Compilation within the Scala 2017-track in Scala 2017 Committee Member in Program Committee within the AGERE-track
Arsène Pérard-Gayot Saarland University, Germany Author of RaTrace: Simple and Efficient Abstractions for BVH Ray Traversal Algorithms within the GPCE 2017-track in GPCE 2017
Markus Püschel ETH Zürich Switzerland Author of Staging for Generic Programming in Space and Time within the GPCE 2017-track in GPCE 2017 Committee Member in Program Committee within the GPCE-track
Xiaokang Qiu Purdue University United States Author of Natural Synthesis of Provably-Correct Data-Structure Manipulations within the OOPSLA-track in SPLASH 2017
Christoffer Quist Adamsen Aarhus University Denmark Author of Practical Initialization Race Detection for JavaScript Web Applications within the Posters-track in SPLASH 2017 Author of Practical Initialization Race Detection for JavaScript Web Applications within the OOPSLA-track in SPLASH 2017
Mohammad R. Azadmanesh Author of How Did the Failure Come to Be? within the CoCoS 2017-track in CoCoS 2017
Rodric Rabbah IBM Research Author of The Serverless Trilemma: Function Composition for Serverless Computing within the Onward! Papers-track in Onward! 2017
Jonathan Ragan-Kelley UC Berkeley United States Committee Member in Program Committee within the DSLDI-track
Muntasir Raihan Rahman Microsoft United States Author of Geo-Distribution of Actor-Based Services within the OOPSLA-track in SPLASH 2017
Hridesh Rajan Iowa State University United States Author of Order Types: Static Reasoning about Message Races in Asynchronous Message Passing Concurrency within the AGERE 2017-track in AGERE 2017 Author of Exploiting Implicit Beliefs to Resolve Sparse Usage Problem in Usage-Based Specification Mining within the OOPSLA-track in SPLASH 2017 Author of Bridging the Digital Divide in Data Science within the SPLASH-I-track in SPLASH 2017 Committee Member in Program Committee within the AGERE-track Committee Member in Organizing Committee within the VMIL-track
Rachel Ralph Center for Digital Media/UVic Canada Committee Member in Program Committee within the SAVR-track
Stefan Ramson Hasso Plattner Institute, Potsdam Author of Towards Concept-aware Programming Environments for Guiding Software Modularity within the PX/17.2-track in PX/17.2 Author of Living in your Programming Environment: Enabling Exploratory Programming for Productivity Tools within the PX/17.2-track in PX/17.2 Author of Designing a Live Development Experience for Web Components within the PX/17.2-track in PX/17.2
Marianna Rapoport University of Waterloo, Canada Canada Author of A Simple Soundness Proof for Dependent Object Types within the OOPSLA-track in SPLASH 2017 Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Derek Rayside University of Waterloo Committee Member in Program Committee within the Onward! Papers-track
Baishakhi Ray Committee Member in Program Committee within the Onward! Papers-track
Dwayne Reeves Facebook Keynote Speaker of The Hack Programming Language within the Scala 2017-track in Scala 2017
Alastair Reid Arm Ltd United Kingdom Author of Who Guards the Guards? Formal Validation of the ARM v8-M Architecture Specification within the OOPSLA-track in SPLASH 2017
Patrick Rein Hasso Plattner Institute Author of Towards Concept-aware Programming Environments for Guiding Software Modularity within the PX/17.2-track in PX/17.2 Author of Living in your Programming Environment: Enabling Exploratory Programming for Productivity Tools within the PX/17.2-track in PX/17.2 Author of Designing a Live Development Experience for Web Components within the PX/17.2-track in PX/17.2
Micha Reiser Hochschule für Technik Rapperswil Switzerland Author of Accelerate JavaScript Applications by Cross-Compiling to WebAssembly within the VMIL 2017-track in VMIL 2017
Thomas Reps University of Wisconsin - Madison and GrammaTech, Inc. United States Author of Model-Assisted Machine-Code Synthesis within the OOPSLA-track in SPLASH 2017
Bob Reynders imec-DistriNet, KU Leuven, Belgium Belgium Author of FRP IoT Modules as a Scala DSL within the REBELS-track in REBLS 2017
Márcio Ribeiro Federal University of Alagoas, Brazil Brazil Author of Avoiding Useless Mutants within the GPCE 2017-track in GPCE 2017 Committee Member in Program Committee within the GPCE-track Committee Member in External Program Committee within the SPLASH OOPSLA-track
Francisco Ribeiro HASLab/INESC TEC & Universidade do Minho Author of Energy Efficiency across Programming Languages: How do Energy, Time, and Memory Relate? within the SLE-track in SLE 2017
Alessandro Ricci University of Bologna, Italy Committee Member in Program Committee within the AGERE-track
Andrew Rice University of Cambridge, UK Author of Verifying Spatial Properties of Array Computations within the OOPSLA-track in SPLASH 2017 Author of Detecting Argument Selection Defects within the OOPSLA-track in SPLASH 2017
Gregor Richards University of Waterloo Canada Session Chair of Language Design (part of SPLASH OOPSLA) Session Chair of Optimizing Compilation and Verification (part of SPLASH OOPSLA) Author of The VM Already Knew That: Leveraging Compile-Time Knowledge to Optimize Gradual Typing within the OOPSLA-track in SPLASH 2017 Committee Member in Program Committee within the SPLASH OOPSLA-track
Bernhard Riecke Simon Fraser University Canada Committee Member in Program Committee within the SAVR-track
Morris Riedel Jülich Supercomputing Centre Author of [Position paper] Facilitating Collaboration in High Performance Computing Projects with an Interaction Room within the SEPS 2017-track in SEPS 2017
Felix Rieger Philipps-Universität Marburg Author of Survey of Approaches for Assessing Software Energy Consumption within the CoCoS 2017-track in CoCoS 2017
David Riegner The Ohio State University Author of Performance Analysis and Optimization of the RAMPAGE Metal Alloy Potential Generation Software within the SEPS 2017-track in SEPS 2017
Dirk Riehle Committee Member in Program Committee within the Onward! Essays-track
Michael Ries facilityBoss GmbH Author of Towards Complete Consistency Checks of Clafer Models within the FOSD 2017-track in FOSD 2017
Martin Rinard Massachusetts Institute of Technology United States Author of Robust Programs with Filtered Iterators within the SLE-track in SLE 2017
Jan Oliver Ringert Tel Aviv University Germany Committee Member in Program Committee within the SLE-track
Talia Ringer University of Washington United States Author of A Solver-Aided Language for Test Input Generation within the OOPSLA-track in SPLASH 2017
Norman A. Rink TU Dresden, Germany Author of Towards Compositional and Generative Tensor Optimizations within the GPCE 2017-track in GPCE 2017
Romain Robbes Free University of Bozen-Bolzano Italy Committee Member in Program Committee within the SPLASH OOPSLA-track
Matthew Roberts Macquarie University Committee Member in Artifact Evaluation Committee within the SLE-track
Marshall Roch Facebook, USA Author of Fast and Precise Type Checking for JavaScript within the OOPSLA-track in SPLASH 2017
Humberto Rodriguez Avila Vrije Universiteit Brussel Belgium Author of Sparrow - A DSL for Coordinating Large Groups of Heterogeneous Actors within the AGERE 2017-track in AGERE 2017
Tiark Rompf Purdue University United States Author of Rust-Like Borrowing with 2nd-Class Values (Short Paper) within the Scala 2017-track in Scala 2017 Author of Staging for Generic Programming in Space and Time within the GPCE 2017-track in GPCE 2017 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 Rosales University of Lugano, Switzerland Author of Accurate Reification of Complete Supertype Information for Dynamic Analysis on the JVM within the GPCE 2017-track in GPCE 2017
Andrea Rosà University of Lugano, Switzerland Switzerland Author of Accurate Reification of Complete Supertype Information for Dynamic Analysis on the JVM within the GPCE 2017-track in GPCE 2017
Philip C. Roth Oak Ridge National Laboratory Author of Performance Analysis and Optimization of the RAMPAGE Metal Alloy Potential Generation Software within the SEPS 2017-track in SEPS 2017
Suman Roychoudhury Tata Consultancy Services Research Author of A Domain-Specific Controlled English Language for Automated Regulatory Compliance within the SLE-track in SLE 2017 Author of A Domain-Specific Controlled English Language for Automated Regulatory Compliance within the Posters-track in SPLASH 2017
Thorben Roßenbeck University of Duisburg-Essen, Germany Author of What's the Effect of Projectional Editors for Creating Words For Unknown Languages? A Controlled Experiment within the PLATEAU 2017-track in PLATEAU 2017
Rui Rua HASLab/INESC TEC & Universidade do Minho Author of Energy Efficiency across Programming Languages: How do Energy, Time, and Memory Relate? within the SLE-track in SLE 2017
Julia Rubin University of British Columbia Canada Keynote Speaker of FOSD Keynote: Managing Features in Cloned Variants within the FOSD 2017-track in FOSD 2017 Panelist of Panel: Industry & Academia within the PL Mentoring Workshop (PLMW)-track in SPLASH 2017 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 Rugaber Georgia Institute of Technology Author of DSL Design for Reinforcement Learning Agents within the DSLDI 2017-track in DSLDI 2017
Bernhard Rumpe RWTH Aachen University, Germany Germany Session Chair of Grammars (part of SLE) Author of Opening within the SLE-track in SLE 2017 Author of Awards within the SLE-track in SLE 2017 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 Ryder Virginia Tech United States PLMW Co-Chair in Organizing Committee for SPLASH 2017 Speaker of Welcome and Greeting within the PL Mentoring Workshop (PLMW)-track in SPLASH 2017 PLMW Co-Chair in PLMW Organizing Committee within the SPLASH PL Mentoring Workshop (PLMW)-track
Sukyoung Ryu KAIST Korea, South Committee Member in Program Committee within the DLS-track Committee Member in External Program Committee within the SPLASH OOPSLA-track
Gunter Saake University of Magdeburg, Germany Author of How Preprocessor Annotations (Do Not) Affect Maintainability: A Case Study on Change-Proneness within the GPCE 2017-track in GPCE 2017
Farshad Saeidi Iran Author of Programmable Aspect (Canceled) within the Meta 2017-track in META 2017
Mooly Sagiv Tel Aviv University Author of Paxos Made EPR: Decidable Reasoning about Distributed Protocols within the OOPSLA-track in SPLASH 2017
Vaibhav Saini University of California at Irvine, USA Author of DéjàVu: A Map of Code Duplicates on GitHub within the OOPSLA-track in SPLASH 2017
Hitesh Sajnani Microsoft Author of DéjàVu: A Map of Code Duplicates on GitHub within the OOPSLA-track in SPLASH 2017
Laith Sakka Purdue University United States Author of TreeFuser: A Framework for Analyzing and Fusing General Recursive Tree Traversals within the OOPSLA-track in SPLASH 2017
Guido Salvaneschi 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 Sampson Cornell University United States Session Chair of New Languages (part of Onward! Papers) Author of Static Stages for Heterogeneous Programming within the OOPSLA-track in SPLASH 2017 Committee Member in Program Committee within the Onward! Papers-track
Farzad Sanati American University of Iraq, Sulaimani, Sulaimani Author of Programmable Aspect (Canceled) within the Meta 2017-track in META 2017
Francisco Sant'Anna Rio de Janeiro State University Brazil Committee Member in Program Committee within the REBLS-track
Mark Santolucito Yale University Author of Synthesizing Configuration File Specifications with Association Rule Learning within the Posters-track in SPLASH 2017 Author of Synthesizing Configuration File Specifications with Association Rule Learning within the OOPSLA-track in SPLASH 2017
Andre Santos Author of Avoiding Useless Mutants within the GPCE 2017-track in GPCE 2017
João Saraiva University of Minho, Portugal Author of Energy Efficiency across Programming Languages: How do Energy, Time, and Memory Relate? within the SLE-track in SLE 2017
Vivek Sarkar Rice University, USA United States Author of Deadlock Avoidance in Parallel Programs with Futures: Why Parallel Tasks Should Not Wait for Strangers within the OOPSLA-track in SPLASH 2017
Jennifer B. Sartor Vrije Universiteit Brussel Belgium 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) Presenter of Student Awards within the Keynotes-track in SPLASH 2017 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 Sasso Università della Svizzera Italiana Author of Sympathy for the Devil: Reified Collection of Runtime Errors within the PLATEAU 2017-track in PLATEAU 2017
Annabel Satin P.C.K. Treasurer & Conference Manager in Organizing Committee for SPLASH 2017
Yukinori Sato Tokyo Institute of Technology Japan Session Chair of Session 1 (part of SEPS) Session Chair of Session 4 (part of SEPS) Panel organizer of Panel discussions: "Open source software and tools for engineering parallel software" within the SEPS 2017-track in SEPS 2017 Committee Member in Organizing Committee within the SEPS-track
Michael Satzinger University of Baltimore Author of (CSES) Assessing the Usability of a Novel System for Programming Education within the SPLASH-E-track in SPLASH 2017
Max Schaefer Semmle United Kingdom Committee Member in Program Committee within the Onward! Papers-track
Ina Schaefer Technische Universität Braunschweig Germany Session Chair of Variability (part of GPCE) Author of Towards a Development Process for Maturing Delta-Oriented Software Product Lines within the FOSD 2017-track in FOSD 2017 Author of Automated Recommendations for Reducing Unnecessary Variability of Technology Architectures within the FOSD 2017-track in FOSD 2017 Committee Member in Program Committee within the GPCE-track Committee Member in Steering Committee within the GPCE-track
Simon Schauss University of Koblenz-Landau Germany Author of A Chrestomathy of DSL implementations within the SLE-track in SLE 2017
Cole Schlesinger Samsung Research America Author of IoTa: A Calculus for Internet of Things Automation within the Onward! Papers-track in Onward! 2017
Thomas Schmidt Committee Member in Program Committee within the AGERE-track
Thomas C. Schmidt HAW Hamburg Author of Locality-Guided Scheduling in CAF within the AGERE 2017-track in AGERE 2017
Christophe Scholliers Universiteit Gent, Belgium Author of Handling Partial Failures in Distributed Reactive Programming within the REBELS-track in REBLS 2017 Author of A Principled Approach Towards Debugging Communicating Event-Loops within the AGERE 2017-track in AGERE 2017
Ulrik Schultz University of Southern Denmark Author of Can Some Programming Languages Be Considered Harmful? within the PLATEAU 2017-track in PLATEAU 2017 Committee Member in Steering Committee within the GPCE-track
Sandro Schulze University of Magdeburg, Germany Germany Author of How Preprocessor Annotations (Do Not) Affect Maintainability: A Case Study on Change-Proneness within the GPCE 2017-track in GPCE 2017 Committee Member in Program Committee within the FOSD-track Committee Member in Program Committee within the GPCE-track
Stefan Schulz Philipps-Universität Marburg Germany Chair in Publicity within the CoCoS-track
Philipp Schuster University of Tübingen Author of Effekt: Extensible Algebraic Effects in Scala (Short Paper) within the Scala 2017-track in Scala 2017
Sven Schuster TU Braunschweig, Germany Author of Towards a Development Process for Maturing Delta-Oriented Software Product Lines within the FOSD 2017-track in FOSD 2017
Daniel Schwartz-Narbonne Amazon, n.n. Author of A Solver-Aided Language for Test Input Generation within the OOPSLA-track in SPLASH 2017
Andy Schürr TU Darmstadt Author of Towards Complete Consistency Checks of Clafer Models within the FOSD 2017-track in FOSD 2017
Ryan Scott Indiana University United States Author of Monadic Composition for Deterministic, Parallel Batch Processing within the OOPSLA-track in SPLASH 2017
Chris Seaton Oracle Labs United Kingdom Committee Member in Program Committee within the DLS-track
Yasaman Sefidgar University of Washington Author of Programming Robot Manipulators with Tangible Blocks within the PLATEAU 2017-track in PLATEAU 2017
Eric Seidel University of California at San Diego, USA United States Author of Learning to Blame: Localizing Novice Type Errors with Data-Driven Diagnosis within the OOPSLA-track in SPLASH 2017
Ed Seidewitz nMeta LLC Author of Tool Demonstration: A development environment for the Alf language within the MagicDraw UML tool within the SLE-track in SLE 2017
Christoph Seidl Technische Universität Braunschweig Author of Towards a Development Process for Maturing Delta-Oriented Software Product Lines within the FOSD 2017-track in FOSD 2017 Author of Automated Recommendations for Reducing Unnecessary Variability of Technology Architectures within the FOSD 2017-track in FOSD 2017 Committee Member in Program Committee within the FOSD-track
Ilya Sergey University College London United Kingdom Committee Member in Program Committee within the SPLASH Workshops-track Committee Member in Program Committee within the Scala-track
Manuel Serrano Inria, France Session Chair of Session 2 (part of DLS) Author of Hop.js: JavaScript Multitier Programming ⭐️ within the Meta 2017-track in META 2017 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 Servetto Victoria University of Wellington Committee Member in External Program Committee within the SPLASH OOPSLA-track
Vivek Shah University of Copenhagen, Denmark Author of Geo-Distribution of Actor-Based Services within the OOPSLA-track in SPLASH 2017
Amir Shaikhha EPFL Author of Squid: Type-Safe, Hygienic, and Reusable Quasiquotes within the Scala 2017-track in Scala 2017 Author of Quoted Staged Rewriting: A Practical Approach to Library-Defined Optimizations within the GPCE 2017-track in GPCE 2017
Hongzhang Shan Lawrence Berkeley National Laboratory Author of Performance Analysis and Optimization of the RAMPAGE Metal Alloy Potential Generation Software within the SEPS 2017-track in SEPS 2017
Ehud Sharlin University of Calgary Canada Committee Member in Program Committee within the SAVR-track
Rahul Sharma Microsoft Research India Author of Seam: Provably Safe Local Edits on Graphs within the OOPSLA-track in SPLASH 2017
Mary Shaw Carnegie Mellon University Author of Panel: How can our publication models best serve our research? within the Onward! Essays-track in Onward! 2017
Xipeng Shen North Carolina State University United States Author of GLORE: Generalized Loop Redundancy Elimination upon LER-Notation within the OOPSLA-track in SPLASH 2017
Jiasi Shen Massachusetts Institute of Technology Author of Robust Programs with Filtered Iterators within the SLE-track in SLE 2017 Author of Robust Programs with Filtered Iterators within the Posters-track in SPLASH 2017
Kazuhiro Shibanai Tokyo Institute of Technology Author of Actoverse: A Reversible Debugger for Actors within the AGERE 2017-track in AGERE 2017
Aaron Shim Microsoft, USA Author of Synthesizing Configuration File Specifications with Association Rule Learning within the OOPSLA-track in SPLASH 2017
Avraham Shinnar IBM Research Author of Generating Chat Bots from Web API Specifications within the Onward! Papers-track in Onward! 2017
Yangqingwei Shi Peking University Author of Using Object Capabilities and Effects to Build an Authority-Safe Module System within the OCAP 2017-track in OCAP 2017
Sharon Shoham Tel Aviv university Israel Author of Paxos Made EPR: Decidable Reasoning about Distributed Protocols within the OOPSLA-track in SPLASH 2017
Tatiana Shpeisman Intel Labs United States Committee Member in External Program Committee within the SPLASH OOPSLA-track
Huma Sibghat University of California at San Diego, USA Author of Learning to Blame: Localizing Novice Type Errors with Data-Driven Diagnosis within the OOPSLA-track in SPLASH 2017
Jeremy G. Siek Indiana University, USA United States Invited speaker of Invited talk: Challenges and Progress Toward Efficient Gradual Typing within the DLS 2017-track in DLS 2017 Author of Sound Gradual Typing: Only Mostly Dead within the OOPSLA-track in SPLASH 2017
Bruno Silvestre Author of Decoding Lua: Formal Semantics for the Developer and the Semanticist within the DLS 2017-track in DLS 2017
Jerome Simeon IBM Research United States Author of Generating Chat Bots from Web API Specifications within the Onward! Papers-track in Onward! 2017
Jocelyn Simmonds University of Chile Chile Co-chair in Organizing Committee within the FOSD-track
Christopher Simpkins Georgia Institute of Technology Author of DSL Design for Reinforcement Learning Agents within the DSLDI 2017-track in DSLDI 2017
Corbin Simpson Matador Cloud LLC Author of Monte: A Spiritual Successor to E within the OCAP 2017-track in OCAP 2017
Rishabh Singh Microsoft Research United States Author of Synthesis of Data Completion Scripts using Finite Tree Automata within the OOPSLA-track in SPLASH 2017
Satnam Singh Facebook SIGPLAN Awards Chair of SIGPLAN Awards within the Keynotes-track in SPLASH 2017
John L. Singleton University of Central Florida United States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Marjan Sirjani Committee Member in Program Committee within the AGERE-track
Xujie Si University of Pennsylvania Author of Effective Interactive Resolution of Static Analysis Alarms within the OOPSLA-track in SPLASH 2017
Anthony Sloane Macquarie University Australia Session Chair of Types (part of Scala) Session Chair of Textual Models (part of SLE) Session Chair of DSLs (part of GPCE) Author of ScalaSMT: Satisfiability Modulo Theory in Scala (Tool Paper) within the Scala 2017-track in Scala 2017 Author of A Formalisation of Parameterised Reference Attribute Grammars within the SLE-track in SLE 2017 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 Slusallek DFKI, Germany Author of RaTrace: Simple and Efficient Abstractions for BVH Ray Traversal Algorithms within the GPCE 2017-track in GPCE 2017
Yannis Smaragdakis University of Athens OOPSLA 2016 PC Chair in Steering Committee for SPLASH 2017 Panelist of Panel Discussion: Security in OO languages within the NOOL 2017-track in NOOL 2017 Author of Benchmarking for Program Analysis within the NJR 2017-track in NJR 2017 Speaker of Why do a Ph.D. and how to pick an area? within the PL Mentoring Workshop (PLMW)-track in SPLASH 2017 Presenter of SIGPLAN Town Hall within the Keynotes-track in SPLASH 2017 Author of Heaps Don't Lie: Countering Unsoundness with Heap Snapshots within the OOPSLA-track in SPLASH 2017 Author of P/Taint: Unified Points-to and Taint Analysis within the OOPSLA-track in SPLASH 2017 Author of OOPSLA Overview & OOPSLA 10-Year Most Influential Paper Award within the Keynotes-track in SPLASH 2017 Speaker in PLMW Speakers within the SPLASH PL Mentoring Workshop (PLMW)-track
Karl Smeltzer Oregon State University Author of Variational Lists: Comparisons and Design Guidelines within the FOSD 2017-track in FOSD 2017
Edward Smith Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Peter Smith ACL (Principal Software Engineer) Local Arrangements Chair in Organizing Committee for SPLASH 2017
Justin Smith North Carolina State University United States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Jeff Smits Delft University of Technology, Netherlands Netherlands Author of FlowSpec: Declarative Dataflow Analysis Specification within the SLE-track in SLE 2017
Gustavo Soares Microsoft United States Session Chair of Tools and Environments (part of PLATEAU) Committee Member in Organizing Committee within the PLATEAU-track
Armando Solar-Lezama MIT CSAIL United States Author of Incremental Parametric Syntax for Multi-Language Transformation within the Posters-track in SPLASH 2017 Author of QuixBugs: A Multi-Lingual Program Repair Benchmark Set Based on the Quixey Challenge within the Posters-track in SPLASH 2017 Author of Natural Synthesis of Provably-Correct Data-Structure Manipulations within the OOPSLA-track in SPLASH 2017
Mallku Ernesto Soldevila Raffa FAMAF, UNC / CONICET Argentina Author of Decoding Lua: Formal Semantics for the Developer and the Semanticist within the DLS 2017-track in DLS 2017 Author of Decoding Lua: Formal Semantics for the Developer and the Semanticist within the Posters-track in SPLASH 2017
Yang Song University of North Carolina Wilmington Author of (CSES) Open-Source Sofware in Class: Students’ Common Mistakes within the SPLASH-E-track in SPLASH 2017
Andrew Sorensen Australian National University Author of Systems Level Liveness with AnonSystem within the Onward! Papers-track in Onward! 2017 Author of Systems Level Liveness with Extempore within the Posters-track in SPLASH 2017
Vasco Sousa University of Montreal Committee Member in Artifact Evaluation Committee within the SLE-track
Pieter Spronck Tilburg University Author of Metacasanova: An Optimized Meta-compiler for Domain-Specific Languages within the SLE-track in SLE 2017
Johannes Späth Fraunhofer IEM Germany Author of IDEal: Efficient and Precise Alias-Aware Dataflow Analysis within the OOPSLA-track in SPLASH 2017 Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Sarat Sreepathi Oak Ridge National Laboratory Author of Performance Analysis and Optimization of the RAMPAGE Metal Alloy Potential Generation Software within the SEPS 2017-track in SEPS 2017
Manu Sridharan Uber Author of IoTa: A Calculus for Internet of Things Automation within the Onward! Papers-track in Onward! 2017
Venkatesh Srinivasan University of Wisconsin - Madison India Author of Model-Assisted Machine-Code Synthesis within the OOPSLA-track in SPLASH 2017
Witawas Srisa-an University of Nebraska-Lincoln United States Committee Member in Organizing Committee within the VMIL-track
Vincent St-Amour Northwestern University, USA United States Committee Member in Program Committee within the DSLDI-track Committee Member in Program Committee within the GPCE-track
Trevor Standley Stanford Author of Infra: Structure All the Way Down - Structured Data as a Visual Programming Language within the Onward! Papers-track in Onward! 2017
Guy L. Steele Jr. Oracle Labs United States Steering Committee Member in Steering Committee for Onward! 2017
Friedrich Steimann Fernuniversität Author of Replacing Phrase Structure Grammar with Dependency Grammar in the Design and Implementation of Programming Languages within the Onward! Papers-track in Onward! 2017 Author of Robust Projectional Editing within the SLE-track in SLE 2017
Michael J. Steindorfer Delft University of Technology Author of Deep Priority Conflicts in the Wild: A Pilot Study within the SLE-track in SLE 2017
Michael Steindorfer Delft University of Technology, Netherlands Author of Declarative Disambiguation with Contextual Scoping within the Parsing@SLE 2017-track in Parsing@SLE 2017 Author of A Modular SGLR Parsing Architecture for Systematic Performance Optimization within the Parsing@SLE 2017-track in Parsing@SLE 2017
Katerina Stepanova Simon Fraser University Canada Committee Member in Program Committee within the SAVR-track
Jon Stephens Author of Constructing Dynamic Control Flow Graphs from Execution Traces within the WODA 2017-track in WODA 2017
Marc Stiegler Committee Member in Program Committee within the OCAP-track
Mats Stijlaart Universiteit van Amsterdam Author of Towards a Taxonomy of Grammar Smells within the SLE-track in SLE 2017
Jörg Stiller TU Dresden, Germany Author of Towards Compositional and Generative Tensor Optimizations within the GPCE 2017-track in GPCE 2017
Quentin Stiévenart Vrije Universiteit Brussel, Belgium Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Kathryn Stolee North Carolina State University United States Author of (CER) 10+ Years of Teaching Software Engineering with iTrust: the Good, the Bad, and the Ugly within the SPLASH-E-track in SPLASH 2017 Panelist of Panel of new Ph.D.s within the PL Mentoring Workshop (PLMW)-track in SPLASH 2017 Speaker in PLMW Speakers within the SPLASH PL Mentoring Workshop (PLMW)-track
Malcolm Stone Author of Integrating Debugging with Continuous Testing within the NOOL 2017-track in NOOL 2017
Eleni Stroulia University of Alberta Canada Session Chair of Optimization & Networks (part of SPLASH -I) Author of Smart Condo: IoT for Social Good within the SPLASH-I-track in SPLASH 2017
Daniel Strüber University of Koblenz-Landau, Germany Germany Committee Member in Artifact Evaluation Committee within the SLE-track Committee Member in Program Committee within the CoCoS-track
Sandro Stucki EPFL Switzerland Committee Member in Steering Committee within the Scala-track
Wolfgang Stuerzlinger Simon Fraser University Canada Committee Member in Program Committee within the SAVR-track
Kevin Sullivan Steering Committee Member in Steering Committee for Onward! 2017
Matúš Sulír Technical University of Košice Slovakia Committee Member in Artifact Evaluation Committee within the SLE-track
Alexander J. Summers ETH Zurich Committee Member in Program Committee within the SPLASH Workshops-track Committee Member in External Program Committee within the SPLASH OOPSLA-track
Nick Sumner Simon Fraser University Committee Member in Program Committee within the SPLASH Workshops-track
Kirshanthan Sundararajah Purdue University United States Author of TreeFuser: A Framework for Analyzing and Fusing General Recursive Tree Traversals within the OOPSLA-track in SPLASH 2017
Sagar Sunkle Tata Consultancy Services Research Author of A Domain-Specific Controlled English Language for Automated Regulatory Compliance within the SLE-track in SLE 2017
Joshua Sunshine Carnegie Mellon University Session Chair of Tools (part of SPLASH OOPSLA) Session Chair of Language, DSL, and Feature Design (part of PLATEAU) Author of Substance and Style: domain-specific languages for mathematical diagrams within the DSLDI 2017-track in DSLDI 2017 Author of A User Study to Inform the Design of the Obsidian Blockchain DSL within the PLATEAU 2017-track in PLATEAU 2017 Committee Member in Organizing Committee within the PLATEAU-track Committee Member in Program Committee within the SPLASH OOPSLA-track
Zehra Sura IBM Research United States Committee Member in Program Committee within the DLS-track
Rishi Surendran Rice University, USA Author of Deadlock Avoidance in Parallel Programs with Futures: Why Parallel Tasks Should Not Wait for Strangers within the OOPSLA-track in SPLASH 2017
Adilla Susungi MINES ParisTech, France Author of Towards Compositional and Generative Tensor Optimizations within the GPCE 2017-track in GPCE 2017 Author of Towards Compositional and Generative Tensor Optimizations within the Posters-track in SPLASH 2017
Philippe Suter Two Sigma Switzerland Author of The Serverless Trilemma: Function Composition for Serverless Computing within the Onward! Papers-track in Onward! 2017 Committee Member in Program Committee within the Scala-track
Ana Maria Sutii Eindhoven University of Technology Committee Member in Artifact Evaluation Committee within the SLE-track
Janwillem Swalens Vrije Universiteit Brussel, Belgium Belgium Author of Transactional Actors: Communication in Transactions within the SEPS 2017-track in SEPS 2017 Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
David Swasey MPI-SWS, Germany Author of Robust and Compositional Verification of Object Capability Patterns within the OOPSLA-track in SPLASH 2017
Colin Swindells Immersion Corporation United States Committee Member in Program Committee within the SAVR-track
Eugene Syriani University of Montreal Canada Author of Comparison of the Expressiveness and Performance of Template-Based Code Generation Tools within the SLE-track in SLE 2017 Author of Comparison of the Expressiveness and Performance of Template-Based Code Generation Tools within the Posters-track in SPLASH 2017 Committee Member in Program Committee within the SLE-track
Adriana Szekeres University of Washington, USA Author of Geo-Distribution of Actor-Based Services within the OOPSLA-track in SPLASH 2017
Emma Söderberg Google Denmark Committee Member in Program Committee within the SLE-track Committee Member in Program Committee within the PLATEAU-track
Claude Tadonki MINES ParisTech, France Author of Towards Compositional and Generative Tensor Optimizations within the GPCE 2017-track in GPCE 2017
Marcel Taeumel Hasso Plattner Institute Germany Author of Designing a Live Development Experience for Web Components within the PX/17.2-track in PX/17.2 Committee Member in Program Committee within the PX/17.2-track
Steven Tanimoto University of Washington, Seattle United States Keynote Speaker of [Keynote] Shaping the Programming Experiences of Students: Reflections on a Course on Game Design for Problem Solving within the PX/17.2-track in PX/17.2 Committee Member in Program Committee within the PX/17.2-track
Éric Tanter University of Chile Chile Committee Member in External Program Committee within the SPLASH OOPSLA-track
Olivier Tardieu IBM Research France Author of The Serverless Trilemma: Function Composition for Serverless Computing within the Onward! Papers-track in Onward! 2017 Committee Member in Program Committee within the REBLS-track
Serdar Tasiran Amazon, n.n. Author of A Solver-Aided Language for Test Input Generation within the OOPSLA-track in SPLASH 2017
Ross Tate Cornell University United States Author of Sound Gradual Typing Is Nominally Alive and Well within the OOPSLA-track in SPLASH 2017
Zachary Tatlock University of Washington United 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
Leopoldo Teixeira Federal University of Pernambuco Brazil Committee Member in Program Committee within the FOSD-track
Ewan Tempero Committee Member in External Program Committee within the SPLASH OOPSLA-track
William M. Temple University of Colorado Boulder United States Author of (CSES) Peer Review in Cybersecurity Education within the SPLASH-E-track in SPLASH 2017
Jorgen Thelin Microsoft Research, Redmond United States Author of Geo-Distribution of Actor-Based Services within the OOPSLA-track in SPLASH 2017
Peter Thiemann 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 Thomson Imperial College London Author of Automated Testing of Graphics Shader Compilers within the OOPSLA-track in SPLASH 2017
Thomas Thüm TU Braunschweig, Germany Germany Committee Member in Program Committee within the FOSD-track Committee Member in Program Committee within the GPCE-track
Nikolai Tillmann Microsoft Committee Member in Steering Committee within the CHESE-track
Michael Tingley Author of Towards PPL: Extending Coroutines in Hack to Enable Probabilistic Programming within the SPLASH-I-track in SPLASH 2017
Frank Tip Northeastern University United States Author of Practical Initialization Race Detection for JavaScript Web Applications within the OOPSLA-track in SPLASH 2017 Author of A Model for Reasoning about JavaScript Promises within the OOPSLA-track in SPLASH 2017 Committee Member in Program Committee within the Scala-track
Ben L. Titzer Google Committee Member in Program Committee within the VMIL-track
Sam Tobin-Hochstadt Indiana University United States Artifact Evaluation Co-Chair in Organizing Committee for SPLASH 2017 Session Chair of Usability and Performance (part of Onward! Papers) Author of Sound Gradual Typing: Only Mostly Dead within the OOPSLA-track in SPLASH 2017 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 Toliver Toda Canada Committee Member in Program Committee within the NOOL-track
Emina Torlak University of Washington United 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! PC Chair of Onward! Program Chairs' Report within the Keynotes-track in SPLASH 2017 Program Chair in Program Committee within the Onward! Papers-track
Massimo Torquati Computer Science Department - University of Pisa Committee Member in Program Committee within the SEPS-track
Carmen Torres Lopez Author of A Concurrency-Agnostic Protocol for Multi-Paradigm Concurrent Debugging Tools within the DLS 2017-track in DLS 2017 Author of A Principled Approach Towards Debugging Communicating Event-Loops within the AGERE 2017-track in AGERE 2017 Author of Advanced Debugging Techniques to Identify Concurrency Bugs in Actor-based Programs within the Doctoral Symposium-track in SPLASH 2017
Laurence Tratt King's College London United Kingdom Author of Awards within the SLE-track in SLE 2017 Author of Virtual Machine Warmup Blows Hot and Cold within the OOPSLA-track in SPLASH 2017 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 Tribble Deluxe Corporation Committee Member in Program Committee within the OCAP-track
Nikolaos Tsantalis Concordia University, Canada Canada Author of Understanding the Use of Lambda Expressions in Java within the OOPSLA-track in SPLASH 2017
Bill Tulloh eRights.org United States Committee Member in Organizing Committee within the OCAP-track
Alexi Turcotte University of Waterloo Canada Author of The VM Already Knew That: Leveraging Compile-Time Knowledge to Optimize Gradual Typing within the OOPSLA-track in SPLASH 2017
Aybuke Gul Turker University of Wisconsin - Madison United States Author of (CSES) Applied and Adaptive Curriculum in Introductory to Computer Science Courses for Success in Diverse Student Groups within the SPLASH-E-track in SPLASH 2017
Liron Türk University of Duisburg-Essen, Germany Author of What's the Effect of Projectional Editors for Creating Words For Unknown Languages? A Controlled Experiment within the PLATEAU 2017-track in PLATEAU 2017
Tomoharu Ugawa Kochi University of Technology, Japan Japan Author of Model Checking Copy Phases of Concurrent Copying Garbage Collection with Various Memory Models within the OOPSLA-track in SPLASH 2017
David Ungar Apple, Inc, United States Author of Dynamic Atomicity: Optimizing Swift memory management within the DLS 2017-track in DLS 2017 Author of Invited Talk: From PhD to Fossil: of choice and context, technical and personal within the Doctoral Symposium-track in SPLASH 2017 Committee Member in Invited Talks within the SPLASH Doctoral Symposium-track
Ganesha Upadhyaya Iowa State University United States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Sébastien Valat CERN France Session Chair of Session 3: Software concurrency and heterogeneity (part of SEPS) Author of MALT, A Malloc Tracker within the SEPS 2017-track in SEPS 2017
Gustavo Vale University of Passau Author of Feature Oriented Programming in Groovy within the FOSD 2017-track in FOSD 2017
Tom Van Cutsem Nokia Bell Labs Belgium Committee Member in Program Committee within the META-track Committee Member in Program Committee within the SPLASH OOPSLA-track
Michael Van De Vanter Oracle Labs United States Chair in Program Committee within the CoCoS-track Committee Member in Organizing Committee within the CoCoS-track
Simon Van Mierlo University of Antwerp Author of Concrete Syntax: A Multi-paradigm Modelling Approach within the SLE-track in SLE 2017
Yentl Van Tendeloo University of Antwerp Author of Concrete Syntax: A Multi-paradigm Modelling Approach within the SLE-track in SLE 2017
Eric Van Wyk University of Minnesota, USA United 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) Author of Parsing extensible type qualifiers in ableC within the Parsing@SLE 2017-track in Parsing@SLE 2017 Author of Welcome within the Parsing@SLE 2017-track in Parsing@SLE 2017 Author of Reliable composition of domain-specific language features within the DSLDI 2017-track in DSLDI 2017 Author of Type Qualifiers as Composable Language Extensions within the GPCE 2017-track in GPCE 2017 Author of Ensuring Non-interference of Composable Language Extensions within the SLE-track in SLE 2017 Author of Reliable and Automatic Composition of Language Extensions to C within the OOPSLA-track in SPLASH 2017 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
Sam Van den Vonder Author of Tackling the Awkward Squad for Reactive Programming: The Actor-Reactor Model within the REBELS-track in REBLS 2017
Hans Vangheluwe University of Antwerp and McGill University Belgium Author of Concrete Syntax: A Multi-paradigm Modelling Approach within the SLE-track in SLE 2017
Ara Vartanian University of Wisconsin-Madison, USA Author of Model-Assisted Machine-Code Synthesis within the OOPSLA-track in SPLASH 2017
Vasco T. Vasconcelos University of Lisbon, Portugal Author of Deadlock Avoidance in Parallel Programs with Futures: Why Parallel Tasks Should Not Wait for Strangers within the OOPSLA-track in SPLASH 2017
Kapil Vaswani Microsoft Research Author of Project Snowflake: Non-blocking Safe Manual Memory Management for .NET within the OOPSLA-track in SPLASH 2017
Mandana Vaziri IBM Research Author of Generating Chat Bots from Web API Specifications within the Onward! Papers-track in Onward! 2017 Committee Member in Program Committee within the Onward! Papers-track Committee Member in External Program Committee within the SPLASH OOPSLA-track
Niki Vazou University of Maryland Committee Member in Program Committee within the Scala-track
Panagiotis Vekris University of California at San Diego, USA Author of Fast and Precise Type Checking for JavaScript within the OOPSLA-track in SPLASH 2017
Mauricio Verano Merino Technische Universiteit Eindhoven Netherlands Author of Bacatá: a generic notebook generator for DSLs within the DSLDI 2017-track in DSLDI 2017
Ekaterina Verbitskaia Author of Parsing techniques for graph analysis within the Parsing@SLE 2017-track in Parsing@SLE 2017
Vlad Vergu TU Delft Author of The Semantics of Name Resolution in Grace within the DLS 2017-track in DLS 2017
Julien Verlaguet Facebook Committee Member in Program Committee within the SPLASH OOPSLA-track
Jo Vermeulen Aarhus University Denmark Committee Member in Program Committee within the SAVR-track
Raoul Veroy Tufts University United States Author of Garbology: A Study of How Java Objects Die within the Onward! Papers-track in Onward! 2017
Giovanni Vincenti University of Baltimore United States Author of (CSES) Assessing the Usability of a Novel System for Programming Education within the SPLASH-E-track in SPLASH 2017
Jurgen Vinju Centrum Wiskunde & Informatica / Technische Universiteit Eindhoven Netherlands 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) Author of Discussion of SLEBoK Practical Guide to Parsing within the Parsing@SLE 2017-track in Parsing@SLE 2017 Author of Welcome within the Parsing@SLE 2017-track in Parsing@SLE 2017 Author of Bacatá: a generic notebook generator for DSLs within the DSLDI 2017-track in DSLDI 2017 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
Willem Visser Stellenbosch University South Africa Committee Member in Program Committee within the CHESE-track
Eelco Visser Delft University of Technology Netherlands SPLASH 2016 General Chair in Steering Committee for SPLASH 2017 Steering Committee Member in Steering Committee for Onward! 2017 Author of The Semantics of Name Resolution in Grace within the DLS 2017-track in DLS 2017 Author of A Modular SGLR Parsing Architecture for Systematic Performance Optimization within the Parsing@SLE 2017-track in Parsing@SLE 2017 Author of FlowSpec: Declarative Dataflow Analysis Specification within the SLE-track in SLE 2017 Author of Deep Priority Conflicts in the Wild: A Pilot Study within the SLE-track in SLE 2017
Jan Vitek Northeastern University, USA United States Presenter of SPLASH 2018 within the Keynotes-track in SPLASH 2017 Author of Orca: GC and Type System Co-Design for Actor Languages within the OOPSLA-track in SPLASH 2017 Author of DéjàVu: A Map of Code Duplicates on GitHub within the OOPSLA-track in SPLASH 2017 Author of Invited Talk: From PHD to PROF: blind luck or careful planning? within the Doctoral Symposium-track in SPLASH 2017 Speaker of My 25 years in OO within the PL Mentoring Workshop (PLMW)-track in SPLASH 2017 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 Viviani University of British Columbia Canada Student Volunteers Co-Chair in Organizing Committee for SPLASH 2017
Markus Voelter itemis Author of Robust Projectional Editing within the SLE-track in SLE 2017 Committee Member in Steering Committee within the SLE-track
Ian Voysey Carnegie Mellon University Author of Toward a Live Stepper for Typed Expressions with Holes within the LIVE 2017-track in LIVE 2017
Dimitrios Vytiniotis Microsoft Research, Cambridge Author of Project Snowflake: Non-blocking Safe Manual Memory Management for .NET within the OOPSLA-track in SPLASH 2017
Markus Völter itemis/independent Committee Member in Program Committee within the GPCE-track
Philip Wadler University of Edinburgh, UK United Kingdom Committee Member in Program Committee within the DSLDI-track Committee Member in Program Committee within the GPCE-track
Eric Walkingshaw Oregon State University United 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) Organizer of Lightning Talks within the FOSD 2017-track in FOSD 2017 Program Co-Chair of Welcome within the DSLDI 2017-track in DSLDI 2017 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
Peng Wang Massachusetts Institute of Technology, USA Author of TiML: A Functional Language for Practical Complexity Analysis with Invariants within the OOPSLA-track in SPLASH 2017
Di Wang Peking University, China Author of TiML: A Functional Language for Practical Complexity Analysis with Invariants within the OOPSLA-track in SPLASH 2017
Wei-Jen Wang Committee Member in Program Committee within the AGERE-track
Xi Wang Yale University, USA Author of An Auditing Language for Preventing Correlated Failures in the Cloud within the OOPSLA-track in SPLASH 2017
Xinyu Wang UT Austin China Author of Synthesis of Data Completion Scripts using Finite Tree Automata within the OOPSLA-track in SPLASH 2017
Yuepeng Wang University of Texas at Austin Author of SQLizer: Query Synthesis from Natural Language within the OOPSLA-track in SPLASH 2017
Alessandro Warth Y Combinator Research, USA Author of Seymour: Live Programming for the Classroom within the LIVE 2017-track in LIVE 2017 Author of Incremental Packrat Parsing within the SLE-track in SLE 2017
Takuo Watanabe Tokyo Institute of Technology Japan Author of Actoverse: A Reversible Debugger for Actors within the AGERE 2017-track in AGERE 2017 Author of Reactive Reflection in an FRP Language for Small-Scale Embedded Systems within the Meta 2017-track in META 2017 Committee Member in Program Committee within the META-track Committee Member in Program Committee within the AGERE-track
Robert N. M. Watson University of Cambridge Committee Member in Program Committee within the OCAP-track
Markus Weckesser TU Darmstadt Author of Towards Complete Consistency Checks of Clafer Models within the FOSD 2017-track in FOSD 2017
Kenny Wehling Volkswagen AG Author of Automated Recommendations for Reducing Unnecessary Variability of Technology Architectures within the FOSD 2017-track in FOSD 2017
Martin Weier Bonn-Rhein-Sieg University of Applied Sciences, Germany Author of RaTrace: Simple and Efficient Abstractions for BVH Ray Traversal Algorithms within the GPCE 2017-track in GPCE 2017
Westley Weimer University of Virginia, USA Author of Learning to Blame: Localizing Novice Type Errors with Data-Driven Diagnosis within the OOPSLA-track in SPLASH 2017
Adam Welc Huawei America Research Center United States Session Chair of VMIL (part of VMIL) Session Chair of VMIL (part of VMIL) Author of Welcome to VMIL within the VMIL 2017-track in VMIL 2017 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 Wells University of Illinois at Urbana-Champaign Author of Preliminary Analysis of Contestant Performance for a Code Hunt Contest within the PLATEAU 2017-track in PLATEAU 2017
Jim Whitehead University of California, Santa Cruz United States Committee Member in Program Committee within the CHESE-track
Thomas Wies New York University Committee Member in Program Committee within the Onward! Papers-track
David Wille TU Braunschweig, Germany Germany Author of Automated Recommendations for Reducing Unnecessary Variability of Technology Architectures within the FOSD 2017-track in FOSD 2017
Ryan Williams Author of Genomic Data Analysis in Scala (Open-Source Talk) within the Scala 2017-track in Scala 2017
Samuel Williams Lawrence Berkeley National Laboratory Author of Performance Analysis and Optimization of the RAMPAGE Metal Alloy Potential Generation Software within the SEPS 2017-track in SEPS 2017
Preston Tunnell Wilson Brown University Author of Can We Crowdsource Language Design? within the Onward! Papers-track in Onward! 2017 Author of (CSES) Student Understanding of Aliasing and Procedure Calls within the SPLASH-E-track in SPLASH 2017
Alexander B. Wiltschko Google Brain Author of Tangent: automatic differentiation using source code transformation in Python within the DSLDI 2017-track in DSLDI 2017
Manuel Wimmer TU Wien Austria Author of Virtual Textual Model Composition for Supporting Versioning and Aspect-Orientation within the SLE-track in SLE 2017
Wolfgang Windl The Ohio State University Author of Performance Analysis and Optimization of the RAMPAGE Metal Alloy Potential Generation Software within the SEPS 2017-track in SEPS 2017
Stefan Winter TU Darmstadt Germany Committee Member in Program Committee within the SEPS-track
Allen Wirfs-Brock Mozilla Corporation Committee Member in Program Committee within the PX/17.2-track
Mario Wolczko Oracle Labs United States Session Chair of Types and Language Design (part of SPLASH OOPSLA) Author of Keynote: How Should We Train the Next Generation of VM Engineers? within the VMIL 2017-track in VMIL 2017 Author of Panel - The future of language runtimes within the VMIL 2017-track in VMIL 2017 Committee Member in External Program Committee within the SPLASH OOPSLA-track
Benjamin P. Wood Wellesley College Author of Instrumentation Bias for Dynamic Data Race Detection within the OOPSLA-track in SPLASH 2017
Andreas Wortmann RWTH Aachen University Committee Member in Program Committee within the SLE-track Committee Member in Artifact Evaluation Committee within the SLE-track
John Wrenn Brown University United States Author of Error Messages are Classifiers: A Process to Design and Evaluate Error Messages within the Onward! Papers-track in Onward! 2017
Tobias Wrigstad Uppsala University Sweden Author of Reference Capabilities for Concurrency & Scalability: an Experience Report within the OCAP 2017-track in OCAP 2017 Author of You Can Have it All: Abstraction and Good Cache Performance within the Onward! Papers-track in Onward! 2017 Author of (CER) Mastery Learning-Like Teaching with Achievements within the SPLASH-E-track in SPLASH 2017 Author of Orca: GC and Type System Co-Design for Actor Languages within the OOPSLA-track in SPLASH 2017 Co-chair in Organizing Committee within the NOOL-track
Thomas Wuerthinger Oracle Labs Author of Making Collection Operations Optimal with Aggressive JIT Compilation within the Scala 2017-track in Scala 2017
Baijun Wu University of Louisiana at Lafayette, USA Author of Learning User Friendly Type-Error Messages within the OOPSLA-track in SPLASH 2017 Author of How Type Errors Were Fixed and What Students Did? within the OOPSLA-track in SPLASH 2017
Peng Wu Huawei America Research Lab United States Committee Member in Program Committee within the SPLASH OOPSLA-track
Sebastian Wölke None Author of Locality-Guided Scheduling in CAF within the AGERE 2017-track in AGERE 2017
Haochen Xie Nagoya University Japan Author of Principles, patterns, and techniques for designing and implementing practical fluent interfaces in Java within the Student Research Competition-track in SPLASH 2017
Andrew Xie Independent Author of Preliminary Analysis of Contestant Performance for a Code Hunt Contest within the PLATEAU 2017-track in PLATEAU 2017
Tao Xie Author of Preliminary Analysis of Contestant Performance for a Code Hunt Contest within the PLATEAU 2017-track in PLATEAU 2017 Committee Member in Steering Committee within the CHESE-track
Reynold Xin Databricks Keynote Speaker of Spark and Scala within the Scala 2017-track in Scala 2017
Shijie Xu University of New Brunswick Author of Fusing Method Handle Graphs for Efficient Dynamic JVM Language Implementations within the VMIL 2017-track in VMIL 2017
Harry Xu University of California, Irvine United States Author of Calling-to-Reference Context Translation via Constraint-Guided Context-Free-Language Reachability within the WODA 2017-track in WODA 2017 Author of Graph Systems for Statically Analyzing Hundreds of Projects at the Same Time within the NJR 2017-track in NJR 2017
Navid Yaghmazadeh University of Texas, Austin Author of SQLizer: Query Synthesis from Natural Language within the OOPSLA-track in SPLASH 2017
Eran Yahav Technion Israel Committee Member in External Program Committee within the SPLASH OOPSLA-track
Tetsuro Yamazaki University of Tokyo, Japan Author of Silverchain: A Fluent API Generator within the GPCE 2017-track in GPCE 2017
Di Yang University of California at Irvine, USA Author of DéjàVu: A Map of Code Duplicates on GitHub within the OOPSLA-track in SPLASH 2017
Jean Yang Carnegie Mellon University Author of Preventing Information Leaks by Construction within the SPLASH-I-track in SPLASH 2017
Hongseok Yang University of Oxford Author of Automatically Generating Features for Learning Program Analysis Heuristics for C-Like Languages within the OOPSLA-track in SPLASH 2017
Yanpeng Yang University of Hong Kong, China Author of Unifying Typing and Subtyping within the OOPSLA-track in SPLASH 2017
Katherine Ye Author of Substance and Style: domain-specific languages for mathematical diagrams within the DSLDI 2017-track in DSLDI 2017
Annie T.T. Ying EquitySim Canada Panelist of Panel of new Ph.D.s within the PL Mentoring Workshop (PLMW)-track in SPLASH 2017 Speaker in PLMW Speakers within the SPLASH PL Mentoring Workshop (PLMW)-track
Greta Yorsh Queen Mary University of London Author of Unbounded Superoptimization within the Onward! Papers-track in Onward! 2017 Committee Member in Program Committee within the Onward! Papers-track
David Young University of Kansas, USA Author of Rewriting a Shallow DSL using a GHC Compiler Extension within the GPCE 2017-track in GPCE 2017
Binhang Yuan