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 Language Support for Dynamic, Hierarchical Data Partitioning within the OOPSLA-track in SPLASH 2013 Author of Data-Driven Equivalence Checking 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 Family-Based Performance Measurement 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 A Comparison of Product-based, Feature-based, and Family-based Type Checking 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 Class Hierarchy Complementation: Soundly Completing a Partial Type Graph within the OOPSLA-track in SPLASH 2013 Author of Set-Based Pre-Processing for Points-To Analysis 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 Artifacts-track in SPLASH 2013 Author of Storage Strategies for Collections in Dynamically Typed Languages within the OOPSLA-track in SPLASH 2013 Chair in Program Committee within the DLS-track
Michael Bond Ohio State University Author of Octet: Capturing and Controlling Cross-Thread Dependences Efficiently within the OOPSLA-track in SPLASH 2013 Author of Efficient Context Sensitivity for Dynamic Analyses via Calling Context Uptrees and Customized Memory Management 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 Reifying Concurrency for Executable Metamodeling within the Research Papers-track in SLE 2013 Author of Variability Support in Domain-Specific Language Development 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 Artifacts-track in SPLASH 2013 Author of CDSChecker: Checking Concurrent Data Structures Written with C/C++ Atomics within the OOPSLA-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 Artifacts-track in SPLASH 2013 Author of Storage Strategies for Collections in Dynamically Typed Languages within the OOPSLA-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 Mapping-Aware Megamodeling: Design Patterns and Laws within the Research Papers-track in SLE 2013 Author of Partial Instances via Subclassing 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 A Framework for Extensible Languages within the Research Papers-track in GPCE 2013 Author of Template Constructors for Reusable Object Initialization 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 Groenewegen Delft University of Technology Netherlands 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 Panel — MOOCs: Early Experience within the SPLASH-E-track in SPLASH 2013 Author of Input-Covering Schedules for Multithreaded Programs within the OOPSLA-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 Octet: Capturing and Controlling Cross-Thread Dependences Efficiently within the OOPSLA-track in SPLASH 2013 Author of Efficient Context Sensitivity for Dynamic Analyses via Calling Context Uptrees and Customized Memory Management 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 TejaS: Retrofitting Type Systems for JavaScript within the Research Papers-track in DLS 2013 Author of Whalesong: Running Racket in the Browser 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 Debate: Should Software Conferences Respect Software? within the Panels-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 Bootstrap: Programming Games with Algebra within the SPLASH-E-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
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 Artifacts-track in SPLASH 2013 Author of CDSChecker: Checking Concurrent Data Structures Written with C/C++ Atomics within the OOPSLA-track in SPLASH 2013
Christopher O'Connor Committee Member in Committee within the SPLASH Wavefront-track
Martin Odersky EPFL, Switzerland Switzerland Author of Spiral in Scala: Towards the Systematic Construction of Generators for Performance Libraries within the Research Papers-track in GPCE 2013 Author of Forge: Generating a High Performance DSL Implementation from a Declarative Specification. 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 Ironclad C++: A Library-Augmented Type-Safe Subset of C++ within the OOPSLA-track in SPLASH 2013 Author of Teaching Induction with Functional Programming and A Proof Assistant within the SPLASH-E-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 Myths about MOOCs and Software Engineering Education within the SPLASH-E-track in SPLASH 2013 Author of Panel — Test-Driven Development 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 Spiral in Scala: Towards the Systematic Construction of Generators for Performance Libraries within the Research Papers-track in GPCE 2013 Author of Forge: Generating a High Performance DSL Implementation from a Declarative Specification. 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 Class Hierarchy Complementation: Soundly Completing a Partial Type Graph within the OOPSLA-track in SPLASH 2013 Author of Set-Based Pre-Processing for Points-To Analysis 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 Detecting API Documentation Errors within the OOPSLA-track in SPLASH 2013 Author of Steering Symbolic Execution to Less Traveled Paths 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 Artifacts-track in SPLASH 2013 Author of Storage Strategies for Collections in Dynamically Typed Languages within the OOPSLA-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 Ironclad C++: A Library-Augmented Type-Safe Subset of C++ within the OOPSLA-track in SPLASH 2013 Author of Teaching Induction with Functional Programming and A Proof Assistant within the SPLASH-E-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 Family-Based Performance Measurement within the Research Papers-track in GPCE 2013 Author of A Comparison of Product-based, Feature-based, and Family-based Type Checking 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