SPLASH 2013 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (549)

A Aharon AbadiAbadi, Aharon IBM Research NitroGen: Rapid Development of Mobile Applications
Marwan Abi-AntounAbi-Antoun, Marwan Wayne State University Finding the Missing Eclipse Perspective: the Runtime Perspective
Ademola Peter AdejokunAdejokun, Ademola Peter Lockheed Martin Aeronautics Company Committee Member in Committee within the SPLASH Posters-track
Ali AfroozehAfroozeh, Ali Centrum Wiskunde & Informatica Safe Specification of Operator Precedence Rules
Alex AikenAiken, Alex Stanford University Language Support for Dynamic, Hierarchical Data Partitioning Data-Driven Equivalence Checking
Jonathan AldrichAldrich, Jonathan Carnegie Mellon UniversityUnited States The Power of Interoperability: Why Objects Are Inevitable Chair in Committee within the SPLASH Tutorials-track Committee Member in Program Committee within the GPCE-track
Esteban AllendeAllende, Esteban Cast Insertion Strategies for Gradually-Typed Objects Tackling the Efficiency Problem of Gradual Typing
Tony AllevatoAllevato, Tony Transforming Introductory Computer Science Projects via Real-Time Web Data
Kyoungho AnAn, Kyoungho RTI Model-driven Generative Framework for Automated OMG DDS Performance Testing in the Cloud
Saswat AnandAnand, Saswat Stanford University Committee Member in Committee within the SPLASH ACM SRC-track
Davide AnconaAncona, Davide University of GenovaItaly Committee Member in Program Committee within the DLS-track
Danilo AnsaloniAnsaloni, Danilo ShadowVM?: Robust and Comprehensive Dynamic Program Analysis for the Java Platform
Craig AnslowAnslow, Craig Victoria University of WellingtonNew Zealand Committee Member in Artifacts within the SPLASH OOPSLA Artifacts-track
Michal AntkiewiczAntkiewicz, Michal Partial Instances via Subclassing
Sven ApelApel, Sven University of Passau A Comparison of Product-based, Feature-based, and Family-based Type Checking Family-Based Performance Measurement Does the Discipline of Preprocessor Annotations Matter? A Controlled Experiment Committee Member in Program Committee within the GPCE-track
Molham ArefAref, Molham Logicblox Declarative Programming for the Cloud
Luis ArtolaArtola, Luis Committee Member in Committee within the SPLASH Wavefront Experience-track
Andrei ArusoaieArusoaie, Andrei A Generic Framework for Symbolic Execution
Tanzirul AzimAzim, Tanzirul University of California at Riverside, USABangladesh Targeted and Depth-first Exploration for Systematic Testing of Android Apps
B Godmar BackBack, Godmar Committee Member in Committee within the SPLASH Wavefront-track
Anya Helene BaggeBagge, Anya Helene University of BergenNorway A Pretty Good Formatting Pipeline
Mehdi BagherzadehBagherzadeh, Mehdi Oakland UniversityUnited States Committee Member in Committee within the SPLASH Student Volunteers-track
Kacper BakBak, Kacper Partial Instances via Subclassing
George BalatsourasBalatsouras, George University of Athens Set-Based Pre-Processing for Points-To Analysis Class Hierarchy Complementation: Soundly Completing a Partial Type Graph
Tom BallBall, Tom TouchDevelop: Productive Scripting on and for Touch-based Devices and Web Services
Emilie BallandBalland, Emilie Committee Member in Program Committee within the GPCE-track
Tao BaoBao, Tao Purdue University, USA On-the-fly Detection of Instability Problems in Floating-Point Program Execution
Olivier BaraisBarais, Olivier Efficient High-Level Abstractions for Web Programming Reifying Concurrency for Executable Metamodeling
Austin Cory BartBart, Austin Cory Virginia Tech Transforming Introductory Computer Science Projects via Real-Time Web Data
Fábio BassoBasso, Fábio Supporting Large Scale Model Transformation Reuse
Don BatoryBatory, Don University of Texas, AustinUnited States Dark Knowledge and Graph Grammars in Automated Software Design Committee Member in Program Committee within the GPCE-track Committee Member in Program Committee within the SPLASH OOPSLA-track
Benoit BaudryBaudry, Benoit KTH Royal Institute of Technology, SwedenSweden Reifying Concurrency for Executable Metamodeling
Michael BauerBauer, Michael NVIDIA Research Language Support for Dynamic, Hierarchical Data Partitioning
Michael BazikBazik, Michael Investigation of Error Notifications Through Categorization
Andreas BeckBeck, Andreas Developing a Domain-specific Language for Scheduling in the European Energy Sector
Leandro BeckerBecker, Leandro Supporting Large Scale Model Transformation Reuse
Jonathan BellBell, Jonathan George Mason UniversityUnited States Chair in Committee within the SPLASH Student Volunteers-track
Idan Ben-HarrushBen-Harrush, Idan NitroGen: Rapid Development of Mobile Applications
Tom BerganBergan, Tom University of Washington Input-Covering Schedules for Multithreaded Programs
Emery D. BergerBerger, Emery D. University of Massachusetts, AmherstUnited States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Akshatha BhatBhat, Akshatha Effective Use of Non-blocking Data Structures in a Deduplication Application
Suparna BhattacharyaBhattacharya, Suparna Hewlett-Packard EnterpriseIndia Combining Concern Input with Program Analysis for Bloat Detection
Aggelos BiboudisBiboudis, Aggelos Ecole Polytechnique Federale de LausanneSwitzerland Reified Type Parameters Using Java Annotations Forsaking Inheritance: Supercharged Delegation in DelphJ
Walter BinderBinder, Walter University of Lugano, Switzerland ShadowVM?: Robust and Comprehensive Dynamic Program Analysis for the Java Platform
Judith BishopBishop, Judith Stellenbosch UniversitySouth Africa Technical Debt
Swarnendu BiswasBiswas, Swarnendu Octet: Capturing and Controlling Cross-Thread Dependences Efficiently
Andrew BlackBlack, Andrew Portland State UniversityUnited States Committee Member in Program Committee within the Onward! Research Papers-track Committee Member in External Review Committee within the SPLASH OOPSLA-track
Steve BlackburnBlackburn, Steve Australian National University Australia Taking Off the Gloves with Reference Counting Immix Chair in Artifacts within the SPLASH OOPSLA Artifacts-track
Bernard BlackhamBlackham, Bernard Code Optimizations Using Formally Verified Properties
Christoph BockischBockisch, Christoph Philipps-Universität MarburgGermany Committee Member in External Review Committee within the SPLASH OOPSLA-track
Eric BoddenBodden, Eric Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM Committee Member in External Review Committee within the SPLASH OOPSLA-track
Rastislav BodikBodik, Rastislav University of Washington Growing Solver-Aided Languages with Rosette Modeling Biology with Solver-Aided Programming Languages
Meinte BoersmaBoersma, Meinte Mendix/independent The State of the Art in Language Workbenches
Tiago Boldt SousaBoldt Sousa, Tiago Sensors, Actuators and Services - A Distributed Approach
Carl Friedrich Bolz-TereickBolz-Tereick, Carl Friedrich Germany Storage Strategies for Collections in Dynamically Typed Languages Storage Strategies for Collections in Dynamically Typed Languages Chair in Program Committee within the DLS-track
Michael D. BondBond, Michael D. Ohio State University Efficient Context Sensitivity for Dynamic Analyses via Calling Context Uptrees and Customized Memory Management Octet: Capturing and Controlling Cross-Thread Dependences Efficiently
Paulo BorbaBorba, Paulo Federal University of Pernambuco, BrazilBrazil Committee Member in Program Committee within the GPCE-track
Remi BosmanBosman, Remi The State of the Art in Language Workbenches
Naoufel BoulilaBoulila, Naoufel User Model and System Model: The Yin and Yang in User-Centered Software Development
Gilad BrachaBracha, Gilad GoogleIsrael Does Thought Crime Pay? Committee Member in External Review Committee within the SPLASH OOPSLA-track
Kevin J. BrownBrown, Kevin J. Stanford University Forge: Generating a High Performance DSL Implementation from a Declarative Specification.
Kim BruceBruce, Kim Pomona CollegeUnited States FOOL @ 20 Panel — MOOCs: Early Experience Chair in Committee within the SPLASH -E-track
Bernd BrueggeBruegge, Bernd TU MunichGermany Chair in Committee within the Onward! Essays-track
Stefan BrunthalerBrunthaler, Stefan University of California, Irvine ZipPy on Truffle: A Fast and Simple Implementation of Python
A. J. BrushBrush, A. J. The Latency, Accuracy, and Battery (LAB) Abstraction: Programmer Productivity and Energy Efficiency for Continuous Mobile Context Sensing
Duane BuckBuck, Duane First, Do No Harm: A Curricular Approach to Exceptions Objektgraph: Why Code When MVC Apps Can Be Generated Solely With UML-based Diagrams?
Zoran BudimlicBudimlic, Zoran Isolation for Nested Task Parallelism
Kevin BuffardiBuffardi, Kevin Panel — Test-Driven Development
Lubomír BulejBulej, Lubomír Charles UniversityCzech Republic ShadowVM?: Robust and Comprehensive Dynamic Program Analysis for the Java Platform
Eugene BurmakoBurmako, Eugene TwitterUnited States Instant Pickles: Generating Object-Oriented Pickler Combinators for Fast and Extensible Serialization
C Man CaoCao, Man Ohio State University Octet: Capturing and Controlling Cross-Thread Dependences Efficiently
Michael CarbinCarbin, Michael MITUnited States Verifying Quantitative Reliability for Programs That Execute on Unreliable Hardware
Walter CazzolaCazzola, Walter Università degli Studi di MilanoItaly Variability Support in Domain-Specific Language Development
Luis CezeCeze, Luis University of Washington, USABrazil Input-Covering Schedules for Multithreaded Programs
Joël ChampeauChampeau, Joël A Model-Driven Approach to Enhance Tool Interoperability using the Theory of Models of Computation
Peter ChapinChapin, Peter Vermont Technical College Scalaness/nesT: Type Specialized Staged Programming for Sensor Networks
Keith ChapmanChapman, Keith Purdue UniversityUnited States Committee Member in Committee within the SPLASH Student Volunteers-track
Swarat ChaudhuriChaudhuri, Swarat Rice University Isolation for Nested Task Parallelism Committee Member in External Review Committee within the SPLASH OOPSLA-track
Qi ChenChen, Qi Committee Member in Committee within the SPLASH Student Volunteers-track
Shigeru ChibaChiba, Shigeru University of Tokyo, JapanJapan Committee Member in Program Committee within the Onward! Research Papers-track Committee Member in Program Committee within the SPLASH OOPSLA-track
Dan ChioreanChiorean, Dan Babes-Bolyai University, Cluj-NapocaRomania Committee Member in Committee within the Onward! Essays-track
Anand ChitipothuChitipothu, Anand Python: The Full Monty; A Tested Semantics for the Python Programming Language
Wontae ChoiChoi, Wontae Guided GUI Testing of Android Apps with Minimal Restart and Approximate Learning
Nathan ChongChong, Nathan University College London Barrier Invariants: A Shared State Abstraction for the Analysis of Data-Dependent GPU Kernels
Berkeley ChurchillChurchill, Berkeley Stanford University Data-Driven Equivalence Checking
Marta CimitileCimitile, Marta Committee Member in External Review Committee within the SPLASH OOPSLA-track
Sylvan ClebschClebsch, Sylvan Imperial College London Fully Concurrent Garbage Collection of Actors on Many-Core Machines
Will ClingerClinger, Will Committee Member in Program Committee within the DLS-track
Yvonne CoadyCoady, Yvonne University of VictoriaCanada Committee Member in Program Committee within the SPLASH OOPSLA-track
Benoit CombemaleCombemale, Benoit University of Rennes 1France Reifying Concurrency for Executable Metamodeling Variability Support in Domain-Specific Language Development
William CookCook, William University of Texas at Austin The State of the Art in Language Workbenches Committee Member in Program Committee within the Onward! Research Papers-track
Katherine E. CoonsCoons, Katherine E. Bounded Partial-Order Reduction
Pascal CostanzaCostanza, Pascal imecBelgium Committee Member in Program Committee within the Onward! Research Papers-track
Oliver CreightonCreighton, Oliver User Model and System Model: The Yin and Yang in User-Centered Software Development
Bryce Cronkite-RatcliffCronkite-Ratcliff, Bryce Development of Automatically Verifiable Systems using Data Representation Synthesis
Daniel CukierCukier, Daniel DevOps patterns to scale web applications using cloud services Committee Member in Committee within the SPLASH Student Volunteers-track
Krzysztof CzarneckiCzarnecki, Krzysztof University of Waterloo, CanadaCanada Partial Instances via Subclassing
D Daniele Cono D'EliaD'Elia, Daniele Cono Sapienza University of Rome, ItalyItaly Ball-Larus Path Profiling Across Multiple Loop Iterations
Wolfgang De MeuterDe Meuter, Wolfgang Vrije Universiteit Brussel Committee Member in Program Committee within the Onward! Research Papers-track Committee Member in Program Committee within the SPLASH OOPSLA-track
Augusto Born de Oliveirade Oliveira, Augusto Born University of Waterloo Committee Member in Artifacts within the SPLASH OOPSLA Artifacts-track
Julien DeAntoniDeAntoni, Julien Reifying Concurrency for Executable Metamodeling
Damian DechevDechev, Damian Effective Use of Non-blocking Data Structures in a Deduplication Application
Benjamin DelawareDelaware, Benjamin Purdue University Committee Member in Artifacts within the SPLASH OOPSLA Artifacts-track
Christian DeLozierDeLozier, Christian University of Pennsylvania Ironclad C++: A Library-Augmented Type-Safe Subset of C++
Camil DemetrescuDemetrescu, Camil Sapienza University RomeItaly Ball-Larus Path Profiling Across Multiple Loop Iterations
Ruth DemmelDemmel, Ruth User Model and System Model: The Yin and Yang in User-Centered Software Development
Brian DemskyDemsky, Brian University of California, IrvineUnited States CDSChecker: Checking Concurrent Data Structures Written with C/C++ Atomics CDSChecker: Checking Concurrent Data Structures Written with C/C++ Atomics
Dongdong DengDeng, Dongdong Efficient Concurrency-Bug Detection Across Inputs
Marcus DenkerDenker, Marcus INRIA Lille Committee Member in Program Committee within the DLS-track
Deepak DhunganaDhungana, Deepak Generation of Conjoint Domain Models for System-of-Systems
Papa Issa DialloDiallo, Papa Issa A Model-Driven Approach to Enhance Tool Interoperability using the Theory of Models of Computation
Lukas DiekmannDiekmann, Lukas King's College London Storage Strategies for Collections in Dynamically Typed Languages Storage Strategies for Collections in Dynamically Typed Languages
Ira DiethelmDiethelm, Ira Objektgraph: Why Code When MVC Apps Can Be Generated Solely With UML-based Diagrams?
Danny DigDig, Danny School of EECS at Oregon State University Committee Member in Program Committee within the SPLASH OOPSLA-track
Isil DilligDillig, Isil UT Austin Inductive Invariant Generation via Abductive Inference Committee Member in External Review Committee within the SPLASH OOPSLA-track Chair in Committee within the SPLASH ACM SRC-track
Thomas DilligDillig, Thomas Inductive Invariant Generation via Abductive Inference
Christos DimoulasDimoulas, Christos Harvard University, USA Option Contracts
Zinovy DiskinDiskin, Zinovy McMaster University Mapping-Aware Megamodeling: Design Patterns and Laws Partial Instances via Subclassing
Alastair F. DonaldsonDonaldson, Alastair F. Imperial College LondonUnited Kingdom Barrier Invariants: A Shared State Abstraction for the Analysis of Data-Dependent GPU Kernels
Gabriel Dos ReisDos Reis, Gabriel Texas A&M University and Microsoft Open Pattern Matching for C++
Jamie DouglassDouglass, Jamie Boeing Committee Member in Committee within the SPLASH Wavefront Experience-track
Sophia DrossopoulouDrossopoulou, Sophia Fully Concurrent Garbage Collection of Actors on Many-Core Machines
Kristof Du BoisDu Bois, Kristof Bottle Graphs: Visualizing Scalability Bottlenecks in Multi-Threaded Applications
Yael DubinskyDubinsky, Yael IBM NitroGen: Rapid Development of Mobile Applications
Gilles DuboscqDuboscq, Gilles Oracle LabsSwitzerland One VM to Rule Them All
Stéphane DucasseDucasse, Stéphane INRIA Lille Committee Member in Program Committee within the Onward! Research Papers-track
Matthew B DwyerDwyer, Matthew B University of NebraskaUnited States Committee Member in Program Committee within the SPLASH OOPSLA-track
Robert DyerDyer, Robert Bowling Green State UniversityUnited States Declarative Visitors to Ease Fine-grained Source Code Mining with Full History on Billions of AST Nodes Task Fusion: Improving Utilization of Multi-user Clusters Mining Source Code Repositories with Boa Committee Member in Artifacts within the SPLASH OOPSLA Artifacts-track
E Jonathan EdwardsEdwards, Jonathan United States Committee Member in Program Committee within the Onward! Research Papers-track
Stephen EdwardsEdwards, Stephen Panel — Test-Driven Development
Lieven EeckhoutEeckhout, Lieven Ghent University, Belgium Bottle Graphs: Visualizing Scalability Bottlenecks in Multi-Threaded Applications
Richard A. EisenbergEisenberg, Richard A. Bryn Mawr College, USAUnited States Ironclad C++: A Library-Augmented Type-Safe Subset of C++
Sebastian ErdwegErdweg, Sebastian TU DelftNetherlands Software Evolution to Domain-Specific Languages The State of the Art in Language Workbenches A Framework for Extensible Languages Template Constructors for Reusable Object Initialization Committee Member in Program Committee within the GPCE-track
Joey EremondiEremondi, Joey Utrecht UniversityCanada The Poor Man's Proof Assistant: Using Prolog to Develop Formal Language Theoretic Proofs
Erik ErnstErnst, Erik Google Inc.Denmark Committee Member in Program Committee within the Onward! Research Papers-track
Martin ErwigErwig, Martin Oregon State UniversityUnited States Co-chair in Program Committee within the SLE-track Committee Member in Program Committee within the GPCE-track
Patrick EugsterEugster, Patrick Purdue UniversityUnited States Chair in General for SPLASH 2013
Stijn EyermanEyerman, Stijn Bottle Graphs: Visualizing Scalability Bottlenecks in Multi-Threaded Applications
F Johan FabryFabry, Johan Raincode Labs, BelgiumBelgium Cast Insertion Strategies for Gradually-Typed Objects
Andreas FalknerFalkner, Andreas Generation of Conjoint Domain Models for System-of-Systems
Stefan FehrenbachFehrenbach, Stefan University of Edinburgh Software Evolution to Domain-Specific Languages
Steven FeldmanFeldman, Steven Effective Use of Non-blocking Data Structures in a Deduplication Application
Asger FeldthausFeldthaus, Asger Aarhus UniversityDenmark Semi-Automatic Rename Refactoring for JavaScript
Matthias FelleisenFelleisen, Matthias Northeastern University, USA Option Contracts Committee Member in Committee within the SPLASH -E-track
Hugo Sereno FerreiraFerreira, Hugo Sereno FEUP, Universidade do Porto Committee Member in Committee within the SPLASH Wavefront Experience-track
Filipe Figueiredo CorreiaFigueiredo Correia, Filipe University of Porto / ParadigmaXis, Portugal Documenting Software Using Adaptive Software Artifacts Committee Member in Committee within the SPLASH Student Volunteers-track
Robby FindlerFindler, Robby Northwestern University, USAUnited States Option Contracts Committee Member in Program Committee within the DLS-track Committee Member in Program Committee within the Onward! Research Papers-track
Anthony FinkelsteinFinkelstein, Anthony University College London Committee Member in Committee within the Onward! Essays-track
Bernd FischerFischer, Bernd Stellenbosch University Committee Member in Program Committee within the GPCE-track
Kathi FislerFisler, Kathi Brown UniversityUnited States Usable Security as a Static Analysis Problem: Modeling and Reasoning About User Permissions in Social-Sharing Systems Bootstrap: Programming Games with Algebra
Matthew FlattFlatt, Matthew University of UtahUnited States Submodules in Racket: You Want it When, Again?
Armando FoxFox, Armando UC Berkeley Myths about MOOCs and Software Engineering Education
Robert FranceFrance, Robert Reifying Concurrency for Executable Metamodeling
Michael FranzFranz, Michael University of California, Irvine Committee Member in External Review Committee within the SPLASH OOPSLA-track
Bert FreudenbergFreudenberg, Bert Germany KScript and KSWorld: A Time-Aware and Mostly Declarative Language and Interactive GUI Framework
Stephen N. FreundFreund, Stephen N. Williams CollegeUnited States Panel — Curriculum 2013: What’s new and how do we adapt? Committee Member in Committee within the SPLASH -E-track
G Richard P. GabrielGabriel, Richard P. Dream Songs, Inc. & HPI Committee Member in Committee within the Onward! Essays-track
Lahiru GallegeGallege, Lahiru TruSSCom – Proposal for Trustworthy Service Representation Selection and Negotiation for Integrating Software Systems Committee Member in Committee within the SPLASH Student Volunteers-track
Dimuthu GamageGamage, Dimuthu Committee Member in Committee within the SPLASH Student Volunteers-track
Vinicius Cardoso GarciaGarcia, Vinicius Cardoso Committee Member in Committee within the SPLASH Wavefront Experience-track
Xi GeGe, Xi Dictionary-Base Query Recommendation for Local Code Search
Nicolas GeoffrayGeoffray, Nicolas Committee Member in Committee within the SPLASH Demonstrations-track
Prodromos GerakiosGerakios, Prodromos National Technical University of Athens Reified Type Parameters Using Java Annotations Forsaking Inheritance: Supercharged Delegation in DelphJ
Albert GerritsenGerritsen, Albert The State of the Art in Language Workbenches
Rohit GheyiGheyi, Rohit Federal University of Campina GrandeBrazil Investigating Preprocessor-Based Syntax Errors
Andrew GiangGiang, Andrew Wayne State University Finding the Missing Eclipse Perspective: the Runtime Perspective
Austin GibbonsGibbons, Austin Forge: Generating a High Performance DSL Implementation from a Declarative Specification.
Milos GligoricGligoric, Milos University of Texas at AustinUnited States Model-Based, Event-Driven Programming Paradigm for Interactive Web Applications Committee Member in Artifacts within the SPLASH OOPSLA Artifacts-track
Aniruddha GokhaleGokhale, Aniruddha Vanderbilt University Model-driven Generative Framework for Automated OMG DDS Performance Testing in the Cloud
Kanchi GopinathGopinath, Kanchi Combining Concern Input with Program Analysis for Bloat Detection
Alessandra GorlaGorla, Alessandra IMDEA Software InstituteSpain Committee Member in Artifacts within the SPLASH OOPSLA Artifacts-track
Danny GroenewegenGroenewegen, Danny Delft University of TechnologyNetherlands Language-Parametric Incremental Name and Type Analysis
Thomas GrossGross, Thomas ETH ZurichSwitzerland Online Feedback-Directed Optimizations for Parallel Java Code
Thomas GrossGross, Thomas Committee Member in Committee within the Onward! Essays-track
Dan GrossmanGrossman, Dan University of WashingtonUnited States Panel — Curriculum 2013: What’s new and how do we adapt? Panel — MOOCs: Early Experience Input-Covering Schedules for Multithreaded Programs Committee Member in Committee within the SPLASH -E-track Committee Member in External Review Committee within the SPLASH OOPSLA-track
Lindsay GrovesGroves, Lindsay Victoria University of Wellington Whiley: a Platform for Research in Software Verification
Eduardo GuerraGuerra, Eduardo INPE - National Institute for Space Research Chair in Committee within the SPLASH Wavefront Experience-track
Ralph GuggenheimGuggenheim, Ralph Committee Member in Committee within the Onward! Essays-track
Arjun GuhaGuha, Arjun University of Massachusetts, Amherst TejaS: Retrofitting Type Systems for JavaScript
Sam GuyerGuyer, Sam Tufts UniversityUnited States Chair in Committee within the SPLASH ACM SRC-track
H David H. LorenzH. Lorenz, David Technion—Israel Institute of Technology Committee Member in Program Committee within the SPLASH OOPSLA-track
Uzy HadadHadad, Uzy NitroGen: Rapid Development of Mobile Applications
Simin HallHall, Simin Transforming Introductory Computer Science Projects via Real-Time Web Data
Philipp HallerHaller, Philipp KTH Royal Institute of TechnologyGermany Instant Pickles: Generating Object-Oriented Pickler Combinators for Fast and Extensible Serialization
Christian HammerHammer, Christian University of PotsdamGermany Flexible Access Control for Javascript
Stefan HanenbergHanenberg, Stefan University of Duisburg-Essen Do Developers Benefit from Generic Types?: An Empirical Comparison of Generic and Raw Types in Java Committee Member in Program Committee within the SPLASH OOPSLA-track
Ben HardekopfHardekopf, Ben UC Santa Barbara Type Refinement for Static Analysis of JavaScript
Alois HaselböckHaselböck, Alois Generation of Conjoint Domain Models for System-of-Systems
Tero HasuHasu, Tero A Pretty Good Formatting Pipeline
Matthias HauswirthHauswirth, Matthias 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 HedinHedin, Görel Circular Higher-order Attribute Grammars
Gernot HeiserHeiser, Gernot NICTA and UNSW Code Optimizations Using Formally Verified Properties
Stephan HerhutHerhut, Stephan Google Inc. River Trail: A Path to Parallelism in JavaScript
Charlotte HerzeelHerzeel, Charlotte Vrije Universiteit Brussel Committee Member in Program Committee within the DLS-track
Robert HirschfeldHirschfeld, Robert HPIGermany Polymorphic Identifiers: Uniform Resource Access in Objective-Smalltalk 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 HolderHolder, Ethan Virginia Tech Cloud Twin: Interactive Cross-Platform Replay for Mobile Applications
Reid HolmesHolmes, Reid University of British ColumbiaCanada Committee Member in Program Committee within the SPLASH OOPSLA-track
Michael HoppeHoppe, Michael Do Developers Benefit from Generic Types?: An Empirical Comparison of Generic and Raw Types in Java
Bruce HornHorn, Bruce Intel CorporationUnited States Committee Member in Committee within the Onward! Essays-track
Cay HorstmannHorstmann, Cay San Jose State University Panel — MOOCs: Early Experience
Tony HoskingHosking, Tony Purdue UniversityUnited States Chair in General for SPLASH 2013
Jeff HuangHuang, Jeff Texas A&M UniversityUnited States Committee Member in Artifacts within the SPLASH OOPSLA Artifacts-track
Jipeng HuangHuang, Jipeng Efficient Context Sensitivity for Dynamic Analyses via Calling Context Uptrees and Customized Memory Management Octet: Capturing and Controlling Cross-Thread Dependences Efficiently
Richard L. HudsonHudson, Richard L. River Trail: A Path to Parallelism in JavaScript
Marieke HuismanHuisman, Marieke University of TwenteNetherlands Committee Member in External Review Committee within the SPLASH OOPSLA-track
Angelo HulshoutHulshout, Angelo The State of the Art in Language Workbenches
Christian HumerHumer, Christian Oracle Labs, SwitzerlandSwitzerland One VM to Rule Them All
Claus HunsenHunsen, Claus University of Passau, Germany A Comparison of Product-based, Feature-based, and Family-based Type Checking
Ahmed HusseinHussein, Ahmed Purdue University / Huawei, USAEgypt Committee Member in Committee within the SPLASH Student Volunteers-track
I Roberto IerusalimschyIerusalimschy, Roberto PUC-RioBrazil Committee Member in Program Committee within the DLS-track
J Daniel JacksonJackson, Daniel MITUnited States What’s Wrong with Git? A Conceptual Design Analysis Model-Based, Event-Driven Programming Paradigm for Interactive Web Applications
Suresh JagannathanJagannathan, Suresh Purdue University Flexible Access Control for Javascript
Bharat JayaramanJayaraman, Bharat SUNY Buffalo, USA Committee Member in Committee within the SPLASH Doctoral Symposium-track
Adrian JohnstoneJohnstone, Adrian Safe Specification of Operator Precedence Rules
Timothy JonesJones, Timothy Victoria University of WellingtonNew Zealand Committee Member in Committee within the SPLASH Student Volunteers-track
Jaakko JärviJärvi, Jaakko University of BergenNorway Co-chair in Program Committee within the GPCE-track
Jean-Marc JézéquelJézéquel, Jean-Marc Univ Rennes - IRISAFrance Efficient High-Level Abstractions for Web Programming
K Ted KaehlerKaehler, Ted KScript and KSWorld: A Time-Aware and Mostly Declarative Language and Interactive GUI Framework
Gail KaiserKaiser, Gail Columbia University, New YorkUnited States Committee Member in Committee within the Onward! Essays-track
Aman KansalKansal, Aman The Latency, Accuracy, and Battery (LAB) Abstraction: Programmer Productivity and Energy Efficiency for Continuous Mobile Context Sensing
Gerti KappelKappel, Gerti Technical University of ViennaAustria xMOF: Executable DSMLs based on fUML
Vineeth KashyapKashyap, Vineeth GrammaTech, Inc.India Type Refinement for Static Analysis of JavaScript
George KastrinisKastrinis, George University of AthensGreece Set-Based Pre-Processing for Points-To Analysis
Kiyokuni KawachiyaKawachiya, Kiyokuni IBM Research - TokyoJapan Committee Member in Program Committee within the SPLASH OOPSLA-track
Madhukar KedlayaKedlaya, Madhukar University of California, Santa BarbaraIndia Improved Type Specialization for Dynamic Scripting Languages
Matthias KeilKeil, Matthias University of FreiburgGermany Efficient Dynamic Access Analysis Using JavaScript Proxies
Stephen KellKell, Stephen University of Cambridge ShadowVM?: Robust and Comprehensive Dynamic Program Analysis for the Java Platform
Paul H J KellyKelly, Paul H J Imperial College LondonUnited Kingdom Barrier Invariants: A Shared State Abstraction for the Analysis of Data-Dependent GPU Kernels Committee Member in External Review Committee within the SPLASH OOPSLA-track
Steven KellyKelly, Steven MetaCaseUnited Kingdom The State of the Art in Language Workbenches
Jeroen KetemaKetema, Jeroen Barrier Invariants: A Shared State Abstraction for the Analysis of Data-Dependent GPU Kernels
Sarfraz KhurshidKhurshid, Sarfraz University of Texas at AustinUnited States Injecting Mechanical Faults to Localize Developer Faults for Evolving Software
Gregor KiczalesKiczales, Gregor Interacting with Dead Objects
Andrei KirshinKirshin, Andrei NitroGen: Rapid Development of Mobile Applications
Paul KlintKlint, Paul Micro-Machinations: A DSL for Game Economies
Etienne KneussKneuss, Etienne Synthesis Modulo Recursive Functions
Sahar KokalyKokaly, Sahar Mapping-Aware Megamodeling: Design Patterns and Laws
Sergiy KolesnikovKolesnikov, Sergiy A Comparison of Product-based, Feature-based, and Family-based Type Checking
Peter KomisarczukKomisarczuk, Peter Using Document-Oriented GUIs in Dynamic Software Product Lines
Gabriël KonatKonat, Gabriël Delft University of TechnologyNetherlands Language-Parametric Incremental Name and Type Analysis The State of the Art in Language Workbenches
Eric KoskinenKoskinen, Eric Stevens Institute of Technology Turning Nondeterminism into Parallelism
Dean KramerKramer, Dean Using Document-Oriented GUIs in Dynamic Software Product Lines
Shriram KrishnamurthiKrishnamurthi, Shriram Brown University, USA Whalesong: Running Racket in the Browser TejaS: Retrofitting Type Systems for JavaScript Usable Security as a Static Analysis Problem: Modeling and Reasoning About User Permissions in Social-Sharing Systems Bootstrap: Programming Games with Algebra JavaScript as an Intermediate Language Panel — MOOCs: Early Experience Python: The Full Monty; A Tested Semantics for the Python Programming Language Debate: Should Software Conferences Respect Software?
Pradeep KudikalaKudikala, Pradeep Technical Debt
Milind KulkarniKulkarni, Milind Purdue University Octet: Capturing and Controlling Cross-Thread Dependences Efficiently
Viktor KunčakKunčak, Viktor EPFL, Switzerland Game Programming by Demonstration Synthesis Modulo Recursive Functions
Ivan KurajKuraj, Ivan MIT CSAIL, USASerbia and Montenegro Synthesis Modulo Recursive Functions
Darya KurilovaKurilova, Darya On the Simplicity of Synthesizing Linked Data Structure Operations
Takayuki KurodaKuroda, Takayuki Model-driven Generative Framework for Automated OMG DDS Performance Testing in the Cloud
Young-Woo KwonKwon, Young-Woo Utah State University Effective Fusion and Separation of Distribution, Fault-Tolerance, and Energy-Efficiency Concerns Orchestrating Mobile Application Execution for Performance and Energy Efficiency
Christian KästnerKästner, Christian Carnegie Mellon University, USAGermany Co-chair in Program Committee within the GPCE-track Committee Member in Program Committee within the SPLASH OOPSLA-track
L Hannah Quay-de la Valleela Vallee, Hannah Quay-de Usable Security as a Static Analysis Problem: Modeling and Reasoning About User Permissions in Social-Sharing Systems
Pierre LaBordeLaBorde, Pierre Effective Use of Non-blocking Data Structures in a Deduplication Application
Junilu LacarLacar, Junilu Technical Debt
Ralf LaemmelLaemmel, Ralf University of Koblenz-Landau, Germany Method and tool support for classifying software languages with Wikipedia
Patrick LamLam, Patrick University of Waterloo Committee Member in Committee within the SPLASH ACM SRC-track
Nurudeen LameedLameed, Nurudeen Optimizing MATLAB feval with Dynamic Techniques
Philip LangerLanger, Philip xMOF: Executable DSMLs based on fUML
Matias Vara LarsenLarsen, Matias Vara Reifying Concurrency for Executable Metamodeling
Julia LawallLawall, Julia Inria/LIP6 Committee Member in Program Committee within the SPLASH OOPSLA-track
Vu LeLe, Vu MicrosoftVietnam Committee Member in Artifacts within the SPLASH OOPSLA Artifacts-track
Doug LeaLea, Doug State University of New York (SUNY) OswegoUnited States Panel — Curriculum 2013: What’s new and how do we adapt? Committee Member in Committee within the SPLASH -E-track Committee Member in Program Committee within the SPLASH OOPSLA-track
Gary LeavensLeavens, Gary University of Central FloridaUnited States Client-Aware Checking and Information Hiding in Interface Specifications with JML/ajmlc Committee Member in External Review Committee within the SPLASH OOPSLA-track
Richard LeblancLeblanc, Richard Seattle University Panel — Test-Driven Development Panel — Curriculum 2013: What’s new and how do we adapt? Committee Member in Committee within the SPLASH -E-track
Hongki LeeLee, Hongki All about the with Statement in JavaScript: Removing with Statements in JavaScript Applications
Hyoukjoong LeeLee, Hyoukjoong Forge: Generating a High Performance DSL Implementation from a Declarative Specification.
Philipp LengauerLengauer, Philipp VM-Level Memory Monitoring for Resolving Performance Problems
Ruth LennonLennon, Ruth Committee Member in Committee within the SPLASH Wavefront-track
Benjamin LernerLerner, Benjamin Northeastern UniversityUnited States TejaS: Retrofitting Type Systems for JavaScript
Mohsen LesaniLesani, Mohsen University of California, RiversideUnited States MrCrypt: Static Analysis for Secure Cloud Computations
Michael LeuschelLeuschel, Michael University of Düsseldorf Committee Member in Program Committee within the DLS-track
Grace LewisLewis, Grace Carnegie Mellon Software Engineering InstituteUnited States Mobile Computing in Resource-Constrained Environments
Boyang LiLi, Boyang Inductive Invariant Generation via Abductive Inference
Du LiLi, Du Hewlett Packard LabsUnited States Committee Member in Artifacts within the SPLASH OOPSLA Artifacts-track
Junsong LiLi, Junsong Brown University Python: The Full Monty; A Tested Semantics for the Python Programming Language
Xuandong LiLi, Xuandong Nanjing University Steering Symbolic Execution to Less Traveled Paths
You LiLi, You Steering Symbolic Execution to Less Traveled Paths
Jörg LiebigLiebig, Jörg Does the Discipline of Preprocessor Annotations Matter? A Controlled Experiment
Ricardo Massa LimaLima, Ricardo Massa Client-Aware Checking and Information Hiding in Interface Specifications with JML/ajmlc
Eric LinLin, Eric Iowa State University, USA Panini: a Capsule-oriented Programming Language for Implicitly Concurrent Program Design
Yu David LiuLiu, Yu David State University of New York (SUNY) BinghamtonUnited States Committee Member in Program Committee within the SPLASH OOPSLA-track
Francesco LogozzoLogozzo, Francesco FacebookUnited States Committee Member in Committee within the SPLASH ACM SRC-track
Alex LohLoh, Alex The State of the Art in Language Workbenches
Crista LopesLopes, Crista University of California, Irvine Chair in Program Committee within the SPLASH OOPSLA-track Chair in External Review Committee within the SPLASH OOPSLA-track
Shan LuLu, Shan University of Chicago Efficient Concurrency-Bug Detection Across Inputs
Roberto LublinermanLublinerman, Roberto Isolation for Nested Task Parallelism
Dorel LucanuLucanu, Dorel A Generic Framework for Symbolic Execution
Mircea F. LunguLungu, Mircea F. University of GroningenNetherlands Committee Member in Program Committee within the SPLASH OOPSLA-track
Aran LunzerLunzer, Aran KScript and KSWorld: A Time-Aware and Mostly Declarative Language and Interactive GUI Framework
M Walid MaalejMaalej, Walid University of HamburgGermany Committee Member in Committee within the Onward! Essays-track
Ole Lehrmann MadsenMadsen, Ole Lehrmann Aarhus University & The Alexandra InstituteDenmark Back to the Future: SIMULA style concurrent objects
Tom MaibaumMaibaum, Tom Mapping-Aware Megamodeling: Design Patterns and Laws
Rupak MajumdarMajumdar, Rupak MPI-SWS MrCrypt: Static Analysis for Secure Cloud Computations
Frederic MalletMallet, Frederic Reifying Concurrency for Executable Metamodeling
Dennis ManclMancl, Dennis MSWX Software ExpertsUnited States Committee Member in Committee within the SPLASH Wavefront Experience-track Chair in Committee within the SPLASH Wavefront-track
Lukas MarekMarek, Lukas ShadowVM?: Robust and Comprehensive Dynamic Program Analysis for the Java Platform
Darko MarinovMarinov, Darko University of Illinois at Urbana-ChampaignUnited States Model-Based, Event-Driven Programming Paradigm for Interactive Web Applications
Marko MarkoMarko, Marko Template Constructors for Reusable Object Initialization
Milo MartinMartin, Milo Ironclad C++: A Library-Augmented Type-Safe Subset of C++
Alexandra MartinezMartinez, Alexandra Python: The Full Monty; A Tested Semantics for the Python Programming Language
Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of TechnologyJapan Committee Member in Program Committee within the SPLASH OOPSLA-track
Mikaël MayerMayer, Mikaël EPFL, Switzerland Game Programming by Demonstration
Tanja MayerhoferMayerhofer, Tanja TU WienAustria xMOF: Executable DSMLs based on fUML
Eric McCorkleMcCorkle, Eric Building Connections between the Theories of Programming Languages and Physical Systems
Zach McCormickMcCormick, Zach Producing and Delivering a Coursera MOOC on Pattern-Oriented Software Architecture for Concurrent and Networked Software
Sean McDirmidMcDirmid, Sean HARC / Y Combinator ResearchUnited States Usable Live Programming Making Live Programming Real
Kathryn S McKinleyMcKinley, Kathryn S Google The Latency, Accuracy, and Battery (LAB) Abstraction: Programmer Productivity and Energy Efficiency for Continuous Mobile Context Sensing Taking Off the Gloves with Reference Counting Immix Bounded Partial-Order Reduction The Yin and Yang of Hardware Heterogeneity: Can Software Survive?
Kenneth L. McMillanMcMillan, Kenneth L. Microsoft ResearchUnited States Inductive Invariant Generation via Abductive Inference
Flávio MedeirosMedeiros, Flávio Federal University of Campina Grande Investigating Preprocessor-Based Syntax Errors
Darya MelicherMelicher, Darya Carnegie Mellon University Committee Member in Committee within the SPLASH Student Volunteers-track
Paulo MersonMerson, Paulo Ultimate Architecture Enforcement — Custom checks enforced at code-commit time Committee Member in Committee within the SPLASH Wavefront Experience-track
Yossi MesikaMesika, Yossi NitroGen: Rapid Development of Mobile Applications
Leo MeyerovichMeyerovich, Leo Graphistry Empirical Analysis of Programming Language Adoption
Mira MeziniMezini, Mira TU DarmstadtGermany Template Constructors for Reusable Object Initialization Committee Member in External Review Committee within the SPLASH OOPSLA-track
Mae MilanoMilano, Mae Cornell University Python: The Full Monty; A Tested Semantics for the Python Programming Language
Ana MilanovaMilanova, Ana Rensselaer Polytechnic InstituteUnited States Committee Member in Committee within the SPLASH ACM SRC-track
Aleksandar MilicevicMilicevic, Aleksandar Model-Based, Event-Driven Programming Paradigm for Interactive Web Applications
Heather MillerMiller, Heather Ecole Polytechnique Federale de Lausanne Instant Pickles: Generating Object-Oriented Pickler Combinators for Fast and Extensible Serialization
Todd MillsteinMillstein, Todd University of California, Los Angeles MrCrypt: Static Analysis for Secure Cloud Computations
Todd MillsteinMillstein, Todd University of California, Los AngelesUnited States Committee Member in Program Committee within the SPLASH OOPSLA-track
Mehdi MirakhorliMirakhorli, Mehdi Rochester Institute of TechnologyUnited States Committee Member in Committee within the SPLASH Student Volunteers-track
Sasa MisailovicMisailovic, Sasa University of Illinois at Urbana-Champaign, USA Verifying Quantitative Reliability for Programs That Execute on Unreliable Hardware Committee Member in Artifacts within the SPLASH OOPSLA Artifacts-track
Nick MitchellMitchell, Nick On-the-fly Capacity Planning
Pedro J. MolinaMolina, Pedro J. The State of the Art in Language Workbenches
Floreal MorandatMorandat, Floreal Enseirb-MatmecaFrance Chair in Committee within the SPLASH Demonstrations-track
Dominik MosenMosen, Dominik Method and tool support for classifying software languages with Wikipedia
Emerson Murphy-HillMurphy-Hill, Emerson North Carolina State University Committee Member in Program Committee within the SPLASH OOPSLA-track
Madan MusuvathiMusuvathi, Madan Microsoft Research Bounded Partial-Order Reduction
Todd MytkowiczMytkowicz, Todd Microsoft Research The Latency, Accuracy, and Battery (LAB) Abstraction: Programmer Productivity and Energy Efficiency for Continuous Mobile Context Sensing Committee Member in Artifacts within the SPLASH OOPSLA Artifacts-track
Anders MøllerMøller, Anders Aarhus UniversityDenmark Semi-Automatic Rename Refactoring for JavaScript
N Santosh NagarakatteNagarakatte, Santosh Rutgers University, USAUnited States Ironclad C++: A Library-Augmented Type-Safe Subset of C++
Priya NagpurkarNagpurkar, Priya IBM Research, USAUnited States Committee Member in Program Committee within the DLS-track
Mangala Gowri NandaNanda, Mangala Gowri Combining Concern Input with Program Analysis for Bloat Detection
Chinmay NarayanNarayan, Chinmay Relaxed Separation Logic: A Program Logic for C11 Concurrency
Nanjangud C. NarendraNarendra, Nanjangud C. Committee Member in Committee within the SPLASH Wavefront-track
Iulian NeamtiuNeamtiu, Iulian New Jersey Institute of TechnologyUnited States Targeted and Depth-first Exploration for Systematic Testing of Android Apps
George NeculaNecula, George University of California, Berkeley Guided GUI Testing of Android Apps with Minimal Restart and Approximate Learning
Stas NegaraNegara, Stas University of Illinois at Urbana-Champaign Committee Member in Artifacts within the SPLASH OOPSLA Artifacts-track
Hoan NguyenNguyen, Hoan Iowa State University Mining Source Code Repositories with Boa
Tien N. NguyenNguyen, Tien N. University of Texas at DallasUnited States Declarative Visitors to Ease Fine-grained Source Code Mining with Full History on Billions of AST Nodes Mining Source Code Repositories with Boa
James NobleNoble, James Victoria University of WellingtonNew Zealand Debate: Should Software Conferences Respect Software?
Albert NollNoll, Albert Online Feedback-Directed Optimizations for Parallel Java Code
Brian NorrisNorris, Brian CDSChecker: Checking Concurrent Data Structures Written with C/C++ Atomics CDSChecker: Checking Concurrent Data Structures Written with C/C++ Atomics
O Christopher O'ConnorO'Connor, Christopher Committee Member in Committee within the SPLASH Wavefront-track
Martin OderskyOdersky, Martin EPFL, SwitzerlandSwitzerland Forge: Generating a High Performance DSL Implementation from a Declarative Specification. Spiral in Scala: Towards the Systematic Construction of Generators for Performance Libraries Miniboxing: Improving the Speed to Code Size Tradeoff in Parametric Polymorphism Translations Instant Pickles: Generating Object-Oriented Pickler Combinators for Fast and Extensible Serialization
Georg OfenbeckOfenbeck, Georg ETH Zurich, Switzerland Spiral in Scala: Towards the Systematic Construction of Generators for Performance Libraries
Peter OhmannOhmann, Peter University of Wisconsin - MadisonUnited States CSI: Crash Scene Investigation
Yoshiki OhshimaOhshima, Yoshiki HARC / Y Combinator ResearchJapan KScript and KSWorld: A Time-Aware and Mostly Declarative Language and Interactive GUI Framework Toward the future of personal computing system construction
Bruno C. d. S. OliveiraOliveira, Bruno C. d. S. University of Hong Kong, ChinaHong Kong Committee Member in Program Committee within the SPLASH OOPSLA-track
Toacy OliveiraOliveira, Toacy Supporting Large Scale Model Transformation Reuse
Kunle OlukotunOlukotun, Kunle Stanford UniversityUnited States Forge: Generating a High Performance DSL Implementation from a Declarative Specification.
Cyrus OmarOmar, Cyrus Carnegie Mellon UniversityUnited States Structured Statistical Syntax Tree Prediction Committee Member in Committee within the SPLASH Student Volunteers-track
Bill OpdykeOpdyke, Bill JP Morgan Chase & Co Refactoring, Reuse & Reality: Revisited
William OpdykeOpdyke, William Technical Debt
Peter-Michael OseraOsera, Peter-Michael Grinnell CollegeUnited States Teaching Induction with Functional Programming and A Proof Assistant Ironclad C++: A Library-Augmented Type-Safe Subset of C++
Klaus OstermannOstermann, Klaus University of TuebingenGermany Software Evolution to Domain-Specific Languages
Samia OussenaOussena, Samia Using Document-Oriented GUIs in Dynamic Software Product Lines
Ipek OzkayaOzkaya, Ipek Carnegie Mellon Software Engineering InstituteUnited States Technical Debt
P Richard PaigePaige, Richard University of York Co-chair in Program Committee within the SLE-track
Martin PalatnikPalatnik, Martin The State of the Art in Language Workbenches
Santosh PandePande, Santosh Multiverse: Efficiently supporting distributed high-level speculation
Changhee ParkPark, Changhee KAIST, South Korea All about the with Statement in JavaScript: Removing with Statements in JavaScript Applications
Daniel PattersonPatterson, Daniel Northeastern UniversityUnited States Python: The Full Monty; A Tested Semantics for the Python Programming Language
David PattersonPatterson, David Panel — Test-Driven Development Myths about MOOCs and Software Engineering Education
David J. PearcePearce, David J. Victoria University of WellingtonNew Zealand Whiley: a Platform for Research in Software Verification
Thelge PeirisPeiris, Thelge Committee Member in Committee within the SPLASH Student Volunteers-track
Santiago Perez De RossoPerez De Rosso, Santiago MIT CSAIL What’s Wrong with Git? A Conceptual Design Analysis
Igor PeshanskyPeshansky, Igor GoogleUnited States Chair in Committee within the SPLASH Demonstrations-track
Raquel PillatPillat, Raquel Supporting Large Scale Model Transformation Reuse
Suresh PillayPillay, Suresh Variability Support in Domain-Specific Language Development
Gustavo PintoPinto, Gustavo Refactoring Multicore Applications Towards Energy Efficiency Do Language Constructs for Concurrent Execution Have Impact on Energy Efficiency? Committee Member in Committee within the SPLASH Student Volunteers-track
Joe Gibbs PolitzPolitz, Joe Gibbs University of California, San DiegoUnited States TejaS: Retrofitting Type Systems for JavaScript Python: The Full Monty; A Tested Semantics for the Python Programming Language
Martin PurvisPurvis, Martin University of OtagoNew Zealand Committee Member in Committee within the Onward! Essays-track
Hari PylaPyla, Hari Virginia Tech Committee Member in Committee within the SPLASH ACM SRC-track
Markus PüschelPüschel, Markus ETH ZürichSwitzerland Spiral in Scala: Towards the Systematic Construction of Generators for Performance Libraries
Q Shaz QadeerQadeer, Shaz Microsoft Research Barrier Invariants: A Shared State Abstraction for the Analysis of Data-Dependent GPU Kernels
R K R JayaramR Jayaram, K IBM Research, USA Committee Member in Committee within the SPLASH Posters-track
Ariel RabkinRabkin, Ariel Cloudera Empirical Analysis of Programming Language Adoption
Hridesh RajanRajan, Hridesh Iowa State UniversityUnited States Declarative Visitors to Ease Fine-grained Source Code Mining with Full History on Billions of AST Nodes Panini: a Capsule-oriented Programming Language for Implicitly Concurrent Program Design Mining Source Code Repositories with Boa Committee Member in Program Committee within the SPLASH OOPSLA-track
Václav RajlichRajlich, Václav Wayne State University Teaching Future Software Developers
Kaushik RavichandranRavichandran, Kaushik Multiverse: Efficiently supporting distributed high-level speculation
Baishakhi RayRay, Baishakhi Committee Member in Artifacts within the SPLASH OOPSLA Artifacts-track
Veselin RaychevRaychev, Veselin ETH Zurich Effective Race Detection for Event-Driven Programs Effective Race Detection for Event-Driven Programs Refactoring with Synthesis
Derek RaysideRayside, Derek University of Waterloo On the Simplicity of Synthesizing Linked Data Structure Operations
Henrique RebeloRebelo, Henrique Universidade Federal de PernambucoBrazil Identifying and Specifying Crosscutting Contracts with AspectJML Client-Aware Checking and Information Hiding in Interface Specifications with JML/ajmlc
Christoph ReichenbachReichenbach, Christoph Goethe University Committee Member in Committee within the SPLASH Demonstrations-track Committee Member in Artifacts within the SPLASH OOPSLA Artifacts-track
Alexander RepenningRepenning, Alexander Conversational Programming
Mehrdad ReshadiReshadi, Mehrdad Improved Type Specialization for Dynamic Scripting Languages
Márcio RibeiroRibeiro, Márcio Federal University of Alagoas, BrazilBrazil Investigating Preprocessor-Based Syntax Errors
Julien Richard-FoyRichard-Foy, Julien Efficient High-Level Abstractions for Web Programming
Gregor RichardsRichards, Gregor University of WaterlooCanada One VM to Rule Them All Flexible Access Control for Javascript Chair in Committee within the SPLASH Student Volunteers-track
Felix RiegerRieger, Felix Philipps-Universität Marburg A Framework for Extensible Languages
Martin C. RinardRinard, Martin C. Massachusetts Institute of TechnologyUnited States Verifying Quantitative Reliability for Programs That Execute on Unreliable Hardware
Noam RinetzkyRinetzky, Noam Tel Aviv UniversityIsrael Committee Member in Program Committee within the SPLASH OOPSLA-track
Behnam RobatmiliRobatmili, Behnam Qualcomm Research Improved Type Specialization for Dynamic Scripting Languages
Jared RoeschRoesch, Jared University of Washington, USAUnited States Improved Type Specialization for Dynamic Scripting Languages
Tiark RompfRompf, Tiark Purdue UniversityUnited States Forge: Generating a High Performance DSL Implementation from a Declarative Specification. Spiral in Scala: Towards the Systematic Construction of Generators for Performance Libraries
Claudio RussoRusso, Claudio Microsoft Research Committee Member in Program Committee within the SPLASH OOPSLA-track
Vlad RusuRusu, Vlad A Generic Framework for Symbolic Execution
Ryan RybarczykRybarczyk, Ryan Committee Member in Committee within the SPLASH Student Volunteers-track
Sukyoung RyuRyu, Sukyoung KAISTKorea, South All about the with Statement in JavaScript: Removing with Statements in JavaScript Applications
S Mooly SagivSagiv, Mooly Tel Aviv University Turning Nondeterminism into Parallelism
Hitesh SajnaniSajnani, Hitesh Microsoft Committee Member in Artifacts within the SPLASH OOPSLA Artifacts-track
Roberto SalamaSalama, Roberto Millennium Partners Committee Member in Committee within the SPLASH Wavefront Experience-track
Robin SalkeldSalkeld, Robin Interacting with Dead Objects
Meisam Fathi SalmiSalmi, Meisam Fathi Octet: Capturing and Controlling Cross-Thread Dependences Efficiently
Scott SaponasSaponas, Scott The Latency, Accuracy, and Battery (LAB) Abstraction: Programmer Productivity and Energy Efficiency for Continuous Mobile Context Sensing
Aibek SarimbekovSarimbekov, Aibek ShadowVM?: Robust and Comprehensive Dynamic Program Analysis for the Java Platform
Vivek SarkarSarkar, Vivek Rice University, USAUnited States Isolation for Nested Task Parallelism
John SarracinoSarracino, John University of California, San Diego Type Refinement for Static Analysis of JavaScript
Jennifer B. SartorSartor, Jennifer B. Vrije Universiteit BrusselBelgium Bottle Graphs: Visualizing Scalability Bottlenecks in Multi-Threaded Applications Committee Member in Committee within the SPLASH Doctoral Symposium-track Committee Member in Program Committee within the SPLASH OOPSLA-track
Max SchaeferSchaefer, Max SemmleUnited Kingdom Refactoring with Synthesis
Emmanuel SchanzerSchanzer, Emmanuel Brown UniversityUnited States Bootstrap: Programming Games with Algebra
Eugen SchindlerSchindler, Eugen OceNetherlands The State of the Art in Language Workbenches
Klemens SchindlerSchindler, Klemens Sioux Embedded Systems The State of the Art in Language Workbenches
Eric SchkufzaSchkufza, Eric Stanford University Data-Driven Equivalence Checking
Douglas C. SchmidtSchmidt, Douglas C. Vanderbilt University Producing and Delivering a Coursera MOOC on Pattern-Oriented Software Architecture for Concurrent and Networked Software
Sandro SchulzeSchulze, Sandro University of Magdeburg, GermanyGermany Does the Discipline of Preprocessor Annotations Matter? A Controlled Experiment
Elizabeth ScottScott, Elizabeth Royal Holloway University of London Safe Specification of Operator Precedence Rules
Koushik SenSen, Koushik University of California, BerkeleyUnited States Guided GUI Testing of Android Apps with Minimal Restart and Approximate Learning Committee Member in Program Committee within the SPLASH OOPSLA-track
Aritra SenguptaSengupta, Aritra Ohio State University Octet: Capturing and Controlling Cross-Thread Dependences Efficiently
Marco ServettoServetto, Marco Victoria University of Wellington Committee Member in Artifacts within the SPLASH OOPSLA Artifacts-track
Andreas SeweSewe, Andreas Codetrails ShadowVM?: Robust and Comprehensive Dynamic Program Analysis for the Java Platform Committee Member in Artifacts within the SPLASH OOPSLA Artifacts-track
Clifford ShafferShaffer, Clifford Virginia Tech Transforming Introductory Computer Science Projects via Real-Time Web Data
Rifat ShahriyarShahriyar, Rifat Bangladesh University of Engineering and Technology and Australian National UniversityBangladesh Taking Off the Gloves with Reference Counting Immix
Zalia ShamsShams, Zalia Automatically Assessing the Quality of Student-Written Tests
Rahul SharmaSharma, Rahul Microsoft ResearchIndia Data-Driven Equivalence Checking
Feng ShenShen, Feng A Secure Play Store for Android Committee Member in Committee within the SPLASH Student Volunteers-track
Xipeng ShenShen, Xipeng North Carolina State UniversityUnited States Do Computer Programs Have to Be As Dumb As They Are?
Stephen ShenemanSheneman, Stephen Committee Member in Committee within the SPLASH Student Volunteers-track
Yao ShiShi, Yao Code Optimizations Using Formally Verified Properties
Tatiana ShpeismanShpeisman, Tatiana GoogleUnited States River Trail: A Path to Parallelism in JavaScript
Janet SiegmundSiegmund, Janet University of PassauGermany Does the Discipline of Preprocessor Annotations Matter? A Controlled Experiment
Norbert SiegmundSiegmund, Norbert Bauhaus-University WeimarGermany Family-Based Performance Measurement Committee Member in Artifacts within the SPLASH OOPSLA Artifacts-track
Doug SimonSimon, Doug Oracle LabsSwitzerland One VM to Rule Them All
Renuka R SindhgattaSindhgatta, Renuka R Committee Member in Committee within the SPLASH Wavefront Experience-track
Christian SkalkaSkalka, Christian University of Vermont Scalaness/nesT: Type Specialized Staged Programming for Sensor Networks
Yannis SmaragdakisSmaragdakis, Yannis University of Athens Reified Type Parameters Using Java Annotations Forsaking Inheritance: Supercharged Delegation in DelphJ Set-Based Pre-Processing for Points-To Analysis Class Hierarchy Complementation: Soundly Completing a Partial Type Graph Committee Member in External Review Committee within the SPLASH OOPSLA-track
Scott F. SmithSmith, Scott F. The Johns Hopkins UniversityUnited States Scalaness/nesT: Type Specialized Staged Programming for Sensor Networks
Scotty SmithSmith, Scotty PyLOM: A Language and Run-Time System for Planning Applications
Stefan SobernigSobernig, Stefan Developing a Domain-specific Language for Scheduling in the European Energy Sector
Armando Solar-LezamaSolar-Lezama, Armando MIT CSAILUnited States Committee Member in External Review Committee within the SPLASH OOPSLA-track
Riccardo SolmiSolmi, Riccardo Whole Factory srlItaly The State of the Art in Language Workbenches
Yuriy SolodkyySolodkyy, Yuriy Open Pattern Matching for C++
Andrea SorbiniSorbini, Andrea Model-driven Generative Framework for Automated OMG DDS Performance Testing in the Cloud
Riley SpahnSpahn, Riley Committee Member in Committee within the SPLASH Student Volunteers-track
Jaswanth SreeramSreeram, Jaswanth TwitterUnited States River Trail: A Path to Parallelism in JavaScript
Manu SridharanSridharan, Manu Uber Effective Race Detection for Event-Driven Programs Effective Race Detection for Event-Driven Programs Refactoring with Synthesis Committee Member in Committee within the SPLASH ACM SRC-track
Vincent St-AmourSt-Amour, Vincent Northwestern University Committee Member in Artifacts within the SPLASH OOPSLA Artifacts-track
Lukas StadlerStadler, Lukas Oracle Labs, AustriaAustria One VM to Rule Them All
Friedrich SteimannSteimann, Friedrich FernuniversitätGermany Content over Container: Object-Oriented Programming with Multiplicities
Alen StojanovStojanov, Alen Spiral in Scala: Towards the Systematic Construction of Generators for Performance Libraries
Mark StrembeckStrembeck, Mark Developing a Domain-specific Language for Scheduling in the European Energy Sector
Bjarne StroustrupStroustrup, Bjarne Morgan StanleyDenmark Open Pattern Matching for C++
Zhendong SuSu, Zhendong University of California, DavisUnited States Detecting API Documentation Errors Steering Symbolic Execution to Less Traveled Paths Committee Member in Program Committee within the SPLASH OOPSLA-track
Arvind SujeethSujeeth, Arvind Forge: Generating a High Performance DSL Implementation from a Declarative Specification.
Kevin SullivanSullivan, Kevin Award Presentations for Onward! Most Notable Papers
Alexander J. SummersSummers, Alexander J. ETH Zurich Committee Member in Program Committee within the SPLASH OOPSLA-track
Nick SumnerSumner, Nick Simon Fraser University Committee Member in Committee within the SPLASH Posters-track
Yu-Shan SunSun, Yu-Shan Committee Member in Committee within the SPLASH Student Volunteers-track
Philippe SuterSuter, Philippe Two SigmaSwitzerland Synthesis Modulo Recursive Functions
Nikhil SwamySwamy, Nikhil Microsoft ResearchUnited States TS*: Gradual Typing Embedded Securely in JavaScript
Peter SweeneySweeney, Peter IBM Research On-the-fly Capacity Planning
Alexandra SzynkarskiSzynkarski, Alexandra Technical Debt
Emma SöderbergSöderberg, Emma GoogleDenmark Circular Higher-order Attribute Grammars
T Cristian TalauTalau, Cristian Miniboxing: Improving the Speed to Code Size Tradeoff in Parametric Polymorphism Translations
Sumant TambeTambe, Sumant Model-driven Generative Framework for Automated OMG DDS Performance Testing in the Cloud
Gang TanTan, Gang Pennsylvania State University Committee Member in Program Committee within the SPLASH OOPSLA-track
Éric TanterTanter, Éric University of ChileChile Cast Insertion Strategies for Gradually-Typed Objects
Sai Deep TetaliTetali, Sai Deep MrCrypt: Static Analysis for Secure Cloud Computations
Peter ThiemannThiemann, Peter University of Freiburg, Germany Efficient Dynamic Access Analysis Using JavaScript Proxies
Eli TilevichTilevich, Eli Virginia Tech Transforming Introductory Computer Science Projects via Real-Time Web Data Committee Member in External Review Committee within the SPLASH OOPSLA-track
Sam Tobin-HochstadtTobin-Hochstadt, Sam Indiana UniversityUnited States Committee Member in Committee within the SPLASH Doctoral Symposium-track Committee Member in Program Committee within the SPLASH OOPSLA-track
Tony Clark Tony Clark Using Document-Oriented GUIs in Dynamic Software Product Lines
Emina TorlakTorlak, Emina University of WashingtonUnited States Growing Solver-Aided Languages with Rosette Committee Member in Committee within the SPLASH Posters-track
Laurence TrattTratt, Laurence King's College LondonUnited Kingdom Detecting ambiguity in programming language grammars Storage Strategies for Collections in Dynamically Typed Languages Storage Strategies for Collections in Dynamically Typed Languages
Sean TreichlerTreichler, Sean NVIDIAUnited States Language Support for Dynamic, Hierarchical Data Partitioning
Omer TrippTripp, Omer IBM Thomas J. Watson Research CenterIsrael Turning Nondeterminism into Parallelism
Petr TumaTuma, Petr Charles University, Czech Republic ShadowVM?: Robust and Comprehensive Dynamic Program Analysis for the Java Platform
U Vlad UrecheUreche, Vlad EPFL, SwitzerlandRomania Miniboxing: Improving the Speed to Code Size Tradeoff in Parametric Polymorphism Translations
V Edoardo VacchiVacchi, Edoardo Variability Support in Domain-Specific Language Development
Viktor VafeiadisVafeiadis, Viktor MPI-SWS, GermanyGreece Relaxed Separation Logic: A Program Logic for C11 Concurrency
Mark van den Brandvan den Brand, Mark Eindhoven University of TechnologyNetherlands Safe Specification of Operator Precedence Rules
Tijs van der Stormvan der Storm, Tijs Centrum Wiskunde & Informatica / University of GroningenNetherlands The State of the Art in Language Workbenches
Kevin van der Vlistvan der Vlist, Kevin The State of the Art in Language Workbenches
Jimi van der Woningvan der Woning, Jimi The State of the Art in Language Workbenches
Riemer van Rozenvan Rozen, Riemer Micro-Machinations: A DSL for Game Economies
Eric Van WykVan Wyk, Eric University of Minnesota, USAUnited States Committee Member in Program Committee within the SLE-track
Radu VanciuVanciu, Radu Finding Architectural Flaws in Android Apps Is Easy
Andrei VaranovichVaranovich, Andrei University of Koblenz-Landau, Germany Method and tool support for classifying software languages with Wikipedia
Naveneetha VasudevanVasudevan, Naveneetha Detecting ambiguity in programming language grammars
Martin VechevVechev, Martin ETH Zürich Effective Race Detection for Event-Driven Programs Effective Race Detection for Event-Driven Programs Refactoring with Synthesis Committee Member in External Review Committee within the SPLASH OOPSLA-track
Lakshmi VelichetiVelicheti, Lakshmi Committee Member in Committee within the SPLASH Student Volunteers-track
Vlad VerguVergu, Vlad TU Delft Language-Parametric Incremental Name and Type Analysis The State of the Art in Language Workbenches
Jurgen VinjuVinju, Jurgen Centrum Wiskunde & Informatica / Technische Universiteit EindhovenNetherlands Safe Specification of Operator Precedence Rules Committee Member in Program Committee within the SLE-track
Eelco VisserVisser, Eelco Delft University of TechnologyNetherlands Language-Parametric Incremental Name and Type Analysis The State of the Art in Language Workbenches Committee Member in Program Committee within the SPLASH OOPSLA-track
Jan VitekVitek, Jan Purdue UniversityUnited States Comfy Chair in General for SPLASH 2013 Flexible Access Control for Javascript
Alexander von Rheinvon Rhein, Alexander A Comparison of Product-based, Feature-based, and Family-based Type Checking Family-Based Performance Measurement
Violetta VylegzhaninaVylegzhanina, Violetta Vanderbilt University Committee Member in Committee within the SPLASH Student Volunteers-track
Markus VölterVölter, Markus itemis/independent The State of the Art in Language Workbenches
W Guido WachsmuthWachsmuth, Guido Delft University of Technology, NetherlandsSwitzerland Language-Parametric Incremental Name and Type Analysis The State of the Art in Language Workbenches
John WagnerWagner, John Type Refinement for Static Analysis of JavaScript
James M. WalshWalsh, James M. Usable Security as a Static Analysis Problem: Modeling and Reasoning About User Permissions in Social-Sharing Systems
Linzhang WangWang, Linzhang Steering Symbolic Execution to Less Traveled Paths
Sumner WarrenWarren, Sumner Python: The Full Monty; A Tested Semantics for the Python Programming Language
Michael WatsonWatson, Michael Scalaness/nesT: Type Specialized Staged Programming for Sensor Networks
Marcel WeiherWeiher, Marcel HPI, Germany Polymorphic Identifiers: Uniform Resource Access in Objective-Smalltalk
Ben WiedermannWiedermann, Ben Harvey Mudd College Type Refinement for Static Analysis of JavaScript
Greg WilsonWilson, Greg Two Solitudes
Christian WimmerWimmer, Christian Oracle Labs One VM to Rule Them All ZipPy on Truffle: A Fast and Simple Implementation of Python
Manuel WimmerWimmer, Manuel TU WienAustria xMOF: Executable DSMLs based on fUML
Jim WitscheyWitschey, Jim Secure development tool adoption in open-source
Andreas WoessWoess, Andreas Oracle Labs One VM to Rule Them All
Mario WolczkoWolczko, Mario Oracle LabsUnited States One VM to Rule Them All VMs I Have Known and/or Loved
Bo WuWu, Bo Colorado School of Mines Committee Member in Artifacts within the SPLASH OOPSLA Artifacts-track
Thomas WürthingerWürthinger, Thomas One VM to Rule Them All
Andrzej WąsowskiWąsowski, Andrzej IT University of Copenhagen, DenmarkDenmark Partial Instances via Subclassing
X Tao XieXie, Tao Committee Member in External Review Committee within the SPLASH OOPSLA-track
Yingfei XiongXiong, Yingfei Peking University Committee Member in External Review Committee within the SPLASH OOPSLA-track
Guoqing Harry XuXu, Guoqing Harry Resurrector: A Tunable Object Lifetime Profiling Technique for Optimizing Real-World Programs
Han XuXu, Han User Model and System Model: The Yin and Yang in User-Centered Software Development
Harry XuXu, Harry University of California, IrvineUnited States Committee Member in Program Committee within the SPLASH OOPSLA-track
Y Eran YahavYahav, Eran TechnionIsrael Committee Member in External Review Committee within the SPLASH OOPSLA-track
Dacong YanYan, Dacong Google Committee Member in Artifacts within the SPLASH OOPSLA Artifacts-track
Xi YangYang, Xi Australian National University, Australia Taking Off the Gloves with Reference Counting Immix Committee Member in Artifacts within the SPLASH OOPSLA Artifacts-track
Amiram YehudaiYehudai, Amiram Committee Member in External Review Committee within the SPLASH OOPSLA-track
Qing YiYi, Qing Effective Use of Non-blocking Data Structures in a Deduplication Application
Danny YooYoo, Danny Whalesong: Running Racket in the Browser
Nobuko YoshidaYoshida, Nobuko Imperial College London Committee Member in External Review Committee within the SPLASH OOPSLA-track
Songqing YueYue, Songqing Program Transformation Techniques Applied to Languages Used in High Performance Computing Committee Member in Committee within the SPLASH Student Volunteers-track
Z Michel ZamZam, Michel Committee Member in Committee within the SPLASH Demonstrations-track
Francesco Zappa NardelliZappa Nardelli, Francesco InriaFrance Flexible Access Control for Javascript
Vadim ZaytsevZaytsev, Vadim Raincode LabsBelgium Micropatterns in Grammars
Steve ZdancewicZdancewic, Steve University of PennsylvaniaUnited States Teaching Induction with Functional Programming and A Proof Assistant Ironclad C++: A Library-Augmented Type-Safe Subset of C++
Lingming ZhangZhang, Lingming Injecting Mechanical Faults to Localize Developer Faults for Evolving Software
Lu ZhangZhang, Lu Peking University Injecting Mechanical Faults to Localize Developer Faults for Evolving Software
Minjia ZhangZhang, Minjia Microsoft ResearchUnited States Octet: Capturing and Controlling Cross-Thread Dependences Efficiently
Wei ZhangZhang, Wei University of California, IrvineChina Efficient Concurrency-Bug Detection Across Inputs
Xiangyu ZhangZhang, Xiangyu Purdue University On-the-fly Detection of Instability Problems in Floating-Point Program Execution
Yunming ZhangZhang, Yunming HJ-Hadoop: An Optimized MapReduce Runtime for Multi-core Systems
Jisheng ZhaoZhao, Jisheng Isolation for Nested Task Parallelism
Yudi ZhengZheng, Yudi University of LuganoSwitzerland ShadowVM?: Robust and Comprehensive Dynamic Program Analysis for the Java Platform
Hao ZhongZhong, Hao Shanghai Jiao Tong UniversityChina Detecting API Documentation Errors
Haitao ZhuZhu, Haitao SUNY Binghamton Committee Member in Artifacts within the SPLASH OOPSLA Artifacts-track
Lukasz ZiarekZiarek, Lukasz SUNY Buffalo, USAUnited States Chair in Committee within the SPLASH Doctoral Symposium-track
Thomas ZimmermannZimmermann, Thomas Microsoft ResearchUnited States Committee Member in External Review Committee within the SPLASH OOPSLA-track
William ZimrinZimrin, William Usable Security as a Static Analysis Problem: Modeling and Reasoning About User Permissions in Social-Sharing Systems
Ryder ZiolaZiola, Ryder The Latency, Accuracy, and Battery (LAB) Abstraction: Programmer Productivity and Energy Efficiency for Continuous Mobile Context Sensing
Gabi ZodikZodik, Gabi MobileFirst: Future Directions in Programming and Runtime Models
Ö Johan ÖstlundÖstlund, Johan Uppsala University Committee Member in Artifacts within the SPLASH OOPSLA Artifacts-track

SPLASH 2013 Contributors

Results (549)

Tracks

Co-hosted Conferences