SPLASH 2014 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (671)

A Martha A. KimA. Kim, Martha Columbia University An Experimental Survey of Energy Management Across the Stack
Aharon AbadiAbadi, Aharon IBM ResearchIsrael Software Engineering for Mobile Development: Best Practices, Anti-patterns, Tools, and Techniques Committee Member in Organizing Committee within the MobileDeLi-track
Shadi Abdul KhalekAbdul Khalek, Shadi Google Bounded Exhaustive Test Input Generation from Hybrid Invariants
Hal AbelsonAbelson, Hal MITUnited States Committee Member in Program Committee within the PROMOTO -track
Marwan Abi-AntounAbi-Antoun, Marwan Wayne State University The Eclipse Runtime Perspective for Object-Oriented Code Exploration and Program Comprehension
Mohammed Javed AbsarAbsar, Mohammed Javed PENCIL: A platform-neutral intermediate language for the parallelizing compilation of DSLs
Mathieu AcherAcher, Mathieu University of RennesFrance Metamorphic Domain-Specific Languages: A Journey Into the Shapes of a Language
Sara AchourAchour, Sara MIT Chisel: Reliability-Aware Optimization of Approximate Computational Kernels
Keith AdamsAdams, Keith FacebookUnited States The HipHop Virtual Machine The HipHop Virtual Machine
Mehrdad AfshariAfshari, Mehrdad University of California, Davis Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Gul AghaAgha, Gul University of Illinois at Urbana-Champaign Committee Member in Steering Committee for AGERE! Committee Member in Program Committee for AGERE! Upgrade Programming for Mobile Cloud
Nazareno AguirreAguirre, Nazareno Dept. of Computer Science FCEFQyN, University of Rio Cuarto Bounded Exhaustive Test Input Generation from Hybrid Invariants
Martin AignerAigner, Martin University of Salzburg ACDC-JS: Explorative Benchmarking of JavaScript Memory Management
Dhaon AkshatAkshat, Dhaon University College DublinIndia Multiple Inheritance in AgentSpeak(L)-style Programming Languages
Jonathan AldrichAldrich, Jonathan Carnegie Mellon UniversityUnited States Committee Member in Steering Committee for Onward! 2014 Session Chair of SPLASH 2015 OC Meeting (part of SPLASH Administration) Session Chair of Onward! SC Meeting (part of SPLASH Administration) Session Chair of Session 1 (part of Onward! Essays) The Success, Failure, and Future of Distributed Objects Composable Syntax Macros Considering Productivity Effects of Explicit Type Declarations Usability Hypotheses in the Design of Plaid Wyvern: Impacting Software Security via Programming Language Design Committee Member in Organizing Committee within the FOOL -track Committee Member in Program Committee within the Onward! Essays-track
Amin AlipourAlipour, Amin Oregon State University Coverage and Its Discontents
Esteban AllendeAllende, Esteban Confined Gradual Typing
John AltidorAltidor, John University of Massachusetts Refactoring Java Generics by Inferring Wildcards, In Practice Refactoring Java Generics by Inferring Wildcards, In Practice
Saman AmarasingheAmarasinghe, Saman MIT StreamJIT: A Commensal Compiler for High-Performance Stream Programming Committee Member in Organizing Committee within the WOSC -track
Afshin AmighiAmighi, Afshin University of Twente Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Nada AminAmin, Nada EPFLSwitzerland Foundations of Path-Dependent Types Batteries Included: Generative Programming with Scala and LMS
Esben AndreasenAndreasen, Esben Aarhus UniversityDenmark Determinacy in Static Analysis for jQuery Determinacy in Static Analysis for jQuery
Truong Anh HoangAnh Hoang, Truong Vietnam National UniversityVietnam Committee Member in Program Committee within the FOOL -track
Craig AnslowAnslow, Craig University of Calgary Publicity and Web Chair in Organizing Committee for SPLASH 2014 Session Chair of Session 2 (part of PLATEAU ) Session Chair of Invited Speaker: Josh Bloch (part of PLATEAU ) An Experience Report at Teaching Group Based Agile Software Engineering Teams Committee Member in Organizing Committee within the PLATEAU -track
Sven ApelApel, Sven University of Passau Variational Data Structures: Exploring Tradeoffs in Computing with Variability
David ArcherArcher, David Galois Wavefront Co-Chair in Organizing Committee for SPLASH 2014 Session Chair of Panel: East Meets West (part of SPLASH Wavefront) Session Chair of Invited Talk: Eric Forsberg (part of SPLASH Wavefront) Session Chair of Invited Talk: Ward Cunningham (part of SPLASH Wavefront) Chair in Organizing Committee within the SPLASH Wavefront-track
Miguel AreiasAreias, Miguel On Scaling Dynamic Programming Problems with a Multithreaded Tabling System
Abel ArmasArmas, Abel University of Tartu Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Ehsan AtoofianAtoofian, Ehsan Lakehead University, Canada Committee Member in Program Committee within the SEPS -track
Rohit AtreAtre, Rohit Discovering Parallelization Opportunities in Sequential Programs - A Closer-to-Complete Solution
Joshua AuerbachAuerbach, Joshua IBM ResearchUnited States Hardware Design for Software Developers Using Liquid Metal
B Takanobu BabaBaba, Takanobu Professor, Utsunomiya University, JapanJapan Session Chair of Session D (part of SEPS ) Consideration of loop parallelization on heterogeneous multicore architecture using path and data dependence profiling
Riyadh BaghdadiBaghdadi, Riyadh PENCIL: A platform-neutral intermediate language for the parallelizing compilation of DSLs
Mehdi BagherzadehBagherzadeh, Mehdi Iowa State University Modular Reasoning in Capsule Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Abhishek BagusettyBagusetty, Abhishek Nebo: An efficient, parallel, and portable domain-specific language for numerically solving partial differential equations
Jim BakerBaker, Jim Design and Evaluation of Gradual Typing for Python
Kevin BaldorBaldor, Kevin SMAST: Constructing Languages for Multi-Disciplinary Engineering Problems
Jennifer BaldwinBaldwin, Jennifer University of Victoria Committee Member in Program Committee within the PLATEAU -track
Thomas BallBall, Thomas Microsoft Research Committee Member in Program Committee within the SPLASH Student Research Competition-track Committee Member in Program Committee within the PROMOTO -track
Marc BalmerBalmer, Marc Scriptable Operating Systems with Lua
Stephanie BalzerBalzer, Stephanie Carnegie Mellon University Workshops Co-Chair in Organizing Committee for SPLASH 2014 Chair in Program Committee within the SPLASH Workshops-track Committee Member in Program Committee within the SPLASH Workshops-track
Elisa BaniassadBaniassad, Elisa University of British ColumbiaCanada Committee Member in Program Committee within the Onward! Essays-track
Leonardo Barbosa OliveiraBarbosa Oliveira, Leonardo UFMG Validation of Memory Accesses Through Symbolic Analyses
Titus BarikBarik, Titus ABB Corporate ResearchUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Dan BarowyBarowy, Dan University of Massachusetts, Amherst CheckCell: Data Debugging for Spreadsheets CheckCell: Data Debugging for Spreadsheets
Earl T. BarrBarr, Earl T. University College London Capturing and Exploiting IDE Interactions Tardis: Affordable Time-Travel Debugging in Managed Runtimes
Edd BarrettBarrett, Edd King's College London Publicity Chair in Organisers within the DLS -track
Austin Cory BartBart, Austin Cory Virginia TechUnited States Talk on the CORGIS Big-Data Framework and the MUSIC model for assessing student motivation
Dylan BatesBates, Dylan Coker College Recommending More Efficient Workflows to Software Developers
Ulysse BeaugnonBeaugnon, Ulysse PENCIL: A platform-neutral intermediate language for the parallelizing compilation of DSLs
Daniel BeckerBecker, Daniel Siemens AG, Munich, Germany Committee Member in Program Committee within the SEPS -track
Andrew BegelBegel, Andrew Microsoft Research Committee Member in Program Committee within the SPLASH -E-track Committee Member in Program Committee within the PLATEAU -track
Jonathan BellBell, Jonathan Columbia University Student Volunteer Captain in Organizing Committee for SPLASH 2014 Phosphor: Illuminating Dynamic Data Flow in the JVM Phosphor: Illuminating Dynamic Data Flow in Commodity JVMs Student Volunteer Captain in Organizing Committee within the SPLASH Student Volunteers-track
Emmanuel Bello-OgunuBello-Ogunu, Emmanuel University of North Carolina Charlotte PermitMe: Integrating Android Permissioning Support in the IDE
Valeria BengoleaBengolea, Valeria Dept. of Computer Science FCEFQyN, University of Rio Cuarto Bounded Exhaustive Test Input Generation from Hybrid Invariants
Siegfried BenknerBenkner, Siegfried University of Vienna, Austria Committee Member in Program Committee within the SEPS -track
Tom BerganBergan, Tom University of Washington Symbolic Execution of Multithreaded Programs from Arbitrary Program Contexts
Alexandre BergelBergel, Alexandre Asking and Answering Questions during a Programming Change Task in Pharo Language On the Use of Type Predicates in Object-Oriented Software: The Case of Smalltalk
Emery D. BergerBerger, Emery D. University of Massachusetts, AmherstUnited States Session Chair of Session the Fourth (part of Onward! Papers) SurveyMan: Programming and Automatically Debugging Surveys SurveyMan: Programming and Automatically Debugging Surveys CheckCell: Data Debugging for Spreadsheets CheckCell: Data Debugging for Spreadsheets Committee Member in Program Committee within the Onward! Papers-track Committee Member in Program Committee within the SPLASH Student Research Competition-track
Sa-Lin BernsteinBernstein, Sa-Lin Lighthouse: A User-Centered Web Service for Linear Algebra Software
Adam BettsBetts, Adam PENCIL: A platform-neutral intermediate language for the parallelizing compilation of DSLs
Kumud BhandariBhandari, Kumud Rice University Atlas: Leveraging Locks for Non-volatile Memory Consistency
Judith BishopBishop, Judith Microsoft ResearchUnited States Workshops Co-Chair in Organizing Committee for PROMOTO Session Chair of Research Talks (part of PROMOTO ) Panel on Mobile Computing and Education Co-chair in Steering Committee within the PROMOTO -track Committee Member in Program Committee within the MobileDeLi-track
Andrew BlackBlack, Andrew Portland State UniversityUnited States Committee Member in Steering Committee for SPLASH 2014 General Chair in Organizing Committee for SPLASH 2014 Committee Member in Steering Committee for Onward! 2014 Session Chair of Bret Victor Keynote (part of SPLASH Keynotes) Session Chair of SPLASH Awards (part of SPLASH Awards) The Success, Failure, and Future of Distributed Objects Co-chair in Organizing Committee within the Summer School on Multicore Programming-track Committee Member in Program Committee within the PLATEAU -track
Steve BlackburnBlackburn, Steve Australian National University Australia Fast Conservative Garbage Collection Fast Conservative Garbage Collection
Alan BlackwellBlackwell, Alan University of CambridgeUnited Kingdom Committee Member in Program Committee within the PLATEAU -track
Josh BlochBloch, Josh United States Invited Speaker: A Brief, Opinionated History of the API
Dorothea BlosteinBlostein, Dorothea Queen's University, Kingston, OntarioCanada Committee Member in Program Committee within the Onward! Essays-track
Luc BläserBläser, Luc Composita: Bringing Order to Agent Communications
Robert BocchinoBocchino, Robert NASA/Caltech Jet Propulsion Laboratory Committee Member in External Review Committee within the SPLASH OOPSLA-track
Eric BoddenBodden, Eric Fraunhofer SIT and TU Darmstadt Variational Data Structures: Exploring Tradeoffs in Computing with Variability
Hans-J. BoehmBoehm, Hans-J. Google Atlas: Leveraging Locks for Non-volatile Memory Consistency
Rafael BordiniBordini, Rafael FACIN-UFRSBrazil Committee Member in Steering Committee for AGERE! Committee Member in Program Committee for AGERE!
Jeffrey BosboomBosboom, Jeffrey MIT CSAIL StreamJIT: A Commensal Compiler for High-Performance Stream Programming
Brett BostonBoston, Brett University of WashingtonUnited States Quality Types for Approximate Programming
John BoylandBoyland, John University of Wisconsin, Milwaukee The Problem of Structural Type Tests in a Gradual-Typed Language
Gilad BrachaBracha, Gilad Google Committee Member in Program Committee within the DLS -track
Jonathan Immanuel BrachthäuserBrachthäuser, Jonathan Immanuel University of Marburg From Object Algebras to Attribute Grammars From Object Algebras to Attribute Grammars
Jeremy BradburyBradbury, Jeremy University of Ontario Institute of Technology, CanadaCanada Committee Member in Program Committee within the SEPS -track
Preston BriggsBriggs, Preston University of Washington Alembic: Automatic Locality Extraction via Migration
Jean-Pierre BriotBriot, Jean-Pierre LIP6/CNRS France Committee Member in Program Committee for AGERE!
Einar Broch JohnsenBroch Johnsen, Einar University of Oslo Committee Member in Program Committee for AGERE!
Cyril BromBrom, Cyril Faculty of Mathematics and Physics, Charles University in Prague yaPOSH: Engineering Behaviors for Videogame Characters
Bernd BrueggeBruegge, Bernd Technische Universität München Onward! Essays Chair in Organizing Committee for SPLASH 2014 Committee Member in Steering Committee for Onward! 2014 Session Chair of Session 2 (part of Onward! Essays) Invited Talk: User Feedback in Mobile Development Chair in Program Committee within the Onward! Essays-track
Stefan BrunthalerBrunthaler, Stefan University of California, Irvine Accelerating Iterators in Optimizing AST Interpreters Accelerating Iterators in Optimizing AST Interpreters
Lucas BrutschyBrutschy, Lucas ETH ZurichGermany Static Analysis for Independent App Developers Static Analysis for Independent App Developers
Michael BurkeBurke, Michael Rice University Committee Member in Program Committee for ETX Committee Member in Program Committee within the ETX-track
Eugene BurmakoBurmako, Eugene EPFL Late Data Layout: Unifying Data Representation Transformations Late Data Layout: Unifying Data Representation Transformations
Jürgen BörstlerBörstler, Jürgen Blekinge Institute of Technology Committee Member in Program Committee within the SPLASH -E-track
C Michael CafarellaCafarella, Michael University of Michigan Using Web Corpus Statistics for Program Analysis
Oscar CallaúCallaú, Oscar University of ChileChile On the Use of Type Predicates in Object-Oriented Software: The Case of Smalltalk
Djenana CamparaCampara, Djenana KDM Analytics Privacy and Security in a Networked World
Michael CarbinCarbin, Michael MIT Chisel: Reliability-Aware Optimization of Approximate Computational Kernels
Adam CarterCarter, Adam Washington State University Supporting Social Interactions and Awareness in Educational Programming Environments
Jeff CarverCarver, Jeff University of Alabama Invited Talk: Applying Software Engineering Principles to Computational Science Committee Member in Program Committee within the SEPS -track Committee Member in Program Committee within the PLATEAU -track
Fernando CastorCastor, Fernando UFPE Session Chair of Invited Speaker: Jeffrey Carver - Session C (part of SEPS ) Characterizing the Energy Efficiency of Java's Thread-Safe Collections in a Multi-Core Environment Understanding Energy Behaviors of Thread Management Constructs
Veronica CateteCatete, Veronica North Carolina State University Committee Member in Program Committee within the PROMOTO -track
John CavazosCavazos, John University of Delaware Committee Member in External Review Committee within the SPLASH OOPSLA-track
Luis CezeCeze, Luis University of Washington Alembic: Automatic Locality Extraction via Migration Symbolic Execution of Multithreaded Programs from Arbitrary Program Contexts
Dhruva ChakrabartiChakrabarti, Dhruva HP Labs Atlas: Leveraging Locks for Non-volatile Memory Consistency
Sumukhi ChandrashekarChandrashekar, Sumukhi Wayne State University The Eclipse Runtime Perspective for Object-Oriented Code Exploration and Program Comprehension
Sai Charan KoduruCharan Koduru, Sai University of California, Riverside ASPIRE: Exploiting Asynchronous Parallelism in Iterative Algorithms using a Relaxed Consistency based DSM
Dominik CharoussetCharousset, Dominik CAF - The C++ Actor Framework for Scalable and Resource-efficient Applications
Sarah E. ChasinsChasins, Sarah E. University of California, Berkeley Research.js: Evaluating Your Research on the Web
Avik ChaudhuriChaudhuri, Avik Facebook Committee Member in Program Committee within the SPLASH Student Research Competition-track
Swarat ChaudhuriChaudhuri, Swarat Rice University Committee Member in Program Committee within the SPLASH OOPSLA-track
Wenguang ChenChen, Wenguang Tsinghua University Cybertron: Pushing the Limit on I/O Reduction in Data-Parallel Programs
Dan ChioreanChiorean, Dan Babes-Bolyai University, Cluj-NapocaRomania Committee Member in Program Committee within the Onward! Essays-track
Adam ChlipalaChlipala, Adam MITUnited States Compiler Verification Meets Cross-Language Linking via Data Abstraction Compiler Verification Meets Cross-Language Linking via Data Abstraction
Stephen ChongChong, Stephen Harvard University Session Chair of Program Analysis and the Web (part of SPLASH OOPSLA) Committee Member in Program Committee within the SPLASH OOPSLA-track
Bushra ChowdhuryChowdhury, Bushra Virginia Tech Talk on the CORGIS Big-Data Framework and the MUSIC model for assessing student motivation
Ravi ChughChugh, Ravi University of Chicago Session Chair of Type Systems (part of SPLASH OOPSLA) Committee Member in Program Committee within the SPLASH OOPSLA-track
Yvonne CoadyCoady, Yvonne University of VictoriaCanada Committee Member in Steering Committee for Onward! 2014 Committee Member in Program Committee within the Onward! Essays-track
Michael CoblenzCoblenz, Michael Carnegie Mellon UniversityUnited States Considering Productivity Effects of Explicit Type Declarations
Albert CohenCohen, Albert INRIA PENCIL: A platform-neutral intermediate language for the parallelizing compilation of DSLs
Philippe ColletCollet, Philippe University of Nice Metamorphic Domain-Specific Languages: A Journey Into the Shapes of a Language
Rem CollierCollier, Rem Multiple Inheritance in AgentSpeak(L)-style Programming Languages
Benoit CombemaleCombemale, Benoit University of RennesFrance Metamorphic Domain-Specific Languages: A Journey Into the Shapes of a Language
Stéphane ConversyConversy, Stéphane University of Toulouse - ENAC Unifying Textual and Visual: a Theoretical Account of the Visual Perception of Programming Languages
William CookCook, William UT Austin Committee Member in Steering Committee for SPLASH 2014 Extensibilty for the masses
Thierry CoppeyCoppey, Thierry EPFL, Switzerland; GoogleSwitzerland Staged Parser Combinators for Efficient Data Processing
Jonathan CorleyCorley, Jonathan University of Alabama Searching for Answers: An Exploratory Study of the Formation, Use, and Impact of Queries During Debugging
Devin CoughlinCoughlin, Devin University of Colorado Boulder Analysis with Type-Intertwined Separation Logic
Arnaud CuccuruCuccuru, Arnaud CEA Saclay - NanoInnov Demo 3: Agile Programming With Executable Models
Santiago CuellarCuellar, Santiago PrincetonColombia Compiler Verification Meets Cross-Language Linking via Data Abstraction Compiler Verification Meets Cross-Language Linking via Data Abstraction
Heming CuiCui, Heming Columbia University, New York Committee Member in Program Committee within the SPLASH Posters-track
Ward CunninghamCunningham, Ward New RelicUnited States Invited Talk: Design Goals of the Smallest Federated Wiki
Charlie CurtsingerCurtsinger, Charlie University of Massachusetts Amherst Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Evan CzaplickiCzaplicki, Evan Elm: Functional Reactive Programming for Front-End Applications
D Ferruccio DamianiDamiani, Ferruccio University of TurinItaly Committee Member in Program Committee within the FOOL -track
Andrei Marian DanDan, Andrei Marian ETH ZurichRomania Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Nirav DaveDave, Nirav SRI International Smten with Satisfiability-Based Search Smten with Satisfiability-Based Search
Florian DavidDavid, Florian LIP6-UPMC/INRIA Continuously Measuring Critical Section Pressure with the Free-Lunch Profiler Continuously Measuring Critical Section Pressure with the Free-Lunch Profiler Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Peli de Halleuxde Halleux, Peli Microsoft Research Programming Gadgets with Gadgets
Wolfgang De MeuterDe Meuter, Wolfgang Vrije Universiteit Brussel Session Chair of Keynote: Evan Czaplicki with Elm (part of REBLS ) Software Engineering Principles in the Midas Gesture Specification Language, Towards Tierless Programming in a General-Purpose Language Committee Member in Organizing Committee within the REBLS -track
Ana Lúcia de Mourade Moura, Ana Lúcia Scriptable Operating Systems with Lua
Pablo de Oliveira Castrode Oliveira Castro, Pablo University of Versailles, France Committee Member in Program Committee within the SEPS -track
Coen De RooverDe Roover, Coen Software Languages Lab, Software Engineering LaboratoryBelgium Towards Tierless Programming in a General-Purpose Language
Chris DeatonDeaton, Chris Cycorp Call by Meaning
Damian DechevDechev, Damian Resource-Based Transaction Management for Best-Effort Hardware Transactional Memory
Josh DehlingerDehlinger, Josh Towson University Encouraging privacy by design concepts with privacy Policy Auto-Generation in Eclipse (PAGE)
Ankush DesaiDesai, Ankush University of California, Berkeley Natural Proofs for Asynchronous Programs using Almost-Synchronous Invariants
Travis DesellDesell, Travis University of North DakotaUnited States Committee Member in Program Committee for AGERE!
Dominique DevrieseDevriese, Dominique iMinds - Distrinet, KU LeuvenBelgium Multi-tier Functional Reactive Programming for the Web
Werner DietlDietl, Werner University of Waterloo Committee Member in Program Committee for ETX Committee Member in Program Committee within the ETX-track
Robert DietrichDietrich, Robert Critical-Blame Analysis for OpenMP 4.0 Offloading on Intel Xeon Phi
Danny DigDig, Danny Oregon State University Session Chair of Saturday Morning (part of Summer School on Multicore Programming) Session Chair of Sunday Morning (part of Summer School on Multicore Programming) Session Chair of Sunday Afternoon (part of Summer School on Multicore Programming) Session Chair of Saturday Afternoon (part of Summer School on Multicore Programming) Session Chair of Friday Afternoon (part of Summer School on Multicore Programming) Inspirations Co-Chair in Organizing Committee within the SPLASH Inspirations-track Committee Member in Organizing Committee within the MobileDeLi-track Co-chair in Organizing Committee within the Summer School on Multicore Programming-track
Işıl DilligDillig, Işıl University of Texas, Austin Student Research Competition Co-Chair in Organizing Committee for SPLASH 2014 Session Chair of SRC Posters (part of SPLASH Student Research Competition) Session Chair of SRC Presentations (part of SPLASH Student Research Competition) Co-chair in Organizing Committee within the SPLASH Student Research Competition-track
Thomas DilligDillig, Thomas University of Texas, Austin Committee Member in External Review Committee within the SPLASH OOPSLA-track
Yufei DingDing, Yufei College of William and Mary Call Sequence Prediction through Probabilistic Calling Automata
Tim DisneyDisney, Tim Sweeten Your JavaScript: Hygienic Macros for ES5 Dynamic Detection of Object Capability Violations Through Model Checking
Christian DoernerDoerner, Christian Senacor Technologies AG EUKLAS: Supporting Copy-and-Paste Strategies for Integrating Example Code
Alastair F. DonaldsonDonaldson, Alastair F. PENCIL: A platform-neutral intermediate language for the parallelizing compilation of DSLs
Didier DonsezDonsez, Didier Universite Joseph Fourier - Grenoble 1 Committee Member in Program Committee for ETX Committee Member in Program Committee within the ETX-track
Joscha DrechslerDrechsler, Joscha Technische Universität Darmstadt Towards Concurrent Reactive Programming Distributed REScala: An Update Algorithm for Distributed Reactive Programming
Derek DreyerDreyer, Derek MPI-SWS GPS: Navigating Weak Memory with Ghosts, Protocols, and Separation GPS: Navigating Weak Memory with Ghosts, Protocols, and Separation
Sophia DrossopoulouDrossopoulou, Sophia Imperial College LondonUnited Kingdom Program Equivalence through Trace Equivalence Committee Member in Program Committee within the Onward! Papers-track Committee Member in Program Committee within the FOOL -track Committee Member in Program Committee within the SPLASH Workshops-track Committee Member in External Review Committee within the SPLASH OOPSLA-track
Yael DubinskyDubinsky, Yael IBM Committee Member in Program Committee within the PROMOTO -track
Michael DullerDuller, Michael Oracle Labs Committee Member in Program Committee for ETX Committee Member in Program Committee within the ETX-track
Matthew B DwyerDwyer, Matthew B University of Nebraska Committee Member in Steering Committee for SPLASH 2014
Robert DyerDyer, Robert Bowling Green State UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
E Christopher EarlEarl, Christopher University of Utah Nebo: An efficient, parallel, and portable domain-specific language for numerically solving partial differential equations
Brian EddyEddy, Brian Incorporating Structured Queries into Software Search Searching for Answers: An Exploratory Study of the Formation, Use, and Impact of Queries During Debugging Structured Source Retrieval for Improving Software Search during Program Comprehension Tasks
Jonathan EdwardsEdwards, Jonathan MIT, USAUnited States Committee Member in Steering Committee for SPLASH 2014 Committee Member in Steering Committee for Onward! 2014 Session Chair of Technical paper session 4 (part of DLS ) Programming with Managed Time Committee Member in Program Committee within the DLS -track Committee Member in Organizing Committee within the FP Future Programming-track
Stephen EdwardsEdwards, Stephen Virginia Tech Committee Member in Program Committee within the SPLASH -E-track
Amal El Fallah-SegrouchniEl Fallah-Segrouchni, Amal LIP6 Committee Member in Program Committee for AGERE!
Peter ElmersElmers, Peter Rice University HJ-Viz: A New Tool for Visualizing, Debugging and Optimizing Parallel Programs
Michael EngelEngel, Michael Dynamic Page Sharing Optimization for the R Language A Parallelization Approach for Resource Restricted Embedded Heterogeneous MPSoCs Inspired by OpenMP
Sebastian ErdwegErdweg, Sebastian TU Darmstadt Committee Member in Organizing Committee for DSLDI Session Chair of Session the First (part of Onward! Papers) i3QL: Language-Integrated Live Data Views i3QL: Language-Integrated Live Data Views Committee Member in Program Committee within the Onward! Papers-track Program Chair in Organizers within the DSLDI -track Committee Member in Program Committee within the PLATEAU -track
Erik ErnstErnst, Erik Managing Gradual Typing with Message-Safety in Dart
Martin ErwigErwig, Martin Oregon State University Variational Data Structures: Exploring Tradeoffs in Computing with Variability Committee Member in Program Committee within the DSLDI -track
Mahdi EslamimehrEslamimehr, Mahdi University of California, Los Angeles Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Yadran EterovicEterovic, Yadran Pontificia Universidad Catlica de Chile Feedback on Course Design: Project-based software engineering education in an evening master's program
Patrick EugsterEugster, Patrick Purdue University Committee Member in Steering Committee for SPLASH 2014 Session Chair of Keynote: Evan Czaplicki with Elm (part of REBLS ) Committee Member in Program Committee within the SPLASH OOPSLA-track Committee Member in Organizing Committee within the REBLS -track
Jason EvansEvans, Jason Facebook The HipHop Virtual Machine The HipHop Virtual Machine
F Johan FabryFabry, Johan University of Chile Confined Gradual Typing
Manuel FahndrichFahndrich, Manuel Google Committee Member in Program Committee within the SPLASH OOPSLA-track
Michael FanningFanning, Michael MicrosoftUnited States Privacy and Security in a Networked World
Nathan FaubionFaubion, Nathan Sweeten Your JavaScript: Hygienic Macros for ES5
Andrew FaulringFaulring, Andrew Carnegie Mellon University EUKLAS: Supporting Copy-and-Paste Strategies for Integrating Example Code
Asger FeldthausFeldthaus, Asger Aarhus UniversityDenmark Checking Correctness of TypeScript Interfaces for JavaScript Libraries Checking Correctness of TypeScript Interfaces for JavaScript Libraries
Tim FelgentreffFelgentreff, Tim Hasso-Plattner-Institute, Potsdam SqueakJS - A Modern and Practical Smalltalk That Runs in Any Browser Object Versioning to Support Recovery Needs: Using Proxies to Preserve Previous Development States in Lively Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Willer Fernandes SantosFernandes Santos, Willer UFMG Validation of Memory Accesses Through Symbolic Analyses
Matthew FernandezFernandez, Matthew Accordion: An EDSL for Hardware Instruction Set Extensions
Pietro FerraraFerrara, Pietro IBM Thomas J. Watson Research Center Static Analysis for Independent App Developers Static Analysis for Independent App Developers
John FieldField, John Fault Tolerant Distributed Computing using Asynchronous Local Checkpointing
Robert Bruce FindlerFindler, Robert Bruce Northwestern UniversityUnited States Artifact Evaluation Co-Chair in Organizing Committee for SPLASH 2014 Artifact Evaluation Co-Chair in Organizing Committee within the SPLASH OOPSLA Artifacts-track Committee Member in External Review Committee within the SPLASH OOPSLA-track
Stephen J FinkFink, Stephen J IBMUnited States Translating Imperative Code to MapReduce
Kathleen FisherFisher, Kathleen Tufts University Committee Member in Steering Committee for SPLASH 2014 Adaptive LL() Parsing: The Power of Dynamic Analysis Adaptive LL() Parsing: The Power of Dynamic Analysis
Kathi FislerFisler, Kathi Worcester Polytechnic Institute SPLASH-E Chair in Organizing Committee for SPLASH 2014 Chair in Program Committee within the SPLASH -E-track
Cormac FlanaganFlanagan, Cormac UC Santa Cruz Sweeten Your JavaScript: Hygienic Macros for ES5 Dynamic Detection of Object Capability Violations Through Model Checking
Matthew FlattFlatt, Matthew University of Utah Committee Member in Program Committee within the DSLDI -track
Dominique FoberFober, Dominique A Rationale for Faust Design Decisions
Vincent Foley-BourgonFoley-Bourgon, Vincent Using JavaScript and WebCL for Numerical Computations: A Comparative Study of Native and Web Technologies
Eric ForsbergForsberg, Eric Mentor Graphics CorporationUnited States Invited Talk: Avoiding the software development apocalypse through continuous build and test
Jeffrey S. FosterFoster, Jeffrey S. Contracts for Domain-Specific Languages in Ruby
Michael FranzFranz, Michael University of California, Irvine Accelerating Iterators in Optimizing AST Interpreters Accelerating Iterators in Optimizing AST Interpreters
Steven D. FraserFraser, Steven D. Independent Consultant Privacy and Security in a Networked World Panel: East Meets West — the Influences of Geography on Software Production Committee Member in Organizing Committee within the TD Technical Debt-track
Bert FreudenbergFreudenberg, Bert CDG LabsGermany SqueakJS - A Modern and Practical Smalltalk That Runs in Any Browser
Stephen N. FreundFreund, Stephen N. Williams College Committee Member in External Review Committee within the SPLASH OOPSLA-track
Marcelo F. FriasFrias, Marcelo F. Dept. of Software Engineering Instituto Tecnológico de Buenos Aires Bounded Exhaustive Test Input Generation from Hybrid Invariants
Mark FriedmanFriedman, Mark Session Chair of Short Papers and Panel (part of PROMOTO )
Thomas FritzFritz, Thomas University of ZurichSwitzerland Committee Member in Program Committee within the PLATEAU -track
G Richard P. GabrielGabriel, Richard P. IBM Research, USAUnited States Committee Member in Steering Committee for Onward! 2014 I Throw Itching Powder at Tulips Committee Member in Organizing Committee within the FP Future Programming-track
Joel GalensonGalenson, Joel University of California, Berkeley and Qualcomm Research Research.js: Evaluating Your Research on the Web
Yaoqing GaoGao, Yaoqing IBM Toronto LabsCanada Space-Efficient Multi-Versioning for Input-Adaptive Feedback-Driven Program Optimizations
Ronald GarciaGarcia, Ronald University of British Columbia Confined Gradual Typing
Pranav GargGarg, Pranav University of Illinois at Urbana-Champaign Natural Proofs for Asynchronous Programs using Almost-Synchronous Invariants
Tony Garnock-JonesGarnock-Jones, Tony Northeastern University Committee Member in Program Committee for AGERE!
Jakub GemrotGemrot, Jakub Faculty of Mathematics and Physics, Charles University in Prague yaPOSH: Engineering Behaviors for Videogame Characters
Rohit GheyiGheyi, Rohit UFCG, Brazil Enhancing Conformance Checking for Contract-Based Programs
Andrew GiangGiang, Andrew Wayne State University The Eclipse Runtime Perspective for Object-Oriented Code Exploration and Program Comprehension
Paolo G. GiarrussoGiarrusso, Paolo G. University of Marburg Formal Semantics as a Language Designer’s Toolbox: A case for semantics-inspired language design
Jeremy GibbonsGibbons, Jeremy University of Oxford, UK Committee Member in Steering Committee for SPLASH 2014 Committee Member in Steering Committee for Onward! 2014 Compositionality in embedded DSLs
Yossi GilGil, Yossi Israel Institute of Technology Committee Member in External Review Committee within the SPLASH OOPSLA-track
Milos GligoricGligoric, Milos University of Illinois at Urbana-Champaign Automated Migration of Build Scripts using Dynamic Analysis and Search-Based Refactoring
Dimitar GochevGochev, Dimitar University of Massachusetts, Amherst CheckCell: Data Debugging for Spreadsheets CheckCell: Data Debugging for Spreadsheets
Liang GongGong, Liang University of California, Berkeley Research.js: Evaluating Your Research on the Web
Laure GonnordGonnord, Laure University of Lyon & LIP, France Validation of Memory Accesses Through Symbolic Analyses
Elisa Gonzalez BoixGonzalez Boix, Elisa Vrije Universiteit Brussel Committee Member in Organizing Committee for AGERE! Committee Member in Program Committee for AGERE!
Santiago GonzalezGonzalez, Santiago Colorado School of Mines Improved Program Synthesis Through the Use of Packages
Rahul GopinathGopinath, Rahul Oregon State University Coverage and Its Discontents
Georgios GousiosGousios, Georgios Delft University of Technology Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Tyrone GrandisonGrandison, Tyrone Proficiency LabsUnited States Committee Member in Organizing Committee within the PSP -track
Jeff GrayGray, Jeff University of Alabama Committee Member in Organizing Committee for DSM
Clemens GrelckGrelck, Clemens University of AmsterdamGermany Committee Member in Program Committee within the SEPS -track
Robert GrimmGrimm, Robert Goldman Sachs Session Chair of Compilation Tools (part of SPLASH OOPSLA) Committee Member in Program Committee within the SPLASH OOPSLA-track
Matthias GrimmerGrimmer, Matthias High-Performance Language Interoperability in Multi-Language Runtimes
Alex GroceGroce, Alex Oregon State UniversityUnited States Coverage and Its Discontents
Thomas GrossGross, Thomas ETH Zurich Committee Member in Program Committee within the SPLASH Workshops-track Committee Member in Program Committee within the SPLASH OOPSLA-track
Tobias GrosserGrosser, Tobias PENCIL: A platform-neutral intermediate language for the parallelizing compilation of DSLs
Dan GrossmanGrossman, Dan University of Washington Symbolic Execution of Multithreaded Programs from Arbitrary Program Contexts
David GroveGrove, David IBM ResearchUnited States Session Chair of Concurrency (part of SPLASH OOPSLA) Committee Member in Program Committee within the SPLASH Workshops-track Committee Member in Program Committee within the SPLASH OOPSLA-track
Alexander GrundGrund, Alexander Critical-Blame Analysis for OpenMP 4.0 Offloading on Intel Xeon Phi
Albert GräfGräf, Albert A Rationale for Faust Design Decisions
Zhongxian GuGu, Zhongxian UC Davis Capturing and Exploiting IDE Interactions
Adrien GuattoGuatto, Adrien École normale supérieure Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Zhenyu GuoGuo, Zhenyu Microsoft Research Cybertron: Pushing the Limit on I/O Reduction in Data-Parallel Programs
Rajiv GuptaGupta, Rajiv UC Riverside ASPIRE: Exploiting Asynchronous Parallelism in Iterative Algorithms using a Relaxed Consistency based DSM
Sam GuyerGuyer, Sam Tufts University Student Research Competition Co-Chair in Organizing Committee for SPLASH 2014 Session Chair of SRC Posters (part of SPLASH Student Research Competition) Session Chair of SRC Presentations (part of SPLASH Student Research Competition) Co-chair in Organizing Committee within the SPLASH Student Research Competition-track
H Christine H. FloodH. Flood, Christine Red Hat Fast Splittable Pseudorandom Number Generators
David H. LorenzH. Lorenz, David Open University and Technion IIT Versionable, Branchable, and Mergeable Application State
Christopher HallHall, Christopher Structured Editing for HCI Metacomputing Universal Syntax and Deconstructible User Interfaces
Philipp HallerHaller, Philipp Typesafe Committee Member in Organizing Committee for AGERE! Committee Member in Program Committee for AGERE!
Stefan HanenbergHanenberg, Stefan University of Duisburg-EssenGermany Invited talk: Why do we know so little about programming languages, and what would have happened if we had known more? Invited Talk: How Do API Documentation and Static Typing Affect API Usability? The Programming Language Wars Designing Programming Languages for People: Data-Driven Methods Committee Member in Program Committee within the PLATEAU -track
David HarelHarel, David Scaling-Up Behavioral Programming: Steps from Basic Principles to Application Architectures
Sam HarwellHarwell, Sam University of Texas at Austin Adaptive LL() Parsing: The Power of Dynamic Analysis Adaptive LL() Parsing: The Power of Dynamic Analysis
Matthias HauswirthHauswirth, Matthias University of Lugano Artifact Evaluation Co-Chair in Organizing Committee for SPLASH 2014 Panel on Mobile Computing and Education Mobile vs. Desktop Programming Projects: The Effect on Students Artefact Evaluation Co-Chair in Organizing Committee within the SPLASH OOPSLA Artifacts-track Committee Member in Program Committee within the PROMOTO -track Committee Member in Program Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the PLATEAU -track
Laurie HendrenHendren, Laurie McGill UniversityCanada Using JavaScript and WebCL for Numerical Computations: A Comparative Study of Native and Web Technologies Mix10: Compiling MATLAB to X10 for High Performance Mix10: Compiling MATLAB to X10 for High Performance
Dave HermanHerman, Dave Typed Objects in JavaScript Sweeten Your JavaScript: Hygienic Macros for ES5
Michael HicksHicks, Michael University of Maryland, College Park Rubah: DSU for Java on a stock JVM Rubah: DSU for Java on a stock JVM Committee Member in Program Committee within the SPLASH OOPSLA-track
Raphael HiesgenHiesgen, Raphael CAF - The C++ Actor Framework for Scalable and Resource-efficient Applications
Raquel L. HillHill, Raquel L. Indiana University Committee Member in Organizing Committee within the PSP -track
Robert HirschfeldHirschfeld, Robert HPIGermany Committee Member in Steering Committee for SPLASH 2014 Committee Member in Steering Committee for Onward! 2014 SqueakJS - A Modern and Practical Smalltalk That Runs in Any Browser Object Versioning to Support Recovery Needs: Using Proxies to Preserve Previous Development States in Lively Interleaving of Modification and Use in Data-driven Tool Development Committee Member in Program Committee within the DLS -track Committee Member in Program Committee within the SPLASH Workshops-track Committee Member in Program Committee within the Onward! Essays-track
Martin HirzelHirzel, Martin IBM Research Session Chair of Runtime Systems (part of SPLASH OOPSLA) Committee Member in External Review Committee within the SPLASH OOPSLA-track
Eric HolkHolk, Eric Indiana University Region-based memory management for GPU programming languages: Enabling rich data structures on a spartan host Region-based memory management for GPU programming languages: Enabling rich data structures on a spartan host
Reid HolmesHolmes, Reid University of Waterloo Mobile App Chair in Organizing Committee for SPLASH 2014
Brandon HoltHolt, Brandon University of Washington Alembic: Automatic Locality Extraction via Migration
Bruce HornHorn, Bruce Intel CorporationUnited States Session Chair of Session 3 (part of Onward! Essays) Committee Member in Program Committee within the Onward! Essays-track
Nigel HorspoolHorspool, Nigel University of Victoria Committee Member in Program Committee within the PROMOTO -track
Tony HoskingHosking, Tony Purdue UniversityAustralia Committee Member in Steering Committee for SPLASH 2014 Committee Member in Steering Committee for Onward! 2014
Chun-Hung HsiaoHsiao, Chun-Hung University of Michigan Using Web Corpus Statistics for Program Analysis
Yabin HuHu, Yabin PENCIL: A platform-neutral intermediate language for the parallelizing compilation of DSLs
Jeff HuangHuang, Jeff Texas A & M University Committee Member in Program Committee within the SPLASH Posters-track
Christopher HundhausenHundhausen, Christopher Washington State University Supporting Social Interactions and Awareness in Educational Programming Environments
Thomas HütterHütter, Thomas ACDC-JS: Explorative Benchmarking of JavaScript Memory Management
I Roberto IerusalimschyIerusalimschy, Roberto PUC-RioBrazil Scriptable Operating Systems with Lua Committee Member in Program Committee within the DLS -track
Shams ImamImam, Shams Rice University Selectors: Actors with Multiple Guarded Mailboxes Savina - An Actor Benchmark Suite HJ-Viz: A New Tool for Visualizing, Debugging and Optimizing Parallel Programs
Dan IngallsIngalls, Dan SqueakJS - A Modern and Practical Smalltalk That Runs in Any Browser
Laura InozemtsevaInozemtseva, Laura University of Waterloo Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
J Ethan JacksonJackson, Ethan Microsoft Research Committee Member in Program Committee for AGERE!
Nadeem JamaliJamali, Nadeem University of Saskatchewan Canada Committee Member in Program Committee for AGERE! Supporting Relative Location Constraints in Actor Systems
Ali JannesariJannesari, Ali Technical University of Darmstadt Session Chair of Invited Speaker: Michael Pradel - Session A (part of SEPS ) Discovering Parallelization Opportunities in Sequential Programs - A Closer-to-Complete Solution Chair in Organizing Committee within the SEPS -track
Stan JarzabekJarzabek, Stan National University of Singapore Detecting Design Similarity Patterns Using Program Execution Traces
Ciera JaspanJaspan, Ciera GoogleUnited States Committee Member in Program Committee within the PLATEAU -track
Carlos JensenJensen, Carlos Oregon State University Student Mentoring Chair in Organizing Committee for SPLASH 2014 Inspirations Co-Chair in Organizing Committee within the SPLASH Inspirations-track
William JerniganJernigan, William Oregon State University Idea Garden: Helping End-User Programmers Help Themselves
Elizabeth JessupJessup, Elizabeth Lighthouse: A User-Centered Web Service for Linear Algebra Software
Ranjit JhalaJhala, Ranjit University of California, San Diego Committee Member in External Review Committee within the SPLASH OOPSLA-track
Ivan JibajaJibaja, Ivan University of Texas, Austin Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
J. Ian JohnsonJohnson, J. Ian Northeastern UniversityUnited States Abstracting Abstract Control
Manohar JonnalageddaJonnalagedda, Manohar EPFL, Switzerland Staged Parser Combinators for Efficient Data Processing Batteries Included: Generative Programming with Scala and LMS
Pierre JouvelotJouvelot, Pierre A Rationale for Faust Design Decisions
K Dennis KafuraKafura, Dennis Virginia Tech Talk on the CORGIS Big-Data Framework and the MUSIC model for assessing student motivation
Gail KaiserKaiser, Gail Columbia University, New YorkUnited States Phosphor: Illuminating Dynamic Data Flow in the JVM Phosphor: Illuminating Dynamic Data Flow in Commodity JVMs Committee Member in Program Committee within the Onward! Essays-track
Melanie KambadurKambadur, Melanie Columbia University An Experimental Survey of Energy Management Across the Stack
Shoaib KamilKamil, Shoaib MIT CSAIL, USA Committee Member in Organizing Committee within the WOSC -track
Rüdiger KapitzaKapitza, Rüdiger Technical University of Braunschweig Committee Member in Program Committee for ETX Committee Member in Program Committee within the ETX-track
Svetoslav KaraivanovKaraivanov, Svetoslav ETH Zurich Phrase-Based Statistical Translation of Programming Languages
Izabela Karennina Travizani MaffraKarennina Travizani Maffra, Izabela UFMG Validation of Memory Accesses Through Symbolic Analyses
Anish KarmarkarKarmarkar, Anish Oracle Invited Talk: Anish Karmarkar (Oracle)
Sujay KathrotiaKathrotia, Sujay Using JavaScript and WebCL for Numerical Computations: A Comparative Study of Native and Web Technologies
Guy KatzKatz, Guy Scaling-Up Behavioral Programming: Steps from Basic Principles to Application Architectures
Stephen KellKell, Stephen University of Cambridge In search of types
Andrew KentKent, Andrew Design and Evaluation of Gradual Typing for Python
Christoph KesslerKessler, Christoph Linköping University, Sweden Committee Member in Program Committee within the SEPS -track
Jeroen KetemaKetema, Jeroen PENCIL: A platform-neutral intermediate language for the parallelizing compilation of DSLs
Ebrahim KhalajKhalaj, Ebrahim Wayne State University The Eclipse Runtime Perspective for Object-Oriented Code Exploration and Program Comprehension
Ehsan KhamespanahKhamespanah, Ehsan Event-based Analysis of Timed Rebeca Models using SQL Efficient TCTL Model Checking Algorithm for Timed Actors
Faiz KhanKhan, Faiz Using JavaScript and WebCL for Numerical Computations: A Comparative Study of Native and Web Technologies
Ramtin KhosraviKhosravi, Ramtin Event-based Analysis of Timed Rebeca Models using SQL Efficient TCTL Model Checking Algorithm for Timed Actors
Sarfraz KhurshidKhurshid, Sarfraz University of Texas at Austin Bounded Exhaustive Test Input Generation from Hybrid Invariants Committee Member in Program Committee within the SPLASH OOPSLA-track
Gregor KiczalesKiczales, Gregor University of British Columbia Committee Member in Program Committee within the SPLASH -E-track
Miryung KimKim, Miryung University of Texas at Austin Committee Member in Program Committee for ETX Committee Member in Program Committee within the ETX-track
Doug KimelmanKimelman, Doug IBM Research A Simple, Symmetric, Subjective Foundation for Object-, Aspect- and Context-Oriented Programming Korz: Simple, Symmetric, Subjective,  Context-Oriented Programming
Tim KingKing, Tim New York University Finding Minimum Type Error Sources
Christoph KirschKirsch, Christoph ACDC-JS: Explorative Benchmarking of JavaScript Memory Management
Roxane Koitz-HristovKoitz-Hristov, Roxane Graz University of Technology Empirical Comparison of Visual to Hybrid Formula Manipulation in Educational Programming Languages for Teenagers Using Catrobat, a Scratch-like visual programming language for smartphones, in a middle school physics course
Fabio KonKon, Fabio University of São Paulo Committee Member in Program Committee for ETX Committee Member in Program Committee within the ETX-track
Gabriël KonatKonat, Gabriël Delft University of Technology A Common Core for Language Tools A Language Designer’s Workbench. A One-Stop-Shop for Implementation and Verification of Language Designs
Ingo KorbKorb, Ingo Dynamic Page Sharing Optimization for the R Language
Helena KotthausKotthaus, Helena Department of Computer Science 12, TU Dortmund UniversityGermany Dynamic Page Sharing Optimization for the R Language
Alexey KravetsKravets, Alexey PENCIL: A platform-neutral intermediate language for the parallelizing compilation of DSLs
Murali Krishna RamanathanKrishna Ramanathan, Murali Indian Institute of Science, BangaloreIndia Multithreaded Test Synthesis for Deadlock Detection Multithreaded Test Synthesis for Deadlock Detection Demo 2: OMEN - A Tool for Synthesizing Tests for Deadlock Detection
Shriram KrishnamurthiKrishnamurthi, Shriram Brown UniversityUnited States Onward! PC Chair in Organizing Committee for SPLASH 2014 Committee Member in Steering Committee for Onward! 2014 Session Chair of Peter Norvig Keynote (part of SPLASH Keynotes) Session Chair of Gary McGraw Keynote (part of SPLASH Keynotes) Session Chair of Session the Third (part of Onward! Papers) Chair in Program Committee within the Onward! Papers-track Committee Member in Program Committee within the DLS -track Committee Member in Program Committee within the SPLASH OOPSLA-track
Phillip KuangKuang, Phillip Fault Tolerant Distributed Computing using Asynchronous Local Checkpointing
Juraj KubelkaKubelka, Juraj University of ChileCzechia Asking and Answering Questions during a Programming Change Task in Pharo Language
Milind KulkarniKulkarni, Milind Purdue University Committee Member in Program Committee within the SPLASH OOPSLA-track
Kuldeep KumarKumar, Kuldeep National University of Singapore Detecting Design Similarity Patterns Using Program Execution Traces
Vineet KumarKumar, Vineet Mix10: Compiling MATLAB to X10 for High Performance Mix10: Compiling MATLAB to X10 for High Performance
Christian KästnerKästner, Christian Carnegie Mellon University Variational Data Structures: Exploring Tradeoffs in Computing with Variability
Mirko KöhlerKöhler, Mirko Technical University of Darmstadt i3QL: Language-Integrated Live Data Views i3QL: Language-Integrated Live Data Views
L Patrick LamLam, Patrick University of Waterloo Committee Member in Program Committee within the SPLASH Student Research Competition-track
Per LarsenLarsen, Per University of California, Irvine Accelerating Iterators in Optimizing AST Interpreters Accelerating Iterators in Optimizing AST Interpreters
Thomas LaTozaLaToza, Thomas University of California, Irvine Video Czar in Organizing Committee for SPLASH 2014 Session Chair of Session 4 (part of PLATEAU ) Session Chair of Invited Speaker: Josh Bloch (part of PLATEAU ) Committee Member in Organizing Committee within the PLATEAU -track
Erick LavoieLavoie, Erick McGill UniversityCanada Using JavaScript and WebCL for Numerical Computations: A Comparative Study of Native and Web Technologies
Julia LawallLawall, Julia LIP6 Continuously Measuring Critical Section Pressure with the Free-Lunch Profiler Continuously Measuring Critical Section Pressure with the Free-Lunch Profiler Coccinelle for the Working Programmer
Doug LeaLea, Doug State University of New York (SUNY) Oswego Upcoming Concurrency Libraries in Java Fast Splittable Pseudorandom Number Generators Committee Member in Program Committee within the SPLASH Doctoral Symposium-track
Gary T. LeavensLeavens, Gary T. University of Central Florida Committee Member in Steering Committee for SPLASH 2014 Session Chair of Specification and Verification (part of SPLASH OOPSLA) Committee Member in External Review Committee within the SPLASH OOPSLA-track
Michael LeeLee, Michael University of Washington The Gidget Tool for Learning Programming
Victor LeeLee, Victor Intel, CA, USA Committee Member in Program Committee within the SEPS -track
Rebekah Leslie-HurdLeslie-Hurd, Rebekah Accordion: An EDSL for Hardware Instruction Set Extensions
Stéphane LetzLetz, Stéphane A Rationale for Faust Design Decisions
Du LiLi, Du Carnegie Mellon University Workshops Co-Chair in Organizing Committee for SPLASH 2014 Chair in Program Committee within the SPLASH Workshops-track Committee Member in Program Committee within the SPLASH Workshops-track
Hongyu LiLi, Hongyu Rice University HJ-Viz: A New Tool for Visualizing, Debugging and Optimizing Parallel Programs
Siliang LiLi, Siliang Lehigh University Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Zhen LiLi, Zhen Discovering Parallelization Opportunities in Sequential Programs - A Closer-to-Complete Solution
Zhiyuan LiLi, Zhiyuan Purdue University, USA Committee Member in Program Committee within the SEPS -track
Bo LinLin, Bo Stony Brook UniversityUnited States Programming Distributed Algorithms
Wei LinLin, Wei Microsoft Bing Cybertron: Pushing the Limit on I/O Reduction in Data-Parallel Programs
Jens LinckeLincke, Jens Hasso Plattner Institute Interleaving of Modification and Use in Data-driven Tool Development
Peng LiuLiu, Peng Purdue University Flint: Fixing Linearizability Violations Flint: Fixing Linearizability Violations
Y. Annie LiuLiu, Y. Annie Stony Brook UniversityUnited States Programming Distributed Algorithms
Yu David LiuLiu, Yu David State University of New York (SUNY) Binghamton Rate Types for Stream Programs Understanding Energy Behaviors of Thread Management Constructs Committee Member in Program Committee within the SPLASH Doctoral Symposium-track
Ben LivshitsLivshits, Ben Microsoft Research Automated Migration of Build Scripts using Dynamic Analysis and Search-Based Refactoring
Anton LokmotovLokmotov, Anton PENCIL: A platform-neutral intermediate language for the parallelizing compilation of DSLs
Dmitry LomovLomov, Dmitry Typed Objects in JavaScript
Crista LopesLopes, Crista University of California, Irvine Chair in Steering Committee for SPLASH 2014 SPLASH Steering Committee Chair in Organizing Committee for SPLASH 2014 Session Chair of SPLASH SC Meeting (part of SPLASH Administration) Session Chair of Languages (part of SPLASH OOPSLA) Exercises in Programming Style Committee Member in Program Committee within the SPLASH Student Research Competition-track Committee Member in Program Committee within the SPLASH OOPSLA-track
Shan LuLu, Shan University of Chicago Session Chair of Energy and Performance (part of SPLASH OOPSLA) Statistical Debugging for Real-World Performance Problems Committee Member in Program Committee within the SPLASH Workshops-track Committee Member in Program Committee within the SPLASH OOPSLA-track
Brandon LuciaLucia, Brandon Microsoft Research Committee Member in External Review Committee within the SPLASH OOPSLA-track
Andrew LumsdaineLumsdaine, Andrew Indiana UniversityUnited States Region-based memory management for GPU programming languages: Enabling rich data structures on a spartan host Region-based memory management for GPU programming languages: Enabling rich data structures on a spartan host Committee Member in Program Committee within the Onward! Papers-track
Mircea LunguLungu, Mircea University of Bern, Switzerland Mining the Ecosystem to Improve Type Inference For Dynamically Typed Languages
Andres LöhLöh, Andres Well-Typed LLP The Semantics of Version Control
M P. MadhusudanMadhusudan, P. University of Illinois at Urbana-Champaign Natural Proofs for Asynchronous Programs using Almost-Synchronous Invariants
Sergio MaffeisMaffeis, Sergio Imperial College Committee Member in Program Committee within the DLS -track
Brynjar MagnussonMagnusson, Brynjar Event-based Analysis of Timed Rebeca Models using SQL
Bertrand MaherMaher, Bertrand Facebook The HipHop Virtual Machine The HipHop Virtual Machine
Harry MairsonMairson, Harry Brandeis UniversityUnited States Committee Member in Program Committee within the Onward! Papers-track
Dennis ManclMancl, Dennis Alcatel-Lucent Wavefront Co-Chair in Organizing Committee for SPLASH 2014 Panel: East Meets West — the Influences of Geography on Software Production Committee Member in Organizing Committee within the TD Technical Debt-track Chair in Organizing Committee within the SPLASH Wavefront-track
Daniel MarinoMarino, Daniel Symantec Research Labs Committee Member in Program Committee within the SPLASH OOPSLA-track
Stefan MarrMarr, Stefan INRIA Committee Member in Program Committee within the DLS -track
Assaf MarronMarron, Assaf Weizmann Institute of Science Israel Committee Member in Steering Committee for AGERE! Committee Member in Program Committee for AGERE!
Mark MarronMarron, Mark Microsoft Research Tardis: Affordable Time-Travel Debugging in Managed Runtimes
Peter MarwedelMarwedel, Peter Dynamic Page Sharing Optimization for the R Language A Parallelization Approach for Resource Restricted Embedded Heterogeneous MPSoCs Inspired by OpenMP
Tiago MassoniMassoni, Tiago UFCGBrazil Enhancing Conformance Checking for Contract-Based Programs
Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of Technology Committee Member in Program Committee within the FOOL -track
Nicholas MatsakisMatsakis, Nicholas Mozilla Corporation Typed Objects in JavaScript Rust - Zero-cost safety
Frank MaurerMaurer, Frank An Experience Report at Teaching Group Based Agile Software Engineering Teams
Michael MaximilienMaximilien, Michael IBM Cloud Labs Committee Member in Organizing Committee within the PSP -track
Jay McCarthyMcCarthy, Jay Brigham Young University Committee Member in Program Committee within the SPLASH OOPSLA-track
Sean McDirmidMcDirmid, Sean Microsoft Research Programming with Managed Time
Gary McGrawMcGraw, Gary CigitalUnited States Keynote: Software Security - A Study in Technology Transfer Privacy and Security in a Networked World
Kathryn S McKinleyMcKinley, Kathryn S Microsoft Research Fast Conservative Garbage Collection Fast Conservative Garbage Collection
Flavio MedeirosMedeiros, Flavio Federal University of Campina GrandeBrazil An Approach to Safely Evolve Program Families in C
Hannes MehnertMehnert, Hannes University of Cambridge Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Darya MelicherMelicher, Darya Carnegie Mellon University Student Volunteer Captain in Organizing Committee for SPLASH 2014 Wyvern: Impacting Software Security via Programming Language Design Student Volunteer Captain in Organizing Committee within the SPLASH Student Volunteers-track
Leo MeyerovichMeyerovich, Leo Graphistry Committee Member in Program Committee within the PLATEAU -track
Mira MeziniMezini, Mira Technical University of Darmstadt Distributed REScala: An Update Algorithm for Distributed Reactive Programming i3QL: Language-Integrated Live Data Views i3QL: Language-Integrated Live Data Views Committee Member in External Review Committee within the SPLASH OOPSLA-track
Matthew MightMight, Matthew University of Utah Nebo: An efficient, parallel, and portable domain-specific language for numerically solving partial differential equations
Alysson MilanezMilanez, Alysson UFCG, Brazil Enhancing Conformance Checking for Contract-Based Programs
Alexander MillerMiller, Alexander ACDC-JS: Explorative Benchmarking of JavaScript Memory Management
Todd MillsteinMillstein, Todd University of California, Los Angeles Committee Member in Steering Committee for SPLASH 2014 OOPSLA Review Committee Chair in Organizing Committee for SPLASH 2014 Call by Meaning Committee Member in Program Committee within the Onward! Papers-track Chair in Program Committee within the SPLASH OOPSLA-track
Sasa MisailovicMisailovic, Sasa MIT Chisel: Reliability-Aware Optimization of Approximate Computational Kernels
Nick MitchellMitchell, Nick IBM Research Committee Member in External Review Committee within the SPLASH OOPSLA-track
Ralf MitschkeMitschke, Ralf Technical University of Darmstadt i3QL: Language-Integrated Live Data Views i3QL: Language-Integrated Live Data Views
Ragnar MogkMogk, Ragnar Technische Universität Darmstadt Distributed REScala: An Update Algorithm for Distributed Reactive Programming
Dean MohamedallyMohamedally, Dean University College London Supporting situated STEM learning - TouchDevelop Integration of the UCL Engduino over Bluetooth Panel on Mobile Computing and Education Committee Member in Program Committee within the PROMOTO -track
David MohrMohr, David Stella: A DSL for structuring high-performance simulations in Python
Rosemary MonahanMonahan, Rosemary National University of IrelandIreland Committee Member in Program Committee within the FOOL -track
Floreal MorandatMorandat, Floreal Enseirb-Matmeca Demos Chair in Organizing Committee for SPLASH 2014 Demos Chair in Organizing Committee within the SPLASH Demos-track
Michał MoskalMoskal, Michał Microsoft ResearchPoland Committee Member in Program Committee within the PROMOTO -track
Gilles MullerMuller, Gilles LIP6-INRIA/UPMC Continuously Measuring Critical Section Pressure with the Free-Lunch Profiler Continuously Measuring Critical Section Pressure with the Free-Lunch Profiler
Gail MurphyMurphy, Gail University of British Columbia Committee Member in Steering Committee for Onward! 2014 Session Chair of Session the Second (part of Onward! Papers) Getting to Flow in Software Development Committee Member in Program Committee within the Onward! Papers-track Committee Member in Program Committee within the PLATEAU -track
Emerson Murphy-HillMurphy-Hill, Emerson North Carolina State UniversityUnited States Committee Member in Program Committee within the PROMOTO -track Committee Member in Program Committee within the PLATEAU -track
Madan MusuvathiMusuvathi, Madan Microsoft Research Session Chair of Distributed Computing (part of SPLASH OOPSLA) Committee Member in Program Committee within the SPLASH OOPSLA-track
Alan MycroftMycroft, Alan University of Cambridge It's only illegal if you get caught
Andrew MyersMyers, Andrew Cornell University Committee Member in External Review Committee within the SPLASH OOPSLA-track
Brad A. MyersMyers, Brad A. Carnegie Mellon University EUKLAS: Supporting Copy-and-Paste Strategies for Integrating Example Code Considering Productivity Effects of Explicit Type Declarations
Todd MytkowiczMytkowicz, Todd Microsoft Research Committee Member in Program Committee within the SPLASH OOPSLA-track
Anders MøllerMøller, Anders Aarhus University Session Chair of Static Analysis (part of SPLASH OOPSLA) Managing Gradual Typing with Message-Safety in Dart Checking Correctness of TypeScript Interfaces for JavaScript Libraries Checking Correctness of TypeScript Interfaces for JavaScript Libraries Determinacy in Static Analysis for jQuery Determinacy in Static Analysis for jQuery Committee Member in Program Committee within the SPLASH OOPSLA-track
Peter MüllerMüller, Peter ETH Zurich Static Analysis for Independent App Developers Static Analysis for Independent App Developers
N Santosh NagarakatteNagarakatte, Santosh Rutgers University Committee Member in Program Committee within the SPLASH OOPSLA-track
Vinayak NaikNaik, Vinayak Indraprastha Institue of Information TechnologyIndia Committee Member in Program Committee within the PROMOTO -track
Ramya NairNair, Ramya Lighthouse: A User-Centered Web Service for Linear Algebra Software
Aki NamiokaNamioka, Aki MarchexUnited States Panel: East Meets West — the Influences of Geography on Software Production
Iman NarasamdyaNarasamdya, Iman Microsoft Automated Migration of Build Scripts using Dynamic Analysis and Search-Based Refactoring
Ayush NarayanNarayan, Ayush Rice University Parallelization of Gibbs Sampling for Text Analytics
Satish NarayanasamyNarayanasamy, Satish University of Michigan Using Web Corpus Statistics for Program Analysis
Henrique Nazaré SantosNazaré Santos, Henrique UFMG Validation of Memory Accesses Through Symbolic Analyses
Iulian NeamtiuNeamtiu, Iulian University of California, Riverside Committee Member in Program Committee within the SPLASH OOPSLA-track
George NeculaNecula, George University of California, Berkeley EventBreak: Analyzing the Responsiveness of User Interfaces through Performance-Guided Test Generation
Pierre NeronNeron, Pierre TU Delft A Language Designer’s Workbench. A One-Stop-Shop for Implementation and Verification of Language Designs
Lindsay NeubauerNeubauer, Lindsay Columbia University Kamino: Dynamic Approach to Semantic Code Clone Detection
Olaf NeugebauerNeugebauer, Olaf A Parallelization Approach for Resource Restricted Embedded Heterogeneous MPSoCs Inspired by OpenMP
Ryan R. NewtonNewton, Ryan R. Indiana University Region-based memory management for GPU programming languages: Enabling rich data structures on a spartan host Region-based memory management for GPU programming languages: Enabling rich data structures on a spartan host
Tai NguyenNguyen, Tai Washington State University Self-Adaptive Parallel Programming Through Tunable Concurrency
Jens NicolayNicolay, Jens Vrije Universiteit Brussel Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Oscar NierstraszNierstrasz, Oscar University of Bern, SwitzerlandSwitzerland Mining the Ecosystem to Improve Type Inference For Dynamically Typed Languages Committee Member in Program Committee within the DLS -track
Jianwei NiuNiu, Jianwei SMAST: Constructing Languages for Multi-Disciplinary Engineering Problems
James NobleNoble, James Victoria University of Wellington Tutorials Chair in Organizing Committee for SPLASH 2014 Session Chair of Technical paper session 2 (part of DLS ) A Simple, Symmetric, Subjective Foundation for Object-, Aspect- and Context-Oriented Programming Committee Member in Program Committee within the DLS -track Committee Member in Organizing Committee within the FOOL -track Chair in Organizing Committee within the SPLASH Tutorials-track Committee Member in Program Committee within the PLATEAU -track
Boyana NorrisNorris, Boyana Session Chair of Invited Speaker: Frank Schlimbach - Session B (part of SEPS ) Lighthouse: A User-Centered Web Service for Linear Algebra Software
Peter NorvigNorvig, Peter GoogleUnited States Keynote: Machine Learning for Programming
Nate NystromNystrom, Nate University of Lugano Committee Member in Program Committee within the SPLASH OOPSLA-track
O Martin OderskyOdersky, Martin Ecole Polytechnique Federale de LausanneGermany Late Data Layout: Unifying Data Representation Transformations Late Data Layout: Unifying Data Representation Transformations Foundations of Path-Dependent Types Staged Parser Combinators for Efficient Data Processing
Yoshiki OhshimaOhshima, Yoshiki Viewpoints Research Institute Call by Meaning
Bruno C. d. S. OliveiraOliveira, Bruno C. d. S. University of Hong Kong Committee Member in External Review Committee within the SPLASH OOPSLA-track
Cyrus OmarOmar, Cyrus Composable Syntax Macros
Bill OpdykeOpdyke, Bill JP Morgan Chase & Co Committee Member in Organizing Committee within the TD Technical Debt-track
Jonathan OrbeckOrbeck, Jonathan University of Alabama Usability and Suitability Survey of Features in Visual IDEs for Non-Programmers
Yann OrlareyOrlarey, Yann A Rationale for Faust Design Decisions
Mark OskinOskin, Mark University of Washington Alembic: Automatic Locality Extraction via Migration
Harold OssherOssher, Harold IBM Research A Simple, Symmetric, Subjective Foundation for Object-, Aspect- and Context-Oriented Programming Korz: Simple, Symmetric, Subjective,  Context-Oriented Programming Committee Member in External Review Committee within the SPLASH OOPSLA-track
Klaus OstermannOstermann, Klaus University of Marburg Formal Semantics as a Language Designer’s Toolbox: A case for semantics-inspired language design From Object Algebras to Attribute Grammars From Object Algebras to Attribute Grammars Committee Member in Program Committee within the DSLDI -track
Guilherme OttoniOttoni, Guilherme Facebook The HipHop Virtual Machine The HipHop Virtual Machine
P Tobias PapePape, Tobias Hasso-Plattner-Institute, Potsdam SqueakJS - A Modern and Practical Smalltalk That Runs in Any Browser
Matthew J. ParkinsonParkinson, Matthew J. Microsoft Research Committee Member in External Review Committee within the SPLASH OOPSLA-track
Chris ParninParnin, Chris Georgia TechUnited States Committee Member in Program Committee within the PLATEAU -track
Drew ParoskiParoski, Drew Facebook The HipHop Virtual Machine The HipHop Virtual Machine
Terence ParrParr, Terence University of San Francisco Adaptive LL() Parsing: The Power of Dynamic Analysis Adaptive LL() Parsing: The Power of Dynamic Analysis
Nimrod PartushPartush, Nimrod Technion Abstract Semantic Differencing via Speculative Correlation
Augusto PassalaquaPassalaqua, Augusto TU Delft A Language Designer’s Workbench. A One-Stop-Shop for Implementation and Verification of Language Designs
Cesare PautassoPautasso, Cesare University of Lugano Committee Member in Program Committee for ETX Committee Member in Program Committee within the ETX-track
Zvonimir PavlinovicPavlinovic, Zvonimir New York University Finding Minimum Type Error Sources
Hannes PayerPayer, Hannes ACDC-JS: Explorative Benchmarking of JavaScript Memory Management
Alex PaynePayne, Alex The Department of Better Technology Committee Member in Organizing Committee within the FP Future Programming-track
Fernando Magno Quintão PereiraPereira, Fernando Magno Quintão UFMG Validation of Memory Accesses Through Symbolic Analyses
Miquel PericàsPericàs, Miquel Chalmers University of Technology, Sweden Committee Member in Program Committee within the SEPS -track
Michael PerscheidPerscheid, Michael Hasso Plattner Institute Interleaving of Modification and Use in Data-driven Tool Development
Christina PetersonPeterson, Christina Resource-Based Transaction Management for Best-Effort Hardware Transactional Memory
Marian PetrePetre, Marian The Open University, UK Committee Member in Program Committee within the SPLASH -E-track
Michael PhilippsenPhilippsen, Michael University of Erlangen-Nuremberg, Germany Committee Member in Program Committee within the SEPS -track
Laure PhilipsPhilips, Laure Software Languages Lab Towards Tierless Programming in a General-Purpose Language
Frank PiessensPiessens, Frank iMinds - Distrinet, KU Leuven Multi-tier Functional Reactive Programming for the Web
Luís PinaPina, Luís Technical University of Lisbon / INESC-ID Rubah: DSU for Java on a stock JVM Rubah: DSU for Java on a stock JVM
Gustavo PintoPinto, Gustavo Federal University of Pernambuco Characterizing the Energy Efficiency of Java's Thread-Safe Collections in a Multi-Core Environment Understanding Energy Behaviors of Thread Management Constructs Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Pablo PonzioPonzio, Pablo Dept. of Computer Science FCEFQyN, University of Rio Cuarto Bounded Exhaustive Test Input Generation from Hybrid Invariants
Alex PotaninPotanin, Alex Victoria University of WellingtonNew Zealand Wyvern: Impacting Software Security via Programming Language Design Committee Member in Program Committee within the FOOL -track Committee Member in Program Committee within the SPLASH OOPSLA-track
Michael PradelPradel, Michael University of California, Berkeley, USA Invited Talk: Automatic and Precise Program Analyses for Reliable and Efficient Concurrency EventBreak: Analyzing the Responsiveness of User Interfaces through Performance-Guided Test Generation Committee Member in Program Committee within the SEPS -track
Chandra PrasadPrasad, Chandra Microsoft Automated Migration of Build Scripts using Dynamic Analysis and Search-Based Refactoring
Mario PreishuberPreishuber, Mario ACDC-JS: Explorative Benchmarking of JavaScript Memory Management
Raphaël ProustProust, Raphaël University of Cambridge It's only illegal if you get caught
Arno PuderPuder, Arno Iowa State University Workshops Co-Chair in Organizing Committee for PROMOTO Session Chair of Opening and Keynote (part of PROMOTO ) Co-chair in Steering Committee within the PROMOTO -track
Bill PughPugh, Bill University of Maryland, College Park Committee Member in Program Committee within the SPLASH -E-track
Martin PurvisPurvis, Martin University of OtagoNew Zealand Committee Member in Program Committee within the Onward! Essays-track
Hari PylaPyla, Hari Virginia Tech Committee Member in Program Committee within the SPLASH Doctoral Symposium-track
Q Zichao QiQi, Zichao MIT Chisel: Reliability-Aware Optimization of Approximate Computational Kernels
R K R JayaramR Jayaram, K IBM Research, USA Posters Co-Chair in Organizing Committee for SPLASH 2014 Session Chair of SPLASH Poster Reception (part of SPLASH Posters) Posters Co-Chair in Organizing Committee within the SPLASH Posters-track
Rodric RabbahRabbah, Rodric IBM ResearchUnited States Hardware Design for Software Developers Using Liquid Metal Translating Imperative Code to MapReduce
Cosmin RadoiRadoi, Cosmin University of Illinois Translating Imperative Code to MapReduce
Sumanaruban RajaduraiRajadurai, Sumanaruban National University of Singapore StreamJIT: A Commensal Compiler for High-Performance Stream Programming
Hridesh RajanRajan, Hridesh An Automatic Actors to Threads Mapping Technique for JVM-based Actor Frameworks Modular Reasoning in Capsule
Veselin RaychevRaychev, Veselin ETH Zurich Phrase-Based Statistical Translation of Programming Languages
Jan S. RellermeyerRellermeyer, Jan S. IBM Research Committee Member in Organizing Committee for ETX Co-chair in Program Committee for ETX Welcome and Opening Closing Committee Member in Program Committee within the ETX-track Committee Member in Organizing Committee within the ETX-track
Brianna M. RenRen, Brianna M. Contracts for Domain-Specific Languages in Ruby
Tillmann RendelRendel, Tillmann University of Marburg Formal Semantics as a Language Designer’s Toolbox: A case for semantics-inspired language design From Object Algebras to Attribute Grammars From Object Algebras to Attribute Grammars
Bob ReyndersReynders, Bob iMinds - Distrinet, KU Leuven Multi-tier Functional Reactive Programming for the Web
Dustin RhodesRhodes, Dustin Dynamic Detection of Object Capability Violations Through Model Checking
Alessandro RicciRicci, Alessandro University of BolognaItaly Committee Member in Steering Committee for AGERE! Committee Member in Organizing Committee for AGERE! Committee Member in Program Committee for AGERE! From Actor Event-Loop to Agent Control-Loop - Impact on Programming
Jason RiddleRiddle, Jason Virginia Tech Talk on the CORGIS Big-Data Framework and the MUSIC model for assessing student motivation
Dirk RiehleRiehle, Dirk Friedrich-Alexander University of Erlangen-Nürnberg Committee Member in Program Committee within the Onward! Essays-track
Martin C. RinardRinard, Martin C. MIT Chisel: Reliability-Aware Optimization of Approximate Computational Kernels
Romain RobbesRobbes, Romain Asking and Answering Questions during a Programming Change Task in Pharo Language On the Use of Type Predicates in Object-Oriented Software: The Case of Smalltalk
Martin P. RobillardRobillard, Martin P. McGill University Committee Member in Program Committee for ETX Committee Member in Program Committee within the ETX-track
Ricardo RochaRocha, Ricardo On Scaling Dynamic Programming Problems with a Multithreaded Tabling System
Tiark RompfRompf, Tiark Purdue & Oracle LabsUnited States Session Chair of Session 2 (part of DSLDI ) Foundations of Path-Dependent Types Staged Parser Combinators for Efficient Data Processing Batteries Included: Generative Programming with Scala and LMS Committee Member in Program Committee within the DSLDI -track
Boaz RosenanRosenan, Boaz University of Haifa Versionable, Branchable, and Mergeable Application State Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Nico RosnerRosner, Nico Dept. of Computer Science FCEyN, University of Buenos Aires Bounded Exhaustive Test Input Generation from Hybrid Invariants
Matti RossiRossi, Matti Aalto University School of Business Committee Member in Organizing Committee for DSM
Jean Michel RoulyRouly, Jean Michel George Mason UniversityUnited States Usability and Suitability Survey of Features in Visual IDEs for Non-Programmers
Mark RowanRowan, Mark Towson University Encouraging privacy by design concepts with privacy Policy Auto-Generation in Eclipse (PAGE)
Indrajit RoyRoy, Indrajit Hewlett Packard Labs Committee Member in Program Committee within the SPLASH Workshops-track
Cindy Rubio-GonzálezRubio-González, Cindy University of California, Berkeley Research.js: Evaluating Your Research on the Web
Andrew RuefRuef, Andrew University of Maryland, College Park Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Bernhard RumpeRumpe, Bernhard RWTH Aachen University, Germany Committee Member in Program Committee within the SEPS -track
Joseph N. RuskiewiczRuskiewicz, Joseph N. Publications Chair in Organizing Committee for SPLASH 2014
Barbara RyderRyder, Barbara Virginia Tech Taming the Dynamic Behavior of JavaScript
Sukyoung RyuRyu, Sukyoung Korea Advanced Institute of Science and TechnologyKorea, South Committee Member in Program Committee within the FOOL -track Committee Member in Program Committee within the SPLASH OOPSLA-track
David RöthlisbergerRöthlisberger, David On the Use of Type Predicates in Object-Oriented Software: The Case of Smalltalk
S P. SadayappanSadayappan, P. Ohio State University Committee Member in Organizing Committee within the WOSC -track
Caitlin SadowskiSadowski, Caitlin Google Session Chair of Debugging (part of SPLASH OOPSLA) How Developers Use Data Race Detection Tools Committee Member in Program Committee within the SPLASH OOPSLA-track
Mooly SagivSagiv, Mooly Tel Aviv University Committee Member in External Review Committee within the SPLASH OOPSLA-track
Roberto SalamaSalama, Roberto Millennium Partners Panel: East Meets West — the Influences of Geography on Software Production
Omar SaleemSaleem, Omar Virginia Tech Talk on the CORGIS Big-Data Framework and the MUSIC model for assessing student motivation
Guido SalvaneschiSalvaneschi, Guido TU Darmstadt Session Chair of Keynote: Evan Czaplicki with Elm (part of REBLS ) Distributed REScala: An Update Algorithm for Distributed Reactive Programming i3QL: Language-Integrated Live Data Views i3QL: Language-Integrated Live Data Views Committee Member in Organizing Committee within the REBLS -track
Malavika SamakSamak, Malavika Indian Institute of Science, Bangalore Multithreaded Test Synthesis for Deadlock Detection Multithreaded Test Synthesis for Deadlock Detection Demo 2: OMEN - A Tool for Synthesizing Tests for Deadlock Detection
Hesam SamimiSamimi, Hesam SAP Labs Call by Meaning
Adrian SampsonSampson, Adrian University of Washington Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Vivek SarkarSarkar, Vivek Rice University Selectors: Actors with Multiple Guarded Mailboxes Savina - An Actor Benchmark Suite HJ-Viz: A New Tool for Visualizing, Debugging and Optimizing Parallel Programs
Jennifer B. SartorSartor, Jennifer B. Ghent University Committee Member in External Review Committee within the SPLASH OOPSLA-track
Annabel SatinSatin, Annabel Treasurer & Conference Manager in Organizing Committee for SPLASH 2014
Chris ScaffidiScaffidi, Chris Oregon State UniversityUnited States Committee Member in Program Committee within the PLATEAU -track
Max SchaeferSchaefer, Max Semmle Committee Member in Program Committee within the SPLASH OOPSLA-track
Drew SchleckSchleck, Drew UC Davis Capturing and Exploiting IDE Interactions
Frank SchlimbachSchlimbach, Frank Invited Talk: Dependence Programing with CnC
Thomas SchmidtSchmidt, Thomas CAF - The C++ Actor Framework for Scalable and Resource-efficient Applications
Felix SchmittSchmitt, Felix Critical-Blame Analysis for OpenMP 4.0 Offloading on Intel Xeon Phi
Kurt SchneiderSchneider, Kurt Leibniz Universität HannoverGermany Committee Member in Program Committee within the Onward! Essays-track
Parker SchuhSchuh, Parker University of California, Berkeley EventBreak: Analyzing the Responsiveness of User Interfaces through Performance-Guided Test Generation
Wolfram SchulteSchulte, Wolfram Microsoft Automated Migration of Build Scripts using Dynamic Analysis and Search-Based Refactoring
Mathias SchwarzSchwarz, Mathias Managing Gradual Typing with Message-Safety in Dart
Chris SeatonSeaton, Chris University of Manchester Committee Member in Program Committee within the DLS -track
Eric SeidelSeidel, Eric University of California, San Diego Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Ed SeidewitzSeidewitz, Ed Model Driven Solutions Demo 3: Agile Programming With Executable Models
Koushik SenSen, Koushik University of California, Berkeley EventBreak: Analyzing the Responsiveness of User Interfaces through Performance-Guided Test Generation
Marco ServettoServetto, Marco Victoria University of WellingtonNew Zealand Session Chair of FOOF (Future of Object-Oriented Foundations) (part of FOOL ) Session Chair of Research Papers (part of FOOL ) Session Chair of Keynote (part of FOOL ) Session Chair of Welcome, Introductions, Discussion (part of FOOL ) Committee Member in Organizing Committee within the FOOL -track Committee Member in Program Committee within the FOOL -track
Cliff ShafferShaffer, Cliff Virginia Tech Talk on the CORGIS Big-Data Framework and the MUSIC model for assessing student motivation
Rifat ShahriyarShahriyar, Rifat Australian National UniversityBangladesh Fast Conservative Garbage Collection Fast Conservative Garbage Collection
Mohammed ShehabShehab, Mohammed University of North Carolina Charlotte PermitMe: Integrating Android Permissioning Support in the IDE
Xipeng ShenShen, Xipeng North Carolina State UniversityChina Call Sequence Prediction through Probabilistic Calling Automata Space-Efficient Multi-Versioning for Input-Adaptive Feedback-Driven Program Optimizations
Janet SiegmundSiegmund, Janet University of Passau Germany Committee Member in Program Committee within the Onward! Papers-track Committee Member in Program Committee within the PLATEAU -track
Jeremy G. SiekSiek, Jeremy G. Design and Evaluation of Gradual Typing for Python Region-based memory management for GPU programming languages: Enabling rich data structures on a spartan host Region-based memory management for GPU programming languages: Enabling rich data structures on a spartan host
Alberto SillittiSillitti, Alberto Free University of BolzanoItaly Panel on Mobile Computing and Education
Brett SimmersSimmers, Brett Facebook The HipHop Virtual Machine The HipHop Virtual Machine
Marjan SirjaniSirjani, Marjan Reykjavik UniversityIceland Committee Member in Program Committee for AGERE! Event-based Analysis of Timed Rebeca Models using SQL Efficient TCTL Model Checking Algorithm for Timed Actors
James SkeneSkene, James Auckland University of Technology Description Logic as Programming Language
Wolfgang SlanySlany, Wolfgang Institute of Software Technology, Graz University of Technology Austria Empirical Comparison of Visual to Hybrid Formula Manipulation in Educational Programming Languages for Teenagers Demo 1: Pocket Code - IDE for your Phone Using Catrobat, a Scratch-like visual programming language for smartphones, in a middle school physics course Committee Member in Program Committee within the PROMOTO -track
Yannis SmaragdakisSmaragdakis, Yannis University of Athens Session Chair of Domain Specific Languages (part of SPLASH OOPSLA) Refactoring Java Generics by Inferring Wildcards, In Practice Refactoring Java Generics by Inferring Wildcards, In Practice Committee Member in External Review Committee within the SPLASH OOPSLA-track
Edwin SmithSmith, Edwin Facebook The HipHop Virtual Machine The HipHop Virtual Machine
Armando Solar-LezamaSolar-Lezama, Armando MITUnited States Improved Program Synthesis Through the Use of Packages Committee Member in Program Committee within the Onward! Papers-track
Linhai SongSong, Linhai University of Wisconsin–Madison Statistical Debugging for Real-World Performance Problems
Boris SpasojevicSpasojevic, Boris University of Bern, Switzerland Mining the Ecosystem to Improve Type Inference For Dynamically Typed Languages
Brian Spencer DillonSpencer Dillon, Brian Diagnosing Degenerate Forms in Software
Jonathan SprinkleSprinkle, Jonathan University of Arizona Committee Member in Organizing Committee for DSM
Manu SridharanSridharan, Manu Samsung Research America Translating Imperative Code to MapReduce Committee Member in Program Committee within the SPLASH OOPSLA-track
Guy L. Steele Jr.Steele Jr., Guy L. Oracle Labs Fast Splittable Pseudorandom Number Generators
Darko StefanovicStefanovic, Darko Stella: A DSL for structuring high-performance simulations in Python
Andreas StefikStefik, Andreas University of Nevada, Las Vegas United States The Programming Language Wars Designing Programming Languages for People: Data-Driven Methods Committee Member in Program Committee within the SPLASH -E-track Committee Member in Program Committee within the PLATEAU -track
Bastian SteinertSteinert, Bastian Hasso Plattner Institute Object Versioning to Support Recovery Needs: Using Proxies to Preserve Previous Development States in Lively Interleaving of Modification and Use in Data-driven Tool Development
Jonas StolleStolle, Jonas Critical-Blame Analysis for OpenMP 4.0 Offloading on Intel Xeon Phi
Scott StollerStoller, Scott Stony Brook UniversityUnited States Programming Distributed Algorithms
T. Stephen StricklandStrickland, T. Stephen Brown UniversityUnited States Contracts for Domain-Specific Languages in Ruby
Fabio StroccoStrocco, Fabio Managing Gradual Typing with Message-Safety in Dart
Sandro StuckiStucki, Sandro EPFL, Switzerland Staged Parser Combinators for Efficient Data Processing
Zhendong SuSu, Zhendong University of California, DavisUnited States Capturing and Exploiting IDE Interactions Efficient Subcubic Alias Analysis for C Committee Member in Program Committee within the Onward! Papers-track
Kevin SullivanSullivan, Kevin University of VirginiaUnited States Committee Member in Steering Committee for SPLASH 2014 Onward! Steering Committee Chair in Organizing Committee for SPLASH 2014 Chair in Steering Committee for Onward! 2014 Session Chair of Onward! SC Meeting (part of SPLASH Administration) Privacy and Security in a Networked World
Nick SumnerSumner, Nick Simon Fraser UniversityCanada Posters Co-Chair in Organizing Committee for SPLASH 2014 Session Chair of SPLASH Poster Reception (part of SPLASH Posters) Posters Co-Chair in Organizing Committee within the SPLASH Posters-track
Jianhua SunSun, Jianhua College of William and Mary Call Sequence Prediction through Probabilistic Calling Automata
Joshua SunshineSunshine, Joshua Carnegie Mellon University Session Chair of Session 3 (part of PLATEAU ) Session Chair of Invited Speaker: Josh Bloch (part of PLATEAU ) Considering Productivity Effects of Explicit Type Declarations Usability Hypotheses in the Design of Plaid Committee Member in Organizing Committee within the PLATEAU -track
James C. SutherlandSutherland, James C. University of Utah Nebo: An efficient, parallel, and portable domain-specific language for numerically solving partial differential equations
Nikhil SwamySwamy, Nikhil Microsoft ResearchUnited States Committee Member in Program Committee within the Onward! Papers-track
Peter SweeneySweeney, Peter IBM Research Committee Member in Program Committee within the SPLASH OOPSLA-track
Wouter SwierstraSwierstra, Wouter University of Utrecht The Semantics of Version Control
Eugene SyrianiSyriani, Eugene University of Montreal Usability and Suitability Survey of Features in Visual IDEs for Non-Programmers
Tamás SzabóSzabó, Tamás itemis Invited Talk: Tamás Szabó (itemis AG)
T Marcel TaeumelTaeumel, Marcel Hasso Plattner InstituteGermany Interleaving of Modification and Use in Data-driven Tool Development
Asumu TakikawaTakikawa, Asumu Northeastern UniversityUnited States Committee Member in Program Committee within the FOOL -track
Éric TanterTanter, Éric University of ChileChile On the Use of Type Predicates in Object-Oriented Software: The Case of Smalltalk Confined Gradual Typing Committee Member in Program Committee within the PLATEAU -track
Samira TasharofiTasharofi, Samira Microsoft Committee Member in Program Committee for AGERE!
Zachary TatlockTatlock, Zachary University of Washington, SeattleUnited States Session Chair of Dynamic Optimization (part of SPLASH OOPSLA) Committee Member in External Review Committee within the SPLASH OOPSLA-track
Tomas TauberTauber, Tomas When Importless Becomes Meaningful: A Call for Tag-based Namespaces in Programming Languages
Lauritz ThamsenThamsen, Lauritz Object Versioning to Support Recovery Needs: Using Proxies to Preserve Previous Development States in Lively
Gaël ThomasThomas, Gaël LIP6-UPMC/INRIA Continuously Measuring Critical Section Pressure with the Free-Lunch Profiler Continuously Measuring Critical Section Pressure with the Free-Lunch Profiler
Thomas ThümThüm, Thomas University of UlmGermany Committee Member in Program Committee for ETX Committee Member in Program Committee within the ETX-track
Walter F. TichyTichy, Walter F. Karlsruhe Institute of Technology Co-chair in Organizing Committee within the SEPS -track
Eli TilevichTilevich, Eli Virginia Tech Talk on the CORGIS Big-Data Framework and the MUSIC model for assessing student motivation Committee Member in Organizing Committee within the MobileDeLi-track
Nikolai TillmannTillmann, Nikolai Microsoft Research Workshops Co-Chair in Organizing Committee for PROMOTO Session Chair of Tool Demos (part of PROMOTO ) Invited Talk: Rapidly Prototyping Apps for Mobile Cloud-Connected Devices Committee Member in Program Committee within the DLS -track Co-chair in Steering Committee within the PROMOTO -track
Sam Tobin-HochstadtTobin-Hochstadt, Sam Indiana University Committee Member in Program Committee within the DLS -track
Andrew TolmachTolmach, Andrew Portland State University A Language Designer’s Workbench. A One-Stop-Shop for Implementation and Verification of Language Designs
Juha-Pekka TolvanenTolvanen, Juha-Pekka MetaCase Committee Member in Organizing Committee for DSM Committee Member in Program Committee within the DSLDI -track
Emina TorlakTorlak, Emina University of California, Berkeley Committee Member in External Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the DSLDI -track
Neil TorontoToronto, Neil Brigham Young University Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Massimo TorquatiTorquati, Massimo Computer Science Department - University of Pisa, ItalyItaly Committee Member in Program Committee within the SEPS -track
Emma ToschTosch, Emma University of Massachusetts, Amherst SurveyMan: Programming and Automatically Debugging Surveys SurveyMan: Programming and Automatically Debugging Surveys
Laurence TrattTratt, Laurence King's College London Dynamic Languages Symposium Chair in Organizing Committee for SPLASH 2014 Session Chair of Invited paper and technical paper session 1 (part of DLS ) Session Chair of Session 3 (part of DSLDI ) Towards Language Composition Chair in Program Committee within the DLS -track Chair in Organisers within the DLS -track Committee Member in Program Committee within the DSLDI -track
Omer TrippTripp, Omer IBM Thomas J. Watson Research Center Flint: Fixing Linearizability Violations Flint: Fixing Linearizability Violations
Aaron TuronTuron, Aaron MPI-SWS GPS: Navigating Weak Memory with Ghosts, Protocols, and Separation GPS: Navigating Weak Memory with Ghosts, Protocols, and Separation
U Richard UhlerUhler, Richard MIT-CSAIL Smten with Satisfiability-Based Search Smten with Satisfiability-Based Search
David UngarUngar, David IBM Research A Simple, Symmetric, Subjective Foundation for Object-, Aspect- and Context-Oriented Programming Korz: Simple, Symmetric, Subjective,  Context-Oriented Programming
Ganesha UpadhyayaUpadhyaya, Ganesha An Automatic Actors to Threads Mapping Technique for JVM-based Actor Frameworks
Shmuel UrUr, Shmuel Ur InnovationIsrael Committee Member in Program Committee within the SEPS -track
Vlad UrecheUreche, Vlad EPFLRomania Late Data Layout: Unifying Data Representation Transformations Late Data Layout: Unifying Data Representation Transformations
V Viktor VafeiadisVafeiadis, Viktor MPI-SWS, GermanyGreece GPS: Navigating Weak Memory with Ghosts, Protocols, and Separation GPS: Navigating Weak Memory with Ghosts, Protocols, and Separation
Tom Van CutsemVan Cutsem, Tom Alcatel-Lucent Bell LabsBelgium Committee Member in Program Committee for AGERE! Towards Tierless Programming in a General-Purpose Language Committee Member in Program Committee within the Onward! Papers-track
Tijs van der Stormvan der Storm, Tijs CWINetherlands Committee Member in Program Committee within the DSLDI -track
Arie van Deursenvan Deursen, Arie Delft University of Technology Committee Member in External Review Committee within the SPLASH OOPSLA-track
Sven van Haastregtvan Haastregt, Sven PENCIL: A platform-neutral intermediate language for the parallelizing compilation of DSLs
David Van HornVan Horn, David Abstracting Abstract Control
Danny van Velzenvan Velzen, Danny Microsoft Automated Migration of Build Scripts using Dynamic Analysis and Search-Based Refactoring
Carlos VarelaVarela, Carlos Rensselaer Polytechnic Institute, US Committee Member in Organizing Committee for AGERE! Fault Tolerant Distributed Computing using Asynchronous Local Checkpointing
Mandana VaziriVaziri, Mandana IBM Research Committee Member in Program Committee within the SPLASH OOPSLA-track
Martin VechevVechev, Martin ETH Zurich Phrase-Based Statistical Translation of Programming Languages
Luís VeigaVeiga, Luís INESC-ID / Instituto Superior Técnico, Universidade de LisboaPortugal Rubah: DSU for Java on a stock JVM Rubah: DSU for Java on a stock JVM
Martin VelezVelez, Martin University of California, DavisMexico A Study of Wheat and Chaff in Source Code
Tim VerbelenVerbelen, Tim Ghent University - iMindsBelgium Committee Member in Organizing Committee for ETX Co-chair in Program Committee for ETX Committee Member in Program Committee within the ETX-track Committee Member in Organizing Committee within the ETX-track
Sven VerdoolaegeVerdoolaege, Sven PENCIL: A platform-neutral intermediate language for the parallelizing compilation of DSLs
Vlad VerguVergu, Vlad TU Delft A Common Core for Language Tools A Language Designer’s Workbench. A One-Stop-Shop for Implementation and Verification of Language Designs
Bret VictorVictor, Bret Keynote: Humane Representation of Thought: A Trail Map for the 21st Century
Lourival Vieira NetoVieira Neto, Lourival The NetBSD FoundationBrazil Scriptable Operating Systems with Lua
John VilkVilk, John University of Massachusetts, Amherst Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Eelco VisserVisser, Eelco Delft University of TechnologyNetherlands Committee Member in Steering Committee for SPLASH 2014 Web Technology Chair in Organizing Committee for SPLASH 2014 Committee Member in Steering Committee for Onward! 2014 A Common Core for Language Tools A Language Designer’s Workbench. A One-Stop-Shop for Implementation and Verification of Language Designs
Jan VitekVitek, Jan Purdue Committee Member in Steering Committee for SPLASH 2014 Committee Member in Program Committee within the DLS -track Committee Member in Organizing Committee within the SPLASH Tutorials-track
Michael VitousekVitousek, Michael Design and Evaluation of Gradual Typing for Python
Keval VoraVora, Keval University of California, Riverside ASPIRE: Exploiting Asynchronous Parallelism in Iterative Algorithms using a Relaxed Consistency based DSM
Markus VölterVölter, Markus itemis/independent Committee Member in Program Committee within the DSLDI -track
W Thomas W. BartensteinW. Bartenstein, Thomas SUNY Binghamton Rate Types for Stream Programs
Guido WachsmuthWachsmuth, Guido Delft University of TechnologyGermany Session Chair of Session 1 (part of DSLDI ) A Common Core for Language Tools A Language Designer’s Workbench. A One-Stop-Shop for Implementation and Verification of Language Designs Committee Member in Program Committee within the DSLDI -track
Eric WalkingshawWalkingshaw, Eric University of Marburg Formal Semantics as a Language Designer’s Toolbox: A case for semantics-inspired language design Variational Data Structures: Exploring Tradeoffs in Computing with Variability
Chenglong WangWang, Chenglong Composable Syntax Macros
Peng WangWang, Peng MIT CSAIL Compiler Verification Meets Cross-Language Linking via Data Abstraction Compiler Verification Meets Cross-Language Linking via Data Abstraction
Wei-Jen WangWang, Wei-Jen National Central UniversityTaiwan Committee Member in Program Committee for AGERE!
Xi WangWang, Xi MIT CSAIL Cybertron: Pushing the Limit on I/O Reduction in Data-Parallel Programs
Alessandro WarthWarth, Alessandro SAP Labs Call by Meaning
Takuo WatanabeWatanabe, Takuo Tokyo Institute of TechnologyJapan Committee Member in Program Committee for AGERE!
Shiyi WeiWei, Shiyi Virginia Tech Taming the Dynamic Behavior of JavaScript
Josef WeidendorferWeidendorfer, Josef Technische Universität München, Germany Committee Member in Program Committee within the SEPS -track
Adam WelcWelc, Adam Oracle Labs Committee Member in Organizing Committee for DSLDI Session Chair of Session 4 (part of DSLDI ) Program Chair in Organizers within the DSLDI -track
Danny WeynsWeyns, Danny Linnaeus UniversitySweden Committee Member in Program Committee for AGERE!
Ben WiedermannWiedermann, Ben Harvey Mudd College Committee Member in Program Committee within the SPLASH OOPSLA-track
Thomas WiesWies, Thomas New York UniversityUnited States Finding Minimum Type Error Sources Committee Member in Program Committee within the FOOL -track
Christian WimmerWimmer, Christian Oracle Labs Session Chair of Technical paper session 3 (part of DLS ) One VM to Rule Them All Committee Member in Program Committee within the DLS -track
Allen Wirfs-BrockWirfs-Brock, Allen Mozilla Corporation Panel: East Meets West — the Influences of Geography on Software Production
Pascal WittmannWittmann, Pascal TU Darmstadt A Language for the Specification and Efficient Implementation of Type Systems
Mario WolczkoWolczko, Mario Oracle Labs Committee Member in Program Committee within the SPLASH Workshops-track
Felix WolfWolf, Felix German Research School for Simulation Sciences - RWTH Aachen University Discovering Parallelization Opportunities in Sequential Programs - A Closer-to-Complete Solution Co-chair in Organizing Committee within the SEPS -track
Weng-Fai WongWong, Weng-Fai National University of Singapore StreamJIT: A Commensal Compiler for High-Performance Stream Programming
Tim WoodWood, Tim Imperial College Program Equivalence through Trace Equivalence
Tobias WrigstadWrigstad, Tobias Uppsala UniversitySweden Committee Member in Program Committee within the FOOL -track
Bo WuWu, Bo College of William and Mary Call Sequence Prediction through Probabilistic Calling Automata
Peng WuWu, Peng Huawei Committee Member in Program Committee within the DLS -track Committee Member in Program Committee within the SPLASH Workshops-track
Youfeng WuWu, Youfeng Intel Corporation Call Sequence Prediction through Probabilistic Calling Automata
X Tian XiaoXiao, Tian Tsinghua University / Microsoft Research Cybertron: Pushing the Limit on I/O Reduction in Data-Parallel Programs
Xiao XiaoXiao, Xiao The Hong Kong University of Science and Technology Efficient Subcubic Alias Analysis for C
Xusheng XiaoXiao, Xusheng NEC Labs Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Tao XieXie, Tao University of Illinois at Urbana-Champaign Committee Member in Program Committee within the Onward! Papers-track Committee Member in Program Committee within the SPLASH OOPSLA-track
Y Eran YahavYahav, Eran TechnionIsrael Abstract Semantic Differencing via Speculative Correlation
Owen YamauchiYamauchi, Owen Facebook The HipHop Virtual Machine The HipHop Virtual Machine
Chencheng YeYe, Chencheng Huazhong University of Science and Technology Cybertron: Pushing the Limit on I/O Reduction in Data-Parallel Programs
Jaeheon YiYi, Jaeheon Google How Developers Use Data Race Detection Tools
Graham YiuYiu, Graham IBM Toronto Labs Space-Efficient Multi-Versioning for Input-Adaptive Feedback-Driven Program Optimizations
Joe YoderYoder, Joe The Refactory, Inc.United States QA to AQ: Shifting from Quality Assurance to Agile Quality
Akinori YonezawaYonezawa, Akinori AICS-RIKENJapan Committee Member in Program Committee for AGERE!
Hao YuanYuan, Hao BOPU Technologies Efficient Subcubic Alias Analysis for C
Z Francesco Zappa NardelliZappa Nardelli, Francesco INRIA Committee Member in External Review Committee within the SPLASH OOPSLA-track
Steve ZdancewicZdancewic, Steve University of Pennsylvania Committee Member in External Review Committee within the SPLASH OOPSLA-track
Charles ZhangZhang, Charles Hong Kong University of Science and Technology Efficient Subcubic Alias Analysis for C Committee Member in External Review Committee within the SPLASH OOPSLA-track
Deli ZhangZhang, Deli Resource-Based Transaction Management for Best-Effort Hardware Transactional Memory
Hua ZhangZhang, Hua Supporting Relative Location Constraints in Actor Systems
Jiaxing ZhangZhang, Jiaxing Microsoft Research Cybertron: Pushing the Limit on I/O Reduction in Data-Parallel Programs
Lingming ZhangZhang, Lingming University of Texas at Dallas Committee Member in Artifact Evaluation Committee within the SPLASH OOPSLA Artifacts-track
Qirun ZhangZhang, Qirun The Hong Kong University of Science and Technology Efficient Subcubic Alias Analysis for C
Wei ZhangZhang, Wei University of California, Irvine Accelerating Iterators in Optimizing AST Interpreters Accelerating Iterators in Optimizing AST Interpreters
Xiangyu ZhangZhang, Xiangyu Purdue University Flint: Fixing Linearizability Violations Flint: Fixing Linearizability Violations
Xinghui ZhaoZhao, Xinghui University of Washington Supporting Relative Location Constraints in Actor Systems Self-Adaptive Parallel Programming Through Tunable Concurrency
Xu ZhaoZhao, Xu University of Toronto Cybertron: Pushing the Limit on I/O Reduction in Data-Parallel Programs
Zhijia ZhaoZhao, Zhijia College of William and Mary / North Carolina State UniversityChina Call Sequence Prediction through Probabilistic Calling Automata
Hucheng ZhouZhou, Hucheng Microsoft Research Cybertron: Pushing the Limit on I/O Reduction in Data-Parallel Programs
Lidong ZhouZhou, Lidong Microsoft Research Cybertron: Pushing the Limit on I/O Reduction in Data-Parallel Programs
Mingzhou ZhouZhou, Mingzhou College of William and MaryChina Call Sequence Prediction through Probabilistic Calling Automata Space-Efficient Multi-Versioning for Input-Adaptive Feedback-Driven Program Optimizations
Lukasz ZiarekZiarek, Lukasz State University of New York (SUNY) Buffalo Doctoral Symposium Chair in Organizing Committee for SPLASH 2014 Session Chair of Keynote: Evan Czaplicki with Elm (part of REBLS ) Chair in Program Committee within the SPLASH Doctoral Symposium-track Committee Member in Organizing Committee within the REBLS -track
Elena ZuccaZucca, Elena University of GenovaItaly Committee Member in Program Committee within the FOOL -track
Č Martin ČernýČerný, Martin Faculty of Mathematics and Physics, Charles University in Prague yaPOSH: Engineering Behaviors for Videogame Characters

SPLASH 2014 Contributors

Results (671)

Tracks

Co-hosted Events

Workshops

Co-hosted Symposia