SPLASH 2012 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (737)

A Dhiego AbrantesAbrantes, Dhiego ESEML: empirical software engineering modeling language
Paul AdamczykAdamczyk, Paul The nature of order: from security patterns to a pattern language Growing a pattern language (for security)
Joel AdamsAdams, Joel Calvin College Committee Member in Program Committee within the DCP-track
Sam AdamsAdams, Sam Does better throughput require worse latency?
Vikram S. AdveAdve, Vikram S. University of Illinois at Urbana-ChampaignUnited States Committee Member in External Reviewers within the SPLASH OOPSLA Research Papers-track
Mehrdad AfshariAfshari, Mehrdad Vivibe LLCUnited States Liberating the programmer with prorogued programming
Gul AghaAgha, Gul University of Illinois at Urbana-Champaign, USA Committee Member in Organizers within the AGERE-track Committee Member in Program Committee within the AGERE-track
Ademar AguiarAguiar, Ademar FEUP, Universidade do PortoPortugal Chair in Workshops Committee within the SPLASH Workshops-track
Ahmad Ahmad-KassemAhmad-Kassem, Ahmad Messages with implicit destinations as mobile agents
Alex AikenAiken, Alex Stanford University Understanding the behavior of database operations under program control
Ola AjajAjaj, Ola A pattern for the WS-SecureConversation standard for web services
Jonathan AldrichAldrich, Jonathan Carnegie Mellon UniversityUnited States Committee Member in Program Committee for SPLASH 2012 Organizer in Organizers within the FOOL-track Committee Member in Program Committee within the FOOL-track Steering Committee Member in Steering Committee within the FOOL-track Committee Member in Program Committee within the SPLASH OOPSLA Research Papers-track
Bowen AlpernAlpern, Bowen Some new approaches to partial inlining
Vasco AmaralAmaral, Vasco NOVA-LINCS, FCT/UNL The RPG DSL: a case study of language engineering using MDD for generating RPG games for mobile phones Patterns for Evaluating Usability of Domain-Specific Languages
Pierre AmericaAmerica, Pierre Philips Committee Member in Program committee within the DSM-track
Nada AminAmin, Nada University of CambridgeUnited Kingdom Dependent Object Types
J. Christopher AndersonAnderson, J. Christopher Designing the Architecture of Clotho 3.0 - An Interactive Pattern Story
Kenneth M. AndersonAnderson, Kenneth M. MySQL to NoSQL: data modeling challenges in supporting scalability
Danilo AnsaloniAnsaloni, Danilo The JVM is not observable enough (and what to do about it)
Rinko AraoArao, Rinko A Pattern Language for Pattern Illustrating Generative Beauty Patterns - A Pattern Language for Living Lively and Beautiful
Håkan ArdöArdö, Håkan Loop-aware optimizations in PyPy's tracing JIT
Joe ArmstrongArmstrong, Joe RISE SICS Committee Member in Program Committee within the AGERE-track
Matthew ArnoldArnold, Matthew Committee Member in Program Committee for SPLASH 2012 Committee Member in Program Committee within the SPLASH OOPSLA Research Papers-track
Shail AroraArora, Shail Committee Member in Wavefront Committee within the SPLASH Wavefront Papers-track
Luis ArtolaArtola, Luis Committee Member in Wavefront Experience Committee within the SPLASH Wavefront Experience-track
Suriya Priya R. AsaithambiAsaithambi, Suriya Priya R. Generic adaptable test cases for software product line testing: software product line
Uwe AßmannAßmann, Uwe TU Dresden, Germany Committee Member in Program Committee within the FREECO-track
Robert AtkinsonAtkinson, Robert Towards a Pattern Language for Affective Systems
Giorgio AusielloAusiello, Giorgio k-Calling context profiling
B Godmar BackBack, Godmar The CloudBrowser web application framework
Robert BaillargeonBaillargeon, Robert Sodius Committee Member in Program committee within the DSM-track
Engineer BainomugishaBainomugisha, Engineer Makerere UniversityUganda Open reactive dispatch Interruptible context-dependent executions: a fresh look at programming context-aware applications
Sushil BajracharyaBajracharya, Sushil Black Duck Software Chair in Posters Committee within the SPLASH Posters-track Chair in ACM SRC Committee within the SPLASH ACM Student Research Competition-track
Henry BakerBaker, Henry Committee Member in Program Committee within the DLS-track
Nathan BakerBaker, Nathan Domain-specific languages for composing signature discovery workflows
Valter BalegasBalegas, Valter The RPG DSL: a case study of language engineering using MDD for generating RPG games for mobile phones
Elizabeth BalesBales, Elizabeth Citisense: mobile air quality sensing for individuals and communities
Thomas BallBall, Thomas Microsoft ResearchUnited States Modular and verified automatic program repair
Stephanie BalzerBalzer, Stephanie Carnegie Mellon University, USAUnited States Selective Ownership: Combining Object and Type Hierarchies for Flexible Sharing
Tao BaoBao, Tao Purdue University, USA White box sampling in uncertain data processing enabled by program analysis
Ankica BarisicBarisic, Ankica NOVA-LINCS - Universidade Nova de LisboaPortugal The RPG DSL: a case study of language engineering using MDD for generating RPG games for mobile phones
Ankica BarišicBarišic, Ankica Patterns for Evaluating Usability of Domain-Specific Languages
Michael BarnettBarnett, Michael A semantic integrated development environment An abstract interpretation framework for refactoring with application to extract methods with contracts
Dan BarowyBarowy, Dan AutoMan: a platform for integrating human-based and digital computation
Earl T. BarrBarr, Earl T. Liberating the programmer with prorogued programming Reusing debugging knowledge via trace-based bug search
Bruno F. BarrocaBarroca, Bruno F. The RPG DSL: a case study of language engineering using MDD for generating RPG games for mobile phones
Peter BellBell, Peter General Assembly Committee Member in Program committee within the DSM-track
Clara Benac EarleBenac Earle, Clara Universidad Politécnica de Madrid Adding distribution and fault tolerance to jason
Saddek BensalemBensalem, Saddek Verimag Optimized distributed implementation of multiparty interactions with observation Distributed priority synthesis using knowledge Committee Member in Program Committee within the AGERE-track
Christian BergerBerger, Christian Chalmers University of Technology, Sweden Design considerations for a cyber-physical testing language on the example of autonomous driving
Emery D. BergerBerger, Emery D. University of Massachusetts, AmherstUnited States AutoMan: a platform for integrating human-based and digital computation Committee Member in External Reviewers within the SPLASH OOPSLA Research Papers-track
Tim BerglundBerglund, Tim Committee Member in Program Committee within the SPLASH Onward! Essays-track
Lodewijk BergmansBergmans, Lodewijk Software Improvement GroupNetherlands Committee Member in Program Committee within the FREECO-track Committee Member in Workshop organizers within the FREECO-track
Adam BettsBetts, Adam GPUVerify: a verifier for GPU kernels
Meurig BeynonBeynon, Meurig Realising software development as a lived experience
Swapnil BhatiaBhatia, Swapnil Designing the Architecture of Clotho 3.0 - An Interactive Pattern Story
Robert BiddleBiddle, Robert Carleton UniversityCanada Notes on Post-Post-Modern-Modern Programming
Walter BinderBinder, Walter University of Lugano, Switzerland The JVM is not observable enough (and what to do about it)
Andrew BlackBlack, Andrew Portland State UniversityUnited States Committee Member in Organizers within the RACES-track Committee Member in Program Committee within the RACES-track
Andrew P. BlackBlack, Andrew P. Approximate parallel sorting on a spatial computer Patterns as objects in grace Grace: the absence of (inessential) difficulty
Stephen M. BlackburnBlackburn, Stephen M. Bypassing portability pitfalls of high-level low-level programming Work-stealing without the baggage Committee Member in External Reviewers within the SPLASH OOPSLA Research Papers-track
Steve BlackburnBlackburn, Steve Australian National University Australia Committee Member in Organizers within the VMIL-track
Bard BloomBloom, Bard Robust scripting via patterns
Christoph BockischBockisch, Christoph Philipps-Universität MarburgGermany A unified model of aspect-instantiation policies The ALIA4J approach to efficient language implementation Committee Member in Program Committee within the FREECO-track Committee Member in Workshop organizers within the FREECO-track Committee Member in Organizers within the VMIL-track
Sébastien BocqBocq, Sébastien Molecule: using monadic and streaming I/O to compose process networks on the JVM
Eric BoddenBodden, Eric Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM Committee Member in Program Committee for SPLASH 2012 Committee Member in Program Committee within the SPLASH OOPSLA Research Papers-track
Ras BodikBodik, Ras Committee Member in External Reviewers within the SPLASH OOPSLA Research Papers-track
Hans-J. BoehmBoehm, Hans-J. Google Position paper: nondeterminism is unavoidable, but data races are pure evil IFRit: interference-free regions for dynamic data-race detection Committee Member in External Reviewers within the SPLASH OOPSLA Research Papers-track
CF Bolz-TereickBolz-Tereick, CF Germany The efficient handling of guards in the design of RPython's tracing JIT Loop-aware optimizations in PyPy's tracing JIT Committee Member in Program Committee within the DLS-track
Michael D. BondBond, Michael D. Ohio State University Committee Member in Program Committee for SPLASH 2012 Committee Member in Program Committee within the SPLASH OOPSLA Research Papers-track
Viviana BonoBono, Viviana University of TorinoItaly Steering Committee Member in Steering Committee within the FOOL-track
Paulo BorbaBorba, Paulo Federal University of Pernambuco, BrazilBrazil Committee Member in Workshops Committee within the SPLASH Workshops-track
Rafael BordiniBordini, Rafael PUCRSBrazil Committee Member in Organizers within the AGERE-track
Rafael H. BordiniBordini, Rafael H. PUCRS, Brazil Committee Member in Program Committee within the AGERE-track
Amiangshu BosuBosu, Amiangshu Peer code review in open source communitiesusing reviewboard
John BoylandBoyland, John Univeristy of Wisconsin, MilwaukeeUnited States Organizer in Organizers within the FOOL-track Chair in Program Committee within the FOOL-track
Marius BozgaBozga, Marius Verimag/CNRS Optimized distributed implementation of multiparty interactions with observation
Gilad BrachaBracha, Gilad GoogleIsrael Committee Member in Program Committee within the AGERE-track Committee Member in Program Committee within the DLS-track
Einar Broch JohnsenBroch Johnsen, Einar University of Oslo Committee Member in Program Committee within the AGERE-track
Aleks BromfieldBromfield, Aleks Uniqueness and Reference Immutability for Safe Parallelism
Nathan BronsonBronson, Nathan Understanding the behavior of database operations under program control
Dick BrownBrown, Dick St. Olaf College Organizer in Organizers within the DCP-track
Titus BrownBrown, Titus Committee Member in Program Committee within the SPLASH Onward! Essays-track
Kim B. BruceBruce, Kim B. Patterns as objects in grace Grace: the absence of (inessential) difficulty
Yuriy BrunBrun, Yuriy University of Massachusetts, AmherstUnited States Speculative analysis of integrated development environment recommendations
Dennis BrylowBrylow, Dennis Marquette University Committee Member in Program Committee within the DCP-track
David BundeBunde, David Knox College Committee Member in Program Committee within the DCP-track
Winslow BurlesonBurleson, Winslow Towards a Pattern Language for Affective Systems
C Cristian CadarCadar, Cristian Imperial College LondonUnited Kingdom Committee Member in Program Committee for SPLASH 2012 Committee Member in Program Committee within the SPLASH OOPSLA Research Papers-track
Harold W. CainCain, Harold W. Edge chasing delayed consistency: pushing the limits of weak memory models
Nicholas CameronCameron, Nicholas Mozilla Corporation Sheep Cloning with Ownership Types Committee Member in Program Committee within the FOOL-track
Fernanda CamposCampos, Fernanda Applying aspect mining techniques to understand an existing program
Wen CaoCao, Wen Patterns for Managing an Escalated Issue
Michael CarbinCarbin, Michael MITUnited States Bolt: on-demand infinite loop escape in unmodified binaries
Andoni Lombide CarretonCarreton, Andoni Lombide Interruptible context-dependent executions: a fresh look at programming context-aware applications
Matthew J. CarrollCarroll, Matthew J. A tested semantics for getters, setters, and eval in JavaScript
Bruno CartaxoCartaxo, Bruno ESEML: empirical software engineering modeling language
Jeffrey C. CarverCarver, Jeffrey C. Peer code review in open source communitiesusing reviewboard
Damien CassouCassou, Damien Lille 1 UniversityFrance CoExist: overcoming aversion to change
Jose CastanosCastanos, Jose On the benefits and pitfalls of extending a statically typed language JIT compiler for dynamic scripting languages
John CavazosCavazos, John University of Delaware Mitigating the compiler optimization phase-ordering problem using machine learning
Luis CezeCeze, Luis University of Washington, USABrazil IFRit: interference-free regions for dynamic data-race detection
Maria Elena Chavez-EcheagarayChavez-Echeagaray, Maria Elena Towards a Pattern Language for Affective Systems
Simin ChenChen, Simin Declarative access policies based on objects, relationships, and states
Chih-Hong ChengCheng, Chih-Hong Distributed priority synthesis using knowledge
Junhee ChoCho, Junhee SAFE: Formal Specification and Implementation of a Scalable Analysis Framework for ECMAScript
Nathan ChongChong, Nathan University College London GPUVerify: a verifier for GPU kernels
Stephen ChongChong, Stephen Harvard University, USA Towards a practical secure concurrent language
Jean chuchu, Jean Patterns for Managing an Escalated Issue
Ravi ChughChugh, Ravi University of Chicago Dependent types for JavaScript
Benjamin ChungChung, Benjamin Northeastern UniversityUnited States Benchmarking Typestate-Oriented Programming Languages
Dave ClarkeClarke, Dave Uppsala Univ. Sweden and KU Leuvern Committee Member in Program Committee within the FOOL-track
Peter ClarkeClarke, Peter Florida International University Committee Member in Program committee within the DSM-track
Yvonne CoadyCoady, Yvonne University of VictoriaCanada Committee Member in Program Committee within the PLATEAU-track Committee Member in Program Committee within the RACES-track
Anonthy CocchiCocchi, Anonthy Some new approaches to partial inlining
Michael CohenCohen, Michael Energy types
Zack Franklin CokerCoker, Zack Franklin Security-oriented program transformations to cure integer overflow vulnerabilities
Rem CollierCollier, Rem University College DublinUnited Kingdom Committee Member in Program Committee within the AGERE-track
William CookCook, William University of Texas at Austin Committee Member in Program Committee for SPLASH 2012 Committee Member in Program Committee within the FOOL-track Committee Member in Program Committee within the DLS-track Committee Member in Program Committee within the SPLASH OOPSLA Research Papers-track
William R. CookCook, William R. Managed data: modular strategies for data abstraction
Kendra CooperCooper, Kendra IndependentCanada Software tools research: a matter of scale and scope - or commoditization?
James O. CoplienCoplien, James O. Reflections on reflection
Jim CoplienCoplien, Jim Software tools research: a matter of scale and scope - or commoditization? Co-Host in Hosts within the DCI-track
Luis CorralCorral, Luis Standard-based strategy to assure the quality of the mobile software product Using software quality standards to assure the quality of the mobile software product
Italo CostaCosta, Italo ESEML: empirical software engineering modeling language
Pascal CostanzaCostanza, Pascal imec Committee Member in Program Committee within the DLS-track Committee Member in Workshops Committee within the SPLASH Workshops-track
Patrick CousotCousot, Patrick A semantic integrated development environment An abstract interpretation framework for refactoring with application to extract methods with contracts
Radhia CousotCousot, Radhia A semantic integrated development environment An abstract interpretation framework for refactoring with application to extract methods with contracts
Charlie CurtsingerCurtsinger, Charlie Grinnell College AutoMan: a platform for integrating human-based and digital computation
D Marco D'ambrosD'ambros, Marco Tracking human-centric controlled experiments with biscuit
Theo D'HondtD'Hondt, Theo Vrije Universiteit BrusselBelgium Domains: safe sharing among actors Committee Member in Organizers within the RACES-track Committee Member in Program Committee within the RACES-track
Koen DaenenDaenen, Koen Molecule: using monadic and streaming I/O to compose process networks on the JVM
Subhajit DattaDatta, Subhajit Talk versus work: characteristics of developer collaboration on the jazz platform
Joeri De KosterDe Koster, Joeri Vrije Universiteit Brussel, BelgiumBelgium Domains: safe sharing among actors
Wolfgang De MeuterDe Meuter, Wolfgang Vrije Universiteit Brussel Open reactive dispatch Parallel gesture recognition with soft real-time guarantees Interruptible context-dependent executions: a fresh look at programming context-aware applications
Coen De RooverDe Roover, Coen Vrije Universiteit BrusselBelgium Interruptible context-dependent executions: a fresh look at programming context-aware applications
Mattias De WaelDe Wael, Mattias Vrije Universiteit Brussel, Belgium How to achieve scalable fork/join on many-core architectures? Committee Member in Assistants within the RACES-track
Camil DemetrescuDemetrescu, Camil Sapienza University RomeItaly k-Calling context profiling
Brian DemskyDemsky, Brian University of California, IrvineUnited States Committee Member in External Reviewers within the SPLASH OOPSLA Research Papers-track
Michail DenchevDenchev, Michail Kitsune: efficient, general-purpose dynamic software updating for C
Marcus DenkerDenker, Marcus INRIA Lille Committee Member in Program Committee within the DLS-track
Douglas DensmoreDensmore, Douglas Designing the Architecture of Clotho 3.0 - An Interactive Pattern Story
Davide Di RuscioDi Ruscio, Davide Committee Member in Program committee within the DSM-track
Werner DietlDietl, Werner University of Waterloo, CanadaCanada Reim & ReImInfer: checking and inference of reference immutability and method purity
Jens DietrichDietrich, Jens Massey UniversityNew Zealand Upload your program, share your model
Danny DigDig, Danny School of EECS at Oregon State University Committee Member in External Reviewers within the SPLASH OOPSLA Research Papers-track
Işıl DilligDillig, Işıl UT Austin Committee Member in Program Committee for SPLASH 2012 Committee Member in Program Committee within the SPLASH OOPSLA Research Papers-track
Christos DimoulasDimoulas, Christos Northwestern UniversityUnited States Gradual typing for first-class classes
Jurgen DixDix, Jurgen Clausthal University of Technology Committee Member in Program Committee within the AGERE-track
Gilles DodinetDodinet, Gilles The United States of a meta-model build with MyDraft: an agile model-driven cloud-based platform for data-oriented rich web applications
Alastair F. DonaldsonDonaldson, Alastair F. Imperial College LondonUnited Kingdom GPUVerify: a verifier for GPU kernels
Gabriel Dos ReisDos Reis, Gabriel Texas A&M University and Microsoft Open and efficient type switch for C++
Scott DouglasDouglas, Scott Air Force Research Laboratory Committee Member in Program committee within the DSM-track
Jamie DouglassDouglass, Jamie Boeing Committee Member in Wavefront Experience Committee within the SPLASH Wavefront Experience-track Committee Member in Workshops Committee within the SPLASH Workshops-track
Abhishek DubeyDubey, Abhishek Vanderbilt University Committee Member in Program committee within the DSM-track
Gilles DuboscqDuboscq, Gilles Oracle LabsSwitzerland Compilation queuing and graph caching for dynamic compilers Self-optimizing AST interpreters
Anton Willy DubrauDubrau, Anton Willy Taming MATLAB
Joe DuffyDuffy, Joe Uniqueness and Reference Immutability for Safe Parallelism
Matthew B DwyerDwyer, Matthew B University of NebraskaUnited States PC Chair in Program Committee for SPLASH 2012 Chair in Program Committee within the SPLASH OOPSLA Research Papers-track
Robert DyerDyer, Robert Bowling Green State UniversityUnited States Analyzing ultra-large-scale code corpus with boa Boa: analyzing ultra-large-scale code corpus
Álvaro Fernández DíazDíaz, Álvaro Fernández Adding distribution and fault tolerance to jason
Emanuele D’OsualdoD’Osualdo, Emanuele Imperial College London, UKUnited Kingdom Soter: an automatic safety verifier for erlang
E Brandon EamesEames, Brandon Sandia National Laboratories Committee Member in Program committee within the DSM-track
David EdelsohnEdelsohn, David On the benefits and pitfalls of extending a statically typed language JIT compiler for dynamic scripting languages
Jonathan EdwardsEdwards, Jonathan United States Chair in Program Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the PLATEAU-track
Lieven EeckhoutEeckhout, Lieven U. of Ghent Exploring multi-threaded Java application performance on multicore hardware
Laura Effinger-DeanEffinger-Dean, Laura IFRit: interference-free regions for dynamic data-race detection
Michael EichbergEichberg, Michael TU Darmstadt, Germany Reifying and optimizing collection queries for modularity
Aslak Wegner EideEide, Aslak Wegner An Approach to Evolutionary Design Pattern Engineering
Amal El Fallah-SegrouchniEl Fallah-Segrouchni, Amal LIP6 Committee Member in Program Committee within the AGERE-track
Sebastian ElbaumElbaum, Sebastian University of Nebraska-Lincoln, USA Detecting problematic message sequences and frequencies in distributed systems
Veli-Pekka ElorantaEloranta, Veli-Pekka Patterns for distributed machine control system data sharing
Rochelle ElvaElva, Rochelle University of Central Florida Chair in Student Volunteers Committee within the SPLASH Student Volunteers-track
Christophe EngelvinEngelvin, Christophe Domain specific modeling for operations research simulation in a large industrial context
Sebastian ErdwegErdweg, Sebastian TU DelftNetherlands A variability-aware module system
Dan ErnstErnst, Dan Cray Research Committee Member in Program Committee within the DCP-track
Erik ErnstErnst, Erik Google Inc.Denmark Committee Member in External Reviewers within the SPLASH OOPSLA Research Papers-track Committee Member in Workshops Committee within the SPLASH Workshops-track
Michael D. ErnstErnst, Michael D. University of Washington, USA Speculative analysis of integrated development environment recommendations Reducing the barriers to writing verified specifications Reim & ReImInfer: checking and inference of reference immutability and method purity Committee Member in Demonstrations Committee within the SPLASH Demos-track Committee Member in Program Committee within the SPLASH Doctoral Symposium-track Committee Member in Program Committee within the SPLASH Panels-track
Yadran EterovicEterovic, Yadran Pontificia Universidad Catlica de Chile Applying aspect mining techniques to understand an existing program
Patrick EugsterEugster, Patrick Purdue University Committee Member in External Reviewers within the SPLASH OOPSLA Research Papers-track
Jason EvansEvans, Jason Facebook The HipHop compiler for PHP
Juanita EwingEwing, Juanita Committee Member in Wavefront Committee within the SPLASH Wavefront Papers-track
F Katrina FalknerFalkner, Katrina University of Adelaide, Australia S-RVM: a secure design for a high-performance java virtual machine
Dennis C. FeiockFeiock, Dennis C. Proactive modeling: auto-generating models from their semantics and constraints
Matthias FelleisenFelleisen, Matthias Northeastern University, USA Gradual typing for first-class classes Optimization coaching: optimizers learn to communicate with programmers
Eduardo B. FernandezFernandez, Eduardo B. A pattern for the WS-SecureConversation standard for web services Cloud Service Model Patterns A Security Pattern for the Transport Layer Security (TLS) Protocol
John FieldField, John GoogleUnited States Committee Member in Program Committee within the SPLASH Onward! Papers-track
Maciej FijaBkowskiFijaBkowski, Maciej Loop-aware optimizations in PyPy's tracing JIT
Robert Bruce FindlerFindler, Robert Bruce Chaperones and impersonators: run-time support for reasonable interposition
Irene FinocchiFinocchi, Irene Sapienza University of Rome, ItalyItaly k-Calling context profiling
Donatella FirmaniFirmani, Donatella k-Calling context profiling
Cormac FlanaganFlanagan, Cormac University of California, Santa CruzIreland Committee Member in External Reviewers within the SPLASH OOPSLA Research Papers-track
Matthew FlattFlatt, Matthew University of UtahUnited States Chaperones and impersonators: run-time support for reasonable interposition Committee Member in Program Committee within the DLS-track
Brian FooteFoote, Brian Committee Member in Program Committee within the SPLASH Onward! Papers-track
Jeffrey S. FosterFoster, Jeffrey S. University of Maryland, College ParkUnited States Committee Member in Program Committee for SPLASH 2012 Kitsune: efficient, general-purpose dynamic software updating for C Committee Member in Program Committee within the SPLASH OOPSLA Research Papers-track
Martin FowlerFowler, Martin Committee Member in Program Committee within the SPLASH Onward! Papers-track
Daniel FramptonFrampton, Daniel Microsoft Work-stealing without the baggage Committee Member in Program Committee within the VMIL-track
Steven D. FraserFraser, Steven D. Software tools research: a matter of scale and scope - or commoditization? Trade-offs in software design and delivery Committee Member in Workshop Committee within the xDD-track
Lars-Ake FredlundFredlund, Lars-Ake Adding distribution and fault tolerance to jason
Bjorn Freeman-BensonFreeman-Benson, Bjorn New Relic Committee Member in Program Committee within the SPLASH Onward! Papers-track
Stephen N. FreundFreund, Stephen N. Williams CollegeUnited States Committee Member in Program Committee within the FOOL-track
Thomas FritzFritz, Thomas University of Zurich, University of British ColumbiaSwitzerland Committee Member in Program Committee within the PLATEAU-track
Ryota FukudaFukuda, Ryota Type-based safe resource deallocation for shared-memory concurrency
Nathan FultonFulton, Nathan Carnegie Mellon University Security through extensible type systems
Goulwen Le FurFur, Goulwen Le Migration to model driven engineering in the development process of distributed scientific application software
Manuel FähndrichFähndrich, Manuel Google A semantic integrated development environment
G Mark GabelGabel, Mark University of Texas at Dallas Committee Member in Program Committee for SPLASH 2012 Committee Member in Program Committee within the SPLASH OOPSLA Research Papers-track
Fritz GabrielGabriel, Fritz Patterns for Managing an Escalated Issue
Richard P. GabrielGabriel, Richard P. Dream Songs, Inc. & HPI Trade-offs in software design and delivery The structure of a programming language revolution
Malay GanaiGanai, Malay Committee Member in External Reviewers within the SPLASH OOPSLA Research Papers-track
Qi GaoGao, Qi The HipHop compiler for PHP
Yaoqing GaoGao, Yaoqing IBM Toronto LabsCanada Exploiting inter-sequence correlations for program behavior prediction
Ronald GarciaGarcia, Ronald University of British Columbia Committee Member in Program Committee within the FOOL-track
Vinicius Cardoso GarciaGarcia, Vinicius Cardoso ESEML: empirical software engineering modeling language
Simon J. GayGay, Simon J. University of Glasgow, UKUnited Kingdom Committee Member in Program Committee within the FOOL-track
Raphaël GaynoGayno, Raphaël Migration to model driven engineering in the development process of distributed scientific application software
Edward GehringerGehringer, Edward North Carolina State University Organizer in Organizers within the DCP-track
Paolo G. GiarrussoGiarrusso, Paolo G. EPFL, SwitzerlandSwitzerland Reifying and optimizing collection queries for modularity Reifying and optimizing collection queries for modularity
Stein GjessingGjessing, Stein Teaching predicates and invariants on shared data structures in concurrent programming
Robert L. GoldstoneGoldstone, Robert L. Cognitive architectures: a way forward for the psychology of programming
Javier Gonzalez-SanchezGonzalez-Sanchez, Javier Towards a Pattern Language for Affective Systems
Michael GorbovitskiGorbovitski, Michael From clarity to efficiency for distributed algorithms
Colin GordonGordon, Colin Uniqueness and Reference Immutability for Safe Parallelism
Miguel GoulãoGoulão, Miguel Patterns for Evaluating Usability of Domain-Specific Languages
Jean-Marc GratienGratien, Jean-Marc Migration to model driven engineering in the development process of distributed scientific application software
Jeff GrayGray, Jeff University of Alabama Domain-specific languages for composing signature discovery workflows Organizing Committee in Organizing Committee within the DSM-track Committee Member in Workshops Committee within the SPLASH Workshops-track
William GriswoldGriswold, William UC San DiegoUnited States Citisense: mobile air quality sensing for individuals and communities
Thomas GrossGross, Thomas Selective Ownership: Combining Object and Type Hierarchies for Flexible Sharing
Dan GrossmanGrossman, Dan University of WashingtonUnited States Detecting conflicts among declarative UI extensions IFRit: interference-free regions for dynamic data-race detection
David GroveGrove, David IBM ResearchUnited States Some new approaches to partial inlining Work-stealing without the baggage Chair in Program Committee within the VMIL-track
Stéphane GrumbachGrumbach, Stéphane Messages with implicit destinations as mobile agents
Zhongxian GuGu, Zhongxian UC Davis Reusing debugging knowledge via trace-based bug search
Sharath Chowdary GudeGude, Sharath Chowdary JavaScript: the used parts
Eduardo GuerraGuerra, Eduardo INPE - National Institute for Space Research Basic Test Driven Development Step Patterns Committee Member in Wavefront Experience Committee within the SPLASH Wavefront Experience-track
Arjun GuhaGuha, Arjun University of Massachusetts, Amherst Semantics and Types for Objects with First-Class Member Names
Philip GuoGuo, Philip UCSD Committee Member in Program Committee within the PLATEAU-track
Sam GuyerGuyer, Sam Tufts UniversityUnited States Committee Member in Program Committee for SPLASH 2012
Samuel GuyerGuyer, Samuel Committee Member in Program Committee within the SPLASH OOPSLA Research Papers-track
H Andreas HaasHaas, Andreas Google How FIFO is your concurrent FIFO queue?
Halima Habieb-MammarHabieb-Mammar, Halima A Serious Game to HCI Design Patterns Discovery and Dissemination: The PatternCity Concept
Munawar HafizHafiz, Munawar OpenRefactory/C: an infrastructure for developing program transformations for C programs The nature of order: from security patterns to a pattern language Growing a pattern language (for security) Committee Member in Posters Committee within the SPLASH Posters-track Committee Member in ACM SRC Committee within the SPLASH ACM Student Research Competition-track
Philipp HallerHaller, Philipp KTH Royal Institute of TechnologyGermany On the integration of the actor model in mainstream technologies: the scala perspective Committee Member in Program Committee within the AGERE-track
Ragnhild HalvorsrudHalvorsrud, Ragnhild An Approach to Evolutionary Design Pattern Engineering
Stefan HanenbergHanenberg, Stefan University of Duisburg-Essen An empirical study of the influence of static type systems on the usability of undocumented software Committee Member in Program Committee within the PLATEAU-track
Robert HanmerHanmer, Robert Pattern Mining Patterns
Michael E. HansenHansen, Michael E. Cognitive architectures: a way forward for the psychology of programming
Kaori HarasawaHarasawa, Kaori A Pattern Language for Pattern Illustrating Generative Beauty Patterns - A Pattern Language for Living Lively and Beautiful
Gail HarrisHarris, Gail Committee Member in Workshop Committee within the xDD-track
Gail E. HarrisHarris, Gail E. Trade-offs in software design and delivery
Tim HarrisHarris, Tim Oracle Labs Committee Member in External Reviewers within the SPLASH OOPSLA Research Papers-track
Keiko HashizumeHashizume, Keiko Cloud Service Model Patterns
Michael HauptHaupt, Michael eBay Committee Member in Program Committee within the FREECO-track Committee Member in Organizers within the VMIL-track
Hiroshige HayashizakiHayashizaki, Hiroshige Adaptive multi-level compilation in a trace-based Java JIT compiler
Christopher M. HaydenHayden, Christopher M. Kitsune: efficient, general-purpose dynamic software updating for C
Christian HeinleinHeinlein, Christian MOST-flexiPL: modular, statically typed, flexibly extensible programming language
Laurie Jane HendrenHendren, Laurie Jane Taming MATLAB
Stephan HerhutHerhut, Stephan Google Inc. Teaching parallelism with river trail
David HermanHerman, David Dependent types for JavaScript
Charlotte HerzeelHerzeel, Charlotte Vrije Universiteit Brussel Committee Member in Program Committee within the DLS-track
Michael HicksHicks, Michael University of Maryland, College ParkUnited States Automating object transformations for dynamic software updating Kitsune: efficient, general-purpose dynamic software updating for C
James HillHill, James IUPUIUnited States Committee Member in Program committee within the DSM-track
James H. HillHill, James H. Proactive modeling: auto-generating models from their semantics and constraints
Robert HirschfeldHirschfeld, Robert HPI, University of PotsdamGermany CoExist: overcoming aversion to change A Type System for Dynamic Layer Composition The VIVIDE programming environment: connecting run-time information with programmers' system knowledge Committee Member in Program Committee within the DLS-track Committee Member in Workshops Committee within the SPLASH Workshops-track
Martin J. HirzelHirzel, Martin J. Robust scripting via patterns
Reid HolmesHolmes, Reid University of British ColumbiaCanada Speculative analysis of integrated development environment recommendations
Tom HolvoetHolvoet, Tom KU Leuven, Belgium Committee Member in Program Committee within the AGERE-track
Michael HomerHomer, Michael Victoria University of WellingtonNew Zealand Patterns as objects in grace Graceful Patterns for Patterns in Grace Grace: the absence of (inessential) difficulty
Lode HosteHoste, Lode Parallel gesture recognition with soft real-time guarantees
Phil HowardHoward, Phil Portland State University Committee Member in Program Committee within the RACES-track
Philip W. HowardHoward, Philip W. A case for relativistic programming
Gang HuangHuang, Gang Refactoring android Java code for on-demand computation offloading Migration and execution of JavaScript applications between mobile devices and cloud
Jeff HuangHuang, Jeff Texas A&M University LEAN: simplifying concurrency bug reproduction via replay-supported execution reduction Execution privatization for scheduler-oblivious concurrent programs
Sheng HuangHuang, Sheng SCuV: a novel software clustering and visualization tool
Wei HuangHuang, Wei Dataflow and Type-based Formulations for Reference Immutability Inferring AJ Types for Concurrent Libraries Reim & ReImInfer: checking and inference of reference immutability and method purity
Richard L. HudsonHudson, Richard L. Google Teaching parallelism with river trail
Lise HvatumHvatum, Lise Schlumberger, USA Organizing and Building Software
I Takashi IbaIba, Takashi Change Making Patterns - A Pattern Language for Fostering Social Entrepreneurship A Pattern Language for Pattern Illustrating
Takashi IbaIba, Takashi Keio University, Japan Generative Beauty Patterns - A Pattern Language for Living Lively and Beautiful Holistic Pattern-Mining Patterns
Atsushi IgarashiIgarashi, Atsushi Kyoto University, JapanJapan A Type System for Dynamic Layer Composition Type-based safe resource deallocation for shared-memory concurrency Steering Committee Member in Steering Committee within the FOOL-track
Shams M. ImamImam, Shams M. Integrating task parallelism with actors
Shams Mahmood ImamImam, Shams Mahmood CnC-Python: multicore programming with high productivity
Hiroshi InoueInoue, Hiroshi IBM Research - TokyoJapan A trace-based Java JIT compiler for large-scale applications Adaptive multi-level compilation in a trace-based Java JIT compiler
Taichi IsakuIsaku, Taichi Holistic Pattern-Mining Patterns
Kazuaki IshizakiIshizaki, Kazuaki On the benefits and pitfalls of extending a statically typed language JIT compiler for dynamic scripting languages
Mohammad-Javad IzadiIzadi, Mohammad-Javad Timed-rebeca schedulability and deadlock-freedom analysis using floating-time transition system
J Ethan JacksonJackson, Ethan Microsoft Research Committee Member in Program committee within the DSM-track
Ferosh JacobJacob, Ferosh Domain-specific languages for composing signature discovery workflows Chair in Student Volunteers Committee within the SPLASH Student Volunteers-track
Andrea JanesJanes, Andrea The dark side of agile software development
Stan JarzabekJarzabek, Stan National University of Singapore Generic adaptable test cases for software product line testing: software product line
Ciera JaspanJaspan, Ciera Google Committee Member in Program Committee within the PLATEAU-track
Ranjit JhalaJhala, Ranjit University of California, San DiegoUnited States Dependent types for JavaScript
Yunlian JiangJiang, Yunlian Exploiting inter-sequence correlations for program behavior prediction
Joonho JinJin, Joonho SAFE: Formal Specification and Implementation of a Scalable Analysis Framework for ECMAScript
Youngjoon JoJo, Youngjoon Purdue University Automatically enhancing locality for tree traversals with traversal splicing
Zachary John Christopher AndersonJohn Christopher Anderson, Zachary Efficiently combining parallel software using fine-grained, language-level, hierarchical resource management policies
Ralph E. JohnsonJohnson, Ralph E. Growing a pattern language (for security)
Genevieve JomierJomier, Genevieve The United States of a meta-model build with MyDraft: an agile model-driven cloud-based platform for data-oriented rich web applications
Richard JonesJones, Richard University of KentUnited Kingdom A black-box approach to understanding concurrency in DaCapo
Jurgen JungJung, Jurgen DHL Committee Member in Program committee within the DSM-track
K Megumi KadotaniKadotani, Megumi Generative Beauty Patterns - A Pattern Language for Living Lively and Beautiful
Tomas KaliberaKalibera, Tomas Czech Technical UniversityCzechia A black-box approach to understanding concurrency in DaCapo
Karl Trygve KallebergKalleberg, Karl Trygve Software development environments on the web: a research agenda
Yasutaka KameiKamei, Yasutaka Kyushu UniversityJapan UML4COP: UML-based DSML for context-aware systems
Seonghoon KangKang, Seonghoon Formal specification of a JavaScript module system
Vassilios KarakoidasKarakoidas, Vassilios Comparative language fuzz testing: programming languages vs. fat fingers
Lennart C.L. KatsKats, Lennart C.L. Software development environments on the web: a research agenda The spoofax name binding language
Heiko KattenstrothKattenstroth, Heiko DSMLs for enterprise architecture management: review of selected approaches
Zeynab Sabahi KavianiKaviani, Zeynab Sabahi Timed-rebeca schedulability and deadlock-freedom analysis using floating-time transition system
Kiyokuni KawachiyaKawachiya, Kiyokuni IBM Research - Tokyo Committee Member in Program Committee within the VMIL-track
Stephen KellKell, Stephen University of Cambridge The JVM is not observable enough (and what to do about it)
Steven KellyKelly, Steven MetaCaseUnited Kingdom Committee Member in Program committee within the DSM-track
Heiko KernKern, Heiko University of Leipzig Committee Member in Program committee within the DSM-track
Ehsan KhamespanahKhamespanah, Ehsan Timed-rebeca schedulability and deadlock-freedom analysis using floating-time transition system
Ramtin KhosraviKhosravi, Ramtin Timed-rebeca schedulability and deadlock-freedom analysis using floating-time transition system
Sarfraz KhurshidKhurshid, Sarfraz University of Texas at AustinUnited States Scaling symbolic execution using ranged analysis
Donguk KimKim, Donguk Interoperability Marshaller/Unmarshaller
Jiwon KimKim, Jiwon Samsung ElectronicsKorea, South Interoperability Marshaller/Unmarshaller
Miryung KimKim, Miryung University of California, Los AngelesUnited States Committee Member in Program Committee for SPLASH 2012 Committee Member in Program Committee within the SPLASH OOPSLA Research Papers-track
Doug KimelmanKimelman, Doug IBM Research Does better throughput require worse latency? Committee Member in Organizers within the RACES-track Committee Member in Program Committee within the RACES-track
Sybren de KinderenKinderen, Sybren de EA anamnesis: towards an approach for enterprise architecture rationalization
Christoph KirschKirsch, Christoph How FIFO is your concurrent FIFO queue?
Michael KlingKling, Michael Bolt: on-demand infinite loop escape in unmodified binaries
Alan KnightKnight, Alan Committee Member in Wavefront Committee within the SPLASH Wavefront Papers-track
Jonathan KochemsKochems, Jonathan Department of Computer Science, University of Oxford Soter: an automatic safety verifier for erlang
Eddie KohlerKohler, Eddie Harvard SEAS Committee Member in Program Committee within the RACES-track
Christian KohlsKohls, Christian SmartTech, USA Patterns for Creative Thinking
Bernd KolbKolb, Bernd itemis AG mbeddr: an extensible C-based programming language and IDE for embedded systems
Gabriël D.P. KonatKonat, Gabriël D.P. The spoofax name binding language
Chandra KrintzKrintz, Chandra UC Santa BarbaraUnited States Committee Member in Program Committee for SPLASH 2012 Committee Member in Program Committee within the SPLASH OOPSLA Research Papers-track
Chandra KrintzKrintz, Chandra UCSB Committee Member in Program Committee within the VMIL-track
Shriram KrishnamurthiKrishnamurthi, Shriram Brown University, USA A tested semantics for getters, setters, and eval in JavaScript Semantics and Types for Objects with First-Class Member Names Progressive types
Ingolf KruegerKrueger, Ingolf Citisense: mobile air quality sensing for individuals and communities
Hillel KuglerKugler, Hillel Microsoft, USA Committee Member in Program Committee within the AGERE-track
Milind KulkarniKulkarni, Milind Purdue University Automatically enhancing locality for tree traversals with traversal splicing Committee Member in Program Committee within the SPLASH Doctoral Symposium-track
Prasad KulkarniKulkarni, Prasad University of Kansas Committee Member in Program Committee within the VMIL-track
Sameer KulkarniKulkarni, Sameer Mitigating the compiler optimization phase-ordering problem using machine learning
Ajoy KumarKumar, Ajoy A Security Pattern for the Transport Layer Security (TLS) Protocol
Vivek KumarKumar, Vivek Rice UniversityUnited States Work-stealing without the baggage
Viktor KunčakKunčak, Viktor EPFL, Switzerland Committee Member in External Reviewers within the SPLASH OOPSLA Research Papers-track
Ilham W. KurniaKurnia, Ilham W. A relational trace logic for simple hierarchical actor-based component systems
Christian KästnerKästner, Christian Carnegie Mellon University, USAGermany Reifying and optimizing collection queries for modularity A variability-aware module system
Christian KöppeKöppe, Christian HAN University of Applied SciencesNetherlands A Pattern Language for Teaching in a Foreign Language - Part 2 Learning Patterns for Group Assignments - Part 1
L Hannah Quay-de la Valleela Vallee, Hannah Quay-de Progressive types
Philip LangerLanger, Philip Towards xMOF: executable DSMLs based on fUML Committee Member in Program committee within the DSM-track
Michele LanzaLanza, Michele Università della Svizzera italiana (USI)Switzerland Tracking human-centric controlled experiments with biscuit
Maria M. Larrondo-PetrieLarrondo-Petrie, Maria M. Cloud Service Model Patterns
James LarusLarus, James EPFL Committee Member in Program Committee within the RACES-track
Thomas LaTozaLaToza, Thomas George Mason UniversityUnited States Committee Member in Program Committee within the PLATEAU-track
Julia LawallLawall, Julia Inria/LIP6 Committee Member in Program Committee for SPLASH 2012 Committee Member in Program Committee within the SPLASH OOPSLA Research Papers-track
Doug LeaLea, Doug State University of New York (SUNY) OswegoUnited States Committee Member in Posters Committee within the SPLASH Posters-track Committee Member in ACM SRC Committee within the SPLASH ACM Student Research Competition-track
Gary T. LeavensLeavens, Gary T. University of Central FloridaUnited States Chair in Program Committee within the SPLASH Keynotes-track Chair in Program Committee within the SPLASH Panels-track
Hongki LeeLee, Hongki SAFE: Formal Specification and Implementation of a Scalable Analysis Framework for ECMAScript
K. Rustan M. LeinoLeino, K. Rustan M. AmazonUnited States Program extrapolation with jennisys Staged program development
Roxanne LeitãoLeitão, Roxanne Target and Spacing Sizes for Smartphone User Interfaces for Older Aldults: Design Patterns Based on An Evaluation With Users
Ruth LennonLennon, Ruth Software tools research: a matter of scale and scope - or commoditization?
Ruth G. LennonLennon, Ruth G. Bring your own device (BYOD) with Cloud 4 education
Marko LeppänenLeppänen, Marko Patterns for distributed machine control system data sharing
Benjamin S. LernerLerner, Benjamin S. A tested semantics for getters, setters, and eval in JavaScript Detecting conflicts among declarative UI extensions
Ondřej LhotákLhoták, Ondřej University of Waterloo, Canada Predicate abstraction of Java programs with collections Committee Member in External Reviewers within the SPLASH OOPSLA Research Papers-track
Paley LiLi, Paley Northeastern UniversityNew Zealand Sheep Cloning with Ownership Types
Bo LinLin, Bo Stony Brook UniversityUnited States From clarity to efficiency for distributed algorithms
Yi LinLin, Yi Australian National University Bypassing portability pitfalls of high-level low-level programming
Mikko H. LipastiLipasti, Mikko H. Edge chasing delayed consistency: pushing the limits of weak memory models
Michael LippautzLippautz, Michael Google How FIFO is your concurrent FIFO queue?
Shih-Hsi LiuLiu, Shih-Hsi California State University Fresno Committee Member in Program committee within the DSM-track
Xuanzhe LiuLiu, Xuanzhe Refactoring android Java code for on-demand computation offloading Migration and execution of JavaScript applications between mobile devices and cloud
Y. Annie LiuLiu, Y. Annie Stony Brook University, USA From clarity to efficiency for distributed algorithms
Yan LiuLiu, Yan Domain-specific languages for composing signature discovery workflows
Yu David LiuLiu, Yu David State University of New York (SUNY) BinghamtonUnited States Energy types
Francesco LogozzoLogozzo, Francesco FacebookUnited States A semantic integrated development environment An abstract interpretation framework for refactoring with application to extract methods with contracts Modular and verified automatic program repair
Alex LohLoh, Alex Managed data: modular strategies for data abstraction
Andre LokerLoker, Andre A unified model of aspect-instantiation policies
Crista LopesLopes, Crista Committee Member in Program Committee for SPLASH 2012 Committee Member in Program Committee within the SPLASH OOPSLA Research Papers-track Committee Member in Program Committee within the SPLASH Doctoral Symposium-track
Ricardo LopezLopez, Ricardo Trade-offs in software design and delivery
David H. LorenzLorenz, David H. Open University and Technion IIT Committee Member in External Reviewers within the SPLASH OOPSLA Research Papers-track
Panos LouridasLouridas, Panos Comparative language fuzz testing: programming languages vs. fat fingers
Charles LucasLucas, Charles Detecting problematic message sequences and frequencies in distributed systems
Brandon LuciaLucia, Brandon Carnegie Mellon UniversityUnited States IFRit: interference-free regions for dynamic data-race detection
David LugatoLugato, David CEA, France Domain specific modeling for operations research simulation in a large industrial context
Andrew LumsdaineLumsdaine, Andrew Cognitive architectures: a way forward for the psychology of programming
M Jens MacheMache, Jens Lewis & Clark College Committee Member in Program Committee within the DCP-track
Scott MacVicarMacVicar, Scott The HipHop compiler for PHP
Pascal MaerkiMaerki, Pascal Ownership, filters and crossing handlers: flexible ownership in dynamic languages
Stephen MagillMagill, Stephen Automating object transformations for dynamic software updating
Mark MahoneyMahoney, Mark The storyteller version control system: tackling version control, code comments, and team learning
Dennis ManclMancl, Dennis MSWX Software ExpertsUnited States Trade-offs in software design and delivery Committee Member in Program Committee within the DCP-track Committee Member in Wavefront Experience Committee within the SPLASH Wavefront Experience-track Committee Member in Workshop Committee within the xDD-track
Roman ManevichManevich, Roman Ben-Gurion University of the NegevIsrael Elixir: a system for synthesizing concurrent graph programs
Senthil ManiMani, Senthil Is text search an effective approach for fault localization: a practitioners perspective
Lukas MarekMarek, Lukas The JVM is not observable enough (and what to do about it)
Darko MarinovMarinov, Darko University of Illinois at Urbana-ChampaignUnited States Committee Member in Program Committee for SPLASH 2012 Committee Member in Program Committee within the SPLASH OOPSLA Research Papers-track
Shane MarkstrumMarkstrum, Shane Google Co-chair in Organizers within the PLATEAU-track
Eduardo MarquesMarques, Eduardo University of Lisbon, PortugalPortugal The RPG DSL: a case study of language engineering using MDD for generating RPG games for mobile phones
Stefan MarrMarr, Stefan University of KentUnited Kingdom Parallel gesture recognition with soft real-time guarantees Committee Member in Program Committee within the RACES-track Committee Member in Assistants within the RACES-track
Assaf MarronMarron, Assaf A decentralized approach for programming interactive applications with JavaScript and blockly Committee Member in Organizers within the AGERE-track Committee Member in Program Committee within the AGERE-track
Dave MasonMason, Dave Flexible structures for end-user programming
Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of TechnologyJapan Committee Member in Program Committee for SPLASH 2012 A Type System for Dynamic Layer Composition
Bernd MathiskeMathiske, Bernd Adaptive data parallelism for internet clients on heterogeneous platforms
Tim MattsonMattson, Tim Intel, USA Committee Member in Program Committee within the RACES-track
Arne MausMaus, Arne University of OsloNorway Teaching predicates and invariants on shared data structures in concurrent programming
Clemens MayerMayer, Clemens An empirical study of the influence of static type systems on the usability of undocumented software
Tanja MayerhoferMayerhofer, Tanja TU WienAustria Towards xMOF: executable DSMLs based on fUML
Zach McCormickMcCormick, Zach Data Synchronization Patterns in Mobile Application Design
Brian McDanielMcDaniel, Brian The CloudBrowser web application framework
Sean McDirmidMcDirmid, Sean IndependentUnited States Escaping the maze of twisty classes Committee Member in Program Committee within the SPLASH Onward! Papers-track
Andrew McGregorMcGregor, Andrew AutoMan: a platform for integrating human-based and digital computation
James McGuireMcGuire, James A methodology for managing database and code changes in a regression testing framework
David McIntireMcIntire, David Effectiveness of a Pattern for Detecting Intellectual Property Theft Departing Insiders Multidimensional Pattern Languages
David McKeanMcKean, David Heterogeneous multi-core systems: UML profiles vs. DSM approaches
Paul McKenneyMcKenney, Paul IBMUnited States Committee Member in Program Committee within the RACES-track
Paul E. McKenneyMcKenney, Paul E. Beyond expert-only parallel programming?
Kathryn S McKinleyMcKinley, Kathryn S Google Automating object transformations for dynamic software updating
Fadi MeawadMeawad, Fadi Eval begone!: semi-automated removal of eval from javascript programs
Hong MeiMei, Hong Refactoring android Java code for on-demand computation offloading
Pottayil Harisanker MenonMenon, Pottayil Harisanker A Practical, Typed Variant Object Model
Leo MeyerovichMeyerovich, Leo Graphistry How not to survey developers and repositories: experiences analyzing language adoption Socio-PLT: principles for programming language adoption
Matthew MightMight, Matthew University of Alabama at Birmingham \| Harvard Medical SchoolUnited States Committee Member in Program Committee for SPLASH 2012 Committee Member in Program Committee within the SPLASH OOPSLA Research Papers-track
Ana MilanovaMilanova, Ana Rensselaer Polytechnic InstituteUnited States Dataflow and Type-based Formulations for Reference Immutability Inferring AJ Types for Concurrent Libraries Reim & ReImInfer: checking and inference of reference immutability and method purity
Aleksandar MilicevicMilicevic, Aleksandar Program extrapolation with jennisys
Mark MillerMiller, Mark Google Inc.United States Committee Member in Program Committee within the AGERE-track Committee Member in Program Committee within the DLS-track Committee Member in Program Committee within the SPLASH Onward! Papers-track
Todd MillsteinMillstein, Todd University of California, Los Angeles Committee Member in Program Committee within the DLS-track
Sasa MisailovicMisailovic, Sasa University of Illinois at Urbana-Champaign, USA Dancing with uncertainty Bolt: on-demand infinite loop escape in unmodified binaries
Alon MishneMishne, Alon Typestate-based semantic code search over partial programs
Matthew MoleMole, Matthew A black-box approach to understanding concurrency in DaCapo
Pedro J. MolinaMolina, Pedro J. Committee Member in Program committee within the DSM-track
Miguel MonteiroMonteiro, Miguel Patterns for Evaluating Usability of Domain-Specific Languages
Pedro MonteiroMonteiro, Pedro Patterns for Evaluating Usability of Domain-Specific Languages Documenting Patterns with Business Process Models
Andrew MooreMoore, Andrew Effectiveness of a Pattern for Detecting Intellectual Property Theft Departing Insiders
Andrew P. MooreMoore, Andrew P. Multidimensional Pattern Languages
Adriaan MoorsMoors, Adriaan Lightbend Dependent Object Types
Floréal MorandatMorandat, Floréal Eval begone!: semi-automated removal of eval from javascript programs
Greg MorrisettMorrisett, Greg Cornell University Committee Member in External Reviewers within the SPLASH OOPSLA Research Papers-track
Debdoot MukherjeeMukherjee, Debdoot Is text search an effective approach for fault localization: a practitioners perspective
Stefan K. MullerMuller, Stefan K. Towards a practical secure concurrent language
David MundieMundie, David Effectiveness of a Pattern for Detecting Intellectual Property Theft Departing Insiders Multidimensional Pattern Languages
David S. MunroMunro, David S. S-RVM: a secure design for a high-performance java virtual machine
Emerson Murphy-HillMurphy-Hill, Emerson North Carolina State UniversityUnited States Committee Member in Program Committee for SPLASH 2012 Committee Member in Posters Committee within the SPLASH Posters-track Committee Member in Program Committee within the SPLASH OOPSLA Research Papers-track Committee Member in ACM SRC Committee within the SPLASH ACM Student Research Competition-track Co-chair in Organizers within the PLATEAU-track Committee Member in Wavefront Committee within the SPLASH Wavefront Papers-track
Hidehiko MusuharaMusuhara, Hidehiko Committee Member in Program Committee within the SPLASH OOPSLA Research Papers-track
Madanlal MusuvathiMusuvathi, Madanlal Committee Member in External Reviewers within the SPLASH OOPSLA Research Papers-track
Kıvanç MuşluMuşlu, Kıvanç Microsoft Speculative analysis of integrated development environment recommendations
Alan MycroftMycroft, Alan University of Cambridge Programming language evolution via source code query languages
Andrew MyersMyers, Andrew Cornell UniversityUnited States Committee Member in External Reviewers within the SPLASH OOPSLA Research Papers-track
Hanspeter MössenböckMössenböck, Hanspeter JKU Linz, AustriaAustria Compilation queuing and graph caching for dynamic compilers
Peter MüllerMüller, Peter ETH ZurichSwitzerland Selective Ownership: Combining Object and Type Hierarchies for Flexible Sharing Committee Member in Program Committee within the FOOL-track Committee Member in External Reviewers within the SPLASH OOPSLA Research Papers-track
N Priya NagpurkarNagpurkar, Priya IBM Research, USAUnited States On the benefits and pitfalls of extending a statically typed language JIT compiler for dynamic scripting languages
Ravi NairNair, Ravi IBM Programming with relaxed synchronization
Sumire NakamuraNakamura, Sumire Change Making Patterns - A Pattern Language for Fostering Social Entrepreneurship
Toshio NakataniNakatani, Toshio IBM Research, Tokyo Adaptive multi-level compilation in a trace-based Java JIT compiler On the benefits and pitfalls of extending a statically typed language JIT compiler for dynamic scripting languages
Mangala Gowri NandaNanda, Mangala Gowri Committee Member in Program Committee for SPLASH 2012 Committee Member in Program Committee within the SPLASH OOPSLA Research Papers-track
Satish NarayanasamyNarayanasamy, Satish University of MichiganUnited States Maple: a coverage-driven testing tool for multithreaded programs
Nanjangud C. NarendraNarendra, Nanjangud C. Automated trendline generation for accurate software effort estimation
Hoan NguyenNguyen, Hoan Iowa State University Analyzing ultra-large-scale code corpus with boa Boa: analyzing ultra-large-scale code corpus
Tien N. NguyenNguyen, Tien N. University of Texas at DallasUnited States Analyzing ultra-large-scale code corpus with boa Boa: analyzing ultra-large-scale code corpus
Oscar NierstraszNierstrasz, Oscar University of Bern, SwitzerlandSwitzerland Ownership, filters and crossing handlers: flexible ownership in dynamic languages
Mariëlle NijstenNijsten, Mariëlle A Pattern Language for Teaching in a Foreign Language - Part 2
Nima NikzadNikzad, Nima Citisense: mobile air quality sensing for individuals and communities
Hiroki NishinoNishino, Hiroki Mostly-strongly-timed programming Developing a new computer music programming language in the 'research through design' context
James NobleNoble, James Victoria University of WellingtonNew Zealand Committee Member in Program Committee for SPLASH 2012 Patterns as objects in grace Sheep Cloning with Ownership Types Graceful Patterns for Patterns in Grace Grace: the absence of (inessential) difficulty Notes on Post-Post-Modern-Modern Programming Steering Committee Member in Steering Committee within the FOOL-track Committee Member in Program Committee within the DLS-track Committee Member in Program Committee within the SPLASH OOPSLA Research Papers-track
David NotkinNotkin, David Speculative analysis of integrated development environment recommendations
Nate NystromNystrom, Nate Universita della Svizzera italiana Switzerland Committee Member in Demonstrations Committee within the SPLASH Demos-track
Nathaniel NystromNystrom, Nathaniel Constrained kinds
Kurt NørmarkNørmark, Kurt Object-oriented programming with gradual abstraction
O Portia O'CallaghanO'Callaghan, Portia MathWorks Committee Member in Program Committee within the PLATEAU-track
Christopher O'ConnorO'Connor, Christopher Committee Member in Wavefront Committee within the SPLASH Wavefront Papers-track
Tim O'ConnorO'Connor, Tim Committee Member in Wavefront Committee within the SPLASH Wavefront Papers-track
Ernst OberortnerOberortner, Ernst Designing the Architecture of Clotho 3.0 - An Interactive Pattern Story
Martin OderskyOdersky, Martin EPFL, SwitzerlandSwitzerland Dependent Object Types
Takeshi OgasawaraOgasawara, Takeshi On the benefits and pitfalls of extending a statically typed language JIT compiler for dynamic scripting languages
Fernando OliveroOlivero, Fernando Tracking human-centric controlled experiments with biscuit
Cyrus OmarOmar, Cyrus University of ChicagoUnited States Active type-checking and translation
C.-H. Luke OngOng, C.-H. Luke University of OxfordUnited Kingdom Soter: an automatic safety verifier for erlang
Bill OpdykeOpdyke, Bill JP Morgan Chase & Co Committee Member in Workshops Committee within the SPLASH Workshops-track Committee Member in Workshop Committee within the xDD-track
William OpdykeOpdyke, William Trade-offs in software design and delivery
Max OrhaiOrhai, Max Approximate parallel sorting on a spatial computer
Alessandro OrsoOrso, Alessandro Georgia TechUnited States Committee Member in External Reviewers within the SPLASH OOPSLA Research Papers-track
Harold OssherOssher, Harold IBM Thomas J. Watson Research CenterUnited States Committee Member in Program Committee within the FREECO-track
Klaus OstermannOstermann, Klaus University of TuebingenGermany Committee Member in Program Committee for SPLASH 2012 Reifying and optimizing collection queries for modularity A variability-aware module system Committee Member in Program Committee within the SPLASH OOPSLA Research Papers-track Committee Member in Program Committee within the SPLASH Onward! Papers-track
Guilherme OttoniOttoni, Guilherme Facebook The HipHop compiler for PHP
Jeffrey OverbeyOverbey, Jeffrey Auburn UniversityUnited States OpenRefactory/C: an infrastructure for developing program transformations for C programs
Olaf OweOwe, Olaf University of Oslo Committee Member in Program Committee within the AGERE-track
P Munindar P. SinghP. Singh, Munindar North Carolina State University Committee Member in Program Committee within the AGERE-track
Zachary PalmerPalmer, Zachary Swarthmore CollegeUnited States A Practical, Typed Variant Object Model
Jens PalsbergPalsberg, Jens University of California, Los AngelesUnited States Committee Member in Program Committee within the AGERE-track Committee Member in External Reviewers within the SPLASH OOPSLA Research Papers-track
Marc PalyartPalyart, Marc Domain specific modeling for operations research simulation in a large industrial context
Santosh PandePande, Santosh Safe compiler-driven transaction checkpointing and recovery
Ravi PandyaPandya, Ravi Microsoft Committee Member in Program Committee within the AGERE-track
Matthew J. ParkinsonParkinson, Matthew J. Uniqueness and Reference Immutability for Safe Parallelism
Chris ParninParnin, Chris NCSUUnited States Committee Member in Program Committee within the PLATEAU-track
Andrew ParoskiParoski, Andrew The HipHop compiler for PHP
Jared ParsonsParsons, Jared Uniqueness and Reference Immutability for Safe Parallelism
Pavel ParízekParízek, Pavel Predicate abstraction of Java programs with collections
Tanumoy PatiPati, Tanumoy Proactive modeling: auto-generating models from their semantics and constraints
Hannes PayerPayer, Hannes Google How FIFO is your concurrent FIFO queue? Committee Member in Program Committee within the RACES-track
David J. PearcePearce, David J. Patterns as objects in grace
Cristiano PereiraPereira, Cristiano Maple: a coverage-driven testing tool for multithreaded programs
Igor PeshanskyPeshansky, Igor GoogleUnited States Constrained kinds Chair in Demonstrations Committee within the SPLASH Demos-track
Benjamin PickPick, Benjamin A Serious Game to HCI Design Patterns Discovery and Dissemination: The PatternCity Concept
Alessandro PignottiPignotti, Alessandro Adaptive data parallelism for internet clients on heterogeneous platforms
Rob PikePike, Rob Go at Google
Keshav PingaliPingali, Keshav University of Texas at Austin, USA Elixir: a system for synthesizing concurrent graph programs
Ian PiumartaPiumarta, Ian Viewpoints Research Institute Committee Member in Program Committee within the FREECO-track Committee Member in Workshop organizers within the FREECO-track
Filip PizloPizlo, Filip AppleUnited States Committee Member in Demonstrations Committee within the SPLASH Demos-track
Georgios PlataniotisPlataniotis, Georgios EA anamnesis: towards an approach for enterprise architecture rationalization
Arnd Poetzsch-HeffterPoetzsch-Heffter, Arnd Technischen Universität Kaiserslautern A relational trace logic for simple hierarchical actor-based component systems Committee Member in Program Committee within the AGERE-track
Daniela PohlPohl, Daniela An Approach to Evolutionary Design Pattern Engineering
Gilles PokamPokam, Gilles Intel Corporation Maple: a coverage-driven testing tool for multithreaded programs
Joe Gibbs PolitzPolitz, Joe Gibbs UC San Diego A tested semantics for getters, setters, and eval in JavaScript
Joe Gibbs PolitzPolitz, Joe Gibbs University of California, San DiegoUnited States Semantics and Types for Objects with First-Class Member Names Progressive types
Justin PombrioPombrio, Justin Brown University, USAUnited States A tested semantics for getters, setters, and eval in JavaScript
Karthikeyan PonnalaguPonnalagu, Karthikeyan Automated trendline generation for accurate software effort estimation
Dan PrenerPrener, Dan IBM Committee Member in Program Committee within the RACES-track
Daniel PrenerPrener, Daniel Programming with relaxed synchronization
Christopher PreschernPreschern, Christopher Catalog of Security Tactics linked to Common Criteria Requirements
Christian ProbstProbst, Christian Technical University of Denmark Committee Member in Program Committee within the VMIL-track
Iain ProctorProctor, Iain The HipHop compiler for PHP
Henderik A. ProperProper, Henderik A. EA anamnesis: towards an approach for enterprise architecture rationalization
Dimitrios PrountzosPrountzos, Dimitrios The University of Texas at Austin, Texas, USA Elixir: a system for synthesizing concurrent graph programs
Nat PrycePryce, Nat Committee Member in Program Committee within the SPLASH Onward! Papers-track
Corina S. PăsăreanuPăsăreanu, Corina S. NASA Ames Research Center Committee Member in External Reviewers within the SPLASH OOPSLA Research Papers-track
Q Shaz QadeerQadeer, Shaz Microsoft Research GPUVerify: a verifier for GPU kernels
Jean QuilbeufQuilbeuf, Jean INRIA Optimized distributed implementation of multiparty interactions with observation
R Ariel RabkinRabkin, Ariel Cloudera How not to survey developers and repositories: experiences analyzing language adoption
Ariel S. RabkinRabkin, Ariel S. Socio-PLT: principles for programming language adoption
Daniel RahonRahon, Daniel Migration to model driven engineering in the development process of distributed scientific application software
Hridesh RajanRajan, Hridesh Iowa State UniversityUnited States Analyzing ultra-large-scale code corpus with boa Boa: analyzing ultra-large-scale code corpus Committee Member in External Reviewers within the SPLASH OOPSLA Research Papers-track Committee Member in Organizers within the VMIL-track Chair in Program Committee within the SPLASH Doctoral Symposium-track
Bina RamamurthyRamamurthy, Bina University at Buffalo, SUNY, USA Committee Member in Program Committee within the DCP-track
Daniel RatiuRatiu, Daniel mbeddr: an extensible C-based programming language and IDE for embedded systems
Ramya RavichandarRavichandar, Ramya Software tools research: a matter of scale and scope - or commoditization?
Derek RaysideRayside, Derek University of Waterloo Committee Member in Program Committee within the SPLASH Onward! Papers-track
Trygve ReenskaugReenskaug, Trygve Co-Host in Hosts within the DCI-track
René ReinersReiners, René An Approach to Evolutionary Design Pattern Engineering
Thierry RenauxRenaux, Thierry Vrije Universiteit Brussel Parallel gesture recognition with soft real-time guarantees Parallel gesture recognition with soft real-time guarantees
Tillmann RendelRendel, Tillmann University of Tübingen, GermanyGermany Reifying and optimizing collection queries for modularity
Lakshmi RenganarayanaRenganarayana, Lakshmi IBM Committee Member in Program Committee within the RACES-track
Lakshminarayanan RenganarayanaRenganarayana, Lakshminarayanan Programming with relaxed synchronization
Juan RezaReza, Juan Pattern Language - Coherent Generational Design
Jorge RibeiroRibeiro, Jorge Web Design Pattern for Mobile Devices
Alessandro RicciRicci, Alessandro University of Bologna, Italy Programming abstractions for integrating autonomous and reactive behaviors: an agent-oriented approach From actors to agent-oriented programming abstractions in simpAL Committee Member in Organizers within the AGERE-track Committee Member in Program Committee within the AGERE-track
Gregor RichardsRichards, Gregor University of WaterlooCanada Eval begone!: semi-automated removal of eval from javascript programs
M. Birna van RiemsdijkRiemsdijk, M. Birna van Empirical software engineering for agent programming
Giovanni RimassaRimassa, Giovanni Whitestein Technologies Committee Member in Program Committee within the AGERE-track
Martin C. RinardRinard, Martin C. Dancing with uncertainty
Martin C. RinardRinard, Martin C. Massachusetts Institute of TechnologyUnited States Bolt: on-demand infinite loop escape in unmodified binaries Committee Member in Organizers within the RACES-track
Romain RobbesRobbes, Romain Free University of Bozen-BolzanoItaly Tracking human-centric controlled experiments with biscuit An empirical study of the influence of static type systems on the usability of undocumented software
Rick RodinRodin, Rick Meta Patterns for Developing a Minimalist Training Manual
Ian RogersRogers, Ian Google Committee Member in Program Committee within the VMIL-track
Jeffery von RonneRonne, Jeffery von Leveraging actors for privacy compliance
Louis RoseRose, Louis University of York Committee Member in Program committee within the DSM-track
Michael K. RosenbergRosenberg, Michael K. A methodology for managing database and code changes in a regression testing framework
David RosenblumRosenblum, David Detecting problematic message sequences and frequencies in distributed systems
Matti RossiRossi, Matti Aalto University School of Business Organizing Committee in Organizing Committee within the DSM-track
Alexander RozenshteynRozenshteyn, Alexander A Practical, Typed Variant Object Model
Grigore RoşuRoşu, Grigore University of Illinois at Urbana-ChampaignUnited States Checking reachability using matching logic
Harald RuessRuess, Harald Distributed priority synthesis using knowledge
Bernhard RumpeRumpe, Bernhard RWTH Aachen UniversityGermany Committee Member in Program committee within the DSM-track
Neha RungtaRungta, Neha Amazon Web ServicesUnited States Committee Member in External Reviewers within the SPLASH OOPSLA Research Papers-track
Sukyoung RyuRyu, Sukyoung KAISTKorea, South SAFE: Formal Specification and Implementation of a Scalable Analysis Framework for ECMAScript Formal specification of a JavaScript module system Committee Member in Program Committee within the FOOL-track
S Uday S. ReddyS. Reddy, Uday University of Birmingham, UK Committee Member in Program Committee within the FOOL-track
Caitlin SadowskiSadowski, Caitlin Committee Member in Program Committee within the SPLASH Onward! Papers-track Co-chair in Organizers within the PLATEAU-track
Mooly SagivSagiv, Mooly Tel Aviv University Understanding the behavior of database operations under program control
Shingo SakaiSakai, Shingo Generative Beauty Patterns - A Pattern Language for Living Lively and Beautiful
Roberto SalamaSalama, Roberto Millennium Partners A methodology for managing database and code changes in a regression testing framework Committee Member in Wavefront Experience Committee within the SPLASH Wavefront Experience-track
Andrea SantiSanti, Andrea Programming abstractions for integrating autonomous and reactive behaviors: an agent-oriented approach From actors to agent-oriented programming abstractions in simpAL
Andre SantosSantos, Andre ESEML: empirical software engineering modeling language
Vijay SaraswatSaraswat, Vijay Cognitive Computing, IBM TJ Watson Research Center Constrained kinds
Vivek SarkarSarkar, Vivek Rice University, USAUnited States Integrating task parallelism with actors Committee Member in External Reviewers within the SPLASH OOPSLA Research Papers-track
Jennfer B. SartorSartor, Jennfer B. Exploring multi-threaded Java application performance on multicore hardware
Keishi SaruwatariSaruwatari, Keishi Generative Beauty Patterns - A Pattern Language for Living Lively and Beautiful
Toby SchachmanSchachman, Toby HARC/ Y Combinator Research Alternative programming interfaces for alternative programmers
Bernhard SchaetzSchaetz, Bernhard mbeddr: an extensible C-based programming language and IDE for embedded systems
Todd W. SchillerSchiller, Todd W. Reducing the barriers to writing verified specifications
Drew SchleckSchleck, Drew UC Davis Reusing debugging knowledge via trace-based bug search
Douglas C. SchmidtSchmidt, Douglas C. Vanderbilt University Data Synchronization Patterns in Mobile Application Design
David SchneiderSchneider, David The efficient handling of guards in the design of RPython's tracing JIT
Sébastien SchneiderSchneider, Sébastien Migration to model driven engineering in the development process of distributed scientific application software
Aaron SchramSchram, Aaron MySQL to NoSQL: data modeling challenges in supporting scalability
Ulrik Pagh SchultzSchultz, Ulrik Pagh University of Southern DenmarkDenmark Programming language abstractions for self-reconfigurable robots Chair in Workshops Committee within the SPLASH Workshops-track
Dale SchumacherSchumacher, Dale Actor idioms
Todd SedanoSedano, Todd Committee Member in Wavefront Committee within the SPLASH Wavefront Papers-track
Ahmed SeffahSeffah, Ahmed A Serious Game to HCI Design Patterns Discovery and Dissemination: The PatternCity Concept
Ed SeidewitzSeidewitz, Ed nMeta LLC Committee Member in Wavefront Committee within the SPLASH Wavefront Papers-track
Koushik SenSen, Koushik University of California, BerkeleyUnited States Committee Member in External Reviewers within the SPLASH OOPSLA Research Papers-track
Emgin Ezgi SenemSenem, Emgin Ezgi Energy types
Bikram SenguptaSengupta, Bikram Talk versus work: characteristics of developer collaboration on the jazz platform
Marco ServettoServetto, Marco Victoria University of Wellington Committee Member in Program Committee within the FOOL-track
Andreas SeweSewe, Andreas Codetrails The ALIA4J approach to efficient language implementation
Chung-chieh ShanShan, Chung-chieh Indiana University, USA Committee Member in Program Committee within the SPLASH Onward! Papers-track
Xipeng ShenShen, Xipeng North Carolina State UniversityUnited States Committee Member in Program Committee for SPLASH 2012 Exploiting inter-sequence correlations for program behavior prediction Committee Member in Program Committee within the SPLASH OOPSLA Research Papers-track
Eri ShimomukaiShimomukai, Eri Change Making Patterns - A Pattern Language for Fostering Social Entrepreneurship
Sharon ShohamShoham, Sharon Tel Aviv universityIsrael Typestate-based semantic code search over partial programs
Tatiana ShpeismanShpeisman, Tatiana GoogleUnited States Teaching parallelism with river trail
Keng SiauSiau, Keng Missouri University of Science and Technology Committee Member in Program committee within the DSM-track
Junaid Haroon SiddiquiSiddiqui, Junaid Haroon Scaling symbolic execution using ranged analysis
Stelios Sidiroglou-DouskosSidiroglou-Douskos, Stelios MIT CSAIL Dancing with uncertainty
Jeremy G. SiekSiek, Jeremy G. Indiana UniversityUnited States Organizer in Organizers within the FOOL-track Steering Committee Chair in Steering Committee within the FOOL-track
Joseph SifakisSifakis, Joseph Optimized distributed implementation of multiparty interactions with observation
Paula SilvaSilva, Paula Target and Spacing Sizes for Smartphone User Interfaces for Older Aldults: Design Patterns Based on An Evaluation With Users
Raul SilveraSilvera, Raul Exploiting inter-sequence correlations for program behavior prediction
Doug SimonSimon, Doug Oracle LabsSwitzerland Self-optimizing AST interpreters
Barbara SimonsSimons, Barbara Internet voting: an idea whose time has not come
Renuka R SindhgattaSindhgatta, Renuka R Talk versus work: characteristics of developer collaboration on the jazz platform Committee Member in Wavefront Experience Committee within the SPLASH Wavefront Experience-track
Jeremy SingerSinger, Jeremy University of Glasgow Committee Member in Program Committee within the VMIL-track
Vibha Singhal SinhaSinha, Vibha Singhal Is text search an effective approach for fault localization: a practitioners perspective
Marjan SirjaniSirjani, Marjan Timed-rebeca schedulability and deadlock-freedom analysis using floating-time transition system Committee Member in Program Committee within the AGERE-track
Edward K. SmithSmith, Edward K. Kitsune: efficient, general-purpose dynamic software updating for C
Scott F. SmithSmith, Scott F. The Johns Hopkins UniversityUnited States A Practical, Typed Variant Object Model Committee Member in Program Committee within the FOOL-track
Gustavo SoaresSoares, Gustavo MicrosoftUnited States Automated behavioral testing of refactoring engines Automated behavioral testing of refactoring engines
Sergio SoaresSoares, Sergio ESEML: empirical software engineering modeling language
Yuriy SolodkyySolodkyy, Yuriy Open and efficient type switch for C++
Jungmin SonSon, Jungmin Interoperability Marshaller/Unmarshaller
Youngsu SonSon, Youngsu Interoperability Marshaller/Unmarshaller
Diomidis SpinellisSpinellis, Diomidis Athens University of Economics and BusinessGreece Comparative language fuzz testing: programming languages vs. fat fingers Software tools research: a matter of scale and scope - or commoditization?
Jonathan SprinkleSprinkle, Jonathan University of ArizonaUnited States Heterogeneous multi-core systems: UML profiles vs. DSM approaches Organizing Committee in Organizing Committee within the DSM-track Committee Member in Workshops Committee within the SPLASH Workshops-track
Jaswanth SreeramSreeram, Jaswanth TwitterUnited States Teaching parallelism with river trail Safe compiler-driven transaction checkpointing and recovery
Vijayalakshmi SrinivasanSrinivasan, Vijayalakshmi Programming with relaxed synchronization
Witawas Srisa-anSrisa-an, Witawas University of Nebraska-LincolnUnited States Committee Member in Program Committee for SPLASH 2012 Committee Member in Program Committee within the SPLASH OOPSLA Research Papers-track Committee Member in Program Committee within the VMIL-track
Vincent St-AmourSt-Amour, Vincent Northwestern University, USAUnited States Optimization coaching: optimizers learn to communicate with programmers
Lukas StadlerStadler, Lukas Oracle Labs, AustriaAustria Compilation queuing and graph caching for dynamic compilers Self-optimizing AST interpreters
Julie SteeleSteele, Julie Chair in Program Committee within the SPLASH Onward! Essays-track
Andrei StefanescuStefanescu, Andrei University of Illinois at Urbana-Champaign Checking reachability using matching logic
Andreas StefikStefik, Andreas An empirical study of the influence of static type systems on the usability of undocumented software
Bastian SteinertSteinert, Bastian Hasso Plattner Institute CoExist: overcoming aversion to change The VIVIDE programming environment: connecting run-time information with programmers' system knowledge
Scott D. StollerStoller, Scott D. From clarity to efficiency for distributed algorithms
T. Stephen StricklandStrickland, T. Stephen Brown UniversityUnited States Gradual typing for first-class classes Chaperones and impersonators: run-time support for reasonable interposition
Bjarne StroustrupStroustrup, Bjarne Morgan StanleyDenmark Open and efficient type switch for C++
Zhendong SuSu, Zhendong University of California, DavisUnited States Liberating the programmer with prorogued programming Reusing debugging knowledge via trace-based bug search
Suriya SubramanianSubramanian, Suriya Automating object transformations for dynamic software updating
Giancarlo SucciSucci, Giancarlo Innopolis UniversityRussia The dark side of agile software development Software tools research: a matter of scale and scope - or commoditization?
Kohei SuenagaSuenaga, Kohei Graduate School of Informatics, Kyoto UniversityJapan Type-based safe resource deallocation for shared-memory concurrency
Kevin SullivanSullivan, Kevin Committee Member in Program Committee within the SPLASH Onward! Papers-track
T Marcel TaeumelTaeumel, Marcel Hasso Plattner InstituteGermany The VIVIDE programming environment: connecting run-time information with programmers' system knowledge
S Tucker TaftTaft, S Tucker ParaSail: Pointer-Free Path to Object-Oriented Parallel Programming
Asumu TakikawaTakikawa, Asumu Igalia, n.n. Gradual typing for first-class classes
Juan M. TamayoTamayo, Juan M. Understanding the behavior of database operations under program control
Ayano TamefusaTamefusa, Ayano Generative Beauty Patterns - A Pattern Language for Living Lively and Beautiful
Éric TanterTanter, Éric University of ChileChile Committee Member in Program Committee for SPLASH 2012 An empirical study of the influence of static type systems on the usability of undocumented software Committee Member in Program Committee within the SPLASH OOPSLA Research Papers-track
Olivier TardieuTardieu, Olivier IBM ResearchFrance Constrained kinds Work-stealing without the baggage
Steven te Brinkete Brinke, Steven University of Twente, The Netherlands A unified model of aspect-instantiation policies Committee Member in Program Committee within the FREECO-track Committee Member in Workshop organizers within the FREECO-track
Ralph ThiimThiim, Ralph Organizing and Building Software
Dave ThomasThomas, Dave Kx SystemsCanada Committee Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Workshops Committee within the SPLASH Workshops-track
Bent ThomsenThomsen, Bent Aalborg University, DenmarkDenmark Object-oriented programming with gradual abstraction
Lone Leth ThomsenThomsen, Lone Leth Object-oriented programming with gradual abstraction
Paul ThomsonThomson, Paul Imperial College London GPUVerify: a verifier for GPU kernels
Eli TilevichTilevich, Eli Virginia TechUnited States Chair in Posters Committee within the SPLASH Posters-track Chair in ACM SRC Committee within the SPLASH ACM Student Research Competition-track
Frank TipTip, Frank Northeastern UniversityUnited States Committee Member in Program Committee for SPLASH 2012 Committee Member in Program Committee within the SPLASH OOPSLA Research Papers-track
Massimo TisiTisi, Massimo Committee Member in Program committee within the DSM-track
Sam Tobin-HochstadtTobin-Hochstadt, Sam Indiana UniversityUnited States Higher-order symbolic execution via contracts Gradual typing for first-class classes Optimization coaching: optimizers learn to communicate with programmers Chaperones and impersonators: run-time support for reasonable interposition Committee Member in Program Committee within the DLS-track
Juha-Pekka TolvanenTolvanen, Juha-Pekka MetaCase, Finland Organizing Committee in Organizing Committee within the DSM-track
Mads TorgersenTorgersen, Mads Microsoft Committee Member in Program Committee within the SPLASH Onward! Papers-track
Emina TorlakTorlak, Emina University of WashingtonUnited States Committee Member in Program Committee for SPLASH 2012 Committee Member in Program Committee within the SPLASH OOPSLA Research Papers-track
Laurence TrattTratt, Laurence King's College LondonUnited Kingdom Committee Member in Program Committee within the DLS-track
Zdeněk TroníčekTroníček, Zdeněk JaDaRD: java data-race detector
Hung-Wei TsengTseng, Hung-Wei Software data-triggered threads
Stephen TuTu, Stephen The HipHop compiler for PHP
Dean Michael TullsenTullsen, Dean Michael Software data-triggered threads
Peter TurchiTurchi, Peter The Pleasures of Difficulty & Other Observations on (the) Design (of Fiction)
Tuure TuunanenTuunanen, Tuure University of Jyväskylä Committee Member in Program committee within the DSM-track
U Naoyasu UbayashiUbayashi, Naoyasu Kyushu UniversityJapan UML4COP: UML-based DSML for context-aware systems
Stéphane UbédaUbéda, Stéphane Messages with implicit destinations as mobile agents
David UngarUngar, David Apple, Inc,United States Does better throughput require worse latency? Committee Member in Posters Committee within the SPLASH Posters-track Committee Member in ACM SRC Committee within the SPLASH ACM Student Research Competition-track Committee Member in Organizers within the RACES-track Committee Member in Program Committee within the RACES-track
Raoul-Gabriel UrmaUrma, Raoul-Gabriel University of CambridgeUnited Kingdom Programming language evolution via source code query languages
V Jorge VallejosVallejos, Jorge Interruptible context-dependent executions: a fresh look at programming context-aware applications
Tom Van CutsemVan Cutsem, Tom Nokia Bell LabsBelgium Domains: safe sharing among actors How to achieve scalable fork/join on many-core architectures? Committee Member in Program Committee within the AGERE-track Committee Member in Program Committee within the DLS-track Committee Member in Program Committee within the SPLASH Onward! Papers-track Committee Member in Program Committee within the RACES-track
Tijs van der Stormvan der Storm, Tijs Centrum Wiskunde & Informatica / University of GroningenNetherlands Managed data: modular strategies for data abstraction
Arie van Deursenvan Deursen, Arie Delft University of TechnologyNetherlands Committee Member in Program Committee for SPLASH 2012 Committee Member in Program Committee within the SPLASH OOPSLA Research Papers-track
David Van HornVan Horn, David University of Maryland Higher-order symbolic execution via contracts
Birna van Riemsdijkvan Riemsdijk, Birna Deflt University of Technology Committee Member in Program Committee within the AGERE-track
Eric Van WykVan Wyk, Eric University of Minnesota, USAUnited States Committee Member in Workshops Committee within the SPLASH Workshops-track
Martin VechevVechev, Martin ETH Zürich Committee Member in Program Committee for SPLASH 2012 Committee Member in Program Committee within the SPLASH OOPSLA Research Papers-track Committee Member in Program Committee within the RACES-track
Vlad VerguVergu, Vlad TU Delft The spoofax name binding language
Nakul VermaVerma, Nakul Citisense: mobile air quality sensing for individuals and communities
Bret VictorVictor, Bret Committee Member in Program Committee within the SPLASH Onward! Papers-track
Eelco VisserVisser, Eelco Delft University of TechnologyNetherlands Software development environments on the web: a research agenda The spoofax name binding language Committee Member in External Reviewers within the SPLASH OOPSLA Research Papers-track
Willem VisserVisser, Willem Stellenbosch UniversitySouth Africa Committee Member in External Reviewers within the SPLASH OOPSLA Research Papers-track
Jan VitekVitek, Jan Northeastern UniversityUnited States A black-box approach to understanding concurrency in DaCapo Eval begone!: semi-automated removal of eval from javascript programs
Markus VoelterVoelter, Markus itemis mbeddr: an extensible C-based programming language and IDE for embedded systems
Richard G. VogelijVogelij, Richard G. Software development environments on the web: a research agenda
Filip VoráčekVoráček, Filip JaDaRD: java data-race detector
Markus VölterVölter, Markus itemis/independent Committee Member in Program committee within the DSM-track
W Guido H. WachsmuthWachsmuth, Guido H. The spoofax name binding language
Philip WadlerWadler, Philip University of Edinburgh, UKUnited Kingdom Committee Member in Program Committee within the PLATEAU-track
Robert WalkerWalker, Robert Committee Member in External Reviewers within the SPLASH OOPSLA Research Papers-track
Jonathan WalpoleWalpole, Jonathan A case for relativistic programming
Chao WangWang, Chao University of Southern CaliforniaUnited States Committee Member in Program Committee for SPLASH 2012
Chao WangWang, Chao University of Science and Technology of ChinaChina Committee Member in Program Committee within the SPLASH OOPSLA Research Papers-track
Peter WangWang, Peter Committee Member in Program Committee within the SPLASH Onward! Essays-track
Wei WangWang, Wei Google, Inc.China SCuV: a novel software clustering and visualization tool
Xudong WangWang, Xudong Migration and execution of JavaScript applications between mobile devices and cloud
Alessandro WarthWarth, Alessandro Y Combinator Research, USA Chair in Program Committee within the DLS-track
Jim WebberWebber, Jim Neo Technology Organizer in Organizers within the Neo4j-track
Mark WegmanWegman, Mark Does better throughput require worse latency?
Alan WegmannWegmann, Alan EPFL Committee Member in Program committee within the DSM-track
Shiyi WeiWei, Shiyi The University of Texas at Dallas Blended analysis for JavaScript: a practical framework to analyze dynamic features
Gera WeissWeiss, Gera Ben-Gurion University of the Negev A decentralized approach for programming interactive applications with JavaScript and blockly Committee Member in Program Committee within the AGERE-track
Adam WelcWelc, Adam Uber TechnologiesUnited States Adaptive data parallelism for internet clients on heterogeneous platforms
Erwann WernliWernli, Erwann Ownership, filters and crossing handlers: flexible ownership in dynamic languages
Guy WienerWiener, Guy Hewlett-Packard A decentralized approach for programming interactive applications with JavaScript and blockly Committee Member in Program Committee within the AGERE-track
Mark WilliamsWilliams, Mark The HipHop compiler for PHP
Debra Williams-CauleyWilliams-Cauley, Debra Committee Member in Program Committee within the SPLASH Onward! Essays-track
Christian WimmerWimmer, Christian Oracle Labs Self-optimizing AST interpreters Truffle: a self-optimizing runtime system Committee Member in Program Committee within the VMIL-track
Manuel WimmerWimmer, Manuel TU WienAustria Towards xMOF: executable DSMLs based on fUML
Rebecca Wirfs-BrockWirfs-Brock, Rebecca Wirfs-Brock Associates Patterns for Sustaining Muddy Architectures
Sooncheol WonWon, Sooncheol SAFE: Formal Specification and Implementation of a Scalable Analysis Framework for ECMAScript
Bo WuWu, Bo College of William and Mary Exploiting inter-sequence correlations for program behavior prediction
Peng WuWu, Peng Huawei America Research LabUnited States Adaptive multi-level compilation in a trace-based Java JIT compiler On the benefits and pitfalls of extending a statically typed language JIT compiler for dynamic scripting languages
Roel WuytsWuyts, Roel University of Leuven Committee Member in Program Committee within the FREECO-track
Adam WynneWynne, Adam Bosch Research and Technology Center Domain-specific languages for composing signature discovery workflows
Andreas WößWöß, Andreas Self-optimizing AST interpreters
Thomas WürthingerWürthinger, Thomas Compilation queuing and graph caching for dynamic compilers Self-optimizing AST interpreters Truffle: a self-optimizing runtime system
X Yanghua XiaoXiao, Yanghua SCuV: a novel software clustering and visualization tool
Qi XinXin, Qi Brown University, USA The HipHop compiler for PHP
Guoqing Harry XuXu, Guoqing Harry Finding reusable data structures
Harry XuXu, Harry University of California, Los AngelesUnited States Committee Member in Posters Committee within the SPLASH Posters-track Committee Member in ACM SRC Committee within the SPLASH ACM Student Research Competition-track
Xiaomin XuXu, Xiaomin SCuV: a novel software clustering and visualization tool
Y Eran YahavYahav, Eran TechnionIsrael Typestate-based semantic code search over partial programs Committee Member in External Reviewers within the SPLASH OOPSLA Research Papers-track
Rongjie YanYan, Rongjie Distributed priority synthesis using knowledge
Minghui YangYang, Minghui The HipHop compiler for PHP
Shunxiang YangYang, Shunxiang Refactoring android Java code for on-demand computation offloading
Yuval YaromYarom, Yuval S-RVM: a secure design for a high-performance java virtual machine
Joseph YoderYoder, Joseph The Refactory Inc., USA Patterns for Sustaining Muddy Architectures
Akinori YonezawaYonezawa, Akinori AICS-RIKENJapan Committee Member in Program Committee within the AGERE-track
Jie YuYu, Jie Maple: a coverage-driven testing tool for multithreaded programs
Z Shahid ZaheerZaheer, Shahid Patterns for Managing an Escalated Issue
Michel ZamZam, Michel The United States of a meta-model build with MyDraft: an agile model-driven cloud-based platform for data-oriented rich web applications
Piero ZappiZappi, Piero Citisense: mobile air quality sensing for individuals and communities
Mark ZarbZarb, Mark Developing a Coding Scheme for the Analysis of Expert Pair Programming Sessions Understanding communication within pair programming
Charles ZhangZhang, Charles LEAN: simplifying concurrency bug reproduction via replay-supported execution reduction Execution privatization for scheduler-oblivious concurrent programs Committee Member in External Reviewers within the SPLASH OOPSLA Research Papers-track
Wei ZhangZhang, Wei IBM Research Refactoring android Java code for on-demand computation offloading
Xiangyu ZhangZhang, Xiangyu Purdue University Committee Member in Program Committee for SPLASH 2012 White box sampling in uncertain data processing enabled by program analysis Committee Member in Program Committee within the SPLASH OOPSLA Research Papers-track
Ying ZhangZhang, Ying Refactoring android Java code for on-demand computation offloading Migration and execution of JavaScript applications between mobile devices and cloud
Haiping ZhaoZhao, Haiping The HipHop compiler for PHP
Zhijia ZhaoZhao, Zhijia UC Riverside Exploiting inter-sequence correlations for program behavior prediction
Yunhui ZhengZheng, Yunhui IBM Research White box sampling in uncertain data processing enabled by program analysis
Haitao Steve ZhuZhu, Haitao Steve Energy types
Celal ZiftciZiftci, Celal Citisense: mobile air quality sensing for individuals and communities
Thomas ZimmermannZimmermann, Thomas Microsoft ResearchUnited States Committee Member in Program Committee for SPLASH 2012 Committee Member in Program Committee within the SPLASH OOPSLA Research Papers-track
David ZubrowZubrow, David Effectiveness of a Pattern for Detecting Intellectual Property Theft Departing Insiders
Elena ZuccaZucca, Elena University of GenovaItaly Steering Committee Member in Steering Committee within the FOOL-track

SPLASH 2012 Contributors

Results (737)

Tracks

Workshops

Co-hosted Symposia