SPLASH 2018 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (999)

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 Object-Oriented Recovery for Non-Volatile Memory Object-Oriented Recovery for Non-Volatile Memory NVM ReConstruction: 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 Obsidian: A Safer Blockchain Programming Language Session Chair of Language Design 2 (part of SPLASH OOPSLA) Committee Member in Review Committee within the SPLASH OOPSLA-track Ocaps & Crypto-commerce Interdisciplinary Programming Language Design Interdisciplinary Programming Language Design - Preview
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 SWAN: A Swift Program Analysis Framework Guiding Inlining Decisions by Identifying Post-Inlining Transformations Fixing Machine Learning with Solver-Aided Languages Session Chair of Static Analysis (part of SPLASH OOPSLA) Committee Member in Organizers within the SPLASH -I-track SWAN: A Program Analysis Framework for Swift U Can't Inline This
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 GraphIt - A High-Performance Graph DSL Format Abstraction for Sparse Tensor Algebra Compilers goSLP: globally optimized Superword Level Parallelism framework Format Abstraction for Sparse Tensor Algebra Compilers goSLP: Globally Optimized Superword Level Parallelism Framework GraphIt - A High-Performance Graph DSL GraphIt - A High-Performance Graph DSL goSLP: Globally Optimized Superword Level Parallelism Framework Unified Sparse Formats for Tensor Algebra Compilers GPCE Keynote: How to Make Sparse Fast How to Make Sparse Fast
Nada AminAmin, Nada University of CambridgeUnited Kingdom Committee Member in Program Committee within the DLS-track Committee Member in Program Committee within the Onward! Papers-track CLP(SMT)
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 Multi-Device Grace Qualitas Corpus Analysis 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 BachBach, 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 SLEBoK-track Committee Member in Program Committee within the SLE-track Committee Member in Program Committee within the META-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) Create an Object Model and Get a GC for Free (Part II) Taking Eclipse OMR JitBuilder to a Language Near You Boost WABT Performance with JitBuilder (Part II) Boost WABT Performance with JitBuilder (Part I)
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 CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs Mentor in Mentors within the SPLASH Breakfasts-track Session Chair of Mentoring Workshop (part of SPLASH PLMW) Session Chair of Mentoring Workshop (part of SPLASH PLMW) 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 Julia Subtyping: a Rational Reconstruction Julia Subtyping: a Rational Reconstruction The Rise of Compilerization Speaker in Speakers within the SPLASH -I-track Julia: Dynamism and Performance Reconciled by Design - Preview
Megha BhushanBhushan, Megha Chitkara University, Punjab, India Handling inconsistencies in software product line using a rule-based approach
Aggelos BiboudisBiboudis, Aggelos EPFL, SwitzerlandSwitzerland A Practical Unification of Multi-Stage Programming and Macros Session Chair of II (part of GPCE ) 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 Early Experience with Grace at Pomona College A Tour of Grace SmallGrace: Grace in Pharo Smalltalk Static & Dynamic Typing in Grace Teaching programming with Grace at Portland State Committee Member in Program Committee within the GRACE-track Committee Member in Organizing Committee within the GRACE-track Committee Member in Program Committee within the SLE-track
Steve BlackburnBlackburn, Steve Australian National University Australia Committee Member in Review Committee within the SPLASH OOPSLA-track The DaCapo Benchmark Suite: A Methodological, Engineering, and Social Journey 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?
Martin BodinBodin, Martin Imperial College LondonUnited Kingdom A Trustworthy Mechanized Formalization of R
Rastislav BodíkBodík, Rastislav University of WashingtonUnited States Speeding up Symbolic Reasoning for Relational Queries Speeding up Symbolic Reasoning for Relational Queries
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
CF Bolz-TereickBolz-Tereick, CF 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
Michelle BrachmanBrachman, 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
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) Mentor in Mentors within the SPLASH Breakfasts-track Session Chair of Types in Grace (part of GRACE) Early Experience with Grace at Pomona College Static & Dynamic Typing in Grace Teaching programming with Grace at Portland State 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 Committee Member in Program Committee within the DLS-track Two Decades of Smalltalk VM Development
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 Mentor in Mentors within the SPLASH Breakfasts-track Leto: Verifying Application-Specific Fault Tolerance via First-Class Execution Models Panel of Recent Ph.Ds 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 Committee Member in Program Committee within the OCAP-track Cflat: A New Modular Approach to Implementing Efficient and Tunable Collections
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 SLEBoK-track Committee Member in Program Committee within the SLE-track Committee Member in Program Committee within the META-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, CzechiaCzechia Self-Contained Development Environments Session Chair of Keynote: Bonetta & Infrastructure (part of META) 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 Committee Member in Judges within the SPLASH SRC-track Committee Member in Reviewers within the SPLASH SRC-track Session Chair of Interactive Tools & Breakout (part of PLATEAU) Session Chair of Language Usability (part of PLATEAU) Committee Member in Organizing Committee within the PLATEAU-track
Marsha ChechikChechik, Marsha University of TorontoCanada Mentor in Mentors within the SPLASH Breakfasts-track Advice on your advisor Speaker in Speakers within the SPLASH PLMW-track Session Chair of Validation & Verification (part of SLE) Analysing Meta-Model Product Lines Committee Member in Program Committee within the SLE-track
Hanfeng ChenChen, Hanfeng McGill University, CanadaCanada HorseIR: Bringing Array Programming Languages Together with Database Query Processing Numerical Computing on the Web: Benchmarking for the Future
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 Robustly benchmarking Julia in noisy environments Speaker in Speakers within the SPLASH -I-track Julia: Dynamism and Performance Reconciled by Design - Preview
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 Generating a Java Library from Its Specification Grammar Induction for Programming Languages using Skip-Gram Model Committee Member in Program Committee within the DLS-track Panel discussion Committee Member in Program Committee within the Onward! Papers-track
Charisee ChiwChiw, Charisee University of ChicagoUnited States Committee Member in Program Committee within the GPCE -track
Andrei ChişChiş, Andrei feenkSwitzerland Committee Member in Program Committee within the SLEBoK-track Publicity Chair in Organizing Committee within the SLE-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 Mentor in Mentors within the SPLASH Breakfasts-track Panel on Language-based Security Committee Member in Program Committee within the HILT-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 Bidirectional Evaluation with Direct Manipulation Bidirectional Evaluation with Direct Manipulation - Artifact Evaluation Session Chair of II (part of LIVE) Hazel: Live and Direct Functional Programming with Holes SVG Programming by Direct Manipulation of Intermediates Committee Member in Organizing Committee within the LIVE-track Direct Manipulation Programming in Sketch-n-Sketch: Three Years, Three Ideas 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 Julia Subtyping: a Rational Reconstruction Julia Subtyping: a Rational Reconstruction
Benjamin ChungChung, Benjamin Northeastern University KafKa: Gradual Typing for Objects
Benjamin ChungChung, Benjamin Northeastern UniversityUnited States Julia: Dynamism and Performance Reconciled by Design - Preview
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 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 Languages as First-Class Citizens (Vision Paper)
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 Obsidian: A Safer Blockchain Programming Language Interdisciplinary Programming Language Design Interdisciplinary Programming Language Design - Preview
Albert CohenCohen, Albert GoogleFrance Meta-programming for cross-domain tensor optimizations Meta-programming for cross-domain tensor optimizations
Nachshon CohenCohen, Nachshon EPFL, Switzerland Object-Oriented Recovery for Non-Volatile Memory Object-Oriented Recovery for Non-Volatile Memory Every Data Structure Deserves Lock-Free Memory Reclamation NVM ReConstruction: 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 Modular Language Composition for the Masses Committee Member in Program Committee within the SLEBoK-track Shape-Diverse DSLs: Languages without Borders (Vision Paper) Modular Language Composition for the Masses Fostering Metamodels and Grammars Within a Dedicated Environment for HPC: The NabLab Environment (Tool Demo)
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 Explaining Spreadsheets with Spreadsheets (Short Paper)
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 Explaining Spreadsheets with Spreadsheets (Short Paper)
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 Skitter: A DSL for Distributed Reactive Workflows Chocola: Integrating Futures, Actors, and Transactions Chocola: Integrating Futures, Actors, and Transactions Committee Member in Organizing Committee within the AGERE-track Skitter: A DSL for Distributed Reactive Workflows
Juan de Larade Lara, Juan Universidad Autónoma de MadridSpain Session Chair of Grammars & Metamodelling / Workbenches (part of SLE) Facet-Oriented Modelling: Open Objects for Model-Driven Engineering Analysing Meta-Model Product Lines Committee Member in Program Committee within the SLE-track
Wolfgang De MeuterDe Meuter, Wolfgang Vrije Universiteit BrusselBelgium Committee Member in Academic Panel within the SPLASH DocSymposium-track A Mete Rete Interface For Perpetually Online Distributed Rule-Based Systems DISCOPAR: A Visual Reactive Programming Language for Generating Cloud-based Participatory Sensing Platforms Skitter: A DSL for Distributed Reactive Workflows Chocola: Integrating Futures, Actors, and Transactions Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs Chocola: Integrating Futures, Actors, and Transactions A CAPable distributed programming model Committee Member in Program Committee within the Onward! Papers-track Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs 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 Skitter: A DSL for Distributed Reactive Workflows Welcome and Opening Remarks Committee Member in Organizing Committee within the REBLS-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 Modular Language Composition for the Masses Committee Member in Program Committee within the SLEBoK-track 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 Committee Member in Program Committee within the SLE-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: An Industrial Tool Demonstration (Tool Demo) Migrating Custom DSL Implementations to a Language Workbench (Tool Demo)
Ankush DesaiDesai, Ankush University of California, Berkeley Compositional Programming and Testing of Dynamic Distributed Systems Compositional Programming and Testing of Dynamic Distributed Systems Compositional Programming and Testing of Actor Programs
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
Işıl DilligDillig, Işıl UT AustinUnited States Relational Program Synthesis Verified Three-Way Program Merge
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 SWAN: A Swift Program Analysis Framework Fixing Machine Learning with Solver-Aided Languages Protecting Chatbots from Toxic Content
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 Reviewers within the SPLASH SRC-track Committee Member in Program Committee within the GPCE -track
Joscha DrechslerDrechsler, Joscha Technische Universität DarmstadtGermany Thread-Safe Reactive Programming Thread-Safe Reactive Programming Thread-Safe Reactive Programming Distributing Thread-Safety for 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 Committee Member in Program Committee within the Onward! Papers-track Session Chair of I (part of LIVE) Committee Member in Organizing Committee within the LIVE-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 Declarative Specification of Indentation Rules: A Tooling Perspective on Parsing and Pretty-Printing Layout-Sensitive Languages Incrementalizing Lattice-Based Program Analyses in Datalog Incrementalizing Lattice-Based Program Analyses Better living through incrementality: Immediate static analysis feedback without loss of precision Speaker in Speakers within the SPLASH -I-track Committee Member in Program Committee within the SLEBoK-track Declarative Specification of Indentation Rules: A Tooling Perspective on Parsing and Pretty-Printing Layout-Sensitive Languages Committee Member in Program Committee within the SLE-track Session Chair of IV (part of GPCE ) Committee Member in Program Committee within the GPCE -track
Martin ErwigErwig, Martin Oregon State UniversityUnited States Explaining Spreadsheets with Spreadsheets Explaining Spreadsheets with Spreadsheets (Short Paper) A Domain-Specific Language for Exploratory Data Visualization
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 Concurrency-aware Object-oriented Programming with Roles Concurrency-aware Object-oriented Programming with Roles Efficient VM-independent Runtime Checks for Parallel Programming
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 Explaining Spreadsheets with Spreadsheets (Short Paper)
Marc FeeleyFeeley, Marc Université de MontréalCanada Building JIT Compilers For Dynamic Languages With Low Development Effort Twopy: A Just-In-Time Compiler For Python Based On Code Specialization
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 Q FeldmanFeldman, Molly Q 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) Program Chair in Program Committee within the DLS-track Steering Committee Member in Steering Committee within the DLS-track Committee Member in Program Committee within the REBLS-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
Jack FeserFeser, Jack MIT CSAILUnited States Committee Member in Artifact Evaluation Committee within the SPLASH Artifacts-track
Robert Bruce FindlerFindler, Robert Bruce 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 Panel: Industrial and Academic Research Work/Life Balance Speaker in Speakers within the SPLASH PLMW-track Provably Eliminating Exploitable Bugs Speaker in Speakers within the SPLASH -I-track
Kathi FislerFisler, Kathi Brown UniversityUnited States In Defense of "Little Code" Interaction: the Key to Joining a Research Community 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 Committee Member in Program Committee within the META-track Rash: From Reckless Interactions to Reliable Programs
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 Artifact Evaluation Committee within the SPLASH Artifacts-track Committee Member in Organizing Committee within the AGERE-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 Speaker in Speakers within the SPLASH -I-track Program Chair in Program Committee within the Onward! Essays-track Committee Member in Program Committee within the LIVE-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 T. GellerGeller, Adam T. 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 Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs Session Chair of Usability and Reusability (part of Onward! Papers) Program Chair in Program Committee within the Onward! Papers-track Two Decades of Smalltalk VM Development Session Chair of Meta for Types (part of META) Committee Member in Organizing Committee within the META-track Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs
Colin GordonGordon, Colin Drexel UniversityUnited States Committee Member in Academic Panel within the SPLASH DocSymposium-track Session Chair of Types and Effects (part of SPLASH OOPSLA) Committee Member in Review Committee within the SPLASH OOPSLA-track Designing with Static Capabilities and Effects Formal Methods Panel
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 Collapsible Contracts: Fixing a Pathology of Gradual Typing Collapsible Contracts: Pruning Pathological Performance for Sound Gradual Typing The Behavior of Gradual Types: A User Study Three approaches to Gradual Typing
Alex GrejucGrejuc, Alex Oregon State University Explaining Spreadsheets with Spreadsheets Explaining Spreadsheets with Spreadsheets (Short Paper)
Clemens GrelckGrelck, Clemens University of AmsterdamGermany Committee Member in Program Committee within the AI-SEPS-track
Thomas GrossGross, Thomas ETH ZurichSwitzerland Virtual Machine Design for Parallel Dynamic Programming Languages Concurrency-aware Object-oriented Programming with Roles Virtual Machine Design for Parallel Dynamic Programming Languages Concurrency-aware Object-oriented Programming with Roles
Thomas GrossGross, Thomas Domain-Specific Optimizations for Linear Pipelines
Thomas GrossGross, Thomas ETH ZurichSwitzerland Efficient VM-independent Runtime Checks for Parallel Programming
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 Facet-Oriented Modelling: Open Objects for Model-Driven Engineering Analysing Meta-Model Product Lines 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) Lightning Talks Welcome and Introduction Closing Remarks 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 Observable atomic consistency for CvRDTs Mentor in Mentors within the SPLASH Breakfasts-track Observable atomic consistency for CvRDTs Formal Methods Panel Session Chair of Language Design (part of Onward! Papers) 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 Migrating Business Logic to an Incremental Computing DSL: A Case Study Committee Member in Artifact Evaluation Committee within the SPLASH Artifacts-track Committee Member in Artifact Evaluation Committee within the SPLASH Artifacts-track We Should Stop Claiming Generality in our Domain-Specific Language Papers Migrating Business Logic to an Incremental Computing DSL: A Case Study Committee Member in Program Committee within the SLE-track We Should Stop Claiming Generality in our Domain-Specific Language Papers - Preview
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 Developing Opal, an App for Cancer Patients, as a Computer Scientist and Cancer Patient Speaker in Speakers within the SPLASH -I-track HorseIR: Bringing Array Programming Languages Together with Database Query Processing Numerical Computing on the Web: Benchmarking for the Future
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 Explicit Direct Instruction in Programming Education Mentor in Mentors within the SPLASH Breakfasts-track Speaker in Speakers within the SPLASH -I-track Mental Models, Metaphors and Misconceptions 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 DLS-track Steering Committee Member in Steering Committee within the DLS-track Committee Member in Program Committee within the Onward! Papers-track Committee Member in Program Committee within the SLE-track Committee Member in Program Committee within the LIVE-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 Roberto IerusalimschyIerusalimschy, Roberto PUC-RioBrazil Steering Committee Member in Steering Committee within the DLS-track Committee Member in Program Committee within the Onward! Papers-track Committee Member in Program Committee within the VMIL-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 A new modularity for software Espalier: a structured spreadsheet tool for end-user development of organizational applications 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 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 UniversityCzechia Committee Member in Program Committee within the VMIL-track
Kennedy KambonaKambona, Kennedy Vrije Universiteit Brussel A Mete Rete Interface For Perpetually Online Distributed Rule-Based Systems 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
Shoaib KamilKamil, Shoaib AdobeUnited States GraphIt - A High-Performance Graph DSL GraphIt - A High-Performance Graph DSL GraphIt - A High-Performance Graph DSL Session Chair of I (part of GPCE ) 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 Julia: Dynamism and Performance Reconciled by Design - Preview
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 Take a Selfie in Class On the Self in Selfie ⭐️
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 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 - Preview
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 Reliable Deployment at Uber Scale Speaker in Speakers within the SPLASH -I-track Reacting to stream-based programming bugs
Shriram KrishnamurthiKrishnamurthi, Shriram Brown University, USA The story of Arjun Guha, or: the arc of a research project Speaker in Speakers within the SPLASH PLMW-track The Behavior of Gradual Types: A User Study Three approaches to Gradual Typing Committee Member in Program Committee within the OCAP-track Building an Accessible Block Environment
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
Christian KästnerKästner, Christian Carnegie Mellon UniversityUnited States Faster Variational Execution with Transparent Bytecode Transformation Exploring feature interactions without specifications: a controlled experiment Faster Variational Execution with Transparent Bytecode Transformation Exploring feature interactions without specifications: a controlled experiment
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 UniversityCzechia Web Chair in Organizing Committee for SPLASH 2018
L Ralf LaemmelLaemmel, Ralf Facebook LondonGermany Committee Member in Program Committee within the SLEBoK-track Committee Member in Program Committee within the Onward! Papers-track Session Chair of Types & Constraints (part of SLE) Committee Member in Program Committee within the SLE-track
Shuvendu K. LahiriLahiri, Shuvendu K. 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 Object-Oriented Recovery for Non-Volatile Memory Object-Oriented Recovery for Non-Volatile Memory Mentor in Mentors within the SPLASH Breakfasts-track NVM ReConstruction: Object-Oriented Recovery for Non-Volatile Memory Programming NVM 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 Real-time Collaboration in NetsBlox Educational Robotics with a Twist Committee Member in Program Committee within the BLOCKS+-track
Manuel LeducLeduc, Manuel IRISA, University of Rennes 1 Modular Language Composition for the Masses Committee Member in Program Committee within the SLEBoK-track
Manuel LeducLeduc, Manuel Univ Rennes, Inria, CNRS, IRISAFrance Modular Language Composition for the Masses Committee Member in Artifact Evaluation Committee within the SLE-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 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 - Preview
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 Chair in Program Committee within the SPLASH -E-track Mentor in Mentors within the SPLASH Breakfasts-track Panel of Recent Ph.Ds Panelist in Speakers within the SPLASH PLMW-track
Mohsen LesaniLesani, Mohsen University of California, Riverside Committee Member in Academic Panel within the SPLASH DocSymposium-track BioScript: Programming Safe Chemistry on Laboratories-on-a-Chip
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) Create an Object Model and Get a GC for Free (Part I) Create an Object Model and Get a GC for Free (Part II) Boost WABT Performance with JitBuilder (Part II) Eclipse OMR: Building Blocks for Polyglot Boost WABT Performance with JitBuilder (Part I) 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) Create an Object Model and Get a GC for Free (Part II) Boost WABT Performance with JitBuilder (Part II) Boost WABT Performance with JitBuilder (Part I) Committee Member in Organizing Committee within the TURBO-track
Ortwin MailahnMailahn, Ortwin ZeMA Tool: Accessible Automated Reasoning for Human Robot Collaboration
Petr MajMaj, Petr ReactorLabsCzechia 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 Parallelization of Dynamic Languages: Synchronizing Built-in Collections Parallelization of Dynamic Languages: Synchronizing Built-in Collections 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 Session Chair of Optimization (part of DLS) Committee Member in Program Committee within the DLS-track Newspeak and Truffle: A Platform for Grace? Session Chair of DSLs and Language Design Principles (part of Onward! Papers) Session Chair of Data Structures (part of Onward! Papers) Committee Member in Program Committee within the Onward! Papers-track Session Chair of Keynote: Kirsch (part of VMIL) PC Co-Chair in Program Committee within the VMIL-track Session Chair of Keynote: Noble (part of META) Session Chair of Keynote: Burmako & Tooling (part of META) Committee Member in Organizing Committee within the META-track Session Chair of VI (part of GPCE ) Committee Member in Program Committee within the GPCE -track
Assaf MarronMarron, Assaf Committee Member in Program Committee within the AGERE-track
Mark MarronMarron, Mark Microsoft ResearchUnited States Time-Travel Debugging and Actionable Diagnostics Insights Speaker in Speakers within the SPLASH -I-track Log++ Logging for a Cloud-Native World Session Chair of I (part of VMIL) 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 Committee Member in Program Committee within the DLS-track Live, Synchronized, and Mental Map Preserving Visualization for Data Structure Programming Committee Member in Program Committee within the LIVE-track Committee Member in Program Committee within the META-track Live, Synchronized, and Mental Map Preserving Visualization for Data Structure Programming - Preview Committee Member in Program Committee within the REBLS-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 Speaker in Speakers within the SPLASH -I-track Committee Member in Program Committee within the HILT-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 Committee Member in Program Committee within the SLEBoK-track Awards Opening PC Co-Chair in Organizing Committee within the SLE-track Opening Awards
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 Tangible Abstraction Speaker in Speakers within the SPLASH -I-track Committee Member in Program Committee within the Onward! Papers-track Session Chair of III (part of LIVE) Committee Member in Program Committee within the LIVE-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 Faster Variational Execution with Transparent Bytecode Transformation Exploring feature interactions without specifications: a controlled experiment Faster Variational Execution with Transparent Bytecode Transformation Exploring feature interactions without specifications: a controlled experiment
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 Thread-Safe Reactive Programming Thread-Safe Reactive Programming Thread-Safe Reactive Programming From Debugging Towards Live Tuning of Reactive Applications Distributing Thread-Safety for 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 Invited Talk 1 Committee Member in Academic Panel within the SPLASH DocSymposium-track What happened to distributed programming languages? Speaker in Speakers within the SPLASH -I-track Committee Member in Program Committee within the Onward! Papers-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 Committee Member in Distinguished Paper Committee within the SPLASH OOPSLA-track Committee Member in Review Committee within the SPLASH OOPSLA-track FlashProfile: A Framework for Synthesizing Data Profiles
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 Thread-Safe Reactive Programming From Debugging Towards Live Tuning of Reactive Applications Thread-Safe Reactive Programming Thread-Safe Reactive Programming From Debugging Towards Live Tuning of Reactive Applications
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
Michał MoskalMoskal, Michał 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 SLEBoK-track Committee Member in Program Committee within the SLE-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 Obsidian: A Safer Blockchain Programming Language Interdisciplinary Programming Language Design Interdisciplinary Programming Language Design - Preview
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 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 A Cost Model for a Graph-Based Intermediate-Representation in a Dynamic Compiler
Anders MøllerMøller, Anders Aarhus UniversityDenmark Precision-Guided Context Sensitivity for Pointer Analysis Session Chair of Potpourri (part of SPLASH OOPSLA) Precision-Guided Context Sensitivity for Pointer Analysis Committee Member in Review Committee within the SPLASH OOPSLA-track Precision-Guided Context Sensitivity for Pointer Analysis
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 Exploring feature interactions without specifications: a controlled experiment Mentor in Mentors within the SPLASH Breakfasts-track Session Chair of Panel: Industry and Academia (part of SPLASH PLMW) Session Chair of Mentoring Workshop (part of SPLASH PLMW) Panel of Recent Ph.Ds Panelist in Speakers within the SPLASH PLMW-track Committee Member in Organizing Committee within the SPLASH PLMW-track Session Chair of III (part of GPCE ) Exploring feature interactions without specifications: a controlled experiment Committee Member in Program Committee within the GPCE -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 Mentor in Mentors within the SPLASH Breakfasts-track Panel: Industrial and Academic Research Navigating the process of doing a rewarding Ph.D. Speaker in Speakers within the SPLASH PLMW-track Declarative Program Analysis and Big Code: Challenges and Opportunities
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 Mentor in Mentors within the SPLASH Breakfasts-track Two Decades of Ownership Types Speaker in Speakers within the SPLASH -I-track Session Chair of The State of Grace (part of GRACE) Static & Dynamic Typing in Grace Newspeak and Truffle: A Platform for Grace? The Future of Grace Committee Member in Program Committee within the GRACE-track Committee Member in Organizing Committee within the GRACE-track OCAP Patterns Panel Formal Methods Panel Committee Member in Organizing Committee within the OCAP-track Committee Member in Program Committee within the SLE-track Committee Member in Program Committee within the LIVE-track Through a Glass, Darkly ⭐️
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 Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments Session Chair of Types and Contracts (part of SPLASH OOPSLA) 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 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 - Preview
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 Committee Member in Program Committee within the SLE-track Pattern Matching in an Open World
Cyrus OmarOmar, Cyrus University of ChicagoUnited States Committee Member in Reviewers within the SPLASH SRC-track Hazel: Live and Direct Functional Programming with Holes Committee Member in Program Committee within the LIVE-track Relit: Typed Literal Macros for Reason
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 Committee Member in Academic Panel within the SPLASH DocSymposium-track Effect Handlers for the Masses 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 Sound Deadlock Prediction Session Chair of Program Synthesis (part of SPLASH OOPSLA) Session Chair of Awards / SIGPLAN Town Hall Meeting (part of SPLASH OOPSLA) Sound Deadlock Prediction Mentor in Mentors within the SPLASH Breakfasts-track Sound Deadlock Prediction NJR discussion; Needs, Requirements, Wishes NJR: 100,000 Executable, Scriptable, and Searchable Java Programs 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 A Blocks-Based Approach to Internet of Things in MIT App Inventor JSON Interoperability in MIT App Inventor Panel: Block Abstractions for Artificial Intelligence
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) Mentor in Mentors within the SPLASH Breakfasts-track Opening General Chair in Organizing Committee within the SLE-track Towards Compilation of an Imperative Language for FPGAs Opening Awards
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 Committee Member in Program Committee within the AGERE-track Session Chair of IV (part of LIVE) Committee Member in Organizing Committee within the LIVE-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" Committee Member in Program Committee within the LIVE-track Programming by example: efficient, but not "helpful"
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 Chair in Organizers within the SPLASH Workshops-track Towards Compilation of an Imperative Language for FPGAs
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 Test Generation for Higher-Order Functions in Dynamic Languages 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
Varot PremtoonPremtoon, Varot MIT 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 One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax - Preview
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 Dynamic Distributed Systems Compositional Programming and Testing of Dynamic Distributed Systems Compositional Programming and Testing of Actor Programs
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
Dimi RacordonRacordon, Dimi University of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland A Practical Type System for Safe Aliasing
Gabriel RadanneRadanne, Gabriel University of FreiburgGermany Committee Member in Artifact Evaluation Committee within the SPLASH Artifacts-track Committee Member in Artifact Evaluation Committee within the SPLASH Artifacts-track Regenerate: A Language Generator for Extended Regular Expressions
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 Technical University of 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 A New Approach for Software Correctness and Reliability Committee Member in Keynote Speaker within the SLE-track SLE Keynote: A New Approach for Software Correctness and Reliability
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. TU Dresden, Germany Meta-programming for cross-domain tensor optimizations Meta-programming for cross-domain tensor optimizations
Charles RobertsRoberts, Charles Worcester Polytechnic Institute Realtime Annotations & Visualizations in Live Coding Environments
Matthew RobertsRoberts, Matthew Macquarie UniversityAustralia Awards Artifact Evaluation Co-Chair in Organizing Committee within the SLE-track
Richard RobertsRoberts, Richard Victoria University of WellingtonNew Zealand Newspeak and Truffle: A Platform for Grace? Committee Member in Program Committee within the VMIL-track
Anthony RobinsRobins, Anthony University of Otago Committee Member in Program Committee within the GRACE-track
Gregorio RoblesRobles, Gregorio Universidad Rey Juan CarlosSpain On the Usage of “Pythonic” Idioms in Python Programs On the Usage of “Pythonic” Idioms in Python Programs - Preview
Clyde RobyRoby, Clyde IDA Session Chair of I (part of HILT) Committee Member in Program Committee within the HILT-track Committee Member in Organizing Committee within the HILT-track
Juri Di RoccoRocco, Juri Di Università di L'AquilaItaly Committee Member in Artifact Evaluation Committee within the SLE-track
Larissa RochaRocha, Larissa Universidade Federal da Bahia Exploring feature interactions without specifications: a controlled experiment Exploring feature interactions without specifications: a controlled experiment
Humberto Rodriguez AvilaRodriguez Avila, Humberto Vrije Universiteit BrusselBelgium Composable Higher-Order Reactors as the Basis for a Live Reactive Programming Environment
Noemi RodriguezRodriguez, Noemi PUC-Rio Committee Member in Program Committee within the REBLS-track
Tiark RompfRompf, Tiark Purdue UniversityUnited States Committee Member in External Reviewers within the SPLASH OOPSLA-track Opening Awards PC Chairs in Organizing Committee within the GPCE -track
Jennifer RosatoRosato, Jennifer College of St. Scholastica Broadening Participation in Computer Science through Block Programming
Karl RosenbergRosenberg, Karl New York University Chalktalk : A Visualization and Communication Language -- As a Tool in the Domain of Computer Science Education
Philip C. RothRoth, Philip C. Oak Ridge National Laboratory Committee Member in Program Committee within the AI-SEPS-track
Arjen RouvoetRouvoet, Arjen Delft University of Technology Scopes as Types Scopes as Types Scopes as Types
Chanchal K. RoyRoy, Chanchal K. University of SaskatchewanCanada Clone Detection and Benchmarking in Big Code
Julia RubinRubin, Julia University of British ColumbiaCanada Mentor in Mentors within the SPLASH Breakfasts-track Panel: Industrial and Academic Research From academia to industry and back again Speaker in Speakers within the SPLASH PLMW-track
Cindy Rubio-GonzálezRubio-González, Cindy University of California, DavisUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Sebastian RulandRuland, Sebastian Measuring Effectiveness of Sample-based Product-Line Testing
Bernhard RumpeRumpe, Bernhard RWTH Aachen UniversityGermany Translating Grammars to Accurate Metamodels Deriving Fluent Internal Domain-Specific Languages from Grammars Committee Member in Program Committee within the SLE-track
Tobias RungeRunge, Tobias TU Braunschweig Tool support for Confidentiality by Construction Panel on Language-based Security
Barbara RyderRyder, Barbara Virginia TechUnited States Mentor in Mentors within the SPLASH Breakfasts-track Session Chair of Keynote: Steele (part of SPLASH PLMW) Welcome and Introduction Committee Member in Organizing Committee within the SPLASH PLMW-track
Sukyoung RyuRyu, Sukyoung KAIST, South KoreaKorea, South Committee Member in Program Committee within the SPLASH DocSymposium-track Committee Member in Review Committee within the SPLASH OOPSLA-track
Leonid RyzhykRyzhyk, Leonid VMware Research Secure Serverless Computing Using Dynamic Information Flow Control Secure Serverless Computing Using Dynamic Information Flow Control
Yann Régis-GianasRégis-Gianas, Yann IRIF, University Paris Diderot and CNRS, France / INRIA PI.R2France Morbig: A Static Parser for POSIX Shell
S Mihaela SabinSabin, Mihaela University of New HampshireUnited States Committee Member in Program Committee within the BLOCKS+-track
Caitlin SadowskiSadowski, Caitlin Google, IncUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Mathijs SaeySaey, Mathijs Vrije Universiteit BrusselBelgium A DSL for Distributed, Reactive Workflows A Mete Rete Interface For Perpetually Online Distributed Rule-Based Systems Skitter: A DSL for Distributed Reactive Workflows Skitter: A DSL for Distributed Reactive Workflows
Mooly SagivSagiv, Mooly Tel Aviv UniversityIsrael Secure Serverless Computing Using Dynamic Information Flow Control Secure Serverless Computing Using Dynamic Information Flow Control
Konstantinos (Kostis) SagonasSagonas, Konstantinos (Kostis) Uppsala UniversitySweden Committee Member in Program Committee within the AGERE-track
Daniel SainatiSainati, Daniel Cornell University LambdaLab: An Interactive Lambda-Calculus Reducer for Learning
Alexander SakharovSakharov, Alexander Synstretch Input-Driven Regular Expressions (Vision Paper)
Rick SalaySalay, Rick University of TorontoCanada Analysing Meta-Model Product Lines
Baptiste SaleilSaleil, Baptiste Université de MontréalCanada Building JIT Compilers For Dynamic Languages With Low Development Effort
Guido SalvaneschiSalvaneschi, Guido TU DarmstadtGermany Distributed System Development with ScalaLoci Thread-Safe Reactive Programming Distributed System Development with ScalaLoci Thread-Safe Reactive Programming Thread-Safe Reactive Programming Distributed System Development with ScalaLoci Committee Member in Program Committee within the DLS-track Committee Member in Program Committee within the Onward! Papers-track From Debugging Towards Live Tuning of Reactive Applications Multitier Reactive Programming with ScalaLoci Welcome and Opening Remarks Committee Member in Organizing Committee within the REBLS-track
Abdul SamadSamad, Abdul Siena College, USA A Framework for Code-Level Tracing of Map-Based Algorithm Visualizations
Malavika SamakSamak, Malavika CSAIL, MITUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Piyush SamantSamant, Piyush Thapar Institute of Engineering, Patiala, Punjab, India Handling inconsistencies in software product line using a rule-based approach
Roopsha SamantaSamanta, Roopsha Purdue UniversityUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Adrian SampsonSampson, Adrian Cornell UniversityUnited States LambdaLab: An Interactive Lambda-Calculus Reducer for Learning Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Review Committee within the SPLASH OOPSLA-track
Miho SandersSanders, Miho University of Northern Iowa Minimal Specifications for Detecting Security Vulnerabilities
Francisco Sant'AnnaSant'Anna, Francisco Rio de Janeiro State UniversityBrazil Session Chair of Keynote: Ramanathan (part of REBLS) Where Do Events Come From? Reactive and Energy-Efficient Programming From The Ground Up Welcome and Opening Remarks Program Chair in Program Committee within the REBLS-track
Mark SantolucitoSantolucito, Mark Yale University, USA Programming by example: efficient, but not "helpful" Programming by example: efficient, but not "helpful"
John SarracinoSarracino, John University of California, San DiegoUnited States Committee Member in Reviewers within the SPLASH SRC-track Committee Member in Artifact Evaluation Committee within the SPLASH Artifacts-track
Shigeyuki SatoSato, Shigeyuki Kochi University of Technology Symmetry-based Optimization of Interaction Kernels
Yukinori SatoSato, Yukinori Toyohashi University of TechnologyJapan Organizing Committe of AI SEPS (part of AI-SEPS) Panel discussion Committee Member in Organizing Committee within the AI-SEPS-track
Eric SauerSauer, Eric Siena College, USA A Framework for Code-Level Tracing of Map-Based Algorithm Visualizations
Chris ScaffidiScaffidi, Chris Oregon State University Committee Member in Program Committee within the BLOCKS+-track
Toby SchachmanSchachman, Toby HARC/ Y Combinator Research Committee Member in Program Committee within the LIVE-track
Ina SchaeferSchaefer, Ina Technische Universität BraunschweigGermany Tool support for Confidentiality by Construction Panel on Language-based Security Committee Member in Program Committee within the GPCE -track
Max SchaeferSchaefer, Max SemmleUnited Kingdom Committee Member in Review Committee within the SPLASH OOPSLA-track
Emmanuel SchanzerSchanzer, Emmanuel Brown UniversityUnited States Committee Member in Program Committee within the SPLASH -E-track Building an Accessible Block Environment
Bertil SchmidtSchmidt, Bertil Johannes Gutenberg University AnyDSL: A Partial Evaluation Framework for Programming High-Performance Libraries
Thomas C. SchmidtSchmidt, Thomas C. HAW Hamburg A Configurable Transport Layer for CAF
Thomas SchmitzSchmitz, Thomas Secure Serverless Computing Using Dynamic Information Flow Control Secure Serverless Computing Using Dynamic Information Flow Control
Christophe ScholliersScholliers, Christophe Universiteit Gent, Belgium Collapsible Contracts: Fixing a Pathology of Gradual Typing Collapsible Contracts: Pruning Pathological Performance for Sound Gradual Typing A CAPable distributed programming model
Bernhard ScholzScholz, Bernhard The University of SydneyAustralia MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts Committee Member in External Reviewers within the SPLASH OOPSLA-track
Markus SchordanSchordan, Markus Lawrence Livermore National LaboratoryUnited States Committee Member in Program Committee within the SLE-track
Ulrik Pagh SchultzSchultz, Ulrik Pagh University of Southern DenmarkDenmark Committee Member in Program Committee within the GPCE -track
Philipp SchusterSchuster, Philipp University of Tübingen, Germany Effect Handlers for the Masses
René SchöneSchöne, René Technische Universität Dresden Continuous Model Validation using Reference Attribute Grammars Continuous Model Validation using Reference Attribute Grammars
Elizabeth ScottScott, Elizabeth Royal Holloway University of London GLL Parsing with Flexible Combinators
Yoav SeginerSeginer, Yoav cdl-lang.org, Netherlands Query-Based Object-Oriented Programming: A Declarative Web of Objects
Christoph SeidlSeidl, Christoph Technische Universität Braunschweig Anomaly Analyses for Feature-Model Evolution Anomaly Analyses for Feature-Model Evolution
Marija SelakovicSelakovic, Marija TU Darmstadt, Germany 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
Ben Selwyn-SmithSelwyn-Smith, Ben Multi-Device Grace Multi-Device Grace
Ben Selwyn-SmithSelwyn-Smith, Ben Multi-Device Grace
Koushik SenSen, Koushik University of California, BerkeleyUnited States DeepBugs: A Learning Approach to Name-based Bug Detection DeepBugs: A Learning Approach to Name-based Bug Detection
Audrey SeoSeo, Audrey Wellesley College Abstractionless Programming in App Inventor
Ilya SergeySergey, Ilya Yale-NUS CollegeSingapore RacerD: Compositional Static Race Detection
Bernard SerpetteSerpette, Bernard Inria Implementing a semi-causal domain-specific language for context detection over binary sensors
Manuel SerranoSerrano, Manuel Inria, France JavaScript AOT Compilation
Sanjit SeshiaSeshia, Sanjit UC Berkeley Compositional Programming and Testing of Dynamic Distributed Systems Compositional Programming and Testing of Dynamic Distributed Systems Compositional Programming and Testing of Actor Programs
Viral B ShahShah, Viral B Julia Computing Julia: Dynamism and Performance Reconciled by Design Julia: Dynamism and Performance Reconciled by Design - Preview
Chung-chieh ShanShan, Chung-chieh Indiana University, USA Committee Member in Program Committee within the GPCE -track
R. Benjamin ShapiroShapiro, R. Benjamin University of Colorado, BoulderUnited States Committee Member in Program Committee within the SPLASH -E-track Thinking Outside the Blocks
Himanshu SharmaSharma, Himanshu Indian Institute of Science, Bangalore Refinement in object-sensitivity points-to analysis via slicing Refinement in object-sensitivity points-to analysis via slicing
Rahul SharmaSharma, Rahul Microsoft ResearchIndia Committee Member in Review Committee within the SPLASH OOPSLA-track
Josh SheldonSheldon, Josh MIT App InventorUnited States Reducing the Barriers for Computational Action: How Blocks-Based Programming Can Support Digital Empowerment Committee Member in Organizing Committee within the BLOCKS+-track Co-chair in Program Committee within the BLOCKS+-track
Jiasi ShenShen, Jiasi Massachusetts Institute of Technology Inference and Regeneration of Programs that Store and Retrieve Data
Mark ShermanSherman, Mark CERT Research Tools for MIT App Inventor
Kazuhiro ShibanaiShibanai, Kazuhiro Tokyo Institute of Technology Distributed Functional Reactive Programming on Actor-Based Runtime
Avraham ShinnarShinnar, Avraham IBM Research Protecting Chatbots from Toxic Content Reactive Chatbot Programming
Julian ShunShun, Julian MIT GraphIt - A High-Performance Graph DSL GraphIt - A High-Performance Graph DSL GraphIt - A High-Performance Graph DSL
Jeremy G. SiekSiek, Jeremy G. Indiana UniversityUnited States Committee Member in Program Committee within the GPCE -track
Konrad SiekSiek, Konrad Czech Technical University in PraguePoland Posters Chair in Organizing Committee for SPLASH 2018 Chair in Organizers within the SPLASH Posters-track
Julien SignolesSignoles, Julien CEA LIST Soundness of a Dataflow Analysis for Memory Monitoring
Jerome SimeonSimeon, Jerome ClauseUnited States Reactive Chatbot Programming
Jeremy SingerSinger, Jeremy University of Glasgow Committee Member in Program Committee within the VMIL-track
KC SivaramakrishnanSivaramakrishnan, KC University of CambridgeUnited Kingdom Safe Replication through Bounded Concurrency Verification Safe Replication through Bounded Concurrency Verification
Justin SlepakSlepak, Justin Northeastern UniversityUnited States Accessibility Chair in Organizing Committee for SPLASH 2018
Alexander SlesarenkoSlesarenko, Alexander Huawei Committee Member in Program Committee within the GPCE -track
Andrew SliwinskiSliwinski, Andrew Scratch 3.0 Design Notes
Anthony SloaneSloane, Anthony Macquarie UniversityAustralia Committee Member in Program Committee within the SLEBoK-track Committee Member in Program Committee within the SLE-track Committee Member in Program Committee within the GPCE -track
Philipp SlusallekSlusallek, Philipp DFKI, GermanyGermany AnyDSL: A Partial Evaluation Framework for Programming High-Performance Libraries
Yannis SmaragdakisSmaragdakis, Yannis University of AthensGreece Committee Member in Steering Committee for SPLASH 2018 Precision-Guided Context Sensitivity for Pointer Analysis MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts Precision-Guided Context Sensitivity for Pointer Analysis MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts Committee Member in Review Committee within the SPLASH OOPSLA-track Precision-Guided Context Sensitivity for Pointer Analysis Decompiling Ethereum Bytecode and Detecting Gas-Focused Vulnerabilities
Karl SmeltzerSmeltzer, Karl Oregon State University A Domain-Specific Language for Exploratory Data Visualization
Jeff SmitsSmits, Jeff Delft University of TechnologyNetherlands Incremental compilation for Stratego
Steven SmythSmyth, Steven Kiel University Synthesizing Manually Verifiable Code for Statecharts Committee Member in Program Committee within the REBLS-track
Sunbeom SoSo, Sunbeom Korea University 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 Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments - Preview
Armando Solar-LezamaSolar-Lezama, Armando MIT CSAILUnited States One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax Committee Member in Review Committee within the SPLASH OOPSLA-track One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax - Preview
Dowon SongSong, Dowon Korea University 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 Automatic Diagnosis and Correction of Logical Errors for Functional Programming Assignments - Preview
Marcelo SousaSousa, Marcelo University of Oxford Verified Three-Way Program Merge
Daniel SpoonhowerSpoonhower, Daniel LightstepUnited States Measuring Microservice Performance: A Shape Not a Number Speaker in Speakers within the SPLASH -I-track
Matthias SpringerSpringer, Matthias Tokyo Institute of TechnologyGermany SoaAlloc: Dynamic Object Allocation in Structure of Arrays Data Layout on GPUs
Manu SridharanSridharan, Manu UberUnited States OOPSLA Review Committee Chair in Organizing Committee for SPLASH 2018 Session Chair of Awards / SIGPLAN Town Hall Meeting (part of SPLASH OOPSLA) Chair in Distinguished Paper Committee within the SPLASH OOPSLA-track Program Chair in Review Committee within the SPLASH OOPSLA-track Mentor in Mentors within the SPLASH Breakfasts-track
Witawas Srisa-anSrisa-an, Witawas University of Nebraska-LincolnUnited States Committee Member in Steering Committee within the VMIL-track
Alok SrivastavaSrivastava, Alok SAIC Session Chair of IV (part of HILT) Committee Member in Program Committee within the HILT-track
Vincent St-AmourSt-Amour, Vincent Northwestern UniversityUnited States Collapsible Contracts: Fixing a Pathology of Gradual Typing
Vincent St-AmourSt-Amour, Vincent Northwestern University, USAUnited States Collapsible Contracts: Pruning Pathological Performance for Sound Gradual Typing
Vincent St-AmourSt-Amour, Vincent Northwestern UniversityUnited States Committee Member in Program Committee within the Onward! Papers-track
Lukas StadlerStadler, Lukas Oracle Labs, AustriaAustria Committee Member in Program Committee within the DLS-track A Cost Model for a Graph-Based Intermediate-Representation in a Dynamic Compiler
Guy L. Steele Jr.Steele Jr., Guy L. Oracle LabsUnited States 50 Years of Programming and Language Design Keynote Speaker in Speakers within the SPLASH PLMW-track
Andreas StefikStefik, Andreas A Randomized Controlled Trial on the Impact of Polyglot Programming in a Database Context
Friedrich SteimannSteimann, Friedrich FernuniversitätGermany Committee Member in Program Committee within the SLEBoK-track Committee Member in Program Committee within the Onward! Papers-track Fatal Abstraction Awards Opening PC Co-Chair in Organizing Committee within the SLE-track Opening Awards
Michael J. SteindorferSteindorfer, Michael J. Delft University of TechnologyNetherlands 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
Erik StenmanStenman, Erik Sweden BEAM: A Virtual Machine for Handling Millions of Messages per Second ⭐️
Marc StieglerStiegler, Marc Keynote Speaker of Keynote: Stiegler (part of OCAP) Lost Wisdom of the Ancients OCAP Patterns Panel
Quentin StiévenartStiévenart, Quentin Vrije Universiteit BrusselBelgium Committee Member in Artifact Evaluation Committee within the SPLASH Artifacts-track
Jouke StoelStoel, Jouke CWI Constraint-based Run-time State Migration for Live Modeling
Mark StoodleyStoodley, Mark IBM CanadaCanada Oh, the compilers you will build! Speaker in Speakers within the SPLASH -I-track Session Chair of Speakers 2 (part of TURBO) Create an Object Model and Get a GC for Free (Part I) JIT as a Service: Compiling for Runtimes in the Cloud Create an Object Model and Get a GC for Free (Part II) BoF: Eclipse OMR Community Directions Boost WABT Performance with JitBuilder (Part II) Boost WABT Performance with JitBuilder (Part I)
Michelle StroutStrout, Michelle University of ArizonaUnited States Committee Member in External Reviewers within the SPLASH OOPSLA-track
Filip StrömbäckStrömbäck, Filip Linköping University Storm: A Language Platform for Interacting and Extensible Languages (Tool Demo) Storm: A Language Platform for Interacting and Extensible Languages (Tool Demo)
Daniel StrüberStrüber, Daniel University of Koblenz-Landau, GermanyGermany Model-based Security Analysis of Feature-oriented Software Product Lines
Nicolas StuckiStucki, Nicolas EPFL, SwitzerlandSwitzerland A Practical Unification of Multi-Stage Programming and Macros A Practical Unification of Multi-Stage Programming and Macros
Lisa StumpStump, Lisa MIT Scheller Teacher Education Program Real-time Collaboration and Undo in StarLogo Nova: Technical Approach and Considerations for UX Design
Zhendong SuSu, Zhendong ETH ZurichSwitzerland Committee Member in External Reviewers within the SPLASH OOPSLA-track
Kevin SullivanSullivan, Kevin Steering Committee Member in Steering Committee for Onward! 2018
Kirshanthan SundararajahSundararajah, Kirshanthan Purdue UniversityUnited States Scheduling Transformations and Dependence Tests for Recursive Programs
Joshua SunshineSunshine, Joshua Carnegie Mellon University Obsidian: A Safer Blockchain Programming Language Committee Member in Judges within the SPLASH SRC-track Interdisciplinary Programming Language Design Session Chair of Keynote: Chugh (part of PLATEAU) Session Chair of Adoption & Programmer Perception (part of PLATEAU) Interdisciplinary Programming Language Design - Preview Committee Member in Organizing Committee within the PLATEAU-track
Zehra SuraSura, Zehra IBM ResearchUnited States 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
Adilla SusungiSusungi, Adilla MINES ParisTech, France Meta-programming for cross-domain tensor optimizations Meta-programming for cross-domain tensor optimizations
Janwillem SwalensSwalens, Janwillem Vrije Universiteit BrusselBelgium Chocola: Integrating Futures, Actors, and Transactions Committee Member in Artifact Evaluation Committee within the SPLASH Artifacts-track Chocola: Integrating Futures, Actors, and Transactions
David SwaseySwasey, David MPI-SWSGermany Committee Member in Program Committee within the OCAP-track
Eugene SyrianiSyriani, Eugene University of MontrealCanada Committee Member in Program Committee within the SLEBoK-track
Tamás SzabóSzabó, Tamás itemis / TU DelftGermany Incrementalizing Lattice-Based Program Analyses in Datalog Incrementalizing Lattice-Based Program Analyses Better living through incrementality: Immediate static analysis feedback without loss of precision Speaker in Speakers within the SPLASH -I-track
Justin SzadaySzaday, Justin University of Illinois at Urbana-ChampaignUnited States 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
Alexandre SztajnbergSztajnberg, Alexandre Rio de Janeiro State University Where Do Events Come From? Reactive and Energy-Efficient Programming From The Ground Up
Emma SöderbergSöderberg, Emma Lund UniversitySweden Continuous Model Validation using Reference Attribute Grammars Continuous Model Validation using Reference Attribute Grammars Committee Member in Program Committee within the SLE-track
T Claude TadonkiTadonki, Claude MINES ParisTech, France Meta-programming for cross-domain tensor optimizations Meta-programming for cross-domain tensor optimizations
S Tucker TaftTaft, S Tucker Session Chair of Keynote: Martin (part of HILT)
Tucker TaftTaft, Tucker AdaCoreUnited States Sponsorship Chair in Organizing Committee for SPLASH 2018 Provably Safe Pointers for a Parallel World Speaker in Speakers within the SPLASH -I-track Session Chair of Showcase & Wrapup (part of HILT) Session Chair of Keynote: Richards (part of HILT) Workshop Wrapup Panel on Language-based Security Welcome to the HILT 2018 Workshop SIGAda Awards and Sponsor Intros Security Showcase -- SPARK Formal Verification for Security Program Co-Chair in Program Committee within the HILT-track Committee Member in Organizing Committee within the HILT-track
Walid TahaTaha, Walid Committee Member in Program Committee within the GPCE -track
Leland TakamineTakamine, Leland Uber Technologies Profiling Android Applications with Nanoscope
Arie TalTal, Arie Technion Parallelization of Dynamic Languages: Synchronizing Built-in Collections Parallelization of Dynamic Languages: Synchronizing Built-in Collections
Carolyn TalcottTalcott, Carolyn SRI International Committee Member in Program Committee within the AGERE-track
Tian TanTan, Tian 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
Danny TangTang, Danny Massachusetts Institute of Technology JSON Interoperability in MIT App Inventor
Éric TanterTanter, Éric University of Chile & Inria ParisChile Committee Member in Program Committee within the SPLASH DocSymposium-track Gradual Liquid Type Inference Mentor in Mentors within the SPLASH Breakfasts-track Gradual Liquid Type Inference A Trustworthy Mechanized Formalization of R Committee Member in Program Committee within the OCAP-track Committee Member in Program Committee within the PLATEAU-track
Olivier TardieuTardieu, Olivier IBM ResearchFrance A Reactive Language for Analyzing Cloud Logs
Ross TateTate, Ross Cornell UniversityUnited States Invited Talk 2 Empowering Union and Intersection Types with Integrated Subtyping Mentor in Mentors within the SPLASH Breakfasts-track Empowering Union and Intersection Types with Integrated Subtyping
Rodrigo TeixeiraTeixeira, Rodrigo INPE - National Institute for Space Research Does It Make Sense to have Application-specific Code Conventions as a Complementary Approach to Code Annotations?
Jim TerescoTeresco, Jim A Framework for Code-Level Tracing of Map-Based Algorithm Visualizations
Peter ThiemannThiemann, Peter University of FreiburgGermany Committee Member in Steering Committee for SPLASH 2018 Steering Committee Member in Steering Committee for Onward! 2018 Mentor in Mentors within the SPLASH Breakfasts-track Regenerate: A Language Generator for Extended Regular Expressions
Mark ThomThom, Mark Building an Ahead-of-Time Compiler for WebAssembly with Eclipse OMR
Dave ThomasThomas, Dave Kx SystemsCanada Committee Member in Program Committee within the Onward! Papers-track
Jim ThompsonThompson, Jim US DoD Committee Member in Program Committee within the HILT-track
Thomas ThümThüm, Thomas University of UlmGermany Anomaly Analyses for Feature-Model Evolution Anomaly Analyses for Feature-Model Evolution Measuring Effectiveness of Sample-based Product-Line Testing
Ulyana TikhonovaTikhonova, Ulyana CWI Constraint-based Run-time State Migration for Live Modeling
Eli TilevichTilevich, Eli Virginia TechUnited States RT-Trust: Automated Refactoring for Trusted Execution Under Real-Time Constraints Committee Member in Program Committee within the BLOCKS+-track RT-Trust: Automated Refactoring for Trusted Execution Under Real-Time Constraints
Alissa TinneyTinney, Alissa Wellesley College Enhancing and Evaluating Collaborative Blocks Programming in App Inventor
Frank TipTip, Frank Northeastern UniversityUnited States Finding Broken Promises in Asynchronous JavaScript Programs Test Generation for Higher-Order Functions in Dynamic Languages Finding Broken Promises in Asynchronous JavaScript Programs Test Generation for Higher-Order Functions in Dynamic Languages Test Generation for Higher-Order Functions in Dynamic Languages Finding Broken Promises in Asynchronous JavaScript Programs Panel: Industrial and Academic Research How to Select Good Research Topics? Speaker in Speakers within the SPLASH PLMW-track
Michael TissenbaumTissenbaum, Michael University of Illinois Urbana-Champaign Research Tools for MIT App Inventor
Mike TissenbaumTissenbaum, Mike University of Illinois, Urbana-Champain Reducing the Barriers for Computational Action: How Blocks-Based Programming Can Support Digital Empowerment
Ben L. TitzerTitzer, Ben L. GoogleGermany Peering behind the Turing Mirror Speaker in Speakers within the SPLASH -I-track
Sam Tobin-HochstadtTobin-Hochstadt, Sam Indiana UniversityUnited States Artifact Evaluation Chair in Organizing Committee for SPLASH 2018 Committee Member in Review Committee within the SPLASH OOPSLA-track Mentor in Mentors within the SPLASH Breakfasts-track Chair in Artifact Evaluation Committee within the SPLASH Artifacts-track Co-chair in Program Committee within the DSLDI-track Committee Member in Organizing Committee within the DSLDI-track Committee Member in Program Committee within the VMIL-track
Joyce TokarTokar, Joyce Pyrrhusoft Committee Member in Program Committee within the HILT-track
Emina TorlakTorlak, Emina University of WashingtonUnited States Committee Member in Steering Committee for SPLASH 2018 Steering Committee Member in Steering Committee for Onward! 2018 Finding Code That Explodes Under Symbolic Evaluation Finding Code That Explodes Under Symbolic Evaluation
Massimo TorquatiTorquati, Massimo Computer Science Department - University of Pisa Committee Member in Program Committee within the AI-SEPS-track
Josep TorrellasTorrellas, Josep 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
Laurence TrattTratt, Laurence King's College LondonUnited Kingdom Committee Member in Program Committee within the DLS-track Steering Committee Member in Steering Committee within the DLS-track Committee Member in Program Committee within the GRACE-track
Ralf TreinenTreinen, Ralf IRIF Morbig: A Static Parser for POSIX Shell
Omer TrippTripp, Omer Google Inc.United States Committee Member in External Reviewers within the SPLASH OOPSLA-track
Mario TroianiTroiani, Mario Virtual Software SystemsUnited States Security Showcase -- Ensuring Cyber Resilience through Entropy-Augmented Replication
Kanae TsushimaTsushima, Kanae National Institute of InformaticsJapan Committee Member in Program Committee within the GPCE -track
Michele TucciTucci, Michele University of L'Aquila, Italy Committee Member in Artifact Evaluation Committee within the SLE-track
Bill TullohTulloh, Bill AgoricUnited States Session Chair of (part of OCAP) Committee Member in Organizing Committee within the OCAP-track
Franklyn TurbakTurbak, Franklyn Wellesley CollegeUnited States Committee Member in Organizing Committee within the BLOCKS+-track Co-chair in Program Committee within the BLOCKS+-track
U P. Merlin UesbeckUesbeck, P. Merlin University of Nevada, Las Vegas A Randomized Controlled Trial on the Impact of Polyglot Programming in a Database Context
Tomoharu UgawaUgawa, Tomoharu Kochi University of Technology, JapanJapan Generating a Minimum JavaScript VM Specialised for Target Applications
Yohann UguenUguen, Yohann Univ Lyon, INSA Lyon, Inria, CITI PyGA: A Python to FPGA compiler prototype
V Viktor VafeiadisVafeiadis, Viktor MPI-SWS, GermanyGreece Persistence Semantics for Weak Memory
Hendrik van Antwerpenvan Antwerpen, Hendrik TU DelftNetherlands Scopes as Types Scopes as Types Scopes as Types
L. Thomas van Binsbergenvan Binsbergen, L. Thomas Royal Holloway University of LondonNetherlands GLL Parsing with Flexible Combinators Funcons for HGMP - The Fundamental Constructs of Homogeneous Generative Meta-Programming (Short paper)
Jessica Van BrummelenVan Brummelen, Jessica Massachusetts Institute of Technology Panel: Block Abstractions for Artificial Intelligence
Elmer van Chasteletvan Chastelet, Elmer Delft University of TechnologyNetherlands Migrating Business Logic to an Incremental Computing DSL: A Case Study Migrating Business Logic to an Incremental Computing DSL: A Case Study
Tom Van CutsemVan Cutsem, Tom Nokia Bell LabsBelgium Committee Member in Program Committee within the META-track
Simon Van de WaterVan de Water, Simon VUB A Mete Rete Interface For Perpetually Online Distributed Rule-Based Systems
Mark van den Brandvan den Brand, Mark Eindhoven University of TechnologyNetherlands Committee Member in Program Committee within the SLE-track
Sam Van den VonderVan den Vonder, Sam Composable Higher-Order Reactors as the Basis for a Live Reactive Programming Environment
Tijs van der Stormvan der Storm, Tijs CWI & University of GroningenNetherlands Publications Chair in Organizing Committee for SPLASH 2018 Committee Member in Program Committee within the SLEBoK-track Language Workbench Support for Block-Based DSLs JEff: Objects for Effect Session Chair of Parsing (part of SLE) Constraint-based Run-time State Migration for Live Modeling Shape-Diverse DSLs: Languages without Borders (Vision Paper) Bacatá: A Language Parametric Notebook Generator (Tool Demo) Committee Member in Program Committee within the SLE-track Committee Member in Program Committee within the LIVE-track Session Chair of V (part of GPCE ) Committee Member in Program Committee within the GPCE -track
Louis van Goolvan Gool, Louis Océ Technologies B.V. Migrating Custom DSL Implementations to a Language Workbench: An Industrial Tool Demonstration (Tool Demo) Migrating Custom DSL Implementations to a Language Workbench (Tool Demo)
David Van HornVan Horn, David University of Maryland, USA Gradual Liquid Type Inference Gradual Liquid Type Inference
Eric Van WykVan Wyk, Eric University of Minnesota, USAUnited States Welcome and introduction to SLEBoK and participants Committee Member in Organizing Committee within the SLEBoK-track Committee Member in Program Committee within the DSLDI-track Opening Awards General Chair in Organizing Committee within the GPCE -track
Hans VangheluweVangheluwe, Hans University of Antwerp and McGill UniversityBelgium Committee Member in Program Committee within the SLEBoK-track
Mandana VaziriVaziri, Mandana IBM Research A Reactive Language for Analyzing Cloud Logs
Niki VazouVazou, Niki IMDEA Software Institute Gradual Liquid Type Inference Gradual Liquid Type Inference
Martin VechevVechev, Martin ETH ZürichSwitzerland Robust Relational Layout Synthesis from Examples for Android Robust Relational Layout Synthesis from Examples for Android Committee Member in External Reviewers within the SPLASH OOPSLA-track
Jyothi VeduradaVedurada, Jyothi IIT Madras Efficient Static Analyses to Identify 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 Identifying Refactoring Opportunities for Replacing Type Code with Subclass and State
Annette VeeVee, Annette University of PittsburghUnited States Committee Member in Program Committee within the Onward! Essays-track
Alexander VeidenbaumVeidenbaum, Alexander 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
Elaine VensonVenson, Elaine USC Committee Member in Program Committee within the HILT-track
Mauricio Verano MerinoVerano Merino, Mauricio Technische Universiteit EindhovenNetherlands Language Workbench Support for Block-Based DSLs Bacatá: A Language Parametric Notebook Generator (Tool Demo)
Didier VernaVerna, Didier EPITA / LRDEFrance Recognizing heterogeneous sequences by rational type expression
Jurgen VinjuVinju, Jurgen Centrum Wiskunde & Informatica / Technische Universiteit Eindhoven / SWAT.engineering BVNetherlands Committee Member in Program Committee within the SLEBoK-track Bacatá: A Language Parametric Notebook Generator (Tool Demo)
Eelco VisserVisser, Eelco Delft University of TechnologyNetherlands Committee Member in Steering Committee for SPLASH 2018 Steering Committee Member in Steering Committee for Onward! 2018 Migrating Business Logic to an Incremental Computing DSL: A Case Study Toward a Language-Parametric Code Completion Editor Service Declarative Specification of Indentation Rules: A Tooling Perspective on Parsing and Pretty-Printing Layout-Sensitive Languages Migrating Custom DSL Implementations to a Language Workbench: An Industrial Tool Demonstration (Tool Demo) Incremental compilation for Stratego Scopes as Types Session Chair of Language Design 1 (part of SPLASH OOPSLA) Scopes as Types Committee Member in Review Committee within the SPLASH OOPSLA-track Scopes as Types Session Chair of Parsing / Composition (part of SLE) Migrating Business Logic to an Incremental Computing DSL: A Case Study Declarative Specification of Indentation Rules: A Tooling Perspective on Parsing and Pretty-Printing Layout-Sensitive Languages Migrating Custom DSL Implementations to a Language Workbench (Tool Demo) Committee Member in Program Committee within the SLE-track
Mahesh ViswanathanViswanathan, Mahesh University of Illinois at Urbana-Champaign What Happens-After the First Race? Enhancing the Predictive Power of Happens-Before Based Dynamic Race Detection
Jan VitekVitek, Jan Northeastern UniversityUnited States Comfy Chair in Organizing Committee for SPLASH 2018 Steering Committee Member in Steering Committee for Onward! 2018 Julia: Dynamism and Performance Reconciled by Design Julia Subtyping: a Rational Reconstruction Chair in Mentors within the SPLASH Breakfasts-track Julia Subtyping: a Rational Reconstruction Chair in Artifact Evaluation Committee within the SPLASH Artifacts-track Committee Member in Organizing Committee within the SPLASH PLMW-track Comfy Chair in Organizers within the SPLASH -I-track Self-Contained Development Environments Analyzing Code Repositories: A Case Study in Reproducibility Committee Member in Program Committee within the GRACE-track Julia: Dynamism and Performance Reconciled by Design - Preview
Paventhan VivekanandanVivekanandan, Paventhan Indiana University Bloomington Code Generation for Higher Inductive Types
Nic VolanschiVolanschi, Nic Inria Bordeaux Implementing a semi-causal domain-specific language for context detection over binary sensors
Reinhard von Hanxledenvon Hanxleden, Reinhard Kiel University Synthesizing Manually Verifiable Code for Statecharts
Theo VosseVosse, Theo cdl-lang.org, Netherlands Query-Based Object-Oriented Programming: A Declarative Web of Objects
Ian VoyseyVoysey, Ian Carnegie Mellon University Hazel: Live and Direct Functional Programming with Holes
Markus VölterVölter, Markus independent / itemis, Germany Incrementalizing Lattice-Based Program Analyses in Datalog Incrementalizing Lattice-Based Program Analyses Committee Member in Program Committee within the SLEBoK-track
W Philip WadlerWadler, Philip University of Edinburgh, UKUnited Kingdom The Root Cause of Blame: Contracts for Intersection and Union Types The Root Cause of Blame: Contracts for Intersection and Union Types
Lucas WagnerWagner, Lucas Rockwell Collins Panel on Language-based Security SpeAR – Using a formal specification language for safety and security Committee Member in Program Committee within the HILT-track
Eric WalkingshawWalkingshaw, Eric Oregon State UniversityUnited States Committee Member in Program Committee within the SLE-track
Chenglong WangWang, Chenglong University of Washington, USA Speeding up Symbolic Reasoning for Relational Queries Speeding up Symbolic Reasoning for Relational Queries Speeding up Symbolic Reasoning for Relational Queries
Xinyu WangWang, Xinyu UT AustinChina Relational Program Synthesis
Yuepeng WangWang, Yuepeng University of Texas at Austin Relational Program Synthesis
Takuo WatanabeWatanabe, Takuo Tokyo Institute of TechnologyJapan Distributed Functional Reactive Programming on Actor-Based Runtime
Neftali WatkinsonWatkinson, Neftali 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
Bruce WatsonWatson, Bruce Stellenbosch University; and Centre for AI Research, CSIR Tool support for Confidentiality by Construction
Robert N. M. WatsonWatson, Robert N. M. University of Cambridge Committee Member in Program Committee within the OCAP-track
Shiyi WeiWei, Shiyi The University of Texas at Dallas Panel of Recent Ph.Ds Panelist in Speakers within the SPLASH PLMW-track
Pascal WeisenburgerWeisenburger, Pascal Technische Universität DarmstadtGermany Distributed System Development with ScalaLoci From Debugging Towards Live Tuning of Reactive Applications Distributed System Development with ScalaLoci Distributed System Development with ScalaLoci From Debugging Towards Live Tuning of Reactive Applications Multitier Reactive Programming with ScalaLoci
Georg WeissenbacherWeissenbacher, Georg Technische Universität Wien Randomized Testing of Distributed Systems with Probabilistic Guarantees
Adam WelcWelc, Adam Uber TechnologiesUnited States Session Chair of Performance (part of SPLASH OOPSLA) Committee Member in External Reviewers within the SPLASH OOPSLA-track Session Chair of II (part of VMIL) Profiling Android Applications with Nanoscope Committee Member in Steering Committee within the VMIL-track
Daniel WendelWendel, Daniel MIT Scheller Teacher Education ProgramUnited States Custom Blocks in StarLogo Nova: A Template-Based Approach to Abstraction for Improved Ease of Use and Expressive Power Real-time Collaboration and Undo in StarLogo Nova: Technical Approach and Considerations for UX Design Committee Member in Organizing Committee within the BLOCKS+-track Co-chair in Program Committee within the BLOCKS+-track
Allyson WeseleyWeseley, Allyson Roslyn High School Programming by example: efficient, but not "helpful" Programming by example: efficient, but not "helpful"
Michael WhalenWhalen, Michael University of MinnesotaUnited States Committee Member in Program Committee within the HILT-track
David A. WheelerWheeler, David A. IDA Programming Language Systems for Developing Cyber Resilient Software
Anna-Katharina WickertWickert, Anna-Katharina TU Darmstadt Automated Rule Inference for Cryptographic APIs through Source Code Repositories Automated Rule Inference for Cryptographic APIs through Source Code Repositories
Thomas WiesWies, Thomas New York University Committee Member in Program Committee within the SPLASH DocSymposium-track Mentor in Mentors within the SPLASH Breakfasts-track
Leland WilkinsonWilkinson, Leland H2O.aiUnited States Automatic Visualization Speaker in Speakers within the SPLASH -I-track
Jack WilliamsWilliams, Jack University of Edinburgh, UKUnited Kingdom The Root Cause of Blame: Contracts for Intersection and Union Types The Root Cause of Blame: Contracts for Intersection and Union Types
Preston Tunnell WilsonWilson, Preston Tunnell Brown University, USA The Behavior of Gradual Types: A User Study Three approaches to Gradual Typing
Alexander B. WiltschkoWiltschko, Alexander B. Google BrainUnited States TensorFlow AutoGraph: Imperative-Style Coding with Graph-based Performance
Keith WinsteinWinstein, Keith Stanford University Secure Serverless Computing Using Dynamic Information Flow Control Secure Serverless Computing Using Dynamic Information Flow Control
Stefan WinterWinter, Stefan TU DarmstadtGermany Committee Member in Program Committee within the AI-SEPS-track
Chu-Pan WongWong, Chu-Pan Carnegie Mellon UniversityUnited States Faster Variational Execution with Transparent Bytecode Transformation Faster Variational Execution with Transparent Bytecode Transformation
David WongWong, David Intel 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
Andreas WortmannWortmann, Andreas RWTH Aachen UniversityGermany Translating Grammars to Accurate Metamodels Deriving Fluent Internal Domain-Specific Languages from Grammars Committee Member in Program Committee within the SLE-track
Tobias WrigstadWrigstad, Tobias Uppsala UniversitySweden Committee Member in Program Committee within the SPLASH -E-track Session Chair of Security (part of SPLASH OOPSLA) Committee Member in Review Committee within the SPLASH OOPSLA-track Mentor in Mentors within the SPLASH Breakfasts-track Attached and Detached Closures in Actors Concurrency vs. Parallelism in Encore (...and Types) Committee Member in Program Committee within the AGERE-track Cflat: A New Modular Approach to Implementing Efficient and Tunable Collections
David WuWu, David MIT Custom Blocks in StarLogo Nova: A Template-Based Approach to Abstraction for Improved Ease of Use and Expressive Power
Hanwen WuWu, Hanwen Implementing Linking in Multiparty Sessions
Peng WuWu, Peng Huawei America Research LabUnited States Committee Member in Program Committee within the Onward! Papers-track
Thomas WuerthingerWuerthinger, Thomas Oracle Labs A Cost Model for a Graph-Based Intermediate-Representation in a Dynamic Compiler
Andrzej WąsowskiWąsowski, Andrzej IT University of Copenhagen, DenmarkDenmark Verification of High-Level Transformations with Inductive Refinement Types
X Wen XiXi, Wen Hong Kong Polytechnic University A Blocks-Based Approach to Internet of Things in MIT App Inventor
Haochen XieXie, Haochen Nagoya UniversityJapan METACO, a Type Checker Generator
Harry XuXu, Harry University of California, Los Angeles (UCLA)United States Committee Member in External Reviewers within the SPLASH OOPSLA-track
Xiaoran XuXu, Xiaoran Rice University ShareJIT: JIT Code Cache Sharing across Processes and its Practical Implementation
Xinhui XuXu, Xinhui Wellesley College Enhancing and Evaluating Collaborative Blocks Programming in App Inventor
Y Jeremy YallopYallop, Jeremy University of Cambridge, UK Committee Member in Program Committee within the GPCE -track
Albert Mingkun YangYang, Albert Mingkun Uppsala UniversitySweden Committee Member in Artifact Evaluation Committee within the SPLASH Artifacts-track Attached and Detached Closures in Actors
Mengjiao YangYang, Mengjiao MIT CSAIL GraphIt - A High-Performance Graph DSL GraphIt - A High-Performance Graph DSL GraphIt - A High-Performance Graph DSL
Yi Fan (Bob) YangYang, Yi Fan (Bob) Facebook Compiling Distributed System Specifications into Implementations
Handong YeYe, Handong Futurewei Technologies ShareJIT: JIT Code Cache Sharing across Processes and its Practical Implementation
Katherine YeYe, Katherine Carnegie Mellon UniversityUnited States Committee Member in Program Committee within the DSLDI-track
Robert YoungYoung, Robert IBM, CanadaCanada Session Chair of Hands-on Tutorial 2 (part of TURBO) Session Chair of Hands-on Tutorial 1 (part of TURBO) Eclipse OMR Om: A Relaxing Object Model for the Polyglot World Create an Object Model and Get a GC for Free (Part I) Create an Object Model and Get a GC for Free (Part II) Boost WABT Performance with JitBuilder (Part II) Boost WABT Performance with JitBuilder (Part I)
Scott YoungYoung, Scott University of New BrunswickCanada Persistent Memory Storage of Cold Regions in the Eclipse OpenJ9 Java Virtual Machine
Ingrid Chieh YuYu, Ingrid Chieh University of Oslo Anomaly Analyses for Feature-Model Evolution Anomaly Analyses for Feature-Model Evolution
Z Jesse ZamanZaman, Jesse 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
Francesco Zappa NardelliZappa Nardelli, Francesco InriaFrance Julia Subtyping: a Rational Reconstruction Committee Member in Mentors within the SPLASH Breakfasts-track Julia Subtyping: a Rational Reconstruction
Hamid ZareZare, Hamid Graduate Student Educational Robotics with a Twist
Vadim ZaytsevZaytsev, Vadim Raincode LabsBelgium Session Chair of Opening Session (part of SLEBoK) Welcome and introduction to SLEBoK and participants Organizer in Organizing Committee within the SLEBoK-track An Industrial Case Study in Compiler Testing (Tool Demo) Committee Member in Program Committee within the SLE-track
Anna ZengZeng, Anna Stanford UniversityUnited States Identifying Barriers to Adoption for Rust through Online Discourse Identifying Barriers to Adoption for Rust through Online Discourse
Brandon ZhangZhang, Brandon Computer Science, University of British Columbia Compiling Distributed System Specifications into Implementations
Danfeng ZhangZhang, Danfeng Pennsylvania 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
Weixin ZhangZhang, Weixin The University of Hong Kong Pattern Matching in an Open World
Yan ZhangZhang, Yan ShareJIT: JIT Code Cache Sharing across Processes and its Practical Implementation
Yunming ZhangZhang, Yunming GraphIt - A High-Performance Graph DSL GraphIt - A High-Performance Graph DSL GraphIt - A High-Performance Graph DSL
Xin ZhaoZhao, Xin KTH Royal Institute of Technology Observable atomic consistency for CvRDTs Observable atomic consistency for CvRDTs
Xinghui ZhaoZhao, Xinghui University of Washington Committee Member in Program Committee within the AI-SEPS-track
Di ZhongZhong, Di Northeastern University, USA Finding Broken Promises in Asynchronous JavaScript Programs Finding Broken Promises in Asynchronous JavaScript Programs Finding Broken Promises in Asynchronous JavaScript Programs
Fengmin ZhuZhu, Fengmin 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
Lukasz ZiarekZiarek, Lukasz SUNY Buffalo, USAUnited States Committee Member in Organizing Committee within the REBLS-track
Benjamin ZornZorn, Benjamin Microsoft ResearchUnited States ExceLint: Automatically Finding Spreadsheet Formula Errors ExceLint: Automatically Finding Spreadsheet Formula Errors
Lionel ZoubritzkyZoubritzky, Lionel École Normale SupérieureFrance Julia: Dynamism and Performance Reconciled by Design Julia: Dynamism and Performance Reconciled by Design - Preview
Elena ZuccaZucca, Elena University of GenovaItaly Committee Member in External Reviewers within the SPLASH OOPSLA-track
Damien ZuffereyZufferey, Damien MPI-SWS Tool: Accessible Automated Reasoning for Human Robot Collaboration
Zhiqiang ZuoZuo, Zhiqiang Nanjing University, ChinaChina Committee Member in Artifact Evaluation Committee within the SPLASH Artifacts-track

SPLASH 2018 Contributors

Results (999)

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia