SPLASH 2013 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Affiliation

Name

Results (549)

Aharon Abadi IBM Research Author of NitroGen: Rapid Development of Mobile Applications within the Demonstrations-track in SPLASH 2013
Marwan Abi-Antoun Wayne State University Author of Finding the Missing Eclipse Perspective: the Runtime Perspective within the Demonstrations-track in SPLASH 2013
Ademola Peter Adejokun Lockheed Martin Aeronautics Company Committee Member in Committee within the SPLASH Posters-track
Ali Afroozeh Centrum Wiskunde & Informatica Author of Safe Specification of Operator Precedence Rules within the Research Papers-track in SLE 2013
Alex Aiken Stanford University Author of Data-Driven Equivalence Checking within the OOPSLA-track in SPLASH 2013 Author of Language Support for Dynamic, Hierarchical Data Partitioning within the OOPSLA-track in SPLASH 2013
Jonathan Aldrich Carnegie Mellon University United States Author of The Power of Interoperability: Why Objects Are Inevitable within the Onward! Essays-track in Onward! 2013 Chair in Committee within the SPLASH Tutorials-track Committee Member in Program Committee within the GPCE-track
Esteban Allende Author of Cast Insertion Strategies for Gradually-Typed Objects within the Research Papers-track in DLS 2013 Author of Tackling the Efficiency Problem of Gradual Typing within the ACM SRC-track in SPLASH 2013
Tony Allevato Author of Transforming Introductory Computer Science Projects via Real-Time Web Data within the SPLASH-E-track in SPLASH 2013
Saswat Anand Stanford University Committee Member in Committee within the SPLASH ACM SRC-track
Davide Ancona University of Genova Italy Committee Member in Program Committee within the DLS-track
Danilo Ansaloni Author of ShadowVM?: Robust and Comprehensive Dynamic Program Analysis for the Java Platform within the Research Papers-track in GPCE 2013
Craig Anslow Victoria University of Wellington New Zealand Committee Member in Artifacts within the SPLASH OOPSLA Artifacts-track
Michal Antkiewicz Author of Partial Instances via Subclassing within the Research Papers-track in SLE 2013
Kyoungho An RTI Author of Model-driven Generative Framework for Automated OMG DDS Performance Testing in the Cloud within the Research Papers-track in GPCE 2013
Sven Apel University of Passau Author of A Comparison of Product-based, Feature-based, and Family-based Type Checking within the Research Papers-track in GPCE 2013 Author of Does the Discipline of Preprocessor Annotations Matter? A Controlled Experiment within the Research Papers-track in GPCE 2013 Author of Family-Based Performance Measurement within the Research Papers-track in GPCE 2013 Committee Member in Program Committee within the GPCE-track
Molham Aref Logicblox Author of Declarative Programming for the Cloud within the Keynotes-track in SPLASH 2013
Luis Artola Committee Member in Committee within the SPLASH Wavefront Experience-track
Andrei Arusoaie Author of A Generic Framework for Symbolic Execution within the Research Papers-track in SLE 2013
Tanzirul Azim University of California at Riverside, USA Bangladesh Author of Targeted and Depth-first Exploration for Systematic Testing of Android Apps within the OOPSLA-track in SPLASH 2013
Godmar Back Committee Member in Committee within the SPLASH Wavefront-track
Anya Helene Bagge University of Bergen Norway Author of A Pretty Good Formatting Pipeline within the Research Papers-track in SLE 2013
Mehdi Bagherzadeh Oakland University United States Committee Member in Committee within the SPLASH Student Volunteers-track
Kacper Bak Author of Partial Instances via Subclassing within the Research Papers-track in SLE 2013
George Balatsouras University of Athens Author of Set-Based Pre-Processing for Points-To Analysis within the OOPSLA-track in SPLASH 2013 Author of Class Hierarchy Complementation: Soundly Completing a Partial Type Graph within the OOPSLA-track in SPLASH 2013
Emilie Balland Committee Member in Program Committee within the GPCE-track
Tom Ball Author of TouchDevelop: Productive Scripting on and for Touch-based Devices and Web Services within the Keynotes-track in SPLASH 2013
Tao Bao Purdue University, USA Author of On-the-fly Detection of Instability Problems in Floating-Point Program Execution within the OOPSLA-track in SPLASH 2013
Olivier Barais Author of Reifying Concurrency for Executable Metamodeling within the Research Papers-track in SLE 2013 Author of Efficient High-Level Abstractions for Web Programming within the Research Papers-track in GPCE 2013
Austin Cory Bart Virginia Tech Author of Transforming Introductory Computer Science Projects via Real-Time Web Data within the SPLASH-E-track in SPLASH 2013
Fábio Basso Author of Supporting Large Scale Model Transformation Reuse within the Research Papers-track in GPCE 2013
Don Batory University of Texas, Austin United States Author of Dark Knowledge and Graph Grammars in Automated Software Design within the Keynotes-track in SPLASH 2013 Committee Member in Program Committee within the GPCE-track Committee Member in Program Committee within the SPLASH OOPSLA-track
Benoit Baudry KTH Royal Institute of Technology, Sweden Sweden Author of Reifying Concurrency for Executable Metamodeling within the Research Papers-track in SLE 2013
Michael Bauer NVIDIA Research Author of Language Support for Dynamic, Hierarchical Data Partitioning within the OOPSLA-track in SPLASH 2013
Michael Bazik Author of Investigation of Error Notifications Through Categorization within the ACM SRC-track in SPLASH 2013
Leandro Becker Author of Supporting Large Scale Model Transformation Reuse within the Research Papers-track in GPCE 2013
Andreas Beck Author of Developing a Domain-specific Language for Scheduling in the European Energy Sector within the Research Papers-track in SLE 2013
Jonathan Bell George Mason University United States Chair in Committee within the SPLASH Student Volunteers-track
Idan Ben-Harrush Author of NitroGen: Rapid Development of Mobile Applications within the Demonstrations-track in SPLASH 2013
Tom Bergan University of Washington Author of Input-Covering Schedules for Multithreaded Programs within the OOPSLA-track in SPLASH 2013
Emery Berger University of Massachusetts, Amherst United States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Suparna Bhattacharya Hewlett-Packard Enterprise India Author of Combining Concern Input with Program Analysis for Bloat Detection within the OOPSLA-track in SPLASH 2013
Akshatha Bhat Author of Effective Use of Non-blocking Data Structures in a Deduplication Application within the Wavefront Experience-track in SPLASH 2013
Aggelos Biboudis Ecole Polytechnique Federale de Lausanne Switzerland Author of Reified Type Parameters Using Java Annotations within the Research Papers-track in GPCE 2013 Author of Forsaking Inheritance: Supercharged Delegation in DelphJ within the OOPSLA-track in SPLASH 2013
Walter Binder University of Lugano, Switzerland Author of ShadowVM?: Robust and Comprehensive Dynamic Program Analysis for the Java Platform within the Research Papers-track in GPCE 2013
Judith Bishop Stellenbosch University South Africa Author of Technical Debt within the Panels-track in SPLASH 2013
Swarnendu Biswas Author of Octet: Capturing and Controlling Cross-Thread Dependences Efficiently within the OOPSLA-track in SPLASH 2013
Steve Blackburn Australian National University Australia Author of Taking Off the Gloves with Reference Counting Immix within the OOPSLA-track in SPLASH 2013 Chair in Artifacts within the SPLASH OOPSLA Artifacts-track
Bernard Blackham Author of Code Optimizations Using Formally Verified Properties within the OOPSLA-track in SPLASH 2013
Andrew Black Portland State University United States Committee Member in Program Committee within the Onward! Research Papers-track Committee Member in External Review Committee within the SPLASH OOPSLA-track
Christoph Bockisch Philipps-Universität Marburg Germany Committee Member in External Review Committee within the SPLASH OOPSLA-track
Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM Committee Member in External Review Committee within the SPLASH OOPSLA-track
Rastislav Bodik University of Washington Author of Growing Solver-Aided Languages with Rosette within the Research Papers-track in Onward! 2013 Author of Modeling Biology with Solver-Aided Programming Languages within the Keynotes-track in SPLASH 2013
Meinte Boersma Mendix/independent Author of The State of the Art in Language Workbenches within the Research Papers-track in SLE 2013
Carl Friedrich Bolz-Tereick Germany Author of Storage Strategies for Collections in Dynamically Typed Languages within the OOPSLA-track in SPLASH 2013 Author of Storage Strategies for Collections in Dynamically Typed Languages within the OOPSLA Artifacts-track in SPLASH 2013 Chair in Program Committee within the DLS-track
Michael Bond Ohio State University Author of Efficient Context Sensitivity for Dynamic Analyses via Calling Context Uptrees and Customized Memory Management within the OOPSLA-track in SPLASH 2013 Author of Octet: Capturing and Controlling Cross-Thread Dependences Efficiently within the OOPSLA-track in SPLASH 2013
Paulo Borba Federal University of Pernambuco, Brazil Brazil Committee Member in Program Committee within the GPCE-track
Remi Bosman Author of The State of the Art in Language Workbenches within the Research Papers-track in SLE 2013
Naoufel Boulila Author of User Model and System Model: The Yin and Yang in User-Centered Software Development within the Onward! Essays-track in Onward! 2013
Gilad Bracha Google Israel Author of Does Thought Crime Pay? within the Keynotes-track in SPLASH 2013 Committee Member in External Review Committee within the SPLASH OOPSLA-track
Kevin J. Brown Stanford University Author of Forge: Generating a High Performance DSL Implementation from a Declarative Specification. within the Research Papers-track in GPCE 2013
Kim Bruce Pomona College United States Author of FOOL @ 20 within the Keynotes-track in SPLASH 2013 Author of Panel — MOOCs: Early Experience within the SPLASH-E-track in SPLASH 2013 Chair in Committee within the SPLASH -E-track
Bernd Bruegge TU Munich Germany Chair in Committee within the Onward! Essays-track
Stefan Brunthaler University of California, Irvine Author of ZipPy on Truffle: A Fast and Simple Implementation of Python within the Demonstrations-track in SPLASH 2013
A. J. Brush Author of The Latency, Accuracy, and Battery (LAB) Abstraction: Programmer Productivity and Energy Efficiency for Continuous Mobile Context Sensing within the OOPSLA-track in SPLASH 2013
Duane Buck Author of First, Do No Harm: A Curricular Approach to Exceptions within the SPLASH-E-track in SPLASH 2013 Author of Objektgraph: Why Code When MVC Apps Can Be Generated Solely With UML-based Diagrams? within the Demonstrations-track in SPLASH 2013
Zoran Budimlic Author of Isolation for Nested Task Parallelism within the OOPSLA-track in SPLASH 2013
Kevin Buffardi Author of Panel — Test-Driven Development within the SPLASH-E-track in SPLASH 2013
Lubomír Bulej Charles University Czech Republic Author of ShadowVM?: Robust and Comprehensive Dynamic Program Analysis for the Java Platform within the Research Papers-track in GPCE 2013
Eugene Burmako Twitter United States Author of Instant Pickles: Generating Object-Oriented Pickler Combinators for Fast and Extensible Serialization within the OOPSLA-track in SPLASH 2013
Man Cao Ohio State University Author of Octet: Capturing and Controlling Cross-Thread Dependences Efficiently within the OOPSLA-track in SPLASH 2013
Michael Carbin MIT United States Author of Verifying Quantitative Reliability for Programs That Execute on Unreliable Hardware within the OOPSLA-track in SPLASH 2013
Walter Cazzola Università degli Studi di Milano Italy Author of Variability Support in Domain-Specific Language Development within the Research Papers-track in SLE 2013
Luis Ceze University of Washington, USA Brazil Author of Input-Covering Schedules for Multithreaded Programs within the OOPSLA-track in SPLASH 2013
Joël Champeau Author of A Model-Driven Approach to Enhance Tool Interoperability using the Theory of Models of Computation within the Research Papers-track in SLE 2013
Peter Chapin Vermont Technical College Author of Scalaness/nesT: Type Specialized Staged Programming for Sensor Networks within the Research Papers-track in GPCE 2013
Keith Chapman Purdue University United States Committee Member in Committee within the SPLASH Student Volunteers-track
Swarat Chaudhuri Rice University Author of Isolation for Nested Task Parallelism within the OOPSLA-track in SPLASH 2013 Committee Member in External Review Committee within the SPLASH OOPSLA-track
Qi Chen Committee Member in Committee within the SPLASH Student Volunteers-track
Shigeru Chiba University of Tokyo, Japan Japan Committee Member in Program Committee within the Onward! Research Papers-track Committee Member in Program Committee within the SPLASH OOPSLA-track
Dan Chiorean Babes-Bolyai University, Cluj-Napoca Romania Committee Member in Committee within the Onward! Essays-track
Anand Chitipothu Author of Python: The Full Monty; A Tested Semantics for the Python Programming Language within the OOPSLA-track in SPLASH 2013
Wontae Choi Author of Guided GUI Testing of Android Apps with Minimal Restart and Approximate Learning within the OOPSLA-track in SPLASH 2013
Nathan Chong University College London Author of Barrier Invariants: A Shared State Abstraction for the Analysis of Data-Dependent GPU Kernels within the OOPSLA-track in SPLASH 2013
Berkeley Churchill Stanford University Author of Data-Driven Equivalence Checking within the OOPSLA-track in SPLASH 2013
Marta Cimitile Committee Member in External Review Committee within the SPLASH OOPSLA-track
Sylvan Clebsch Imperial College London Author of Fully Concurrent Garbage Collection of Actors on Many-Core Machines within the OOPSLA-track in SPLASH 2013
Will Clinger Committee Member in Program Committee within the DLS-track
Yvonne Coady University of Victoria Canada Committee Member in Program Committee within the SPLASH OOPSLA-track
Benoit Combemale University of Rennes 1 France Author of Variability Support in Domain-Specific Language Development within the Research Papers-track in SLE 2013 Author of Reifying Concurrency for Executable Metamodeling within the Research Papers-track in SLE 2013
William Cook University of Texas at Austin Author of The State of the Art in Language Workbenches within the Research Papers-track in SLE 2013 Committee Member in Program Committee within the Onward! Research Papers-track
Katherine E. Coons Author of Bounded Partial-Order Reduction within the OOPSLA-track in SPLASH 2013
Pascal Costanza imec Belgium Committee Member in Program Committee within the Onward! Research Papers-track
Oliver Creighton Author of User Model and System Model: The Yin and Yang in User-Centered Software Development within the Onward! Essays-track in Onward! 2013
Bryce Cronkite-Ratcliff Author of Development of Automatically Verifiable Systems using Data Representation Synthesis within the ACM SRC-track in SPLASH 2013
Daniel Cukier Author of DevOps patterns to scale web applications using cloud services within the Wavefront Experience-track in SPLASH 2013 Committee Member in Committee within the SPLASH Student Volunteers-track
Krzysztof Czarnecki University of Waterloo, Canada Canada Author of Partial Instances via Subclassing within the Research Papers-track in SLE 2013
Daniele Cono D'Elia Sapienza University of Rome, Italy Italy Author of Ball-Larus Path Profiling Across Multiple Loop Iterations within the OOPSLA-track in SPLASH 2013
Wolfgang De Meuter Vrije Universiteit Brussel Committee Member in Program Committee within the Onward! Research Papers-track Committee Member in Program Committee within the SPLASH OOPSLA-track
Julien DeAntoni Author of Reifying Concurrency for Executable Metamodeling within the Research Papers-track in SLE 2013
Christian DeLozier University of Pennsylvania Author of Ironclad C++: A Library-Augmented Type-Safe Subset of C++ within the OOPSLA-track in SPLASH 2013
Damian Dechev Author of Effective Use of Non-blocking Data Structures in a Deduplication Application within the Wavefront Experience-track in SPLASH 2013
Benjamin Delaware Purdue University Committee Member in Artifacts within the SPLASH OOPSLA Artifacts-track
Camil Demetrescu Sapienza University Rome Italy Author of Ball-Larus Path Profiling Across Multiple Loop Iterations within the OOPSLA-track in SPLASH 2013
Ruth Demmel Author of User Model and System Model: The Yin and Yang in User-Centered Software Development within the Onward! Essays-track in Onward! 2013
Brian Demsky University of California, Irvine United States Author of CDSChecker: Checking Concurrent Data Structures Written with C/C++ Atomics within the OOPSLA-track in SPLASH 2013 Author of CDSChecker: Checking Concurrent Data Structures Written with C/C++ Atomics within the OOPSLA Artifacts-track in SPLASH 2013
Dongdong Deng Author of Efficient Concurrency-Bug Detection Across Inputs within the OOPSLA-track in SPLASH 2013
Marcus Denker INRIA Lille Committee Member in Program Committee within the DLS-track
Deepak Dhungana Author of Generation of Conjoint Domain Models for System-of-Systems within the Research Papers-track in GPCE 2013
Papa Issa Diallo Author of A Model-Driven Approach to Enhance Tool Interoperability using the Theory of Models of Computation within the Research Papers-track in SLE 2013
Lukas Diekmann King's College London Author of Storage Strategies for Collections in Dynamically Typed Languages within the OOPSLA-track in SPLASH 2013 Author of Storage Strategies for Collections in Dynamically Typed Languages within the OOPSLA Artifacts-track in SPLASH 2013
Ira Diethelm Author of Objektgraph: Why Code When MVC Apps Can Be Generated Solely With UML-based Diagrams? within the Demonstrations-track in SPLASH 2013
Danny Dig School of EECS at Oregon State University Committee Member in Program Committee within the SPLASH OOPSLA-track
Isil Dillig UT Austin Author of Inductive Invariant Generation via Abductive Inference within the OOPSLA-track in SPLASH 2013 Committee Member in External Review Committee within the SPLASH OOPSLA-track Chair in Committee within the SPLASH ACM SRC-track
Thomas Dillig Author of Inductive Invariant Generation via Abductive Inference within the OOPSLA-track in SPLASH 2013
Christos Dimoulas Harvard University, USA Author of Option Contracts within the OOPSLA-track in SPLASH 2013
Zinovy Diskin McMaster University Author of Partial Instances via Subclassing within the Research Papers-track in SLE 2013 Author of Mapping-Aware Megamodeling: Design Patterns and Laws within the Research Papers-track in SLE 2013
Alastair Donaldson Imperial College London United Kingdom Author of Barrier Invariants: A Shared State Abstraction for the Analysis of Data-Dependent GPU Kernels within the OOPSLA-track in SPLASH 2013
Gabriel Dos Reis Texas A&M University and Microsoft Author of Open Pattern Matching for C++ within the Research Papers-track in GPCE 2013
Jamie Douglass Boeing Committee Member in Committee within the SPLASH Wavefront Experience-track
Sophia Drossopoulou Author of Fully Concurrent Garbage Collection of Actors on Many-Core Machines within the OOPSLA-track in SPLASH 2013
Kristof Du Bois Author of Bottle Graphs: Visualizing Scalability Bottlenecks in Multi-Threaded Applications within the OOPSLA-track in SPLASH 2013
Yael Dubinsky IBM Author of NitroGen: Rapid Development of Mobile Applications within the Demonstrations-track in SPLASH 2013
Gilles Duboscq Oracle Labs Switzerland Author of One VM to Rule Them All within the Research Papers-track in Onward! 2013
Stéphane Ducasse INRIA Lille Committee Member in Program Committee within the Onward! Research Papers-track
Matthew Dwyer University of Nebraska United States Committee Member in Program Committee within the SPLASH OOPSLA-track
Robert Dyer Bowling Green State University United States Author of Declarative Visitors to Ease Fine-grained Source Code Mining with Full History on Billions of AST Nodes within the Research Papers-track in GPCE 2013 Author of Task Fusion: Improving Utilization of Multi-user Clusters within the ACM SRC-track in SPLASH 2013 Author of Mining Source Code Repositories with Boa within the Demonstrations-track in SPLASH 2013 Committee Member in Artifacts within the SPLASH OOPSLA Artifacts-track
Stephen Edwards Author of Panel — Test-Driven Development within the SPLASH-E-track in SPLASH 2013
Jonathan Edwards United States Committee Member in Program Committee within the Onward! Research Papers-track
Lieven Eeckhout Ghent University, Belgium Author of Bottle Graphs: Visualizing Scalability Bottlenecks in Multi-Threaded Applications within the OOPSLA-track in SPLASH 2013
Richard A. Eisenberg Bryn Mawr College, USA United States Author of Ironclad C++: A Library-Augmented Type-Safe Subset of C++ within the OOPSLA-track in SPLASH 2013
Sebastian Erdweg TU Delft Netherlands Author of Software Evolution to Domain-Specific Languages within the Research Papers-track in SLE 2013 Author of The State of the Art in Language Workbenches within the Research Papers-track in SLE 2013 Author of Template Constructors for Reusable Object Initialization within the Research Papers-track in GPCE 2013 Author of A Framework for Extensible Languages within the Research Papers-track in GPCE 2013 Committee Member in Program Committee within the GPCE-track
Joey Eremondi Utrecht University Canada Author of The Poor Man's Proof Assistant: Using Prolog to Develop Formal Language Theoretic Proofs within the ACM SRC-track in SPLASH 2013
Erik Ernst Google Inc. Denmark Committee Member in Program Committee within the Onward! Research Papers-track
Martin Erwig Oregon State University United States Co-chair in Program Committee within the SLE-track Committee Member in Program Committee within the GPCE-track
Patrick Eugster Purdue University United States Chair in General for SPLASH 2013
Stijn Eyerman Author of Bottle Graphs: Visualizing Scalability Bottlenecks in Multi-Threaded Applications within the OOPSLA-track in SPLASH 2013
Johan Fabry Raincode Labs, Belgium Belgium Author of Cast Insertion Strategies for Gradually-Typed Objects within the Research Papers-track in DLS 2013
Andreas Falkner Author of Generation of Conjoint Domain Models for System-of-Systems within the Research Papers-track in GPCE 2013
Stefan Fehrenbach University of Edinburgh Author of Software Evolution to Domain-Specific Languages within the Research Papers-track in SLE 2013
Steven Feldman Author of Effective Use of Non-blocking Data Structures in a Deduplication Application within the Wavefront Experience-track in SPLASH 2013
Asger Feldthaus Aarhus University Denmark Author of Semi-Automatic Rename Refactoring for JavaScript within the OOPSLA-track in SPLASH 2013
Matthias Felleisen Northeastern University, USA Author of Option Contracts within the OOPSLA-track in SPLASH 2013 Committee Member in Committee within the SPLASH -E-track
Hugo Sereno Ferreira FEUP, Universidade do Porto Committee Member in Committee within the SPLASH Wavefront Experience-track
Filipe Figueiredo Correia University of Porto / ParadigmaXis, Portugal Author of Documenting Software Using Adaptive Software Artifacts within the ACM SRC-track in SPLASH 2013 Committee Member in Committee within the SPLASH Student Volunteers-track
Robby Findler Northwestern University, USA United States Author of Option Contracts within the OOPSLA-track in SPLASH 2013 Committee Member in Program Committee within the DLS-track Committee Member in Program Committee within the Onward! Research Papers-track
Anthony Finkelstein University College London Committee Member in Committee within the Onward! Essays-track
Bernd Fischer Stellenbosch University Committee Member in Program Committee within the GPCE-track
Kathi Fisler Brown University United States Author of Usable Security as a Static Analysis Problem: Modeling and Reasoning About User Permissions in Social-Sharing Systems within the Research Papers-track in Onward! 2013 Author of Bootstrap: Programming Games with Algebra within the SPLASH-E-track in SPLASH 2013
Matthew Flatt University of Utah United States Author of Submodules in Racket: You Want it When, Again? within the Research Papers-track in GPCE 2013
Armando Fox UC Berkeley Author of Myths about MOOCs and Software Engineering Education within the SPLASH-E-track in SPLASH 2013
Robert France Author of Reifying Concurrency for Executable Metamodeling within the Research Papers-track in SLE 2013
Michael Franz University of California, Irvine Committee Member in External Review Committee within the SPLASH OOPSLA-track
Bert Freudenberg Germany Author of KScript and KSWorld: A Time-Aware and Mostly Declarative Language and Interactive GUI Framework within the Research Papers-track in Onward! 2013
Stephen Freund Williams College United States Author of Panel — Curriculum 2013: What’s new and how do we adapt? within the SPLASH-E-track in SPLASH 2013 Committee Member in Committee within the SPLASH -E-track
Richard P. Gabriel Dream Songs, Inc. & HPI Committee Member in Committee within the Onward! Essays-track
Lahiru Gallege Author of TruSSCom – Proposal for Trustworthy Service Representation Selection and Negotiation for Integrating Software Systems within the Doctoral Symposium-track in SPLASH 2013 Committee Member in Committee within the SPLASH Student Volunteers-track
Dimuthu Gamage Committee Member in Committee within the SPLASH Student Volunteers-track
Vinicius Cardoso Garcia Committee Member in Committee within the SPLASH Wavefront Experience-track
Nicolas Geoffray Committee Member in Committee within the SPLASH Demonstrations-track
Prodromos Gerakios National Technical University of Athens Author of Reified Type Parameters Using Java Annotations within the Research Papers-track in GPCE 2013 Author of Forsaking Inheritance: Supercharged Delegation in DelphJ within the OOPSLA-track in SPLASH 2013
Albert Gerritsen Author of The State of the Art in Language Workbenches within the Research Papers-track in SLE 2013
Xi Ge Author of Dictionary-Base Query Recommendation for Local Code Search within the ACM SRC-track in SPLASH 2013
Rohit Gheyi Federal University of Campina Grande Brazil Author of Investigating Preprocessor-Based Syntax Errors within the Research Papers-track in GPCE 2013
Andrew Giang Wayne State University Author of Finding the Missing Eclipse Perspective: the Runtime Perspective within the Demonstrations-track in SPLASH 2013
Austin Gibbons Author of Forge: Generating a High Performance DSL Implementation from a Declarative Specification. within the Research Papers-track in GPCE 2013
Milos Gligoric University of Texas at Austin United States Author of Model-Based, Event-Driven Programming Paradigm for Interactive Web Applications within the Research Papers-track in Onward! 2013 Committee Member in Artifacts within the SPLASH OOPSLA Artifacts-track
Aniruddha Gokhale Vanderbilt University Author of Model-driven Generative Framework for Automated OMG DDS Performance Testing in the Cloud within the Research Papers-track in GPCE 2013
Kanchi Gopinath Author of Combining Concern Input with Program Analysis for Bloat Detection within the OOPSLA-track in SPLASH 2013
Alessandra Gorla IMDEA Software Institute Spain Committee Member in Artifacts within the SPLASH OOPSLA Artifacts-track
Danny M. Groenewegen Delft University of Technology Author of Language-Parametric Incremental Name and Type Analysis within the Research Papers-track in SLE 2013
Dan Grossman University of Washington United States Author of Input-Covering Schedules for Multithreaded Programs within the OOPSLA-track in SPLASH 2013 Author of Panel — MOOCs: Early Experience within the SPLASH-E-track in SPLASH 2013 Author of Panel — Curriculum 2013: What’s new and how do we adapt? within the SPLASH-E-track in SPLASH 2013 Committee Member in Committee within the SPLASH -E-track Committee Member in External Review Committee within the SPLASH OOPSLA-track
Thomas Gross Committee Member in Committee within the Onward! Essays-track
Thomas Gross ETH Zurich Switzerland Author of Online Feedback-Directed Optimizations for Parallel Java Code within the OOPSLA-track in SPLASH 2013
Lindsay Groves Victoria University of Wellington Author of Whiley: a Platform for Research in Software Verification within the Research Papers-track in SLE 2013
Eduardo Guerra INPE - National Institute for Space Research Chair in Committee within the SPLASH Wavefront Experience-track
Ralph Guggenheim Committee Member in Committee within the Onward! Essays-track
Arjun Guha University of Massachusetts, Amherst Author of TejaS: Retrofitting Type Systems for JavaScript within the Research Papers-track in DLS 2013
Sam Guyer Tufts University United States Chair in Committee within the SPLASH ACM SRC-track
David H. Lorenz Technion—Israel Institute of Technology Committee Member in Program Committee within the SPLASH OOPSLA-track
Uzy Hadad Author of NitroGen: Rapid Development of Mobile Applications within the Demonstrations-track in SPLASH 2013
Philipp Haller KTH Royal Institute of Technology Germany Author of Instant Pickles: Generating Object-Oriented Pickler Combinators for Fast and Extensible Serialization within the OOPSLA-track in SPLASH 2013
Simin Hall Author of Transforming Introductory Computer Science Projects via Real-Time Web Data within the SPLASH-E-track in SPLASH 2013
Christian Hammer University of Potsdam Germany Author of Flexible Access Control for Javascript within the OOPSLA-track in SPLASH 2013
Stefan Hanenberg University of Duisburg-Essen Author of Do Developers Benefit from Generic Types?: An Empirical Comparison of Generic and Raw Types in Java within the OOPSLA-track in SPLASH 2013 Committee Member in Program Committee within the SPLASH OOPSLA-track
Ben Hardekopf UC Santa Barbara Author of Type Refinement for Static Analysis of JavaScript within the Research Papers-track in DLS 2013
Alois Haselböck Author of Generation of Conjoint Domain Models for System-of-Systems within the Research Papers-track in GPCE 2013
Tero Hasu Author of A Pretty Good Formatting Pipeline within the Research Papers-track in SLE 2013
Matthias Hauswirth Università della Svizzera italiana (USI) Switzerland Chair in Artifacts within the SPLASH OOPSLA Artifacts-track Committee Member in Program Committee within the SPLASH OOPSLA-track
Görel Hedin Author of Circular Higher-order Attribute Grammars within the Research Papers-track in SLE 2013
Gernot Heiser NICTA and UNSW Author of Code Optimizations Using Formally Verified Properties within the OOPSLA-track in SPLASH 2013
Stephan Herhut Google Inc. Author of River Trail: A Path to Parallelism in JavaScript within the OOPSLA-track in SPLASH 2013
Charlotte Herzeel Vrije Universiteit Brussel Committee Member in Program Committee within the DLS-track
Robert Hirschfeld HPI Germany Author of Polymorphic Identifiers: Uniform Resource Access in Objective-Smalltalk within the Research Papers-track in DLS 2013 Committee Member in Program Committee within the DLS-track Chair in Program Committee within the Onward! Research Papers-track Committee Member in Program Committee within the SPLASH OOPSLA-track
Ethan Holder Virginia Tech Author of Cloud Twin: Interactive Cross-Platform Replay for Mobile Applications within the ACM SRC-track in SPLASH 2013
Reid Holmes University of British Columbia Canada Committee Member in Program Committee within the SPLASH OOPSLA-track
Michael Hoppe Author of Do Developers Benefit from Generic Types?: An Empirical Comparison of Generic and Raw Types in Java within the OOPSLA-track in SPLASH 2013
Bruce Horn Intel Corporation United States Committee Member in Committee within the Onward! Essays-track
Cay Horstmann San Jose State University Author of Panel — MOOCs: Early Experience within the SPLASH-E-track in SPLASH 2013
Tony Hosking Purdue University United States Chair in General for SPLASH 2013
Jipeng Huang Author of Efficient Context Sensitivity for Dynamic Analyses via Calling Context Uptrees and Customized Memory Management within the OOPSLA-track in SPLASH 2013 Author of Octet: Capturing and Controlling Cross-Thread Dependences Efficiently within the OOPSLA-track in SPLASH 2013
Jeff Huang Texas A&M University United States Committee Member in Artifacts within the SPLASH OOPSLA Artifacts-track
Richard L. Hudson Author of River Trail: A Path to Parallelism in JavaScript within the OOPSLA-track in SPLASH 2013
Marieke Huisman University of Twente Netherlands Committee Member in External Review Committee within the SPLASH OOPSLA-track
Angelo Hulshout Author of The State of the Art in Language Workbenches within the Research Papers-track in SLE 2013
Christian Humer Oracle Labs, Switzerland Switzerland Author of One VM to Rule Them All within the Research Papers-track in Onward! 2013
Claus Hunsen University of Passau, Germany Author of A Comparison of Product-based, Feature-based, and Family-based Type Checking within the Research Papers-track in GPCE 2013
Ahmed Hussein Purdue University / Huawei, USA Egypt Committee Member in Committee within the SPLASH Student Volunteers-track
Roberto Ierusalimschy PUC-Rio Brazil Committee Member in Program Committee within the DLS-track
Daniel Jackson MIT United States Author of What’s Wrong with Git? A Conceptual Design Analysis within the Research Papers-track in Onward! 2013 Author of Model-Based, Event-Driven Programming Paradigm for Interactive Web Applications within the Research Papers-track in Onward! 2013
Suresh Jagannathan Purdue University Author of Flexible Access Control for Javascript within the OOPSLA-track in SPLASH 2013
Bharat Jayaraman SUNY Buffalo, USA Committee Member in Committee within the SPLASH Doctoral Symposium-track
Adrian Johnstone Author of Safe Specification of Operator Precedence Rules within the Research Papers-track in SLE 2013
Timothy Jones Victoria University of Wellington New Zealand Committee Member in Committee within the SPLASH Student Volunteers-track
Jaakko Järvi University of Bergen Norway Co-chair in Program Committee within the GPCE-track
Jean-Marc Jézéquel Univ Rennes - IRISA France Author of Efficient High-Level Abstractions for Web Programming within the Research Papers-track in GPCE 2013
Ted Kaehler Author of KScript and KSWorld: A Time-Aware and Mostly Declarative Language and Interactive GUI Framework within the Research Papers-track in Onward! 2013
Gail Kaiser Columbia University, New York United States Committee Member in Committee within the Onward! Essays-track
Aman Kansal Author of The Latency, Accuracy, and Battery (LAB) Abstraction: Programmer Productivity and Energy Efficiency for Continuous Mobile Context Sensing within the OOPSLA-track in SPLASH 2013
Gerti Kappel Technical University of Vienna Austria Author of xMOF: Executable DSMLs based on fUML within the Research Papers-track in SLE 2013
Vineeth Kashyap GrammaTech, Inc. India Author of Type Refinement for Static Analysis of JavaScript within the Research Papers-track in DLS 2013
George Kastrinis University of Athens Greece Author of Set-Based Pre-Processing for Points-To Analysis within the OOPSLA-track in SPLASH 2013
Kiyokuni Kawachiya IBM Research - Tokyo Japan Committee Member in Program Committee within the SPLASH OOPSLA-track
Madhukar Kedlaya University of California, Santa Barbara India Author of Improved Type Specialization for Dynamic Scripting Languages within the Research Papers-track in DLS 2013
Matthias Keil University of Freiburg Germany Author of Efficient Dynamic Access Analysis Using JavaScript Proxies within the Research Papers-track in DLS 2013
Stephen Kell University of Cambridge Author of ShadowVM?: Robust and Comprehensive Dynamic Program Analysis for the Java Platform within the Research Papers-track in GPCE 2013
Steven Kelly MetaCase United Kingdom Author of The State of the Art in Language Workbenches within the Research Papers-track in SLE 2013
Paul H J Kelly Imperial College London United Kingdom Author of Barrier Invariants: A Shared State Abstraction for the Analysis of Data-Dependent GPU Kernels within the OOPSLA-track in SPLASH 2013 Committee Member in External Review Committee within the SPLASH OOPSLA-track
Jeroen Ketema Author of Barrier Invariants: A Shared State Abstraction for the Analysis of Data-Dependent GPU Kernels within the OOPSLA-track in SPLASH 2013
Sarfraz Khurshid University of Texas at Austin United States Author of Injecting Mechanical Faults to Localize Developer Faults for Evolving Software within the OOPSLA-track in SPLASH 2013
Gregor Kiczales Author of Interacting with Dead Objects within the OOPSLA-track in SPLASH 2013
Andrei Kirshin Author of NitroGen: Rapid Development of Mobile Applications within the Demonstrations-track in SPLASH 2013
Paul Klint Author of Micro-Machinations: A DSL for Game Economies within the Research Papers-track in SLE 2013
Etienne Kneuss Author of Synthesis Modulo Recursive Functions within the OOPSLA-track in SPLASH 2013
Sahar Kokaly Author of Mapping-Aware Megamodeling: Design Patterns and Laws within the Research Papers-track in SLE 2013
Sergiy Kolesnikov Author of A Comparison of Product-based, Feature-based, and Family-based Type Checking within the Research Papers-track in GPCE 2013
Peter Komisarczuk Author of Using Document-Oriented GUIs in Dynamic Software Product Lines within the Research Papers-track in GPCE 2013
Gabriël Konat Delft University of Technology Netherlands Author of The State of the Art in Language Workbenches within the Research Papers-track in SLE 2013 Author of Language-Parametric Incremental Name and Type Analysis within the Research Papers-track in SLE 2013
Eric Koskinen Stevens Institute of Technology Author of Turning Nondeterminism into Parallelism within the OOPSLA-track in SPLASH 2013
Dean Kramer Author of Using Document-Oriented GUIs in Dynamic Software Product Lines within the Research Papers-track in GPCE 2013
Shriram Krishnamurthi Brown University, USA Author of Whalesong: Running Racket in the Browser within the Research Papers-track in DLS 2013 Author of TejaS: Retrofitting Type Systems for JavaScript within the Research Papers-track in DLS 2013 Author of Usable Security as a Static Analysis Problem: Modeling and Reasoning About User Permissions in Social-Sharing Systems within the Research Papers-track in Onward! 2013 Author of Bootstrap: Programming Games with Algebra within the SPLASH-E-track in SPLASH 2013 Author of Python: The Full Monty; A Tested Semantics for the Python Programming Language within the OOPSLA-track in SPLASH 2013 Author of JavaScript as an Intermediate Language within the Keynotes-track in SPLASH 2013 Author of Panel — MOOCs: Early Experience within the SPLASH-E-track in SPLASH 2013 Author of Debate: Should Software Conferences Respect Software? within the Panels-track in SPLASH 2013
Pradeep Kudikala Author of Technical Debt within the Panels-track in SPLASH 2013
Milind Kulkarni Purdue University Author of Octet: Capturing and Controlling Cross-Thread Dependences Efficiently within the OOPSLA-track in SPLASH 2013
Viktor Kunčak EPFL, Switzerland Author of Game Programming by Demonstration within the Research Papers-track in Onward! 2013 Author of Synthesis Modulo Recursive Functions within the OOPSLA-track in SPLASH 2013
Ivan Kuraj MIT CSAIL, USA Serbia and Montenegro Author of Synthesis Modulo Recursive Functions within the OOPSLA-track in SPLASH 2013
Darya Kurilova Author of On the Simplicity of Synthesizing Linked Data Structure Operations within the Research Papers-track in GPCE 2013
Takayuki Kuroda Author of Model-driven Generative Framework for Automated OMG DDS Performance Testing in the Cloud within the Research Papers-track in GPCE 2013
Young-Woo Kwon Utah State University Author of Effective Fusion and Separation of Distribution, Fault-Tolerance, and Energy-Efficiency Concerns within the Doctoral Symposium-track in SPLASH 2013 Author of Orchestrating Mobile Application Execution for Performance and Energy Efficiency within the ACM SRC-track in SPLASH 2013
Christian Kästner Carnegie Mellon University, USA Germany Co-chair in Program Committee within the GPCE-track Committee Member in Program Committee within the SPLASH OOPSLA-track
Pierre LaBorde Author of Effective Use of Non-blocking Data Structures in a Deduplication Application within the Wavefront Experience-track in SPLASH 2013
Junilu Lacar Author of Technical Debt within the Panels-track in SPLASH 2013
Nurudeen Lameed Author of Optimizing MATLAB feval with Dynamic Techniques within the Research Papers-track in DLS 2013
Patrick Lam University of Waterloo Committee Member in Committee within the SPLASH ACM SRC-track
Philip Langer Author of xMOF: Executable DSMLs based on fUML within the Research Papers-track in SLE 2013
Matias Vara Larsen Author of Reifying Concurrency for Executable Metamodeling within the Research Papers-track in SLE 2013
Julia Lawall Inria/LIP6 Committee Member in Program Committee within the SPLASH OOPSLA-track
Gary Leavens University of Central Florida United States Author of Client-Aware Checking and Information Hiding in Interface Specifications with JML/ajmlc within the Demonstrations-track in SPLASH 2013 Committee Member in External Review Committee within the SPLASH OOPSLA-track
Doug Lea State University of New York (SUNY) Oswego United States Author of Panel — Curriculum 2013: What’s new and how do we adapt? within the SPLASH-E-track in SPLASH 2013 Committee Member in Committee within the SPLASH -E-track Committee Member in Program Committee within the SPLASH OOPSLA-track
Richard Leblanc Seattle University Author of Panel — Test-Driven Development within the SPLASH-E-track in SPLASH 2013 Author of Panel — Curriculum 2013: What’s new and how do we adapt? within the SPLASH-E-track in SPLASH 2013 Committee Member in Committee within the SPLASH -E-track
Hyoukjoong Lee Author of Forge: Generating a High Performance DSL Implementation from a Declarative Specification. within the Research Papers-track in GPCE 2013
Hongki Lee Author of All about the with Statement in JavaScript: Removing with Statements in JavaScript Applications within the Research Papers-track in DLS 2013
Philipp Lengauer Author of VM-Level Memory Monitoring for Resolving Performance Problems within the Doctoral Symposium-track in SPLASH 2013
Ruth Lennon Committee Member in Committee within the SPLASH Wavefront-track
Benjamin Lerner Northeastern University United States Author of TejaS: Retrofitting Type Systems for JavaScript within the Research Papers-track in DLS 2013
Mohsen Lesani University of California, Riverside United States Author of MrCrypt: Static Analysis for Secure Cloud Computations within the OOPSLA-track in SPLASH 2013
Michael Leuschel University of Düsseldorf Committee Member in Program Committee within the DLS-track
Vu Le Microsoft Vietnam Committee Member in Artifacts within the SPLASH OOPSLA Artifacts-track
Grace Lewis Carnegie Mellon Software Engineering Institute United States Author of Mobile Computing in Resource-Constrained Environments within the Keynotes-track in SPLASH 2013
Jörg Liebig Author of Does the Discipline of Preprocessor Annotations Matter? A Controlled Experiment within the Research Papers-track in GPCE 2013
Ricardo Massa Lima Author of Client-Aware Checking and Information Hiding in Interface Specifications with JML/ajmlc within the Demonstrations-track in SPLASH 2013
Eric Lin Iowa State University, USA Author of Panini: a Capsule-oriented Programming Language for Implicitly Concurrent Program Design within the Demonstrations-track in SPLASH 2013
Yu David Liu State University of New York (SUNY) Binghamton United States Committee Member in Program Committee within the SPLASH OOPSLA-track
Xuandong Li Nanjing University Author of Steering Symbolic Execution to Less Traveled Paths within the OOPSLA-track in SPLASH 2013
You Li Author of Steering Symbolic Execution to Less Traveled Paths within the OOPSLA-track in SPLASH 2013
Boyang Li Author of Inductive Invariant Generation via Abductive Inference within the OOPSLA-track in SPLASH 2013
Du Li Hewlett Packard Labs United States Committee Member in Artifacts within the SPLASH OOPSLA Artifacts-track
Junsong Li Brown University Author of Python: The Full Monty; A Tested Semantics for the Python Programming Language within the OOPSLA-track in SPLASH 2013
Francesco Logozzo Facebook United States Committee Member in Committee within the SPLASH ACM SRC-track
Alex Loh Author of The State of the Art in Language Workbenches within the Research Papers-track in SLE 2013
Crista Lopes University of California, Irvine Chair in Program Committee within the SPLASH OOPSLA-track Chair in External Review Committee within the SPLASH OOPSLA-track
Roberto Lublinerman Author of Isolation for Nested Task Parallelism within the OOPSLA-track in SPLASH 2013
Dorel Lucanu Author of A Generic Framework for Symbolic Execution within the Research Papers-track in SLE 2013
Mircea F. Lungu University of Groningen Netherlands Committee Member in Program Committee within the SPLASH OOPSLA-track
Aran Lunzer Author of KScript and KSWorld: A Time-Aware and Mostly Declarative Language and Interactive GUI Framework within the Research Papers-track in Onward! 2013
Shan Lu University of Chicago Author of Efficient Concurrency-Bug Detection Across Inputs within the OOPSLA-track in SPLASH 2013
Ralf Lämmel University of Koblenz-Landau, Germany Author of Method and tool support for classifying software languages with Wikipedia within the Research Papers-track in SLE 2013
Walid Maalej University of Hamburg Germany Committee Member in Committee within the Onward! Essays-track
Ole Lehrmann Madsen Aarhus University & The Alexandra Institute Denmark Author of Back to the Future: SIMULA style concurrent objects within the Keynotes-track in SPLASH 2013
Tom Maibaum Author of Mapping-Aware Megamodeling: Design Patterns and Laws within the Research Papers-track in SLE 2013
Rupak Majumdar MPI-SWS Author of MrCrypt: Static Analysis for Secure Cloud Computations within the OOPSLA-track in SPLASH 2013
Frederic Mallet Author of Reifying Concurrency for Executable Metamodeling within the Research Papers-track in SLE 2013
Dennis Mancl MSWX Software Experts United States Committee Member in Committee within the SPLASH Wavefront Experience-track Chair in Committee within the SPLASH Wavefront-track
Lukas Marek Author of ShadowVM?: Robust and Comprehensive Dynamic Program Analysis for the Java Platform within the Research Papers-track in GPCE 2013
Darko Marinov University of Illinois at Urbana-Champaign United States Author of Model-Based, Event-Driven Programming Paradigm for Interactive Web Applications within the Research Papers-track in Onward! 2013
Marko Marko Author of Template Constructors for Reusable Object Initialization within the Research Papers-track in GPCE 2013
Alexandra Martinez Author of Python: The Full Monty; A Tested Semantics for the Python Programming Language within the OOPSLA-track in SPLASH 2013
Milo Martin Author of Ironclad C++: A Library-Augmented Type-Safe Subset of C++ within the OOPSLA-track in SPLASH 2013
Hidehiko Masuhara Tokyo Institute of Technology Japan Committee Member in Program Committee within the SPLASH OOPSLA-track
Tanja Mayerhofer TU Wien Austria Author of xMOF: Executable DSMLs based on fUML within the Research Papers-track in SLE 2013
Mikaël Mayer EPFL, Switzerland Author of Game Programming by Demonstration within the Research Papers-track in Onward! 2013
Eric McCorkle Author of Building Connections between the Theories of Programming Languages and Physical Systems within the Research Papers-track in Onward! 2013
Zach McCormick Author of Producing and Delivering a Coursera MOOC on Pattern-Oriented Software Architecture for Concurrent and Networked Software within the Wavefront-track in SPLASH 2013
Sean McDirmid HARC / Y Combinator Research United States Author of Usable Live Programming within the Research Papers-track in Onward! 2013 Author of Making Live Programming Real within the Keynotes-track in SPLASH 2013
Kathryn S McKinley Google Author of The Yin and Yang of Hardware Heterogeneity: Can Software Survive? within the Keynotes-track in SPLASH 2013 Author of The Latency, Accuracy, and Battery (LAB) Abstraction: Programmer Productivity and Energy Efficiency for Continuous Mobile Context Sensing within the OOPSLA-track in SPLASH 2013 Author of Bounded Partial-Order Reduction within the OOPSLA-track in SPLASH 2013 Author of Taking Off the Gloves with Reference Counting Immix within the OOPSLA-track in SPLASH 2013
Kenneth L. McMillan Microsoft Research United States Author of Inductive Invariant Generation via Abductive Inference within the OOPSLA-track in SPLASH 2013
Flávio Medeiros Federal University of Campina Grande Author of Investigating Preprocessor-Based Syntax Errors within the Research Papers-track in GPCE 2013
Darya Melicher Carnegie Mellon University Committee Member in Committee within the SPLASH Student Volunteers-track
Paulo Merson Author of Ultimate Architecture Enforcement — Custom checks enforced at code-commit time within the Wavefront Experience-track in SPLASH 2013 Committee Member in Committee within the SPLASH Wavefront Experience-track
Yossi Mesika Author of NitroGen: Rapid Development of Mobile Applications within the Demonstrations-track in SPLASH 2013
Leo Meyerovich Graphistry Author of Empirical Analysis of Programming Language Adoption within the OOPSLA-track in SPLASH 2013
Mira Mezini TU Darmstadt Germany Author of Template Constructors for Reusable Object Initialization within the Research Papers-track in GPCE 2013 Committee Member in External Review Committee within the SPLASH OOPSLA-track
Ana Milanova Rensselaer Polytechnic Institute United States Committee Member in Committee within the SPLASH ACM SRC-track
Matthew Milano Cornell University Author of Python: The Full Monty; A Tested Semantics for the Python Programming Language within the OOPSLA-track in SPLASH 2013
Aleksandar Milicevic Author of Model-Based, Event-Driven Programming Paradigm for Interactive Web Applications within the Research Papers-track in Onward! 2013
Heather Miller Ecole Polytechnique Federale de Lausanne Author of Instant Pickles: Generating Object-Oriented Pickler Combinators for Fast and Extensible Serialization within the OOPSLA-track in SPLASH 2013
Todd Millstein University of California, Los Angeles United States Committee Member in Program Committee within the SPLASH OOPSLA-track
Todd Millstein University of California, Los Angeles Author of MrCrypt: Static Analysis for Secure Cloud Computations within the OOPSLA-track in SPLASH 2013
Mehdi Mirakhorli Rochester Institute of Technology United States Committee Member in Committee within the SPLASH Student Volunteers-track
Sasa Misailovic University of Illinois at Urbana-Champaign, USA Author of Verifying Quantitative Reliability for Programs That Execute on Unreliable Hardware within the OOPSLA-track in SPLASH 2013 Committee Member in Artifacts within the SPLASH OOPSLA Artifacts-track
Nick Mitchell Author of On-the-fly Capacity Planning within the OOPSLA-track in SPLASH 2013
Pedro J. Molina Author of The State of the Art in Language Workbenches within the Research Papers-track in SLE 2013
Floreal Morandat Enseirb-Matmeca France Chair in Committee within the SPLASH Demonstrations-track
Dominik Mosen Author of Method and tool support for classifying software languages with Wikipedia within the Research Papers-track in SLE 2013
Emerson Murphy-Hill North Carolina State University Committee Member in Program Committee within the SPLASH OOPSLA-track
Madan Musuvathi Microsoft Research Author of Bounded Partial-Order Reduction within the OOPSLA-track in SPLASH 2013
Todd Mytkowicz Microsoft Research Author of The Latency, Accuracy, and Battery (LAB) Abstraction: Programmer Productivity and Energy Efficiency for Continuous Mobile Context Sensing within the OOPSLA-track in SPLASH 2013 Committee Member in Artifacts within the SPLASH OOPSLA Artifacts-track
Anders Møller Aarhus University Denmark Author of Semi-Automatic Rename Refactoring for JavaScript within the OOPSLA-track in SPLASH 2013
Santosh Nagarakatte Rutgers University, USA United States Author of Ironclad C++: A Library-Augmented Type-Safe Subset of C++ within the OOPSLA-track in SPLASH 2013
Priya Nagpurkar IBM Research, USA United States Committee Member in Program Committee within the DLS-track
Mangala Gowri Nanda Author of Combining Concern Input with Program Analysis for Bloat Detection within the OOPSLA-track in SPLASH 2013
Chinmay Narayan Author of Relaxed Separation Logic: A Program Logic for C11 Concurrency within the OOPSLA-track in SPLASH 2013
Nanjangud C. Narendra Committee Member in Committee within the SPLASH Wavefront-track
Iulian Neamtiu New Jersey Institute of Technology United States Author of Targeted and Depth-first Exploration for Systematic Testing of Android Apps within the OOPSLA-track in SPLASH 2013
George Necula University of California, Berkeley Author of Guided GUI Testing of Android Apps with Minimal Restart and Approximate Learning within the OOPSLA-track in SPLASH 2013
Stas Negara University of Illinois at Urbana-Champaign Committee Member in Artifacts within the SPLASH OOPSLA Artifacts-track
Hoan Nguyen Iowa State University Author of Mining Source Code Repositories with Boa within the Demonstrations-track in SPLASH 2013
Tien N. Nguyen University of Texas at Dallas United States Author of Declarative Visitors to Ease Fine-grained Source Code Mining with Full History on Billions of AST Nodes within the Research Papers-track in GPCE 2013 Author of Mining Source Code Repositories with Boa within the Demonstrations-track in SPLASH 2013
James Noble Victoria University of Wellington New Zealand Author of Debate: Should Software Conferences Respect Software? within the Panels-track in SPLASH 2013
Albert Noll Author of Online Feedback-Directed Optimizations for Parallel Java Code within the OOPSLA-track in SPLASH 2013
Brian Norris Author of CDSChecker: Checking Concurrent Data Structures Written with C/C++ Atomics within the OOPSLA-track in SPLASH 2013 Author of CDSChecker: Checking Concurrent Data Structures Written with C/C++ Atomics within the OOPSLA Artifacts-track in SPLASH 2013
Christopher O'Connor Committee Member in Committee within the SPLASH Wavefront-track
Martin Odersky EPFL, Switzerland Switzerland Author of Forge: Generating a High Performance DSL Implementation from a Declarative Specification. within the Research Papers-track in GPCE 2013 Author of Spiral in Scala: Towards the Systematic Construction of Generators for Performance Libraries within the Research Papers-track in GPCE 2013 Author of Miniboxing: Improving the Speed to Code Size Tradeoff in Parametric Polymorphism Translations within the OOPSLA-track in SPLASH 2013 Author of Instant Pickles: Generating Object-Oriented Pickler Combinators for Fast and Extensible Serialization within the OOPSLA-track in SPLASH 2013
Georg Ofenbeck ETH Zurich, Switzerland Author of Spiral in Scala: Towards the Systematic Construction of Generators for Performance Libraries within the Research Papers-track in GPCE 2013
Peter Ohmann University of Wisconsin - Madison United States Author of CSI: Crash Scene Investigation within the ACM SRC-track in SPLASH 2013
Yoshiki Ohshima HARC / Y Combinator Research Japan Author of KScript and KSWorld: A Time-Aware and Mostly Declarative Language and Interactive GUI Framework within the Research Papers-track in Onward! 2013 Author of Toward the future of personal computing system construction within the Keynotes-track in SPLASH 2013
Bruno C. d. S. Oliveira University of Hong Kong, China Hong Kong Committee Member in Program Committee within the SPLASH OOPSLA-track
Toacy Oliveira Author of Supporting Large Scale Model Transformation Reuse within the Research Papers-track in GPCE 2013
Kunle Olukotun Stanford University United States Author of Forge: Generating a High Performance DSL Implementation from a Declarative Specification. within the Research Papers-track in GPCE 2013
Cyrus Omar Carnegie Mellon University United States Author of Structured Statistical Syntax Tree Prediction within the ACM SRC-track in SPLASH 2013 Committee Member in Committee within the SPLASH Student Volunteers-track
Bill Opdyke JP Morgan Chase & Co Author of Refactoring, Reuse & Reality: Revisited within the Keynotes-track in SPLASH 2013
William Opdyke Author of Technical Debt within the Panels-track in SPLASH 2013
Peter-Michael Osera Grinnell College United States Author of Teaching Induction with Functional Programming and A Proof Assistant within the SPLASH-E-track in SPLASH 2013 Author of Ironclad C++: A Library-Augmented Type-Safe Subset of C++ within the OOPSLA-track in SPLASH 2013
Klaus Ostermann University of Tuebingen Germany Author of Software Evolution to Domain-Specific Languages within the Research Papers-track in SLE 2013
Samia Oussena Author of Using Document-Oriented GUIs in Dynamic Software Product Lines within the Research Papers-track in GPCE 2013
Ipek Ozkaya Carnegie Mellon Software Engineering Institute United States Author of Technical Debt within the Panels-track in SPLASH 2013
Richard Paige University of York Co-chair in Program Committee within the SLE-track
Martin Palatnik Author of The State of the Art in Language Workbenches within the Research Papers-track in SLE 2013
Santosh Pande Author of Multiverse: Efficiently supporting distributed high-level speculation within the OOPSLA-track in SPLASH 2013
Changhee Park KAIST, South Korea Author of All about the with Statement in JavaScript: Removing with Statements in JavaScript Applications within the Research Papers-track in DLS 2013
Daniel Patterson Northeastern University United States Author of Python: The Full Monty; A Tested Semantics for the Python Programming Language within the OOPSLA-track in SPLASH 2013
David Patterson Author of Panel — Test-Driven Development within the SPLASH-E-track in SPLASH 2013 Author of Myths about MOOCs and Software Engineering Education within the SPLASH-E-track in SPLASH 2013
David Pearce Victoria University of Wellington New Zealand Author of Whiley: a Platform for Research in Software Verification within the Research Papers-track in SLE 2013
Thelge Peiris Committee Member in Committee within the SPLASH Student Volunteers-track
Santiago Perez De Rosso MIT CSAIL Author of What’s Wrong with Git? A Conceptual Design Analysis within the Research Papers-track in Onward! 2013
Igor Peshansky Google United States Chair in Committee within the SPLASH Demonstrations-track
Raquel Pillat Author of Supporting Large Scale Model Transformation Reuse within the Research Papers-track in GPCE 2013
Suresh Pillay Author of Variability Support in Domain-Specific Language Development within the Research Papers-track in SLE 2013
Gustavo Pinto Author of Refactoring Multicore Applications Towards Energy Efficiency within the Doctoral Symposium-track in SPLASH 2013 Author of Do Language Constructs for Concurrent Execution Have Impact on Energy Efficiency? within the ACM SRC-track in SPLASH 2013 Committee Member in Committee within the SPLASH Student Volunteers-track
Joe Gibbs Politz University of California, San Diego United States Author of TejaS: Retrofitting Type Systems for JavaScript within the Research Papers-track in DLS 2013 Author of Python: The Full Monty; A Tested Semantics for the Python Programming Language within the OOPSLA-track in SPLASH 2013
Martin Purvis University of Otago New Zealand Committee Member in Committee within the Onward! Essays-track
Hari Pyla Virginia Tech Committee Member in Committee within the SPLASH ACM SRC-track
Markus Püschel ETH Zürich Switzerland Author of Spiral in Scala: Towards the Systematic Construction of Generators for Performance Libraries within the Research Papers-track in GPCE 2013
Shaz Qadeer Microsoft Research Author of Barrier Invariants: A Shared State Abstraction for the Analysis of Data-Dependent GPU Kernels within the OOPSLA-track in SPLASH 2013
K R Jayaram IBM Research, USA Committee Member in Committee within the SPLASH Posters-track
Ariel Rabkin Cloudera Author of Empirical Analysis of Programming Language Adoption within the OOPSLA-track in SPLASH 2013
Hridesh Rajan Iowa State University United States Author of Declarative Visitors to Ease Fine-grained Source Code Mining with Full History on Billions of AST Nodes within the Research Papers-track in GPCE 2013 Author of Panini: a Capsule-oriented Programming Language for Implicitly Concurrent Program Design within the Demonstrations-track in SPLASH 2013 Author of Mining Source Code Repositories with Boa within the Demonstrations-track in SPLASH 2013 Committee Member in Program Committee within the SPLASH OOPSLA-track
Václav Rajlich Wayne State University Author of Teaching Future Software Developers within the SPLASH-E-track in SPLASH 2013
Kaushik Ravichandran Author of Multiverse: Efficiently supporting distributed high-level speculation within the OOPSLA-track in SPLASH 2013
Veselin Raychev ETH Zurich Author of Refactoring with Synthesis within the OOPSLA-track in SPLASH 2013 Author of Effective Race Detection for Event-Driven Programs within the OOPSLA Artifacts-track in SPLASH 2013 Author of Effective Race Detection for Event-Driven Programs within the OOPSLA-track in SPLASH 2013
Derek Rayside University of Waterloo Author of On the Simplicity of Synthesizing Linked Data Structure Operations within the Research Papers-track in GPCE 2013
Baishakhi Ray Committee Member in Artifacts within the SPLASH OOPSLA Artifacts-track
Henrique Rebelo Universidade Federal de Pernambuco Brazil Author of Identifying and Specifying Crosscutting Contracts with AspectJML within the ACM SRC-track in SPLASH 2013 Author of Client-Aware Checking and Information Hiding in Interface Specifications with JML/ajmlc within the Demonstrations-track in SPLASH 2013
Christoph Reichenbach Goethe University Committee Member in Committee within the SPLASH Demonstrations-track Committee Member in Artifacts within the SPLASH OOPSLA Artifacts-track
Alexander Repenning Author of Conversational Programming within the Research Papers-track in Onward! 2013
Mehrdad Reshadi Author of Improved Type Specialization for Dynamic Scripting Languages within the Research Papers-track in DLS 2013
Márcio Ribeiro Federal University of Alagoas, Brazil Brazil Author of Investigating Preprocessor-Based Syntax Errors within the Research Papers-track in GPCE 2013
Julien Richard-Foy Author of Efficient High-Level Abstractions for Web Programming within the Research Papers-track in GPCE 2013
Gregor Richards University of Waterloo Canada Author of One VM to Rule Them All within the Research Papers-track in Onward! 2013 Author of Flexible Access Control for Javascript within the OOPSLA-track in SPLASH 2013 Chair in Committee within the SPLASH Student Volunteers-track
Felix Rieger Philipps-Universität Marburg Author of A Framework for Extensible Languages within the Research Papers-track in GPCE 2013
Martin Rinard Massachusetts Institute of Technology United States Author of Verifying Quantitative Reliability for Programs That Execute on Unreliable Hardware within the OOPSLA-track in SPLASH 2013
Noam Rinetzky Tel Aviv University Israel Committee Member in Program Committee within the SPLASH OOPSLA-track
Behnam Robatmili Qualcomm Research Author of Improved Type Specialization for Dynamic Scripting Languages within the Research Papers-track in DLS 2013
Jared Roesch University of Washington, USA United States Author of Improved Type Specialization for Dynamic Scripting Languages within the Research Papers-track in DLS 2013
Tiark Rompf Purdue University United States Author of Forge: Generating a High Performance DSL Implementation from a Declarative Specification. within the Research Papers-track in GPCE 2013 Author of Spiral in Scala: Towards the Systematic Construction of Generators for Performance Libraries within the Research Papers-track in GPCE 2013
Claudio Russo Microsoft Research Committee Member in Program Committee within the SPLASH OOPSLA-track
Vlad Rusu Author of A Generic Framework for Symbolic Execution within the Research Papers-track in SLE 2013
Ryan Rybarczyk Committee Member in Committee within the SPLASH Student Volunteers-track
Sukyoung Ryu KAIST Korea, South Author of All about the with Statement in JavaScript: Removing with Statements in JavaScript Applications within the Research Papers-track in DLS 2013
Mooly Sagiv Tel Aviv University Author of Turning Nondeterminism into Parallelism within the OOPSLA-track in SPLASH 2013
Hitesh Sajnani Microsoft Committee Member in Artifacts within the SPLASH OOPSLA Artifacts-track
Roberto Salama Millennium Partners Committee Member in Committee within the SPLASH Wavefront Experience-track
Robin Salkeld Author of Interacting with Dead Objects within the OOPSLA-track in SPLASH 2013
Meisam Fathi Salmi Author of Octet: Capturing and Controlling Cross-Thread Dependences Efficiently within the OOPSLA-track in SPLASH 2013
Scott Saponas Author of The Latency, Accuracy, and Battery (LAB) Abstraction: Programmer Productivity and Energy Efficiency for Continuous Mobile Context Sensing within the OOPSLA-track in SPLASH 2013
Aibek Sarimbekov Author of ShadowVM?: Robust and Comprehensive Dynamic Program Analysis for the Java Platform within the Research Papers-track in GPCE 2013
Vivek Sarkar Rice University, USA United States Author of Isolation for Nested Task Parallelism within the OOPSLA-track in SPLASH 2013
John Sarracino University of California, San Diego Author of Type Refinement for Static Analysis of JavaScript within the Research Papers-track in DLS 2013
Jennifer B. Sartor Vrije Universiteit Brussel Belgium Author of Bottle Graphs: Visualizing Scalability Bottlenecks in Multi-Threaded Applications within the OOPSLA-track in SPLASH 2013 Committee Member in Committee within the SPLASH Doctoral Symposium-track Committee Member in Program Committee within the SPLASH OOPSLA-track
Max Schaefer Semmle United Kingdom Author of Refactoring with Synthesis within the OOPSLA-track in SPLASH 2013
Emmanuel Schanzer Brown University United States Author of Bootstrap: Programming Games with Algebra within the SPLASH-E-track in SPLASH 2013
Klemens Schindler Sioux Embedded Systems Author of The State of the Art in Language Workbenches within the Research Papers-track in SLE 2013
Eugen Schindler Oce Netherlands Author of The State of the Art in Language Workbenches within the Research Papers-track in SLE 2013
Eric Schkufza Stanford University Author of Data-Driven Equivalence Checking within the OOPSLA-track in SPLASH 2013
Douglas C. Schmidt Vanderbilt University Author of Producing and Delivering a Coursera MOOC on Pattern-Oriented Software Architecture for Concurrent and Networked Software within the Wavefront-track in SPLASH 2013
Sandro Schulze University of Magdeburg, Germany Germany Author of Does the Discipline of Preprocessor Annotations Matter? A Controlled Experiment within the Research Papers-track in GPCE 2013
Elizabeth Scott Royal Holloway University of London Author of Safe Specification of Operator Precedence Rules within the Research Papers-track in SLE 2013
Aritra Sengupta Ohio State University Author of Octet: Capturing and Controlling Cross-Thread Dependences Efficiently within the OOPSLA-track in SPLASH 2013
Koushik Sen University of California, Berkeley United States Author of Guided GUI Testing of Android Apps with Minimal Restart and Approximate Learning within the OOPSLA-track in SPLASH 2013 Committee Member in Program Committee within the SPLASH OOPSLA-track
Marco Servetto Victoria University of Wellington Committee Member in Artifacts within the SPLASH OOPSLA Artifacts-track
Andreas Sewe Codetrails Author of ShadowVM?: Robust and Comprehensive Dynamic Program Analysis for the Java Platform within the Research Papers-track in GPCE 2013 Committee Member in Artifacts within the SPLASH OOPSLA Artifacts-track
Clifford Shaffer Virginia Tech Author of Transforming Introductory Computer Science Projects via Real-Time Web Data within the SPLASH-E-track in SPLASH 2013
Rifat Shahriyar Bangladesh University of Engineering and Technology and Australian National University Bangladesh Author of Taking Off the Gloves with Reference Counting Immix within the OOPSLA-track in SPLASH 2013
Zalia Shams Author of Automatically Assessing the Quality of Student-Written Tests within the Doctoral Symposium-track in SPLASH 2013
Rahul Sharma Microsoft Research India Author of Data-Driven Equivalence Checking within the OOPSLA-track in SPLASH 2013
Stephen Sheneman Committee Member in Committee within the SPLASH Student Volunteers-track
Feng Shen Author of A Secure Play Store for Android within the Doctoral Symposium-track in SPLASH 2013 Committee Member in Committee within the SPLASH Student Volunteers-track
Xipeng Shen North Carolina State University United States Author of Do Computer Programs Have to Be As Dumb As They Are? within the Keynotes-track in SPLASH 2013
Yao Shi Author of Code Optimizations Using Formally Verified Properties within the OOPSLA-track in SPLASH 2013
Tatiana Shpeisman Google United States Author of River Trail: A Path to Parallelism in JavaScript within the OOPSLA-track in SPLASH 2013
Janet Siegmund University of Passau Germany Author of Does the Discipline of Preprocessor Annotations Matter? A Controlled Experiment within the Research Papers-track in GPCE 2013
Norbert Siegmund Bauhaus-University Weimar Germany Author of Family-Based Performance Measurement within the Research Papers-track in GPCE 2013 Committee Member in Artifacts within the SPLASH OOPSLA Artifacts-track
Doug Simon Oracle Labs Switzerland Author of One VM to Rule Them All within the Research Papers-track in Onward! 2013
Renuka R Sindhgatta Committee Member in Committee within the SPLASH Wavefront Experience-track
Christian Skalka University of Vermont Author of Scalaness/nesT: Type Specialized Staged Programming for Sensor Networks within the Research Papers-track in GPCE 2013
Yannis Smaragdakis University of Athens Author of Reified Type Parameters Using Java Annotations within the Research Papers-track in GPCE 2013 Author of Forsaking Inheritance: Supercharged Delegation in DelphJ within the OOPSLA-track in SPLASH 2013 Author of Set-Based Pre-Processing for Points-To Analysis within the OOPSLA-track in SPLASH 2013 Author of Class Hierarchy Complementation: Soundly Completing a Partial Type Graph within the OOPSLA-track in SPLASH 2013 Committee Member in External Review Committee within the SPLASH OOPSLA-track
Scott F. Smith The Johns Hopkins University United States Author of Scalaness/nesT: Type Specialized Staged Programming for Sensor Networks within the Research Papers-track in GPCE 2013
Scotty Smith Author of PyLOM: A Language and Run-Time System for Planning Applications within the Doctoral Symposium-track in SPLASH 2013
Stefan Sobernig Author of Developing a Domain-specific Language for Scheduling in the European Energy Sector within the Research Papers-track in SLE 2013
Armando Solar-Lezama MIT CSAIL United States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Riccardo Solmi Whole Factory srl Italy Author of The State of the Art in Language Workbenches within the Research Papers-track in SLE 2013
Yuriy Solodkyy Author of Open Pattern Matching for C++ within the Research Papers-track in GPCE 2013
Andrea Sorbini Author of Model-driven Generative Framework for Automated OMG DDS Performance Testing in the Cloud within the Research Papers-track in GPCE 2013
Tiago Boldt Sousa Author of Sensors, Actuators and Services - A Distributed Approach within the Wavefront-track in SPLASH 2013
Riley Spahn Committee Member in Committee within the SPLASH Student Volunteers-track
Jaswanth Sreeram Twitter United States Author of River Trail: A Path to Parallelism in JavaScript within the OOPSLA-track in SPLASH 2013
Manu Sridharan Uber Author of Refactoring with Synthesis within the OOPSLA-track in SPLASH 2013 Author of Effective Race Detection for Event-Driven Programs within the OOPSLA Artifacts-track in SPLASH 2013 Author of Effective Race Detection for Event-Driven Programs within the OOPSLA-track in SPLASH 2013 Committee Member in Committee within the SPLASH ACM SRC-track
Vincent St-Amour Northwestern University Committee Member in Artifacts within the SPLASH OOPSLA Artifacts-track
Lukas Stadler Oracle Labs, Austria Austria Author of One VM to Rule Them All within the Research Papers-track in Onward! 2013
Friedrich Steimann Fernuniversität Germany Author of Content over Container: Object-Oriented Programming with Multiplicities within the Research Papers-track in Onward! 2013
Alen Stojanov Author of Spiral in Scala: Towards the Systematic Construction of Generators for Performance Libraries within the Research Papers-track in GPCE 2013
Mark Strembeck Author of Developing a Domain-specific Language for Scheduling in the European Energy Sector within the Research Papers-track in SLE 2013
Bjarne Stroustrup Morgan Stanley Denmark Author of Open Pattern Matching for C++ within the Research Papers-track in GPCE 2013
Arvind Sujeeth Author of Forge: Generating a High Performance DSL Implementation from a Declarative Specification. within the Research Papers-track in GPCE 2013
Kevin Sullivan Author of Award Presentations for Onward! Most Notable Papers within the Research Papers-track in Onward! 2013
Alexander J. Summers ETH Zurich Committee Member in Program Committee within the SPLASH OOPSLA-track
Nick Sumner Simon Fraser University Committee Member in Committee within the SPLASH Posters-track
Yu-Shan Sun Committee Member in Committee within the SPLASH Student Volunteers-track
Philippe Suter Two Sigma Switzerland Author of Synthesis Modulo Recursive Functions within the OOPSLA-track in SPLASH 2013
Zhendong Su University of California, Davis United States Author of Steering Symbolic Execution to Less Traveled Paths within the OOPSLA-track in SPLASH 2013 Author of Detecting API Documentation Errors within the OOPSLA-track in SPLASH 2013 Committee Member in Program Committee within the SPLASH OOPSLA-track
Nikhil Swamy Microsoft Research United States Author of TS*: Gradual Typing Embedded Securely in JavaScript within the Keynotes-track in SPLASH 2013
Peter Sweeney IBM Research Author of On-the-fly Capacity Planning within the OOPSLA-track in SPLASH 2013
Alexandra Szynkarski Author of Technical Debt within the Panels-track in SPLASH 2013
Emma Söderberg Google Denmark Author of Circular Higher-order Attribute Grammars within the Research Papers-track in SLE 2013
Cristian Talau Author of Miniboxing: Improving the Speed to Code Size Tradeoff in Parametric Polymorphism Translations within the OOPSLA-track in SPLASH 2013
Sumant Tambe Author of Model-driven Generative Framework for Automated OMG DDS Performance Testing in the Cloud within the Research Papers-track in GPCE 2013
Éric Tanter University of Chile Chile Author of Cast Insertion Strategies for Gradually-Typed Objects within the Research Papers-track in DLS 2013
Gang Tan Pennsylvania State University Committee Member in Program Committee within the SPLASH OOPSLA-track
Sai Deep Tetali Author of MrCrypt: Static Analysis for Secure Cloud Computations within the OOPSLA-track in SPLASH 2013
Peter Thiemann University of Freiburg, Germany Author of Efficient Dynamic Access Analysis Using JavaScript Proxies within the Research Papers-track in DLS 2013
Eli Tilevich Virginia Tech Author of Transforming Introductory Computer Science Projects via Real-Time Web Data within the SPLASH-E-track in SPLASH 2013 Committee Member in External Review Committee within the SPLASH OOPSLA-track
Sam Tobin-Hochstadt Indiana University United States Committee Member in Committee within the SPLASH Doctoral Symposium-track Committee Member in Program Committee within the SPLASH OOPSLA-track
Emina Torlak University of Washington United States Author of Growing Solver-Aided Languages with Rosette within the Research Papers-track in Onward! 2013 Committee Member in Committee within the SPLASH Posters-track
Laurence Tratt King's College London United Kingdom Author of Detecting ambiguity in programming language grammars within the Research Papers-track in SLE 2013 Author of Storage Strategies for Collections in Dynamically Typed Languages within the OOPSLA-track in SPLASH 2013 Author of Storage Strategies for Collections in Dynamically Typed Languages within the OOPSLA Artifacts-track in SPLASH 2013
Sean Treichler NVIDIA United States Author of Language Support for Dynamic, Hierarchical Data Partitioning within the OOPSLA-track in SPLASH 2013
Omer Tripp IBM Thomas J. Watson Research Center Israel Author of Turning Nondeterminism into Parallelism within the OOPSLA-track in SPLASH 2013
Petr Tuma Charles University, Czech Republic Author of ShadowVM?: Robust and Comprehensive Dynamic Program Analysis for the Java Platform within the Research Papers-track in GPCE 2013
Vlad Ureche EPFL, Switzerland Romania Author of Miniboxing: Improving the Speed to Code Size Tradeoff in Parametric Polymorphism Translations within the OOPSLA-track in SPLASH 2013
Edoardo Vacchi Author of Variability Support in Domain-Specific Language Development within the Research Papers-track in SLE 2013
Viktor Vafeiadis MPI-SWS, Germany Greece Author of Relaxed Separation Logic: A Program Logic for C11 Concurrency within the OOPSLA-track in SPLASH 2013
Eric Van Wyk University of Minnesota, USA United States Committee Member in Program Committee within the SLE-track
Radu Vanciu Author of Finding Architectural Flaws in Android Apps Is Easy within the Demonstrations-track in SPLASH 2013
Andrei Varanovich University of Koblenz-Landau, Germany Author of Method and tool support for classifying software languages with Wikipedia within the Research Papers-track in SLE 2013
Naveneetha Vasudevan Author of Detecting ambiguity in programming language grammars within the Research Papers-track in SLE 2013
Martin Vechev ETH Zürich Author of Refactoring with Synthesis within the OOPSLA-track in SPLASH 2013 Author of Effective Race Detection for Event-Driven Programs within the OOPSLA Artifacts-track in SPLASH 2013 Author of Effective Race Detection for Event-Driven Programs within the OOPSLA-track in SPLASH 2013 Committee Member in External Review Committee within the SPLASH OOPSLA-track
Lakshmi Velicheti Committee Member in Committee within the SPLASH Student Volunteers-track
Vlad Vergu TU Delft Author of The State of the Art in Language Workbenches within the Research Papers-track in SLE 2013 Author of Language-Parametric Incremental Name and Type Analysis within the Research Papers-track in SLE 2013
Jurgen Vinju Centrum Wiskunde & Informatica / Technische Universiteit Eindhoven Netherlands Author of Safe Specification of Operator Precedence Rules within the Research Papers-track in SLE 2013 Committee Member in Program Committee within the SLE-track
Eelco Visser Delft University of Technology Netherlands Author of The State of the Art in Language Workbenches within the Research Papers-track in SLE 2013 Author of Language-Parametric Incremental Name and Type Analysis within the Research Papers-track in SLE 2013 Committee Member in Program Committee within the SPLASH OOPSLA-track
Jan Vitek Purdue University United States Comfy Chair in General for SPLASH 2013 Author of Flexible Access Control for Javascript within the OOPSLA-track in SPLASH 2013
Violetta Vylegzhanina Vanderbilt University Committee Member in Committee within the SPLASH Student Volunteers-track
Markus Völter itemis/independent Author of The State of the Art in Language Workbenches within the Research Papers-track in SLE 2013
Guido Wachsmuth Delft University of Technology, Netherlands Switzerland Author of The State of the Art in Language Workbenches within the Research Papers-track in SLE 2013 Author of Language-Parametric Incremental Name and Type Analysis within the Research Papers-track in SLE 2013
John Wagner Author of Type Refinement for Static Analysis of JavaScript within the Research Papers-track in DLS 2013
James M. Walsh Author of Usable Security as a Static Analysis Problem: Modeling and Reasoning About User Permissions in Social-Sharing Systems within the Research Papers-track in Onward! 2013
Linzhang Wang Author of Steering Symbolic Execution to Less Traveled Paths within the OOPSLA-track in SPLASH 2013
Sumner Warren Author of Python: The Full Monty; A Tested Semantics for the Python Programming Language within the OOPSLA-track in SPLASH 2013
Michael Watson Author of Scalaness/nesT: Type Specialized Staged Programming for Sensor Networks within the Research Papers-track in GPCE 2013
Marcel Weiher HPI, Germany Author of Polymorphic Identifiers: Uniform Resource Access in Objective-Smalltalk within the Research Papers-track in DLS 2013
Ben Wiedermann Harvey Mudd College Author of Type Refinement for Static Analysis of JavaScript within the Research Papers-track in DLS 2013
Greg Wilson Author of Two Solitudes within the Keynotes-track in SPLASH 2013
Christian Wimmer Oracle Labs Author of One VM to Rule Them All within the Research Papers-track in Onward! 2013 Author of ZipPy on Truffle: A Fast and Simple Implementation of Python within the Demonstrations-track in SPLASH 2013
Manuel Wimmer TU Wien Austria Author of xMOF: Executable DSMLs based on fUML within the Research Papers-track in SLE 2013
Jim Witschey Author of Secure development tool adoption in open-source within the ACM SRC-track in SPLASH 2013
Andreas Woess Oracle Labs Author of One VM to Rule Them All within the Research Papers-track in Onward! 2013
Mario Wolczko Oracle Labs United States Author of One VM to Rule Them All within the Research Papers-track in Onward! 2013 Author of VMs I Have Known and/or Loved within the Keynotes-track in SPLASH 2013
Bo Wu Colorado School of Mines Committee Member in Artifacts within the SPLASH OOPSLA Artifacts-track
Thomas Würthinger Author of One VM to Rule Them All within the Research Papers-track in Onward! 2013
Andrzej Wąsowski IT University of Copenhagen, Denmark Denmark Author of Partial Instances via Subclassing within the Research Papers-track in SLE 2013
Tao Xie Committee Member in External Review Committee within the SPLASH OOPSLA-track
Yingfei Xiong Peking University Committee Member in External Review Committee within the SPLASH OOPSLA-track
Harry Xu Author of Resurrector: A Tunable Object Lifetime Profiling Technique for Optimizing Real-World Programs within the OOPSLA-track in SPLASH 2013
Han Xu Author of User Model and System Model: The Yin and Yang in User-Centered Software Development within the Onward! Essays-track in Onward! 2013
Harry Xu University of California, Irvine United States Committee Member in Program Committee within the SPLASH OOPSLA-track
Eran Yahav Technion Israel Committee Member in External Review Committee within the SPLASH OOPSLA-track
Xi Yang Australian National University, Australia Author of Taking Off the Gloves with Reference Counting Immix within the OOPSLA-track in SPLASH 2013 Committee Member in Artifacts within the SPLASH OOPSLA Artifacts-track
Dacong Yan Google Committee Member in Artifacts within the SPLASH OOPSLA Artifacts-track
Amiram Yehudai Committee Member in External Review Committee within the SPLASH OOPSLA-track
Qing Yi Author of Effective Use of Non-blocking Data Structures in a Deduplication Application within the Wavefront Experience-track in SPLASH 2013
Danny Yoo Author of Whalesong: Running Racket in the Browser within the Research Papers-track in DLS 2013
Nobuko Yoshida Imperial College London Committee Member in External Review Committee within the SPLASH OOPSLA-track
Songqing Yue Author of Program Transformation Techniques Applied to Languages Used in High Performance Computing within the Doctoral Symposium-track in SPLASH 2013 Committee Member in Committee within the SPLASH Student Volunteers-track
Michel Zam Committee Member in Committee within the SPLASH Demonstrations-track
Francesco Zappa Nardelli Inria France Author of Flexible Access Control for Javascript within the OOPSLA-track in SPLASH 2013
Vadim Zaytsev Raincode Labs Belgium Author of Micropatterns in Grammars within the Research Papers-track in SLE 2013
Steve Zdancewic University of Pennsylvania United States Author of Teaching Induction with Functional Programming and A Proof Assistant within the SPLASH-E-track in SPLASH 2013 Author of Ironclad C++: A Library-Augmented Type-Safe Subset of C++ within the OOPSLA-track in SPLASH 2013
Wei Zhang University of California, Irvine China Author of Efficient Concurrency-Bug Detection Across Inputs within the OOPSLA-track in SPLASH 2013
Lingming Zhang Author of Injecting Mechanical Faults to Localize Developer Faults for Evolving Software within the OOPSLA-track in SPLASH 2013
Xiangyu Zhang Purdue University Author of On-the-fly Detection of Instability Problems in Floating-Point Program Execution within the OOPSLA-track in SPLASH 2013
Minjia Zhang Microsoft Research United States Author of Octet: Capturing and Controlling Cross-Thread Dependences Efficiently within the OOPSLA-track in SPLASH 2013
Lu Zhang Peking University Author of Injecting Mechanical Faults to Localize Developer Faults for Evolving Software within the OOPSLA-track in SPLASH 2013
Yunming Zhang Author of HJ-Hadoop: An Optimized MapReduce Runtime for Multi-core Systems within the ACM SRC-track in SPLASH 2013
Jisheng Zhao Author of Isolation for Nested Task Parallelism within the OOPSLA-track in SPLASH 2013
Yudi Zheng University of Lugano Switzerland Author of ShadowVM?: Robust and Comprehensive Dynamic Program Analysis for the Java Platform within the Research Papers-track in GPCE 2013
Hao Zhong Shanghai Jiao Tong University China Author of Detecting API Documentation Errors within the OOPSLA-track in SPLASH 2013
Haitao Zhu SUNY Binghamton Committee Member in Artifacts within the SPLASH OOPSLA Artifacts-track
Lukasz Ziarek SUNY Buffalo, USA United States Chair in Committee within the SPLASH Doctoral Symposium-track
Thomas Zimmermann Microsoft Research United States Committee Member in External Review Committee within the SPLASH OOPSLA-track
William Zimrin Author of Usable Security as a Static Analysis Problem: Modeling and Reasoning About User Permissions in Social-Sharing Systems within the Research Papers-track in Onward! 2013
Ryder Ziola Author of The Latency, Accuracy, and Battery (LAB) Abstraction: Programmer Productivity and Energy Efficiency for Continuous Mobile Context Sensing within the OOPSLA-track in SPLASH 2013
Gabi Zodik Author of MobileFirst: Future Directions in Programming and Runtime Models within the Keynotes-track in SPLASH 2013
Augusto Born de Oliveira University of Waterloo Committee Member in Artifacts within the SPLASH OOPSLA Artifacts-track
Hannah Quay-de la Vallee Author of Usable Security as a Static Analysis Problem: Modeling and Reasoning About User Permissions in Social-Sharing Systems within the Research Papers-track in Onward! 2013
Riemer van Rozen Author of Micro-Machinations: A DSL for Game Economies within the Research Papers-track in SLE 2013
Mark van den Brand Eindhoven University of Technology Netherlands Author of Safe Specification of Operator Precedence Rules within the Research Papers-track in SLE 2013
Tijs van der Storm Centrum Wiskunde & Informatica / University of Groningen Netherlands Author of The State of the Art in Language Workbenches within the Research Papers-track in SLE 2013
Kevin van der Vlist Author of The State of the Art in Language Workbenches within the Research Papers-track in SLE 2013
Jimi van der Woning Author of The State of the Art in Language Workbenches within the Research Papers-track in SLE 2013
Alexander von Rhein Author of A Comparison of Product-based, Feature-based, and Family-based Type Checking within the Research Papers-track in GPCE 2013 Author of Family-Based Performance Measurement within the Research Papers-track in GPCE 2013
Tony Clark Author of Using Document-Oriented GUIs in Dynamic Software Product Lines within the Research Papers-track in GPCE 2013
Johan Östlund Uppsala University Committee Member in Artifacts within the SPLASH OOPSLA Artifacts-track

SPLASH 2013 Contributors

Results (549)

Tracks

Co-hosted Conferences