SPLASH 2018 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (1001)

A Parosh Aziz AbdullaAbdulla, Parosh Aziz Uppsala University, SwedenSweden Optimal Stateless Model Checking under the Release-Acquire Semantics Optimal Stateless Model Checking under the Release-Acquire Semantics
Hal AbelsonAbelson, Hal MIT Reducing the Barriers for Computational Action: How Blocks-Based Programming Can Support Digital Empowerment
Marwan Abi-AntounAbi-Antoun, Marwan Wayne State University Inferring Ownership Domains From Refinements
Mathieu AcherAcher, Mathieu Committee Member in Program Committee within the SLEBoK-track
Ademola Peter AdejokunAdejokun, Ademola Peter Lockheed Martin Aeronautics Company Committee Member in Judges within the SPLASH SRC-track Committee Member in Reviewers within the SPLASH SRC-track
Vikram S. AdveAdve, Vikram S. University of Illinois at Urbana-ChampaignUnited States Software Multiplexing: Share Your Libraries and Statically Link Them Too
Gul AghaAgha, Gul University of Illinois at Urbana-Champaign, USA Concurrent Garbage Collection in the Actor Model
Amal AhmedAhmed, Amal Northeastern UniversityUnited States All the languages together Speaker in Speakers within the SPLASH -I-track
Tony AielloAiello, Tony AdaCore Committee Member in Program Committee within the HILT-track
David T. AksunAksun, David T. EPFL NVM ReConstruction: Object-Oriented Recovery for Non-Volatile Memory Object-Oriented Recovery for Non-Volatile Memory Object-Oriented Recovery for Non-Volatile Memory
Ahmad Salim Al-SibahiAl-Sibahi, Ahmad Salim Department of Computer Science, University of Copenhagen (DIKU) & BilagScanDenmark Verification of High-Level Transformations with Inductive Refinement Types
Jonathan AldrichAldrich, Jonathan Carnegie Mellon UniversityUnited States Committee Member in Steering Committee for SPLASH 2018 Session Chair of Language Design 2 (part of SPLASH OOPSLA) Ocaps & Crypto-commerce Interdisciplinary Programming Language Design Interdisciplinary Programming Language Design - Preview Obsidian: A Safer Blockchain Programming Language Committee Member in Review Committee within the SPLASH OOPSLA-track
Andrei AlexandrescuAlexandrescu, Andrei D Language FoundationUnited States Design by Introspection in D Speaker in Speakers within the SPLASH -I-track
Carol V. AlexandruAlexandru, Carol V. University of Zurich On the Usage of “Pythonic” Idioms in Python Programs On the Usage of “Pythonic” Idioms in Python Programs - Preview
Karim AliAli, Karim University of AlbertaCanada SPLASH-I Chair in Organizing Committee for SPLASH 2018 Session Chair of Static Analysis (part of SPLASH OOPSLA) SWAN: A Program Analysis Framework for Swift U Can't Inline This Fixing Machine Learning with Solver-Aided Languages SWAN: A Swift Program Analysis Framework Guiding Inlining Decisions by Identifying Post-Inlining Transformations Committee Member in Organizers within the SPLASH -I-track
Saba AlimadadiAlimadadi, Saba Northeastern University Finding Broken Promises in Asynchronous JavaScript Programs Finding Broken Promises in Asynchronous JavaScript Programs Finding Broken Promises in Asynchronous JavaScript Programs
Kalev AlpernasAlpernas, Kalev Tel Aviv UniversityIsrael Secure Serverless Computing Using Dynamic Information Flow Control Secure Serverless Computing Using Dynamic Information Flow Control
Vander AlvesAlves, Vander University of BrasíliaBrazil Committee Member in Program Committee within the GPCE -track
Jose Nelson AmaralAmaral, Jose Nelson University of AlbertaCanada Guiding Inlining Decisions by Identifying Post-Inlining Transformations
Saman AmarasingheAmarasinghe, Saman MITUnited States How to Make Sparse Fast GPCE Keynote: How to Make Sparse Fast goSLP: Globally Optimized Superword Level Parallelism Framework Unified Sparse Formats for Tensor Algebra Compilers goSLP: globally optimized Superword Level Parallelism framework goSLP: Globally Optimized Superword Level Parallelism Framework Format Abstraction for Sparse Tensor Algebra Compilers Format Abstraction for Sparse Tensor Algebra Compilers GraphIt - A High-Performance Graph DSL GraphIt - A High-Performance Graph DSL GraphIt - A High-Performance Graph DSL
Nada AminAmin, Nada University of CambridgeUnited Kingdom CLP(SMT) Committee Member in Program Committee within the Onward! Papers-track Committee Member in Program Committee within the DLS-track
Kijin AnAn, Kijin Virginia Tech RT-Trust: Automated Refactoring for Trusted Execution Under Real-Time Constraints RT-Trust: Automated Refactoring for Trusted Execution Under Real-Time Constraints
Davide AnconaAncona, Davide University of GenovaItaly Steering Committee Member in Steering Committee within the DLS-track
Leif AndersenAndersen, Leif Northeastern UniversityUnited States Video Chair in Organizing Committee for SPLASH 2018 Committee Member in Program Committee within the VMIL-track
Paul AndersonAnderson, Paul GrammaTech, Inc Security Showcae -- Modernizing Static Analysis Tools to Facilitate Integrations
Craig AnslowAnslow, Craig Victoria University of WellingtonNew Zealand Qualitas Corpus Analysis Multi-Device Grace Multi-Device Grace Multi-Device Grace Committee Member in Program Committee within the Onward! Papers-track Committee Member in Program Committee within the Onward! Essays-track
Tomoyuki AotaniAotani, Tomoyuki Tokyo Institute of TechnologyJapan Live, Synchronized, and Mental Map Preserving Visualization for Data Structure Programming Live, Synchronized, and Mental Map Preserving Visualization for Data Structure Programming - Preview Committee Member in Program Committee within the REBLS-track
Molham ArefAref, Molham Relational.aiUnited States Low level systems programming in a high level language Speaker in Speakers within the SPLASH -I-track
Kenichi AsaiAsai, Kenichi Ochanomizu UniversityJapan Committee Member in Program Committee within the GPCE -track
Uwe AßmannAßmann, Uwe TU Dresden, Germany Continuous Model Validation using Reference Attribute Grammars Continuous Model Validation using Reference Attribute Grammars
Mohamed Faouzi AtigAtig, Mohamed Faouzi Uppsala UniversitySweden Optimal Stateless Model Checking under the Release-Acquire Semantics Optimal Stateless Model Checking under the Release-Acquire Semantics
Ehsan AtoofianAtoofian, Ehsan Lakehead University, CA Committee Member in Program Committee within the AI-SEPS-track
Giorgio AudritoAudrito, Giorgio Università di TorinoItaly Committee Member in Artifact Evaluation Committee within the SPLASH Artifacts-track
B Casper Bach PoulsenBach Poulsen, Casper Delft University of Technology Scopes as Types Scopes as Types Scopes as Types
Anya Helene BaggeBagge, Anya Helene University of BergenNorway Committee Member in Program Committee within the META-track Committee Member in Program Committee within the SLE-track Committee Member in Program Committee within the SLEBoK-track
Riyadh BaghdadiBaghdadi, Riyadh MITUnited States GraphIt - A High-Performance Graph DSL GraphIt - A High-Performance Graph DSL GraphIt - A High-Performance Graph DSL
Sina BahramBahram, Sina Prime Access Consulting Building an Accessible Block Environment
William BailBail, William The MITRE CorporationUnited States Session Chair of V (part of HILT) Session Chair of II (part of HILT) Program Co-Chair in Program Committee within the HILT-track Committee Member in Organizing Committee within the HILT-track
Eric BaizeBaize, Eric SAFECode / Dell SAFECode.org and Secure Software Development Practices
Ted BakerBaker, Ted Committee Member in Program Committee within the HILT-track
Matteo BaldoniBaldoni, Matteo Università degli Studi di Torino, Italy Committee Member in Program Committee within the AGERE-track
Thomas BallBall, Thomas Microsoft ResearchUnited States TypeScript: From JavaScript to Blockly and Back
Michael BallantyneBallantyne, Michael Northeastern UniversityUnited States Committee Member in Judges within the SPLASH SRC-track Committee Member in Artifact Evaluation Committee within the SPLASH Artifacts-track
Leonardo BanderaliBanderali, Leonardo IBM Toronto LabsCanada Session Chair of Hands-on Tutorial 2 (part of TURBO) Session Chair of Hands-on Tutorial 1 (part of TURBO) Create an Object Model and Get a GC for Free (Part I) Boost WABT Performance with JitBuilder (Part I) Create an Object Model and Get a GC for Free (Part II) Boost WABT Performance with JitBuilder (Part II) Taking Eclipse OMR JitBuilder to a Language Near You
Elisa BaniassadBaniassad, Elisa University of British ColumbiaCanada Committee Member in Program Committee within the SPLASH -E-track Committee Member in Program Committee within the Onward! Essays-track
Titus BarikBarik, Titus MicrosoftUnited States Committee Member in Organizing Committee within the PLATEAU-track
Tiffany BarnesBarnes, Tiffany North Carolina State University Committee Member in Program Committee within the BLOCKS+-track
Dan BarowyBarowy, Dan ExceLint: Automatically Finding Spreadsheet Formula Errors ExceLint: Automatically Finding Spreadsheet Formula Errors
Edd BarrettBarrett, Edd King's College LondonUnited Kingdom Committee Member in Artifact Evaluation Committee within the SPLASH Artifacts-track
Antranig BasmanBasman, Antranig The Open Authorial Principle - Supporting Networks of Authors in Creating Externalisable Designs
Guillaume BaudartBaudart, Guillaume IBM ResearchUnited States Protecting Chatbots from Toxic Content A Reactive Language for Analyzing Cloud Logs Reactive Chatbot Programming
Mitra Tabaei BefroueiBefrouei, Mitra Tabaei Vienna University of Technology Randomized Testing of Distributed Systems with Probabilistic Guarantees
Blaine BellBell, Blaine Data Programming (DP): A new way of programming user interfaces
Jonathan BellBell, Jonathan George Mason UniversityUnited States Publicity Chair in Organizing Committee for SPLASH 2018 Session Chair of Mentoring Workshop (part of SPLASH PLMW) Session Chair of Mentoring Workshop (part of SPLASH PLMW) CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs Mentor in Mentors within the SPLASH Breakfasts-track Committee Member in Organizing Committee within the SPLASH PLMW-track
Julia BelyakovaBelyakova, Julia Northeastern University, USARussia Julia Subtyping: a Rational Reconstruction Julia Subtyping: a Rational Reconstruction
Siegfried BenknerBenkner, Siegfried Committee Member in Program Committee within the AI-SEPS-track
Oscar Bennich-BjörkmanBennich-Björkman, Oscar Uppsala University The Next 700 Unit Checkers
Celina BergBerg, Celina UBC, Computer ScienceCanada Bridging the Gap for At-Risk Cohorts: Experimenting with English Language Learners
Federico BergentiBergenti, Federico Università degli Studi di ParmaItaly A Scripting Language for Practical Agent-Oriented Programming Committee Member in Organizing Committee within the AGERE-track
Emery D. BergerBerger, Emery D. University of Massachusetts, AmherstUnited States ExceLint: Automatically Finding Spreadsheet Formula Errors ExceLint: Automatically Finding Spreadsheet Formula Errors
Martin BergerBerger, Martin University of SussexUnited Kingdom Committee Member in Program Committee within the GPCE -track
Gábor BergmannBergmann, Gábor Budapest University of Technology and Economics / MTA-BME Lendület Research Group on Cyber-Physical Systems, HungaryHungary Incrementalizing Lattice-Based Program Analyses in Datalog Incrementalizing Lattice-Based Program Analyses
Andrew BernsBerns, Andrew University of Northern Iowa Minimal Specifications for Detecting Security Vulnerabilities
Marina Umaschi BersBers, Marina Umaschi Tufts University DevTech Lab - KIBO and ScratchJr Demo
Ivan BeschastnikhBeschastnikh, Ivan Computer Science, University of British ColumbiaCanada Compiling Distributed System Specifications into Implementations
Jeff BezansonBezanson, Jeff Julia ComputingUnited States Julia: Dynamism and Performance Reconciled by Design - Preview The Rise of Compilerization Julia Subtyping: a Rational Reconstruction Julia Subtyping: a Rational Reconstruction Julia: Dynamism and Performance Reconciled by Design Speaker in Speakers within the SPLASH -I-track
Megha BhushanBhushan, Megha Chitkara University, Punjab, India Handling inconsistencies in software product line using a rule-based approach
Aggelos BiboudisBiboudis, Aggelos EPFL, SwitzerlandSwitzerland Session Chair of II (part of GPCE ) A Practical Unification of Multi-Stage Programming and Macros A Practical Unification of Multi-Stage Programming and Macros Committee Member in Program Committee within the GPCE -track Committee Member in Program Committee within the REBLS-track
Robert BiddleBiddle, Robert Carleton UniversityCanada Steering Committee Member in Steering Committee for Onward! 2018
Pavol BielikBielik, Pavol ETH ZürichSwitzerland Robust Relational Layout Synthesis from Examples for Android Robust Relational Layout Synthesis from Examples for Android
Christian BischofBischof, Christian Scientific Computing, TU Darmstadt PIRA: Performance Instrumentation Refinement Automation
Andrew BlackBlack, Andrew Portland State UniversityUnited States A Tour of Grace Early Experience with Grace at Pomona College Teaching programming with Grace at Portland State SmallGrace: Grace in Pharo Smalltalk Static & Dynamic Typing in Grace Committee Member in Program Committee within the SLE-track Committee Member in Program Committee within the GRACE-track Committee Member in Organizing Committee within the GRACE-track
Steve BlackburnBlackburn, Steve Australian National University Australia The DaCapo Benchmark Suite: A Methodological, Engineering, and Social Journey Committee Member in Review Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the VMIL-track
Sam BlackshearBlackshear, Sam FacebookUnited States RacerD: Compositional Static Race Detection
Kelly BlincoeBlincoe, Kelly University of AucklandNew Zealand Committee Member in Program Committee within the PLATEAU-track
Robert BocchinoBocchino, Robert NASA/Caltech Jet Propulsion Laboratory Committee Member in Program Committee within the HILT-track
Deborah BodeauBodeau, Deborah The MITRE Corporation Cyber-Resilience: What does it really mean, and how do we design it into our systems?
Rastislav BodikBodik, Rastislav University of WashingtonUnited States Speeding up Symbolic Reasoning for Relational Queries Speeding up Symbolic Reasoning for Relational Queries
Martin BodinBodin, Martin Imperial College LondonUnited Kingdom A Trustworthy Mechanized Formalization of R
Hans-J. BoehmBoehm, Hans-J. GoogleUnited States Committee Member in External Reviewers within the SPLASH OOPSLA-track
Klaas BoescheBoesche, Klaas Saarland University AnyDSL: A Partial Evaluation Framework for Programming High-Performance Libraries
Carl Friedrich Bolz-TereickBolz-Tereick, Carl Friedrich Germany Steering Committee Chair in Steering Committee within the DLS-track
Daniele BonettaBonetta, Daniele Oracle Labs GraalVM: Metaprogramming inside a Polyglot System ⭐️
Rafael BordiniBordini, Rafael PUCRSBrazil Committee Member in Program Committee within the AGERE-track
James BornholtBornholt, James University of WashingtonUnited States Finding Code That Explodes Under Symbolic Evaluation Finding Code That Explodes Under Symbolic Evaluation
Alan BorningBorning, Alan CDG Labs Committee Member in Program Committee within the DLS-track
Brett BostonBoston, Brett Massachusetts Institute of TechnologyUnited States Leto: Verifying Application-Specific Fault Tolerance via First-Class Execution Models Leto: Verifying Application-Specific Fault Tolerance through Parameterized Execution Models
Erwan BousseBousse, Erwan TU WienFrance Committee Member in Program Committee within the SLE-track
John BoylandBoyland, John Univeristy of Wisconsin, Milwaukee Committee Member in Program Committee within the GRACE-track
Jonathan Immanuel BrachthäuserBrachthäuser, Jonathan Immanuel University of Tübingen, Germany Effect Handlers for the Masses
Jeremy BradburyBradbury, Jeremy University of Ontario Institute of TechnologyCanada Committee Member in Program Committee within the AI-SEPS-track
Edwin BradyBrady, Edwin University of St. Andrews, UKUnited Kingdom Committee Member in Program Committee within the DSLDI-track
Marco BrambillaBrambilla, Marco Politecnico di MilanoItaly Committee Member in Program Committee within the SLE-track
Stephan BrandauerBrandauer, Stephan Uppsala UniversitySweden Cflat: A New Modular Approach to Implementing Efficient and Tunable Collections
Karen BrennanBrennan, Karen Harvard Graduate School of Education Beyond "I'm done": Encouraging deeper exploration of challenging computational concepts
Lexi BrentBrent, Lexi University of Sydney MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts
Ruth BreuBreu, Ruth QE LaBAustria Committee Member in Program Committee within the SLE-track
Philip BriskBrisk, Philip University of California, Riverside BioScript: Programming Safe Chemistry on Laboratories-on-a-Chip
Jacob BrockBrock, Jacob University of Rochester ShareJIT: JIT Code Cache Sharing across Processes and its Practical Implementation
r brook osbornebrook osborne, r Code.org Committee Member in Program Committee within the BLOCKS+-track
Ben BrosgolBrosgol, Ben AdaCore Committee Member in Program Committee within the HILT-track
Kim BruceBruce, Kim Pomona CollegeUnited States Session Chair of Testing (part of SPLASH OOPSLA) Session Chair of Types in Grace (part of GRACE) Early Experience with Grace at Pomona College Teaching programming with Grace at Portland State Static & Dynamic Typing in Grace Mentor in Mentors within the SPLASH Breakfasts-track Committee Member in Program Committee within the GRACE-track Committee Member in Organizing Committee within the GRACE-track
Elisabeth BrunetBrunet, Elisabeth Telecom SudParis Committee Member in Program Committee within the AI-SEPS-track
Camilo BruniBruni, Camilo GoogleGermany Committee Member in Program Committee within the META-track
Didier BuchsBuchs, Didier University of Geneva, Centre Universitaire d'Informatique, Geneva, Switzerland A Practical Type System for Safe Aliasing
Sebastian BurckhardtBurckhardt, Sebastian Microsoft ResearchSwitzerland Reactive Caching for Composed Services Committee Member in Program Committee within the AGERE-track
Peter BurkaBurka, Peter Two SigmaUnited States Establishing a culture of code review Speaker in Speakers within the SPLASH -I-track
Eugene BurmakoBurmako, Eugene Twitter, Inc.United States SemanticDB: a common data model for Scala developer tools ⭐️ Committee Member in Program Committee within the GPCE -track
Arvid ButtingButting, Arvid Software Engineering RWTH Aachen UniversityGermany Translating Grammars to Accurate Metamodels Deriving Fluent Internal Domain-Specific Languages from Grammars Committee Member in Artifact Evaluation Committee within the SLE-track
William E. ByrdByrd, William E. University of Alabama at Birmingham, USAUnited States CLP(SMT)
Clément BéraBéra, Clément Sofware Languages Lab, Vrije Universiteit BrusselBelgium Two Decades of Smalltalk VM Development Committee Member in Program Committee within the DLS-track
Johannes BürdekBürdek, Johannes TU Darmstadt, Real-time Systems Lab Measuring Effectiveness of Sample-based Product-Line Testing
C Cheng CaiCai, Cheng University of California at IrvineUnited States Committee Member in Artifact Evaluation Committee within the SPLASH Artifacts-track
Josh CaldwellCaldwell, Josh Code.org Rapid Prototyping for Blocks-based Languages and Environments
Alfredo CapozuccaCapozucca, Alfredo University of Luxembourg Messir, a Text-first DSL-based Approach for UML Requirements Engineering (Tool Demo) Messir, a Text-first DSL-based Approach for UML Requirements Engineering (Tool Demo)
Michael CarbinCarbin, Michael Massachusetts Institute of TechnologyUnited States SPLASH-I Chair in Organizing Committee for SPLASH 2018 Leto: Verifying Application-Specific Fault Tolerance via First-Class Execution Models Leto: Verifying Application-Specific Fault Tolerance through Parameterized Execution Models Panel of Recent Ph.Ds Mentor in Mentors within the SPLASH Breakfasts-track Panelist in Speakers within the SPLASH PLMW-track Committee Member in Organizers within the SPLASH -I-track
Jeff CarverCarver, Jeff University of AlabamaUnited States Committee Member in Program Committee within the AI-SEPS-track
Chris CasinghinoCasinghino, Chris Draper Laboratory A Language for Programmable Hardware Security
Elias CastegrenCastegren, Elias Uppsala University Attached and Detached Closures in Actors Cflat: A New Modular Approach to Implementing Efficient and Tunable Collections Committee Member in Program Committee within the OCAP-track
Jeronimo CastrillonCastrillon, Jeronimo TU Dresden, GermanyGermany Meta-programming for cross-domain tensor optimizations Meta-programming for cross-domain tensor optimizations
Walter CazzolaCazzola, Walter Università degli Studi di MilanoItaly Committee Member in Program Committee within the META-track Committee Member in Program Committee within the SLE-track Committee Member in Program Committee within the SLEBoK-track
Karishma ChadhaChadha, Karishma Scratch 3.0 Design Notes
Sagar ChakiChaki, Sagar Mentor Graphics CorporationUnited States Committee Member in Program Committee within the HILT-track
Charles ChamberlainChamberlain, Charles University of Chicago Relit: Typed Literal Macros for Reason
Peter ChapinChapin, Peter Vermont Technical CollegeUnited States Session Chair of III (part of HILT) Committee Member in Program Committee within the HILT-track
Rod ChapmanChapman, Rod Protean Code Committee Member in Program Committee within the HILT-track
Angelos CharalambidisCharalambidis, Angelos NCSR "Demokritos'' RHEA: A Reactive, Heterogeneous, Extensible and Abstract Framework for Dataflow Programming
Guido ChariChari, Guido Czech Technical University, CzechiaCzech Republic Session Chair of Keynote: Bonetta & Infrastructure (part of META) Self-Contained Development Environments Committee Member in Organizing Committee within the META-track
Dominik CharoussetCharousset, Dominik A Configurable Transport Layer for CAF
Sarah E. ChasinsChasins, Sarah E. University of California, Berkeley Session Chair of Interactive Tools & Breakout (part of PLATEAU) Session Chair of Language Usability (part of PLATEAU) Committee Member in Judges within the SPLASH SRC-track Committee Member in Reviewers within the SPLASH SRC-track Committee Member in Organizing Committee within the PLATEAU-track
Marsha ChechikChechik, Marsha University of TorontoCanada Session Chair of Validation & Verification (part of SLE) Analysing Meta-Model Product Lines Advice on your advisor Committee Member in Program Committee within the SLE-track Mentor in Mentors within the SPLASH Breakfasts-track Speaker in Speakers within the SPLASH PLMW-track
Hanfeng ChenChen, Hanfeng McGill University, CanadaCanada Numerical Computing on the Web: Benchmarking for the Future HorseIR: Bringing Array Programming Languages Together with Database Query Processing
Hongji ChenChen, Hongji McGill University, Canada HorseIR: Bringing Array Programming Languages Together with Database Query Processing
Jiahao ChenChen, Jiahao Capital OneUnited States Julia: Dynamism and Performance Reconciled by Design - Preview Robustly benchmarking Julia in noisy environments Julia: Dynamism and Performance Reconciled by Design Speaker in Speakers within the SPLASH -I-track
Serena ChenChen, Serena Franklin W. Olin College of Engineering Finding Higher Order Mutants Using Variational Execution
Zhi ChenChen, Zhi University of California, Irvine An Empirical Study of the Effect of Source-level Loop Transformations on Compiler Stability An Empirical Study of the Effect of Source-level Loop Transformations on Compiler Stability
Alvin CheungCheung, Alvin University of Washington Speeding up Symbolic Reasoning for Relational Queries Speeding up Symbolic Reasoning for Relational Queries
Maxime Chevalier-BoisvertChevalier-Boisvert, Maxime Université de Montréal Committee Member in Program Committee within the DLS-track
Glen ChiacchieriChiacchieri, Glen Independent Researcher REPLugger: a pleasant and scalable live coding editor
Shigeru ChibaChiba, Shigeru The University of TokyoJapan Panel discussion Generating a Java Library from Its Specification Grammar Induction for Programming Languages using Skip-Gram Model Committee Member in Program Committee within the Onward! Papers-track Committee Member in Program Committee within the DLS-track
Andrei ChisChis, Andrei Committee Member in Program Committee within the SLEBoK-track
Charisee ChiwChiw, Charisee University of ChicagoUnited States Committee Member in Program Committee within the GPCE -track
Andrei ChişChiş, Andrei feenkSwitzerland Publicity Chair in Organizing Committee within the SLE-track
Adam ChlipalaChlipala, Adam MITUnited States Nectry: Tricking End Users into Programming Practical Web Applications with Dependent Types Mechanized Proofs of System Correctness in Production: Cryptography and Beyond Speaker in Speakers within the SPLASH -I-track
Jeff ChoCho, Jeff University of AlbertaCanada SWAN: A Swift Program Analysis Framework
Stephen ChongChong, Stephen Harvard UniversityUnited States Panel on Language-based Security Committee Member in Program Committee within the HILT-track Mentor in Mentors within the SPLASH Breakfasts-track
Stephen ChouChou, Stephen MIT CSAILUnited States Unified Sparse Formats for Tensor Algebra Compilers Format Abstraction for Sparse Tensor Algebra Compilers Format Abstraction for Sparse Tensor Algebra Compilers
Maria ChristakisChristakis, Maria MPI-SWSGermany Committee Member in Review Committee within the SPLASH OOPSLA-track
Laurent ChristopheChristophe, Laurent VUB Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs
Yair ChuchemChuchem, Yair Lamdu Scaling the REPL Experience Scaling the REPL Experience
Ravi ChughChugh, Ravi University of Chicago Session Chair of II (part of LIVE) SVG Programming by Direct Manipulation of Intermediates Hazel: Live and Direct Functional Programming with Holes Direct Manipulation Programming in Sketch-n-Sketch: Three Years, Three Ideas Bidirectional Evaluation with Direct Manipulation Bidirectional Evaluation with Direct Manipulation - Artifact Evaluation Committee Member in Organizing Committee within the LIVE-track Committee Member in Program Committee within the PLATEAU-track
Benjamin ChungChung, Benjamin Northeastern UniversityUnited States Video Chair in Organizing Committee for SPLASH 2018 Julia: Dynamism and Performance Reconciled by Design - Preview Julia Subtyping: a Rational Reconstruction Julia Subtyping: a Rational Reconstruction Julia: Dynamism and Performance Reconciled by Design
Benjamin W ChungChung, Benjamin W Northeastern University KafKa: Gradual Typing for Objects
Luke ChurchChurch, Luke Committee Member in Program Committee within the LIVE-track Committee Member in Program Committee within the PLATEAU-track
Matteo CiminiCimini, Matteo University of Massachusetts LowellUnited States Languages as First-Class Citizens (Vision Paper) Early Experience: Teaching the Basics of Functional Language Design with a Language Type Checker Committee Member in Artifact Evaluation Committee within the SPLASH Artifacts-track
Colin ClarkClark, Colin The Open Authorial Principle - Supporting Networks of Authors in Creating Externalisable Designs
Tony ClarkClark, Tony Sheffield Hallam UniversityUnited Kingdom Committee Member in Program Committee within the SLE-track
Dave ClarkeClarke, Dave Uppsala Univ. Sweden and KU Leuvern Attached and Detached Closures in Actors
Siobhán ClarkeClarke, Siobhán Trinity College DublinIreland Committee Member in Program Committee within the Onward! Essays-track
Loek CleophasCleophas, Loek Eindhoven University of Technology (TU/e) and Stellenbosch UniversityNetherlands Tool support for Confidentiality by Construction
Michael CoblenzCoblenz, Michael Carnegie Mellon UniversityUnited States Interdisciplinary Programming Language Design Interdisciplinary Programming Language Design - Preview Obsidian: A Safer Blockchain Programming Language
Albert CohenCohen, Albert GoogleFrance Meta-programming for cross-domain tensor optimizations Meta-programming for cross-domain tensor optimizations
Nachshon CohenCohen, Nachshon EPFL, Switzerland Every Data Structure Deserves Lock-Free Memory Reclamation NVM ReConstruction: Object-Oriented Recovery for Non-Volatile Memory Object-Oriented Recovery for Non-Volatile Memory Object-Oriented Recovery for Non-Volatile Memory
Rem CollierCollier, Rem University College DublinUnited Kingdom Committee Member in Program Committee within the AGERE-track
Benoit CombemaleCombemale, Benoit University of Rennes 1France Shape-Diverse DSLs: Languages without Borders (Vision Paper) Fostering Metamodels and Grammars Within a Dedicated Environment for HPC: The NabLab Environment (Tool Demo) Modular Language Composition for the Masses Modular Language Composition for the Masses Committee Member in Program Committee within the SLEBoK-track
Charles ConselConsel, Charles University of Bordeaux Implementing a semi-causal domain-specific language for context detection over binary sensors
Byron CookCook, Byron AmazonUnited States Reasoning about Security of Amazon Web Services Speaker in Speakers within the SPLASH -I-track
Keith CooperCooper, Keith Rice University ShareJIT: JIT Code Cache Sharing across Processes and its Practical Implementation
Emilio CoppaCoppa, Emilio Sapienza University of RomeItaly Committee Member in Artifact Evaluation Committee within the SPLASH Artifacts-track
Tim CoppietersCoppieters, Tim Vrije Universiteit Brussel, Belgium Reactive Caching for Composed Services
Pascal CostanzaCostanza, Pascal imec Committee Member in Program Committee within the META-track
Fabien CoulonCoulon, Fabien University of Toulouse / Obeo Shape-Diverse DSLs: Languages without Borders (Vision Paper)
Antony CourtneyCourtney, Antony Facebook Session Chair of Visualization, Debugging, Programming (part of REBLS) Committee Member in Program Committee within the REBLS-track
Catherine CowellCowell, Catherine Tufts University DevTech Lab - KIBO and ScratchJr Demo
Dirk CraeynestCraeynest, Dirk KU LeuvenBelgium Committee Member in Program Committee within the HILT-track
Andrew CraikCraik, Andrew IBM Canada Guiding Inlining Decisions by Identifying Post-Inlining Transformations
Léo CreuseCreuse, Léo ISAE SPARK by Example: an introduction to formal verification through the standard C++ library
Will CrichtonCrichton, Will Stanford University Identifying Barriers to Adoption for Rust through Online Discourse Identifying Barriers to Adoption for Rust through Online Discourse
Jácome CunhaCunha, Jácome University of MinhoPortugal Explaining Spreadsheets with Spreadsheets (Short Paper) Explaining Spreadsheets with Spreadsheets
James CurbowCurbow, James University of Northern Iowa Minimal Specifications for Detecting Security Vulnerabilities
Chris CurtisCurtis, Chris University of California, Riverside BioScript: Programming Safe Chemistry on Laboratories-on-a-Chip
D Loris D'AntoniD'Antoni, Loris University of Wisconsin–Madison Committee Member in Program Committee within the PLATEAU-track
Joseph Vinish D'SilvaD'Silva, Joseph Vinish McGill University, Canada HorseIR: Bringing Array Programming Languages Together with Database Query Processing
Deepak D'SouzaD'Souza, Deepak Horn-ICE Learning for Synthesizing Invariants and Contracts Horn-ICE Learning for Synthesizing Invariants and Contracts
Maryam DabaghchianDabaghchian, Maryam University of Utah Building Correct and Safe Distributed Systems
Michael DagostinoDagostino, Michael A Framework for Code-Level Tracing of Map-Based Algorithm Visualizations
Etiene DalcolDalcol, Etiene Red BadgerUnited Kingdom Diversity Chair in Organizing Committee for SPLASH 2018
Manuela DaliborDalibor, Manuela Software Engineering, RWTH Aachen University Deriving Fluent Internal Domain-Specific Languages from Grammars
Benoit DalozeDaloze, Benoit JKU Linz, AustriaAustria Parallelization of Dynamic Languages: Synchronizing Built-in Collections Parallelization of Dynamic Languages: Synchronizing Built-in Collections
Mihai DanDan, Mihai Oregon State University Explaining Spreadsheets with Spreadsheets (Short Paper) Explaining Spreadsheets with Spreadsheets
Eduardo Santana de Almeidade Almeida, Eduardo Santana Universidade Federal da BahiaBrazil Exploring feature interactions without specifications: a controlled experiment Exploring feature interactions without specifications: a controlled experiment
Peli de Halleuxde Halleux, Peli Microsoft Research TypeScript: From JavaScript to Blockly and Back
Joeri De KosterDe Koster, Joeri Vrije Universiteit Brussel, BelgiumBelgium Chocola: Integrating Futures, Actors, and Transactions Skitter: A DSL for Distributed Reactive Workflows Chocola: Integrating Futures, Actors, and Transactions Skitter: A DSL for Distributed Reactive Workflows Committee Member in Organizing Committee within the AGERE-track
Juan de Larade Lara, Juan Universidad Autónoma de MadridSpain Session Chair of Grammars & Metamodelling / Workbenches (part of SLE) 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 Chocola: Integrating Futures, Actors, and Transactions A CAPable distributed programming model DISCOPAR: A Visual Reactive Programming Language for Generating Cloud-based Participatory Sensing Platforms Composable Higher-Order Reactors as the Basis for a Live Reactive Programming Environment Skitter: A DSL for Distributed Reactive Workflows Welcome and Opening Remarks Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs DISCOPAR: A Visual Reactive Programming Language for Generating Cloud-based Participatory Sensing Platforms Chocola: Integrating Futures, Actors, and Transactions Skitter: A DSL for Distributed Reactive Workflows A Mete Rete Interface For Perpetually Online Distributed Rule-Based Systems Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs Committee Member in Academic Panel within the SPLASH DocSymposium-track Committee Member in Organizing Committee within the REBLS-track Committee Member in Program Committee within the Onward! Papers-track
Ana Lúcia de Mourade Moura, Ana Lúcia Committee Member in Program Committee within the REBLS-track
Pablo de Oliveira Castrode Oliveira Castro, Pablo University of Versailles, France Committee Member in Organizing Committee within the AI-SEPS-track
Coen De RooverDe Roover, Coen Vrije Universiteit BrusselBelgium Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs
Luis Eduardo de Souza Amorimde Souza Amorim, Luis Eduardo Delft University of Technology, NetherlandsNetherlands Declarative Specification of Indentation Rules: A Tooling Perspective on Parsing and Pretty-Printing Layout-Sensitive Languages Declarative Specification of Indentation Rules: A Tooling Perspective on Parsing and Pretty-Printing Layout-Sensitive Languages Committee Member in Artifact Evaluation Committee within the SLE-track
Ulan DegenbaevDegenbaev, Ulan Google Cross-Component Garbage Collection Cross-Component Garbage Collection
Thomas DegueuleDegueule, Thomas Centrum Wiskunde & InformaticaFrance Session Chair of Grammars & Metamodelling (part of SLE) Constraint-based Run-time State Migration for Live Modeling Shape-Diverse DSLs: Languages without Borders (Vision Paper) Modular Language Composition for the Masses Modular Language Composition for the Masses Committee Member in Program Committee within the SLE-track Committee Member in Program Committee within the SLEBoK-track
Camil DemetrescuDemetrescu, Camil Sapienza University RomeItaly Committee Member in External Reviewers within the SPLASH OOPSLA-track Committee Member in Distinguished Paper Committee within the SPLASH OOPSLA-track
Brian DemskyDemsky, Brian University of California, IrvineUnited States Towards Understanding the Costs of Avoiding Out-of-Thin-Air Results Towards Understanding the Costs of Avoiding Out-of-Thin-Air Results
Marcus DenkerDenker, Marcus INRIA Lille Committee Member in Program Committee within the META-track
Jasper DenkersDenkers, Jasper TU DelftNetherlands Migrating Custom DSL Implementations to a Language Workbench (Tool Demo) Migrating Custom DSL Implementations to a Language Workbench: An Industrial Tool Demonstration (Tool Demo)
Ankush DesaiDesai, Ankush University of California, Berkeley Compositional Programming and Testing of Actor Programs Compositional Programming and Testing of Dynamic Distributed Systems Compositional Programming and Testing of Dynamic Distributed Systems
Dominique DevrieseDevriese, Dominique Vrije Universiteit Brussel, BelgiumBelgium Committee Member in Program Committee within the REBLS-track
Tomás DiazDiaz, Tomás University of Chile, Chile A Trustworthy Mechanized Formalization of R
Werner DietlDietl, Werner University of Waterloo, CanadaCanada Session Chair of Parallelism and Correctness (part of SPLASH OOPSLA)
Will DietzDietz, Will University of Illinois at Urbana-ChampaignUnited States Software Multiplexing: Share Your Libraries and Statically Link Them Too
Isil DilligDillig, Isil UT AustinUnited States 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 Protecting Chatbots from Toxic Content Fixing Machine Learning with Solver-Aided Languages SWAN: A Swift Program Analysis Framework
Alastair DonaldsonDonaldson, Alastair Imperial College LondonUnited Kingdom Committee Member in Review Committee within the SPLASH OOPSLA-track
Dana Drachsler CohenDrachsler Cohen, Dana ETH ZurichSwitzerland Committee Member in Program Committee within the GPCE -track Committee Member in Reviewers within the SPLASH SRC-track
Joscha DrechslerDrechsler, Joscha Technische Universität DarmstadtGermany Distributing Thread-Safety for Reactive Programming Thread-Safe Reactive Programming Thread-Safe Reactive Programming Thread-Safe Reactive Programming
Derek DreyerDreyer, Derek MPI-SWSGermany Committee Member in Review Committee within the SPLASH OOPSLA-track Mentor in Mentors within the SPLASH Breakfasts-track
Claire DrossDross, Claire AdaCoreFrance Committee Member in Program Committee within the HILT-track
Sophia DrossopoulouDrossopoulou, Sophia Imperial College LondonUnited Kingdom Committee Member in External Reviewers within the SPLASH OOPSLA-track Committee Member in Distinguished Paper Committee within the SPLASH OOPSLA-track Committee Member in Program Committee within the GRACE-track Committee Member in Program Committee within the OCAP-track
Stefania DrugaDruga, Stefania Massachusetts Institute of Technology Panel: Block Abstractions for Artificial Intelligence
Stéphane DucasseDucasse, Stéphane INRIA LilleFrance Committee Member in Program Committee within the Onward! Papers-track
Gerhard DueckDueck, Gerhard University of New Brunswick Session Chair of Speakers 2 (part of TURBO) Committee Member in Organizing Committee within the TURBO-track
Evelyn DuesterwaldDuesterwald, Evelyn IBM Research Protecting Chatbots from Toxic Content
E Kapil EarankyEaranky, Kapil Purdue University Safe Replication through Bounded Concurrency Verification Safe Replication through Bounded Concurrency Verification
Jonathan EdwardsEdwards, Jonathan UnaffiliatedUnited States Session Chair of I (part of LIVE) Committee Member in Organizing Committee within the LIVE-track Committee Member in Program Committee within the Onward! Papers-track
Susan EisenbachEisenbach, Susan Imperial College LondonUnited Kingdom Committee Member in Program Committee within the GRACE-track
Jochen EisingerEisinger, Jochen Google Cross-Component Garbage Collection Cross-Component Garbage Collection
Sam El-HusseiniEl-Husseini, Sam Microsoft TypeScript: From JavaScript to Blockly and Back
Romina EramoEramo, Romina University of L'AquilaItaly Awards Artifact Evaluation Co-Chair in Organizing Committee within the SLE-track
Sebastian ErdwegErdweg, Sebastian TU DelftNetherlands Session Chair of IV (part of GPCE ) Declarative Specification of Indentation Rules: A Tooling Perspective on Parsing and Pretty-Printing Layout-Sensitive Languages Declarative Specification of Indentation Rules: A Tooling Perspective on Parsing and Pretty-Printing Layout-Sensitive Languages Better living through incrementality: Immediate static analysis feedback without loss of precision Incrementalizing Lattice-Based Program Analyses in Datalog Incrementalizing Lattice-Based Program Analyses Committee Member in Program Committee within the GPCE -track Committee Member in Program Committee within the SLE-track Committee Member in Program Committee within the SLEBoK-track Speaker in Speakers within the SPLASH -I-track
Martin ErwigErwig, Martin Oregon State UniversityUnited States A Domain-Specific Language for Exploratory Data Visualization Explaining Spreadsheets with Spreadsheets (Short Paper) Explaining Spreadsheets with Spreadsheets
Patrick EugsterEugster, Patrick University of LuganoSwitzerland Committee Member in Steering Committee for SPLASH 2018 Committee Member in Organizing Committee within the REBLS-track
F Michael FaesFaes, Michael ETH ZurichSwitzerland Efficient VM-independent Runtime Checks for Parallel Programming Concurrency-aware Object-oriented Programming with Roles Concurrency-aware Object-oriented Programming with Roles
Farima FarmahinifarahaniFarmahinifarahani, Farima University of California at Irvine, USA Towards Automating Precision Studies of Clone Detectors
Danila FedorinFedorin, Danila Oregon State University Explaining Spreadsheets with Spreadsheets (Short Paper) Explaining Spreadsheets with Spreadsheets
Marc FeeleyFeeley, Marc Université de MontréalCanada Twopy: A Just-In-Time Compiler For Python Based On Code Specialization Building JIT Compilers For Dynamic Languages With Low Development Effort
Peter FeilerFeiler, Peter Carnegie Mellon Software Engineering InstituteUnited States Architecture-level security in a safety-critical system Committee Member in Program Committee within the HILT-track
Molly FeldmanFeldman, Molly Cornell UniversityUnited States Committee Member in Artifact Evaluation Committee within the SPLASH Artifacts-track
Tim FelgentreffFelgentreff, Tim Oracle Labs, PotsdamGermany Session Chair of Semantics (part of DLS) Committee Member in Program Committee within the REBLS-track Program Chair in Program Committee within the DLS-track Steering Committee Member in Steering Committee within the DLS-track
Daniel FelteyFeltey, Daniel Northwestern University, USA Collapsible Contracts: Fixing a Pathology of Gradual Typing Collapsible Contracts: Pruning Pathological Performance for Sound Gradual Typing
Kiko Fernandez-ReyesFernandez-Reyes, Kiko Uppsala UniversitySweden Attached and Detached Closures in Actors
John FeserFeser, John MIT CSAILUnited States Committee Member in Artifact Evaluation Committee within the SPLASH Artifacts-track
Robby FindlerFindler, Robby Northwestern University, USAUnited States Collapsible Contracts: Fixing a Pathology of Gradual Typing Collapsible Contracts: Pruning Pathological Performance for Sound Gradual Typing
Bernd FischerFischer, Bernd Stellenbosch UniversitySouth Africa Committee Member in Program Committee within the SLE-track
Marc FischerFischer, Marc ETH Zurich Robust Relational Layout Synthesis from Examples for Android Robust Relational Layout Synthesis from Examples for Android
Kathleen FisherFisher, Kathleen Tufts University, USAUnited States Provably Eliminating Exploitable Bugs Work/Life Balance Panel: Industrial and Academic Research Speaker in Speakers within the SPLASH PLMW-track Speaker in Speakers within the SPLASH -I-track
Kathi FislerFisler, Kathi Brown UniversityUnited States Interaction: the Key to Joining a Research Community In Defense of "Little Code" Speaker in Speakers within the SPLASH PLMW-track
Cormac FlanaganFlanagan, Cormac University of California, Santa CruzIreland Secure Serverless Computing Using Dynamic Information Flow Control Secure Serverless Computing Using Dynamic Information Flow Control
Matthew FlattFlatt, Matthew University of UtahUnited States Rash: From Reckless Interactions to Reliable Programs Committee Member in Program Committee within the META-track
Spencer P. FlorenceFlorence, Spencer P. Northwestern University, USA Committee Member in Program Committee within the DSLDI-track
Olivier FlückigerFlückiger, Olivier Northeastern University, USA Self-Contained Development Environments
Niklas ForsFors, Niklas Lund University Continuous Model Validation using Reference Attribute Grammars Continuous Model Validation using Reference Attribute Grammars
Jeffrey S. FosterFoster, Jeffrey S. Tufts UniversityUnited States Who decides what is allowed? User Interactions and Permissions Use on Android
Nate FosterFoster, Nate Cornell UniversityUnited States Committee Member in Program Committee within the DSLDI-track
Sadjad FouladiFouladi, Sadjad Stanford University Secure Serverless Computing Using Dynamic Information Flow Control Secure Serverless Computing Using Dynamic Information Flow Control
Juliana FrancoFranco, Juliana Microsoft Research, CambridgeUnited Kingdom Student Volunteer Chair in Organizing Committee for SPLASH 2018 Chair in Organizers within the SPLASH Volunteers-track Committee Member in Organizing Committee within the AGERE-track Committee Member in Artifact Evaluation Committee within the SPLASH Artifacts-track
Michael FranzFranz, Michael University of California, IrvineUnited States Committee Member in Program Committee within the DLS-track
Felix FranzkeFranzke, Felix TU Braunschweig Anomaly Analyses for Feature-Model Evolution Anomaly Analyses for Feature-Model Evolution
Juan FumeroFumero, Juan The University of ManchesterUnited Kingdom Using Compiler Snippets to Exploit Parallelism on Heterogeneous Hardware: A Java Reduction Case Study Using Compiler Snippets to Exploit Parallelism on Heterogeneous Hardware: A Java Reduction Case Study
G Richard P. GabrielGabriel, Richard P. Dream Songs, Inc. & HPIUnited States Steering Committee Member in Steering Committee for Onward! 2018 Essays Chair in Organizing Committee for Onward! 2018 How a Computer Can Write a Poem and Make it Sound like an Angry Type Theorist or Proving Theorems and Seeing Cats Committee Member in Program Committee within the LIVE-track Speaker in Speakers within the SPLASH -I-track Program Chair in Program Committee within the Onward! Essays-track
Harald GallGall, Harald University of Zurich On the Usage of “Pythonic” Idioms in Python Programs On the Usage of “Pythonic” Idioms in Python Programs - Preview
Diego GarbervetskyGarbervetsky, Diego University of Buenos Aires, ArgentinaArgentina Committee Member in Program Committee within the META-track
Pranav GargGarg, Pranav University of Illinois at Urbana-Champaign Horn-ICE Learning for Synthesizing Invariants and Contracts Horn-ICE Learning for Synthesizing Invariants and Contracts
Christophe GarionGarion, Christophe ISAE-SUPAEROFrance SPARK by Example: an introduction to formal verification through the standard C++ library
Ivan GavranGavran, Ivan MPI-SWS Tool: Accessible Automated Reasoning for Human Robot Collaboration
Paul GazzilloGazzillo, Paul Stevens Institute of TechnologyUnited States Committee Member in Artifact Evaluation Committee within the SPLASH Artifacts-track
Adam GellerGeller, Adam Computer Science, University of British Columbia Compiling Distributed System Specifications into Implementations
Jeremy GibbonsGibbons, Jeremy University of OxfordUnited Kingdom Composable References and the Yoneda Lemma Speaker in Speakers within the SPLASH -I-track Committee Member in Program Committee within the DSLDI-track
Elena GlassmanGlassman, Elena UC Berkeley Committee Member in Program Committee within the LIVE-track Committee Member in Program Committee within the PLATEAU-track
Robert GlückGlück, Robert University of CopenhagenDenmark Committee Member in Program Committee within the GPCE -track
Aviral GoelGoel, Aviral Northeastern UniversityUnited States Web Chair in Organizing Committee for SPLASH 2018
Shivani GoelGoel, Shivani Handling inconsistencies in software product line using a rule-based approach
Drew GoldmanGoldman, Drew Roslyn High School Programming by example: efficient, but not "helpful" Programming by example: efficient, but not "helpful"
Zhangxiaowen GongGong, Zhangxiaowen University of Illinois at Urbana-Champaign An Empirical Study of the Effect of Source-level Loop Transformations on Compiler Stability An Empirical Study of the Effect of Source-level Loop Transformations on Compiler Stability
Zoe GongGong, Zoe Massachusetts Institute of Technology Leto: Verifying Application-Specific Fault Tolerance via First-Class Execution Models Leto: Verifying Application-Specific Fault Tolerance through Parameterized Execution Models
Elisa Gonzalez BoixGonzalez Boix, Elisa Vrije Universiteit BrusselBelgium Onward! PC Chair in Organizing Committee for SPLASH 2018 Steering Committee Member in Steering Committee for Onward! 2018 Papers Chair in Organizing Committee for Onward! 2018 Session Chair of Usability and Reusability (part of Onward! Papers) Session Chair of Meta for Types (part of META) Two Decades of Smalltalk VM Development Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs Orchestrating Dynamic Analyses of Distributed Processes for Full-Stack JavaScript Programs Committee Member in Organizing Committee within the META-track Program Chair in Program Committee within the Onward! Papers-track
Colin GordonGordon, Colin Drexel UniversityUnited States Session Chair of Types and Effects (part of SPLASH OOPSLA) Designing with Static Capabilities and Effects Formal Methods Panel Committee Member in Academic Panel within the SPLASH DocSymposium-track Committee Member in Review Committee within the SPLASH OOPSLA-track
Nikos GorogiannisGorogiannis, Nikos RacerD: Compositional Static Race Detection
Justin GottschlichGottschlich, Justin Intel LabsUnited States The Future of AI: Machine Programmers and Their Necessary Self-Awareness Speaker in Speakers within the SPLASH -I-track Speaker in Speakers within the SPLASH -I-track
Aaron GrahamGraham, Aaron IBM/University of New Brunswick: Centre for Advanced Studies - Atlantic (CAS-Atlantic)Canada Building AArch64 Support for the Eclipse OMR Language Runtime Toolkit
Chris GrangerGranger, Chris Against The Current: What We Learned From Eve
Neville GrechGrech, Neville University of Athens MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts
Michael GreenbergGreenberg, Michael Pomona College The POSIX shell is an interactive DSL for concurrency
Ben GreenmanGreenman, Ben Northeastern University, USAUnited States Housing Chair in Organizing Committee for SPLASH 2018 The Behavior of Gradual Types: A User Study Three approaches to Gradual Typing Collapsible Contracts: Fixing a Pathology of Gradual Typing Collapsible Contracts: Pruning Pathological Performance for Sound Gradual Typing
Alex GrejucGrejuc, Alex Oregon State University Explaining Spreadsheets with Spreadsheets (Short Paper) Explaining Spreadsheets with Spreadsheets
Clemens GrelckGrelck, Clemens University of AmsterdamGermany Committee Member in Program Committee within the AI-SEPS-track
Thomas GrossGross, Thomas Domain-Specific Optimizations for Linear Pipelines
Thomas GrossGross, Thomas ETH ZurichSwitzerland Efficient VM-independent Runtime Checks for Parallel Programming Concurrency-aware Object-oriented Programming with Roles Virtual Machine Design for Parallel Dynamic Programming Languages Concurrency-aware Object-oriented Programming with Roles Virtual Machine Design for Parallel Dynamic Programming Languages
David GroveGrove, David IBM ResearchUnited States Committee Member in Distinguished Paper Committee within the SPLASH OOPSLA-track Committee Member in Review Committee within the SPLASH OOPSLA-track
Vinod GroverGrover, Vinod NVIDIAUnited States Committee Member in Program Committee within the GPCE -track
Adrien GuattoGuatto, Adrien Committee Member in Program Committee within the REBLS-track
Nicolas GuelfiGuelfi, Nicolas University of Luxembourg Messir, a Text-first DSL-based Approach for UML Requirements Engineering (Tool Demo) Messir, a Text-first DSL-based Approach for UML Requirements Engineering (Tool Demo)
Eduardo GuerraGuerra, Eduardo INPE - National Institute for Space Research Does It Make Sense to have Application-specific Code Conventions as a Complementary Approach to Code Annotations? Committee Member in Program Committee within the META-track
Esther GuerraGuerra, Esther Universidad Autónoma de MadridSpain 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) Session Chair of Language Design (part of Onward! Papers) Formal Methods Panel Observable atomic consistency for CvRDTs Observable atomic consistency for CvRDTs Closing Remarks Welcome and Introduction Lightning Talks Chair in Academic Panel within the SPLASH DocSymposium-track Chair in Organizers within the SPLASH DocSymposium-track Chair in Program Committee within the SPLASH DocSymposium-track Mentor in Mentors within the SPLASH Breakfasts-track Committee Member in Program Committee within the Onward! Papers-track
Drew HamiltonHamilton, Drew Mississippi State University, CCI Committee Member in Program Committee within the HILT-track
Christian HammerHammer, Christian University of PotsdamGermany Committee Member in External Reviewers within the SPLASH OOPSLA-track
Matthew HammerHammer, Matthew University of Colorado, BoulderUnited States Hazel: Live and Direct Functional Programming with Holes
Kentaro HaraHara, Kentaro Google Cross-Component Garbage Collection Cross-Component Garbage Collection
Gil HarariHarari, Gil cdl-lang.org, Israel Query-Based Object-Oriented Programming: A Declarative Web of Objects
Daco HarkesHarkes, Daco Delft University of TechnologyNetherlands We Should Stop Claiming Generality in our Domain-Specific Language Papers We Should Stop Claiming Generality in our Domain-Specific Language Papers - Preview Migrating Business Logic to an Incremental Computing DSL: A Case Study Migrating Business Logic to an Incremental Computing DSL: A Case Study Committee Member in Program Committee within the SLE-track Committee Member in Artifact Evaluation Committee within the SPLASH Artifacts-track Committee Member in Artifact Evaluation Committee within the SPLASH Artifacts-track
Brian HarveyHarvey, Brian University of California, Berkeley Rethinking OOP in Snap!
Masatomo HashimotoHashimoto, Masatomo Chiba Institute of Technology, JapanJapan Committee Member in Program Committee within the AI-SEPS-track
William G HatchHatch, William G University of Utah Rash: From Reckless Interactions to Reliable Programs
Yanis HattabHattab, Yanis McGill UniversityCanada Facet-Oriented Modelling: Open Objects for Model-Driven Engineering
Matthias HauswirthHauswirth, Matthias Università della Svizzera italiana (USI)Switzerland Committee Member in Program Committee within the SPLASH -E-track Committee Member in Program Committee within the LIVE-track
Akihiro HayashiHayashi, Akihiro Rice University, USAUnited States Committee Member in Program Committee within the AI-SEPS-track
Fei HeHe, Fei Tsinghua University Conflict Resolution for Structured Merge via Version Space Algebra Conflict Resolution for Structured Merge via Version Space Algebra Conflict Resolution for Structured Merge via Version Space Algebra
Zhenyi HeHe, Zhenyi New York University Chalktalk : A Visualization and Communication Language -- As a Tool in the Domain of Computer Science Education
Andrew HeadHead, Andrew UC Berkeley Interactive Extraction of Examples from Existing Code
Gorel HedinHedin, Gorel Lund UniversitySweden Committee Member in Program Committee within the SLEBoK-track
Görel HedinHedin, Görel Continuous Model Validation using Reference Attribute Grammars Continuous Model Validation using Reference Attribute Grammars
Marcel HeinzHeinz, Marcel University of Koblenz-Landau, Germany Committee Member in Artifact Evaluation Committee within the SLE-track
Brian HempelHempel, Brian University of Chicago SVG Programming by Direct Manipulation of Intermediates Committee Member in Program Committee within the LIVE-track
Laurie HendrenHendren, Laurie McGill University, CanadaCanada Numerical Computing on the Web: Benchmarking for the Future HorseIR: Bringing Array Programming Languages Together with Database Query Processing Developing Opal, an App for Cancer Patients, as a Computer Scientist and Cancer Patient Speaker in Speakers within the SPLASH -I-track
Austin HenleyHenley, Austin University of TennesseeUnited States Committee Member in Program Committee within the PLATEAU-track
Ben HermannHermann, Ben University of PaderbornGermany Delphi: Connecting Researchers to Enable Comparable Large-Scale Experiments in Program Analysis
Felienne HermansHermans, Felienne Mental Models, Metaphors and Misconceptions Explicit Direct Instruction in Programming Education Mentor in Mentors within the SPLASH Breakfasts-track Speaker in Speakers within the SPLASH -I-track Committee Member in Program Committee within the PLATEAU-track
David HerreraHerrera, David McGill University, CanadaCanada Numerical Computing on the Web: Benchmarking for the Future
Charlotte HerzeelHerzeel, Charlotte imecBelgium Committee Member in Program Committee within the Onward! Essays-track
Jim HesterHester, Jim RStudioUnited States Expanding R Syntax in package space Speaker in Speakers within the SPLASH -I-track
Michael HicksHicks, Michael University of Maryland, College ParkUnited States Committee Member in Steering Committee for SPLASH 2018
Raphael HiesgenHiesgen, Raphael HAW HamburgGermany A Configurable Transport Layer for CAF
Takumi HikosakaHikosaka, Takumi Ritsumeikan University Visualizing Reactive Execution History using Propagation Traces
Joshua HilliardHilliard, Joshua University of Northern Iowa Minimal Specifications for Detecting Security Vulnerabilities
Robert HirschfeldHirschfeld, Robert HPI, University of PotsdamGermany Steering Committee Chair in Steering Committee for Onward! 2018 Committee Member in Program Committee within the LIVE-track Committee Member in Program Committee within the SLE-track Committee Member in Program Committee within the Onward! Papers-track Committee Member in Program Committee within the DLS-track Steering Committee Member in Steering Committee within the DLS-track
Martin HirzelHirzel, Martin IBM ResearchUnited States Protecting Chatbots from Toxic Content Reactive Chatbot Programming
Marcel HlopkoHlopko, Marcel Google Cross-Component Garbage Collection Cross-Component Garbage Collection
Benjamin HockingHocking, Benjamin Dependable Computing, LLCUnited States Committee Member in Program Committee within the HILT-track
Beryl HoffmanHoffman, Beryl Elms College Broadening Participation in Computer Science through Block Programming
Celeste HollenbeckHollenbeck, Celeste Northeastern UniversityUnited States Publicity Chair in Organizing Committee for SPLASH 2018
Michael HomerHomer, Michael Victoria University of WellingtonNew Zealand Multi-Device Grace Multi-Device Grace Multi-Device Grace Committee Member in Program Committee within the SLE-track
Hongwei XiHongwei Xi Boston University Implementing Linking in Multiparty Sessions
Joshua HorowitzHorowitz, Joshua PANE: Programming with visible data
Tony HoskingHosking, Tony Australian National University / Data61Australia Committee Member in Steering Committee for SPLASH 2018 Session Chair of Verification (part of SPLASH OOPSLA) Mentor in Mentors within the SPLASH Breakfasts-track Committee Member in Steering Committee within the VMIL-track
Jeff HuangHuang, Jeff Texas A&M UniversityUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Shan Shan HuangHuang, Shan Shan FacebookUnited States Student Research Competition Chair in Organizing Committee for SPLASH 2018 Committee Member in Organizers within the SPLASH SRC-track
Yipeng HuangHuang, Yipeng Princeton University QDB: From Quantum Algorithms Towards Correct Quantum Programs QDB: From Quantum Algorithms Towards Correct Quantum Programs
Maarten HubrechtsHubrechts, Maarten A Mete Rete Interface For Perpetually Online Distributed Rule-Based Systems
Jacob HughesHughes, Jacob King's College London Safely Adding a Moving Garbage Collector to a Non Garbage Collected Language
Jerome HuguesHugues, Jerome ISAEFrance SPARK by Example: an introduction to formal verification through the standard C++ library Committee Member in Program Committee within the HILT-track
Joffrey HuguetHuguet, Joffrey ISAE SPARK by Example: an introduction to formal verification through the standard C++ library
Brian HulbertHulbert, Brian Linquest Committee Member in Program Committee within the HILT-track
Chung-Kil HurHur, Chung-Kil Seoul National UniversityKorea, South Reconciling High-level Optimizations and Low-level Code in LLVM Reconciling High-level Optimizations and Low-level Code in LLVM Reconciling High-level Optimizations and Low-level Code in LLVM
Graham HuttonHutton, Graham University of Nottingham, UKUnited Kingdom Committee Member in Program Committee within the Onward! Essays-track
Jomi Fred HübnerHübner, Jomi Fred Federal University of Santa Catarina, Brazil Committee Member in Program Committee within the AGERE-track
Alexander HückHück, Alexander Institute for Scientific Computing, TU Darmstadt PIRA: Performance Instrumentation Refinement Automation
Jadga HügleHügle, Jadga SAP SE Rethinking OOP in Snap!
I Michelle IchincoIchinco, Michelle University of Massachusetts Lowell The Example Guru: Suggesting Examples to Novice Blocks Programmers in an Artifact-Based Context Increases Use of New Blocks Committee Member in Program Committee within the BLOCKS+-track
Roberto IerusalimschyIerusalimschy, Roberto PUC-RioBrazil Committee Member in Program Committee within the Onward! Papers-track Committee Member in Program Committee within the VMIL-track Steering Committee Member in Steering Committee within the DLS-track
Oda Inanna Klemetsdal SteneInanna Klemetsdal Stene, Oda Knowledge-based Recommender System for Students of an Introductory Programming Course
Dan IngallsIngalls, Dan Two Decades of Smalltalk VM Development
Pablo InostrozaInostroza, Pablo CWINetherlands JEff: Objects for Effect Committee Member in Program Committee within the META-track
Ludovico IovinoIovino, Ludovico Gran Sasso Science Institute, L'Aquila, Italy Committee Member in Artifact Evaluation Committee within the SLE-track
Shachar ItzhakyItzhaky, Shachar Technion, IsraelIsrael Espalier: a structured spreadsheet tool for end-user development of organizational applications Espalier: a structured spreadsheet tool for end-user development of organizational applications
Ana IvanchikjIvanchikj, Ana Software Institute, Faculty of Informatics, USI Lugano Modeling REST API Behaviour with Text, Graphics or Both?
Hideya IwasakiIwasaki, Hideya University of Electro-Communications, Japan Generating a Minimum JavaScript VM Specialised for Target Applications
J Daniel JacksonJackson, Daniel MITUnited States Espalier: a structured spreadsheet tool for end-user development of organizational applications A new modularity for software Espalier: a structured spreadsheet tool for end-user development of organizational applications
Suresh JagannathanJagannathan, Suresh Purdue University Safe Replication through Bounded Concurrency Verification Safe Replication through Bounded Concurrency Verification
Prateek JainJain, Prateek Microsoft Research Lab, India FlashProfile: A Framework for Synthesizing Data Profiles FlashProfile: A Framework for Synthesizing Data Profiles
Ali JannesariJannesari, Ali Iowa State UniversityUnited States Organizing Committe of AI SEPS (part of AI-SEPS) Panel discussion Committee Member in Organizing Committee within the AI-SEPS-track
Nico JansenJansen, Nico Software Engineering, RWTH Aachen UniversityGermany Translating Grammars to Accurate Metamodels
Willow JarvisJarvis, Willow MIT Espalier: a structured spreadsheet tool for end-user development of organizational applications Espalier: a structured spreadsheet tool for end-user development of organizational applications
Nicolas JeannerodJeannerod, Nicolas IRIF, University Paris Diderot and CNRS, FranceFrance 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 UniversityCzech Republic Committee Member in Program Committee within the VMIL-track
Kennedy KambonaKambona, Kennedy Vrije Universiteit Brussel DISCOPAR: A Visual Reactive Programming Language for Generating Cloud-based Participatory Sensing Platforms DISCOPAR: A Visual Reactive Programming Language for Generating Cloud-based Participatory Sensing Platforms A Mete Rete Interface For Perpetually Online Distributed Rule-Based Systems
Shoaib KamilKamil, Shoaib AdobeUnited States Session Chair of I (part of GPCE ) GraphIt - A High-Performance Graph DSL GraphIt - A High-Performance Graph DSL GraphIt - A High-Performance Graph DSL Committee Member in Program Committee within the GPCE -track
Tetsuo KaminaKamina, Tetsuo Oita UniversityJapan Session Chair of Embedded, IoT / Multitier, Distributed (part of REBLS) Visualizing Reactive Execution History using Propagation Traces Committee Member in Program Committee within the REBLS-track
Hyeonsu KangKang, Hyeonsu MIT Scheller Teacher Education Program Custom Blocks in StarLogo Nova: A Template-Based Approach to Abstraction for Improved Ease of Use and Expressive Power
Rezwana KarimKarim, Rezwana Samsung Research AmericaUnited States Committee Member in Review Committee within the SPLASH OOPSLA-track
Alan KarpKarp, Alan OCAP Patterns Panel Committee Member in Program Committee within the OCAP-track
Stefan KarpinskiKarpinski, Stefan Julia: Dynamism and Performance Reconciled by Design - Preview Julia: Dynamism and Performance Reconciled by Design
John KassieKassie, John Rockwell Collins Committee Member in Program Committee within the HILT-track
Jun KatoKato, Jun National Institute of Advanced Industrial Science and Technology, JapanJapan Committee Member in Program Committee within the LIVE-track
Sven KeidelKeidel, Sven Delft University of Technology, NetherlandsNetherlands Committee Member in Artifact Evaluation Committee within the SLE-track
Keiji Kimura Keiji Kimura Committee Member in Program Committee within the AI-SEPS-track
Paul KeirKeir, Paul