SPLASH 2015 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (1001)

A Aharon AbadiAbadi, Aharon IBM ResearchIsrael Chair in Organizing Committee for MobileDeLi 2015 Session Chair of Session II (part of MobileDeLi) Session Chair of Session I (part of MobileDeLi) Session Chair of Session IV (part of MobileDeLi) Session Chair of Session III (part of MobileDeLi) Opening Program Chair in Organizing Committee within the MobileDeLi-track
Ahmed Abdel MoamenAbdel Moamen, Ahmed University of Saskatchewan, Canada ModeSens: An Approach for Multi-modal Mobile Sensing
Takoua AbdellatifAbdellatif, Takoua University of Sousse A model-based approach to secure multi-party distributed systems
Hal AbelsonAbelson, Hal MITUnited States Measuring the Usability and Capability of App Inventor to Create Mobile Applications
Umut A. AcarAcar, Umut A. Carnegie Mellon UniversityTurkey REBLS Keynote - Self-Adjusting Computation: Practical Abstractions for Dynamic Software Committee Member in Program Committee within the REBLS -track
Sara AchourAchour, Sara Massachusetts Institute of Technology, USA Energy Efficient Computation in Topaz Approximate Computation with Outlier Detection in Topaz
Dave AckleyAckley, Dave UNM Computer Science Living Computation: Robust-first programming in ULAM
Sorin AdamAdam, Sorin Conpleks Innovation Towards Tool Support for Spreadsheet-based Domain-Specific Languages
Bram AdamsAdams, Bram MCIS, École Polytechnique de Montréal Committee Member in Program Committee for MobileDeLi 2015 Committee Member in Program Committee within the MobileDeLi-track
Michael D. AdamsAdams, Michael D. University of Utah Disambiguating Grammars with Tree Automata
Peter AdejokunAdejokun, Peter Committee Member in Program Committee within the SPLASH Posters-track
Ali AfroozehAfroozeh, Ali Centrum Wiskunde & Informatica Committee Member in Organizers for Parsing@SLE 2015 Session Chair of Fourth Session (part of Parsing@SLE ) Closing Opening One Parser to Rule Them All Program Co-Chair in Organizers within the Parsing@SLE -track
Gul AghaAgha, Gul University of Illinois at Urbana-Champaign Committee Member in Program Committee within the AGERE!-track
Waqar AhmadAhmad, Waqar Carnegie Mellon University Enforcing Fine-Grained Security and Privacy Policies in an Ecosystem within an Ecosystem
Martin AignerAigner, Martin University of Salzburg, Austria Fast, Multicore-Scalable, Low-Fragmentation Memory Allocation through Large Virtual Memory and Global Data Structures Fast, Multicore-Scalable, Low-Fragmentation Memory Allocation through Large Virtual Memory and Global Data Structures
Alex AikenAiken, Alex Stanford University An Interactive Approach to Mobile App Verification Interactively Verifying Absence of Explicit Information Flows in Android Apps Conditionally Correct Superoptimization
Zakarea Al SharaAl Shara, Zakarea LIRMM, CNRS and University of Montpellier Migrating Large Object-oriented Applications into Component-based ones: Instantiation and Inheritance Transformation
Jonathan AldrichAldrich, Jonathan Carnegie Mellon University SPLASH 2015 General Chair in Steering Committee for SPLASH 2015 General Chair in Organizing Committee for SPLASH 2015 General Chair in Organizing Committee for Onward! 2015
Karim AliAli, Karim TU Darmstadt Session Chair of Session the Second (part of Onward! Papers) Towards Secure Integration of Cryptographic Software
Amin AlipourAlipour, Amin Oregon State UniversityUnited States Committee Member in Program Committee within the SPLASH Posters-track
Pericles Rafael AlvesAlves, Pericles Rafael Federal University of Minas Gerais, Brazil Runtime Pointer Disambiguation Runtime Pointer Disambiguation
Eduardo AmorimAmorim, Eduardo Delft University of Technology Towards Abstract-Syntax-Preserving Grammar Migrations
Saswat AnandAnand, Saswat Stanford University An Interactive Approach to Mobile App Verification Interactively Verifying Absence of Explicit Information Flows in Android Apps
Hugo AndradeAndrade, Hugo Chalmers University of Technology Systematic Evaluation of Three Data Marshalling Approaches for Distributed Software Systems
Rodrigo AndradeAndrade, Rodrigo Federal University of Pernambuco Privacy and Security Constraints for Code Contributions
Anthony AnjorinAnjorin, Anthony Chalmers University of Technology, Sweden On Integrating Graphical and Textual Editors for a UML Profile Based Domain Specific Language: An Industrial Experience
Craig AnslowAnslow, Craig Middlesex University, LondonUnited Kingdom Web & Publicity in Organizing Committee for SPLASH 2015 Committee Member in Organizing Committee for PLATEAU 2015 Session Chair of Welcome and Keynote (part of PLATEAU) Session Chair of Group Discussion (part of PLATEAU) Conf.Researchr.Org: Towards a Domain-Specific Content Management System for Managing Large Conference Websites Committee Member in Organizing Committee within the PLATEAU-track Committee Member in External Review Committee within the SPLASH OOPSLA-track
Giuliano AntoniolAntoniol, Giuliano Polytechnique Montréal The Use of Text Retrieval and Natural Language Processing in Software Engineering
Tomoyuki AotaniAotani, Tomoyuki Tokyo Institute of Technology, JapanJapan Shiranui: A Live Programming with Support for Unit Testing Making Live Programming Practical by Bridging the Gap Between Trial-and-error Development and Unit Testing Pyrlang: A High Performance Erlang Virtual Machine Based on RPython
Malte AppeltauerAppeltauer, Malte SAPGermany Columnar Objects: Improving the Performance of Analytical Applications
Lorena ArcegaArcega, Lorena San Jorge University Addressing Metamodel Revisions in Model-based Software Product Lines
Md. ArefinArefin, Md. New York City College of Technology, City University of New York Porting the NetBeans Java 8 Enhanced for Loop Lambda Expression Refactoring to Eclipse
Venera ArnaoudovaArnaoudova, Venera Washington State University Pullman The Use of Text Retrieval and Natural Language Processing in Software Engineering
Stavros AronisAronis, Stavros Uppsala UniversityGreece Committee Member in Program Committee within the SPLASH OOPSLA Artifacts-track
Steven ArztArzt, Steven TU DarmstadtGermany Towards Secure Integration of Cryptographic Software
Kenichi AsaiAsai, Kenichi Ochanomizu UniversityJapan Committee Member in Program Committee within the GPCE -track
Uwe AßmannAßmann, Uwe TU Dresden, Germany A Combined Formal Model for Relational Context-Dependent Roles
Ehsan AtoofianAtoofian, Ehsan Lakehead University, CA Organizing Committe in Organizing Committee within the SEPS-track
Ruben AyrapetyanAyrapetyan, Ruben Ultra Lightweight JavaScript Engine for Internet of Things: demonstration
Mohammad Reza AzadmaneshAzadmanesh, Mohammad Reza University of Lugano Infection Size as a Measure of Bug Severity SQL for Deep Dynamic Analysis? Committee Member in Program Committee within the SPLASH OOPSLA Artifacts-track
Tanzirul AzimAzim, Tanzirul University of California at Riverside, USA Improving the Android Development Lifecycle with the VALERA Record-and-replay Approach Versatile yet Lightweight Record-and-Replay for Android
Pooria AzimiAzimi, Pooria Oregon State University Assessing the Benefits of Computational Offloading in Mobile-Cloud Applications
B Takanobu BabaBaba, Takanobu Professor, Utsunomiya University, JapanJapan Empirical Performance Study of Speculative Parallel Processing on Commercial Multi-core CPU with Hardware Transactional Memory
Anya Helene BaggeBagge, Anya Helene University of Bergen, NorwayNorway Publicity Chair in Organizing Committee for SLE 2015 Session Chair of Tools II and Closing (part of SLE) Analysis and Transformation with the Nuthatch Tree-Walking Library Committee Member in Program Committee within the SLE-track
Mehdi BagherzadehBagherzadeh, Mehdi Panini: A Concurrent Programming Model With Modular Reasoning
Zhaojun BaiBai, Zhaojun University of California at Davis, USA Automated Backward Error Analysis for Numerical Code
Lars BakBak, Lars Google How Dart Learned From Past Object-Oriented Systems The Future of Programming Languages and Programmers
Kevin BaldorBaldor, Kevin Real-Time Deadlines in Functional-Reactive Programming
Emilie BallandBalland, Emilie Committee Member in Program Committee within the SLE-track Committee Member in Program Committee within the GPCE -track
Stephanie BalzerBalzer, Stephanie Carnegie Mellon University Objects as Session-Typed Processes
Tao BaoBao, Tao Purdue University, USA RAIVE: Runtime Assessment of Floating-Point Instability by Vectorization
Olivier BaraisBarais, Olivier University of Rennes 1, France Reusing Legacy DSLs with Melange Melange: A Meta-language for Modular and Reusable Development of DSLs
Titus BarikBarik, Titus ABB Corporate ResearchUnited States Committee Member in Program Committee within the SPLASH OOPSLA Artifacts-track
Ankica BarisicBarisic, Ankica Committee Member in Program Committee within the DSM -track
Shaon BarmanBarman, Shaon UC Berkeley Toward tool support for interactive synthesis
Earl T. BarrBarr, Earl T. University College London Committee Member in Program Committee within the Onward! Papers-track
Brian BarryBarry, Brian FD Labs ETX Invited Speaker: The Eclipse Academic Program: Creating the Eclipse University Ecosystem
Austin Cory BartBart, Austin Cory Virginia Tech Publicity and Web Chair in Organizing Committee within the SPLASH -E-track
Osbert BastaniBastani, Osbert Stanford University An Interactive Approach to Mobile App Verification Interactively Verifying Absence of Explicit Information Flows in Android Apps
Don BatoryBatory, Don University of Texas, Austin Committee Member in Program Committee within the GPCE -track
Mark BattyBatty, Mark University of Cambridge Remote-Scope Promotion: Clarified, Rectified, and Verified Remote-scope promotion: clarified, rectified, and verified
Benoit BaudryBaudry, Benoit INRIA, France Supporting Efficient and Advanced Omniscient Debugging for xDSMLs
Andrew BegelBegel, Andrew Microsoft Research Committee Member in Program Committee within the PLATEAU-track
Jonathan BellBell, Jonathan Columbia University Student Volunteer Co-Chair in Organizing Committee for SPLASH 2015 Panel: Graduate School: Why and How? Student Volunteer Co-Chair in Organizing Committee within the SPLASH Student Volunteers-track Committee Member in Program Committee within the SPLASH OOPSLA Artifacts-track
Najah Ben SaidBen Said, Najah Verimag A model-based approach to secure multi-party distributed systems
John BenderBender, John University of California at Los Angeles, USAUnited States Declarative Fence Insertion Declarative Fence Insertion
Amine BenelallamBenelallam, Amine ATL-MR: Model Transformation on MapReduce Distributed Model-to-Model Transformation with ATL on MapReduce
Siegfried BenknerBenkner, Siegfried University of Vienna, Austria Organizing Committe in Organizing Committee within the SEPS-track
Saddek BensalemBensalem, Saddek Verimag A model-based approach to secure multi-party distributed systems
Véronique BenzakenBenzaken, Véronique LRI, Université Paris-Sud Committee Member in Program Committee within the DBPL-track
Alexandre BergelBergel, Alexandre Tracking Down Performance Variation Against Source Code Evolution
Christian BergerBerger, Christian University of GothenburgSweden Systematic Evaluation of Three Data Marshalling Approaches for Distributed Software Systems Committee Member in Program Committee within the DSM -track
Alexander BergmayrBergmayr, Alexander Vienna University of Technology, Austria XMLText: From XML Schema to Xtext
Kumud BhandariBhandari, Kumud Rice UniversityUnited States Committee Member in Program Committee within the SPLASH OOPSLA Artifacts-track
Arka BhattacharyaBhattacharya, Arka UC Berkeley Toward tool support for interactive synthesis
Aggelos BiboudisBiboudis, Aggelos University of AthensGreece Automating Ad-hoc Data Representation Transformations Automating Ad-hoc Data Representation Transformations
Robert BiddleBiddle, Robert Carleton University Collaborative Annotations for Large Touchscreen Web Applications Supporting ``What-If'' in Touch-Screen Web Applications
Pavol BielikBielik, Pavol ETH Zurich, SwitzerlandSlovakia Scalable Race Detection for Android Applications Scalable Race Detection for Android Applications Scalable Concurrency Analysis for Android Applications
Michael BiggsBiggs, Michael Broadway Technology, USA Statik: An Incremental Compiler Generator
Martin BillesBilles, Martin Race-driven UI-level Test Generation for JavaScript-based Web Applications
Walter BinderBinder, Walter University of Lugano Accurate Profiling in the Presence of Dynamic Compilation Accurate Profiling in the Presence of Dynamic Compilation Custom Full-Coverage Dynamic Program Analysis for Android Co-chair in Organizing Committee within the WODA -track Committee Member in Program Committee within the GPCE -track
Ken BirmanBirman, Ken Cornell University Committee Member in External Review Committee within the SPLASH OOPSLA-track
Judith BishopBishop, Judith Microsoft ResearchUnited States Committee Member in Program Committee within the PROMOTO -track
Swarnendu BiswasBiswas, Swarnendu Ohio State University, USAUnited States Viser: Providing Serializability in Hardware With Simplified Cache Coherence Valor: Efficient, Software-Only Region Conflict Exceptions Valor: Efficient, Software-Only Region Conflict Exceptions Committee Member in Program Committee within the SPLASH OOPSLA Artifacts-track
Andrew BlackBlack, Andrew Portland State UniversityUnited States SPLASH 2014 General Chair in Steering Committee for SPLASH 2015 Committee Member in Steering Committee for Onward! 2015 Classes Considered Harmful Why Programming Languages Matter
Steve BlackburnBlackburn, Steve Australian National University Australia Committee Member in Program Committee within the SPLASH OOPSLA-track
Sam BlackshearBlackshear, Sam University of Colorado at Boulder, USAUnited States Selective Control-Flow Abstraction via Jumping Selective Control-Flow Abstraction via Jumping
Arnaud BlouinBlouin, Arnaud INSA Rennes, France Reusing Legacy DSLs with Melange Melange: A Meta-language for Modular and Reusable Development of DSLs
Eric BoddenBodden, Eric Fraunhofer SIT and TU Darmstadt Towards Secure Integration of Cryptographic Software Committee Member in Program Committee within the Onward! Papers-track
Rastislav BodíkBodík, Rastislav University of Washington, USA Toward tool support for interactive synthesis Synthesis of Layout Engines from Relational Constraints
Hans-J. BoehmBoehm, Hans-J. Google Committee Member in External Review Committee within the SPLASH OOPSLA-track
Klaas BoescheBoesche, Klaas Saarland University Shallow Embedding of DSLs via Online Partial Evaluation
Steven BohezBohez, Steven Ghent University - iMindsBelgium Androsgi: bringing the power of OSGi to Android
CF Bolz-TereickBolz-Tereick, CF King's College London Language Independent Storage Strategies for Tracing JIT based VMs Committee Member in Program Committee within the DLS-track
Michael D. BondBond, Michael D. Ohio State University, USA Valor: Efficient, Software-Only Region Conflict Exceptions Valor: Efficient, Software-Only Region Conflict Exceptions
Aldo BongioBongio, Aldo WebRatio S.r.l Automatic Code Generation for Cross-platform, Multi-Device Mobile Apps: Some Reflections from an Industrial Experience
Alan BorningBorning, Alan University of Washington, USA Constraints as a Design Pattern Checks and Balances - Constraint Solving without Surprises in Object-Constraint Programming Languages Checks and Balances: Constraint Solving without Surprises in Object-Constraint Programming Languages
Jan BoschBosch, Jan Chalmers University of Technology, Sweden Committee Member in Program Committee within the GPCE -track
Brett BostonBoston, Brett Massachusetts Institute of Technology, USAUnited States Probability Type Inference for Flexible Approximate Programming
Noury BouraqadiBouraqadi, Noury Mines Douai Virtualization Support for Dynamic Core Library Update A Bootstrapping Infrastructure to Build and Extend Pharo-like Languages
Erwan BousseBousse, Erwan IRISA, France Supporting Efficient and Advanced Omniscient Debugging for xDSMLs
Hinde BouzianeBouziane, Hinde LIRMM, CNRS and University of Montpellier Migrating Large Object-oriented Applications into Component-based ones: Instantiation and Inheritance Transformation
John BoylandBoyland, John University of Wisconsin, Milwaukee Committee Member in Program Committee within the SPLASH OOPSLA-track
Marius BozgaBozga, Marius Verimag/CNRS A model-based approach to secure multi-party distributed systems
Jorge BozoBozo, Jorge Universidad Católica del Norte, Chile Lightning Talk #1 - Transferring Software Engineering Practices as an Educational Process: Lessons and Challenges
Gilad BrachaBracha, Gilad GoogleIsrael Enforcing Object-based Access in Newspeak
Jeremy BradburyBradbury, Jeremy University of Ontario Institute of Technology, CanadaCanada Committee Member in Program Committee within the SEPS-track
Marco BrambillaBrambilla, Marco Politecnico di Milano, ItalyItaly Session Chair of Formal Modeling and Language Validation (part of SLE) Automatic Code Generation for Cross-platform, Multi-Device Mobile Apps: Some Reflections from an Industrial Experience An Empirical Study on Simplification of Business Process Modeling Languages Committee Member in Program Committee within the SLE-track Committee Member in Program Committee within the SLE-track
Stephan BrandauerBrandauer, Stephan Uppsala University Disjointness Domains for Fine-Grained Aliasing
Oliver BračevacBračevac, Oliver TU DarmstadtGermany Temporal Correlation Patterns A Co-Contextual Formulation of Type Rules and its Application to Incremental Type Checking
Einar Broch JohnsenBroch Johnsen, Einar University of Oslo Inversion in Programming Language Design: The Encore Way
Brian BrollBroll, Brian Vanderbilt University Extensible Visual Constraint Language
David Bingham BrownBrown, David Bingham University of Wisconsin - Madison Recovering Execution Data from Incomplete Observations
Judith BrownBrown, Judith Carleton University Supporting ``What-If'' in Touch-Screen Web Applications
Kim BruceBruce, Kim Pomona CollegeUnited States Committee Member in Steering Committee within the SPLASH -E-track Committee Member in Program Committee within the SPLASH -E-track
Bernd BrueggeBruegge, Bernd TU MunichGermany Committee Member in Steering Committee for Onward! 2015 Teaching Code Review Management using Branch Based Workflows
Lucas BrutschyBrutschy, Lucas ETH Zurich, SwitzerlandGermany ShamDroid: Gracefully Degrading Functionality in the Presence of Limited Resource Access
Lubomír BulejBulej, Lubomír Università della Svizzera italianaCzechia Accurate Profiling in the Presence of Dynamic Compilation Accurate Profiling in the Presence of Dynamic Compilation Custom Full-Coverage Dynamic Program Analysis for Android
Matt BuntingBunting, Matt The University of Arizona Experience Report: Constraint-Based Modeling of Autonomous Vehicle Trajectories
Sebastian BurckhardtBurckhardt, Sebastian Microsoft Research Committee Member in Program Committee within the SPLASH OOPSLA-track
Michael BurkeBurke, Michael Rice University Committee Member in Program Committee for ETX 2015 Committee Member in Organizing Committee for ETX 2015 Workshop opening Committee Member in Program Committee within the ETX-track
Antuan ByalikByalik, Antuan Virginia TechUnited States Native-2-Native: Automated Cross-Platform Code Synthesis from Web-Based Programming Resources Heterogeneous Device Hopping: Bridging the Mobile Cross-Platform Gap Via a Declarative Query Language
William E. ByrdByrd, William E. Control-Flow Analysis of Dynamic Languages via Pointer Analysis
Stephan BöhmeBöhme, Stephan TU Dresden, Germany A Combined Formal Model for Relational Context-Dependent Roles
Christoff BürgerBürger, Christoff Lund University, Sweden Reference Attribute Grammar Controlled Graph Rewriting: Motivation and Overview
C Juan CaballeroCaballero, Juan IMDEA Software Institute Ayudante: Identifying Undesired Variable Interactions
Jordi CabotCabot, Jordi ICREA, Spain Automatic Code Generation for Cross-platform, Multi-Device Mobile Apps: Some Reflections from an Industrial Experience An Empirical Study on Simplification of Business Process Modeling Languages Distributed Model-to-Model Transformation with ATL on MapReduce Committee Member in Program Committee within the SLE-track
Cristian CadarCadar, Cristian Imperial College London Towards Deployment-Time Dynamic Analysis of Server Applications
Faruk CaglarCaglar, Faruk Vanderbilt University Publicity Chair in Organizing Committee for GPCE 2015
Nicholas CameronCameron, Nicholas Mozilla ResearchUnited Kingdom Rust: Idioms and Design Patterns Concurrency in Rust: Data race safety with zero cost abstractions
Guadalupe CanahuateCanahuate, Guadalupe University of Iowa, USA Evaluating Work Distribution Patterns for Parallel Bitmap Compression over SMPs
Anthony CaninoCanino, Anthony SUNY Binghamton Gradual Mode Types for Energy-Aware Programming
Michael CarbinCarbin, Michael MITUnited States Committee Member in Organizing Committee within the SPLASH Doctoral Symposium-track
Jeff CarverCarver, Jeff University of Alabama Committee Member in Program Committee within the PLATEAU-track Committee Member in Program Committee within the SEPS-track
Damien CassouCassou, Damien Lille 1 UniversityFrance Access Control to Reflection with Object Ownership
Fernando CastorCastor, Fernando UFPEBrazil A Study on the Most Popular Questions About Concurrent Programming
Paolina CentonzeCentonze, Paolina Iona CollegeItaly Automatic Detection, Correction and Visualization of Security Vulnerabilities in Mobile Apps
Carlos CetinaCetina, Carlos San Jorge University Addressing Metamodel Revisions in Model-based Software Product Lines
Luis CezeCeze, Luis University of Washington, USABrazil Probability Type Inference for Flexible Approximate Programming
Sanchit ChadhaChadha, Sanchit Virginia TechUnited States Native-2-Native: Automated Cross-Platform Code Synthesis from Web-Based Programming Resources Heterogeneous Device Hopping: Bridging the Mobile Cross-Platform Gap Via a Declarative Query Language
Hassan ChafiChafi, Hassan Oracle Labs Domain Specific Languages @ Oracle Labs: Current Experiences, Future Hopes
Dhruva ChakrabartiChakrabarti, Dhruva HP Labs Committee Member in Program Committee within the SPLASH Workshops-track
Satish ChandraChandra, Satish Samsung Research AmericaIndia Toward tool support for interactive synthesis Symbolic Techniques for Software Debugging and Repair
Bor-Yuh Evan ChangChang, Bor-Yuh Evan University of Colorado at Boulder, USA Selective Control-Flow Abstraction via Jumping Selective Control-Flow Abstraction via Jumping Committee Member in Program Committee within the SPLASH Student Research Competition-track
Stephen ChangChang, Stephen Northeastern University Committee Member in Program Committee within the SPLASH OOPSLA Artifacts-track
Guido ChariChari, Guido Dept. of Computer Science FCEyN, University of Buenos AiresArgentina Towards Fully Reflective Environments
Dominik CharoussetCharousset, Dominik Manyfold Actors: Extending the C++ Actor Framework to Heterogeneous Many-Core Machines using OpenCL
Arghya ChatterjeeChatterjee, Arghya Rice University, USA Exploiting Parallelism in Mobile Devices
Avik ChaudhuriChaudhuri, Avik FacebookUnited States Flow: a static type checker for JavaScript
James CheneyCheney, James University of EdinburghUnited States Session Chair of Session 1: Keynote (part of DBPL) Program Co-Chair in Program Committee within the DBPL-track
Alvin CheungCheung, Alvin University of Washington Committee Member in External Review Committee within the SPLASH OOPSLA-track
Shigeru ChibaChiba, Shigeru University of Tokyo Inverse macro in Scala Almost First-Class Language Embedding: Taming Staged Embedded DSLs Committee Member in Program Committee within the WODA -track Committee Member in Program Committee within the REBLS -track Committee Member in Program Committee within the Onward! Papers-track Committee Member in Program Committee within the Onward! Essays-track
David ChiuChiu, David University of Puget Sound, USA Evaluating Work Distribution Patterns for Parallel Bitmap Compression over SMPs
Andrei ChişChiş, Andrei University of Bern, Switzerland Towards moldable development tools The Moldable Inspector GTInspector: A Moldable Domain-Aware Object Inspector Spotter: Towards a Unified Search Interface in IDEs
Adam ChlipalaChlipala, Adam MITUnited States Committee Member in Program Committee within the SPLASH OOPSLA-track
Ryan H. ChoiChoi, Ryan H. Samsung Electronics A Lightweight JavaScript Engine for Mobile Devices
Youngil ChoiChoi, Youngil Samsung Electronics A Lightweight JavaScript Engine for Mobile Devices
Zewei ChuChu, Zewei University of Hong Kong, China Scrap your Boilerplate with Object Algebras Scrap your Boilerplate with Object Algebras
Ravi ChughChugh, Ravi University of Chicago Committee Member in External Review Committee within the SPLASH OOPSLA-track
Berkeley ChurchillChurchill, Berkeley Stanford University Conditionally Correct Superoptimization
Paolo CiancariniCiancarini, Paolo University of Bologna Committee Member in Program Committee within the PROMOTO -track
Jürgen CitoCito, Jürgen University of Zurich Runtime Metric Meets Developer - Building Better Cloud Applications Using Feedback
Dave ClarkeClarke, Dave Uppsala University, Sweden and KU Leuven, BelgiumAustralia Inversion in Programming Language Design: The Encore Way Disjointness Domains for Fine-Grained Aliasing
Alan ClearyCleary, Alan Montana State University Tool Demo - PyFRP: Function Reactive Programming in Python
Sylvan ClebschClebsch, Sylvan Imperial College London Deny Capabilities for Safe, Fast Actors Committee Member in Program Committee within the AGERE!-track
Loek CleophasCleophas, Loek Committee Member in Organizers for Parsing@SLE 2015 Session Chair of First Session (part of Parsing@SLE ) Closing Opening Program Co-Chair in Organizers within the Parsing@SLE -track
Yvonne CoadyCoady, Yvonne University of VictoriaCanada Committee Member in Steering Committee for Onward! 2015 Programme Committee in Program Committee within the NOOL -track
Michael CoblenzCoblenz, Michael Carnegie Mellon UniversityUnited States Comparing Transitive to Intransitive Object Immutability
Nachshon CohenCohen, Nachshon Technion, Israel Automatic Memory Reclamation for Lock-Free Data Structures
Dario ColazzoColazzo, Dario Session Chair of Session 2 (part of DBPL) Typing Regular Path Query Languages for Data Graphs
Rem CollierCollier, Rem University College DublinUnited Kingdom Exploring AOP from an OOP Perspective Committee Member in Program Committee within the AGERE!-track
Benoit CombemaleCombemale, Benoit INRIA, FranceFrance SLE Steering Committee Member in Steering Committee for SLE 2015 Reusing Legacy DSLs with Melange Melange: A Meta-language for Modular and Reusable Development of DSLs Weaving Concurrency in eXecutable Domain-Specific Modeling Languages Supporting Efficient and Advanced Omniscient Debugging for xDSMLs Committee Member in Program Committee within the SLE-track
Karin ConinxConinx, Karin Hasselt University - tUL - iMinds A user study for comparing the programming efficiency of modifying executable multimodal interaction descriptions. A domain-specific language versus equivalent event-callback code
Charles ConselConsel, Charles University of Bordeaux An Evaluation of the DiaSuite Toolset by Professional Developers Orchestrating Masses of Sensors: A Design-Driven Development Approach
William CookCook, William UT Austin Committee Member in Program Committee within the DLS-track Programme Committee in Program Committee within the NOOL -track
Jonathan CorleyCorley, Jonathan University of Alabama, USA Supporting Efficient and Advanced Omniscient Debugging for xDSMLs
João Costa SecoCosta Seco, João NOVA LINCS -- Universidade Nova de Lisboa A common data manipulation language for nested data in heterogeneous environments. Type Safe Evolution of Live Systems
Yoann CouillecCouillec, Yoann InriaFrance Requesting heterogeneous data sources with array comprehensions in Hop.js
Silvia CrafaCrafa, Silvia Università di Padova, Italy The Chemical Approach to Typestate-Oriented Programming
Ivica CrnkovicCrnkovic, Ivica Chalmers University of Technology, SwedenSweden Systematic Evaluation of Three Data Marshalling Approaches for Distributed Software Systems
Angelo CroattiCroatti, Angelo University of BolognaItaly Programming Abstractions for Augmented Worlds
Xavier CrégutCrégut, Xavier University of Toulouse, France Weaving Concurrency in eXecutable Domain-Specific Modeling Languages
Fredy CuencaCuenca, Fredy Hasselt University - tUL - iMinds A user study for comparing the programming efficiency of modifying executable multimodal interaction descriptions. A domain-specific language versus equivalent event-callback code
David CullerCuller, David UC Berkeley Toward tool support for interactive synthesis
Marco Cusumano-TownerCusumano-Towner, Marco MIT-CSAIL BayesDB: Query the Probable Implications of Data
Krzysztof CzarneckiCzarnecki, Krzysztof SLE Steering Committee Member in Steering Committee for SLE 2015
D Theo D'HondtD'Hondt, Theo Vrije Universiteit Brussel A Formal Foundation for Trace-Based JIT Compilers
Akshay DabholkarDabholkar, Akshay Oracle Committee Member in Program Committee within the GPCE -track
Aryan DadashiDadashi, Aryan SAP Runtime Metric Meets Developer - Building Better Cloud Applications Using Feedback
Daichi Fukui Daichi Fukui Annotatable Systrace: An Extended Linux ftrace for Tracing a Parallelized Program
Daniel Warzel Daniel Warzel An Empirical Study on Parallelism in Modern Open-source Projects
David DaraisDarais, David University of Maryland, College ParkUnited States Galois Transformers and Modular Abstract Interpreters: Reusable Metatheory for Program Analysis
Jim DaviesDavies, Jim University of Oxford Domain Specific Modelling for Clinical Research
Frank S. de Boerde Boer, Frank S. Inversion in Programming Language Design: The Encore Way
Elias De ConinckDe Coninck, Elias Ghent University - iMinds Androsgi: bringing the power of OSGi to Android
Joeri De KosterDe Koster, Joeri Vrije Universiteit Brussel A Formal Foundation for Trace-Based JIT Compilers Just-in-Time Data Structures
Juan de Larade Lara, Juan Autonomous University of Madrid, Spain Example-Based Validation of Domain-Specific Visual Languages Committee Member in Program Committee within the SLE-track
Wolfgang De MeuterDe Meuter, Wolfgang Vrije Universiteit BrusselBelgium Session Chair of 4. Concurrency (part of SPLASH OOPSLA) A Flow-Based Programming Framework for Mobile App development Indexing RETE's Working Memory - Catering to Dynamic Changes of the Ruleset Logical Reactive Programming Connect.js: A cross mobile platform actor library for multi-networked mobile applications Just-in-Time Data Structures Committee Member in Organizing Committee within the REBLS -track Committee Member in External Review Committee within the SPLASH OOPSLA-track
Pablo de Oliveira Castrode Oliveira Castro, Pablo University of Versailles, France Committee Member in Program Committee within the SEPS-track
Coen De RooverDe Roover, Coen Vrije Universiteit BrusselBelgium A Formal Foundation for Trace-Based JIT Compilers
Luis Eduardo de Souza Amorimde Souza Amorim, Luis Eduardo TU DelftBrazil Improving Syntactic Completion
Cleidson de Souzade Souza, Cleidson Federal University of Pará BelémBrazil The Role of Ethnography in Programming Language Research: Developer-Centered Design of Languages and Tools
Mattias De WaelDe Wael, Mattias Vrije Universiteit Brussel Just-in-Time Data Structures: Towards Declarative Swap Rules Just-in-Time Data Structures
Julien DeAntoniDeAntoni, Julien Weaving Concurrency in eXecutable Domain-Specific Modeling Languages
Søren DeboisDebois, Søren IT University of Copenhagen Dynamic Condition Response Graphs as Foundation for Event-based Languages and Systems
Thomas DegueuleDegueule, Thomas INRIA, France Reusing Legacy DSLs with Melange Melange: A Meta-language for Modular and Reusable Development of DSLs
Robert DeLineDeLine, Robert Microsoft ResearchUnited States Modern software is all about data. Development environments should be, too. The Future of Programming Languages and Programmers
Luca Della ToffolaDella Toffola, Luca ETH Zurich, Switzerland Performance Problems You Can Fix: A Dynamic Analysis of Memoization Opportunities Performance Problems You Can Fix: A Dynamic Analysis of Memoization Opportunities
Brian DemskyDemsky, Brian University of California at Irvine, USA AutoMO: Automatic Inference of Memory Order Parameters for C/C++11 AutoMO: Automatic Inference of Memory Order Parameters for C/C++11 SATCheck: SAT-Directed Stateless Model Checking for SC and TSO SATCheck: SAT-Directed Stateless Model Checking for SC and TSO Committee Member in Program Committee within the WODA -track
Marcus DenkerDenker, Marcus INRIA LilleFrance Access Control to Reflection with Object Ownership
Ewen DenneyDenney, Ewen NASA Ames Research Center Committee Member in Steering Committee for GPCE 2015 Committee Member in Program Committee within the GPCE -track
Travis DesellDesell, Travis University of North DakotaUnited States A Performance and Scalability Analysis of Actor Message Passing and Migration in SALSA Lite Committee Member in Program Committee within the AGERE!-track
Dominique DevrieseDevriese, Dominique iMinds - Distrinet, KU LeuvenBelgium Generating Safe Boundary APIs between Typed EDSLs and their Environments Committee Member in Program Committee within the REBLS -track
Bart DhoedtDhoedt, Bart Ghent University - iMinds Androsgi: bringing the power of OSGi to Android
Davide Di RuscioDi Ruscio, Davide University of L'AquilaItaly Program Co-Chair in Organizing Committee for SLE 2015 Session Chair of Model Execution and Verification (part of SLE) Session Chair of Language Development and Evaluation (part of SLE) Supporting Users to Manage Breaking and Unresolvable Changes in Coupled Evolution Opening Committee Member in Program Committee within the DSM -track Committee Member in Program Committee within the DSM -track
Werner DietlDietl, Werner University of Waterloo Committee Member in Program Committee for ETX 2015 Session Chair of 8. Static Analysis (part of SPLASH OOPSLA) Committee Member in Program Committee within the ETX-track Committee Member in Program Committee within the SPLASH OOPSLA-track
Jens DietrichDietrich, Jens Massey University, New ZealandNew Zealand Giga-Scale Exhaustive Points-To Analysis for Java in Under a Minute Giga-Scale Exhaustive Points-To Analysis for Java in Under a Minute
Will DietzDietz, Will University of Illinois at Urbana-ChampaignUnited States Committee Member in Program Committee within the SPLASH OOPSLA Artifacts-track
Danny DigDig, Danny Oregon State University Assessing the Benefits of Computational Offloading in Mobile-Cloud Applications
Işıl DilligDillig, Işıl University of Texas at Austin, USA EXPLORER : Query- and Demand-Driven Exploration of Interprocedural Control Flow Properties
Dimitar DimitrovDimitrov, Dimitar ETH Zurich, Switzerland Stateless Model Checking of Event-Driven Applications
Zinovy DiskinDiskin, Zinovy Committee Member in Program Committee within the SLE-track
Yvonne DittrichDittrich, Yvonne IT University of CopenhagenGermany The Role of Ethnography in Programming Language Research: Developer-Centered Design of Languages and Tools
Johannes DoerfertDoerfert, Johannes Saarland University Runtime Pointer Disambiguation Runtime Pointer Disambiguation
Julian DolbyDolby, Julian IBM ResearchUnited States Session Chair of 1. Model Checking (part of SPLASH OOPSLA) Session Chair of Research Reports 2 (part of WODA ) Program Analysis for Mobile: how and why to run WALA on your phone A History of JavaScript Static Analysis with WALA at IBM Committee Member in Program Committee within the WODA -track Committee Member in Program Committee within the SPLASH OOPSLA-track
Miguel DominguesDomingues, Miguel NOVA-LINCS - Universidade Nova de Lisboa Type Safe Evolution of Live Systems
Dominic Hillenbrand Dominic Hillenbrand Annotatable Systrace: An Extended Linux ftrace for Tracing a Parallelized Program
Alastair F. DonaldsonDonaldson, Alastair F. Imperial College LondonUnited Kingdom Remote-Scope Promotion: Clarified, Rectified, and Verified Remote-scope promotion: clarified, rectified, and verified
Didier DonsezDonsez, Didier Universite Joseph Fourier - Grenoble 1 Committee Member in Program Committee for ETX 2015 Committee Member in Program Committee within the ETX-track
Christophe DonyDony, Christophe LIRMM, CNRS and University of Montpellier Migrating Large Object-oriented Applications into Component-based ones: Instantiation and Inheritance Transformation
Gabriel Dos ReisDos Reis, Gabriel Texas A&M University and Microsoft Safer SDN programming through Arbiter
Kshitij DoshiDoshi, Kshitij Intel, USA Cross-Layer Memory Management for Managed Language Applications
Sophia DrossopoulouDrossopoulou, Sophia Imperial College LondonUnited Kingdom Deny Capabilities for Safe, Fast Actors Committee Member in External Review Committee within the SPLASH OOPSLA-track
Abhishek DubeyDubey, Abhishek Vanderbilt University CHARIOT: A Domain Specific Language for Extensible Cyber-Physical Systems
Yael DubinskyDubinsky, Yael IBM Committee Member in Program Committee within the PROMOTO -track
Stéphane DucasseDucasse, Stéphane INRIA, France Session Chair of Session the First (part of Onward! Papers) Access Control to Reflection with Object Ownership SLE/GPCE Keynote: What's the value of an end user? Platforms and Research: The case of Pharo and Moose Virtualization Support for Dynamic Core Library Update A Bootstrapping Infrastructure to Build and Extend Pharo-like Languages Towards Fully Reflective Environments SLE/GPCE Keynote: What's the value of an end user? Platforms and Research: The case of Pharo and Moose Tracing vs. Partial Evaluation: Comparing Meta-compilation Approaches for Self-Optimizing Interpreters Tracing vs. Partial Evaluation: Comparing Meta-Compilation Approaches for Self-Optimizing Interpreters Committee Member in Program Committee within the Onward! Papers-track
Jana DunfieldDunfield, Jana University of British Columbia, Canada Incremental Computation with Names Incremental Computation with Names
Martijn DwarsDwars, Martijn Delft University of TechnologyNetherlands Towards Abstract-Syntax-Preserving Grammar Migrations
Matthew B DwyerDwyer, Matthew B University of NebraskaUnited States OOPSLA 2012 PC Chair in Steering Committee for SPLASH 2015
Robert DyerDyer, Robert Bowling Green State UniversityUnited States Demonstrating Programming Language Feature Mining Using Boa Mining Programming Language Usage with Boa Consensus-based Mining of API Preconditions in Big Code Committee Member in Program Committee within the SPLASH OOPSLA Artifacts-track
E Stephan EberleEberle, Stephan itemis AG Using C Language Extensions for Developing Embedded Software: A Case Study
Joshua EckrothEckroth, Joshua Stetson University Teaching Big Data with a Virtual Cluster
Hamza Ed-DouibiEd-Douibi, Hamza Mines Nantes Automatic Code Generation for Cross-platform, Multi-Device Mobile Apps: Some Reflections from an Industrial Experience
Jonathan EdwardsEdwards, Jonathan MIT, USAUnited States Onward! 2012 Papers Chair in Steering Committee for SPLASH 2015 Committee Member in Steering Committee for Onward! 2015 Committee Member in Program Committee within the REBLS -track Committee Member in Program Committee within the DLS-track Committee Member in Organizing Committee within the Future Programming Workshop-track
Holger EichelbergerEichelberger, Holger University of Hildesheim Experience from Implementing a Complex Eclipse Extension for Software Product Line Engineering
Josef EislEisl, Josef Johannes Kepler University LinzAustria Trace Register Allocation
Amal El Fallah-SegrouchniEl Fallah-Segrouchni, Amal LIP6 Committee Member in Program Committee within the AGERE!-track
Sascha El-SharkawyEl-Sharkawy, Sascha University of Hildesheim Experience from Implementing a Complex Eclipse Extension for Software Product Line Engineering Analysing the Kconfig Semantics and its Analysis Tools
Jordan ElderElder, Jordan University of British Columbia Continuous Testing in Introductory Computer Science Education
Johannes EmerichEmerich, Johannes PreziGermany REBLS Industrial Talk (PREZI): Playful but not a Toy: Views on Reactive Programming from within a Large Software Project
Toshio EndoEndo, Toshio Tokyo Institute of Technology Investigating Potential Performance Benefits of Memory Layout Optimization based on Roofline Model Exana: An Execution-driven Application Analysis Tool for Assisting Productive Performance Tuning Committee Member in Program Committee within the SEPS-track
Romina EramoEramo, Romina University of L'Aquila, Italy Managing Uncertainty in Bidirectional Model Transformations
Sebastian ErdwegErdweg, Sebastian TU Darmstadt, Germany Modular Capture Avoidance for Program Transformations Towards Secure Integration of Cryptographic Software Type Systems for the Masses: Deriving Soundness Proofs and Efficient Checkers A Sound and Optimal Incremental Build System A Co-Contextual Formulation of Type Rules and its Application to Incremental Type Checking Toward Incremental Type Checking for Java A Sound and Optimal Incremental Build System with Dynamic Dependencies Committee Member in Program Committee within the SLE-track
Erik ErnstErnst, Erik Message Safety in Dart
Erik ErnstErnst, Erik Google Committee Member in External Review Committee within the SPLASH OOPSLA-track
Michael D. ErnstErnst, Michael D. University of Washington Ayudante: Identifying Undesired Variable Interactions
Martin ErwigErwig, Martin Oregon State University SLE Steering Committee Member in Steering Committee for SLE 2015
Mahdi EslamimehrEslamimehr, Mahdi SAP Labs Constraints as a Design Pattern
Yadran EterovicEterovic, Yadran Pontificia Universidad Catlica de Chile Lightning Talk #1 - Transferring Software Engineering Practices as an Educational Process: Lessons and Challenges Lightning Talk #3 - Why a theory for software engineering teaching is important
Patrick EugsterEugster, Patrick Purdue UniversityUnited States SPLASH 2013 Co-Chair and OOPSLA 2015 PC Chair in Steering Committee for SPLASH 2015 OOPSLA Review Committee Chair in Organizing Committee for SPLASH 2015 DS Invited Keynote Talk I: How to debug the Internet of Things, or, PhD or startup? Committee Member in Organizing Committee within the REBLS -track Program Chair in Program Committee within the SPLASH OOPSLA-track
F Luc FabresseFabresse, Luc Mines Douai Virtualization Support for Dynamic Core Library Update A Bootstrapping Infrastructure to Build and Extend Pharo-like Languages
Katrina FalknerFalkner, Katrina University of Adelaide, Australia Committee Member in Program Committee within the GPCE -track
Michalis FamelisFamelis, Michalis University of Toronto Committee Member in Program Committee within the DSM -track
Jean-Marie FavreFavre, Jean-Marie Committee Member in Program Committee within the SLE-track
Nick FeamsterFeamster, Nick Princeton UniversityUnited States Tomorrow’s Network Operators Will Be Programmers The Future of Programming Languages and Programmers
Marc FeeleyFeeley, Marc Compiling for Multi-Language Task Migration
Tim FelgentreffFelgentreff, Tim HPI, GermanyGermany Lively Groups: Shared Behavior in a World of Objects without Classes or Prototypes Language Independent Storage Strategies for Tracing JIT based VMs Checks and Balances - Constraint Solving without Surprises in Object-Constraint Programming Languages Checks and Balances: Constraint Solving without Surprises in Object-Constraint Programming Languages
Xinyu FengFeng, Xinyu University of Science and Technology of China Committee Member in Program Committee within the SPLASH Workshops-track
Yu FengFeng, Yu University of Texas at Austin, USA EXPLORER : Query- and Demand-Driven Exploration of Interprocedural Control Flow Properties
Eduardo FernandezFernandez, Eduardo Florida Atlantic UniversityUnited States Building Secure Software Architectures using Security Patterns
Pietro FerraraFerrara, Pietro IBM Research, USAItaly Demos Co-Chair in Organizing Committee for SPLASH 2015 Automatic Detection, Correction and Visualization of Security Vulnerabilities in Mobile Apps ShamDroid: Gracefully Degrading Functionality in the Presence of Limited Resource Access Demos Co-Chair in Organizing Committee within the SPLASH Demos-track
Paulo FerreiraFerreira, Paulo OutSystems SA A common data manipulation language for nested data in heterogeneous environments.
Burke FetscherFetscher, Burke Northwestern University POP-PL: A Patient-Oriented Prescription Programming Language
John FieldField, John GoogleUnited States Session Chair of 10. Empirical Studies & Approximation (part of SPLASH OOPSLA) Committee Member in Program Committee within the DLS-track Committee Member in Program Committee within the SPLASH OOPSLA-track
Filipe Figueiredo CorreiaFigueiredo Correia, Filipe University of Porto / ParadigmaXis, Portugal PLOP General Chair in Organizing Committee for SPLASH 2015 Committee Member in Organizing Committee within the PLoP -track Committee Member in Program Committee within the DSM -track
Ismael FigueroaFigueroa, Ismael Pontificia Universidad Católica de Valparaíso, ChileChile Is Functional Programming Better for Modularity?
Robert Bruce FindlerFindler, Robert Bruce Northwestern UniversityUnited States Artifact Evaluation Co-Chair in Organizing Committee for SPLASH 2015 POP-PL: A Patient-Oriented Prescription Programming Language Artifact Evaluation Co-Chair in Organizing Committee within the SPLASH OOPSLA Artifacts-track
Irene FinocchiFinocchi, Irene Sapienza University of Rome, ItalyItaly Committee Member in Program Committee within the WODA -track
Bernd FischerFischer, Bernd Stellenbosch University Committee Member in Steering Committee for GPCE 2015 Committee Member in Program Committee within the GPCE -track
Lars FischerFischer, Lars University of Duisburg-Essen, Essen, Germany An Empirical Investigation of the Effects of Type Systems and Code Completion on API Usability using TypeScript and JavaScript in MS Visual Studio
Kathi FislerFisler, Kathi Worcester Polytechnic Institute Committee Member in Steering Committee within the SPLASH -E-track Committee Member in Program Committee within the SPLASH -E-track
Cormac FlanaganFlanagan, Cormac UC Santa Cruz Live Programming for Event-Based Languages
Matthew FlattFlatt, Matthew University of Utah Committee Member in Steering Committee for GPCE 2015 Session Chair of Session 6 (part of GPCE ) Medic: Metaprogramming and Trace-Oriented Debugging POP-PL: A Patient-Oriented Prescription Programming Language Committee Member in Program Committee within the DLS-track Committee Member in Program Committee within the GPCE -track
Sebastian FleissnerFleissner, Sebastian Australian National University, Australia Towards Transitory Encapsulation
George FletcherFletcher, George Eindhoven University of Technology Relative Expressive Power of Downward Fragments of Navigational Query Languages on Trees and Chains
Spencer P. FlorenceFlorence, Spencer P. Northwestern University POP-PL: A Patient-Oriented Prescription Programming Language
Lori FlynnFlynn, Lori CERT Chair in Organizing Committee for MobileDeLi 2015 Session Chair of Session II (part of MobileDeLi) Session Chair of Session I (part of MobileDeLi) Session Chair of Session IV (part of MobileDeLi) Session Chair of Session III (part of MobileDeLi) Opening Co-chair in Organizing Committee within the MobileDeLi-track
Jaime FontFont, Jaime San Jorge University Addressing Metamodel Revisions in Model-based Software Product Lines
Niklas ForsFors, Niklas Lund University Committee Member in Program Committee within the SPLASH OOPSLA Artifacts-track
Jeffrey S. FosterFoster, Jeffrey S. University of Maryland at College Park, USA Incremental Computation with Names Incremental Computation with Names
Nate FosterFoster, Nate Cornell University Committee Member in Program Committee within the SPLASH OOPSLA-track
Gabriel FoustFoust, Gabriel Texas A & M University Generating Reactive Programs for Graphical User Interfaces from Multi-way Dataflow Constraint Systems
Steven D. FraserFraser, Steven D. Innoxec – Innovation Executive ServicesCanada Panels Chair in Organizing Committee for SPLASH 2015 Committee Member in Organizing Committee for PROMOTO 2015 Session Chair of Programming Languages (part of SPLASH Panels) Session Chair of Software Professionalism (part of SPLASH Panels) Session Chair of Session 1 (part of PROMOTO ) The Future of Programming Languages and Programmers Software Professionalism – Is it “Good Enough?” Committee Member in Organizing Committee within the PROMOTO -track Committee Member in Organizing Committee within the Smart Software Strategies -track Panels Chair in Organizing Committee within the SPLASH Panels-track
Bjorn Freeman-BensonFreeman-Benson, Bjorn New Relic Committee Member in Program Committee within the Onward! Papers-track
Eric FritzFritz, Eric Type Inference of Asynchronous Arrows in JavaScript
Zhoulai FuFu, Zhoulai University of California at Davis, USA Automated Backward Error Analysis for Numerical Code
Robert FuhrerFuhrer, Robert Google Committee Member in Program Committee for ETX 2015 Committee Member in Program Committee within the ETX-track
G Richard P. GabrielGabriel, Richard P. Dream Songs, Inc. & IBM ResearchUnited States Session Chair of Singing (part of SPLASH RPG) Session Chair of Writing (part of SPLASH RPG) Session Chair of Richard's Pretty Good Talks (part of SPLASH RPG) Session Chair of Session 1 (part of Onward! Essays) General Chair in Organization within the SPLASH RPG-track Committee Member in Program Committee within the Onward! Essays-track Committee Member in Organizing Committee within the Future Programming Workshop-track
Harald GallGall, Harald University of Zurich Runtime Metric Meets Developer - Building Better Cloud Applications Using Feedback
Loïc GammaitoniGammaitoni, Loïc University of Luxembourg, Luxembourg Designing Languages using Lightning
Diego GarbervetskyGarbervetsky, Diego Departamento de Computación, FCEyN, UBA Towards Fully Reflective Environments
Ronald GarciaGarcia, Ronald University of British Columbia Tutorials Co-Chair in Organizing Committee for SPLASH 2015 Tutorials Co-Chair in Organizing Committee within the SPLASH Tutorials-track Committee Member in Program Committee within the PLATEAU-track
Philippa GardnerGardner, Philippa Imperial College London, UKUnited Kingdom Reasoning about the POSIX File System: Local Update and Global Pathnames
Charles GarrodGarrod, Charles Carnegie Mellon University Committee Member in Program Committee within the SPLASH -E-track
Evgeny GavrinGavrin, Evgeny Samsung Electronics Ultra Lightweight JavaScript Engine for Internet of Things: demonstration
Simon J. GayGay, Simon J. Behavioural Prototypes
Lars GelinGelin, Lars Ericsson, Sweden On Integrating Graphical and Textual Editors for a UML Profile Based Domain Specific Language: An Industrial Experience
Rohit GheyiGheyi, Rohit UFCG, Brazil An Empirical Study on Configuration-Related Type Issues
Federico GiaimoGiaimo, Federico Chalmers University of Technology Systematic Evaluation of Three Data Marshalling Approaches for Distributed Software Systems
Jeremy GibbonsGibbons, Jeremy University of Oxford, UK SIGPLAN Vice Chair in Steering Committee for SPLASH 2015 Session Chair of Session 4 (part of DBPL) Relational Algebra by way of Adjunctions Domain Specific Modelling for Clinical Research
Holger GieseGiese, Holger Committee Member in Program Committee within the SLE-track
Amy GillickGillick, Amy Virginia Tech Musiplectics: Computational Assessment of the Complexity of Music Scores
Christian GlodtGlodt, Christian University of Luxembourg, Luxembourg Designing Languages using Lightning
David GnedtGnedt, David Christian Doppler Laboratory on Monitoring and Evolution ofVery-Large-Scale Software Systems, Johannes Kepler UniversityLinz Efficient Dynamic Analysis of the Synchronization Performance of Java Applications
Jeffrey GoderieGoderie, Jeffrey Delft University of Technology Towards Abstract-Syntax-Preserving Grammar Migrations
Martin GogollaGogolla, Martin Committee Member in Program Committee within the SLE-track
Aniruddha GokhaleGokhale, Aniruddha Vanderbilt University CHARIOT: A Domain Specific Language for Extensible Cyber-Physical Systems
Anirüddhā GokhāléGokhālé, Anirüddhā Vanderbilt University Program Chair in Organizing Committee for GPCE 2015 Session Chair of Session 1 (part of GPCE ) Program Chair in Program Committee within the GPCE -track
Thomas GoldschmidtGoldschmidt, Thomas ABB Corporate ResearchGermany Committee Member in Program Committee within the SLE-track
Abel Gomez-LlanaGomez-Llana, Abel ATL-MR: Model Transformation on MapReduce Distributed Model-to-Model Transformation with ATL on MapReduce
Elisa Gonzalez BoixGonzalez Boix, Elisa Vrije Universiteit Brussel Session Chair of Keynote + Abstraction (part of AGERE!) Connect.js: A cross mobile platform actor library for multi-networked mobile applications Committee Member in Program Committee within the DLS-track Committee Member in Organizing Committee within the AGERE!-track
Oscar González-RojasGonzález-Rojas, Oscar University of Los Andes, Colombia Using Decision Rules for Solving Conflicts in Extended Feature Models
Jeff GrayGray, Jeff University of Alabama, USA Chair in Organizing Committee for MobileDeLi 2015 Session Chair of Session II (part of MobileDeLi) Session Chair of Session I (part of MobileDeLi) Session Chair of Session IV (part of MobileDeLi) Session Chair of Session III (part of MobileDeLi) Opening Supporting Efficient and Advanced Omniscient Debugging for xDSMLs Committee Member in Organizing Committee within the DSM -track Committee Member in Program Committee within the SLE-track Co-chair in Organizing Committee within the MobileDeLi-track Committee Member in Program Committee within the GPCE -track
Clemens GrelckGrelck, Clemens University of AmsterdamGermany Committee Member in Program Committee within the SEPS-track
Sylvia GreweGrewe, Sylvia TU DarmstadtGermany Type Systems for the Masses: Deriving Soundness Proofs and Efficient Checkers
Matthias GrimmerGrimmer, Matthias Johannes Kepler University LinzAustria High-Performance Cross-Language Interoperability in a Multi-Language Runtime
William GriswoldGriswold, William UC San Diego Committee Member in Program Committee within the Onward! Essays-track
Thomas GrossGross, Thomas ETH Zurich, Switzerland Profiling for Detecting Performance Anomalies in Concurrent Software Performance Problems You Can Fix: A Dynamic Analysis of Memoization Opportunities Performance Problems You Can Fix: A Dynamic Analysis of Memoization Opportunities Committee Member in Program Committee within the WODA -track
Tobias GrosserGrosser, Tobias ETH Zurich, Switzerland Runtime Pointer Disambiguation Runtime Pointer Disambiguation
Dan GrossmanGrossman, Dan University of Washington, USA Probability Type Inference for Flexible Approximate Programming
Michael GrossniklausGrossniklaus, Michael University of KonstanzSwitzerland Function Inlining in XQuery 3.0 Optimization
Fabian GruberGruber, Fabian INRIA, FranceAustria Runtime Pointer Disambiguation Runtime Pointer Disambiguation
Torsten GrustGrust, Torsten University of Tübingen, GermanyGermany Committee Member in Program Committee within the DBPL-track
Christian GrünGrün, Christian University of Konstanz Function Inlining in XQuery 3.0 Optimization
Adrien GuattoGuatto, Adrien Committee Member in Program Committee within the SPLASH OOPSLA Artifacts-track
Esther GuerraGuerra, Esther Autonomous University of Madrid, Spain Example-Based Validation of Domain-Specific Visual Languages
Anton GulenkoGulenko, Anton TU Berlin Language Independent Storage Strategies for Tracing JIT based VMs
Sumit GulwaniGulwani, Sumit Microsoft Research, USAIndia FlashMeta: A Framework for Inductive Program Synthesis Automating Grammar Comparison Automating Grammar Comparison
Philip GuoGuo, Philip University of RochesterUnited States Committee Member in Program Committee within the SPLASH -E-track
Zhenyu GuoGuo, Zhenyu Microsoft Research Committee Member in Program Committee within the SPLASH OOPSLA-track
Rajiv GuptaGupta, Rajiv University of California at Riverside, USA RAIVE: Runtime Assessment of Floating-Point Instability by Vectorization Committee Member in Program Committee within the WODA -track
Sam GuyerGuyer, Sam Tufts University Student Research Competition Co-Chair in Organizing Committee for SPLASH 2015 Session Chair of Posters (part of SPLASH Student Research Competition) Session Chair of Talks (part of SPLASH Student Research Competition) Student Research Competition Co-Chair in Organizing Committee within the SPLASH Student Research Competition-track
Tihomir GveroGvero, Tihomir EPFL, Switzerland Synthesizing Java Expressions from Free-Form Queries
Marc GyssensGyssens, Marc Hasselt University and Transnational University of Limburg Relative Expressive Power of Downward Fragments of Navigational Query Languages on Trees and Chains
Tudor GîrbaGîrba, Tudor tudorgirba.com, Switzerland Towards moldable development tools The Moldable Inspector GTInspector: A Moldable Domain-Aware Object Inspector Spotter: Towards a Unified Search Interface in IDEs
María Clara GómezGómez, María Clara Universidad de Medellín Lightning Talk #3 - Why a theory for software engineering teaching is important
Sebastian GötzGötz, Sebastian TU Dresden, Germany A Combined Formal Model for Relational Context-Dependent Roles
H Thomas H. HildebrandtH. Hildebrandt, Thomas Dynamic Condition Response Graphs as Foundation for Event-based Languages and Systems
David H. LorenzH. Lorenz, David Open University and Technion IIT Separation of Powers in the Cloud: Where Applications and Users Become Peers
Marc H. SchollH. Scholl, Marc University of Konstanz Function Inlining in XQuery 3.0 Optimization
Sebastian HackHack, Sebastian Shallow Embedding of DSLs via Online Partial Evaluation
Matthew HagueHague, Matthew Royal Holloway University of London, UK Detecting Redundant CSS Rules in HTML5 Applications: A Tree Rewriting Approach Detecting Redundant CSS Rules in HTML5 Applications: A Tree Rewriting Approach
Sonia HaiducHaiduc, Sonia Florida State University Tallahassee The Use of Text Retrieval and Natural Language Processing in Software Engineering
William G.J. HalfondHalfond, William G.J. University of Southern California Committee Member in Program Committee for MobileDeLi 2015 Committee Member in Program Committee within the MobileDeLi-track
Christopher HallHall, Christopher Rethinking the Human-Readability Infrastructure
Philipp HallerHaller, Philipp KTH Royal Institute of Technology Session Chair of Keynote + Abstraction (part of AGERE!) ETX Keynote: High-Level Concurrency Libraries: Challenges for Tool Support Akka.js: Towards a portable actor runtime environment DS Invited Keynote Talk III: Papers vs. Artifacts Committee Member in Program Committee within the REBLS -track Committee Member in Organizing Committee within the AGERE!-track Committee Member in Organizing Committee within the SPLASH Doctoral Symposium-track
Nadeem HamidHamid, Nadeem Berry CollegeUnited States A Generic Framework for Engaging Online Data Sources in Introductory Programming Courses
Matthew HammerHammer, Matthew University of Maryland, College ParkUnited States Incremental Computation with Names Incremental Computation with Names
Stefan HanenbergHanenberg, Stefan University of Duisburg-EssenGermany On the Need to Define Community Agreements for Controlled Experiments with Human Subjects -- A Discussion Paper An Empirical Investigation of the Effects of Type Systems and Code Completion on API Usability using TypeScript and JavaScript in MS Visual Studio Committee Member in Program Committee within the PLATEAU-track
Li HaoyiHaoyi, Li Fastparse: programmable parsers for the 21st century Beyond Bash: Shell scripting in a statically-typed, object-oriented language
Irfan Ul HaqHaq, Irfan Ul IMDEA Software Institute Ayudante: Identifying Undesired Variable Interactions
Ben HardekopfHardekopf, Ben UC Santa Barbara Server-Side Type Profiling for Optimizing Client-Side JavaScript Engines
Daco HarkesHarkes, Daco Delft University of TechnologyNetherlands Student Volunteer Co-Chair in Organizing Committee for SPLASH 2015 Student Volunteer Co-Chair in Organizing Committee within the SPLASH Student Volunteers-track
Øystein HaugenHaugen, Øystein Østfold University College Addressing Metamodel Revisions in Model-based Software Product Lines Committee Member in Program Committee within the DSM -track
Michael HauptHaupt, Michael Oracle LabsGermany Committee Member in Program Committee within the GPCE -track
Matthias HauswirthHauswirth, Matthias University of Lugano, Switzerland Session Chair of Research Reports 3 (part of WODA ) Infection Size as a Measure of Bug Severity SQL for Deep Dynamic Analysis? CLOP: A multi-stage compiler to seamlessly embed heterogeneous code Use at Your Own Risk: The Java Unsafe API in the Wild Use at Your Own Risk: The Java Unsafe API in the Wild Committee Member in Program Committee within the WODA -track
Kyle HeadleyHeadley, Kyle University of Maryland, College Park Incremental Computation with Names Incremental Computation with Names
Gorel HedinHedin, Gorel Lund UniversitySweden SLE Steering Committee Member in Steering Committee for SLE 2015 Session Chair of 6. Compilation and Tools (part of SPLASH OOPSLA) Analyze your Java Source Code with ExtendJ Committee Member in Program Committee within the SPLASH OOPSLA-track
Jelle HellingsHellings, Jelle Hasselt University and Transnational University of Limburg Relative Expressive Power of Downward Fragments of Navigational Query Languages on Trees and Chains
Laurie HendrenHendren, Laurie McGill University Committee Member in Program Committee within the SPLASH OOPSLA-track
Fritz HengleinHenglein, Fritz DIKU, Denmark Relational Algebra by way of Adjunctions
Johannes HenningHenning, Johannes Hasso Plattner InstituteGermany Columnar Objects: Improving the Performance of Analytical Applications
Ludovic HenrioHenrio, Ludovic INRIA Committee Member in Program Committee within the AGERE!-track
Michael HicksHicks, Michael University of Maryland at College Park, USA Incremental Computation with Names Incremental Computation with Names
Jan HiddersHidders, Jan Committee Member in Program Committee within the DBPL-track
Hideo Yamamoto Hideo Yamamoto Annotatable Systrace: An Extended Linux ftrace for Tracing a Parallelized Program
Raphael HiesgenHiesgen, Raphael Manyfold Actors: Extending the C++ Actor Framework to Heterogeneous Many-Core Machines using OpenCL
James HillHill, James IUPUI Committee Member in Program Committee within the GPCE -track
Mark HillsHills, Mark East Carolina UniversityUnited States Supporting PHP Dynamic Analysis in PHP AiR
Michael HiltonHilton, Michael Oregon State UniversityUnited States Video Chair in Organizing Committee for SPLASH 2015
Michael HindHind, Michael IBM ResearchUnited States Artifact Evaluation Co-Chair in Organizing Committee for SPLASH 2015 Artifact Evaluation Co-Chair in Organizing Committee within the SPLASH OOPSLA Artifacts-track
Johnicholas HinesHines, Johnicholas Reactive Traversal of Recursive Data Types
Ralf HinzeHinze, Ralf University of Oxford, UK Relational Algebra by way of Adjunctions
Robert HirschfeldHirschfeld, Robert HPIGermany Onward! 2013 Papers Chair in Steering Committee for SPLASH 2015 Committee Member in Steering Committee for Onward! 2015 Lively Groups: Shared Behavior in a World of Objects without Classes or Prototypes Language Independent Storage Strategies for Tracing JIT based VMs Columnar Objects: Improving the Performance of Analytical Applications Checks and Balances - Constraint Solving without Surprises in Object-Constraint Programming Languages Checks and Balances: Constraint Solving without Surprises in Object-Constraint Programming Languages Committee Member in Program Committee within the DLS-track
Peter HoferHofer, Peter Christian Doppler Laboratory on Monitoring and Evolution of Very-Large-Scale Software Systems, Johannes Kepler University Linz Efficient Dynamic Analysis of the Synchronization Performance of Java Applications
Ethan HolderHolder, Ethan Virginia Tech Musiplectics: Computational Assessment of the Complexity of Music Scores
Eric HolkHolk, Eric Indiana University Committee Member in Program Committee within the SPLASH OOPSLA Artifacts-track
Nicholas HollingumHollingum, Nicholas University of Sydney, Australia Giga-Scale Exhaustive Points-To Analysis for Java in Under a Minute Giga-Scale Exhaustive Points-To Analysis for Java in Under a Minute
Brandon HoltHolt, Brandon University of WashingtonUnited States Committee Member in Program Committee within the SPLASH OOPSLA Artifacts-track
Michael HomerHomer, Michael Victoria University of Wellington Gradual typing is morally incorrect; we're all monsters now From APIs to Languages: Generalising Method Names
Shinichi HonidenHoniden, Shinichi The University of Tokyo / National Institute of Informatics Abstract Rewriting Approach to Solve Datalog Programs
Nigel HorspoolHorspool, Nigel University of Victoria Committee Member in Program Committee within the PROMOTO -track
Tony HoskingHosking, Tony Australian National University, Data61, and Purdue UniversityAustralia SPLASH 2013 General Co-Chair in Steering Committee for SPLASH 2015 Sponsorship Chair in Organizing Committee for SPLASH 2015 Committee Member in Steering Committee for Onward! 2015
Lode HosteHoste, Lode A Flow-Based Programming Framework for Mobile App development Indexing RETE's Working Memory - Catering to Dynamic Changes of the Ruleset Logical Reactive Programming
Thibaud HottelierHottelier, Thibaud Graphistry, IncUnited States Synthesis of Layout Engines from Relational Constraints
Yongjian HuHu, Yongjian University of California at Riverside, USAChina Improving the Android Development Lifecycle with the VALERA Record-and-replay Approach Versatile yet Lightweight Record-and-Replay for Android
Zhenjiang HuHu, Zhenjiang National Institute of InformaticsJapan Committee Member in Program Committee within the SLE-track
Jeff HuangHuang, Jeff Texas A&M University Posters Co-Chair in Organizing Committee for SPLASH 2015 Session Chair of Poster Session (part of SPLASH Posters) Posters Co-Chair in Organizing Committee within the SPLASH Posters-track
Ruochen HuangHuang, Ruochen Tokyo Institute of Technology, JapanJapan Pyrlang: A High Performance Erlang Virtual Machine Based on RPython
Shan Shan HuangHuang, Shan Shan Logicblox Model, Execute, Deploy: Answering the Hard Questions about End-user Programming
Arvind HudliHudli, Arvind MSRIT An Evaluation Framework For Selection Of Mobile App Development Platform
Raghu HudliHudli, Raghu ObjectOrb Technologies Pvt. Ltd An Evaluation Framework For Selection Of Mobile App Development Platform
Shrinidhi HudliHudli, Shrinidhi UCLA An Evaluation Framework For Selection Of Mobile App Development Platform
Angelo HulshoutHulshout, Angelo Committee Member in Program Committee within the SLE-track
Katrin HölldoblerHölldobler, Katrin RWTH Aachen University Adaptable Symbol Table Management by Meta Modeling and Generation of Symbol Table Infrastructures
Jomi Fred HübnerHübner, Jomi Fred Federal University of Santa Catarina Committee Member in Program Committee within the AGERE!-track
I Roberto IerusalimschyIerusalimschy, Roberto PUC-RioBrazil A Formalization of Typed Lua
Atsushi IgarashiIgarashi, Atsushi Kyoto UniversityJapan Committee Member in External Review Committee within the SPLASH OOPSLA-track
Tomoki ImaiImai, Tomoki Tokyo Institute of Technology, JapanJapan Shiranui: A Live Programming with Support for Unit Testing Making Live Programming Practical by Bridging the Gap Between Trial-and-error Development and Unit Testing
Shams ImamImam, Shams Rice UniversityBangladesh Committee Member in Program Committee within the AGERE!-track
Pablo InostrozaInostroza, Pablo Centrum Wiskunde & Informatica Modular Interpreters for the Masses: Implicit Context Propagation Using Object Algebras
Ludovico IovinoIovino, Ludovico Gran Sasso Science Institute, L'Aquila, Italy Supporting Users to Manage Breaking and Unresolvable Changes in Coupled Evolution
Fuyuki IshikawaIshikawa, Fuyuki National Institute of Informatics Abstract Rewriting Approach to Solve Datalog Programs
Anastasia IzmaylovaIzmaylova, Anastasia Centrum Wiskunde & Informatica Operator Precedence for Parser Combinators One Parser to Rule Them All
J Daniel JacksonJackson, Daniel Massachusetts Institute of Technology, USA Towards a Theory of Conceptual Design for Software Programming with Enumerable Sets of Structures Committee Member in Program Committee within the Onward! Essays-track
Jason JacquesJacques, Jason University of Cambridge Understanding the Effects of Code Presentation
Nadeem JamaliJamali, Nadeem University of Saskatchewan, CanadaCanada ModeSens: An Approach for Multi-modal Mobile Sensing
Ali JannesariJannesari, Ali Technical University of Darmstadt Session Chair of Welcome and keynote (part of SEPS) Organizing Committe in Organizing Committee within the SEPS-track
Michael JantzJantz, Michael University of Tennessee, USA Cross-Layer Memory Management for Managed Language Applications
Ciera JaspanJaspan, Ciera GoogleUnited States Shipshape: An Open Program Analysis Platform Committee Member in Program Committee within the Onward! Papers-track
C. Jasson CaseyJasson Casey, C. Texas A&M University and Flowgrammable.org Safer SDN programming through Arbiter
Alan JeffreyJeffrey, Alan Alcatel-Lucent Bell Labs Functional Reactive Programming with nothing but Promises (Implementing Push/Pull FRP using JavaScript Promises)
Elizabeth JessupJessup, Elizabeth Lighthouse: A Taxonomy-based Solver Selection Tool
Nima JoharizadehJoharizadeh, Nima University of California, DavisUnited States Finding Bugs in Spreadsheets Using Reference Counting
Adrian JohnstoneJohnstone, Adrian Committee Member in Program Committee within the SLE-track
Viviane JonckersJonckers, Viviane Vrije Universiteit Brussel Model Querying with Query Models
Timothy JonesJones, Timothy Victoria University of WellingtonNew Zealand Gradual typing is morally incorrect; we're all monsters now From APIs to Languages: Generalising Method Names Panel: Graduate School: Why and How? Committee Member in Program Committee within the SPLASH OOPSLA Artifacts-track
Padmaja JoshiJoshi, Padmaja C-DAC, Mumbai Challenges in Transition from Web to App
Vojin JovanovicJovanovic, Vojin EPFL Committee Member in Program Committee within the SPLASH OOPSLA Artifacts-track
Alisa Joy MaasJoy Maas, Alisa Automatic Array Property Detection Via Static Analysis
Jaakko JärviJärvi, Jaakko Texas A&M University Chair in Steering Committee for GPCE 2015 Session Chair of Session 8 (part of GPCE ) Generating Reactive Programs for Graphical User Interfaces from Multi-way Dataflow Constraint Systems
Jean-Marc JézéquelJézéquel, Jean-Marc University of Rennes 1, France Melange: A Meta-language for Modular and Reusable Development of DSLs
K Milan KabáčKabáč, Milan University of Bordeaux / Inria Bordeaux / LaBRISlovakia An Evaluation of the DiaSuite Toolset by Professional Developers Orchestrating Masses of Sensors: A Design-Driven Development Approach
Ted KafalaKafala, Ted CMSV Tool Demo - Writing C Code Patches in a VPL Learning Environment
Gail KaiserKaiser, Gail Columbia University, New YorkUnited States Committee Member in Program Committee within the SPLASH OOPSLA-track
Kanika Sood Kanika Sood University of OregonIndia Lighthouse: A Taxonomy-based Solver Selection Tool
Rajasekar KarthikKarthik, Rajasekar Oak Ridge National Laboratory Committee Member in Program Committee for MobileDeLi 2015 Committee Member in Program Committee within the MobileDeLi-track
Hironori KasaharaKasahara, Hironori Annotatable Systrace: An Extended Linux ftrace for Tracing a Parallelized Program
Takahiro KatagiriKatagiri, Takahiro University of TokyoJapan Committee Member in Program Committee within the SEPS-track
Alan KayKay, Alan University of California at Los Angeles, USA The Cuneiform Tablets of 2015
Madhukar KedlayaKedlaya, Madhukar University of California, Santa BarbaraIndia Server-Side Type Profiling for Optimizing Client-Side JavaScript Engines
Keiji Kimura Keiji Kimura Waseda University Japan Annotatable Systrace: An Extended Linux ftrace for Tracing a Parallelized Program
Stephen KellKell, Stephen University of Cambridge Session Chair of Session 2 (part of Onward! Essays) Towards a dynamic object model within Unix processes Custom Full-Coverage Dynamic Program Analysis for Android Committee Member in Program Committee within the PLATEAU-track Committee Member in Program Committee within the Onward! Essays-track
Anne KellerKeller, Anne SAP Runtime Metric Meets Developer - Building Better Cloud Applications Using Feedback
Steven KellyKelly, Steven MetaCaseUnited Kingdom Committee Member in Program Committee within the DSM -track
Pierre KelsenKelsen, Pierre University of Luxembourg, Luxembourg Designing Languages using Lightning
Christoph KesslerKessler, Christoph Linköping University, Sweden Committee Member in Program Committee within the SEPS-track
Ehsan KhamespanahKhamespanah, Ehsan Jacco: More Efficient Model Checking Toolset for Java Actor Programs
Raffi KhatchadourianKhatchadourian, Raffi Hunter College, City University of New YorkUnited States Porting the NetBeans Java 8 Enhanced for Loop Lambda Expression Refactoring to Eclipse Fraglight: Shedding Light on Broken Pointcuts in Evolving Aspect-Oriented Software
Ramtin KhosraviKhosravi, Ramtin Jacco: More Efficient Model Checking Toolset for Java Actor Programs
Sarfraz KhurshidKhurshid, Sarfraz UT Austin Committee Member in External Review Committee within the SPLASH OOPSLA-track
Tina KiguradzeKiguradze, Tina Northwestern University Feinberg School of Medicine, Departmentof Dermatology POP-PL: A Patient-Oriented Prescription Programming Language
Miryung KimKim, Miryung University of California, Los Angeles Committee Member in Program Committee within the Onward! Papers-track
Joe KiniryKiniry, Joe Galois, Inc. Wavefront Co-Chair in Organizing Committee for SPLASH 2015 Wavefront Co-Chair in Organizing Committee within the SPLASH Wavefront-track
Christoph KirschKirsch, Christoph University of Salzburg, AustriaGermany Fast, Multicore-Scalable, Low-Fragmentation Memory Allocation through Large Virtual Memory and Global Data Structures Fast, Multicore-Scalable, Low-Fragmentation Memory Allocation through Large Virtual Memory and Global Data Structures
Meike KlettkeKlettke, Meike Universität Rostock A Datalog-based Protocol for Lazy Data Migration in Agile NoSQL Application Development
Paul KlintKlint, Paul Committee Member in Program Committee within the SLE-track
Andrew KofinkKofink, Andrew North Carolina State UniversityUnited States Contributions of the Under-Appreciated: Gender Bias in an Open-Source Ecology
Bernd KolbKolb, Bernd itemis AG Towards Improving Software Security using Language Engineering and mbeddr C Using C Language Extensions for Developing Embedded Software: A Case Study
Alexey KolesnichenkoKolesnichenko, Alexey ETH Zurich Contract-Based General-Purpose GPU Programming
Dimitris KolovosKolovos, Dimitris Committee Member in Program Committee within the SLE-track
Fabio KonKon, Fabio University of São Paulo Committee Member in Program Committee for ETX 2015 Committee Member in Program Committee within the ETX-track
Adam KrafczykKrafczyk, Adam University of Hildesheim Analysing the Kconfig Semantics and its Analysis Tools
Matthias KrebsKrebs, Matthias TU Darmstadt, Germany A Co-Contextual Formulation of Type Rules and its Application to Incremental Type Checking
Murali Krishna RamanathanKrishna Ramanathan, Murali Indian Institute of Science, BangaloreIndia Committee Member in Program Committee within the SPLASH OOPSLA-track
Shriram KrishnamurthiKrishnamurthi, Shriram Brown UniversityUnited States Onward! 2014 Papers Chair in Steering Committee for SPLASH 2015 Committee Member in Steering Committee for Onward! 2015 Slimming Languages by Reducing Sugar: A Case for Semantics-Altering Transformations
Per Ola KristenssonKristensson, Per Ola University of Cambridge Understanding the Effects of Code Presentation Aiding Programmers using Lightweight Integrated Code Visualization
Stephan KruscheKrusche, Stephan Technische Universität MünchenGermany Committee Member in Program Committee for MobileDeLi 2015 Teaching Code Review Management using Branch Based Workflows Committee Member in Program Committee within the MobileDeLi-track
Christian KröherKröher, Christian University of Hildesheim Experience from Implementing a Complex Eclipse Extension for Software Product Line Engineering
Juraj KubelkaKubelka, Juraj University of Chile, ChileCzechia Spotter: Towards a Unified Search Interface in IDEs
Edlira KuciKuci, Edlira TU Darmstadt, Germany A Co-Contextual Formulation of Type Rules and its Application to Incremental Type Checking Toward Incremental Type Checking for Java
Thomas KuehneKuehne, Thomas Victoria University of Wellington Committee Member in Program Committee within the DSM -track
Prasad KulkarniKulkarni, Prasad University of KansasIndia Cross-Layer Memory Management for Managed Language Applications
Kuldeep KumarKumar, Kuldeep National University of Singapore Committee Member in Program Committee within the PROMOTO -track
Ranjan KumarKumar, Ranjan C-DAC Mumbai Challenges in Transition from Web to App
Viktor KunčakKunčak, Viktor EPFL, Switzerland Synthesizing Java Expressions from Free-Form Queries Automating Grammar Comparison Automating Grammar Comparison Programming with Enumerable Sets of Structures
Lindsey KuperKuper, Lindsey Intel Labs Session Chair of Session the Third (part of Onward! Papers) Prospect: Finding and Exploiting Parallelism in a Productivity Language for Scientific Computing The Future of Programming Languages and Programmers Committee Member in Program Committee within the Onward! Papers-track
Ivan KurajKuraj, Ivan Massachusetts Institute of Technology, USA Programming with Enumerable Sets of Structures
Young-Woo KwonKwon, Young-Woo Utah State University Mobile Devices as Interfaces for Steering Cloud-Based High-Performance Computations Committee Member in Program Committee within the MobileDeLi-track Committee Member in Program Committee within the GPCE -track Committee Member in Program Committee within the SPLASH Workshops-track
Oh-Ig KwounKwoun, Oh-Ig JPL Automating Engineering with a Domain-Specific Language and a Code Generator
Christian KästnerKästner, Christian Carnegie Mellon UniversityUnited States GPCE General Chair in Organizing Committee for SPLASH 2015 Committee Member in Steering Committee for GPCE 2015 General Chair in Organizing Committee for GPCE 2015 Session Chair of Session 7 (part of GPCE ) Invited talk: Parsing Unpreprocessed C Code - The TypeChef Experience Enforcing Fine-Grained Security and Privacy Policies in an Ecosystem within an Ecosystem
Franz KöferlKöferl, Franz Friedrich-Alexander-Universität Erlangen-Nürnberg Lightweight, Generative Variant Exploration for High-Performance Graphics Applications
Christian KöppeKöppe, Christian HAN University of Applied SciencesNetherlands Tool Demo - Teaching Software Architecture Concepts with HUSACCT Tackling Real World Complexity in a Software Engineering Student Project - An Experience Report
Thomas KühnKühn, Thomas TU Dresden, GermanyGermany A Combined Formal Model for Relational Context-Dependent Roles
L Nicholas LabichLabich, Nicholas University of Maryland at College Park, USA Incremental Computation with Names Incremental Computation with Names
Alexandros LabrineasLabrineas, Alexandros INRIA, France Runtime Pointer Disambiguation Runtime Pointer Disambiguation
Chung Leung LamLam, Chung Leung University of Cambridge Aiding Programmers using Lightweight Integrated Code Visualization
Patrick LamLam, Patrick University of Waterloo, Canada Student Research Competition Co-Chair in Organizing Committee for SPLASH 2015 Session Chair of Posters (part of SPLASH Student Research Competition) Session Chair of Talks (part of SPLASH Student Research Competition) SATCheck: SAT-Directed Stateless Model Checking for SC and TSO SATCheck: SAT-Directed Stateless Model Checking for SC and TSO Student Research Competition Co-Chair in Organizing Committee within the SPLASH Student Research Competition-track
Michele LanzaLanza, Michele University of Lugano, Switzerland Use at Your Own Risk: The Java Unsafe API in the Wild Use at Your Own Risk: The Java Unsafe API in the Wild
Nicolas LarreaLarrea, Nicolas VUB Connect.js: A cross mobile platform actor library for multi-networked mobile applications
Eric LarsonLarson, Eric Seattle University Committee Member in Program Committee for MobileDeLi 2015 Committee Member in Program Committee within the MobileDeLi-track
Florent LatombeLatombe, Florent University of Toulouse, FranceFrance Weaving Concurrency in eXecutable Domain-Specific Modeling Languages
Thomas LaTozaLaToza, Thomas George Mason UniversityUnited States Video Previews Czar in Organizing Committee for SPLASH 2015 Committee Member in Organizing Committee for PLATEAU 2015 Session Chair of Group Discussion (part of PLATEAU) Session Chair of Tools (part of PLATEAU) Evaluating Programming Languages and Tools in Studies with Human Participants Committee Member in Organizing Committee within the PLATEAU-track
Nicolas LaurentLaurent, Nicolas Université Catholique de Louvain, Belgium Parsing Expression Grammars Made Practical
Georg LausenLausen, Georg Committee Member in Program Committee within the DBPL-track
Erick LavoieLavoie, Erick McGill UniversityCanada Committee Member in Program Committee within the SPLASH OOPSLA Artifacts-track
Julia LawallLawall, Julia LIP6 Committee Member in Program Committee within the SPLASH OOPSLA-track
Claire Le GouesLe Goues, Claire Carnegie Mellon University Local Arrangements Chair in Organizing Committee for SPLASH 2015 Committee Member in Program Committee within the Onward! Papers-track
Vu LeLe, Vu University of California at Davis, USA Finding Deep Compiler Bugs via Guided Stochastic Program Mutation
Doug LeaLea, Doug State University of New York (SUNY) Oswego Committee Member in Steering Committee within the SPLASH -E-track Committee Member in Program Committee within the SPLASH -E-track Committee Member in External Review Committee within the SPLASH OOPSLA-track
Gary T. LeavensLeavens, Gary T. University of Central Florida SPLASH 2012 General Chair in Steering Committee for SPLASH 2015 Session Chair of 11. Programming Language Design (part of SPLASH OOPSLA) DS Invited Keynote Talk II: Lessons and Stories from My Career Committee Member in Organizing Committee within the SPLASH Demos-track Committee Member in External Review Committee within the SPLASH OOPSLA-track Committee Member in Organizing Committee within the SPLASH Doctoral Symposium-track
Richard LeblancLeblanc, Richard Seattle University Committee Member in Steering Committee within the SPLASH -E-track Committee Member in Program Committee within the SPLASH -E-track
Akos LedecziLedeczi, Akos Vanderbilt University Extensible Visual Constraint Language
Sung-Jae LeeLee, Sung-Jae Samsung Electronics Ultra Lightweight JavaScript Engine for Internet of Things: demonstration
Victor LeeLee, Victor Intel, CA, USA Committee Member in Program Committee within the SEPS-track
Wen-Chuan LeeLee, Wen-Chuan Purdue University, USA RAIVE: Runtime Assessment of Floating-Point Instability by Vectorization
Martin LehoferLehofer, Martin Siemens Corporate Technology CHARIOT: A Domain Specific Language for Extensible Cyber-Physical Systems
Roland LeißaLeißa, Roland Shallow Embedding of DSLs via Online Partial Evaluation
Philipp LeitnerLeitner, Philipp University of Zurich Runtime Metric Meets Developer - Building Better Cloud Applications Using Feedback
David LeopoldsederLeopoldseder, David Johannes Kepler University LinzAustria Java-to-JavaScript Translation via Structured Control Flow Reconstruction of Compiler IR
Mohsen LesaniLesani, Mohsen MIT Declarative Fence Insertion Declarative Fence Insertion
Mira LeungLeung, Mira University of British Columbia Continuous Testing in Introductory Computer Science Education
Grace LewisLewis, Grace Carnegie Mellon Software Engineering Institute Committee Member in Program Committee for MobileDeLi 2015 Committee Member in Program Committee within the MobileDeLi-track Committee Member in Program Committee within the PROMOTO -track
Ondřej LhotákLhoták, Ondřej University of Waterloo Static Analysis of Event-Driven Node.js JavaScript Applications
Du LiLi, Du Hewlett-Packard LabsChina Workshops Co-Chair in Organizing Committee for SPLASH 2015 Workshops Co-Chair in Program Committee within the SPLASH Workshops-track
Junsong LiLi, Junsong Brown University Slimming Languages by Reducing Sugar: A Case for Semantics-Altering Transformations
Shao Chun LiLi, Shao Chun IBM Research - Tokyo An Energy-Saving Framework for Mobile Devices Based on Crowdsourcing Intelligences
Xiangqi LiLi, Xiangqi University of Utah Medic: Metaprogramming and Trace-Oriented Debugging
Zhiyuan LiLi, Zhiyuan Purdue University, USA Committee Member in Program Committee within the SEPS-track
Guangtai LiangLiang, Guangtai IBM Research - China Session Chair of 3. Verification (part of SPLASH OOPSLA) An Energy-Saving Framework for Mobile Devices Based on Crowdsourcing Intelligences
Shuying LiangLiang, Shuying School of Computing, University of Utah Committee Member in Program Committee for MobileDeLi 2015 Committee Member in Program Committee within the MobileDeLi-track
Ben LiblitLiblit, Ben University of Wisconsin–Madison CSIclipse: Presenting Crash Analysis Data to Developers Recovering Execution Data from Incomplete Observations
Moritz LichterLichter, Moritz TU Darmstadt, Germany A Sound and Optimal Incremental Build System A Sound and Optimal Incremental Build System with Dynamic Dependencies
Alexander LierLier, Alexander Friedrich-Alexander-Universität Erlangen-Nürnberg Lightweight, Generative Variant Exploration for High-Performance Graphics Applications
Nistor LigiaLigia, Nistor Carnegie Mellon University The Oprop Verification Tool: Object Propositions in Action
David LillisLillis, David University College Dublin Exploring AOP from an OOP Perspective
Anthony Widjaja LinLin, Anthony Widjaja Yale-NUS College, SingaporeAustralia Detecting Redundant CSS Rules in HTML5 Applications: A Tree Rewriting Approach Detecting Redundant CSS Rules in HTML5 Applications: A Tree Rewriting Approach
Calvin LinLin, Calvin University of Texas at Austin, USA EXPLORER : Query- and Demand-Driven Exploration of Interprocedural Control Flow Properties
Jens LinckeLincke, Jens Hasso Plattner InstituteGermany Lively Groups: Shared Behavior in a World of Objects without Classes or Prototypes
Sam LindleyLindley, Sam University of Edinburgh Committee Member in Program Committee within the DBPL-track
Michael LippautzLippautz, Michael University of Salzburg, Austria Fast, Multicore-Scalable, Low-Fragmentation Memory Allocation through Large Virtual Memory and Global Data Structures Fast, Multicore-Scalable, Low-Fragmentation Memory Allocation through Large Virtual Memory and Global Data Structures
Chang LiuLiu, Chang University of Maryland Trace Obliviousness Computation
Yu David LiuLiu, Yu David State University of New York (SUNY) BinghamtonUnited States Doctoral Symposium Chair in Organizing Committee for SPLASH 2015 Session Chair of Research Reports 1 (part of WODA ) Toward a Java Based Infrastructure for Unmanned Aerial Vehicles Committee Member in Program Committee within the WODA -track Doctoral Symposium Chair in Organizing Committee within the SPLASH Doctoral Symposium-track
Ben LivshitsLivshits, Ben Microsoft Research Committee Member in Program Committee within the DLS-track
Francesco LogozzoLogozzo, Francesco Microsoft Research Committee Member in Organizing Committee within the SPLASH Demos-track
Daniel LohmannLohmann, Daniel Friedrich-Alexander University of Erlangen-Nürnberg Lightweight, Generative Variant Exploration for High-Performance Graphics Applications
Crista LopesLopes, Crista University of California, Irvine SPLASH SC Chair and OOPSLA 2013 PC Chair in Steering Committee for SPLASH 2015 PLMW Co-Chair in Organizing Committee for SPLASH 2015 How Scale Affects Structure in Java Programs How Scale Affects Structure in Java Programs Programming as Writing (and vice versa?) The Future of Programming Languages and Programmers Committee Member in Program Committee within the DLS-track PLMW Co-Chair in Organizing Committee within the SPLASH PLMW-track Programme Committee in Program Committee within the NOOL -track
Michael LopezLopez, Michael Texas A&M University Safer SDN programming through Arbiter
Hugo LourençoLourenço, Hugo OutSystems SA A common data manipulation language for nested data in heterogeneous environments.
Yi LuLu, Yi Oracle LabsAustralia Committee Member in Program Committee within the WODA -track
Brandon LuciaLucia, Brandon Carnegie Mellon University, USAUnited States Valor: Efficient, Software-Only Region Conflict Exceptions Valor: Efficient, Software-Only Region Conflict Exceptions
Luis M. Carril Luis M. Carril Interleaving generation for data race and deadlock reproduction
Qingzhou LuoLuo, Qingzhou University of Illinois at Urbana-Champaign Committee Member in Program Committee within the SPLASH OOPSLA Artifacts-track
Kris LuytenLuyten, Kris Hasselt University - tUL - iMinds A user study for comparing the programming efficiency of modifying executable multimodal interaction descriptions. A domain-specific language versus equivalent event-callback code
Steven LydeLyde, Steven Control-Flow Analysis of Dynamic Languages via Pointer Analysis
Hugo A. LópezLópez, Hugo A. Technical University of DenmarkColombia Protocol-Based Verification of Message-Passing Parallel Programs Protocol-Based Verification of Message-Passing Parallel Programs
Jesús J. López-FernándezLópez-Fernández, Jesús J. Autonomous University of Madrid, Spain Example-Based Validation of Domain-Specific Visual Languages
M Bradford M. BeckmannM. Beckmann, Bradford Advanced Micro Devices, Inc Remote-Scope Promotion: Clarified, Rectified, and Verified Remote-scope promotion: clarified, rectified, and verified
Steven M. BelknapM. Belknap, Steven Northwestern University Feinberg School of Medicine, Departmentof Dermatology POP-PL: A Patient-Oriented Prescription Programming Language
Ryan MacnakMacnak, Ryan Enforcing Object-based Access in Newspeak
Ravichandhran MadhavanMadhavan, Ravichandhran EPFL, SwitzerlandIndia Automating Grammar Comparison Automating Grammar Comparison
Magnus MadsenMadsen, Magnus University of Waterloo Static Analysis of Event-Driven Node.js JavaScript Applications
Pallavi MaiyaMaiya, Pallavi Indian Institute of Science, BangaloreIndia Committee Member in Program Committee within the SPLASH OOPSLA Artifacts-track
Dmitri MakarovMakarov, Dmitri University of LuganoRussia CLOP: A multi-stage compiler to seamlessly embed heterogeneous code Committee Member in Program Committee within the SPLASH OOPSLA Artifacts-track
Gregory MalechaMalecha, Gregory UCSD Using Dependent Types and Tactics to Enable Semantic Optimization of Language-Integrated Queries
Dennis ManclMancl, Dennis MSWX Wavefront Co-Chair in Organizing Committee for SPLASH 2015 Software Professionalism – Is it “Good Enough?” Committee Member in Organizing Committee within the Smart Software Strategies -track Wavefront Co-Chair in Organizing Committee within the SPLASH Wavefront-track
Mary Lynn MannsManns, Mary Lynn University of North Carolina Asheville, USAUnited States Fearless Change Journey PLoP Keynote: Keeping A Pattern Language Alive
Marc Aurel Kiefer Marc Aurel Kiefer An Empirical Study on Parallelism in Modern Open-source Projects
Andrian MarcusMarcus, Andrian University of Texas at Dallas The Use of Text Retrieval and Natural Language Processing in Software Engineering
Simon MarlowMarlow, Simon Facebook Fighting Spam with Haskell
Salome MaroMaro, Salome Chalmers University of Technology, Sweden On Integrating Graphical and Textual Editors for a UML Profile Based Domain Specific Language: An Industrial Experience
Eduardo MarquesMarques, Eduardo University of Lisbon, PortugalPortugal Protocol-Based Verification of Message-Passing Parallel Programs Protocol-Based Verification of Message-Passing Parallel Programs
Stefan MarrMarr, Stefan INRIA, FranceGermany A Formal Foundation for Trace-Based JIT Compilers Optimizing Communicating Event-Loop Languages with Truffle Just-in-Time Data Structures Towards Fully Reflective Environments Tracing vs. Partial Evaluation: Comparing Meta-compilation Approaches for Self-Optimizing Interpreters Tracing vs. Partial Evaluation: Comparing Meta-Compilation Approaches for Self-Optimizing Interpreters Committee Member in Program Committee within the AGERE!-track
Stuart MarshallMarshall, Stuart Victoria University of WellingtonNew Zealand Operators and precedence in programming languages
Chris MartensMartens, Chris Carnegie Mellon UniversityUnited States Panel: Graduate School: Why and How?
Jabier MartinezMartinez, Jabier University of Luxembourg Committee Member in Program Committee within the SPLASH OOPSLA Artifacts-track
Francisco MartinsMartins, Francisco University of Lisbon, Portugal Protocol-Based Verification of Message-Passing Parallel Programs Protocol-Based Verification of Message-Passing Parallel Programs
Fabio MascarenhasMascarenhas, Fabio UFRJBrazil A Formalization of Typed Lua
Luis MastrangeloMastrangelo, Luis University of Lugano, Switzerland Use at Your Own Risk: The Java Unsafe API in the Wild Use at Your Own Risk: The Java Unsafe API in the Wild
Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of Technology, JapanJapan Shiranui: A Live Programming with Support for Unit Testing Making Live Programming Practical by Bridging the Gap Between Trial-and-error Development and Unit Testing Fraglight: Shedding Light on Broken Pointcuts in Evolving Aspect-Oriented Software Pyrlang: A High Performance Erlang Virtual Machine Based on RPython
Nicholas MatsakisMatsakis, Nicholas Mozilla Corporation Concurrency in Rust: Data race safety with zero cost abstractions
Toni MattisMattis, Toni Hasso Plattner Institute Columnar Objects: Improving the Performance of Analytical Applications
Max MattoneMattone, Max Inria - Mines Douai Virtualization Support for Dynamic Core Library Update
Mikaël MayerMayer, Mikaël EPFL, Switzerland Automating Grammar Comparison Automating Grammar Comparison
Tanja MayerhoferMayerhofer, Tanja Vienna University of Technology, Austria XMLText: From XML Schema to Xtext Committee Member in Program Committee within the DSM -track
Ben McCamishMcCamish, Ben Oregon State University, USA Evaluating Work Distribution Patterns for Parallel Bitmap Compression over SMPs
Sean McDirmidMcDirmid, Sean Microsoft Research Programme Committee in Program Committee within the NOOL -track
Trevor L. McDonellMcDonell, Trevor L. Indiana University Committee Member in Program Committee within the SPLASH OOPSLA Artifacts-track
Kennon McKeeverMcKeever, Kennon The University of Arizona Experience Report: Constraint-Based Modeling of Autonomous Vehicle Trajectories
Kathryn S McKinleyMcKinley, Kathryn S Microsoft Research Committee Member in External Review Committee within the SPLASH OOPSLA-track
Nancy MeadMead, Nancy Carnegie Mellon Software Engineering Institute Software Professionalism – Is it “Good Enough?”
Flavio MedeirosMedeiros, Flavio Federal University of Campina GrandeBrazil Safely Evolving Configurable Systems
Flávio MedeirosMedeiros, Flávio Federal University of Campina Grande An Empirical Study on Configuration-Related Type Issues
Darya MelicherMelicher, Darya Carnegie Mellon University PLMW Co-Chair in Organizing Committee for SPLASH 2015 Ubiquitous Object Orientation to Foster the Advancement of Programming Languages What to Do at SPLASH Opening Remarks PLMW Co-Chair in Organizing Committee within the SPLASH PLMW-track
Richard MembarthMembarth, Richard German Research Center for Artificial Intelligence Shallow Embedding of DSLs via Online Partial Evaluation
Na MengMeng, Na University of Texas at Austin Committee Member in Program Committee for ETX 2015 Committee Member in Program Committee within the SPLASH OOPSLA Artifacts-track Committee Member in Program Committee within the ETX-track
Kim MensMens, Kim Université Catholique de Louvain, BelgiumBelgium Parsing Expression Grammars Made Practical
Bertrand MeyerMeyer, Bertrand ETH Zurich, Innopolis University and Eiffel SoftwareFrance Contract-Based General-Purpose GPU Programming
Mira MeziniMezini, Mira TU DarmstadtGermany Towards Secure Integration of Cryptographic Software Type Systems for the Masses: Deriving Soundness Proofs and Efficient Checkers A Co-Contextual Formulation of Type Rules and its Application to Incremental Type Checking Toward Incremental Type Checking for Java Committee Member in Program Committee within the Onward! Essays-track Committee Member in External Review Committee within the SPLASH OOPSLA-track
Florian MichahellesMichahelles, Florian Siemans Committee Member in Program Committee within the PROMOTO -track
Hiroko MidorikawaMidorikawa, Hiroko Seikei University Committee Member in Program Committee within the SEPS-track
Matthew MightMight, Matthew University of Utah, USAUnited States Control-Flow Analysis of Dynamic Languages via Pointer Analysis Galois Transformers and Modular Abstract Interpreters: Reusable Metatheory for Program Analysis
Hiroki MikamiMikami, Hiroki Annotatable Systrace: An Extended Linux ftrace for Tracing a Parallelized Program
Tommi MikkonenMikkonen, Tommi Tampere University of Technology Committee Member in Program Committee within the PROMOTO -track
Mae MilanoMilano, Mae Cornell University Committee Member in Program Committee within the SPLASH OOPSLA Artifacts-track
Gary MillerMiller, Gary University of Technology Sydney The Spreadsheet Paradigm: A Basis for Powerful and Accessible Programming
Kevin MillikinMillikin, Kevin Google Committee Member in Program Committee within the DLS-track
Todd MillsteinMillstein, Todd University of California at Los Angeles, USA OOPSLA 2014 PC Chair in Steering Committee for SPLASH 2015 Checks and Balances - Constraint Solving without Surprises in Object-Constraint Programming Languages Checks and Balances: Constraint Solving without Surprises in Object-Constraint Programming Languages Committee Member in Program Committee within the SPLASH OOPSLA-track
Adam MilwardMilward, Adam University of Oxford Domain Specific Modelling for Clinical Research
David MilwardMilward, David Domain Specific Modelling for Clinical Research
Pedram Mir Seyed NazariMir Seyed Nazari, Pedram RWTH Aachen University Management of Guided and Unguided Code Generator Customizations by Using a Symbol Table Adaptable Symbol Table Management by Meta Modeling and Generation of Symbol Table Infrastructures
Eliot MirandaMiranda, Eliot Cadence Design Systems Spur: Efficient Support for Live Programming in Dynamic Languages
Raffaela MirandolaMirandola, Raffaela Politecnico di Milano Committee Member in Program Committee within the GPCE -track
Miran MirzaMirza, Miran Carleton University Collaborative Annotations for Large Touchscreen Web Applications
Pranjal MittalMittal, Pranjal Oregon State University Assessing the Benefits of Computational Offloading in Mobile-Cloud Applications
Andrea MocciMocci, Andrea University of Lugano, Switzerland Use at Your Own Risk: The Java Unsafe API in the Wild Use at Your Own Risk: The Java Unsafe API in the Wild
Ragnar MogkMogk, Ragnar Technische Universität Darmstadt Reactive Interfaces: Combining Events and Expressing Signals Concurrency Control for Multithreaded Reactive Programming
Zaur MolotnikovMolotnikov, Zaur Fortiss Towards Improving Software Security using Language Engineering and mbeddr C
Hisham MuhammadMuhammad, Hisham PUC-Rio Reactive Traversal of Recursive Data Types
Andre Murbach MaidlMurbach Maidl, Andre PUCPRBrazil A Formalization of Typed Lua
Gail MurphyMurphy, Gail University of British Columbia Onward! 2015 Papers Chair in Steering Committee for SPLASH 2015 Onward! PC Chair in Organizing Committee for SPLASH 2015 Onward! 2015 Papers Chair in Organizing Committee for Onward! 2015 Committee Member in Steering Committee for Onward! 2015 Session Chair of Session the Fourth (part of Onward! Papers) Onward! PC Chair in Program Committee within the Onward! Papers-track
Emerson Murphy-HillMurphy-Hill, Emerson North Carolina State UniversityUnited States Committee Member in Program Committee within the Onward! Papers-track
Brad A. MyersMyers, Brad A. Carnegie Mellon UniversityUnited States Promoto Keynote: Towards More Natural Programming for Mobile and Touch Comparing Transitive to Intransitive Object Immutability Committee Member in Program Committee within the PLATEAU-track
Hanspeter MössenböckMössenböck, Hanspeter Johannes Kepler University LinzAustria Efficient Dynamic Analysis of the Synchronization Performance of Java Applications Optimizing Communicating Event-Loop Languages with Truffle High-Performance Cross-Language Interoperability in a Multi-Language Runtime Java-to-JavaScript Translation via Structured Control Flow Reconstruction of Compiler IR Committee Member in Program Committee within the WODA -track
Anders MøllerMøller, Anders Aarhus University Message Safety in Dart Stateless Model Checking of Event-Driven Applications Committee Member in External Review Committee within the SPLASH OOPSLA-track
Peter MüllerMüller, Peter ETH Zurich Committee Member in Program Committee within the SPLASH OOPSLA-track
N Tahmid NabiNabi, Tahmid Oregon State University Assessing the Benefits of Computational Offloading in Mobile-Cloud Applications
Sarah NadiNadi, Sarah Technische Universität Darmstadt Towards Secure Integration of Cryptographic Software
Mayur NaikNaik, Mayur Georgia Tech Committee Member in Program Committee within the SPLASH OOPSLA-track
Sebastian NanzNanz, Sebastian ETH Zurich Contract-Based General-Purpose GPU Programming
Priya NarasimhanNarasimhan, Priya Carnegie Mellon UniversityUnited States GPCE Keynote: "Technologies to Enable the Next-Generation Stadium and Fan Experience" by Priya Narasimhan
Iulian NeamtiuNeamtiu, Iulian University of California at Riverside, USAUnited States Improving the Android Development Lifecycle with the VALERA Record-and-replay Approach Versatile yet Lightweight Record-and-Replay for Android Committee Member in Program Committee within the MobileDeLi-track
Patrick NeubauerNeubauer, Patrick Vienna University of Technology, AustriaItaly XMLText: From XML Schema to Xtext
Thomas NeumannNeumann, Thomas TU MunichGermany Program Co-Chair in Program Committee within the DBPL-track
Julie L. NewcombNewcomb, Julie L. University of California at Berkeley Committee Member in Program Committee within the SPLASH OOPSLA Artifacts-track
Timothy NewtonNewton, Timothy Rice University, USA Exploiting Parallelism in Mobile Devices
Nicholas NgNg, Nicholas Imperial College London, UK Protocol-Based Verification of Message-Passing Parallel Programs Protocol-Based Verification of Message-Passing Parallel Programs
Hoan NguyenNguyen, Hoan Iowa State UniversityVietnam Demonstrating Programming Language Feature Mining Using Boa Mining Programming Language Usage with Boa Consensus-based Mining of API Preconditions in Big Code
Honghanh NguyenNguyen, Honghanh JPL Automating Engineering with a Domain-Specific Language and a Code Generator
Long Tien NguyenNguyen, Long Tien University of California at Los Angeles, USA The Cuneiform Tablets of 2015
Tien N. NguyenNguyen, Tien N. Iowa State University Demonstrating Programming Language Feature Mining Using Boa Mining Programming Language Usage with Boa Consensus-based Mining of API Preconditions in Big Code
Angela NicoaraNicoara, Angela Intel Labs Committee Member in Program Committee within the SPLASH Workshops-track
Jens NicolayNicolay, Jens A Formal Foundation for Trace-Based JIT Compilers Committee Member in Program Committee within the SPLASH OOPSLA Artifacts-track
Oscar NierstraszNierstrasz, Oscar University of Bern, SwitzerlandSwitzerland Towards moldable development tools The Moldable Inspector GTInspector: A Moldable Domain-Aware Object Inspector Spotter: Towards a Unified Search Interface in IDEs
Al NiessnerNiessner, Al JPL Automating Engineering with a Domain-Specific Language and a Code Generator
Jianwei NiuNiu, Jianwei Real-Time Deadlines in Functional-Reactive Programming
Ashwin NivanguneNivangune, Ashwin C-DAC, Mumba Challenges in Transition from Web to App
Charlotte NiznikNiznik, Charlotte Northwestern University Feinberg School of Medicine, Departmentof Dermatology POP-PL: A Patient-Oriented Prescription Programming Language
James NobleNoble, James Victoria University of Wellington Session Chair of Systems OO Languages (part of NOOL ) Delegation is Not Quite Inheritance Welcome Session Operators and precedence in programming languages From APIs to Languages: Generalising Method Names Committee Member in Program Committee within the DLS-track Committee Member in Program Committee within the PLATEAU-track Comfy Chair in Organizing Committee within the NOOL -track Committee Member in Program Committee within the SPLASH OOPSLA-track
Carlos NogueraNoguera, Carlos Vrije Universiteit Brussel Model Querying with Query Models
Boyana NorrisNorris, Boyana Lighthouse: A Taxonomy-based Solver Selection Tool
Linda NorthropNorthrop, Linda Carnegie Mellon University Committee Member in Program Committee within the Onward! Essays-track
Gian NtzikNtzik, Gian Imperial College London, UK Reasoning about the POSIX File System: Local Update and Global Pathnames
Nate NystromNystrom, Nate University of Lugano, Switzerland Use at Your Own Risk: The Java Unsafe API in the Wild Use at Your Own Risk: The Java Unsafe API in the Wild
O Lina OchoaOchoa, Lina University of Los Andes, Colombia Using Decision Rules for Solving Conflicts in Extended Feature Models
Martin OderskyOdersky, Martin EPFL, SwitzerlandGermany Isolates, Channels and Event Streams for Composable Distributed Programming Automating Ad-hoc Data Representation Transformations Automating Ad-hoc Data Representation Transformations
Hakjoo OhOh, Hakjoo Korea University, South Korea Learning a Strategy for Adapting a Program Analysis via Bayesian Optimisation
Takeshi OhkawaOhkawa, Takeshi Empirical Performance Study of Speculative Parallel Processing on Commercial Multi-core CPU with Hardware Transactional Memory
Peter OhmannOhmann, Peter University of Wisconsin - Madison CSIclipse: Presenting Crash Analysis Data to Developers Recovering Execution Data from Incomplete Observations
Miguel Oliveira e SilvaOliveira e Silva, Miguel Proposal for an Object-Oriented Multiple Dispatch Mechanism
Bruno C. d. S. OliveiraOliveira, Bruno C. d. S. University of Hong Kong, China Scrap your Boilerplate with Object Algebras Scrap your Boilerplate with Object Algebras
Cyrus OmarOmar, Cyrus Carnegie Mellon UniversityUnited States Modular Syntax
C.-H. Luke OngOng, C.-H. Luke University of Oxford, UK Detecting Redundant CSS Rules in HTML5 Applications: A Tree Rewriting Approach Detecting Redundant CSS Rules in HTML5 Applications: A Tree Rewriting Approach
Bill OpdykeOpdyke, Bill JP Morgan Chase & Co Committee Member in Organizing Committee within the Smart Software Strategies -track
Jesper OqvistOqvist, Jesper Lund University Shipshape: An Open Program Analysis Platform Analyze your Java Source Code with ExtendJ
Joel OssherOssher, Joel University of California, Irvine How Scale Affects Structure in Java Programs How Scale Affects Structure in Java Programs
Klaus OstermannOstermann, Klaus University of Marburg Committee Member in Program Committee within the DBPL-track
Kanemitsu OtsuOtsu, Kanemitsu Utsunomiya UniversityJapan Empirical Performance Study of Speculative Parallel Processing on Commercial Multi-core CPU with Hardware Transactional Memory
Peizhao OuOu, Peizhao University of California at Irvine, USA AutoMO: Automatic Inference of Memory Order Parameters for C/C++11 AutoMO: Automatic Inference of Memory Order Parameters for C/C++11
P Dennis P. WestP. West, Dennis Northwestern University Feinberg School of Medicine, Departmentof Dermatology POP-PL: A Patient-Oriented Prescription Programming Language
Luca PadovaniPadovani, Luca Italy The Chemical Approach to Typestate-Oriented Programming
David PaduaPadua, David University of Illinois at Urbana-ChampaignUnited States Vectorization of Apply to Reduce Interpretation Overhead of R Vectorization of Apply to Reduce Interpretation Overhead of R
Richard PaigePaige, Richard University of YorkCanada SLE General Chair in Organizing Committee for SPLASH 2015 SLE Steering Committee Member in Steering Committee for SLE 2015 General Chair in Organizing Committee for SLE 2015
Karl PalmskogPalmskog, Karl SEPS Invited Tallk: Hybrid Inference of Semantics for Software Adaptation
Jens PalsbergPalsberg, Jens University of California at Los Angeles, USA Declarative Fence Insertion Declarative Fence Insertion
Rahul PanditaPandita, Rahul North Carolina State University Committee Member in Program Committee within the PROMOTO -track
Marc PantelPantel, Marc University of Toulouse, France Weaving Concurrency in eXecutable Domain-Specific Modeling Languages
Tobias PapePape, Tobias Hasso-Plattner-Institute, PotsdamGermany Language Independent Storage Strategies for Tracing JIT based VMs
Sean ParentParent, Sean Adobe Systems, Inc. Generating Reactive Programs for Graphical User Interfaces from Multi-way Dataflow Constraint Systems
Chris ParninParnin, Chris Georgia TechUnited States Committee Member in Program Committee within the PLATEAU-track
Terence ParrParr, Terence University of San Francisco Committee Member in Program Committee within the SLE-track
Alex PaynePayne, Alex The Department of Better Technology Committee Member in Organizing Committee within the Future Programming Workshop-track
David J. PearcePearce, David J. Victoria University of WellingtonNew Zealand SLE Steering Committee Member in Steering Committee for SLE 2015 Session Chair of Tools I (part of SLE) Whiley: a Better C? Some Usability Hypotheses for Verification The Whiley Rewrite Language (WyRL) Committee Member in Program Committee within the SLE-track
Fernando Magno Quintão PereiraPereira, Fernando Magno Quintão Federal University of Minas Gerais, Brazil Runtime Pointer Disambiguation Runtime Pointer Disambiguation
Roly PereraPerera, Roly Behavioural Prototypes
Miquel PericàsPericàs, Miquel Chalmers University of Technology, Sweden Committee Member in Program Committee within the SEPS-track
Andrea PeruffoPeruffo, Andrea Akka.js: Towards a portable actor runtime environment
Igor PeshanskyPeshansky, Igor GoogleUnited States Demos Co-Chair in Organizing Committee for SPLASH 2015 Demos Co-Chair in Organizing Committee within the SPLASH Demos-track
John PetersonPeterson, John Western State Colorado University Tool Demo - PyFRP: Function Reactive Programming in Python Lightning Talk #4 - Music and Computing – Integrating Computer Science into the Music Curriculum
Erez PetrankPetrank, Erez Technion, Israel Automatic Memory Reclamation for Lock-Free Data Structures
Tomas PetricekPetricek, Tomas University of Cambridge, UK The Gamma: Programming tools for data journalism Against a Universal Definition of Type
Frank PfenningPfenning, Frank Carnegie Mellon UniversityGermany Objects as Session-Typed Processes
Michael PhilippsenPhilippsen, Michael University of Erlangen-Nuremberg, GermanyGermany Committee Member in Program Committee within the SEPS-track
Alfonso PierantonioPierantonio, Alfonso University of L'Aquila, Italy Supporting Users to Manage Breaking and Unresolvable Changes in Coupled Evolution Managing Uncertainty in Bidirectional Model Transformations Committee Member in Program Committee within the SLE-track
Frank PiessensPiessens, Frank iMinds - Distrinet, KU LeuvenBelgium Generating Safe Boundary APIs between Typed EDSLs and their Environments
Luís PinaPina, Luís Imperial College London, UKPortugal Towards Deployment-Time Dynamic Analysis of Server Applications Committee Member in Program Committee within the SPLASH OOPSLA Artifacts-track
Gustavo PintoPinto, Gustavo UFPE A Study on the Most Popular Questions About Concurrent Programming
Marco PistoiaPistoia, Marco IBM Research, USAItaly Panel: “Mobile security: methods and challenges during development” Automatic Detection, Correction and Visualization of Security Vulnerabilities in Mobile Apps ShamDroid: Gracefully Degrading Functionality in the Presence of Limited Resource Access
Guillermo PolitoPolito, Guillermo InriaArgentina Virtualization Support for Dynamic Core Library Update A Bootstrapping Infrastructure to Build and Extend Pharo-like Languages
Joe Gibbs PolitzPolitz, Joe Gibbs Swarthmore CollegeUnited States Slimming Languages by Reducing Sugar: A Case for Semantics-Altering Transformations Committee Member in Program Committee within the DLS-track
Alex PolozovPolozov, Alex University of Washington, USAUkraine FlashMeta: A Framework for Inductive Program Synthesis
Luigi PomantePomante, Luigi University of L’Aquila Committee Member in Program Committee for MobileDeLi 2015 Committee Member in Program Committee within the MobileDeLi-track
Justin PombrioPombrio, Justin Slimming Languages by Reducing Sugar: A Case for Semantics-Altering Transformations
Luca PonzanelliPonzanelli, Luca University of Lugano, Switzerland Use at Your Own Risk: The Java Unsafe API in the Wild Use at Your Own Risk: The Java Unsafe API in the Wild
Chris PoskittPoskitt, Chris ETH Zurich, SwitzerlandUnited Kingdom Contract-Based General-Purpose GPU Programming
Alex PotaninPotanin, Alex Victoria University of WellingtonNew Zealand Publications Chair in Organizing Committee for SPLASH 2015 Session Chair of Designing OO Languages (part of NOOL ) Session Chair of Concurrent OO Languages (part of NOOL ) Session Chair of Typing OO Languages (part of NOOL ) Welcome Session Life in Academia After Your PhD General Chair in Organizing Committee within the NOOL -track
Michael PradelPradel, Michael TU Darmstadt, Germany Session Chair of 7. Runtime (part of SPLASH OOPSLA) Performance Problems You Can Fix: A Dynamic Analysis of Memoization Opportunities Performance Problems You Can Fix: A Dynamic Analysis of Memoization Opportunities Committee Member in Program Committee within the SPLASH Student Research Competition-track Committee Member in Program Committee within the SEPS-track Committee Member in Program Committee within the SPLASH OOPSLA-track
Subhav PradhanPradhan, Subhav Vanderbilt University CHARIOT: A Domain Specific Language for Extensible Cyber-Physical Systems
David PritchardPritchard, David University of Waterloo, CanadaCanada Frequency Distribution of Error Messages
Aleksandar ProkopecProkopec, Aleksandar EPFL Isolates, Channels and Event Streams for Composable Distributed Programming
Jonathan ProtzenkoProtzenko, Jonathan Microsoft Research PROMOTO Keynote: The BBC micro:bit Implementing real-time collaboration in TouchDevelop using AST merges
Leo PruijtPruijt, Leo Hogeschool Utrecht Tool Demo - Teaching Software Architecture Concepts with HUSACCT Tackling Real World Complexity in a Software Engineering Student Project - An Experience Report
Arno PuderPuder, Arno Iowa State University Committee Member in Program Committee within the PROMOTO -track
R Paul R. YarnoldR. Yarnold, Paul Optimal Data Analysis LLC POP-PL: A Patient-Oriented Prescription Programming Language
Hridesh RajanRajan, Hridesh Iowa State University, USAUnited States Effectively Mapping Linguistic Abstractions for Message-Passing Concurrency to Threads on the Java Virtual Machine Demonstrating Programming Language Feature Mining Using Boa Mining Programming Language Usage with Boa Consensus-based Mining of API Preconditions in Big Code Committee Member in Program Committee within the REBLS -track Committee Member in Program Committee within the GPCE -track
Belinda RandolphRandolph, Belinda JPL Automating Engineering with a Domain-Specific Language and a Code Generator
Awais RashidRashid, Awais Lancaster University, UK Fraglight: Shedding Light on Broken Pointcuts in Evolving Aspect-Oriented Software
Fabrice RastelloRastello, Fabrice INRIA, France Runtime Pointer Disambiguation Runtime Pointer Disambiguation
Daniel RatiuRatiu, Daniel Committee Member in Program Committee within the SLE-track
Veselin RaychevRaychev, Veselin ETH Zurich, SwitzerlandBulgaria Scalable Race Detection for Android Applications Scalable Race Detection for Android Applications Scalable Concurrency Analysis for Android Applications Stateless Model Checking of Event-Driven Applications
Derek RaysideRayside, Derek University of Waterloo Committee Member in Program Committee within the Onward! Papers-track
Najwani RazaliRazali, Najwani Victoria University of WellingtonNew Zealand Operators and precedence in programming languages
Stefan ReichhartReichhart, Stefan n.n., Switzerland Spotter: Towards a Unified Search Interface in IDEs
Patrick ReinRein, Patrick Hasso Plattner Institute Columnar Objects: Improving the Performance of Analytical Applications
Jan S. RellermeyerRellermeyer, Jan S. IBM Research Workshops Co-Chair in Organizing Committee for SPLASH 2015 Panel: “Mobile security: methods and challenges during development” Workshops Co-Chair in Program Committee within the SPLASH Workshops-track
Thierry RenauxRenaux, Thierry Vrije Universiteit Brussel Indexing RETE's Working Memory - Catering to Dynamic Changes of the Ruleset Logical Reactive Programming
John ReppyReppy, John University of Chicago Bulk-Synchronous Communication Mechanisms in Diderot
Thomas RepsReps, Thomas University of Wisconsin - Madison and Grammatech Inc.United States Recovering Execution Data from Incomplete Observations Partial Evaluation of Machine Code
Bob ReyndersReynders, Bob iMinds - Distrinet, KU Leuven Generating Safe Boundary APIs between Typed EDSLs and their Environments
Márcio RibeiroRibeiro, Márcio Federal University of Alagoas (UFAL) An Empirical Study on Configuration-Related Type Issues Committee Member in Program Committee within the Onward! Papers-track Committee Member in Program Committee within the GPCE -track
Alessandro RicciRicci, Alessandro University of BolognaItaly Session Chair of Keynote + Abstraction (part of AGERE!) Programming Abstractions for Augmented Worlds Committee Member in Organizing Committee within the AGERE!-track
Gregor RichardsRichards, Gregor University of Waterloo Committee Member in External Review Committee within the SPLASH OOPSLA-track
Andrew RichardsonRichardson, Andrew University of British Columbia Continuous Testing in Introductory Computer Science Education
Martin C. RinardRinard, Martin C. Massachusetts Institute of Technology, USA Energy Efficient Computation in Topaz Approximate Computation with Outlier Detection in Topaz
Jan Oliver RingertRingert, Jan Oliver Tel Aviv UniversityGermany Composing Code Generators for C&C ADLs With Application-Specific Behavior Languages (Tool Demonstration)
Davide RipamontiRipamonti, Davide Politecnico di Milano, Italy An Empirical Study on Simplification of Business Process Modeling Languages
Nico RitschelRitschel, Nico TU Darmstadt, Germany Modular Capture Avoidance for Program Transformations
Behnam RobatmiliRobatmili, Behnam Qualcomm Research Server-Side Type Profiling for Optimizing Client-Side JavaScript Engines
Romain RobbesRobbes, Romain University of Chile Tutorials Co-Chair in Organizing Committee for SPLASH 2015 Is Functional Programming Better for Modularity? Tutorials Co-Chair in Organizing Committee within the SPLASH Tutorials-track Committee Member in Program Committee within the PLATEAU-track
Forrest RobinsonRobinson, Forrest University of Kansas, USA Cross-Layer Memory Management for Managed Language Applications
Juri Di RoccoRocco, Juri Di Università di L'Aquila Supporting Users to Manage Breaking and Unresolvable Changes in Coupled Evolution
Ricardo RochaRocha, Ricardo FCUP, Universidade do Porto, PortugalPortugal Committee Member in Program Committee within the SEPS-track
Iran RodriguesRodrigues, Iran Federal University of Alagoas An Empirical Study on Configuration-Related Type Issues
Marko RodriguezRodriguez, Marko DataStax DBPL Keynote: The Gremlin Graph Traversal Machine and Language
Ken RoeRoe, Ken The Johns Hopkins University Tool Demo - PyFRP: Function Reactive Programming in Python
Tiark RompfRompf, Tiark Purdue & Oracle Labs Session Chair of 12. Performance (part of SPLASH OOPSLA) Session Chair of Session 2 (part of GPCE ) Committee Member in Program Committee within the GPCE -track Committee Member in Program Committee within the SPLASH OOPSLA-track
Gianni RosaRosa, Gianni University of L'Aquila, Italy Managing Uncertainty in Bidirectional Model Transformations
Boaz RosenanRosenan, Boaz University of Haifa Separation of Powers in the Cloud: Where Applications and Users Become Peers Committee Member in Program Committee within the SPLASH OOPSLA Artifacts-track
Davide RossiRossi, Davide University of Bologna Committee Member in Program Committee within the PROMOTO -track
Matti RossiRossi, Matti Aalto University School of Business Committee Member in Organizing Committee within the DSM -track
Mary Beth RossonRosson, Mary Beth Pennsylvania State UniversityUnited States PLATEAU Keynote: Computational Thinking for All: Expanding the Boundaries of Computing for Nonprogrammers
Alexander RothRoth, Alexander Software Engineering RWTH Aachen University Management of Guided and Unguided Code Generator Customizations by Using a Symbol Table Mixed Generative and Handcoded Development of Adaptable data-centric Business Applications
Andreas RothRoth, Andreas SAP Runtime Metric Meets Developer - Building Better Cloud Applications Using Feedback
Atanas RountevRountev, Atanas Ohio State University Committee Member in Program Committee within the WODA -track
Tom RoushRoush, Tom Rice University, USA Exploiting Parallelism in Mobile Devices
Indrajit RoyRoy, Indrajit HP Labs Committee Member in Program Committee within the SPLASH OOPSLA-track
Abhik RoychoudhuryRoychoudhury, Abhik National University of Singapore Symbolic Techniques for Software Debugging and Repair
Grigore RoşuRoşu, Grigore University of Illinois at Urbana-Champaign Committee Member in Program Committee within the SPLASH OOPSLA-track
Bernhard RumpeRumpe, Bernhard RWTH Aachen University, Germany Management of Guided and Unguided Code Generator Customizations by Using a Symbol Table Mixed Generative and Handcoded Development of Adaptable data-centric Business Applications Adaptable Symbol Table Management by Meta Modeling and Generation of Symbol Table Infrastructures Composing Code Generators for C&C ADLs With Application-Specific Behavior Languages (Tool Demonstration) Committee Member in Program Committee within the DSM -track Committee Member in Program Committee within the SEPS-track
Seán RussellRussell, Seán University College Dublin Exploring AOP from an OOP Perspective
Christopher RéRé, Christopher Committee Member in Program Committee within the DBPL-track
Laurent RéveillèreRéveillère, Laurent Committee Member in Program Committee within the GPCE -track
S Feras SaadSaad, Feras MIT BayesDB: Query the Probable Implications of Data
Guido SalvaneschiSalvaneschi, Guido TU Darmstadt Committee Member in Organizing Committee within the REBLS -track
Malavika SamakSamak, Malavika Indian Institute of Science, BangaloreIndia Committee Member in Program Committee within the SPLASH OOPSLA Artifacts-track
Hesam SamimiSamimi, Hesam SAP Labs Constraints as a Design Pattern
Adrian SampsonSampson, Adrian Cornell University & Microsoft Research Probability Type Inference for Flexible Approximate Programming
Lamont SamuelsSamuels, Lamont University of Chicago Bulk-Synchronous Communication Mechanisms in Diderot
Jake SandlundSandlund, Jake Braintree An end-user programming environment that's cell-based, copy/paste friendly, with a flat and forward execution model
Juan Pablo Sandoval AlcocerSandoval Alcocer, Juan Pablo Universidad Católica Boliviana San PabloBolivia Tracking Down Performance Variation Against Source Code Evolution
Francisco Sant'AnnaSant'Anna, Francisco PUC-RioBrazil Reactive Traversal of Recursive Data Types Committee Member in Program Committee within the AGERE!-track
César SantosSantos, César University of Lisbon, Portugal Protocol-Based Verification of Message-Passing Parallel Programs Protocol-Based Verification of Message-Passing Parallel Programs
Vivek SarkarSarkar, Vivek Rice University Exploiting Parallelism in Mobile Devices
Carlo SartianiSartiani, Carlo Typing Regular Path Query Languages for Data Graphs
Jennifer B. SartorSartor, Jennifer B. Vrije Universiteit Brussel Just-in-Time Data Structures
Annabel SatinSatin, Annabel Treasurer & Conference Manager in Organizing Committee for SPLASH 2015
Yukinori SatoSato, Yukinori Tokyo Institute of TechnologyJapan Session Chair of Modeling and techniques for parallel software (part of SEPS) Investigating Potential Performance Benefits of Memory Layout Optimization based on Roofline Model Exana: An Execution-driven Application Analysis Tool for Assisting Productive Performance Tuning Organizing Committe in Organizing Committee within the SEPS-track
Jason SawinSawin, Jason University of St. Thomas, USA Evaluating Work Distribution Patterns for Parallel Bitmap Compression over SMPs
Vibha SazawalSazawal, Vibha University of MarylandUnited States Lightning Talk #2 - A Temporal Weighted Grading Scheme for Software Design Courses
Ina SchaeferSchaefer, Ina Name Resolution Strategies in Variability Realization Languages for Software Product Lines Generative Software Product Line Development using Variability-Aware Design Patterns
Roland SchatzSchatz, Roland Johannes Kepler University Linz High-Performance Cross-Language Interoperability in a Multi-Language Runtime
Maximilian ScherrScherr, Maximilian Almost First-Class Language Embedding: Taming Staged Embedded DSLs
Stefanie ScherzingerScherzinger, Stefanie A Datalog-based Protocol for Lazy Data Migration in Agile NoSQL Application Development Committee Member in Program Committee within the DBPL-track
Eric SchkufzaSchkufza, Eric Stanford University Conditionally Correct Superoptimization
Klaus SchmidSchmid, Klaus Stiftung Universistat Hildesheim Experience from Implementing a Complex Eclipse Extension for Software Product Line Engineering Analysing the Kconfig Semantics and its Analysis Tools Committee Member in Program Committee within the GPCE -track
Douglas C. SchmidtSchmidt, Douglas C. Vanderbilt University Gaps and Future Directions in Mobile Security Research
Thomas C. SchmidtSchmidt, Thomas C. HAW Hamburg Manyfold Actors: Extending the C++ Actor Framework to Heterogeneous Many-Core Machines using OpenCL
Christophe ScholliersScholliers, Christophe Vrije Universiteit BrusselBelgium Connect.js: A cross mobile platform actor library for multi-networked mobile applications
Bernhard ScholzScholz, Bernhard Oracle Labs, Australia Giga-Scale Exhaustive Points-To Analysis for Java in Under a Minute Giga-Scale Exhaustive Points-To Analysis for Java in Under a Minute
Ulrik Pagh SchultzSchultz, Ulrik Pagh University of Southern Denmark Committee Member in Steering Committee for GPCE 2015 Session Chair of Session 3 (part of GPCE ) Towards Tool Support for Spreadsheet-based Domain-Specific Languages
Christopher SchusterSchuster, Christopher Live Programming for Event-Based Languages
Sven SchusterSchuster, Sven Technische Universität Braunschweig Name Resolution Strategies in Variability Realization Languages for Software Product Lines Generative Software Product Line Development using Variability-Aware Design Patterns
Mathias SchwarzSchwarz, Mathias Uber AarhusDenmark Message Safety in Dart
Malte SchwerhoffSchwerhoff, Malte ETH Zurich, Switzerland Committee Member in Program Committee within the SPLASH OOPSLA Artifacts-track
Robert SeacordSeacord, Robert Secure Coding Institute MobileDeli Keynote: Mobile security
Chris SeatonSeaton, Chris Oracle Labs / University of ManchesterUnited Kingdom High-Performance Cross-Language Interoperability in a Multi-Language Runtime
Horner SegelSegel, Horner Alcatel-Lucent Committee Member in Program Committee within the PROMOTO -track
Christoph SeidlSeidl, Christoph Technische Universität Braunschweig Name Resolution Strategies in Variability Realization Languages for Software Product Lines Generative Software Product Line Development using Variability-Aware Design Patterns
Kai SelgradSelgrad, Kai Friedrich-Alexander-Universität Erlangen-Nürnberg Lightweight, Generative Variant Exploration for High-Performance Graphics Applications
Koushik SenSen, Koushik University of California, Berkeley Concolic Testing: A Decade Later
Aritra SenguptaSengupta, Aritra Ohio State University Efficient Support for Strong Semantics in Transactional and Non-transactional Programs
Abdelhak SeriaiSeriai, Abdelhak LIRMM, CNRS and University of Montpellier Migrating Large Object-oriented Applications into Component-based ones: Instantiation and Inheritance Transformation
Manuel SerranoSerrano, Manuel INRIAFrance DLS Papers Chair in Organizing Committee for SPLASH 2015 Requesting heterogeneous data sources with array comprehensions in Hop.js Program Chair in Program Committee within the DLS-track
Isra ShabirShabir, Isra Massachusetts Institute of Technology Measuring the Usability and Capability of App Inventor to Create Mobile Applications
Clifford ShafferShaffer, Clifford Virginia Tech Committee Member in Program Committee within the SPLASH -E-track
Seyyed ShahShah, Seyyed University of Oxford Domain Specific Modelling for Clinical Research
Rahul SharmaSharma, Rahul Stanford UniversityIndia Conditionally Correct Superoptimization
Helen SharpSharp, Helen The Open UniversityUnited Kingdom The Role of Ethnography in Programming Language Research: Developer-Centered Design of Languages and Tools
Anas ShatnawiShatnawi, Anas LIRMM, CNRS and University of Montpellier Migrating Large Object-oriented Applications into Component-based ones: Instantiation and Inheritance Transformation
Mary ShawShaw, Mary Carnegie Mellon University PLoP Keynote: Progress Toward an Engineering Discipline of Software Software Engineering Research Patterns Mining Focus Group Software Professionalism – Is it “Good Enough?”
Mark ShermanSherman, Mark CERT Committee Member in Program Committee for MobileDeLi 2015 Committee Member in Program Committee within the MobileDeLi-track
Mamoru ShimaokaShimaoka, Mamoru Annotatable Systrace: An Extended Linux ftrace for Tracing a Parallelized Program
Shimpei Sato Shimpei Sato Investigating Potential Performance Benefits of Memory Layout Optimization based on Roofline Model Exana: An Execution-driven Application Analysis Tool for Assisting Productive Performance Tuning
Andrey ShitovShitov, Andrey Ultra Lightweight JavaScript Engine for Internet of Things: demonstration
Forrest ShullShull, Forrest Software Engineering Institute Comparing Transitive to Intransitive Object Immutability
Janet SiegmundSiegmund, Janet University of Passau Germany Committee Member in Program Committee within the PLATEAU-track
Norbert SiegmundSiegmund, Norbert University of Passau Committee Member in Program Committee within the GPCE -track
Jeremy G. SiekSiek, Jeremy G. Indiana UniversityUnited States Committee Member in Program Committee within the SPLASH OOPSLA-track
Alberto SillittiSillitti, Alberto Center for Applied Software EngineeringItaly Committee Member in Organizing Committee for PROMOTO 2015 Session Chair of Session 1 (part of PROMOTO ) Committee Member in Organizing Committee within the PROMOTO -track
Peter SimonyiSimonyi, Peter Carleton UniversityCanada Supporting ``What-If'' in Touch-Screen Web Applications
Marjan SirjaniSirjani, Marjan Reykjavik UniversityIceland Jacco: More Efficient Model Checking Toolset for Java Actor Programs
Wolfgang SlanySlany, Wolfgang Institute of Software Technology, Graz University of Technology Austria Committee Member in Program Committee within the PROMOTO -track
Anthony SloaneSloane, Anthony SLE Steering Committee Member in Steering Committee for SLE 2015
Philipp SlusallekSlusallek, Philipp German Research Center for Artificial Intelligence Shallow Embedding of DSLs via Online Partial Evaluation
Yannis SmaragdakisSmaragdakis, Yannis University of Athens Why Do a PhD and How to Pick an Area Automating Ad-hoc Data Representation Transformations Automating Ad-hoc Data Representation Transformations Committee Member in Program Committee within the SPLASH Student Research Competition-track Committee Member in Program Committee within the GPCE -track Committee Member in Program Committee within the SPLASH OOPSLA-track
Kari SmolanderSmolander, Kari Lappeenranta University of Technology Committee Member in Program Committee within the DSM -track
Ana SokolovaSokolova, Ana University of Salzburg, Austria Fast, Multicore-Scalable, Low-Fragmentation Memory Allocation through Large Virtual Memory and Global Data Structures Fast, Multicore-Scalable, Low-Fragmentation Memory Allocation through Large Virtual Memory and Global Data Structures
Monika SolankiSolanki, Monika University of Oxford Domain Specific Modelling for Clinical Research
Alejandro SoteloSotelo, Alejandro Universidad de los Andes GOLD: A Graph Oriented Language Implemented Using the Eclipse Xtext FrameWork
Robert SouléSoulé, Robert University of LuganoSwitzerland Committee Member in Program Committee within the SPLASH OOPSLA-track
David SpivakSpivak, David MIT Relational Foundations for Functorial Data Migration
Jonathan SprinkleSprinkle, Jonathan University of ArizonaUnited States Experience Report: Constraint-Based Modeling of Autonomous Vehicle Trajectories Committee Member in Organizing Committee within the DSM -track
Jaswanth SreeramSreeram, Jaswanth TwitterUnited States Committee Member in Program Committee within the SPLASH OOPSLA-track
Manu SridharanSridharan, Manu Samsung Research America Selective Control-Flow Abstraction via Jumping Selective Control-Flow Abstraction via Jumping
Venkatesh SrinivasanSrinivasan, Venkatesh University of Wisconsin-Madison, USAIndia Partial Evaluation of Machine Code
Lukas StadlerStadler, Lukas Oracle LabsAustria Java-to-JavaScript Translation via Structured Control Flow Reconstruction of Compiler IR
Marc StammingerStamminger, Marc Friedrich-Alexander-Universität Erlangen-Nürnberg Lightweight, Generative Variant Exploration for High-Performance Graphics Applications
Guy L. Steele Jr.Steele Jr., Guy L. Oracle Labs Onward! Essays Chair in Organizing Committee for SPLASH 2015 Onward! Essays Chair in Organizing Committee for SPLASH 2015 Onward! Essays Chair in Organizing Committee for Onward! 2015 Committee Member in Steering Committee for Onward! 2015 Onward! Essays Chair in Program Committee within the Onward! Essays-track
Andreas StefikStefik, Andreas University of Nevada, Las Vegas United States On the Need to Define Community Agreements for Controlled Experiments with Human Subjects -- A Discussion Paper Committee Member in Program Committee within the PLATEAU-track
Jan-Philipp SteghöferSteghöfer, Jan-Philipp Chalmers University of Technology, Sweden On Integrating Graphical and Textual Editors for a UML Profile Based Domain Specific Language: An Industrial Experience
Friedrich SteimannSteimann, Friedrich Fernuniversität in Hagen Committee Member in External Review Committee within the SPLASH OOPSLA-track
Michael SteindorferSteindorfer, Michael CWI, Netherlands Optimizing Hash-Array Mapped Tries for Fast and Lean Immutable JVM Collections Optimizing Hash-Array Mapped Tries for Fast and Lean Immutable JVM Collections
Anthony StevensStevens, Anthony IBM Committee Member in Program Committee within the PROMOTO -track
Gianluca StivanStivan, Gianluca UniCredit R&D Akka.js: Towards a portable actor runtime environment
Fabio StroccoStrocco, Fabio Aarhus University, DenmarkItaly Message Safety in Dart
Uta StörlStörl, Uta HS Darmstadt A Datalog-based Protocol for Lazy Data Migration in Agile NoSQL Application Development
Zhendong SuSu, Zhendong University of California at Davis, USAUnited States Finding Deep Compiler Bugs via Guided Stochastic Program Mutation Automated Backward Error Analysis for Numerical Code Committee Member in External Review Committee within the SPLASH OOPSLA-track
Kevin SullivanSullivan, Kevin University of VirginiaUnited States Onward! Steering Committee Chair in Steering Committee for Onward! 2015 Committee Member in Program Committee within the Onward! Essays-track
Nick SumnerSumner, Nick Simon Fraser University Posters Co-Chair in Organizing Committee for SPLASH 2015 Session Chair of Poster Session (part of SPLASH Posters) Posters Co-Chair in Organizing Committee within the SPLASH Posters-track
Chengnian SunSun, Chengnian University of California at Davis, USA Finding Deep Compiler Bugs via Guided Stochastic Program Mutation
Haiyang SunSun, Haiyang Università della Svizzera italiana Custom Full-Coverage Dynamic Program Analysis for Android
Weibin SunSun, Weibin Google Inc.United States Committee Member in Program Committee for MobileDeLi 2015 Committee Member in Program Committee within the MobileDeLi-track
Yu SunSun, Yu Cal Poly Pomona Committee Member in Program Committee for MobileDeLi 2015
Yu SunSun, Yu Vanderbilt University Committee Member in Program Committee within the DSM -track
Yu SunSun, Yu Cal Poly Pomona Committee Member in Program Committee within the MobileDeLi-track
Joshua SunshineSunshine, Joshua Carnegie Mellon University Committee Member in Organizing Committee for PLATEAU 2015 Session Chair of Programming Languages Papers (part of PLATEAU) Session Chair of Group Discussion (part of PLATEAU) Comparing Transitive to Intransitive Object Immutability Enforcing Fine-Grained Security and Privacy Policies in an Ecosystem within an Ecosystem SE & PL Research Overview Committee Member in Organizing Committee within the PLATEAU-track
Philippe SuterSuter, Philippe IBM ResearchSwitzerland Committee Member in External Review Committee within the SPLASH OOPSLA-track
Casper Svenning JensenSvenning Jensen, Casper Aarhus University, Denmark Stateless Model Checking of Event-Driven Applications
Aliaksei SyrelSyrel, Aliaksei University of Bern, Switzerland The Moldable Inspector GTInspector: A Moldable Domain-Aware Object Inspector Spotter: Towards a Unified Search Interface in IDEs
Eugene SyrianiSyriani, Eugene University of Montreal Committee Member in Program Committee within the SLE-track
Emma SöderbergSöderberg, Emma Google Inc.Sweden Shipshape: An Open Program Analysis Platform Analyze your Java Source Code with ExtendJ Committee Member in Program Committee within the PLATEAU-track
T Nicolas TabareauTabareau, Nicolas Inria Gradual Certified Programming in Coq
Patrick TagueTague, Patrick Carnegie Mellon University Panel: “Mobile security: methods and challenges during development”
Shingo TakadaTakada, Shingo Keio University Committee Member in Program Committee for MobileDeLi 2015 Committee Member in Program Committee within the MobileDeLi-track
Silvia TakahashiTakahashi, Silvia Systems and Computing Engineering Department , Universidad de los Andes , Bogotá, Colombia Colombia GOLD: A Graph Oriented Language Implemented Using the Eclipse Xtext FrameWork
Takashi Yokota Takashi Yokota Empirical Performance Study of Speculative Parallel Processing on Commercial Multi-core CPU with Hardware Transactional Memory
Asumu TakikawaTakikawa, Asumu Northeastern UniversityUnited States Committee Member in Program Committee within the SPLASH OOPSLA Artifacts-track
Hiroyuki TakizawaTakizawa, Hiroyuki Graduatte School of Information Sciences, Tohoku UniversityJapan Committee Member in Program Committee within the SEPS-track
Watanabe TakuyaTakuya, Watanabe Edirium K.K. Fraglight: Shedding Light on Broken Pointcuts in Evolving Aspect-Oriented Software
Sumant TambeTambe, Sumant Real-Time Innovations, Inc. Committee Member in Program Committee within the GPCE -track
Ilie Gabriel TanaseTanase, Ilie Gabriel IBM Research Committee Member in Program Committee within the SPLASH Workshops-track
Éric TanterTanter, Éric University of Chile, ChileChile Gradual Certified Programming in Coq Customizable Gradual Polymorphic Effects for Scala Customizable Gradual Polymorphic Effects for Scala Committee Member in Program Committee within the SPLASH OOPSLA-track
Olivier TardieuTardieu, Olivier IBM Research Committee Member in Program Committee within the DLS-track
Fernando Tarin MoralesTarin Morales, Fernando The University of Tokyo / National Institute of Informatics Abstract Rewriting Approach to Solve Datalog Programs
Zachary TatlockTatlock, Zachary University of Washington, SeattleUnited States PLMW Co-Chair in Organizing Committee for SPLASH 2015
Leopoldo TeixeiraTeixeira, Leopoldo Federal University of PernambucoBrazil An Empirical Study on Configuration-Related Type Issues
William H TempsTemps, William H Northwestern University Feinberg School of Medicine, Departmentof Dermatology POP-PL: A Patient-Oriented Prescription Programming Language
Masaaki TeraiTerai, Masaaki RIKENJapan Committee Member in Program Committee within the SEPS-track
Josh TerrellTerrell, Josh California Polytechnic University KinEdit: A Tool to Help Developers Refactor Manually
Camille TeruelTeruel, Camille INRIA Access Control to Reflection with Object Ownership
Lauritz ThamsenThamsen, Lauritz TU Berlin Lively Groups: Shared Behavior in a World of Objects without Classes or Prototypes
Peter ThiemannThiemann, Peter University of FreiburgGermany Committee Member in Steering Committee for Onward! 2015
Thomas ThümThüm, Thomas University of UlmGermany Committee Member in Program Committee for ETX 2015 Using Decision Rules for Solving Conflicts in Extended Feature Models Committee Member in Program Committee within the SPLASH Workshops-track Committee Member in Program Committee within the ETX-track
Chouki TibermacineTibermacine, Chouki LIRMM, CNRS and University of MontpellierFrance Migrating Large Object-oriented Applications into Component-based ones: Instantiation and Inheritance Transformation
Matthias TichyTichy, Matthias University of Ulm, Germany On Integrating Graphical and Textual Editors for a UML Profile Based Domain Specific Language: An Industrial Experience
Walter F. TichyTichy, Walter F. Karlsruhe Institute of Technology Interleaving generation for data race and deadlock reproduction
Hunter TidwellTidwell, Hunter Rice University, USA Exploiting Parallelism in Mobile Devices
Eli TilevichTilevich, Eli Virginia Tech SPLASH-E Co-Chair in Organizing Committee for SPLASH 2015 Session Chair of Session 1 - Real-world Data (part of SPLASH -E) Session Chair of Session 3 (part of SPLASH -E) Session Chair of Session 4 (part of SPLASH -E) Session Chair of Session 2 (part of SPLASH -E) Assessing the Benefits of Computational Offloading in Mobile-Cloud Applications Mobile Devices as Interfaces for Steering Cloud-Based High-Performance Computations Musiplectics: Computational Assessment of the Complexity of Music Scores Native-2-Native: Automated Cross-Platform Code Synthesis from Web-Based Programming Resources Heterogeneous Device Hopping: Bridging the Mobile Cross-Platform Gap Via a Declarative Query Language Post-workshop Discussion SPLASH-E Introduction Session 2 & Demos Discussion SPLASH-E Chair in Organizing Committee within the SPLASH -E-track
Nikolai TillmannTillmann, Nikolai Microsoft Committee Member in Program Committee within the PROMOTO -track
Frank TipTip, Frank Samsung Research AmericaUnited States Session Chair of 9. Compilation & Dynamic Analysis (part of SPLASH OOPSLA) Static Analysis of Event-Driven Node.js JavaScript Applications Committee Member in Program Committee within the SPLASH OOPSLA-track
Massimo TisiTisi, Massimo Session Chair of Profiling and program analysis (part of SEPS)
Massimo TisiTisi, Massimo ATL-MR: Model Transformation on MapReduce Distributed Model-to-Model Transformation with ATL on MapReduce
Dann ToliverToliver, Dann Coordinating extensibility with CoLingua
Juha-Pekka TolvanenTolvanen, Juha-Pekka MetaCase Committee Member in Organizing Committee within the DSM -track Committee Member in Program Committee within the SLE-track
Mads TorgersenTorgersen, Mads Microsoft What is a compiler? We thought we knew…
Emina TorlakTorlak, Emina University of WashingtonUnited States Toward tool support for interactive synthesis
Matías ToroToro, Matías University of Chile, Chile Customizable Gradual Polymorphic Effects for Scala Customizable Gradual Polymorphic Effects for Scala
Massimo TorquatiTorquati, Massimo Computer Science Department - University of Pisa, ItalyItaly Committee Member in Program Committee within the SEPS-track
Weslley TorresTorres, Weslley Federal University of Pernambuco A Study on the Most Popular Questions About Concurrent Programming
Omer TrippTripp, Omer IBM Research, USA Automatic Detection, Correction and Visualization of Security Vulnerabilities in Mobile Apps ShamDroid: Gracefully Degrading Functionality in the Presence of Limited Resource Access
Javier TroyaTroya, Javier Vienna University of Technology, Austria XMLText: From XML Schema to Xtext
Petr TumaTuma, Petr Charles University, Czech Republic Committee Member in Program Committee within the WODA -track Committee Member in Program Committee within the GPCE -track
Shmuel TyszberowiczTyszberowicz, Shmuel The Academic College of Tel-Aviv Yaffo Committee Member in Program Committee for MobileDeLi 2015 Committee Member in Program Committee within the MobileDeLi-track
U Naoyasu UbayashiUbayashi, Naoyasu Kyushu UniversityJapan Committee Member in Program Committee within the DSM -track
Faheem UllahUllah, Faheem ETH Zurich, Switzerland Profiling for Detecting Performance Anomalies in Concurrent Software
Eric UmuhozaUmuhoza, Eric Politecnico di Milano, ItalyRwanda Automatic Code Generation for Cross-platform, Multi-Device Mobile Apps: Some Reflections from an Industrial Experience An Empirical Study on Simplification of Business Process Modeling Languages
Ganesha UpadhyayaUpadhyaya, Ganesha Iowa State University, USAIndia Effectively Mapping Linguistic Abstractions for Message-Passing Concurrency to Threads on the Java Virtual Machine
Shmuel UrUr, Shmuel Ur InnovationIsrael Committee Member in Program Committee within the SEPS-track
Caterina UrbanUrban, Caterina École Normale Supérieure Committee Member in Organizing Committee within the SPLASH Demos-track
Vlad UrecheUreche, Vlad EPFL, SwitzerlandRomania Automating Ad-hoc Data Representation Transformations Automating Ad-hoc Data Representation Transformations
V Elmer van Chasteletvan Chastelet, Elmer Delft University of Technology Conf.Researchr.Org: Towards a Domain-Specific Content Management System for Managing Large Conference Websites
Tom Van CutsemVan Cutsem, Tom Alcatel-Lucent Bell LabsBelgium Functional Reactive Programming with nothing but Promises (Implementing Push/Pull FRP using JavaScript Promises) ECMAScript 2015: the future of JavaScript is now! Committee Member in Program Committee within the AGERE!-track
Simon Van de WaterVan de Water, Simon VUB Indexing RETE's Working Memory - Catering to Dynamic Changes of the Ruleset
Jan Van den BerghVan den Bergh, Jan Hasselt University - tUL - iMinds A user study for comparing the programming efficiency of modifying executable multimodal interaction descriptions. A domain-specific language versus equivalent event-callback code
Mark van den Brandvan den Brand, Mark SLE Steering Committee Member in Steering Committee for SLE 2015
Jan Van den BusscheVan den Bussche, Jan Hasselt University and Transnational University of Limburg Relative Expressive Power of Downward Fragments of Navigational Query Languages on Trees and Chains
Tijs van der Stormvan der Storm, Tijs CWI Web & Publicity in Organizing Committee for SPLASH 2015 SPLASH-I Co-Chair in Organizing Committee for SPLASH 2015 Session Chair of Session 4 (part of GPCE ) Session Chair of Third Session (part of Parsing@SLE ) Session Chair of Model and Program Transformation (part of SLE) Modular Interpreters for the Masses: Implicit Context Propagation Using Object Algebras Scrap your Boilerplate with Object Algebras Scrap your Boilerplate with Object Algebras Committee Member in Program Committee within the SLE-track Committee Member in Organizers within the SPLASH -I-track
Arie van Deursenvan Deursen, Arie Delft University of Technology, NetherlandsNetherlands Using C Language Extensions for Developing Embedded Software: A Case Study
Dirk Van GuchtVan Gucht, Dirk Indiana University Relative Expressive Power of Downward Fragments of Navigational Query Languages on Trees and Chains
David Van HornVan Horn, David University of Maryland at College Park, USA Incremental Computation with Names Incremental Computation with Names Galois Transformers and Modular Abstract Interpreters: Reusable Metatheory for Program Analysis
Eric Van WykVan Wyk, Eric University of Minnesota SLE Steering Committee Member in Steering Committee for SLE 2015 Session Chair of Second Session (part of Parsing@SLE ) Committee Member in Program Committee within the Onward! Papers-track
Maarten VandercammenVandercammen, Maarten Vrije Universiteit Brussel A Formal Foundation for Trace-Based JIT Compilers
Stijn VansummerenVansummeren, Stijn Université Libre de Bruxelles Relative Expressive Power of Downward Fragments of Navigational Query Languages on Trees and Chains
Carlos VarelaVarela, Carlos Rensselaer Polytechnic Institute, US Session Chair of Keynote + Abstraction (part of AGERE!) A Performance and Scalability Analysis of Actor Message Passing and Migration in SALSA Lite Committee Member in Organizing Committee within the AGERE!-track
Daniel VarroVarro, Daniel Committee Member in Program Committee within the SLE-track
Vasco T. VasconcelosVasconcelos, Vasco T. University of Lisbon, Portugal Protocol-Based Verification of Message-Passing Parallel Programs Protocol-Based Verification of Message-Passing Parallel Programs
Mandana VaziriVaziri, Mandana IBM Thomas J. Watson Research Center ActiveSheets: Stream Processing with a Spreadsheet
Martin VechevVechev, Martin ETH Zurich, SwitzerlandBulgaria Scalable Race Detection for Android Applications Scalable Race Detection for Android Applications Scalable Concurrency Analysis for Android Applications Stateless Model Checking of Event-Driven Applications
Annette VeeVee, Annette University of Pittsburgh Programming as Writing (and vice versa?)
Nalini VenkatasubramanianVenkatasubramanian, Nalini University of California, Irvine Committee Member in Program Committee within the GPCE -track
Tim VerbelenVerbelen, Tim Ghent University Committee Member in Program Committee for ETX 2015 Committee Member in Organizing Committee for ETX 2015 Workshop opening Androsgi: bringing the power of OSGi to Android Committee Member in Program Committee within the ETX-track
Didier VernaVerna, Didier EPITA / LRDEFrance Committee Member in Program Committee within the DLS-track
John VilkVilk, John University of Massachusetts, AmherstUnited States Committee Member in Program Committee within the SPLASH OOPSLA Artifacts-track
Jurgen VinjuVinju, Jurgen CWI, Netherlands SLE Steering Committee Member in Steering Committee for SLE 2015 Optimizing Hash-Array Mapped Tries for Fast and Lean Immutable JVM Collections Optimizing Hash-Array Mapped Tries for Fast and Lean Immutable JVM Collections
Eelco VisserVisser, Eelco Delft University of TechnologyNetherlands Web Technology Chair in Organizing Committee for SPLASH 2015 Committee Member in Steering Committee for Onward! 2015 Session Chair of 2. Domain Specific Languages (part of SPLASH OOPSLA) Improving Syntactic Completion Towards Abstract-Syntax-Preserving Grammar Migrations DLS Keynote: Declare Your Language Conf.Researchr.Org: Towards a Domain-Specific Content Management System for Managing Large Conference Websites Committee Member in Program Committee within the SPLASH OOPSLA-track
Jan VitekVitek, Jan Northeastern UniversitySwitzerland SIGPLAN Chair in Steering Committee for SPLASH 2015 SPLASH-I Co-Chair in Organizing Committee for SPLASH 2015 Repeatability, Reproducibility and Rigor in CS Research Committee Member in Program Committee within the DLS-track Committee Member in Organizers within the SPLASH -I-track
Nic VolanschiVolanschi, Nic Inria Bordeaux An Evaluation of the DiaSuite Toolset by Professional Developers
Keval VoraVora, Keval University of California at Riverside, USA RAIVE: Runtime Assessment of Floating-Point Instability by Vectorization
Violetta VylegzhaninaVylegzhanina, Violetta Vanderbilt University Committee Member in Program Committee for MobileDeLi 2015 Gaps and Future Directions in Mobile Security Research Committee Member in Program Committee within the MobileDeLi-track
Markus VölterVölter, Markus itemis, Germany Program Co-Chair in Organizing Committee for SLE 2015 Session Chair of SLE/GPCE Keynote (part of SLE) Towards Improving Software Security using Language Engineering and mbeddr C Opening Language-Oriented Business Applications: Helping End Users become Programmers Using C Language Extensions for Developing Embedded Software: A Case Study
W Guido WachsmuthWachsmuth, Guido Delft University of TechnologyGermany Improving Syntactic Completion Towards Abstract-Syntax-Preserving Grammar Migrations Committee Member in Program Committee within the SLE-track
Walter Tichy Walter Tichy An Empirical Study on Parallelism in Modern Open-source Projects
Haichuan WangWang, Haichuan University of Illinois at Urbana-ChampaignChina Vectorization of Apply to Reduce Interpretation Overhead of R Vectorization of Apply to Reduce Interpretation Overhead of R
Wei-Jen WangWang, Wei-Jen National Central UniversityTaiwan Committee Member in Program Committee within the AGERE!-track
Xinyu WangWang, Xinyu UT Austin EXPLORER : Query- and Demand-Driven Exploration of Interprocedural Control Flow Properties
Alessandro WarthWarth, Alessandro SAP Labs Constraints as a Design Pattern
Anthony I. (Tony) WassermanWasserman, Anthony I. (Tony) Carnegie Mellon Silicon Valley Committee Member in Program Committee for MobileDeLi 2015 Committee Member in Program Committee within the MobileDeLi-track
Garret WassermannWassermann, Garret CERT Coordination Center Panel: “Mobile security: methods and challenges during development”
Takuo WatanabeWatanabe, Takuo Tokyo Institute of TechnologyJapan Actario: A Framework for Reasoning About Actor Systems Committee Member in Program Committee within the AGERE!-track
Josh WatzmanWatzman, Josh Facebook Changing Engines in Flight: Facebook's Conversion to Hack
Sam WeberWeber, Sam Software Engineering Institute Comparing Transitive to Intransitive Object Immutability
Timo WegelerWegeler, Timo Independent Consultant Committee Member in Program Committee within the DSM -track
Shiyi WeiWei, Shiyi Virginia Tech Committee Member in Program Committee within the SPLASH OOPSLA Artifacts-track
Josef WeidendorferWeidendorfer, Josef Technische Universität München, GermanyGermany Committee Member in Program Committee within the SEPS-track
Manuel WeielWeiel, Manuel TU Darmstadt, Germany A Sound and Optimal Incremental Build System A Sound and Optimal Incremental Build System with Dynamic Dependencies
Adam WelcWelc, Adam Oracle Labs Committee Member in External Review Committee within the SPLASH OOPSLA-track
James WelchWelch, James University of Oxford Domain Specific Modelling for Clinical Research
Daniel WendelWendel, Daniel MIT AGERE! Keynote: Concurrent, Distributed Thinking for First-time Programmers in StarLogo Nova
David M. WestWest, David M. Transcendence, USA The Cuban Software Revolution: 2016–2025
Jules WhiteWhite, Jules Vanderbilt University Gaps and Future Directions in Mobile Security Research Committee Member in Program Committee within the GPCE -track
John WickersonWickerson, John Imperial College LondonUnited Kingdom Remote-Scope Promotion: Clarified, Rectified, and Verified Remote-scope promotion: clarified, rectified, and verified
Werner WildWild, Werner University of InnsbruckAustria Software Professionalism – Is it “Good Enough?”
Elizabeth WilliamsWilliams, Elizabeth University of Alabama Publicity Chair in Organizing Committee for MobileDeLi 2015 Publicity Chair in Organizing Committee within the MobileDeLi-track
Jeff WilsonWilson, Jeff Carleton University Collaborative Annotations for Large Touchscreen Web Applications Supporting ``What-If'' in Touch-Screen Web Applications
Christian WimmerWimmer, Christian Oracle Labs Java-to-JavaScript Translation via Structured Control Flow Reconstruction of Compiler IR
Manuel WimmerWimmer, Manuel Vienna University of Technology, Austria XMLText: From XML Schema to Xtext Committee Member in Program Committee within the SLE-track
Rebecca Wirfs-BrockWirfs-Brock, Rebecca Wirfs-Brock Associates Improving Writer’s Workshop by Introducing Checklists and Perspectives Generative Processes of Community with the Fundamental Properties
Ryan WisneskyWisnesky, Ryan Session Chair of Session 3 (part of DBPL) Using Dependent Types and Tactics to Enable Semantic Optimization of Language-Integrated Queries Relational Foundations for Functorial Data Migration Committee Member in Program Committee within the DBPL-track
Pascal WittmannWittmann, Pascal TU Darmstadt Type Systems for the Masses: Deriving Soundness Proofs and Efficient Checkers
Eric WohlstadterWohlstadter, Eric University of British Columbia Committee Member in Program Committee within the GPCE -track
Andreas WortmannWortmann, Andreas RWTH Aachen UniversityGermany Composing Code Generators for C&C ADLs With Application-Specific Behavior Languages (Tool Demonstration)
Tobias WrigstadWrigstad, Tobias Uppsala UniversitySweden Inversion in Programming Language Design: The Encore Way Measuring Polymorphism in Python Programs Disjointness Domains for Fine-Grained Aliasing Committee Member in Program Committee within the SPLASH OOPSLA-track
Nicolas WuWu, Nicolas University of Bristol, UK Relational Algebra by way of Adjunctions
Peng WuWu, Peng Huawei America LabChina Vectorization of Apply to Reduce Interpretation Overhead of R When CT meets IT: Programming Challenges in the age of ICT Convergence Vectorization of Apply to Reduce Interpretation Overhead of R The Future of Programming Languages and Programmers
Yuqing WuWu, Yuqing Indiana University Relative Expressive Power of Downward Fragments of Navigational Query Languages on Trees and Chains
Thomas WuerthingerWuerthinger, Thomas Oracle Labs High-Performance Cross-Language Interoperability in a Multi-Language Runtime
Adam WynneWynne, Adam Bosch Research and Technology Center Enforcing Fine-Grained Security and Privacy Policies in an Ecosystem within an Ecosystem
Leonard WörtelerWörteler, Leonard University of Konstanz Function Inlining in XQuery 3.0 Optimization
X Benjamin XieXie, Benjamin Massachusetts Institute of Technology Measuring the Usability and Capability of App Inventor to Create Mobile Applications
Tao XieXie, Tao University of Illinois at Urbana-Champaign Software Analytics: Achievements and Challenges Committee Member in External Review Committee within the SPLASH OOPSLA-track
Harry XuXu, Harry University of California, IrvineUnited States Session Chair of Keynote (part of WODA ) Session Chair of Extended Abstracts (part of WODA ) Co-chair in Organizing Committee within the WODA -track Committee Member in Organizing Committee within the SPLASH Doctoral Symposium-track
Y Eran YahavYahav, Eran TechnionIsrael Committee Member in Program Committee within the SPLASH OOPSLA-track
Hiroshi YamaguchiYamaguchi, Hiroshi The University of Tokyo Inverse macro in Scala
Hongseok YangYang, Hongseok University of Oxford, UK Learning a Strategy for Adapting a Program Analysis via Bayesian Optimisation
Shohei YasutakeYasutake, Shohei Tokyo Institute of TechnologyJapan Actario: A Framework for Reasoning About Actor Systems
Jaeheon YiYi, Jaeheon Google Committee Member in Program Committee within the SPLASH Workshops-track
Kwangkeun YiYi, Kwangkeun Seoul National University, South Korea Learning a Strategy for Adapting a Program Analysis via Bayesian Optimisation
Joe YoderYoder, Joe The Refactory, Inc.United States Improving Writer’s Workshop by Introducing Checklists and Perspectives Generative Processes of Community with the Fundamental Properties Committee Member in Organizing Committee within the PLoP -track
Nobuko YoshidaYoshida, Nobuko Imperial College London, UK Session Chair of 13. Type Systems (part of SPLASH OOPSLA) Inversion in Programming Language Design: The Encore Way Protocol-Based Verification of Message-Passing Parallel Programs Protocol-Based Verification of Message-Passing Parallel Programs Committee Member in Program Committee within the AGERE!-track Committee Member in Program Committee within the SPLASH OOPSLA-track
Tomofumi YukiYuki, Tomofumi Publicity Chair in Organizing Committee for GPCE 2015
Yutaka Matsuno Yutaka Matsuno Empirical Performance Study of Speculative Parallel Processing on Commercial Multi-core CPU with Hardware Transactional Memory
Z Arvin ZakeriyanZakeriyan, Arvin University of Tehran Jacco: More Efficient Model Checking Toolset for Java Actor Programs
Jesse ZamanZaman, Jesse Vrije Universiteit Brussel A Flow-Based Programming Framework for Mobile App development
Carlos ZapataZapata, Carlos Universidad Nacional de Colombia Lightning Talk #3 - Why a theory for software engineering teaching is important
Vadim ZaytsevZaytsev, Vadim Committee Member in Program Committee within the SLE-track
Yegeta ZelekeZeleke, Yegeta University of California Santa CruzEthiopia Experience Report: Constraint-Based Modeling of Autonomous Vehicle Trajectories
Charles ZhangZhang, Charles Hong Kong University of Science and TechnologyHong Kong Committee Member in Program Committee within the SPLASH OOPSLA-track
Dongmei ZhangZhang, Dongmei Microsoft Research, China Software Analytics: Achievements and Challenges
Haoyuan ZhangZhang, Haoyuan University of Hong Kong, China Scrap your Boilerplate with Object Algebras Scrap your Boilerplate with Object Algebras
Minjia ZhangZhang, Minjia Ohio State University, USAChina SIRe: An Efficient Snapshot Isolation-based Memory Model for Detecting and Tolerating Region Conflicts Valor: Efficient, Software-Only Region Conflict Exceptions Valor: Efficient, Software-Only Region Conflict Exceptions Committee Member in Program Committee within the SPLASH OOPSLA Artifacts-track
Wei ZhangZhang, Wei IBM Research Committee Member in Program Committee within the SPLASH Workshops-track
Xiangyu ZhangZhang, Xiangyu Purdue University, USA RAIVE: Runtime Assessment of Floating-Point Instability by Vectorization
Jianjun ZhaoZhao, Jianjun Shanghai Jiao Tong University Committee Member in Program Committee within the WODA -track
Tian ZhaoZhao, Tian University of Wisconsin-Milwaukee Type Inference of Asynchronous Arrows in JavaScript
Xinghui ZhaoZhao, Xinghui Washington State UniversityUnited States Session Chair of Performance tuning and auto-tuning (part of SEPS) Evaluating Work Distribution Patterns for Parallel Bitmap Compression over SMPs Organizing Committe in Organizing Committee within the SEPS-track
Yudi ZhengZheng, Yudi University of LuganoChina Accurate Profiling in the Presence of Dynamic Compilation Accurate Profiling in the Presence of Dynamic Compilation Custom Full-Coverage Dynamic Program Analysis for Android Publicity Chair in Organizing Committee within the WODA -track
Yunhui ZhengZheng, Yunhui IBM Research RAIVE: Runtime Assessment of Floating-Point Instability by Vectorization
Lukasz ZiarekZiarek, Lukasz State University of New York (SUNY) Buffalo Session Chair of 5. Mobility (part of SPLASH OOPSLA) Toward a Java Based Infrastructure for Unmanned Aerial Vehicles Committee Member in Organizing Committee within the REBLS -track
Thomas ZimmermannZimmermann, Thomas Microsoft ResearchUnited States Committee Member in Program Committee within the Onward! Papers-track
Damien ZuffereyZufferey, Damien MIT Committee Member in Program Committee within the AGERE!-track
Å Beatrice ÅkerblomÅkerblom, Beatrice Stockholm UniversitySweden Measuring Polymorphism in Python Programs

SPLASH 2015 Contributors

Results (1001)

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia