SPLASH 2018 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (1000)

A Parosh Aziz AbdullaAbdulla, Parosh Aziz Uppsala University, SwedenSweden Optimal Stateless Model Checking under the Release-Acquire Semantics Optimal Stateless Model Checking under the Release-Acquire Semantics
Hal AbelsonAbelson, Hal MIT Reducing the Barriers for Computational Action: How Blocks-Based Programming Can Support Digital Empowerment
Marwan Abi-AntounAbi-Antoun, Marwan Wayne State University Inferring Ownership Domains From Refinements
Mathieu AcherAcher, Mathieu Committee Member in Program Committee within the SLEBoK-track
Ademola Peter AdejokunAdejokun, Ademola Peter Lockheed Martin Aeronautics Company Committee Member in Judges within the SPLASH SRC-track Committee Member in Reviewers within the SPLASH SRC-track
Vikram S. AdveAdve, Vikram S. University of Illinois at Urbana-ChampaignUnited States Software Multiplexing: Share Your Libraries and Statically Link Them Too
Gul AghaAgha, Gul University of Illinois at Urbana-Champaign, USA Concurrent Garbage Collection in the Actor Model
Amal AhmedAhmed, Amal Northeastern UniversityUnited States All the languages together Speaker in Speakers within the SPLASH -I-track
Tony AielloAiello, Tony AdaCore Committee Member in Program Committee within the HILT-track
David T. AksunAksun, David T. EPFL NVM ReConstruction: Object-Oriented Recovery for Non-Volatile Memory Object-Oriented Recovery for Non-Volatile Memory Object-Oriented Recovery for Non-Volatile Memory
Ahmad Salim Al-SibahiAl-Sibahi, Ahmad Salim Department of Computer Science, University of Copenhagen (DIKU) & BilagScanDenmark Verification of High-Level Transformations with Inductive Refinement Types
Jonathan AldrichAldrich, Jonathan Carnegie Mellon UniversityUnited States Committee Member in Steering Committee for SPLASH 2018 Session Chair of Language Design 2 (part of SPLASH OOPSLA) Ocaps & Crypto-commerce Interdisciplinary Programming Language Design Interdisciplinary Programming Language Design - Preview Obsidian: A Safer Blockchain Programming Language Committee Member in Review Committee within the SPLASH OOPSLA-track
Andrei AlexandrescuAlexandrescu, Andrei D Language FoundationUnited States Design by Introspection in D Speaker in Speakers within the SPLASH -I-track
Carol V. AlexandruAlexandru, Carol V. University of Zurich On the Usage of “Pythonic” Idioms in Python Programs On the Usage of “Pythonic” Idioms in Python Programs - Preview
Karim AliAli, Karim University of AlbertaCanada SPLASH-I Chair in Organizing Committee for SPLASH 2018 Session Chair of Static Analysis (part of SPLASH OOPSLA) SWAN: A Program Analysis Framework for Swift U Can't Inline This Guiding Inlining Decisions by Identifying Post-Inlining Transformations SWAN: A Swift Program Analysis Framework Fixing Machine Learning with Solver-Aided Languages Committee Member in Organizers within the SPLASH -I-track
Saba AlimadadiAlimadadi, Saba Northeastern University Finding Broken Promises in Asynchronous JavaScript Programs Finding Broken Promises in Asynchronous JavaScript Programs Finding Broken Promises in Asynchronous JavaScript Programs
Kalev AlpernasAlpernas, Kalev Tel Aviv UniversityIsrael Secure Serverless Computing Using Dynamic Information Flow Control Secure Serverless Computing Using Dynamic Information Flow Control
Vander AlvesAlves, Vander University of BrasíliaBrazil Committee Member in Program Committee within the GPCE -track
Jose Nelson AmaralAmaral, Jose Nelson University of AlbertaCanada Guiding Inlining Decisions by Identifying Post-Inlining Transformations
Saman AmarasingheAmarasinghe, Saman MITUnited States GPCE Keynote: How to Make Sparse Fast How to Make Sparse Fast goSLP: globally optimized Superword Level Parallelism framework Format Abstraction for Sparse Tensor Algebra Compilers GraphIt - A High-Performance Graph DSL goSLP: Globally Optimized Superword Level Parallelism Framework Format Abstraction for Sparse Tensor Algebra Compilers Unified Sparse Formats for Tensor Algebra Compilers goSLP: Globally Optimized Superword Level Parallelism Framework GraphIt - A High-Performance Graph DSL GraphIt - A High-Performance Graph DSL
Nada AminAmin, Nada University of CambridgeUnited Kingdom CLP(SMT) Committee Member in Program Committee within the Onward! Papers-track Committee Member in Program Committee within the DLS-track
Kijin AnAn, Kijin Virginia Tech RT-Trust: Automated Refactoring for Trusted Execution Under Real-Time Constraints RT-Trust: Automated Refactoring for Trusted Execution Under Real-Time Constraints
Davide AnconaAncona, Davide University of GenovaItaly Steering Committee Member in Steering Committee within the DLS-track
Leif AndersenAndersen, Leif Northeastern UniversityUnited States Video Chair in Organizing Committee for SPLASH 2018 Committee Member in Program Committee within the VMIL-track
Paul AndersonAnderson, Paul GrammaTech, Inc Security Showcae -- Modernizing Static Analysis Tools to Facilitate Integrations
Craig AnslowAnslow, Craig Victoria University of WellingtonNew Zealand Qualitas Corpus Analysis Multi-Device Grace Multi-Device Grace Multi-Device Grace Committee Member in Program Committee within the Onward! Papers-track Committee Member in Program Committee within the Onward! Essays-track
Tomoyuki AotaniAotani, Tomoyuki Tokyo Institute of TechnologyJapan Live, Synchronized, and Mental Map Preserving Visualization for Data Structure Programming Live, Synchronized, and Mental Map Preserving Visualization for Data Structure Programming - Preview Committee Member in Program Committee within the REBLS-track
Molham ArefAref, Molham Relational.aiUnited States Low level systems programming in a high level language Speaker in Speakers within the SPLASH -I-track
Kenichi AsaiAsai, Kenichi Ochanomizu UniversityJapan Committee Member in Program Committee within the GPCE -track
Uwe AßmannAßmann, Uwe TU Dresden, Germany Continuous Model Validation using Reference Attribute Grammars Continuous Model Validation using Reference Attribute Grammars
Mohamed Faouzi AtigAtig, Mohamed Faouzi Uppsala UniversitySweden Optimal Stateless Model Checking under the Release-Acquire Semantics Optimal Stateless Model Checking under the Release-Acquire Semantics
Ehsan AtoofianAtoofian, Ehsan Lakehead University, CA Committee Member in Program Committee within the AI-SEPS-track
Giorgio AudritoAudrito, Giorgio Università di TorinoItaly Committee Member in Artifact Evaluation Committee within the SPLASH Artifacts-track
B Casper Bach PoulsenBach Poulsen, Casper Delft University of Technology Scopes as Types Scopes as Types Scopes as Types
Anya Helene BaggeBagge, Anya Helene University of BergenNorway Committee Member in Program Committee within the META-track Committee Member in Program Committee within the SLE-track Committee Member in Program Committee within the SLEBoK-track
Riyadh BaghdadiBaghdadi, Riyadh MITUnited States GraphIt - A High-Performance Graph DSL GraphIt - A High-Performance Graph DSL GraphIt - A High-Performance Graph DSL
Sina BahramBahram, Sina Prime Access Consulting Building an Accessible Block Environment
William BailBail, William The MITRE CorporationUnited States Session Chair of V (part of HILT) Session Chair of II (part of HILT) Program Co-Chair in Program Committee within the HILT-track Committee Member in Organizing Committee within the HILT-track
Eric BaizeBaize, Eric SAFECode / Dell SAFECode.org and Secure Software Development Practices
Ted BakerBaker, Ted Committee Member in Program Committee within the HILT-track
Matteo BaldoniBaldoni, Matteo Università degli Studi di Torino, Italy Committee Member in Program Committee within the AGERE-track
Thomas BallBall, Thomas Microsoft ResearchUnited States TypeScript: From JavaScript to Blockly and Back
Michael BallantyneBallantyne, Michael Northeastern UniversityUnited States Committee Member in Judges within the SPLASH SRC-track Committee Member in Artifact Evaluation Committee within the SPLASH Artifacts-track
Leonardo BanderaliBanderali, Leonardo IBM Toronto LabsCanada Session Chair of Hands-on Tutorial 2 (part of TURBO) Session Chair of Hands-on Tutorial 1 (part of TURBO) Create an Object Model and Get a GC for Free (Part I) Boost WABT Performance with JitBuilder (Part I) Create an Object Model and Get a GC for Free (Part II) Boost WABT Performance with JitBuilder (Part II) Taking Eclipse OMR JitBuilder to a Language Near You
Elisa BaniassadBaniassad, Elisa University of British ColumbiaCanada Committee Member in Program Committee within the SPLASH -E-track Committee Member in Program Committee within the Onward! Essays-track
Titus BarikBarik, Titus MicrosoftUnited States Committee Member in Organizing Committee within the PLATEAU-track
Tiffany BarnesBarnes, Tiffany North Carolina State University Committee Member in Program Committee within the BLOCKS+-track
Dan BarowyBarowy, Dan ExceLint: Automatically Finding Spreadsheet Formula Errors ExceLint: Automatically Finding Spreadsheet Formula Errors
Edd BarrettBarrett, Edd King's College LondonUnited Kingdom Committee Member in Artifact Evaluation Committee within the SPLASH Artifacts-track
Antranig BasmanBasman, Antranig The Open Authorial Principle - Supporting Networks of Authors in Creating Externalisable Designs
Guillaume BaudartBaudart, Guillaume IBM ResearchUnited States Protecting Chatbots from Toxic Content A Reactive Language for Analyzing Cloud Logs Reactive Chatbot Programming
Mitra Tabaei BefroueiBefrouei, Mitra Tabaei Vienna University of Technology Randomized Testing of Distributed Systems with Probabilistic Guarantees
Blaine BellBell, Blaine Data Programming (DP): A new way of programming user interfaces
Jonathan BellBell, Jonathan George Mason UniversityUnited States Publicity Chair in Organizing Committee for SPLASH 2018 Session Chair of Mentoring Workshop (part of SPLASH PLMW) Session Chair of Mentoring Workshop (part of SPLASH PLMW) CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs Mentor in Mentors within the SPLASH Breakfasts-track Committee Member in Organizing Committee within the SPLASH PLMW-track
Julia BelyakovaBelyakova, Julia Northeastern University, USARussia Julia Subtyping: a Rational Reconstruction Julia Subtyping: a Rational Reconstruction
Siegfried BenknerBenkner, Siegfried Committee Member in Program Committee within the AI-SEPS-track
Oscar Bennich-BjörkmanBennich-Björkman, Oscar Uppsala University The Next 700 Unit Checkers
Celina BergBerg, Celina UBC, Computer ScienceCanada Bridging the Gap for At-Risk Cohorts: Experimenting with English Language Learners
Federico BergentiBergenti, Federico Università degli Studi di ParmaItaly A Scripting Language for Practical Agent-Oriented Programming Committee Member in Organizing Committee within the AGERE-track
Emery D. BergerBerger, Emery D. University of Massachusetts, AmherstUnited States ExceLint: Automatically Finding Spreadsheet Formula Errors ExceLint: Automatically Finding Spreadsheet Formula Errors
Martin BergerBerger, Martin University of SussexUnited Kingdom Committee Member in Program Committee within the GPCE -track
Gábor BergmannBergmann, Gábor Budapest University of Technology and Economics / MTA-BME Lendület Research Group on Cyber-Physical Systems, HungaryHungary Incrementalizing Lattice-Based Program Analyses in Datalog Incrementalizing Lattice-Based Program Analyses
Andrew BernsBerns, Andrew University of Northern Iowa Minimal Specifications for Detecting Security Vulnerabilities
Marina Umaschi BersBers, Marina Umaschi Tufts University DevTech Lab - KIBO and ScratchJr Demo
Ivan BeschastnikhBeschastnikh, Ivan Computer Science, University of British ColumbiaCanada Compiling Distributed System Specifications into Implementations
Jeff BezansonBezanson, Jeff Julia ComputingUnited States Julia: Dynamism and Performance Reconciled by Design - Preview The Rise of Compilerization Julia Subtyping: a Rational Reconstruction Julia: Dynamism and Performance Reconciled by Design Julia Subtyping: a Rational Reconstruction Speaker in Speakers within the SPLASH -I-track
Megha BhushanBhushan, Megha Chitkara University, Punjab, India Handling inconsistencies in software product line using a rule-based approach
Aggelos BiboudisBiboudis, Aggelos EPFL, SwitzerlandSwitzerland Session Chair of II (part of GPCE ) A Practical Unification of Multi-Stage Programming and Macros A Practical Unification of Multi-Stage Programming and Macros Committee Member in Program Committee within the GPCE -track Committee Member in Program Committee within the REBLS-track
Robert BiddleBiddle, Robert Carleton UniversityCanada Steering Committee Member in Steering Committee for Onward! 2018
Pavol BielikBielik, Pavol ETH ZürichSwitzerland Robust Relational Layout Synthesis from Examples for Android Robust Relational Layout Synthesis from Examples for Android
Christian BischofBischof, Christian Scientific Computing, TU Darmstadt PIRA: Performance Instrumentation Refinement Automation
Andrew BlackBlack, Andrew Portland State UniversityUnited States A Tour of Grace SmallGrace: Grace in Pharo Smalltalk Early Experience with Grace at Pomona College Teaching programming with Grace at Portland State Static & Dynamic Typing in Grace Committee Member in Program Committee within the SLE-track Committee Member in Program Committee within the GRACE-track Committee Member in Organizing Committee within the GRACE-track
Steve BlackburnBlackburn, Steve Australian National University Australia The DaCapo Benchmark Suite: A Methodological, Engineering, and Social Journey Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the VMIL-track
Sam BlackshearBlackshear, Sam FacebookUnited States RacerD: Compositional Static Race Detection
Kelly BlincoeBlincoe, Kelly University of AucklandNew Zealand Committee Member in Program Committee within the PLATEAU-track
Robert BocchinoBocchino, Robert NASA/Caltech Jet Propulsion Laboratory Committee Member in Program Committee within the HILT-track
Deborah BodeauBodeau, Deborah The MITRE Corporation Cyber-Resilience: What does it really mean, and how do we design it into our systems?
Rastislav BodikBodik, Rastislav University of WashingtonUnited States Speeding up Symbolic Reasoning for Relational Queries Speeding up Symbolic Reasoning for Relational Queries
Martin BodinBodin, Martin Imperial College LondonUnited Kingdom A Trustworthy Mechanized Formalization of R
Hans-J. BoehmBoehm, Hans-J. GoogleUnited States Committee Member in External Reviewers within the SPLASH OOPSLA-track
Klaas BoescheBoesche, Klaas Saarland University AnyDSL: A Partial Evaluation Framework for Programming High-Performance Libraries
Carl Friedrich Bolz-TereickBolz-Tereick, Carl Friedrich Germany Steering Committee Chair in Steering Committee within the DLS-track
Daniele BonettaBonetta, Daniele Oracle Labs GraalVM: Metaprogramming inside a Polyglot System ⭐️
Rafael BordiniBordini, Rafael PUCRSBrazil Committee Member in Program Committee within the AGERE-track
James BornholtBornholt, James University of WashingtonUnited States Finding Code That Explodes Under Symbolic Evaluation Finding Code That Explodes Under Symbolic Evaluation
Alan BorningBorning, Alan CDG Labs Committee Member in Program Committee within the DLS-track
Brett BostonBoston, Brett Massachusetts Institute of TechnologyUnited States Leto: Verifying Application-Specific Fault Tolerance through Parameterized Execution Models Leto: Verifying Application-Specific Fault Tolerance via First-Class Execution Models
Erwan BousseBousse, Erwan TU WienFrance Committee Member in Program Committee within the SLE-track
John BoylandBoyland, John Univeristy of Wisconsin, Milwaukee Committee Member in Program Committee within the GRACE-track
Jonathan Immanuel BrachthäuserBrachthäuser, Jonathan Immanuel University of Tübingen, Germany Effect Handlers for the Masses
Jeremy BradburyBradbury, Jeremy University of Ontario Institute of TechnologyCanada Committee Member in Program Committee within the AI-SEPS-track
Edwin BradyBrady, Edwin University of St. Andrews, UKUnited Kingdom Committee Member in Program Committee within the DSLDI-track
Marco BrambillaBrambilla, Marco Politecnico di MilanoItaly Committee Member in Program Committee within the SLE-track
Stephan BrandauerBrandauer, Stephan Uppsala UniversitySweden Cflat: A New Modular Approach to Implementing Efficient and Tunable Collections
Karen BrennanBrennan, Karen Harvard Graduate School of Education Beyond "I'm done": Encouraging deeper exploration of challenging computational concepts
Lexi BrentBrent, Lexi University of Sydney MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts
Ruth BreuBreu, Ruth QE LaBAustria Committee Member in Program Committee within the SLE-track
Philip BriskBrisk, Philip University of California, Riverside BioScript: Programming Safe Chemistry on Laboratories-on-a-Chip
Jacob BrockBrock, Jacob University of Rochester ShareJIT: JIT Code Cache Sharing across Processes and its Practical Implementation
r brook osbornebrook osborne, r Code.org Committee Member in Program Committee within the BLOCKS+-track
Ben BrosgolBrosgol, Ben AdaCore Committee Member in Program Committee within the HILT-track
Kim BruceBruce, Kim Pomona CollegeUnited States Session Chair of Testing (part of SPLASH OOPSLA) Session Chair of Types in Grace (part of GRACE) Early Experience with Grace at Pomona College Teaching programming with Grace at Portland State Static & Dynamic Typing in Grace Mentor in Mentors within the SPLASH Breakfasts-track Committee Member in Program Committee within the GRACE-track Committee Member in Organizing Committee within the GRACE-track
Elisabeth BrunetBrunet, Elisabeth Telecom SudParis Committee Member in Program Committee within the AI-SEPS-track
Camilo BruniBruni, Camilo GoogleGermany Committee Member in Program Committee within the META-track
Didier BuchsBuchs, Didier University of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland A Practical Type System for Safe Aliasing
Sebastian BurckhardtBurckhardt, Sebastian Microsoft ResearchSwitzerland Reactive Caching for Composed Services Committee Member in Program Committee within the AGERE-track
Peter BurkaBurka, Peter Two SigmaUnited States Establishing a culture of code review Speaker in Speakers within the SPLASH -I-track
Eugene BurmakoBurmako, Eugene Twitter, Inc.United States SemanticDB: a common data model for Scala developer tools ⭐️ Committee Member in Program Committee within the GPCE -track
Arvid ButtingButting, Arvid Software Engineering RWTH Aachen UniversityGermany Translating Grammars to Accurate Metamodels Deriving Fluent Internal Domain-Specific Languages from Grammars Committee Member in Artifact Evaluation Committee within the SLE-track
William E. ByrdByrd, William E. University of Alabama at Birmingham, USAUnited States CLP(SMT)
Clément BéraBéra, Clément Sofware Languages Lab, Vrije Universiteit BrusselBelgium Two Decades of Smalltalk VM Development Committee Member in Program Committee within the DLS-track
Johannes BürdekBürdek, Johannes TU Darmstadt, Real-time Systems Lab Measuring Effectiveness of Sample-based Product-Line Testing
C Cheng CaiCai, Cheng University of California at IrvineUnited States Committee Member in Artifact Evaluation Committee within the SPLASH Artifacts-track
Josh CaldwellCaldwell, Josh Code.org Rapid Prototyping for Blocks-based Languages and Environments
Alfredo CapozuccaCapozucca, Alfredo University of Luxembourg Messir, a Text-first DSL-based Approach for UML Requirements Engineering (Tool Demo) Messir, a Text-first DSL-based Approach for UML Requirements Engineering (Tool Demo)
Michael CarbinCarbin, Michael Massachusetts Institute of TechnologyUnited States SPLASH-I Chair in Organizing Committee for SPLASH 2018 Leto: Verifying Application-Specific Fault Tolerance through Parameterized Execution Models Leto: Verifying Application-Specific Fault Tolerance via First-Class Execution Models Panel of Recent Ph.Ds Mentor in Mentors within the SPLASH Breakfasts-track Panelist in Speakers within the SPLASH PLMW-track Committee Member in Organizers within the SPLASH -I-track
Jeff CarverCarver, Jeff University of AlabamaUnited States Committee Member in Program Committee within the AI-SEPS-track
Chris CasinghinoCasinghino, Chris Draper Laboratory A Language for Programmable Hardware Security
Elias CastegrenCastegren, Elias Uppsala University Attached and Detached Closures in Actors Cflat: A New Modular Approach to Implementing Efficient and Tunable Collections Committee Member in Program Committee within the OCAP-track
Jeronimo CastrillonCastrillon, Jeronimo TU Dresden, GermanyGermany Meta-programming for cross-domain tensor optimizations Meta-programming for cross-domain tensor optimizations
Walter CazzolaCazzola, Walter Università degli Studi di MilanoItaly Committee Member in Program Committee within the META-track Committee Member in Program Committee within the SLE-track Committee Member in Program Committee within the SLEBoK-track
Karishma ChadhaChadha, Karishma Scratch 3.0 Design Notes
Sagar ChakiChaki, Sagar Mentor Graphics CorporationUnited States Committee Member in Program Committee within the HILT-track
Charles ChamberlainChamberlain, Charles University of Chicago Relit: Typed Literal Macros for Reason
Peter ChapinChapin, Peter Vermont Technical CollegeUnited States Session Chair of III (part of HILT) Committee Member in Program Committee within the HILT-track
Rod ChapmanChapman, Rod Protean Code Committee Member in Program Committee within the HILT-track
Angelos CharalambidisCharalambidis, Angelos NCSR "Demokritos'' RHEA: A Reactive, Heterogeneous, Extensible and Abstract Framework for Dataflow Programming
Guido ChariChari, Guido Czech Technical University, CzechiaCzech Republic Session Chair of Keynote: Bonetta & Infrastructure (part of META) Self-Contained Development Environments Committee Member in Organizing Committee within the META-track
Dominik CharoussetCharousset, Dominik A Configurable Transport Layer for CAF
Sarah E. ChasinsChasins, Sarah E. University of California, Berkeley Session Chair of Interactive Tools & Breakout (part of PLATEAU) Session Chair of Language Usability (part of PLATEAU) Committee Member in Judges within the SPLASH SRC-track Committee Member in Reviewers within the SPLASH SRC-track Committee Member in Organizing Committee within the PLATEAU-track
Marsha ChechikChechik, Marsha University of TorontoCanada Session Chair of Validation & Verification (part of SLE) Analysing Meta-Model Product Lines Advice on your advisor Committee Member in Program Committee within the SLE-track Mentor in Mentors within the SPLASH Breakfasts-track Speaker in Speakers within the SPLASH PLMW-track
Hanfeng ChenChen, Hanfeng McGill University, CanadaCanada Numerical Computing on the Web: Benchmarking for the Future HorseIR: Bringing Array Programming Languages Together with Database Query Processing
Hongji ChenChen, Hongji McGill University, Canada HorseIR: Bringing Array Programming Languages Together with Database Query Processing
Jiahao ChenChen, Jiahao Capital OneUnited States Julia: Dynamism and Performance Reconciled by Design - Preview Robustly benchmarking Julia in noisy environments Julia: Dynamism and Performance Reconciled by Design Speaker in Speakers within the SPLASH -I-track
Serena ChenChen, Serena Franklin W. Olin College of Engineering Finding Higher Order Mutants Using Variational Execution
Zhi ChenChen, Zhi University of California, Irvine An Empirical Study of the Effect of Source-level Loop Transformations on Compiler Stability An Empirical Study of the Effect of Source-level Loop Transformations on Compiler Stability
Alvin CheungCheung, Alvin University of Washington Speeding up Symbolic Reasoning for Relational Queries Speeding up Symbolic Reasoning for Relational Queries
Maxime Chevalier-BoisvertChevalier-Boisvert, Maxime Université de Montréal Committee Member in Program Committee within the DLS-track
Glen ChiacchieriChiacchieri, Glen Independent Researcher REPLugger: a pleasant and scalable live coding editor
Shigeru ChibaChiba, Shigeru The University of TokyoJapan Panel discussion Generating a Java Library from Its Specification Grammar Induction for Programming Languages using Skip-Gram Model Committee Member in Program Committee within the Onward! Papers-track Committee Member in Program Committee within the DLS-track
Charisee ChiwChiw, Charisee University of ChicagoUnited States Committee Member in Program Committee within the GPCE -track
Andrei ChişChiş, Andrei feenkSwitzerland Publicity Chair in Organizing Committee within the SLE-track Committee Member in Program Committee within the SLEBoK-track
Adam ChlipalaChlipala, Adam MITUnited States Nectry: Tricking End Users into Programming Practical Web Applications with Dependent Types Mechanized Proofs of System Correctness in Production: Cryptography and Beyond Speaker in Speakers within the SPLASH -I-track
Jeff ChoCho, Jeff University of AlbertaCanada SWAN: A Swift Program Analysis Framework
Stephen ChongChong, Stephen Harvard UniversityUnited States Panel on Language-based Security Committee Member in Program Committee within the HILT-track Mentor in Mentors within the SPLASH Breakfasts-track
Stephen ChouChou, Stephen MIT CSAILUnited States Format Abstraction for Sparse Tensor Algebra Compilers Format Abstraction for Sparse Tensor Algebra Compilers Unified Sparse Formats for Tensor Algebra Compilers
Maria ChristakisChristakis, Maria MPI-SWSGermany Committee Member in Review Committee within the SPLASH OOPSLA-track
Laurent ChristopheChristophe, Laurent VUB Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs
Yair ChuchemChuchem, Yair Lamdu Scaling the REPL Experience Scaling the REPL Experience
Ravi ChughChugh, Ravi University of Chicago Session Chair of II (part of LIVE) SVG Programming by Direct Manipulation of Intermediates Hazel: Live and Direct Functional Programming with Holes Direct Manipulation Programming in Sketch-n-Sketch: Three Years, Three Ideas Bidirectional Evaluation with Direct Manipulation Bidirectional Evaluation with Direct Manipulation - Artifact Evaluation Committee Member in Organizing Committee within the LIVE-track Committee Member in Program Committee within the PLATEAU-track
Benjamin ChungChung, Benjamin Northeastern UniversityUnited States Video Chair in Organizing Committee for SPLASH 2018 Julia: Dynamism and Performance Reconciled by Design - Preview Julia Subtyping: a Rational Reconstruction Julia: Dynamism and Performance Reconciled by Design Julia Subtyping: a Rational Reconstruction
Benjamin W ChungChung, Benjamin W Northeastern University KafKa: Gradual Typing for Objects
Luke ChurchChurch, Luke Committee Member in Program Committee within the LIVE-track Committee Member in Program Committee within the PLATEAU-track
Matteo CiminiCimini, Matteo University of Massachusetts LowellUnited States Languages as First-Class Citizens (Vision Paper) Early Experience: Teaching the Basics of Functional Language Design with a Language Type Checker Committee Member in Artifact Evaluation Committee within the SPLASH Artifacts-track
Colin ClarkClark, Colin The Open Authorial Principle - Supporting Networks of Authors in Creating Externalisable Designs
Tony ClarkClark, Tony Sheffield Hallam UniversityUnited Kingdom Committee Member in Program Committee within the SLE-track
Dave ClarkeClarke, Dave Uppsala Univ. Sweden and KU Leuvern Attached and Detached Closures in Actors
Siobhán ClarkeClarke, Siobhán Trinity College DublinIreland Committee Member in Program Committee within the Onward! Essays-track
Loek CleophasCleophas, Loek Eindhoven University of Technology (TU/e) and Stellenbosch UniversityNetherlands Tool support for Confidentiality by Construction
Michael CoblenzCoblenz, Michael Carnegie Mellon UniversityUnited States Interdisciplinary Programming Language Design Interdisciplinary Programming Language Design - Preview Obsidian: A Safer Blockchain Programming Language
Albert CohenCohen, Albert GoogleFrance Meta-programming for cross-domain tensor optimizations Meta-programming for cross-domain tensor optimizations
Nachshon CohenCohen, Nachshon EPFL, Switzerland Every Data Structure Deserves Lock-Free Memory Reclamation NVM ReConstruction: Object-Oriented Recovery for Non-Volatile Memory Object-Oriented Recovery for Non-Volatile Memory Object-Oriented Recovery for Non-Volatile Memory
Rem CollierCollier, Rem University College DublinUnited Kingdom Committee Member in Program Committee within the AGERE-track
Benoit CombemaleCombemale, Benoit University of Rennes 1France Shape-Diverse DSLs: Languages without Borders (Vision Paper) Fostering Metamodels and Grammars Within a Dedicated Environment for HPC: The NabLab Environment (Tool Demo) Modular Language Composition for the Masses Modular Language Composition for the Masses Committee Member in Program Committee within the SLEBoK-track
Charles ConselConsel, Charles University of Bordeaux Implementing a semi-causal domain-specific language for context detection over binary sensors
Byron CookCook, Byron AmazonUnited States Reasoning about Security of Amazon Web Services Speaker in Speakers within the SPLASH -I-track
Keith CooperCooper, Keith Rice University ShareJIT: JIT Code Cache Sharing across Processes and its Practical Implementation
Emilio CoppaCoppa, Emilio Sapienza University of RomeItaly Committee Member in Artifact Evaluation Committee within the SPLASH Artifacts-track
Tim CoppietersCoppieters, Tim Vrije Universiteit Brussel, Belgium Reactive Caching for Composed Services
Pascal CostanzaCostanza, Pascal imec Committee Member in Program Committee within the META-track
Fabien CoulonCoulon, Fabien University of Toulouse / Obeo Shape-Diverse DSLs: Languages without Borders (Vision Paper)
Antony CourtneyCourtney, Antony Facebook Session Chair of Visualization, Debugging, Programming (part of REBLS) Committee Member in Program Committee within the REBLS-track
Catherine CowellCowell, Catherine Tufts University DevTech Lab - KIBO and ScratchJr Demo
Dirk CraeynestCraeynest, Dirk KU LeuvenBelgium Committee Member in Program Committee within the HILT-track
Andrew CraikCraik, Andrew IBM Canada Guiding Inlining Decisions by Identifying Post-Inlining Transformations
Léo CreuseCreuse, Léo ISAE SPARK by Example: an introduction to formal verification through the standard C++ library
Will CrichtonCrichton, Will Stanford University Identifying Barriers to Adoption for Rust through Online Discourse Identifying Barriers to Adoption for Rust through Online Discourse
Jácome CunhaCunha, Jácome University of MinhoPortugal Explaining Spreadsheets with Spreadsheets (Short Paper) Explaining Spreadsheets with Spreadsheets
James CurbowCurbow, James University of Northern Iowa Minimal Specifications for Detecting Security Vulnerabilities
Chris CurtisCurtis, Chris University of California, Riverside BioScript: Programming Safe Chemistry on Laboratories-on-a-Chip
D Loris D'AntoniD'Antoni, Loris University of Wisconsin–Madison Committee Member in Program Committee within the PLATEAU-track
Joseph Vinish D'SilvaD'Silva, Joseph Vinish McGill University, Canada HorseIR: Bringing Array Programming Languages Together with Database Query Processing
Deepak D'SouzaD'Souza, Deepak Horn-ICE Learning for Synthesizing Invariants and Contracts Horn-ICE Learning for Synthesizing Invariants and Contracts
Maryam DabaghchianDabaghchian, Maryam University of Utah Building Correct and Safe Distributed Systems
Michael DagostinoDagostino, Michael A Framework for Code-Level Tracing of Map-Based Algorithm Visualizations
Etiene DalcolDalcol, Etiene Red BadgerUnited Kingdom Diversity Chair in Organizing Committee for SPLASH 2018
Manuela DaliborDalibor, Manuela Software Engineering, RWTH Aachen University Deriving Fluent Internal Domain-Specific Languages from Grammars
Benoit DalozeDaloze, Benoit JKU Linz, AustriaAustria Parallelization of Dynamic Languages: Synchronizing Built-in Collections Parallelization of Dynamic Languages: Synchronizing Built-in Collections
Mihai DanDan, Mihai Oregon State University Explaining Spreadsheets with Spreadsheets (Short Paper) Explaining Spreadsheets with Spreadsheets
Eduardo Santana de Almeidade Almeida, Eduardo Santana Universidade Federal da BahiaBrazil Exploring feature interactions without specifications: a controlled experiment Exploring feature interactions without specifications: a controlled experiment
Peli de Halleuxde Halleux, Peli Microsoft Research TypeScript: From JavaScript to Blockly and Back
Joeri De KosterDe Koster, Joeri Vrije Universiteit Brussel, BelgiumBelgium Chocola: Integrating Futures, Actors, and Transactions Skitter: A DSL for Distributed Reactive Workflows Chocola: Integrating Futures, Actors, and Transactions Skitter: A DSL for Distributed Reactive Workflows Committee Member in Organizing Committee within the AGERE-track
Juan de Larade Lara, Juan Universidad Autónoma de MadridSpain Session Chair of Grammars & Metamodelling / Workbenches (part of SLE) Analysing Meta-Model Product Lines Facet-Oriented Modelling: Open Objects for Model-Driven Engineering Committee Member in Program Committee within the SLE-track
Wolfgang De MeuterDe Meuter, Wolfgang Vrije Universiteit BrusselBelgium Chocola: Integrating Futures, Actors, and Transactions A CAPable distributed programming model Skitter: A DSL for Distributed Reactive Workflows Welcome and Opening Remarks Composable Higher-Order Reactors as the Basis for a Live Reactive Programming Environment DISCOPAR: A Visual Reactive Programming Language for Generating Cloud-based Participatory Sensing Platforms Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs Chocola: Integrating Futures, Actors, and Transactions Skitter: A DSL for Distributed Reactive Workflows DISCOPAR: A Visual Reactive Programming Language for Generating Cloud-based Participatory Sensing Platforms Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs A Mete Rete Interface For Perpetually Online Distributed Rule-Based Systems Committee Member in Academic Panel within the SPLASH DocSymposium-track Committee Member in Organizing Committee within the REBLS-track Committee Member in Program Committee within the Onward! Papers-track
Ana Lúcia de Mourade Moura, Ana Lúcia Committee Member in Program Committee within the REBLS-track
Pablo de Oliveira Castrode Oliveira Castro, Pablo University of Versailles, France Committee Member in Organizing Committee within the AI-SEPS-track
Coen De RooverDe Roover, Coen Vrije Universiteit BrusselBelgium Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs
Luis Eduardo de Souza Amorimde Souza Amorim, Luis Eduardo Delft University of Technology, NetherlandsNetherlands Declarative Specification of Indentation Rules: A Tooling Perspective on Parsing and Pretty-Printing Layout-Sensitive Languages Declarative Specification of Indentation Rules: A Tooling Perspective on Parsing and Pretty-Printing Layout-Sensitive Languages Committee Member in Artifact Evaluation Committee within the SLE-track
Ulan DegenbaevDegenbaev, Ulan Google Cross-Component Garbage Collection Cross-Component Garbage Collection
Thomas DegueuleDegueule, Thomas Centrum Wiskunde & InformaticaFrance Session Chair of Grammars & Metamodelling (part of SLE) Constraint-based Run-time State Migration for Live Modeling Shape-Diverse DSLs: Languages without Borders (Vision Paper) Modular Language Composition for the Masses Modular Language Composition for the Masses Committee Member in Program Committee within the SLE-track Committee Member in Program Committee within the SLEBoK-track
Camil DemetrescuDemetrescu, Camil Sapienza University RomeItaly Committee Member in External Reviewers within the SPLASH OOPSLA-track Committee Member in Distinguished Paper Committee within the SPLASH OOPSLA-track
Brian DemskyDemsky, Brian University of California, IrvineUnited States Towards Understanding the Costs of Avoiding Out-of-Thin-Air Results Towards Understanding the Costs of Avoiding Out-of-Thin-Air Results
Marcus DenkerDenker, Marcus INRIA Lille Committee Member in Program Committee within the META-track
Jasper DenkersDenkers, Jasper TU DelftNetherlands Migrating Custom DSL Implementations to a Language Workbench (Tool Demo) Migrating Custom DSL Implementations to a Language Workbench: An Industrial Tool Demonstration (Tool Demo)
Ankush DesaiDesai, Ankush University of California, Berkeley Compositional Programming and Testing of Actor Programs Compositional Programming and Testing of Dynamic Distributed Systems Compositional Programming and Testing of Dynamic Distributed Systems
Dominique DevrieseDevriese, Dominique Vrije Universiteit Brussel, BelgiumBelgium Committee Member in Program Committee within the REBLS-track
Tomás DiazDiaz, Tomás University of Chile, Chile A Trustworthy Mechanized Formalization of R
Werner DietlDietl, Werner University of Waterloo, CanadaCanada Session Chair of Parallelism and Correctness (part of SPLASH OOPSLA)
Will DietzDietz, Will University of Illinois at Urbana-ChampaignUnited States Software Multiplexing: Share Your Libraries and Statically Link Them Too
Isil DilligDillig, Isil UT AustinUnited States Verified Three-Way Program Merge Relational Program Synthesis
Aleksandar S. DimovskiDimovski, Aleksandar S. IT University of Copenhagen, Denmark Verification of High-Level Transformations with Inductive Refinement Types
Juergen DingelDingel, Juergen Queen's UniversityCanada Committee Member in Program Committee within the SLE-track
Tom DinkelakerDinkelaker, Tom Ericsson, GermanyGermany Committee Member in Program Committee within the SLE-track
Matthew DoDo, Matthew Computer Science, University of British Columbia Compiling Distributed System Specifications into Implementations
Stephen DolanDolan, Stephen University of CambridgeUnited Kingdom Committee Member in Program Committee within the VMIL-track
Julian DolbyDolby, Julian IBM ResearchUnited States Protecting Chatbots from Toxic Content SWAN: A Swift Program Analysis Framework Fixing Machine Learning with Solver-Aided Languages
Alastair F. DonaldsonDonaldson, Alastair F. Imperial College LondonUnited Kingdom Committee Member in Review Committee within the SPLASH OOPSLA-track
Dana Drachsler CohenDrachsler Cohen, Dana ETH ZurichSwitzerland Committee Member in Program Committee within the GPCE -track Committee Member in Reviewers within the SPLASH SRC-track
Joscha DrechslerDrechsler, Joscha Technische Universität DarmstadtGermany Distributing Thread-Safety for Reactive Programming Thread-Safe Reactive Programming Thread-Safe Reactive Programming Thread-Safe Reactive Programming
Derek DreyerDreyer, Derek MPI-SWSGermany Committee Member in Review Committee within the SPLASH OOPSLA-track Mentor in Mentors within the SPLASH Breakfasts-track
Claire DrossDross, Claire AdaCoreFrance Committee Member in Program Committee within the HILT-track
Sophia DrossopoulouDrossopoulou, Sophia Imperial College LondonUnited Kingdom Committee Member in External Reviewers within the SPLASH OOPSLA-track Committee Member in Distinguished Paper Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the GRACE-track Committee Member in Program Committee within the OCAP-track
Stefania DrugaDruga, Stefania Massachusetts Institute of Technology Panel: Block Abstractions for Artificial Intelligence
Stéphane DucasseDucasse, Stéphane INRIA LilleFrance Committee Member in Program Committee within the Onward! Papers-track
Gerhard DueckDueck, Gerhard University of New Brunswick Session Chair of Speakers 2 (part of TURBO) Committee Member in Organizing Committee within the TURBO-track
Evelyn DuesterwaldDuesterwald, Evelyn IBM Research Protecting Chatbots from Toxic Content
E Kapil EarankyEaranky, Kapil Purdue University Safe Replication through Bounded Concurrency Verification Safe Replication through Bounded Concurrency Verification
Jonathan EdwardsEdwards, Jonathan UnaffiliatedUnited States Session Chair of I (part of LIVE) Committee Member in Organizing Committee within the LIVE-track Committee Member in Program Committee within the Onward! Papers-track
Anna EilertsenEilertsen, Anna University of Bergen, NorwayNorway Committee Member in Artifact Evaluation Committee within the SLE-track
Susan EisenbachEisenbach, Susan Imperial College LondonUnited Kingdom Committee Member in Program Committee within the GRACE-track
Jochen EisingerEisinger, Jochen Google Cross-Component Garbage Collection Cross-Component Garbage Collection
Sam El-HusseiniEl-Husseini, Sam Microsoft TypeScript: From JavaScript to Blockly and Back
Romina EramoEramo, Romina University of L'AquilaItaly Awards Artifact Evaluation Co-Chair in Organizing Committee within the SLE-track
Sebastian ErdwegErdweg, Sebastian TU DelftNetherlands Session Chair of IV (part of GPCE ) Declarative Specification of Indentation Rules: A Tooling Perspective on Parsing and Pretty-Printing Layout-Sensitive Languages Incrementalizing Lattice-Based Program Analyses in Datalog Declarative Specification of Indentation Rules: A Tooling Perspective on Parsing and Pretty-Printing Layout-Sensitive Languages Incrementalizing Lattice-Based Program Analyses Better living through incrementality: Immediate static analysis feedback without loss of precision Committee Member in Program Committee within the GPCE -track Committee Member in Program Committee within the SLE-track Committee Member in Program Committee within the SLEBoK-track Speaker in Speakers within the SPLASH -I-track
Martin ErwigErwig, Martin Oregon State UniversityUnited States A Domain-Specific Language for Exploratory Data Visualization Explaining Spreadsheets with Spreadsheets (Short Paper) Explaining Spreadsheets with Spreadsheets
Patrick EugsterEugster, Patrick University of LuganoSwitzerland Committee Member in Steering Committee for SPLASH 2018 Committee Member in Organizing Committee within the REBLS-track
F Michael FaesFaes, Michael ETH ZurichSwitzerland Efficient VM-independent Runtime Checks for Parallel Programming Concurrency-aware Object-oriented Programming with Roles Concurrency-aware Object-oriented Programming with Roles
Farima FarmahinifarahaniFarmahinifarahani, Farima University of California at Irvine, USA Towards Automating Precision Studies of Clone Detectors
Danila FedorinFedorin, Danila Oregon State University Explaining Spreadsheets with Spreadsheets (Short Paper) Explaining Spreadsheets with Spreadsheets
Marc FeeleyFeeley, Marc Université de MontréalCanada Twopy: A Just-In-Time Compiler For Python Based On Code Specialization Building JIT Compilers For Dynamic Languages With Low Development Effort
Peter FeilerFeiler, Peter Carnegie Mellon Software Engineering InstituteUnited States Architecture-level security in a safety-critical system Committee Member in Program Committee within the HILT-track
Molly FeldmanFeldman, Molly Cornell UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH Artifacts-track
Tim FelgentreffFelgentreff, Tim Oracle Labs, PotsdamGermany Session Chair of Semantics (part of DLS) Committee Member in Program Committee within the REBLS-track Program Chair in Program Committee within the DLS-track Steering Committee Member in Steering Committee within the DLS-track
Daniel FelteyFeltey, Daniel Northwestern University, USA Collapsible Contracts: Fixing a Pathology of Gradual Typing Collapsible Contracts: Pruning Pathological Performance for Sound Gradual Typing
Kiko Fernandez-ReyesFernandez-Reyes, Kiko Uppsala UniversitySweden Attached and Detached Closures in Actors
John FeserFeser, John MIT CSAILUnited States Committee Member in Artifact Evaluation Committee within the SPLASH Artifacts-track
Robby FindlerFindler, Robby Northwestern University, USAUnited States Collapsible Contracts: Fixing a Pathology of Gradual Typing Collapsible Contracts: Pruning Pathological Performance for Sound Gradual Typing
Bernd FischerFischer, Bernd Stellenbosch UniversitySouth Africa Committee Member in Program Committee within the SLE-track
Marc FischerFischer, Marc ETH Zurich Robust Relational Layout Synthesis from Examples for Android Robust Relational Layout Synthesis from Examples for Android
Kathleen FisherFisher, Kathleen Tufts University, USAUnited States Provably Eliminating Exploitable Bugs Work/Life Balance Panel: Industrial and Academic Research Speaker in Speakers within the SPLASH PLMW-track Speaker in Speakers within the SPLASH -I-track
Kathi FislerFisler, Kathi Brown UniversityUnited States Interaction: the Key to Joining a Research Community In Defense of "Little Code" Speaker in Speakers within the SPLASH PLMW-track
Cormac FlanaganFlanagan, Cormac University of California, Santa CruzIreland Secure Serverless Computing Using Dynamic Information Flow Control Secure Serverless Computing Using Dynamic Information Flow Control
Matthew FlattFlatt, Matthew University of UtahUnited States Rash: From Reckless Interactions to Reliable Programs Committee Member in Program Committee within the META-track
Spencer P. FlorenceFlorence, Spencer P. Northwestern University, USA Committee Member in Program Committee within the DSLDI-track
Olivier FlückigerFlückiger, Olivier Northeastern University, USA Self-Contained Development Environments
Niklas ForsFors, Niklas Lund University Continuous Model Validation using Reference Attribute Grammars Continuous Model Validation using Reference Attribute Grammars
Jeffrey S. FosterFoster, Jeffrey S. Tufts UniversityUnited States Who decides what is allowed? User Interactions and Permissions Use on Android
Nate FosterFoster, Nate Cornell UniversityUnited States Committee Member in Program Committee within the DSLDI-track
Sadjad FouladiFouladi, Sadjad Stanford University Secure Serverless Computing Using Dynamic Information Flow Control Secure Serverless Computing Using Dynamic Information Flow Control
Juliana FrancoFranco, Juliana Microsoft Research, CambridgeUnited Kingdom Student Volunteer Chair in Organizing Committee for SPLASH 2018 Chair in Organizers within the SPLASH Volunteers-track Committee Member in Organizing Committee within the AGERE-track Committee Member in Artifact Evaluation Committee within the SPLASH Artifacts-track
Michael FranzFranz, Michael University of California, IrvineUnited States Committee Member in Program Committee within the DLS-track
Felix FranzkeFranzke, Felix TU Braunschweig Anomaly Analyses for Feature-Model Evolution Anomaly Analyses for Feature-Model Evolution
Juan FumeroFumero, Juan The University of ManchesterUnited Kingdom Using Compiler Snippets to Exploit Parallelism on Heterogeneous Hardware: A Java Reduction Case Study Using Compiler Snippets to Exploit Parallelism on Heterogeneous Hardware: A Java Reduction Case Study
G Richard P. GabrielGabriel, Richard P. Dream Songs, Inc. & HPIUnited States Steering Committee Member in Steering Committee for Onward! 2018 Essays Chair in Organizing Committee for Onward! 2018 How a Computer Can Write a Poem and Make it Sound like an Angry Type Theorist or Proving Theorems and Seeing Cats Committee Member in Program Committee within the LIVE-track Speaker in Speakers within the SPLASH -I-track Program Chair in Program Committee within the Onward! Essays-track
Harald GallGall, Harald University of Zurich On the Usage of “Pythonic” Idioms in Python Programs On the Usage of “Pythonic” Idioms in Python Programs - Preview
Diego GarbervetskyGarbervetsky, Diego University of Buenos Aires, ArgentinaArgentina Committee Member in Program Committee within the META-track
Pranav GargGarg, Pranav University of Illinois at Urbana-Champaign Horn-ICE Learning for Synthesizing Invariants and Contracts Horn-ICE Learning for Synthesizing Invariants and Contracts
Christophe GarionGarion, Christophe ISAE-SUPAEROFrance SPARK by Example: an introduction to formal verification through the standard C++ library
Ivan GavranGavran, Ivan MPI-SWS Tool: Accessible Automated Reasoning for Human Robot Collaboration
Paul GazzilloGazzillo, Paul Stevens Institute of TechnologyUnited States Committee Member in Artifact Evaluation Committee within the SPLASH Artifacts-track
Adam GellerGeller, Adam Computer Science, University of British Columbia Compiling Distributed System Specifications into Implementations
Jeremy GibbonsGibbons, Jeremy University of OxfordUnited Kingdom Composable References and the Yoneda Lemma Speaker in Speakers within the SPLASH -I-track Committee Member in Program Committee within the DSLDI-track
Elena GlassmanGlassman, Elena UC Berkeley Committee Member in Program Committee within the LIVE-track Committee Member in Program Committee within the PLATEAU-track
Robert GlückGlück, Robert University of CopenhagenDenmark Committee Member in Program Committee within the GPCE -track
Aviral GoelGoel, Aviral Northeastern UniversityUnited States Web Chair in Organizing Committee for SPLASH 2018
Shivani GoelGoel, Shivani Handling inconsistencies in software product line using a rule-based approach
Drew GoldmanGoldman, Drew Roslyn High School Programming by example: efficient, but not "helpful" Programming by example: efficient, but not "helpful"
Zhangxiaowen GongGong, Zhangxiaowen University of Illinois at Urbana-Champaign An Empirical Study of the Effect of Source-level Loop Transformations on Compiler Stability An Empirical Study of the Effect of Source-level Loop Transformations on Compiler Stability
Zoe GongGong, Zoe Massachusetts Institute of Technology Leto: Verifying Application-Specific Fault Tolerance through Parameterized Execution Models Leto: Verifying Application-Specific Fault Tolerance via First-Class Execution Models
Elisa Gonzalez BoixGonzalez Boix, Elisa Vrije Universiteit BrusselBelgium Onward! PC Chair in Organizing Committee for SPLASH 2018 Steering Committee Member in Steering Committee for Onward! 2018 Papers Chair in Organizing Committee for Onward! 2018 Session Chair of Usability and Reusability (part of Onward! Papers) Session Chair of Meta for Types (part of META) Two Decades of Smalltalk VM Development Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs Committee Member in Organizing Committee within the META-track Program Chair in Program Committee within the Onward! Papers-track
Colin GordonGordon, Colin Drexel UniversityUnited States Session Chair of Types and Effects (part of SPLASH OOPSLA) Designing with Static Capabilities and Effects Formal Methods Panel Committee Member in Academic Panel within the SPLASH DocSymposium-track Committee Member in Review Committee within the SPLASH OOPSLA-track
Nikos GorogiannisGorogiannis, Nikos RacerD: Compositional Static Race Detection
Justin GottschlichGottschlich, Justin Intel LabsUnited States The Future of AI: Machine Programmers and Their Necessary Self-Awareness Speaker in Speakers within the SPLASH -I-track Speaker in Speakers within the SPLASH -I-track
Aaron GrahamGraham, Aaron IBM/University of New Brunswick: Centre for Advanced Studies - Atlantic (CAS-Atlantic)Canada Building AArch64 Support for the Eclipse OMR Language Runtime Toolkit
Chris GrangerGranger, Chris Against The Current: What We Learned From Eve
Neville GrechGrech, Neville University of Athens MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts
Michael GreenbergGreenberg, Michael Pomona College The POSIX shell is an interactive DSL for concurrency
Ben GreenmanGreenman, Ben Northeastern University, USAUnited States Housing Chair in Organizing Committee for SPLASH 2018 The Behavior of Gradual Types: A User Study Three approaches to Gradual Typing Collapsible Contracts: Fixing a Pathology of Gradual Typing Collapsible Contracts: Pruning Pathological Performance for Sound Gradual Typing
Alex GrejucGrejuc, Alex Oregon State University Explaining Spreadsheets with Spreadsheets (Short Paper) Explaining Spreadsheets with Spreadsheets
Clemens GrelckGrelck, Clemens University of AmsterdamGermany Committee Member in Program Committee within the AI-SEPS-track
Thomas GrossGross, Thomas Domain-Specific Optimizations for Linear Pipelines
Thomas GrossGross, Thomas ETH ZurichSwitzerland Efficient VM-independent Runtime Checks for Parallel Programming Concurrency-aware Object-oriented Programming with Roles Virtual Machine Design for Parallel Dynamic Programming Languages Concurrency-aware Object-oriented Programming with Roles Virtual Machine Design for Parallel Dynamic Programming Languages
David GroveGrove, David IBM ResearchUnited States Committee Member in Distinguished Paper Committee within the SPLASH OOPSLA-track Committee Member in Review Committee within the SPLASH OOPSLA-track
Vinod GroverGrover, Vinod NVIDIAUnited States Committee Member in Program Committee within the GPCE -track
Adrien GuattoGuatto, Adrien Committee Member in Program Committee within the REBLS-track
Nicolas GuelfiGuelfi, Nicolas University of Luxembourg Messir, a Text-first DSL-based Approach for UML Requirements Engineering (Tool Demo) Messir, a Text-first DSL-based Approach for UML Requirements Engineering (Tool Demo)
Eduardo GuerraGuerra, Eduardo INPE - National Institute for Space Research Does It Make Sense to have Application-specific Code Conventions as a Complementary Approach to Code Annotations? Committee Member in Program Committee within the META-track
Esther GuerraGuerra, Esther Universidad Autónoma de MadridSpain Analysing Meta-Model Product Lines Facet-Oriented Modelling: Open Objects for Model-Driven Engineering Committee Member in Program Committee within the SLE-track
Apala GuhaGuha, Apala Simon Fraser University Committee Member in Program Committee within the VMIL-track
Arjun GuhaGuha, Arjun University of Massachusetts AmherstUnited States Workshops Chair in Organizing Committee for SPLASH 2018 Session Chair of Parallelism and Performance (part of SPLASH OOPSLA) Committee Member in External Reviewers within the SPLASH OOPSLA-track Mentor in Mentors within the SPLASH Breakfasts-track Chair in Organizers within the SPLASH Workshops-track Committee Member in Program Committee within the OCAP-track
Sumit GulwaniGulwani, Sumit Microsoft Research FlashProfile: A Framework for Synthesizing Data Profiles FlashProfile: A Framework for Synthesizing Data Profiles
Philip GuoGuo, Philip UCSD Committee Member in Program Committee within the LIVE-track
Sam GuyerGuyer, Sam Tufts UniversityUnited States Local Chair in Organizing Committee for SPLASH 2018
Abel GómezGómez, Abel Universitat Oberta de CatalunyaSpain Committee Member in Artifact Evaluation Committee within the SLE-track
H Christine H. FloodH. Flood, Christine Red HatUnited States Ten Cool Things you might not know about the OpenJDK Java Virtual Machine Speaker in Speakers within the SPLASH -I-track Committee Member in Program Committee within the VMIL-track
Julian HaasHaas, Julian Technische Universität Darmstadt From Debugging Towards Live Tuning of Reactive Applications From Debugging Towards Live Tuning of Reactive Applications
Sebastian HackHack, Sebastian Saarland University, GermanyGermany AnyDSL: A Partial Evaluation Framework for Programming High-Performance Libraries
Finn HacketHacket, Finn Computer Science, University of Waterloo Compiling Distributed System Specifications into Implementations
Paulina HaduongHaduong, Paulina Harvard Graduate School of Education Beyond "I'm done": Encouraging deeper exploration of challenging computational concepts
Seyed Hossein HaeriHaeri, Seyed Hossein Université Catholique de Louvain Multiple Dispatch using Compile-Time Metaprogramming
Philipp HallerHaller, Philipp KTH, SwedenGermany Doctoral Symposium Chair in Organizing Committee for SPLASH 2018 Session Chair of I (part of SPLASH DocSymposium) Session Chair of III (part of SPLASH DocSymposium) Session Chair of II (part of SPLASH DocSymposium) Session Chair of IV (part of SPLASH DocSymposium) Session Chair of Language Design (part of Onward! Papers) Formal Methods Panel Observable atomic consistency for CvRDTs Observable atomic consistency for CvRDTs Lightning Talks Closing Remarks Welcome and Introduction Chair in Academic Panel within the SPLASH DocSymposium-track Chair in Organizers within the SPLASH DocSymposium-track Chair in Program Committee within the SPLASH DocSymposium-track Mentor in Mentors within the SPLASH Breakfasts-track Committee Member in Program Committee within the Onward! Papers-track
Drew HamiltonHamilton, Drew Mississippi State University, CCI Committee Member in Program Committee within the HILT-track
Christian HammerHammer, Christian University of PotsdamGermany Committee Member in External Reviewers within the SPLASH OOPSLA-track
Matthew HammerHammer, Matthew University of Colorado, BoulderUnited States Hazel: Live and Direct Functional Programming with Holes
Kentaro HaraHara, Kentaro Google Cross-Component Garbage Collection Cross-Component Garbage Collection
Gil HarariHarari, Gil cdl-lang.org, Israel Query-Based Object-Oriented Programming: A Declarative Web of Objects
Daco HarkesHarkes, Daco Delft University of TechnologyNetherlands We Should Stop Claiming Generality in our Domain-Specific Language Papers We Should Stop Claiming Generality in our Domain-Specific Language Papers - Preview Migrating Business Logic to an Incremental Computing DSL: A Case Study Migrating Business Logic to an Incremental Computing DSL: A Case Study Committee Member in Program Committee within the SLE-track Committee Member in Artifact Evaluation Committee within the SPLASH Artifacts-track Committee Member in Artifact Evaluation Committee within the SPLASH Artifacts-track
Brian HarveyHarvey, Brian University of California, Berkeley Rethinking OOP in Snap!
Masatomo HashimotoHashimoto, Masatomo Chiba Institute of Technology, JapanJapan Committee Member in Program Committee within the AI-SEPS-track
William G HatchHatch, William G University of Utah Rash: From Reckless Interactions to Reliable Programs
Yanis HattabHattab, Yanis McGill UniversityCanada Facet-Oriented Modelling: Open Objects for Model-Driven Engineering
Matthias HauswirthHauswirth, Matthias Università della Svizzera italiana (USI)Switzerland Committee Member in Program Committee within the SPLASH -E-track Committee Member in Program Committee within the LIVE-track
Akihiro HayashiHayashi, Akihiro Rice University, USAUnited States Committee Member in Program Committee within the AI-SEPS-track
Fei HeHe, Fei Tsinghua University Conflict Resolution for Structured Merge via Version Space Algebra Conflict Resolution for Structured Merge via Version Space Algebra Conflict Resolution for Structured Merge via Version Space Algebra
Zhenyi HeHe, Zhenyi New York University Chalktalk : A Visualization and Communication Language -- As a Tool in the Domain of Computer Science Education
Andrew HeadHead, Andrew UC Berkeley Interactive Extraction of Examples from Existing Code
Gorel HedinHedin, Gorel Lund UniversitySweden Committee Member in Program Committee within the SLEBoK-track
Görel HedinHedin, Görel Continuous Model Validation using Reference Attribute Grammars Continuous Model Validation using Reference Attribute Grammars
Marcel HeinzHeinz, Marcel University of Koblenz-Landau, Germany Committee Member in Artifact Evaluation Committee within the SLE-track
Brian HempelHempel, Brian University of Chicago SVG Programming by Direct Manipulation of Intermediates Committee Member in Program Committee within the LIVE-track
Laurie HendrenHendren, Laurie McGill University, CanadaCanada Numerical Computing on the Web: Benchmarking for the Future HorseIR: Bringing Array Programming Languages Together with Database Query Processing Developing Opal, an App for Cancer Patients, as a Computer Scientist and Cancer Patient Speaker in Speakers within the SPLASH -I-track
Austin HenleyHenley, Austin University of TennesseeUnited States Committee Member in Program Committee within the PLATEAU-track
Ben HermannHermann, Ben University of PaderbornGermany Delphi: Connecting Researchers to Enable Comparable Large-Scale Experiments in Program Analysis
Felienne HermansHermans, Felienne Mental Models, Metaphors and Misconceptions Explicit Direct Instruction in Programming Education Mentor in Mentors within the SPLASH Breakfasts-track Speaker in Speakers within the SPLASH -I-track Committee Member in Program Committee within the PLATEAU-track
David HerreraHerrera, David McGill University, CanadaCanada Numerical Computing on the Web: Benchmarking for the Future
Charlotte HerzeelHerzeel, Charlotte imecBelgium Committee Member in Program Committee within the Onward! Essays-track
Jim HesterHester, Jim RStudioUnited States Expanding R Syntax in package space Speaker in Speakers within the SPLASH -I-track
Michael HicksHicks, Michael University of Maryland, College ParkUnited States Committee Member in Steering Committee for SPLASH 2018
Raphael HiesgenHiesgen, Raphael HAW HamburgGermany A Configurable Transport Layer for CAF
Takumi HikosakaHikosaka, Takumi Ritsumeikan University Visualizing Reactive Execution History using Propagation Traces
Joshua HilliardHilliard, Joshua University of Northern Iowa Minimal Specifications for Detecting Security Vulnerabilities
Robert HirschfeldHirschfeld, Robert HPI, University of PotsdamGermany Steering Committee Chair in Steering Committee for Onward! 2018 Committee Member in Program Committee within the LIVE-track Committee Member in Program Committee within the SLE-track Committee Member in Program Committee within the Onward! Papers-track Committee Member in Program Committee within the DLS-track Steering Committee Member in Steering Committee within the DLS-track
Martin HirzelHirzel, Martin IBM ResearchUnited States Protecting Chatbots from Toxic Content Reactive Chatbot Programming
Marcel HlopkoHlopko, Marcel Google Cross-Component Garbage Collection Cross-Component Garbage Collection
Benjamin HockingHocking, Benjamin Dependable Computing, LLCUnited States Committee Member in Program Committee within the HILT-track
Beryl HoffmanHoffman, Beryl Elms College Broadening Participation in Computer Science through Block Programming
Celeste HollenbeckHollenbeck, Celeste Northeastern UniversityUnited States Publicity Chair in Organizing Committee for SPLASH 2018
Michael HomerHomer, Michael Victoria University of WellingtonNew Zealand Multi-Device Grace Multi-Device Grace Multi-Device Grace Committee Member in Program Committee within the SLE-track
Hongwei XiHongwei Xi Boston University Implementing Linking in Multiparty Sessions
Joshua HorowitzHorowitz, Joshua PANE: Programming with visible data
Tony HoskingHosking, Tony Australian National University / Data61Australia Committee Member in Steering Committee for SPLASH 2018 Session Chair of Verification (part of SPLASH OOPSLA) Mentor in Mentors within the SPLASH Breakfasts-track Committee Member in Steering Committee within the VMIL-track
Jeff HuangHuang, Jeff Texas A&M UniversityUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Shan Shan HuangHuang, Shan Shan FacebookUnited States Student Research Competition Chair in Organizing Committee for SPLASH 2018 Committee Member in Organizers within the SPLASH SRC-track
Yipeng HuangHuang, Yipeng Princeton University QDB: From Quantum Algorithms Towards Correct Quantum Programs QDB: From Quantum Algorithms Towards Correct Quantum Programs
Maarten HubrechtsHubrechts, Maarten A Mete Rete Interface For Perpetually Online Distributed Rule-Based Systems
Jacob HughesHughes, Jacob King's College London Safely Adding a Moving Garbage Collector to a Non Garbage Collected Language
Jerome HuguesHugues, Jerome ISAEFrance SPARK by Example: an introduction to formal verification through the standard C++ library Committee Member in Program Committee within the HILT-track
Joffrey HuguetHuguet, Joffrey ISAE SPARK by Example: an introduction to formal verification through the standard C++ library
Brian HulbertHulbert, Brian Linquest Committee Member in Program Committee within the HILT-track
Chung-Kil HurHur, Chung-Kil Seoul National UniversityKorea, South Reconciling High-level Optimizations and Low-level Code in LLVM Reconciling High-level Optimizations and Low-level Code in LLVM Reconciling High-level Optimizations and Low-level Code in LLVM
Graham HuttonHutton, Graham University of Nottingham, UKUnited Kingdom Committee Member in Program Committee within the Onward! Essays-track
Jomi Fred HübnerHübner, Jomi Fred Federal University of Santa Catarina, Brazil Committee Member in Program Committee within the AGERE-track
Alexander HückHück, Alexander Institute for Scientific Computing, TU Darmstadt PIRA: Performance Instrumentation Refinement Automation
Jadga HügleHügle, Jadga SAP SE Rethinking OOP in Snap!
I Michelle IchincoIchinco, Michelle University of Massachusetts Lowell The Example Guru: Suggesting Examples to Novice Blocks Programmers in an Artifact-Based Context Increases Use of New Blocks Committee Member in Program Committee within the BLOCKS+-track
Roberto IerusalimschyIerusalimschy, Roberto PUC-RioBrazil Committee Member in Program Committee within the Onward! Papers-track Committee Member in Program Committee within the VMIL-track Steering Committee Member in Steering Committee within the DLS-track
Oda Inanna Klemetsdal SteneInanna Klemetsdal Stene, Oda Knowledge-based Recommender System for Students of an Introductory Programming Course
Dan IngallsIngalls, Dan Two Decades of Smalltalk VM Development
Pablo InostrozaInostroza, Pablo CWINetherlands JEff: Objects for Effect Committee Member in Program Committee within the META-track
Ludovico IovinoIovino, Ludovico Gran Sasso Science Institute, L'Aquila, Italy Committee Member in Artifact Evaluation Committee within the SLE-track
Shachar ItzhakyItzhaky, Shachar Technion, IsraelIsrael Espalier: a structured spreadsheet tool for end-user development of organizational applications Espalier: a structured spreadsheet tool for end-user development of organizational applications
Ana IvanchikjIvanchikj, Ana Software Institute, Faculty of Informatics, USI Lugano Modeling REST API Behaviour with Text, Graphics or Both?
Hideya IwasakiIwasaki, Hideya University of Electro-Communications, Japan Generating a Minimum JavaScript VM Specialised for Target Applications
J Daniel JacksonJackson, Daniel MITUnited States Espalier: a structured spreadsheet tool for end-user development of organizational applications A new modularity for software Espalier: a structured spreadsheet tool for end-user development of organizational applications
Suresh JagannathanJagannathan, Suresh Purdue University Safe Replication through Bounded Concurrency Verification Safe Replication through Bounded Concurrency Verification
Prateek JainJain, Prateek Microsoft Research Lab, India FlashProfile: A Framework for Synthesizing Data Profiles FlashProfile: A Framework for Synthesizing Data Profiles
Ali JannesariJannesari, Ali Iowa State UniversityUnited States Organizing Committe of AI SEPS (part of AI-SEPS) Panel discussion Committee Member in Organizing Committee within the AI-SEPS-track
Nico JansenJansen, Nico Software Engineering, RWTH Aachen UniversityGermany Translating Grammars to Accurate Metamodels
Willow JarvisJarvis, Willow MIT Espalier: a structured spreadsheet tool for end-user development of organizational applications Espalier: a structured spreadsheet tool for end-user development of organizational applications
Nicolas JeannerodJeannerod, Nicolas IRIF, Université de ParisFrance Morbig: A Static Parser for POSIX Shell
Thomas P. JensenJensen, Thomas P. INRIA Rennes Verification of High-Level Transformations with Inductive Refinement Types
Minseok JeonJeon, Minseok Korea University, South KoreaKorea, South Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling
Sehun JeongJeong, Sehun Korea UniversitySouth Korea Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling Committee Member in Artifact Evaluation Committee within the SPLASH Artifacts-track
Alexandra JimboreanJimborean, Alexandra Uppsala UniversitySweden Committee Member in Program Committee within the AI-SEPS-track
Karen H. JinJin, Karen H. University of New Hampshire Coding while Making: using Blocks Language in a Physical Computing Setting
Ingrid Næss JohansenJohansen, Ingrid Næss University of Bergen Knowledge-based Recommender System for Students of an Introductory Programming Course
Brittany JohnsonJohnson, Brittany University of Massachusetts Amherst Committee Member in Program Committee within the PLATEAU-track
Adrian JohnstoneJohnstone, Adrian GLL Parsing with Flexible Combinators
Richard JonesJones, Richard University of KentUnited Kingdom Session Chair of Weak Memory and Refactoring (part of SPLASH OOPSLA) Committee Member in External Reviewers within the SPLASH OOPSLA-track Mentor in Mentors within the SPLASH Breakfasts-track
Timothy JonesJones, Timothy MontouxUnited States Gradual Typing is Morally Incorrect: the Problem of Applying Gradual Typing
Bengt JonssonJonsson, Bengt Uppsala University Optimal Stateless Model Checking under the Release-Acquire Semantics Optimal Stateless Model Checking under the Release-Acquire Semantics
Sheriff JorkehJorkeh, Sheriff University of Northern Iowa Minimal Specifications for Detecting Security Vulnerabilities
Ralf JungJung, Ralf MPI-SWSGermany Reconciling High-level Optimizations and Low-level Code in LLVM Reconciling High-level Optimizations and Low-level Code in LLVM Reconciling High-level Optimizations and Low-level Code in LLVM
Anton JurisevicJurisevic, Anton University of Sydney MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts
Jan JürjensJürjens, Jan University of Koblenz-Landau Model-based Security Analysis of Feature-oriented Software Product Lines
K Christian KaestnerKaestner, Christian Carnegie Mellon UniversityUnited States Exploring feature interactions without specifications: a controlled experiment Exploring feature interactions without specifications: a controlled experiment Faster Variational Execution with Transparent Bytecode Transformation Faster Variational Execution with Transparent Bytecode Transformation
Gowtham KakiKaki, Gowtham Purdue UniversityUnited States Safe Replication through Bounded Concurrency Verification Safe Replication through Bounded Concurrency Verification
Christian Gram KalhaugeKalhauge, Christian Gram University of California, Los AngelesUnited States Sound Deadlock Prediction Sound Deadlock Prediction Sound Deadlock Prediction
Tomas KaliberaKalibera, Tomas Czech Technical UniversityCzech Republic Committee Member in Program Committee within the VMIL-track
Kennedy KambonaKambona, Kennedy Vrije Universiteit Brussel DISCOPAR: A Visual Reactive Programming Language for Generating Cloud-based Participatory Sensing Platforms DISCOPAR: A Visual Reactive Programming Language for Generating Cloud-based Participatory Sensing Platforms A Mete Rete Interface For Perpetually Online Distributed Rule-Based Systems
Shoaib KamilKamil, Shoaib AdobeUnited States Session Chair of I (part of GPCE ) GraphIt - A High-Performance Graph DSL GraphIt - A High-Performance Graph DSL GraphIt - A High-Performance Graph DSL Committee Member in Program Committee within the GPCE -track
Tetsuo KaminaKamina, Tetsuo Oita UniversityJapan Session Chair of Embedded, IoT / Multitier, Distributed (part of REBLS) Visualizing Reactive Execution History using Propagation Traces Committee Member in Program Committee within the REBLS-track
Hyeonsu KangKang, Hyeonsu MIT Scheller Teacher Education Program Custom Blocks in StarLogo Nova: A Template-Based Approach to Abstraction for Improved Ease of Use and Expressive Power
Rezwana KarimKarim, Rezwana Samsung Research AmericaUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Alan KarpKarp, Alan OCAP Patterns Panel Committee Member in Program Committee within the OCAP-track
Stefan KarpinskiKarpinski, Stefan Julia: Dynamism and Performance Reconciled by Design - Preview Julia: Dynamism and Performance Reconciled by Design
John KassieKassie, John Rockwell Collins Committee Member in Program Committee within the HILT-track
Jun KatoKato, Jun National Institute of Advanced Industrial Science and Technology, JapanJapan Committee Member in Program Committee within the LIVE-track
Sven KeidelKeidel, Sven Delft University of Technology, NetherlandsNetherlands Committee Member in Artifact Evaluation Committee within the SLE-track
Keiji Kimura Keiji Kimura Committee Member in Program Committee within the AI-SEPS-track
Paul KeirKeir, Paul Multiple Dispatch using Compile-Time Metaprogramming
Stephen KellKell, Stephen University of Kent Session Chair of Keynote: Stenman (part of VMIL) PC Co-Chair in Program Committee within the VMIL-track
Caitlin KelleherKelleher, Caitlin Washington University in St. Louis The Example Guru: Suggesting Examples to Novice Blocks Programmers in an Artifact-Based Context Increases Use of New Blocks
Bettina KemmeKemme, Bettina McGill University, Canada HorseIR: Bringing Array Programming Languages Together with Database Query Processing
Kenneth KentKent, Kenneth University of New BrunswickCanada Committee Member in Organizing Committee within the TURBO-track
Christoph KesslerKessler, Christoph Linköping University, Sweden Committee Member in Program Committee within the AI-SEPS-track
Ebrahim KhalajKhalaj, Ebrahim Wayne State University Inferring Ownership Domains From Refinements
Jörg KienzleKienzle, Jörg McGill University, CanadaCanada Facet-Oriented Modelling: Open Objects for Model-Driven Engineering
Dileep KiniKini, Dileep University of Illinois at Urbana-Champaign What Happens-After the First Race? Enhancing the Predictive Power of Happens-Before Based Dynamic Race Detection
Joe KiniryKiniry, Joe Galois, Inc. Committee Member in Program Committee within the HILT-track
Karen KinnearKinnear, Karen OracleUnited States Valhalla: Enhancing the JVM with Value Types Speaker in Speakers within the SPLASH -I-track
Christoph KirschKirsch, Christoph University of SalzburgAustria On the Self in Selfie ⭐️ Take a Selfie in Class
Oleg KiselyovKiselyov, Oleg Committee Member in Program Committee within the GPCE -track
Fredrik KjolstadKjolstad, Fredrik MIT CSAIL Format Abstraction for Sparse Tensor Algebra Compilers Format Abstraction for Sparse Tensor Algebra Compilers Unified Sparse Formats for Tensor Algebra Compilers
Andrei KlimovKlimov, Andrei Keldysh Institute of Applied Mathematics of Russian Academy of SciencesRussia Committee Member in Program Committee within the GPCE -track
Richard KnollKnoll, Richard Microsoft TypeScript: From JavaScript to Blockly and Back
Alexander KnüppelKnüppel, Alexander TU Braunschweig, Germany Tool support for Confidentiality by Construction
Amy KoKo, Amy University of Washington Committee Member in Program Committee within the LIVE-track
Uri KolodnyKolodny, Uri cdl-lang.org, Israel Query-Based Object-Oriented Programming: A Declarative Web of Objects
Dimitris KolovosKolovos, Dimitris University of YorkUnited Kingdom Committee Member in Program Committee within the SLE-track
Raghavan KomondoorKomondoor, Raghavan Indian Institute of Science, BangaloreIndia Refinement in object-sensitivity points-to analysis via slicing Refinement in object-sensitivity points-to analysis via slicing
Fabio KonKon, Fabio University of São Paulo Does It Make Sense to have Application-specific Code Conventions as a Complementary Approach to Code Annotations?
Michael KongKong, Michael University of Sydney MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts
James KoppelKoppel, James MIT One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax - Preview One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax
Paulette KoronkevichKoronkevich, Paulette Carnegie Mellon University/Indiana University Obsidian in the Rough: A Case Study Evaluation of a New Blockchain Programming Language
Nikolai KosmatovKosmatov, Nikolai CEA ListFrance Soundness of a Dataflow Analysis for Memory Monitoring Committee Member in Program Committee within the HILT-track
Christos KotselidisKotselidis, Christos The University of ManchesterUnited Kingdom Using Compiler Snippets to Exploit Parallelism on Heterogeneous Hardware: A Java Reduction Case Study Using Compiler Snippets to Exploit Parallelism on Heterogeneous Hardware: A Java Reduction Case Study Committee Member in Program Committee within the VMIL-track
Derrick KourieKourie, Derrick Stellenbosch University Tool support for Confidentiality by Construction
Chandra KrintzKrintz, Chandra UC Santa BarbaraUnited States Committee Member in External Reviewers within the SPLASH OOPSLA-track
V Krishna NandivadaKrishna Nandivada, V IIT Madras Identifying Refactoring Opportunities for Replacing Type Code with Subclass and State Identifying Refactoring Opportunities for Replacing Type Code with Subclass and State Identifying Refactoring Opportunities for Replacing Type Code with Subclass and State
Murali Krishna RamanathanKrishna Ramanathan, Murali UberUnited States Reacting to stream-based programming bugs Reliable Deployment at Uber Scale Speaker in Speakers within the SPLASH -I-track
Shriram KrishnamurthiKrishnamurthi, Shriram Brown University, USA The Behavior of Gradual Types: A User Study Three approaches to Gradual Typing Building an Accessible Block Environment The story of Arjun Guha, or: the arc of a research project Speaker in Speakers within the SPLASH PLMW-track Committee Member in Program Committee within the OCAP-track
Steven KrouseKrouse, Steven Explicitly Comprehensible Functional Reactive Programming
Andre KuhlenschmidtKuhlenschmidt, Andre Indiana UniversityUnited States Committee Member in Judges within the SPLASH SRC-track Committee Member in Reviewers within the SPLASH SRC-track Committee Member in Artifact Evaluation Committee within the SPLASH Artifacts-track
Burcu Kulahcioglu OzkanKulahcioglu Ozkan, Burcu MPI-SWS, GermanyGermany Randomized Testing of Distributed Systems with Probabilistic Guarantees
Viktor KunčakKunčak, Viktor EPFL, Switzerland Bidirectional Evaluation with Direct Manipulation Bidirectional Evaluation with Direct Manipulation - Artifact Evaluation
Lindsey KuperKuper, Lindsey University of California, Santa CruzUnited States Committee Member in Program Committee within the SPLASH DocSymposium-track Committee Member in Review Committee within the SPLASH OOPSLA-track Co-chair in Program Committee within the DSLDI-track Committee Member in Organizing Committee within the DSLDI-track
Mirko KöhlerKöhler, Mirko Distributed System Development with ScalaLoci Distributed System Development with ScalaLoci Distributed System Development with ScalaLoci
Michael KöllingKölling, Michael King's College LondonUnited Kingdom Committee Member in Program Committee within the GRACE-track
Thomas KühnKühn, Thomas Technische Universität DresdenGermany Continuous Model Validation using Reference Attribute Grammars Continuous Model Validation using Reference Attribute Grammars Committee Member in Artifact Evaluation Committee within the SLE-track
Filip KřikavaKřikava, Filip Czech Technical UniversityCzech Republic Web Chair in Organizing Committee for SPLASH 2018
L Ralf LaemmelLaemmel, Ralf Facebook LondonGermany Session Chair of Types & Constraints (part of SLE) Committee Member in Program Committee within the SLE-track Committee Member in Program Committee within the SLEBoK-track Committee Member in Program Committee within the Onward! Papers-track
Shuvendu LahiriLahiri, Shuvendu Microsoft Research Verified Three-Way Program Merge
Patrick LamLam, Patrick University of WaterlooCanada Session Chair of Compiler Optimization (part of SPLASH OOPSLA) Committee Member in External Reviewers within the SPLASH OOPSLA-track
Natalie LaoLao, Natalie CloudDB in MIT App Inventor
James LarusLarus, James EPFLSwitzerland NVM ReConstruction: Object-Oriented Recovery for Non-Volatile Memory Programming NVM Object-Oriented Recovery for Non-Volatile Memory Object-Oriented Recovery for Non-Volatile Memory Mentor in Mentors within the SPLASH Breakfasts-track Speaker in Speakers within the SPLASH -I-track
Ben LaurieLaurie, Ben DeepMind Committee Member in Program Committee within the OCAP-track
Erick LavoieLavoie, Erick McGill University, CanadaCanada Numerical Computing on the Web: Benchmarking for the Future
Lukas LazarekLazarek, Lukas Faster Variational Execution with Transparent Bytecode Transformation Faster Variational Execution with Transparent Bytecode Transformation
Doug LeaLea, Doug State University of New York (SUNY) OswegoUnited States Committee Member in Program Committee within the GRACE-track Committee Member in Program Committee within the VMIL-track
Akos LedecziLedeczi, Akos Vanderbilt University Educational Robotics with a Twist Real-time Collaboration in NetsBlox Committee Member in Program Committee within the BLOCKS+-track
Manuel LeducLeduc, Manuel Univ Rennes, Inria, CNRS, IRISAFrance Modular Language Composition for the Masses
Manuel LeducLeduc, Manuel IRISA, University of Rennes 1 Modular Language Composition for the Masses
Manuel LeducLeduc, Manuel Univ Rennes, Inria, CNRS, IRISAFrance Committee Member in Artifact Evaluation Committee within the SLE-track
Manuel LeducLeduc, Manuel IRISA, University of Rennes 1 Committee Member in Program Committee within the SLEBoK-track
Juneyoung LeeLee, Juneyoung Seoul National University Reconciling High-level Optimizations and Low-level Code in LLVM Reconciling High-level Optimizations and Low-level Code in LLVM Reconciling High-level Optimizations and Low-level Code in LLVM
Junho LeeLee, Junho Korea University Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments - Preview Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments
Sungho LeeLee, Sungho KAISTSouth Korea Committee Member in Artifact Evaluation Committee within the SPLASH Artifacts-track
Victor LeeLee, Victor Intel CorporationChina Committee Member in Program Committee within the AI-SEPS-track
Jean-Philippe LegaultLegault, Jean-Philippe University of New BrunswickCanada Building AArch64 Support for the Eclipse OMR Language Runtime Toolkit
Jan-Patrick LehrLehr, Jan-Patrick Graduate School of Computational Engineering, TU Darmstadt PIRA: Performance Instrumentation Refinement Automation
Daan LeijenLeijen, Daan Microsoft ResearchUnited Kingdom Committee Member in Program Committee within the Onward! Papers-track
Roland LeißaLeißa, Roland Saarland University, GermanyGermany AnyDSL: A Partial Evaluation Framework for Programming High-Performance Libraries
Benoît LelandaisLelandais, Benoît CEA/DAM/DIF, France Fostering Metamodels and Grammars Within a Dedicated Environment for HPC: The NabLab Environment (Tool Demo)
Mark LemayLemay, Mark Understanding Java Usability by Mining GitHub Repositories Understanding Java Usability by Mining GitHub Repositories
Chris Lemmer WebberLemmer Webber, Chris Ocaps & Crypto-commerce
Gerrit LeonhardtLeonhardt, Gerrit Software Engineering, RWTH Aachen University Deriving Fluent Internal Domain-Specific Languages from Grammars
David LeopoldsederLeopoldseder, David Johannes Kepler University LinzAustria A Cost Model for a Graph-Based Intermediate-Representation in a Dynamic Compiler
Benjamin LernerLerner, Benjamin Northeastern UniversityUnited States SPLASH-E Chair in Organizing Committee for SPLASH 2018 Panel of Recent Ph.Ds Chair in Program Committee within the SPLASH -E-track Mentor in Mentors within the SPLASH Breakfasts-track Panelist in Speakers within the SPLASH PLMW-track
Mohsen LesaniLesani, Mohsen University of California, Riverside BioScript: Programming Safe Chemistry on Laboratories-on-a-Chip Committee Member in Academic Panel within the SPLASH DocSymposium-track
Clayton LewisLewis, Clayton University of Colorado Boulder The Open Authorial Principle - Supporting Networks of Authors in Creating Externalisable Designs
Denis LiLi, Denis MIT Scheller Teacher Education Program Real-time Collaboration and Undo in StarLogo Nova: Technical Approach and Considerations for UX Design
Paley LiLi, Paley Czech Technical University in PragueNew Zealand Posters Chair in Organizing Committee for SPLASH 2018 Chair in Organizers within the SPLASH Posters-track
Peixuan LiLi, Peixuan Penn State UniversityUnited States A Derivation Framework for Dependent Security Label Inference A Derivation Framework for Dependent Security Label Inference A Derivation Framework for Dependent Security Label Inference
Sanhong LiLi, Sanhong Alibaba Inc.China Committee Member in Program Committee within the VMIL-track
Yue LiLi, Yue Aarhus University, DenmarkChina Precision-Guided Context Sensitivity for Pointer Analysis Precision-Guided Context Sensitivity for Pointer Analysis Precision-Guided Context Sensitivity for Pointer Analysis Committee Member in Artifact Evaluation Committee within the SPLASH Artifacts-track
Zhiyuan LiLi, Zhiyuan Committee Member in Program Committee within the AI-SEPS-track
Xiaoli LiangLiang, Xiaoli IBM CanadaCanada Session Chair of Speakers 1 (part of TURBO) Eclipse OMR: Building Blocks for Polyglot Create an Object Model and Get a GC for Free (Part I) Boost WABT Performance with JitBuilder (Part I) Create an Object Model and Get a GC for Free (Part II) Boost WABT Performance with JitBuilder (Part II) Committee Member in Organizing Committee within the TURBO-track
Henry LiebermanLieberman, Henry MIT CSAIL, USA Committee Member in Program Committee within the LIVE-track
Phyllipe LimaLima, Phyllipe INPE - National Institute for Space ResearchBrazil Does It Make Sense to have Application-specific Code Conventions as a Complementary Approach to Code Annotations?
Michael LippautzLippautz, Michael Google Cross-Component Garbage Collection Cross-Component Garbage Collection
Barbara LiskovLiskov, Barbara MITUnited States Distributed Abstractions
Geoffrey LittLitt, Geoffrey Margin Notes: Automatic code documentation with recorded examples from runtime Margin Notes: Automatic code documentation with recorded examples from runtime
Sascha LityLity, Sascha Technische Universität Braunschweig Measuring Effectiveness of Sample-based Product-Line Testing
Amanda LiuLiu, Amanda Columbia University Multi-View Architecture Description and Enforcement
Lun LiuLiu, Lun University of California at Los Angeles, USA Profiling Android Applications with Nanoscope
Yin LiuLiu, Yin Virginia Tech RT-Trust: Automated Refactoring for Trusted Execution Under Real-Time Constraints RT-Trust: Automated Refactoring for Trusted Execution Under Real-Time Constraints
Zhengyang LiuLiu, Zhengyang University of UtahUnited States Reconciling High-level Optimizations and Low-level Code in LLVM Reconciling High-level Optimizations and Low-level Code in LLVM Reconciling High-level Optimizations and Low-level Code in LLVM
Benjamin LivshitsLivshits, Benjamin Imperial College LondonUnited Kingdom Committee Member in External Reviewers within the SPLASH OOPSLA-track
Malte LochauLochau, Malte Measuring Effectiveness of Sample-based Product-Line Testing
Francesco LogozzoLogozzo, Francesco FacebookUnited States Committee Member in External Reviewers within the SPLASH OOPSLA-track
Crista LopesLopes, Crista Steering Committee Member in Steering Committee for Onward! 2018 Committee Member in Organizing Committee within the NJR-track Committee Member in Program Committee within the NJR-track
Nuno P. LopesLopes, Nuno P. Microsoft Research Reconciling High-level Optimizations and Low-level Code in LLVM Reconciling High-level Optimizations and Low-level Code in LLVM Reconciling High-level Optimizations and Low-level Code in LLVM
Josh LoryLory, Josh Code.org Rapid Prototyping for Blocks-based Languages and Environments
Eyal LotemLotem, Eyal Lamdu Scaling the REPL Experience Scaling the REPL Experience
Frederic LoulergueLoulergue, Frederic Northern Arizona University Soundness of a Dataflow Analysis for Memory Monitoring
Tyson LovelessLoveless, Tyson University of California, Riverside BioScript: Programming Safe Chemistry on Laboratories-on-a-Chip
Justin LubinLubin, Justin Approximating Polymorphic Effects with Capabilities
Stephanie LudiLudi, Stephanie University of North Texas Accessibility and Block-based Languages: Challenges and Opportunities
Lars LuthmannLuthmann, Lars TU Darmstadt, Real-time Systems Lab Measuring Effectiveness of Sample-based Product-Line Testing
Dara LyLy, Dara CEA LIST Soundness of a Dataflow Analysis for Memory Monitoring
M Manuel MaarekMaarek, Manuel Heriot-Watt UniversityUnited Kingdom Observing the Uptake of a Language Change Making Strings Immutable Observing the Uptake of a Language Change Making Strings Immutable Committee Member in Program Committee within the PLATEAU-track
Liam MachadoMachado, Liam University of Utah Extending Boogie to Support the SMT-LIB FloatingPoint Theory
Julian MackayMackay, Julian Victoria University of WellingtonNew Zealand Committee Member in Artifact Evaluation Committee within the SPLASH Artifacts-track
Revan MacQueenMacQueen, Revan University of Alberta Fixing Machine Learning with Solver-Aided Languages
P. MadhusudanMadhusudan, P. University of Illinois at Urbana-ChampaignUnited States Horn-ICE Learning for Synthesizing Invariants and Contracts Horn-ICE Learning for Synthesizing Invariants and Contracts
Magnus MadsenMadsen, Magnus Aarhus UniversityDenmark Finding Broken Promises in Asynchronous JavaScript Programs Finding Broken Promises in Asynchronous JavaScript Programs Finding Broken Promises in Asynchronous JavaScript Programs
Fatimah MahmoodMahmood, Fatimah University of British Columbia Bridging the Gap for At-Risk Cohorts: Experimenting with English Language Learners
Daryl MaierMaier, Daryl IBM CanadaCanada Session Chair of Speakers 1 (part of TURBO) Create an Object Model and Get a GC for Free (Part I) Boost WABT Performance with JitBuilder (Part I) Create an Object Model and Get a GC for Free (Part II) Boost WABT Performance with JitBuilder (Part II) Committee Member in Organizing Committee within the TURBO-track
Ortwin MailahnMailahn, Ortwin ZeMA Tool: Accessible Automated Reasoning for Human Robot Collaboration
Petr MajMaj, Petr ReactorLabsCzech Republic Student Volunteer Chair in Organizing Committee for SPLASH 2018 Chair in Organizers within the SPLASH Volunteers-track
Rupak MajumdarMajumdar, Rupak MPI-SWS, Germany Randomized Testing of Distributed Systems with Probabilistic Guarantees
Parth MalaniMalani, Parth Committee Member in Program Committee within the AI-SEPS-track
Saeed MalekiMaleki, Saeed Microsoft Research An Empirical Study of the Effect of Source-level Loop Transformations on Compiler Stability An Empirical Study of the Effect of Source-level Loop Transformations on Compiler Stability
John MaloneyMaloney, John Two New Block Features in GP
Louis MandelMandel, Louis IBM ResearchUnited States Session Chair of Multitier, Distributed (part of REBLS) A Reactive Language for Analyzing Cloud Logs Reactive Chatbot Programming Committee Member in Program Committee within the REBLS-track
Varun MangalickMangalick, Varun MIT Inference and Regeneration of Programs that Store and Retrieve Data
Vikash MansinghkaMansinghka, Vikash MITUnited States Probabilistic Programming Paradigms Speaker in Speakers within the SPLASH -I-track
Miklos MarotiMaroti, Miklos Associate Professor Educational Robotics with a Twist
Stefan MarrMarr, Stefan University of KentUnited Kingdom Session Chair of Optimization (part of DLS) Session Chair of DSLs and Language Design Principles (part of Onward! Papers) Session Chair of Data Structures (part of Onward! Papers) Session Chair of Keynote: Kirsch (part of VMIL) Session Chair of Keynote: Noble (part of META) Session Chair of Keynote: Burmako & Tooling (part of META) Session Chair of VI (part of GPCE ) Newspeak and Truffle: A Platform for Grace? Parallelization of Dynamic Languages: Synchronizing Built-in Collections Parallelization of Dynamic Languages: Synchronizing Built-in Collections Committee Member in Organizing Committee within the META-track Committee Member in Program Committee within the GPCE -track Committee Member in Judges within the SPLASH SRC-track Committee Member in Reviewers within the SPLASH SRC-track Mentor in Mentors within the SPLASH Breakfasts-track Committee Member in Program Committee within the Onward! Papers-track PC Co-Chair in Program Committee within the VMIL-track Committee Member in Program Committee within the DLS-track
Assaf MarronMarron, Assaf Committee Member in Program Committee within the AGERE-track
Mark MarronMarron, Mark Microsoft ResearchUnited States Session Chair of I (part of VMIL) Log++ Logging for a Cloud-Native World Time-Travel Debugging and Actionable Diagnostics Insights Speaker in Speakers within the SPLASH -I-track Committee Member in Program Committee within the VMIL-track
Robert A. MartinMartin, Robert A. The MITRE CorporationUnited States CVE, CWE, CQE and all that -- enumerating the security and safety challenges for networked software
Margaret MartonosiMartonosi, Margaret QDB: From Quantum Algorithms Towards Correct Quantum Programs QDB: From Quantum Algorithms Towards Correct Quantum Programs
Katsuhisa MaruyamaMaruyama, Katsuhisa Ritsumeikan UniversityJapan Visualizing Reactive Execution History using Propagation Traces
Renato MascarenhasMascarenhas, Renato Computer Science, University of British Columbia Compiling Distributed System Specifications into Implementations
Aristeidis MastorasMastoras, Aristeidis ETH ZurichSwitzerland Domain-Specific Optimizations for Linear Pipelines
Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of TechnologyJapan Live, Synchronized, and Mental Map Preserving Visualization for Data Structure Programming Live, Synchronized, and Mental Map Preserving Visualization for Data Structure Programming - Preview Committee Member in Program Committee within the META-track Committee Member in Program Committee within the LIVE-track Committee Member in Program Committee within the REBLS-track Committee Member in Program Committee within the DLS-track
Umang MathurMathur, Umang University of Illinois at Urbana-ChampaignUnited States What Happens-After the First Race? Enhancing the Predictive Power of Happens-Before Based Dynamic Race Detection
Nicholas MatsakisMatsakis, Nicholas Mozilla CorporationUnited States Rust: Reach Further Committee Member in Program Committee within the HILT-track Speaker in Speakers within the SPLASH -I-track
Tomomasa MatsunagaMatsunaga, Tomomasa Grammar Induction for Programming Languages using Skip-Gram Model
Andrea MauriMauri, Andrea Delft University of Technology, NetherlandsNetherlands Committee Member in Artifact Evaluation Committee within the SLE-track
Jacopo MauroMauro, Jacopo University of Southern Denmark Anomaly Analyses for Feature-Model Evolution Anomaly Analyses for Feature-Model Evolution
Mikaël MayerMayer, Mikaël EPFL, Switzerland Bidirectional Evaluation with Direct Manipulation Bidirectional Evaluation with Direct Manipulation - Artifact Evaluation
Tanja MayerhoferMayerhofer, Tanja TU WienAustria Opening Awards Opening Awards PC Co-Chair in Organizing Committee within the SLE-track Committee Member in Program Committee within the SLEBoK-track
Joe MazzoneMazzone, Joe Teacher at Davies Career and Technical High School Panel: Block Abstractions for Artificial Intelligence
Jay McCarthyMcCarthy, Jay University of Massachusetts LowellUnited States Student Research Competition Chair in Organizing Committee for SPLASH 2018 Committee Member in Organizers within the SPLASH SRC-track
Matt McCutchenMcCutchen, Matt MITUnited States Espalier: a structured spreadsheet tool for end-user development of organizational applications Espalier: a structured spreadsheet tool for end-user development of organizational applications
Sean McDirmidMcDirmid, Sean United States Session Chair of III (part of LIVE) Tangible Abstraction Committee Member in Program Committee within the LIVE-track Committee Member in Program Committee within the Onward! Papers-track Speaker in Speakers within the SPLASH -I-track
Steve McKeeverMcKeever, Steve Uppsala University The Next 700 Unit Checkers
Arch McKinlayMcKinlay, Arch USC; US GovernmentUnited States Committee Member in Program Committee within the HILT-track
Remigius MeierMeier, Remigius ETH Zurich, SwitzerlandSwitzerland Virtual Machine Design for Parallel Dynamic Programming Languages Virtual Machine Design for Parallel Dynamic Programming Languages
Jens MeinickeMeinicke, Jens Magdeburg University Exploring feature interactions without specifications: a controlled experiment Exploring feature interactions without specifications: a controlled experiment Faster Variational Execution with Transparent Bytecode Transformation Faster Variational Execution with Transparent Bytecode Transformation
Paulo MeirellesMeirelles, Paulo Federal University of São PauloBrazil Does It Make Sense to have Application-specific Code Conventions as a Complementary Approach to Code Annotations?
Darya MelicherMelicher, Darya Carnegie Mellon University Committee Member in Program Committee within the OCAP-track
Orestis MelkonianMelkonian, Orestis University of UtrechtGreece RHEA: A Reactive, Heterogeneous, Extensible and Abstract Framework for Dataflow Programming
Richard MembarthMembarth, Richard DFKI, GermanyGermany AnyDSL: A Partial Evaluation Framework for Programming High-Performance Libraries
Gabriele MencagliMencagli, Gabriele University of Pisa, Italy Committee Member in Program Committee within the AGERE-track
Charith MendisMendis, Charith MIT CSAILUnited States goSLP: globally optimized Superword Level Parallelism framework goSLP: Globally Optimized Superword Level Parallelism Framework goSLP: Globally Optimized Superword Level Parallelism Framework
José J. MerchanteMerchante, José J. Universidad Rey Juan Carlos On the Usage of “Pythonic” Idioms in Python Programs On the Usage of “Pythonic” Idioms in Python Programs - Preview
Marjan MernikMernik, Marjan University of MariborSlovenia Committee Member in Program Committee within the SLE-track
Johannes MeyMey, Johannes Technische Universität Dresden Continuous Model Validation using Reference Attribute Grammars Continuous Model Validation using Reference Attribute Grammars
Mira MeziniMezini, Mira TU DarmstadtGermany From Debugging Towards Live Tuning of Reactive Applications Distributing Thread-Safety for Reactive Programming Thread-Safe Reactive Programming Thread-Safe Reactive Programming Thread-Safe Reactive Programming
Ana MilanovaMilanova, Ana Rensselaer Polytechnic InstituteUnited States Committee Member in External Reviewers within the SPLASH OOPSLA-track
Heather MillerMiller, Heather Carnegie Mellon UniversityUnited States Sponsorship Chair in Organizing Committee for SPLASH 2018 What happened to distributed programming languages? Invited Talk 1 Committee Member in Academic Panel within the SPLASH DocSymposium-track Committee Member in Program Committee within the Onward! Papers-track Speaker in Speakers within the SPLASH -I-track
Mark MillerMiller, Mark AgoricUnited States Ocaps & Crypto-commerce Committee Member in Organizing Committee within the OCAP-track
Todd MillsteinMillstein, Todd University of California, Los AngelesUnited States FlashProfile: A Framework for Synthesizing Data Profiles FlashProfile: A Framework for Synthesizing Data Profiles Committee Member in Distinguished Paper Committee within the SPLASH OOPSLA-track Committee Member in Review Committee within the SPLASH OOPSLA-track
Adam MilwardMilward, Adam University of Oxford Healthcare Data Management using Domain Specific Languages for Metadata Management
David MilwardMilward, David Healthcare Data Management using Domain Specific Languages for Metadata Management
Eliot MirandaMiranda, Eliot Cadence Design Systems Two Decades of Smalltalk VM Development
Wilson MizutaniMizutani, Wilson University of São Paulo The Software Architecture of Economy Mechanics in Digital Games The Software Architecture of Economy Mechanics in Digital Games
Ragnar MogkMogk, Ragnar Technische Universität Darmstadt From Debugging Towards Live Tuning of Reactive Applications From Debugging Towards Live Tuning of Reactive Applications Thread-Safe Reactive Programming Thread-Safe Reactive Programming Thread-Safe Reactive Programming
Tim MolderezMolderez, Tim Vrije Universiteit BrusselBelgium Committee Member in Artifact Evaluation Committee within the SPLASH Artifacts-track
Korbinian MolitoriszMolitorisz, Korbinian Committee Member in Program Committee within the AI-SEPS-track
Stefania MonicaMonica, Stefania University of Parma, Italy A Scripting Language for Practical Agent-Oriented Programming
Ralph MorelliMorelli, Ralph Trinity College Broadening Participation in Computer Science through Block Programming
Chip MorningstarMorningstar, Chip Committee Member in Program Committee within the OCAP-track
J. Garrett MorrisMorris, J. Garrett University of Kansas, USAUnited States The Root Cause of Blame: Contracts for Intersection and Union Types The Root Cause of Blame: Contracts for Intersection and Union Types
Michal MoskalMoskal, Michal Microsoft Research TypeScript: From JavaScript to Blockly and Back
Peter D. MossesMosses, Peter D. Swansea UniversityUnited Kingdom Committee Member in Program Committee within the SLEBoK-track
Christian MotikaMotika, Christian Philotech Systementwicklung und Software GmbH Synthesizing Manually Verifiable Code for Statecharts
Yannick MoyMoy, Yannick AdaCoreFrance Committee Member in Program Committee within the HILT-track
Mark MrozMroz, Mark University of Ottawa SWAN: A Swift Program Analysis Framework
Fabian MuehlboeckMuehlboeck, Fabian Cornell University Empowering Union and Intersection Types with Integrated Subtyping Empowering Union and Intersection Types with Integrated Subtyping
Gail MurphyMurphy, Gail University of British ColumbiaCanada Committee Member in Steering Committee for SPLASH 2018 Steering Committee Member in Steering Committee for Onward! 2018 Committee Member in Program Committee within the Onward! Papers-track
Emerson Murphy-HillMurphy-Hill, Emerson North Carolina State UniversityUnited States Committee Member in Steering Committee for SPLASH 2018 Steering Committee Member in Steering Committee for Onward! 2018
Toby MurrayMurray, Toby University of Melbourne, AustraliaAustralia Committee Member in Program Committee within the OCAP-track
Gunter MussbacherMussbacher, Gunter McGill UniversityCanada Committee Member in Program Committee within the SLE-track Committee Member in Program Committee within the SLEBoK-track
Madan MusuvathiMusuvathi, Madan Microsoft ResearchUnited States Committee Member in External Reviewers within the SPLASH OOPSLA-track Committee Member in Distinguished Paper Committee within the SPLASH OOPSLA-track
Brad A. MyersMyers, Brad A. Carnegie Mellon UniversityUnited States Interdisciplinary Programming Language Design Interdisciplinary Programming Language Design - Preview Obsidian: A Safer Blockchain Programming Language
John Myles WhiteMyles White, John FacebookUnited States Software is eating the world, but ML is going to eat software
Florian MyterMyter, Florian Vrije Universiteit Brussel, BelgiumBelgium A CAPable distributed programming model
Jens MönigMönig, Jens SAP SEGermany Rethinking OOP in Snap!
Hanspeter MössenböckMössenböck, Hanspeter JKU Linz, AustriaAustria A Cost Model for a Graph-Based Intermediate-Representation in a Dynamic Compiler Parallelization of Dynamic Languages: Synchronizing Built-in Collections Parallelization of Dynamic Languages: Synchronizing Built-in Collections Committee Member in Program Committee within the DLS-track
Anders MøllerMøller, Anders Aarhus UniversityDenmark Session Chair of Potpourri (part of SPLASH OOPSLA) Precision-Guided Context Sensitivity for Pointer Analysis Precision-Guided Context Sensitivity for Pointer Analysis Precision-Guided Context Sensitivity for Pointer Analysis Committee Member in Review Committee within the SPLASH OOPSLA-track
André MüllerMüller, André Johannes Gutenberg University AnyDSL: A Partial Evaluation Framework for Programming High-Performance Libraries
Rainer MüllerMüller, Rainer ZeMA Tool: Accessible Automated Reasoning for Human Robot Collaboration
N Sarah NadiNadi, Sarah University of AlbertaCanada Session Chair of Panel: Industry and Academia (part of SPLASH PLMW) Session Chair of Mentoring Workshop (part of SPLASH PLMW) Session Chair of III (part of GPCE ) Exploring feature interactions without specifications: a controlled experiment Exploring feature interactions without specifications: a controlled experiment Panel of Recent Ph.Ds Committee Member in Program Committee within the GPCE -track Mentor in Mentors within the SPLASH Breakfasts-track Panelist in Speakers within the SPLASH PLMW-track Committee Member in Organizing Committee within the SPLASH PLMW-track
Santosh NagarakatteNagarakatte, Santosh Rutgers UniversityUnited States Committee Member in Distinguished Paper Committee within the SPLASH OOPSLA-track Committee Member in Review Committee within the SPLASH OOPSLA-track
Mayur NaikNaik, Mayur University of Pennsylvania Declarative Program Analysis and Big Code: Challenges and Opportunities Navigating the process of doing a rewarding Ph.D. Panel: Industrial and Academic Research Mentor in Mentors within the SPLASH Breakfasts-track Speaker in Speakers within the SPLASH PLMW-track
Tomoki NakamaruNakamaru, Tomoki The University of TokyoJapan Generating a Java Library from Its Specification
Nina NarodytskaNarodytska, Nina VMWare ResearchUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Konstantin NasartschukNasartschuk, Konstantin Feasibility of Internal Object Pools to Reduce Memory Management Activity
Roberto NatellaNatella, Roberto Federico II University of NaplesItaly Committee Member in Program Committee within the AI-SEPS-track
Rezwana Karim NawrinNawrin, Rezwana Karim Samsung Research America Test Generation for Higher-Order Functions in Dynamic Languages Test Generation for Higher-Order Functions in Dynamic Languages Test Generation for Higher-Order Functions in Dynamic Languages
Arun NegiNegi, Arun Ministry of Defence, Government of India, India Handling inconsistencies in software product line using a rule-based approach
Daniel NeiderNeider, Daniel Max Planck Institute for Software SystemsGermany Horn-ICE Learning for Synthesizing Invariants and Contracts Horn-ICE Learning for Synthesizing Invariants and Contracts
Jim NewtonNewton, Jim EPITA / LRDE https://www.lrde.epita.frFrance Recognizing heterogeneous sequences by rational type expression
Rumyana NeykovaNeykova, Rumyana Imperial College London, UKUnited Kingdom Committee Member in Program Committee within the AGERE-track
Lisa Nguyen Quang DoNguyen Quang Do, Lisa Fraunhofer IEMGermany Committee Member in Artifact Evaluation Committee within the SPLASH Artifacts-track
Hoan NguyenNguyen, Hoan Iowa State University Committee Member in Program Committee within the AI-SEPS-track
Alexandru NicolauNicolau, Alexandru University of California, Irvine An Empirical Study of the Effect of Source-level Loop Transformations on Compiler Stability An Empirical Study of the Effect of Source-level Loop Transformations on Compiler Stability
Michael NiekeNieke, Michael TU Braunschweig, Germany Anomaly Analyses for Feature-Model Evolution Anomaly Analyses for Feature-Model Evolution
Fabio NiephausNiephaus, Fabio Hasso Plattner Institute, University of PotsdamGermany Publications Co-Chair in Organizing Committee for SPLASH 2018
Oscar NierstraszNierstrasz, Oscar University of Bern, SwitzerlandSwitzerland Committee Member in Program Committee within the SLEBoK-track
Libero NigroNigro, Libero University of Calabria Committee Member in Program Committee within the AGERE-track
Filip NiksicNiksic, Filip MPI-SWSGermany Randomized Testing of Distributed Systems with Probabilistic Guarantees
James NobleNoble, James Victoria University of WellingtonNew Zealand Session Chair of The State of Grace (part of GRACE) OCAP Patterns Panel Formal Methods Panel Through a Glass, Darkly ⭐️ Static & Dynamic Typing in Grace Newspeak and Truffle: A Platform for Grace? The Future of Grace Two Decades of Ownership Types Committee Member in Program Committee within the LIVE-track Committee Member in Program Committee within the SLE-track Mentor in Mentors within the SPLASH Breakfasts-track Committee Member in Program Committee within the GRACE-track Committee Member in Organizing Committee within the GRACE-track Speaker in Speakers within the SPLASH -I-track Committee Member in Organizing Committee within the OCAP-track
Colin NordgårdNordgård, Colin University of Bergen Knowledge-based Recommender System for Students of an Introductory Programming Course
O Robert O'CallahanO'Callahan, Robert Mozilla CorporationUnited States Committee Member in External Reviewers within the SPLASH OOPSLA-track Committee Member in Distinguished Paper Committee within the SPLASH OOPSLA-track
Peter W. O'HearnO'Hearn, Peter W. Facebook and University College London RacerD: Compositional Static Race Detection
Erick OchoaOchoa, Erick University of AlbertaCanada Guiding Inlining Decisions by Identifying Post-Inlining Transformations
Martin OderskyOdersky, Martin EPFL, SwitzerlandSwitzerland A Practical Unification of Multi-Stage Programming and Macros A Practical Unification of Multi-Stage Programming and Macros
Bjarno OeyenOeyen, Bjarno Vrije Universiteit BrusselBelgium Composable Higher-Order Reactors as the Basis for a Live Reactive Programming Environment
Hakjoo OhOh, Hakjoo Korea UniversityKorea, South Session Chair of Types and Contracts (part of SPLASH OOPSLA) Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments - Preview Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling Committee Member in Review Committee within the SPLASH OOPSLA-track
Yoshiki OhshimaOhshima, Yoshiki HARC / Y Combinator ResearchJapan Committee Member in Program Committee within the REBLS-track
Akio OkaOka, Akio Tokyo Institute of Technology Live, Synchronized, and Mental Map Preserving Visualization for Data Structure Programming Live, Synchronized, and Mental Map Preserving Visualization for Data Structure Programming - Preview
Bruno C. d. S. OliveiraOliveira, Bruno C. d. S. The University of Hong KongChina Pattern Matching in an Open World Committee Member in Program Committee within the SLE-track
Cyrus OmarOmar, Cyrus University of ChicagoUnited States Relit: Typed Literal Macros for Reason Hazel: Live and Direct Functional Programming with Holes Committee Member in Program Committee within the LIVE-track Committee Member in Reviewers within the SPLASH SRC-track
Jesper OqvistOqvist, Jesper Lund University Continuous Model Validation using Reference Attribute Grammars Continuous Model Validation using Reference Attribute Grammars Committee Member in Artifact Evaluation Committee within the SLE-track
Klaus OstermannOstermann, Klaus University of Tübingen, GermanyGermany Effect Handlers for the Masses Committee Member in Academic Panel within the SPLASH DocSymposium-track Committee Member in Program Committee within the GPCE -track
Jason OttOtt, Jason University of California, Riverside BioScript: Programming Safe Chemistry on Laboratories-on-a-Chip
Peizhao OuOu, Peizhao University of California, Irvine Towards Understanding the Costs of Avoiding Out-of-Thin-Air Results Towards Understanding the Costs of Avoiding Out-of-Thin-Air Results
Marie-Pierre OudotOudot, Marie-Pierre CEA/DAM/DIF, France Fostering Metamodels and Grammars Within a Dedicated Environment for HPC: The NabLab Environment (Tool Demo)
P Ezudheen PP, Ezudheen Horn-ICE Learning for Synthesizing Invariants and Contracts Horn-ICE Learning for Synthesizing Invariants and Contracts
Uday P. KhedkerP. Khedker, Uday IIT BombayIndia Committee Member in External Reviewers within the SPLASH OOPSLA-track
Saswat PadhiPadhi, Saswat University of California, Los AngelesUnited States FlashProfile: A Framework for Synthesizing Data Profiles FlashProfile: A Framework for Synthesizing Data Profiles Committee Member in Artifact Evaluation Committee within the SPLASH Artifacts-track
David PaduaPadua, David University of Illinois at Urbana-Champaign An Empirical Study of the Effect of Source-level Loop Transformations on Compiler Stability An Empirical Study of the Effect of Source-level Loop Transformations on Compiler Stability
Julien PagèsPagès, Julien Université de MontréalCanada Twopy: A Just-In-Time Compiler For Python Based On Code Specialization
Zachary PalmerPalmer, Zachary Swarthmore CollegeUnited States A Schematic Pushdown Reachability Language
Jens PalsbergPalsberg, Jens University of California, Los AngelesUnited States Session Chair of Program Synthesis (part of SPLASH OOPSLA) Session Chair of Awards / SIGPLAN Town Hall Meeting (part of SPLASH OOPSLA) NJR discussion; Needs, Requirements, Wishes NJR: 100,000 Executable, Scriptable, and Searchable Java Programs Sound Deadlock Prediction Sound Deadlock Prediction Sound Deadlock Prediction Mentor in Mentors within the SPLASH Breakfasts-track Committee Member in Organizing Committee within the NJR-track Committee Member in Program Committee within the NJR-track
Sebastiano PanichellaPanichella, Sebastiano Zurich University of Applied Science/University of ZurichSwitzerland On the Usage of “Pythonic” Idioms in Python Programs On the Usage of “Pythonic” Idioms in Python Programs - Preview
Manolis PapadakisPapadakis, Manolis Stanford UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH Artifacts-track
JF ParadisParadis, JF SalesforceCanada Using a JavaScript Ocap Security Kernel at Scale OCAP Patterns Panel
Jihyeok ParkPark, Jihyeok KAIST, South KoreaSouth Korea Committee Member in Artifact Evaluation Committee within the SPLASH Artifacts-track
Erik PasternakPasternak, Erik GoogleUnited States Committee Member in Program Committee within the BLOCKS+-track
Evan W PattonPatton, Evan W Massachusetts Institute of Technology Research Tools for MIT App Inventor JSON Interoperability in MIT App Inventor Panel: Block Abstractions for Artificial Intelligence A Blocks-Based Approach to Internet of Things in MIT App Inventor
Baptiste PaugetPauget, Baptiste École Normale Supérieure Towards Compilation of an Imperative Language for FPGAs
Cesare PautassoPautasso, Cesare Software Institute, Faculty of Informatics, USI LuganoSwitzerland Modeling REST API Behaviour with Text, Graphics or Both?
Hannes PayerPayer, Hannes Google Cross-Component Garbage Collection Cross-Component Garbage Collection
David J. PearcePearce, David J. Victoria University of WellingtonNew Zealand Session Chair of Safe Merging (part of SPLASH OOPSLA) Towards Compilation of an Imperative Language for FPGAs Opening Opening Awards General Chair in Organizing Committee within the SLE-track Mentor in Mentors within the SPLASH Breakfasts-track
Richard PeiferPeifer, Richard ZeMA Tool: Accessible Automated Reasoning for Human Robot Collaboration
Sven PeldszusPeldszus, Sven University of Koblenz-Landau Model-based Security Analysis of Feature-oriented Software Product Lines
Matan I. PeledPeled, Matan I. Technion—Israel Institute of TechnologyIsrael Consolidating Inheritance and Scoping into a Context Abstraction
Artem PelenitsynPelenitsyn, Artem Northeastern UniversityRussia Julia Subtyping: a Rational Reconstruction Julia Subtyping: a Rational Reconstruction
Daniel A. A. PelsmaekerPelsmaeker, Daniel A. A. Delft University of Technology, NetherlandsNetherlands Toward a Language-Parametric Code Completion Editor Service
Fernando Magno Quintão PereiraPereira, Fernando Magno Quintão UFMGBrazil Committee Member in External Reviewers within the SPLASH OOPSLA-track
Daniel PerelmanPerelman, Daniel University of Washington, USA FlashProfile: A Framework for Synthesizing Data Profiles FlashProfile: A Framework for Synthesizing Data Profiles
Roly PereraPerera, Roly University of GlasgowUnited Kingdom Session Chair of IV (part of LIVE) Committee Member in Organizing Committee within the LIVE-track Committee Member in Program Committee within the AGERE-track
Ken PerlinPerlin, Ken New York University Chalktalk : A Visualization and Communication Language -- As a Tool in the Domain of Computer Science Education
Eric PetitPetit, Eric Intel, France PyGA: A Python to FPGA compiler prototype Committee Member in Program Committee within the AI-SEPS-track
Erez PetrankPetrank, Erez TechnionIsrael Parallelization of Dynamic Languages: Synchronizing Built-in Collections Parallelization of Dynamic Languages: Synchronizing Built-in Collections Committee Member in Program Committee within the VMIL-track
Giuseppe PetrosinoPetrosino, Giuseppe Università degli Studi di Parma A Scripting Language for Practical Agent-Oriented Programming
Amar PhanishayeePhanishayee, Amar Microsoft Research Compositional Programming and Testing of Dynamic Distributed Systems Compositional Programming and Testing of Dynamic Distributed Systems
Michael PhilippsenPhilippsen, Michael Friedrich-Alexander University Erlangen-Nürnberg (FAU)Germany Committee Member in Program Committee within the AI-SEPS-track
Tuan Phong NgoPhong Ngo, Tuan Uppsala UniversityVietnam Optimal Stateless Model Checking under the Release-Acquire Semantics Optimal Stateless Model Checking under the Release-Acquire Semantics
Phitchaya Mangpo PhothilimthanaPhothilimthana, Phitchaya Mangpo University of California at Berkeley Committee Member in Program Committee within the DSLDI-track
Javier PimásPimás, Javier Palantir Solutions, Argentina Self-Contained Development Environments
Luís PinaPina, Luís George Mason UniversityUnited States CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs
Ruzica PiskacPiskac, Ruzica Yale University, USA Programming by example: efficient, but not "helpful" Programming by example: efficient, but not "helpful" Committee Member in Program Committee within the LIVE-track
Filip PizloPizlo, Filip AppleUnited States All about JavaScriptCore's many compilers Speaker in Speakers within the SPLASH -I-track
Erhard PloederederPloedereder, Erhard Universität Stuttgart Committee Member in Program Committee within the HILT-track
Dan PlyukhinPlyukhin, Dan Concurrent Garbage Collection in the Actor Model
Nadia PolikarpovaPolikarpova, Nadia University of California, San DiegoUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Alex PolozovPolozov, Alex Microsoft ResearchUnited States FlashProfile: A Framework for Synthesizing Data Profiles FlashProfile: A Framework for Synthesizing Data Profiles Committee Member in Program Committee within the GPCE -track
Justin PombrioPombrio, Justin Brown University, USAUnited States The Behavior of Gradual Types: A User Study Three approaches to Gradual Typing
Julien PongePonge, Julien INSA Lyon, CITI Laboratory / Red HatFrance Committee Member in Program Committee within the VMIL-track
Alex PotaninPotanin, Alex Victoria University of WellingtonNew Zealand Workshops Chair in Organizing Committee for SPLASH 2018 Towards Compilation of an Imperative Language for FPGAs Chair in Organizers within the SPLASH Workshops-track
Bobby PowersPowers, Bobby University of Massachusetts, AmherstUnited States Committee Member in Artifact Evaluation Committee within the SPLASH Artifacts-track
PrabhatPrabhat NERSC, Berkeley Lab Deep Learning at Scale
Michael PradelPradel, Michael TU DarmstadtGermany DeepBugs: A Learning Approach to Name-based Bug Detection DeepBugs: A Learning Approach to Name-based Bug Detection Test Generation for Higher-Order Functions in Dynamic Languages Test Generation for Higher-Order Functions in Dynamic Languages Test Generation for Higher-Order Functions in Dynamic Languages
Varot PremtoonPremtoon, Varot MIT One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax - Preview One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax
Thomas PricePrice, Thomas North Carolina State UniversityUnited States Committee Member in Program Committee within the BLOCKS+-track
Sam ProcterProcter, Sam Carnegie Mellon Software Engineering Institute Architecture-level security in a safety-critical system Panel on Language-based Security
José ProençaProença, José HASLab/INESC TEC & University of MinhoPortugal Committee Member in Program Committee within the REBLS-track
Sebastian ProkschProksch, Sebastian University of ZurichSwitzerland On the Usage of “Pythonic” Idioms in Python Programs On the Usage of “Pythonic” Idioms in Python Programs - Preview
Xavier Puig FernandezPuig Fernandez, Xavier MIT-CSAIL Panel: Block Abstractions for Artificial Intelligence
Arsène Pérard-GayotPérard-Gayot, Arsène Saarland University, Germany AnyDSL: A Partial Evaluation Framework for Programming High-Performance Libraries
Q Shaz QadeerQadeer, Shaz Microsoft Research Compositional Programming and Testing of Actor Programs Compositional Programming and Testing of Dynamic Distributed Systems Compositional Programming and Testing of Dynamic Distributed Systems
Xuanrui QiQi, Xuanrui Tufts University A Practical and Extensible Framework for Garbage Collection Tracing
Zhiyun QianQian, Zhiyun UC Riverside Statically Checking the Inconsistencies of Security Assumptions/Measures in Android Apps and Systems
Jenny QuillienQuillien, Jenny Embodied Making InstituteUnited States Beauty is the Promise of Happiness Committee Member in Program Committee within the Onward! Essays-track
R Azalea RaadRaad, Azalea MPI-SWS, GermanyUnited Kingdom Persistence Semantics for Weak Memory
Rodric RabbahRabbah, Rodric IBM ResearchUnited States Committee Member in External Reviewers within the SPLASH OOPSLA-track
Dimitri RacordonRacordon, Dimitri University of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland A Practical Type System for Safe Aliasing
Gabriel RadanneRadanne, Gabriel University of FreiburgGermany Regenerate: A Language Generator for Extended Regular Expressions Committee Member in Artifact Evaluation Committee within the SPLASH Artifacts-track Committee Member in Artifact Evaluation Committee within the SPLASH Artifacts-track
Hridesh RajanRajan, Hridesh Iowa State UniversityUnited States Committee Member in Steering Committee within the VMIL-track
Girish Maskeri RamaRama, Girish Maskeri Infosys Limited Refinement in object-sensitivity points-to analysis via slicing Refinement in object-sensitivity points-to analysis via slicing
Charlotte RatyRaty, Charlotte Swarthmore College A Schematic Pushdown Reachability Language
John RegehrRegehr, John University of UtahUnited States Reconciling High-level Optimizations and Low-level Code in LLVM Reconciling High-level Optimizations and Low-level Code in LLVM Reconciling High-level Optimizations and Low-level Code in LLVM
Christoph ReichenbachReichenbach, Christoph Lund UniversitySweden Committee Member in Program Committee within the SLE-track
Thierry RenauxRenaux, Thierry Vrije Universiteit Brussel A Mete Rete Interface For Perpetually Online Distributed Rule-Based Systems
Márcio RibeiroRibeiro, Márcio Federal University of Alagoas, BrazilBrazil Measuring Effectiveness of Sample-based Product-Line Testing
Alessandro RicciRicci, Alessandro University of Bologna, Italy Committee Member in Program Committee within the AGERE-track
Raymond RichardsRichards, Raymond DARPA DARPA CASE program, motivation and challenges
David RichterRichter, David Technische Universität Darmstadt From Debugging Towards Live Tuning of Reactive Applications From Debugging Towards Live Tuning of Reactive Applications
François-René RideauRideau, François-René LegiCashUnited States Verifying dApp Computations on a Blockchain Speaker in Speakers within the SPLASH -I-track
Hannah RiehlRiehl, Hannah Tufts University DevTech Lab - KIBO and ScratchJr Demo
Benoît RiesRies, Benoît University of LuxembourgLuxembourg Messir, a Text-first DSL-based Approach for UML Requirements Engineering (Tool Demo) Messir, a Text-first DSL-based Approach for UML Requirements Engineering (Tool Demo)
Manuel RiggerRigger, Manuel Johannes Kepler University LinzAustria A Cost Model for a Graph-Based Intermediate-Representation in a Dynamic Compiler
Armin RigoRigo, Armin PyPy.org, SwitzerlandSwitzerland Virtual Machine Design for Parallel Dynamic Programming Languages Virtual Machine Design for Parallel Dynamic Programming Languages
Martin C. RinardRinard, Martin C. Massachusetts Institute of TechnologyUnited States Inference and Regeneration of Programs that Store and Retrieve Data SLE Keynote: A New Approach for Software Correctness and Reliability A New Approach for Software Correctness and Reliability Committee Member in Keynote Speaker within the SLE-track
Noam RinetzkyRinetzky, Noam Tel Aviv UniversityIsrael Committee Member in External Reviewers within the SPLASH OOPSLA-track
Michael RingenburgRingenburg, Michael Cray, Inc.United States Committee Member in Organizing Committee within the AI-SEPS-track
Jan Oliver RingertRingert, Jan Oliver Tel Aviv UniversityGermany Committee Member in Program Committee within the SLE-track
Norman A. RinkRink, Norman A.