PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM Contributors - PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM

Filter

Role Type

Contributing to

Number of Roles

Country

Results (1034)

A Todd A. AndersonA. Anderson, Todd Parallelizing Julia with a Non-invasive DSL
Martin AbadiAbadi, Martin Google A Computational Model for TensorFlow (An Introduction) PLDI Keynote - TensorFlow considered as a programming language TensorFlow considered as a programming language
Martín AbadiAbadi, Martín Google Machine learning systems with privacy and for privacy: TensorFlow & PATE-G
Moez A. AbdelGawadAbdelGawad, Moez A. Informatics Research Institute, SRTA-City, Alexandria, Egypt Towards a Java Subtyping Operad
Majd AbdoAbdo, Majd University of Stuttgart StreamLearner – Distributed Incremental Machine Learning on Event Streams
Parosh Aziz AbdullaAbdulla, Parosh Aziz Uppsala University, SwedenSweden Flatten and Conquer (A Framework for Efficient Analysis of String Constraints)
Umut A. AcarAcar, Umut A. Carnegie Mellon University Responsive Parallel Computation: Bridging Competitive and Cooperative Threading
Aravind AcharyaAcharya, Aravind Indian Institute of Science, Bangalore Committee Member in Artifact Evaluation Committee for PLDI 2017
Sara AchourAchour, Sara MITUnited States Committee Member in External Review Committee for PLDI 2017
Lorenzo AffettiAffetti, Lorenzo Politecnico di Milano Consistent Stream Processing FlowDB: Integrating Stream Processing and Consistent State Management. (Research Paper)
Edward AftandilianAftandilian, Edward GoogleUnited States Committee Member in Program Committee for PLDI 2017
Maaz Bin Safeer AhmadAhmad, Maaz Bin Safeer UW / CSE Gradual Synthesis for Static Parallelization
Amal AhmedAhmed, Amal Northeastern University, USAUnited States Compiler Verification for a Multi-Language World FunTAL: Reasonably Mixing a Functional Language with Assembly Speaker in Speakers within the ECOOP Summer School-track Committee Member in Mentors within the ECOOP Summer School-track
Wolfgang AhrendtAhrendt, Wolfgang Chalmers University of TechnologySweden Committee Member in Program Committee within the VORTEX-track
Alex AikenAiken, Alex Stanford University Synthesizing Program Input Grammars
Adil AkhterAkhter, Adil ING Orchestrate ING with Petri Net
Deepthi Devaki AkkoorathAkkoorath, Deepthi Devaki Multi-view data types for scalable concurrency in the multi-core era
Prabhash AkmeemanaAkmeemana, Prabhash WSO2 Inc. Demo: Solution Recommender for System Failure Recovery via Log Event Pattern Matching on a Knowledge Graph
Nihla AkramAkram, Nihla WSO2 Inc. Anomaly Detection of Manufacturing Equipment via High Performance RDF Data Stream Processing
Aws AlbarghouthiAlbarghouthi, Aws University of Wisconsin - Madison Committee Member in External Review Committee for PLDI 2017
Jonathan AldrichAldrich, Jonathan Carnegie Mellon UniversityUnited States A Capability-Based Module System for Authority Control Committee Member in Mentors within the ECOOP Summer School-track
Elias AlevizosAlevizos, Elias NCSR Demokritos, Institute of Informatics and Telecommunications Event Forecasting with Pattern Markov Chains. (Research Paper)
Karim AliAli, Karim University of Alberta WALA Hack-A-Thon Committee Member in Organizing Committee within the SOAP-track
Cyril AliasAlias, Cyril Department of Transport Systems and Logistics, University of Duisburg-Essen Poster: The Requirements Engineering Perspective on Events in Cyber-Physical Systems
Mark AllenAllen, Mark Alert Logic The Sharp Edges of Leaky Abstraction
Rajeev AlurAlur, Rajeev University of Pennsylvania StreamQRE: Modular Specification and Efficient Evaluation of Quantitative Queries over Streaming Data
Ciprian AmarieiAmariei, Ciprian Alexandru Ioan Cuza University of Iasi Optimized Stage Processing for Anomaly Detection on Numerical Data Streams
Nada AminAmin, Nada EPFLSwitzerland Committee Member in External Review Committee for PLDI 2017 Committee Member in Program Committee within the FTfJP-track
Moussa AmraniAmrani, Moussa University of Namur Formal Analysis of Object-Oriented Mograms
Kyoungho AnAn, Kyoungho RTI An Autonomous and Dynamic Coordination and Discovery Service for Wide-Area Peer-to-peer Publish/Subscribe. (Experience Paper)
Davide AnconaAncona, Davide University of GenovaItaly Parametric trace expressions for runtime verification of Java-like programs Co-chair in Organizing Committee within the VORTEX-track Co-chair in Program Committee within the VORTEX-track
Paul AndersonAnderson, Paul University of Edinburgh μPuppet: A Declarative Subset of the Puppet Configuration Language
Esben AndreasenAndreasen, Esben Aarhus UniversityDenmark Systematic Approaches for Increasing Soundness and Precision of Static Analyzers
Benjamin AndreassenAndreassen, Benjamin Norwegian University of Science and Technology Efficient Array Slicing on the Intel Xeon Phi Coprocessor
Anastasios AntoniadisAntoniadis, Anastasios Greece Porting Doop to Soufflé: A Tale of Inter-Engine Portability for Datalog-Based Analyses
Aleksandar AntonicAntonic, Aleksandar University of Zagreb Modeling Aggregate Input Load of Interoperable Smart City Services. (New Direction Paper)
Timos AntonopoulosAntonopoulos, Timos Yale University Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels
Tomoyuki AotaniAotani, Tomoyuki Tokyo Institute of Technology Push-based Reactive Layer Activation in Context-Oriented Programming Programme Committee in Program Committee within the COP-track
Andrew AppelAppel, Andrew Princeton Session Chair of Intro & industry perspective on crypto (part of DSW) Verifying concurrent C programs with the Verified Software Toolchain
Zena M. AriolaAriola, Zena M. University of Oregon, USA Compiling without continuations
Alexander ArtikisArtikis, Alexander University of Pireaus and NCSR "Demokritos" Event Forecasting with Pattern Markov Chains. (Research Paper) Demo: Demonstration of a Prototype for Credit Card Fraud Management A Prototype for Credit Card Fraud Management. (Industry Paper) Complex Event Recognition Languages
Irina AsavoaeAsavoae, Irina INRIA, Paris, France Software Model Checking: A Promising Approach to Verify Mobile App Security
Asra AslamAslam, Asra The Insight Centre for Data Analytics, NUI Galway, Ireland Poster: Challenges with Image Event Processing
Mohamed Faouzi AtigAtig, Mohamed Faouzi Uppsala UniversitySweden Flatten and Conquer (A Framework for Efficient Analysis of String Constraints)
Neil AudsleyAudsley, Neil University of York, UK Committee Member in Program Committee for LCTES 2017
B David B. WhalleyB. Whalley, David Committee Member in Steering Committee for LCTES 2017
Chris BaberBaber, Chris The University of Birmingham Demo: Demonstration of a Prototype for Credit Card Fraud Management A Prototype for Credit Card Fraud Management. (Industry Paper)
David F. BaconBacon, David F. GoogleUnited States Committee Member in Program Committee for PLDI 2017 Session Chair of Language Implementation (part of PLDI Research Papers) Committee Member in Program Committee within the ISMM -track
Anya Helene BaggeBagge, Anya Helene University of BergenNorway Towards Reasonable Ownership
Youssef El BakounyBakouny, Youssef El CIMTI - ESIB - Saint-Joseph University - Beirut, LebanonLebanon A Coq-based synthesis of Scala programs which are correct-by-construction
Márton BalassiBalassi, Márton Hungarian Academy of Sciences Code Generation in Serializers and Comparators of Apache Flink
Rajeev BalasubramonianBalasubramonian, Rajeev Committee Member in External Review Committee within the ISMM -track
George BalatsourasBalatsouras, George University of Athens A Datalog Model of Must-Alias Analysis
Alexander BaloghBalogh, Alexander University of Stuttgart Addressing TCAM Limitations of Software-Defined Networks for Content-Based Routing. (Research Paper)
Upul BandaraBandara, Upul WSO2 Inc. Anomaly Detection of Manufacturing Equipment via High Performance RDF Data Stream Processing
Anindya BanerjeeBanerjee, Anindya IMDEA Software Institute Concurrent Data Structures Linked in Time
Carlos BaqueroBaquero, Carlos HASLab/INESC TEC & University of MinhoPortugal The Single-Writer Principle in CRDT Composition Multi-view data types for scalable concurrency in the multi-core era Committee Member in Program Committee within the PMLDC-track
Raj BarikBarik, Raj Intel Labs Committee Member in Organizing Committee within the MAPL-track Committee Member in Program Committee within the MAPL-track
Edd BarrettBarrett, Edd King's College LondonUnited Kingdom Session Chair of Afternoon I (part of ICOOOLPS) Panel: Do new Computing Environments lead to new Language Constructs? Committee Member in Program Committee within the ICOOOLPS-track
Alexandre BartelBartel, Alexandre University of Luxembourg Committee Member in Program Committee within the FTfJP-track
Ezio BartocciBartocci, Ezio Technische Universität Wien Committee Member in Program Committee within the VORTEX-track
Osbert BastaniBastani, Osbert Stanford University Synthesizing Program Input Grammars
JF BastienBastien, JF Apple Bringing the Web up to Speed with WebAssembly
Mark BattyBatty, Mark University of KentUnited Kingdom Committee Member in Program Committee within the ECOOP Research Papers-track
Ryan BeckettBeckett, Ryan Princeton University Network Configuration Synthesis with Abstract Topologies
Andi BejleriBejleri, Andi TU Darmstadt, Germany A Co-contextual Type Checker for Featherweight Java
Marco BekooijBekooij, Marco NXP-semiconductors, Netherlands Committee Member in Program Committee for LCTES 2017
Julia BelyakovaBelyakova, Julia Southern Federal UniversityRussia Generic Approach to Certified Static Checking of Module-like Constructs Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Emery D. BergerBerger, Emery D. University of Massachusetts, AmherstUnited States Committee Member in External Program Committee for PLDI 2017 Committee Member in Steering Committee for PLDI 2017 Committee Member in Mentors within the ECOOP Summer School-track
Martin BergerBerger, Martin Session Chair of C (part of FTfJP) Modelling homogeneous generative meta-programming
Lennart BeringerBeringer, Lennart Princeton UniversityUnited States Session Chair of Academic hypervisor project; closing discussion (part of DSW) Introduction to verification using the VST Introduction to DeepSpec Committee Member in Organizing Committee within the DSW-track
Pramod BhatotiaBhatotia, Pramod University of Edinburgh Committee Member in Program Committee within the IC-track
Sukanya BhowmikBhowmik, Sukanya University of Stuttgart Addressing TCAM Limitations of Software-Defined Networks for Content-Based Routing. (Research Paper)
Annette BieniusaBieniusa, Annette Technischen Universität KaiserslauternGermany Multi-view data types for scalable concurrency in the multi-core era Committee Member in Program Committee within the PMLDC-track
Paolo BientinesiBientinesi, Paolo HPTT: A High-Performance Tensor Transposition C++ Library Committee Member in Program Committee within the ARRAY-track
Florian BiermannBiermann, Florian IT University of CopenhagenDenmark Quad Ropes -- Immutable, Declarative Arrays with Parallelizable Operations
Marina BillesBilles, Marina TU Darmstadt Systematic Black-Box Analysis of Collaborative Web Applications
Walter BinderBinder, Walter University of Lugano An Empirical Study on Deoptimization in the Graal Compiler
Swarnendu BiswasBiswas, Swarnendu University of Texas at AustinUnited States Avoiding Consistency Exceptions Under Strong Memory Consistency Models Committee Member in Program Committee within the ISMM -track
Steve BlackburnBlackburn, Steve Australian National University Australia Committee Member in Steering Committee for PLDI 2017 Committee Member in External Review Committee for PLDI 2017 Session Chair of Session 4: A Deeper Look (part of ISMM ) Panel: Do new Computing Environments lead to new Language Constructs?
Sam BlackshearBlackshear, Sam FacebookUnited States Building your own modular static analyzer with Facebook Infer Committee Member in Program Committee within the FTfJP-track
Sandrine BlazyBlazy, Sandrine University of Rennes 1, FranceFrance Committee Member in SRC Panel for PLDI 2017
Ben BlumBlum, Ben Carnegie Mellon University Committee Member in Artifact Evaluation Committee for PLDI 2017
Florian BlumBlum, Florian University of Duisburg-Essen Property-based routing in clustered message brokers for CPS
Rastislav BodikBodik, Rastislav University of Washington Automated Incrementalization through Synthesis Gradual Synthesis for Static Parallelization Synthesizing Highly Expressive SQL Queries from Input-Output Examples
Hans-J. BoehmBoehm, Hans-J. Google Committee Member in External Program Committee for PLDI 2017
Kavoos BojnourdiBojnourdi, Kavoos EDF Lab Portable Vectorization and Parallelization of C++ Multi-Dimensional Array Computations
Michael D. BondBond, Michael D. Ohio State University Committee Member in External Program Committee for PLDI 2017 Committee Member in Steering Committee for ISMM 2017 Session Chair of Session 2: Clever Data Tricks (part of ISMM ) Avoiding Consistency Exceptions Under Strong Memory Consistency Models Committee Member in External Review Committee within the ISMM -track
Uday BondhugulaBondhugula, Uday Indian Institute of ScienceIndia Committee Member in Program Committee for PLDI 2017 Session Chair of Compiler Optimizations (part of PLDI Research Papers)
Renzo BorgattiBorgatti, Renzo Mailonline Clojure Transducers In The Wild
James BornholtBornholt, James University of WashingtonUnited States Committee Member in External Review Committee for PLDI 2017 Synthesizing Memory Models from Framework Sketches and Litmus Tests
Ashkan Forouhi BoroujeniBoroujeni, Ashkan Forouhi University of Wisconsin-Madison Compositional Recurrence Analysis Revisited
Ahmed BouajjaniBouajjani, Ahmed IRIF, Université Paris DiderotFrance Committee Member in External Program Committee for PLDI 2017
Jalil BoukhobzaBoukhobza, Jalil University of Occidental Brittary, FranceFrance Committee Member in Program Committee for LCTES 2017
Timothy BourkeBourke, Timothy INRIAFrance Committee Member in SRC Panel for PLDI 2017 A Formally Verified Compiler for Lustre
Gilad BrachaBracha, Gilad GoogleIsrael Composing Software in an Age of Dissonance
Premek BradaBrada, Premek University of West Bohemia Contracts in the Wild: A Study of Java Programs
Stephan BrandauerBrandauer, Stephan Uppsala UniversitySweden Spencer: Tracing as a Service Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
José BrandãoBrandão, José Multi-view data types for scalable concurrency in the multi-core era
Oliver BračevacBračevac, Oliver TU DarmstadtGermany A Co-contextual Type Checker for Featherweight Java
Jason BreckBreck, Jason University of Wisconsin-Madison Compositional Recurrence Analysis Revisited
Andrey BreslavBreslav, Andrey JetBrainsRussia Kotlin: the ins and outs of designing a commercial language Speaker in Speakers within the ECOOP Summer School-track
Frederik BrixBrix, Frederik University of Basel Demo: Real-Time Football Analysis with StreamTeam
Alexander L. BrooksBrooks, Alexander L. University of Wisconsin, Madison Control-Flow Recovery from Partial Failure Reports
Lélio BrunBrun, Lélio ENS/InriaFrance A Formally Verified Compiler for Lustre
Rodrigo BrunoBruno, Rodrigo INESC-ID / Instituto Superior Técnico, University of Lisbon NG2C: Pretenuring Garbage Collection with Dynamic Generations for HotSpot Big Data Applications
Lubomír BulejBulej, Lubomír Charles UniversityCzech Republic An Empirical Study on Deoptimization in the Graal Compiler
Aydin BulucBuluc, Aydin Lawrence Berkeley National Laboratory Committee Member in Program Committee within the ARRAY-track
Sebastian BurckhardtBurckhardt, Sebastian Microsoft ResearchSwitzerland Committee Member in External Review Committee for PLDI 2017 Committee Member in Program Committee within the ECOOP Research Papers-track
Bernd BurgstallerBurgstaller, Bernd Yonsei University, Korea Committee Member in Program Committee for LCTES 2017
Yann BusnelBusnel, Yann IMT Atlantique FlinkMan – Anomaly Detection in Manufacturing Equipment with Apache Flink
C Jordi CabotCabot, Jordi ICREA - UOC Summer School Chair in Organizing Committee for ECOOP 2017 Co-chair in Organizers within the ECOOP Summer School-track
Anthony CaninoCanino, Anthony SUNY Binghamton Proactive and Adaptive Energy-Aware Programming with Mixed Typechecking
Michael CarbinCarbin, Michael MITUnited States Committee Member in External Review Committee for PLDI 2017 Organizer in Mentors within the PLMW-track
João M. P. CardosoCardoso, João M. P. University of Porto, Portugal Committee Member in Program Committee for LCTES 2017
Nicolás CardozoCardozo, Nicolás Universidad de los AndesColombia Peace COrP: Learning to solve conflicts between contexts Programme Committee in Program Committee within the COP-track
Calin CascavalCascaval, Calin Barefoot Networks P4: Programming the Network Data Plane
Elias CastegrenCastegren, Elias Uppsala University Relaxed Linear References for Lock-free Programming Co-chair in Organizing Committee within the IWACO-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Benoît CaudesayguesCaudesaygues, Benoît Loosely Coupled Approach for Web-Based Collaborative 3D Design
Walter CazzolaCazzola, Walter Università degli Studi di MilanoItaly Programme Committee in Program Committee within the COP-track
Aleksandar ChakarovChakarov, Aleksandar University of Colorado BoulderUnited States Committee Member in External Review Committee for PLDI 2017
Manuel ChakravartyChakravarty, Manuel Haskell SpriteKit - A Case Study in Turning a Stateful into a Purely Functional API
Buddhika ChamithChamith, Buddhika Indiana UniversityUnited States Compiling tree transforms to operate on packed representations Instruction Punning: Lightweight Instrumentation for x86-64
Van Chan NgoChan Ngo, Van Carnegie Mellon UniversityUnited States Committee Member in Artifact Evaluation Committee for PLDI 2017
Mani ChandyChandy, Mani Caltech PC Chairs in Organizing Committee for DEBS 2017
Bor-Yuh Evan ChangChang, Bor-Yuh Evan University of Colorado Boulder Committee Member in Program Committee for PLDI 2017 Committee Member in Program Committee within the SOAP-track Committee Member in Program Committee within the ECOOP Research Papers-track
Li-Pin ChangChang, Li-Pin National Chiao-Tung University, Taiwan Committee Member in Program Committee for LCTES 2017
Yuan-Hao (Johnson) ChangChang, Yuan-Hao (Johnson) Institute of Information Science, Academia Sinica Committee Member in Program Committee for LCTES 2017
Guido ChariChari, Guido University of Buenos Aires, ArgentinaArgentina A Metaobject Protocol for Optimizing Application-Specific Run-Time Variability
Avik ChaudhuriChaudhuri, Avik Facebook Flow Reloaded: New Challenges and New Opportunities
Swarat ChaudhuriChaudhuri, Swarat Rice University Committee Member in Program Committee for PLDI 2017 Session Chair of Learning and Probabilistic (part of PLDI Research Papers) Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples
Guoyang ChenChen, Guoyang QualcommUnited States Committee Member in External Review Committee within the ISMM -track
Hanfeng ChenChen, Hanfeng McGill UniversityCanada An ELI-to-C Compiler: Design, Implementation and Performance
Xianzhang ChenChen, Xianzhang Chongqing University Optimal Functional Unit Assignment and Voltage Selection for Pipelined MPSoC with Guaranteed Probability on Time Performance
Yiran ChenChen, Yiran University of Pittsburgh A Lightweight Progress Maximization Scheduler for Non-Volatile Processor Under Unstable Energy Harvesting
Yu-Fang ChenChen, Yu-Fang Flatten and Conquer (A Framework for Efficient Analysis of String Constraints)
James CheneyCheney, James University of Edinburgh, UKUnited States Incremental Relational Lenses μPuppet: A Declarative Subset of the Puppet Configuration Language
Perry ChengCheng, Perry IBM Research Committee Member in Steering Committee for ISMM 2017 Committee Member in Program Committee within the ISMM -track
Alvin CheungCheung, Alvin University of Washington Committee Member in Program Committee for PLDI 2017 Session Chair of Verified Computation (part of PLDI Research Papers) HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics Synthesizing Highly Expressive SQL Queries from Input-Output Examples
Maxime Chevalier-BoisvertChevalier-Boisvert, Maxime Committee Member in Program Committee within the ICOOOLPS-track
Wai-Mee ChingChing, Wai-Mee An ELI-to-C Compiler: Design, Implementation and Performance
Adam ChlipalaChlipala, Adam Massachusetts Institute of Technology, USAUnited States Committee Member in External Review Committee for PLDI 2017 Session Chair of Academic C-verification project; industry perspective on hypervisors (part of DSW) Correct-by-Construction Generation of Fast Code for Elliptic Curves Introduction to DeepSpec Committee Member in Organizing Committee within the DSW-track
Eun-Sun ChoCho, Eun-Sun Chungnam National University, Korea Runtime Anomaly Detection Method in Smart Factories using Machine Learning on RDF Event Streams
Joong-Hyun ChoiChoi, Joong-Hyun Chungnam National Univ. Runtime Anomaly Detection Method in Smart Factories using Machine Learning on RDF Event Streams
Yongjun ChoiChoi, Yongjun Hongik University Poster: Multilateral Context Analysis based on the Novel Visualization of Network Tomography
Stephen ChongChong, Stephen Harvard University, USA Organizer in Mentors within the PLMW-track
Maria ChristakisChristakis, Maria MPI-SWS, GermanyGreece Committee Member in External Review Committee for PLDI 2017 Committee Member in Program Committee within the ECOOP Research Papers-track
Jan ChristianChristian, Jan Norwegian University of Science and Technology Efficient Array Slicing on the Intel Xeon Phi Coprocessor
Shumo ChuChu, Shumo University of Washington, USAChina Committee Member in Artifact Evaluation Committee for PLDI 2017 HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics
Ravi ChughChugh, Ravi University of Chicago Committee Member in Program Committee for PLDI 2017
Pietro CicottiCicotti, Pietro San Diego Supercomputer Center RTHMS: A Tool for Data Placement on Hybrid Memory System
Cristina CifuentesCifuentes, Cristina Oracle LabsAustralia Committee Member in Organizing Committee within the SOAP-track
Kevin ClancyClancy, Kevin Monotonicity Types for Distributed Dataflow
Robert ClarisóClarisó, Robert Universitat Oberta de CatalunyaSpain Student Volunteer Co-Chair in Organizing Committee for PLDI 2017 Student Volunteer Chair in Organizing Committee for ECOOP 2017
Dave ClarkeClarke, Dave Uppsala Univ. Sweden and KU Leuvern Programme Committee in Program Committee within the COP-track
Sylvan ClebschClebsch, Sylvan Imperial College London Reference Capabilities in Practice: Examining Real-World Pony Code We Software People are not Worthy - All Hail the Hardware Gods Pony: 714 Days Later
Richard CleggClegg, Richard Queen Mary University London Demo: Raphtory: Decentralised Streaming for Temporal Graphs Raphtory: Decentralised Streaming for Temporal Graphs
Albert CohenCohen, Albert INRIAFrance PLDI 2017 General Chair in Organizing Committee for PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM General Chair in Organizing Committee for PLDI 2017 Session Chair of Welcome (part of PLDI Invited Speakers) Closing
Alexei ColinColin, Alexei Carnegie Mellon University Committee Member in Artifact Evaluation Committee for PLDI 2017
Ivo CorreiaCorreia, Ivo Feedzai Demo: Demonstration of a Prototype for Credit Card Fraud Management A Prototype for Credit Card Fraud Management. (Industry Paper)
Mauricio CortesCortes, Mauricio Nokia Bell Labs Demo: Building Connected Car Applications on Top of the World-Wide Streams Platform
Manuel CostaCosta, Manuel Microsoft Research Simple, fast and safe manual memory management
Silvia CrafaCrafa, Silvia University of PadovaItaly Publicity Chair in Organizing Committee for ECOOP 2017
John CriswellCriswell, John University of Rochester Flexible and Efficient Memory Object Metadata
Tristan CrolardCrolard, Tristan CEDRIC - CNAM - Paris, France A Coq-based synthesis of Scala programs which are correct-by-construction
Raimil CruzCruz, Raimil University of ChileChile Type Abstraction for Relaxed Noninterference Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Felix CuadradoCuadrado, Felix Queen Mary University London Demo: Raphtory: Decentralised Streaming for Temporal Graphs
Félix CuadradoCuadrado, Félix Queen Mary University of London Raphtory: Decentralised Streaming for Temporal Graphs
Gianpaolo CugolaCugola, Gianpaolo Politecnico di Milano FlowDB: Integrating Stream Processing and Consistent State Management. (Research Paper)
Edward CurryCurry, Edward Insight Centre for Data Analytics NUIG Poster: Challenges with Image Event Processing Automatic Anomaly Detection over Sliding Windows The Event Crowd: A Novel Approach for Crowd-Enabled Event Processing. (New Direction Paper)
Javier Luis Cánovas IzquierdoCánovas Izquierdo, Javier Luis IN3 - UOCSpain Web Chair in Organizing Committee for PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM Web Chair in Organizing Committee for ECOOP 2017
D Loris D'AntoniD'Antoni, Loris University of Wisconsin–MadisonItaly Session Chair of Static Analysis (part of PLDI Research Papers) Control-Flow Recovery from Partial Failure Reports Automatic Program Inversion using Symbolic Transducers
Amanieu d'Antrasd'Antras, Amanieu University of Manchester [Poster] Understanding the Performance of Dynamic Binary Modification on ARM Using MAMBO Low Overhead Dynamic Binary Translation on ARM
Pierre-Evariste DagandDagand, Pierre-Evariste LIP6/CNRS France A Formally Verified Compiler for Lustre
Brandon DailDail, Brandon Formidable Labs Building Web Apps with Reason
Luke DalessandroDalessandro, Luke Indiana University Instruction Punning: Lightweight Instrumentation for x86-64
Hoang-Hai DangDang, Hoang-Hai MPI-SWS Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris
Jonas DannDann, Jonas SAP SE Hardware Accelerated Application Integration Processing. (Industry Paper)
David DaraisDarais, David University of Maryland, USAUnited States Video Chair in Organizing Committee for PLDI 2017 Doctoral Symposium Chair in Organizing Committee for ECOOP 2017 Co-chair in Program Committee within the ECOOP Doctoral Symposium-track
Ornela DardhaDardha, Ornela University of Glasgow A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming
Eva DarulovaDarulova, Eva MPI-SWSGermany Committee Member in External Review Committee for PLDI 2017
Sanjoy DasDas, Sanjoy Azul Systems Taming Undefined Behavior in LLVM
Mohammad DashtiDashti, Mohammad University of British Columbia Analyzing Memory Management Methods on Integrated CPU-GPU Systems
Yaniv DavidDavid, Yaniv Technion Similarity of Binaries through re-Optimization
Miyuru DayarathnaDayarathna, Miyuru WSO2 Inc. Anomaly Detection of Manufacturing Equipment via High Performance RDF Data Stream Processing Demo: Solution Recommender for System Failure Recovery via Log Event Pattern Matching on a Knowledge Graph Demo: Scalable Complex Event Processing on a Notebook
Laurent DaynesDaynes, Laurent Committee Member in External Review Committee within the ISMM -track
Frank S. de Boerde Boer, Frank S. Centrum Wiskunde & Informatica, Leiden University Co-chair in Organizing Committee within the VORTEX-track Co-chair in Program Committee within the VORTEX-track
Wolfgang De MeuterDe Meuter, Wolfgang Vrije Universiteit Brussel Mailbox Abstractions for Static Analysis of Actor Programs
Coen De RooverDe Roover, Coen Vrije Universiteit BrusselBelgium Mailbox Abstractions for Static Analysis of Actor Programs
Germán Andrés DelbiancoDelbianco, Germán Andrés IMDEA Software InstituteSpain Concurrent Data Structures Linked in Time
Daniele Dell'AglioDell'Aglio, Daniele IFI, University of Zurich Using Rank Aggregation in Continuously Answering SPARQL Queries on Streaming and Quasi-static Linked Data. (Experience Paper)
Luca Della ToffolaDella Toffola, Luca ETH Zurich Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Emanuele Della ValleDella Valle, Emanuele DEIB, Politecnico di Milano Using Rank Aggregation in Continuously Answering SPARQL Queries on Streaming and Quasi-static Linked Data. (Experience Paper)
Camil DemetrescuDemetrescu, Camil Sapienza University RomeItaly Committee Member in Program Committee within the IC-track
Caroline DespratDesprat, Caroline IRIT - University of Toulouse Loosely Coupled Approach for Web-Based Collaborative 3D Design
Joseph DeviettiDevietti, Joseph University of Pennsylvania Committee Member in Program Committee for PLDI 2017 Session Chair of Correctness (part of PLDI Research Papers) BARRACUDA: Binary-level Analysis of Runtime RAces in CUDA programs
Paul DiacDiac, Paul Alexandru Ioan Cuza University of Iasi Optimized Stage Processing for Anomaly Detection on Numerical Data Streams
Bui Phi DiepDiep, Bui Phi Uppsala UniversitySweden Flatten and Conquer (A Framework for Efficient Analysis of String Constraints)
Werner DietlDietl, Werner University of Waterloo, CanadaCanada Workshop Chair in Organizing Committee for ECOOP 2017 Committee member in Organizing Committee within the ECOOP Workshops-track
Christian DietrichDietrich, Christian OSEK-V: Application-Specific RTOS Instantiation in Hardware
Jens DietrichDietrich, Jens Massey UniversityNew Zealand On the Construction of Soundness Oracles Contracts in the Wild: A Study of Java Programs EvilPickles: DoS attacks based on Object-Graph Engineering
Isil DilligDillig, Isil UT Austin Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples Organizer in Mentors within the PLMW-track
Christos DimoulasDimoulas, Christos Harvard University, USA FunTAL: Reasonably Mixing a Functional Language with Assembly
Chen DingDing, Chen University of Rochester Committee Member in Program Committee within the ISMM -track
Xianzhong DingDing, Xianzhong Shandong University Unified nvTCAM and sTCAM Architecture for Improving Packet Matching Performance
Yufei DingDing, Yufei North Carolina State UniversityChina Generalizations of the Theory and Deployment of Triangular Inequality for Compiler-Based Strength Reduction
Dino DistefanoDistefano, Dino Facebook London Building your own modular static analyzer with Facebook Infer
Philippe DobbelaereDobbelaere, Philippe Nokia Bell LabsBelgium Heads in the cloud, feet at the edge and forward we go - distributed computing in the age of connected everything. Kafka versus RabbitMQ. (Industry Paper) Demo: Building Connected Car Applications on Top of the World-Wide Streams Platform
Mike DoddsDodds, Mike University of York Committee Member in Program Committee within the ECOOP Research Papers-track
Julian DolbyDolby, Julian IBM Thomas J. Watson Research CenterUnited States Session Chair of Morning (part of JSTools) WALA Everywhere Invited Talk: The Story of WALA at Watson and Beyond WALA Hack-A-Thon Organizer in Organizing Committee within the JSTools-track Committee member in Invited Speakers within the ECOOP Doctoral Symposium-track
Alastair DonaldsonDonaldson, Alastair Imperial College LondonUnited Kingdom Committee Member in External Review Committee for PLDI 2017
Hailiang DongDong, Hailiang Chongqing University Optimal Functional Unit Assignment and Voltage Selection for Pipelined MPSoC with Guaranteed Probability on Time Performance
Kshitij DoshiDoshi, Kshitij Intel Corporation Continuous Checkpointing of HTM Transactions in NVM
Paul DownenDownen, Paul University of Oregon, USA Compiling without continuations
Goran DoychevDoychev, Goran IMDEA Software Institute Rigorous Analysis of Software Countermeasures against Cache Attacks
Dana Drachsler CohenDrachsler Cohen, Dana TechnionIsrael Committee Member in External Review Committee for PLDI 2017
Derek DreyerDreyer, Derek MPI-SWS Iris: A Modular Foundation for Higher-Order Concurrent Separation Logic (KEYNOTE) Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris Repairing Sequential Consistency in C/C++11
Sophia DrossopoulouDrossopoulou, Sophia Imperial College LondonUnited Kingdom General Chair in Organizing Committee for PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM Session Chair of Language and Library Design (part of ECOOP Research Papers)
Cezara DrăgoiDrăgoi, Cezara INRIA, ENS, CNRSFrance Committee Member in Program Committee for PLDI 2017
Gilles DuboscqDuboscq, Gilles Oracle LabsSwitzerland Practical Partial Evaluation for High-Performance Dynamic Language Runtimes
Benoît DuhouxDuhoux, Benoît Université catholique de Louvain, BelgiumBelgium Organizing Committee in Organizing Committee within the COP-track
Blair DurkeeDurkee, Blair Clemson University A Formalization IDE Integrated with a Verifying Compiler
Ivana DusparicDusparic, Ivana Trinity College Dublin, Ireland Peace COrP: Learning to solve conflicts between contexts
E Sztefan EdwardsEdwards, Sztefan nVisium LLC On Being a type-heavy Scheme programer in InfoSec, or, how I learnt to hate everything & love better type systems
Michael EichbergEichberg, Michael TU Darmstadt, Germany Hermes: Assessment and Creation of Effective Test Corpora
Rudolf EigenmannEigenmann, Rudolf Purdue University Committee Member in Organizing Committee within the WCIRE-track
Richard A. EisenbergEisenberg, Richard A. Bryn Mawr College, USAUnited States Levity Polymorphism
Jason EisnerEisner, Jason The Johns Hopkins University Dyna: Toward a Self-Optimizing Declarative Language for Machine Learning Applications
Ariel EizenbergEizenberg, Ariel University of Pennsylvania BARRACUDA: Binary-level Analysis of Runtime RAces in CUDA programs
Joshua EllulEllul, Joshua University of Malta An Embedded DSL Framework for Distributed Embedded Systems
Martin ElsmanElsman, Martin Department of Computer Science, University of CopenhagenDenmark Session Chair of Closing / Discussion (part of ARRAY) Session Chair of Morning talks 2 (part of ARRAY) Futhark: Purely Functional GPU-programming with Nested Parallelism and In-place Array Updates Committee Member in Organizing Committee within the ARRAY-track Committee Member in Program Committee within the ARRAY-track
Vitor EnesEnes, Vitor Portugal The Single-Writer Principle in CRDT Composition
Benjamin ErbErb, Benjamin Ulm University, Germany Germany Chronograph—A Distributed Processing Platform for Online and Batch Computations on Event-sourced Graphs. (Experience Paper)
Sebastian ErdwegErdweg, Sebastian TU DelftNetherlands IncAL: A DSL for Incremental Program Analysis with Lattices Privacy-aware Distributed Incremental Computation A Co-contextual Type Checker for Featherweight Java Committee Member in Organizing Committee within the IC-track
Stefano ErmonErmon, Stefano Stanford Committee Member in Organizing Committee within the MAPL-track Committee Member in Program Committee within the MAPL-track
Michael D. ErnstErnst, Michael D. University of Washington, USA Verifying invariants of lock-free data structures with rely-guarantee and refinement type
Opher EtzionEtzion, Opher Yezreel Valley College Human Body Related Event Processing
Patrick EugsterEugster, Patrick Purdue University Committee Member in Program Committee within the ECOOP Research Papers-track
Sven EutingEuting, Sven FZI Research Center for Information Technology Considering Human Factors in the Development of Situation-Aware CEP Applications. (New Direction Paper)
Dave EyersEyers, Dave University of Otago Tutorials Chair in Organizing Committee for DEBS 2017
Jonathan EyolfsonEyolfson, Jonathan University of Waterloo Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
F Heiko FalkFalk, Heiko Ulm University, Germany Committee Member in Steering Committee for LCTES 2017
Bin FangFang, Bin East China Normal University (China) and University Paris Diderot and CNRS (France)China A Refinement Hierarchy for Free List Memory Allocators
Azadeh FarzanFarzan, Azadeh University of TorontoCanada Synthesis of Divide and Conquer Parallelism for Loops
Alexandra (Sasha) FedorovaFedorova, Alexandra (Sasha) Simon Fraser University Analyzing Memory Management Methods on Integrated CPU-GPU Systems
Grigory FedyukovichFedyukovich, Grigory UW CSE Gradual Synthesis for Static Parallelization
Marc FeeleyFeeley, Marc Université de MontréalCanada Interprocedural Specialization of Higher-Order Dynamic Languages Without Static Analysis
Pascal FelberFelber, Pascal Université de Neuchâtel SecureStreams: A Reactive Middleware Framework for Secure Data Stream Processing. (Research Paper)
Tim FelgentreffFelgentreff, Tim Hasso-Plattner-Institute, PotsdamGermany VM Wrapping - Fake it till you make it Committee Member in Program Committee within the ICOOOLPS-track
Yu FengFeng, Yu University of Texas at Austin, USAChina Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples
Kostas FerlesFerles, Kostas University of Texas at Austin, USAUnited States A Datalog Model of Must-Alias Analysis
Seshika FernandoFernando, Seshika WSO2 Inc. Anomaly Detection of Manufacturing Equipment via High Performance RDF Data Stream Processing
Angelo FerrandoFerrando, Angelo Parametric trace expressions for runtime verification of Java-like programs
Carla FerreiraFerreira, Carla Universidade Nova Lisboa Committee Member in Program Committee within the PMLDC-track
Paulo FerreiraFerreira, Paulo INESC-ID / Instituto Superior Técnico, University of LisbonPortugal NG2C: Pretenuring Garbage Collection with Dynamic Generations for HotSpot Big Data Applications
John FieldField, John GoogleUnited States Committee Member in External Review Committee for PLDI 2017
Nathaniel Wesley FilardoFilardo, Nathaniel Wesley Dyna: Toward a Self-Optimizing Declarative Language for Machine Learning Applications
Sebastian FischmeisterFischmeister, Sebastian University of Waterloo, Canada Committee Member in Steering Committee for LCTES 2017
Cormac FlanaganFlanagan, Cormac University of California, Santa CruzIreland Chair in Steering Committee for PLDI 2017 Correctness of Partial Escape Analysis for Multithreading Optimization BigFoot: Static Check Placement for Dynamic Race Detection
Olivier FlückigerFlückiger, Olivier Northeastern University Student Volunteer Co-Chair in Organizing Committee for PLDI 2017
Bryan FordFord, Bryan Swiss Federal Institute of Technology Lausanne (EPFL), SwitzerlandSwitzerland Committee Member in External Review Committee for PLDI 2017
Chris FordFord, Chris ThoughtWorks (UK) Ltd. Computational Musicology, ????, Profit
Jeffrey S. FosterFoster, Jeffrey S. University of Maryland, College ParkUnited States Committee Member in Program Committee for PLDI 2017 Learning a Classifier for False Positive Error Reports Emitted by Static Code Analysis Tools
Nate FosterFoster, Nate Cornell UniversityUnited States Committee Member in External Program Committee for PLDI 2017 P4: Programming the Network Data Plane
Fabiana FournierFournier, Fabiana IBM Haifa Research Lab Demo: Demonstration of a Prototype for Credit Card Fraud Management A Prototype for Credit Card Fraud Management. (Industry Paper)
Simon FowlerFowler, Simon The University of EdinburghUnited Kingdom Mixing Metaphors: Actors as Channels and Channels as Actors
José Fragoso SantosFragoso Santos, José JaVerT: a logic-based tool for JavaScript Verification
Daniel FramptonFrampton, Daniel Microsoft Committee Member in External Review Committee within the ISMM -track
Adrian FrancalanzaFrancalanza, Adrian University of MaltaMalta Committee Member in Program Committee within the VORTEX-track
Luca FranceschiniFranceschini, Luca DIBRIS, University of Genova, ItalyItaly Parametric trace expressions for runtime verification of Java-like programs
Franz FranchettiFranchetti, Franz Carnegie Mellon University Committee Member in Program Committee for PLDI 2017 Committee Member in Program Committee within the ARRAY-track
Matthew Francis-LandauFrancis-Landau, Matthew The Johns Hopkins University Dyna: Toward a Self-Optimizing Declarative Language for Machine Learning Applications
Juliana FrancoFranco, Juliana Imperial College LondonUnited Kingdom Co-chair in Organizing Committee within the IWACO-track Committee Member in Program Committee within the ICOOOLPS-track
Björn FrankeFranke, Björn University of Edinburgh Committee Member in Steering Committee for LCTES 2017
Stephen N. FreundFreund, Stephen N. Williams CollegeUnited States Committee Member in External Program Committee for PLDI 2017 Career paths in Computer Science Correctness of Partial Escape Analysis for Multithreading Optimization BigFoot: Static Check Placement for Dynamic Race Detection Panelist in Mentors within the PLMW-track
Roy FriedmanFriedman, Roy Technion - Israel institute of technology Session Chair of Session 4: Reliability and Security (part of DEBS Research Papers)
Sheng-Yu FuFu, Sheng-Yu Dynamic Translation of Structured Loads/Stores and Register Mapping for Architectures with SIMD Extensions
Weili FuFu, Weili University of Edinburgh μPuppet: A Declarative Subset of the Puppet Configuration Language
Zhoulai FuFu, Zhoulai University of California, Davis Committee Member in Artifact Evaluation Committee for PLDI 2017 Achieving High Coverage for Floating-point Code via Unconstrained Programming
Akira FukudaFukuda, Akira Kyushu University ContextROS: Context-Oriented Programming for the Robot Operating System IoT Robot Simulator and Framework for Context-Oriented Programming
G Moshe GabelGabel, Moshe Technion One for All and All for One: Simultaneous Approximation of Multiple Functions over Distributed Streams. (Research Paper)
Avigdor GalGal, Avigdor Technion - Israel Institute of Technology FlinkMan – Anomaly Detection in Manufacturing Equipment with Apache Flink Demo: REMI, Reusable Elements for Multi-Level Information Availability
Vijay GaneshGanesh, Vijay University of WaterlooCanada Committee Member in External Review Committee for PLDI 2017
Zheng GaoGao, Zheng To Type or Not to Type: Quantifying Detectable Bugs in JavaScript
Diego GarbervetskyGarbervetsky, Diego University of Buenos Aires, ArgentinaArgentina A Metaobject Protocol for Optimizing Application-Specific Run-Time Variability
Jim GarsideGarside, Jim University of Manchester Low Overhead Dynamic Binary Translation on ARM
François GauthierGauthier, François Oracle LabsAustralia Committee Member in Program Committee within the SOAP-track
Paul GazzilloGazzillo, Paul Yale UniversityUnited States Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels
Buğra GedikGedik, Buğra Bilkent University Doctoral Symposium Chair in Organizing Committee for DEBS 2017
Soheil GhiasiGhiasi, Soheil UC Davis, USA Committee Member in Program Committee for LCTES 2017
Paola GianniniGiannini, Paola Universita' del Piemonte OrientaleItaly Tracing sharing in an imperative pure calculus
Jeremy GibbonsGibbons, Jeremy Department of Computer Science, University of OxfordUnited Kingdom Committee Member in Steering Committee for PLDI 2017 Invited talk: APLicative Programming with Naperian Functors Profunctor Optics: Modular Data Accessors
Ellis GilesGiles, Ellis Rice University Continuous Checkpointing of HTM Transactions in NVM
Roberto GioiosaGioiosa, Roberto Pacific Northwest National Laboratory RTHMS: A Tool for Data Placement on Hybrid Memory System
Brian GoetzGoetz, Brian Oracle FP is Dead: Long Live FP
Dan GohmanGohman, Dan Mozilla Bringing the Web up to Speed with WebAssembly
Anirüddhā GokhāléGokhālé, Anirüddhā Vanderbilt University An Autonomous and Dynamic Coordination and Discovery Service for Wide-Area Peer-to-peer Publish/Subscribe. (Experience Paper) Poster: Software-defined Adaptive Resource Management for Cloud-hosted Group Communication Applications
Laure GonnordGonnord, Laure University of Lyon & LIP, FranceFrance Committee Member in SRC Panel for PLDI 2017
Elisa Gonzalez BoixGonzalez Boix, Elisa Vrije Universiteit BrusselBelgium Session Chair of Morning II (part of ICOOOLPS) Committee Member in Program Committee within the ICOOOLPS-track
Colin GordonGordon, Colin Drexel UniversityUnited States Session Chair of Calculi and Semantics (part of ECOOP Research Papers) A Generic Approach to Flow-Sensitive Polymorphic Effects Verifying invariants of lock-free data structures with rely-guarantee and refinement type Committee Member in Program Committee within the IWACO-track Committee member in Academic Panel within the ECOOP Doctoral Symposium-track Committee Member in Program Committee within the ECOOP Research Papers-track
Cosmin GorgovanGorgovan, Cosmin University of Manchester [Poster] Understanding the Performance of Dynamic Binary Modification on ARM Using MAMBO Low Overhead Dynamic Binary Translation on ARM
Alessandra GorlaGorla, Alessandra IMDEA Software InstituteSpain Committee Member in Program Committee within the SOAP-track Committee member in Academic Panel within the ECOOP Doctoral Symposium-track
Alexey GotsmanGotsman, Alexey IMDEA Committee Member in External Review Committee for PLDI 2017 Committee Member in Program Committee within the PMLDC-track
Justin GottschlichGottschlich, Justin Intel Labs Introduction and Welcome Concluding Remarks Committee Member in Organizing Committee within the MAPL-track Program Chair in Program Committee within the MAPL-track
Ben GreenmanGreenman, Ben Northeastern UniversityUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
David GreggGregg, David Trinity College Dublin, Ireland Committee Member in Program Committee within the ICOOOLPS-track
Clemens GrelckGrelck, Clemens University of AmsterdamGermany Committee Member in Organizing Committee within the ARRAY-track Committee Member in Program Committee within the ARRAY-track
Stefan GriesGries, Stefan University of Duisburg-Essen Property-based routing in clustered message brokers for CPS Poster: Cascading Data Corruption – About Dependencies in Cyber-Physical Systems
Radu GrigoreGrigore, Radu University of KentUnited Kingdom Session Chair of D (part of FTfJP) Session Chair of A (part of FTfJP) Chair in Program Committee within the FTfJP-track
Matthias GrimmerGrimmer, Matthias Oracle Labs, Austria Practical Partial Evaluation for High-Performance Dynamic Language Runtimes
Tobias GrosserGrosser, Tobias ETH Zurich Committee Member in SRC Panel for PLDI 2017 Publicity Chair in Organizing Committee for PLDI 2017 Polyhedral Compilation Committee Member in Program Committee within the ARRAY-track
Dan GrossmanGrossman, Dan University of WashingtonUnited States Committee Member in Program Committee for PLDI 2017 Session Chair of Systems and Performance (part of PLDI Research Papers) Debugging Probabilistic Programs Verifying invariants of lock-free data structures with rely-guarantee and refinement type
Boris GrotGrot, Boris University of Edinburgh, UK Publicity Chair in Organizing Committee for LCTES 2017
David GroveGrove, David IBM ResearchUnited States Committee Member in Steering Committee for PLDI 2017 Committee Member in Steering Committee for ISMM 2017 Committee Member in External Review Committee within the ISMM -track
Volker GruhnGruhn, Volker University Duisburg-Essen Property-based routing in clustered message brokers for CPS Poster: Cascading Data Corruption – About Dependencies in Cyber-Physical Systems Poster: The Requirements Engineering Perspective on Events in Cyber-Physical Systems
Paul GrünbacherGrünbacher, Paul An Event-based Capture-and-Compare Approach to Support the Evolution of Systems of Systems. (Experience Paper)
Hui GuanGuan, Hui North Carolina State University Generalizations of the Theory and Deployment of Triangular Inequality for Compiler-Based Strength Reduction
Nan GuanGuan, Nan Hong Kong Polytechnic University, China Committee Member in Program Committee for LCTES 2017 [Poster] Benchmarking OpenMP for Real-Time Scheduling: From Modeling to Applications
Vincenzo GulisanoGulisano, Vincenzo Chalmers University of TechnologySweden Grand Challenge Chairs in Organizing Committee for DEBS 2017 The DEBS 2017 Grand Challenge Performance Modeling of Stream Joins. (Research Paper) Maximizing Determinism in Stream Processing Under Latency Constraints. (Research Paper)
Sumit GulwaniGulwani, Sumit Microsoft Research Programming by Examples: PL Meets ML
Dimitrios GunopulosGunopulos, Dimitrios University of Athens Demo: REMI, Reusable Elements for Multi-Level Information Availability
Aarti GuptaGupta, Aarti Princeton University Committee Member in External Review Committee for PLDI 2017
Sam GuyerGuyer, Sam Committee Member in Steering Committee for ISMM 2017 Committee Member in External Review Committee within the ISMM -track
H Jorge H. CastroH. Castro, Jorge Universidad de los Andes Peace COrP: Learning to solve conflicts between contexts
Christine H. FloodH. Flood, Christine Red Hat Chair in Steering Committee for ISMM 2017 Committee Member in External Review Committee within the ISMM -track
Andreas HaasHaas, Andreas Google Bringing the Web up to Speed with WebAssembly
Jurriaan HageHage, Jurriaan Utrecht University Domain-Specific Type Error Diagnosis in the Glasgow Haskell Compiler
Akram HakiriHakiri, Akram LAAS-CNRSTunisia Poster: Software-defined Adaptive Resource Management for Cloud-hosted Group Communication Applications
Mary HallHall, Mary University of Utah Committee Member in Program Committee within the MAPL-track
Philipp HallerHaller, Philipp KTH Royal Institute of TechnologyGermany Artifact Evaluation Chair in Organizing Committee for ECOOP 2017 Session Chair of Types and Effects (part of ECOOP Research Papers) Privacy-aware Distributed Incremental Computation Committee Member in Program Committee within the IWACO-track Committee Member in Program Committee within the ECOOP Research Papers-track Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ECOOP Artifacts-track
Christian HammerHammer, Christian University of PotsdamGermany Session Chair of Afternoon (part of JSTools) WebPol: Fine-grained Information Flow Policies for Web Browsers Organizer in Organizing Committee within the JSTools-track
Matthew HammerHammer, Matthew University of Colorado, BoulderUnited States Committee Member in Organizing Committee within the IC-track
Jad HamzaHamza, Jad LIAFA, Université Paris Diderot Proactive Synthesis of Recursive Tree-to-String Functions from Examples
Frank HannigHannig, Frank Friedrich-Alexander University Erlangen-Nürnberg (FAU)Germany Auto-Vectorization for Image Processing DSLs
Daco HarkesHarkes, Daco Delft University of TechnologyNetherlands IceDust Calculation Strategy Composition Performance in Web Applications IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition
Robert HarperHarper, Robert CWI Responsive Parallel Computation: Bridging Competitive and Cooperative Threading
Tim HarrisHarris, Tim Oracle Labs Committee Member in Program Committee for PLDI 2017
Souleiman HasanHasan, Souleiman Insight Centre for Data Analytics NUIG Poster: Challenges with Image Event Processing Automatic Anomaly Detection over Sliding Windows The Event Crowd: A Novel Approach for Crowd-Enabled Event Processing. (New Direction Paper)
Matin HashemiHashemi, Matin Sharif University of TechnologyIran Committee Member in Program Committee for LCTES 2017
Behnaz HassanshahiHassanshahi, Behnaz Oracle Labs, Australia An Efficient Tunable Selective Points-to Analysis for Large Codebases
Kristoffer HaugsbakkHaugsbakk, Kristoffer Towards Reasonable Ownership
Matthias HauswirthHauswirth, Matthias Università della Svizzera italianaSwitzerland Committee Member in Program Committee within the ECOOP Research Papers-track
Klaus HavelundHavelund, Klaus Jet Propulsion LaboratoryUnited States Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Program Committee within the VORTEX-track
Marijn HaverbekeHaverbeke, Marijn Grammar-based language modes for text editors
Aurélien HavetHavet, Aurélien Université de NeuchâtelSwitzerland SecureStreams: A Reactive Middleware Framework for Secure Data Stream Processing. (Research Paper)
Byron HawkinsHawkins, Byron Introspective Intrusion Detection for Popular Software Platforms
Peter HawkinsHawkins, Peter Google Compiled Machine Learning: Accelerated Linear Algebra (XLA) for TensorFlow Committee Member in Program Committee within the MAPL-track
Kyle HeadleyHeadley, Kyle University of Colorado BoulderUnited States Tuning Data and Control Structures for Incremental Computation
Gorel HedinHedin, Gorel Lund UniversitySweden Committee Member in Program Committee within the ECOOP Research Papers-track
Laurie HendrenHendren, Laurie McGill University, CanadaCanada An ELI-to-C Compiler: Design, Implementation and Performance
Fritz HengleinHenglein, Fritz DIKU, Denmark Automatic Incrementalization of Functional Reports Futhark: Purely Functional GPU-programming with Nested Parallelism and In-place Array Updates
Johannes HenningHenning, Johannes Hasso Plattner Institute VM Wrapping - Fake it till you make it
Troels HenriksenHenriksen, Troels DIKU, University of CopenhagenDenmark Futhark: Purely Functional GPU-programming with Nested Parallelism and In-place Array Updates
Seonyeong HeoHeo, Seonyeong POSTECH Integrated IoT Programming with Selective Abstraction
Maurice HerlihyHerlihy, Maurice Brown University Committee Member in Program Committee within the ISMM -track
Ben HermannHermann, Ben University of PaderbornGermany SootKeeper: Runtime Reusability for Modular Static Analysis Hermes: Assessment and Creation of Effective Test Corpora Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Marc HeseniusHesenius, Marc University of Duisburg-Essen Poster: Cascading Data Corruption – About Dependencies in Cyber-Physical Systems Poster: The Requirements Engineering Perspective on Events in Cyber-Physical Systems
Guenter HesseHesse, Guenter Hasso Plattner Institute A New Application Benchmark for Data Stream Processing Architectures in an Enterprise Context
Stefan HeuleHeule, Stefan Stanford University, USAUnited States Committee Member in Artifact Evaluation Committee for PLDI 2017 Committee Member in External Review Committee for PLDI 2017
Michael HicksHicks, Michael University of Maryland, College ParkUnited States Committee Member in Steering Committee for PLDI 2017 What is research and how to do it? Thinking globally and acting locally. Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels Committee Member in Mentors within the ECOOP Summer School-track Speaker in Mentors within the PLMW-track
Annika HinzeHinze, Annika University of Waikato Tutorials Chair in Organizing Committee for DEBS 2017 Session Chair of Session 1: New Directions (part of DEBS Research Papers)
Robert HirschfeldHirschfeld, Robert HPIGermany The Declarative Nature of Implicit Layer Activation VM Wrapping - Fake it till you make it Organizing Committee in Organizing Committee within the COP-track
Martin HirzelHirzel, Martin IBM ResearchUnited States Committee Member in External Review Committee for PLDI 2017 Session Chair of Session 5: Learning, Automation and Integration (part of DEBS Research Papers) Low-Latency Sliding-Window Aggregation in Worst-Case Constant Time. (Research Paper) Sliding-Window Aggregation Algorithms
Kenji HisazumiHisazumi, Kenji Kyushu University ContextROS: Context-Oriented Programming for the Robot Operating System IoT Robot Simulator and Framework for Context-Oriented Programming
Jan HoffmannHoffmann, Jan Carnegie Mellon UniversityUnited States Committee Member in Program Committee for PLDI 2017
Michael HolmanHolman, Michael Microsoft Bringing the Web up to Speed with WebAssembly
Philipp HolzingerHolzinger, Philipp Fraunhofer SITGermany Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Lukáš HolíkHolík, Lukáš Flatten and Conquer (A Framework for Efficient Analysis of String Constraints)
Ding-Yong HongHong, Ding-Yong Institute of Information Science, Academia Sinica Dynamic Translation of Structured Loads/Stores and Register Mapping for Architectures with SIMD Extensions
Rudi HornHorn, Rudi University of Edinburgh Incremental Relational Lenses
Gábor HorváthHorváth, Gábor Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers Code Generation in Serializers and Comparators of Apache Flink
Tony HoskingHosking, Tony Australian National University, Data61, and Purdue UniversityAustralia Committee Member in Steering Committee for ISMM 2017 Committee Member in Program Committee within the IWACO-track
Lode HosteHoste, Lode Demo: Building Connected Car Applications on Top of the World-Wide Streams Platform
Wei-Chung HsuHsu, Wei-Chung Dept. Computer Science & Information Engineering, National Taiwan University Dynamic Translation of Structured Loads/Stores and Register Mapping for Architectures with SIMD Extensions
Jingtong HuHu, Jingtong Oklahoma State University [Poster] Checkpointing-aware Loop Tiling for Energy Harvesting Powered Non-Volatile Processors A Lightweight Progress Maximization Scheduler for Non-Volatile Processor Under Unstable Energy Harvesting
Qinheping HuHu, Qinheping University of Wisconsin-MadisonUnited States Automatic Program Inversion using Symbolic Transducers
Raymond HuHu, Raymond Imperial College London A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming
Yu HuaHua, Yu Huazhong University of Science and Technology Committee Member in Program Committee for LCTES 2017
Daniel HuangHuang, Daniel Harvard University Compiling Markov Chain Monte Carlo Algorithms for Probabilistic Modeling
Huawei HuangHuang, Huawei The University of Aizu Unified nvTCAM and sTCAM Architecture for Improving Packet Matching Performance
Jeff HuangHuang, Jeff Texas A&M University Committee Member in Program Committee for PLDI 2017 Session Chair of Concurrency Analysis (part of PLDI Research Papers) What’s the Optimal Performance of Precise Dynamic Race Detection? – A Redundancy Perspective Speeding Up Maximal Causality Reduction with Static Dependency Analysis
Shiyou HuangHuang, Shiyou Texas A&M University Speeding Up Maximal Causality Reduction with Static Dependency Analysis
John HughesHughes, John Chalmers University of Technology Don't Write Tests!
Richard HullHull, Richard IBM T. J. Watson Research Center Blockchain: Distributed Event-based Processing in a Data-Centric World
Christian HumerHumer, Christian Oracle Labs, SwitzerlandSwitzerland Practical Partial Evaluation for High-Performance Dynamic Language Runtimes
Chung-Kil HurHur, Chung-Kil Seoul National UniversityKorea, South Taming Undefined Behavior in LLVM Repairing Sequential Consistency in C/C++11
Martin HuschenbettHuschenbett, Martin Jane StreetUnited Kingdom Career paths in Computer Science
I Costin IancuIancu, Costin Lawrence Berkeley National Laboratory Committee Member in Organizing Committee within the MAPL-track Committee Member in Program Committee within the MAPL-track
Roberto IerusalimschyIerusalimschy, Roberto PUC-RioBrazil Scripting with Lua
Atsushi IgarashiIgarashi, Atsushi Kyoto University, JapanJapan Organizing Committee in Organizing Committee within the COP-track
Michael IsardIsard, Michael Google A Computational Model for TensorFlow (An Introduction)
Shachar ItzhakyItzhaky, Shachar MIT CSAILUnited States Committee Member in Artifact Evaluation Committee for PLDI 2017
Zachary G. IvesIves, Zachary G. University of Pennsylvania StreamQRE: Modular Specification and Efficient Evaluation of Quantitative Queries over Streaming Data
J Luka JacobowitzJacobowitz, Luka codecentric AG Reactive Programming in the Browser with Scala.js and PureScript
Bart JacobsJacobs, Bart imec-DistriNet, Dept. CS, KU LeuvenBelgium Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Program Committee within the FTfJP-track
Hans-Arno JacobsenJacobsen, Hans-Arno University of Toronto PopSub: Improving Resource Utilization in Distributed Content-based Publish/Subscribe Systems. (Research Paper)
Suresh JagannathanJagannathan, Suresh Purdue University Committee Member in External Program Committee for PLDI 2017
Dimitrije JankovJankov, Dimitrije Rice University Real-time High Performance Anomaly Detection over Data Streams
Michael JantzJantz, Michael University of Tennessee AOT Vs. JIT: Impact of Profile Data on Code Quality
Ciera JaspanJaspan, Ciera Google Committee Member in Program Committee within the SOAP-track
Malith JayasingheJayasinghe, Malith WSO2 Inc. Anomaly Detection of Manufacturing Equipment via High Performance RDF Data Stream Processing
Alan JeffreyJeffrey, Alan Mozilla ResearchUnited States Committee Member in Program Committee within the IC-track
Jinkyu JeongJeong, Jinkyu Sungkyunkwan UniversityKorea, South Committee Member in Program Committee within the ISMM -track
Chris JermaineJermaine, Chris Rice University Real-time High Performance Anomaly Detection over Data Streams
Zbigniew JerzakJerzak, Zbigniew SAP Research Grand Challenge Chairs in Organizing Committee for DEBS 2017 The DEBS 2017 Grand Challenge
Jean-Pierre JesselJessel, Jean-Pierre IRIT - Université Paul Sabatier Toulouse Loosely Coupled Approach for Web-Based Collaborative 3D Design
Kamil JezekJezek, Kamil University of West Bohemia, Pilsen, CZ Contracts in the Wild: A Study of Java Programs EvilPickles: DoS attacks based on Object-Graph Engineering
Ranjit JhalaJhala, Ranjit University of California at San Diego, USAUnited States Committee Member in External Review Committee for PLDI 2017 Refinement Types for Program Verification and Synthesis
Zhiping JiaJia, Zhiping Shandong University Unified nvTCAM and sTCAM Architecture for Improving Packet Matching Performance
Lei JiangJiang, Lei Indiana University BloomingtonUnited States Committee Member in Program Committee for LCTES 2017
Weiwen JiangJiang, Weiwen Chongqing University Optimal Functional Unit Assignment and Voltage Selection for Pipelined MPSoC with Guaranteed Probability on Time Performance
Sun JinghaoJinghao, Sun [Poster] Benchmarking OpenMP for Real-Time Scheduling: From Modeling to Applications
Richard JonesJones, Richard University of Kent Committee Member in Program Committee within the ISMM -track
Simon Peyton JonesJones, Simon Peyton Microsoft Research, Cambridge Compiling without continuations Levity Polymorphism
Alexander JordanJordan, Alexander Oracle Labs, Australia Bug detection in JavaScript web apps using the SAFE framework
Herbert JordanJordan, Herbert University of Innsbruck Engineering Static Analyzers with Soufflé
Arpit JoshiJoshi, Arpit University of Edinburgh, UK Web Chair in Organizing Committee for LCTES 2017
Lei JuJu, Lei Shandong UniversityChina Committee Member in Program Committee for LCTES 2017 Unified nvTCAM and sTCAM Architecture for Improving Packet Matching Performance
Eric JulJul, Eric University of OsloNorway Session Chair of Dahl-Nygaard Junior Prize (part of ECOOP Invited Speakers) Session Chair of Dahl-Nygaard Senior Prize (part of ECOOP Invited Speakers) Panel: Do new Computing Environments lead to new Language Constructs? How to get your Ph.D. DONE Committee Member in Program Committee within the ICOOOLPS-track Committee member in Invited Speakers within the ECOOP Doctoral Symposium-track
Hyungkun JungJung, Hyungkun Chungnam National Univ. Runtime Anomaly Detection Method in Smart Factories using Machine Learning on RDF Event Streams
K Mike KabbaniKabbani, Mike Clemson University A Formalization IDE Integrated with a Verifying Compiler
Christian KaestnerKaestner, Christian Carnegie Mellon UniversityGermany Committee Member in Program Committee within the ECOOP Research Papers-track
Raghavendra KagalavadiKagalavadi, Raghavendra Oracle Labs, Australia An Efficient Tunable Selective Points-to Analysis for Large Codebases
Jan-Oliver KaiserKaiser, Jan-Oliver MPI-SWS Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris
Gowtham KakiKaki, Gowtham Purdue University Committee Member in Artifact Evaluation Committee for PLDI 2017
Saurabh KalikarKalikar, Saurabh Indian Institute of Technology, MadrasIndia Committee Member in Artifact Evaluation Committee for PLDI 2017
Vana KalogerakiKalogeraki, Vana Athens University of Economics and Business Demo: REMI, Reusable Elements for Multi-Level Information Availability Maximizing Determinism in Stream Processing Under Latency Constraints. (Research Paper)
Amir KamilKamil, Amir University of Michigan Committee Member in Program Committee within the ARRAY-track
Tetsuo KaminaKamina, Tetsuo Ritsumeikan UniversityJapan Push-based Reactive Layer Activation in Context-Oriented Programming Programme Committee in Program Committee within the COP-track
Aditya KanadeKanade, Aditya Indian Institute of Science, Bangalore Static Deadlock Detection for Asynchronous C# Programs
Jeehoon KangKang, Jeehoon Seoul National UniversityKorea, South Repairing Sequential Consistency in C/C++11
Vini KanvarKanvar, Vini Indian Institute of Technology (IIT) BombayIndia "What's in a Name?" Going Beyond Allocation Site Names in Heap Analysis
Frank KarglKargl, Frank Ulm University Chronograph—A Distributed Processing Platform for Online and Batch Computations on Event-sourced Graphs. (Experience Paper)
Valentin KasasKasas, Valentin self-employed @ Kanaka Carpenters & Cartographers
Brandon KaseKase, Brandon Pinterest Composable Caching in Swift
George KastrinisKastrinis, George University of AthensGreece A Datalog Model of Must-Alias Analysis
Ioannis KatakisKatakis, Ioannis University of Athens Demo: REMI, Reusable Elements for Multi-Level Information Availability
Roman KaterinenkoKaterinenko, Roman AGT International The DEBS 2017 Grand Challenge
Nikos KatzourisKatzouris, Nikos NCSR Demokritos Demo: Demonstration of a Prototype for Credit Card Fraud Management A Prototype for Credit Card Fraud Management. (Industry Paper)
Martin KavalarKavalar, Martin Nextjournal Making Science Reproducible with Functional Programming Concepts
Piyus KediaKedia, Piyus Indian Institute of Technology Delhi Simple, fast and safe manual memory management
Daniel KerenKeren, Daniel Haifa University One for All and All for One: Simultaneous Approximation of Multiple Functions over Distributed Streams. (Research Paper)
Gokcen KestorKestor, Gokcen Pacific Northwest National Laboratory RTHMS: A Tool for Data Placement on Hybrid Memory System
Sanjeev KhannaKhanna, Sanjeev University of Pennsylvania StreamQRE: Modular Specification and Efficient Evaluation of Quantitative Queries over Streaming Data
Shweta KhareKhare, Shweta Vanderbilt University An Autonomous and Dynamic Coordination and Discovery Service for Wide-Area Peer-to-peer Publish/Subscribe. (Experience Paper)
Farzad KhorasaniKhorasani, Farzad Rice University Dyna: Toward a Self-Optimizing Declarative Language for Machine Learning Applications
Bongjun KimKim, Bongjun POSTECH Integrated IoT Programming with Selective Abstraction
Dongsun KimKim, Dongsun University of LuxembourgLuxembourg Bug detection in JavaScript web apps using the SAFE framework
Hanjun KimKim, Hanjun POSTECH Session Chair of Session 3: Non-Volatile Memory/Processor and RTOS (part of LCTES ) Integrated IoT Programming with Selective Abstraction
Jong KimKim, Jong POSTECH Integrated IoT Programming with Selective Abstraction
Yoonseung KimKim, Yoonseung Seoul National University (South Korea) Taming Undefined Behavior in LLVM
Zachary KincaidKincaid, Zachary Princeton UniversityUnited States Committee Member in Program Committee for PLDI 2017 Compositional Recurrence Analysis Revisited
Daniel KingKing, Daniel Broad Institute Building Tools and Languages for Terabyte Scale Biology: A Call to Action
Dileep KiniKini, Dileep University of Illinois at Urbana-Champaign Dynamic Race Prediction in Linear Time
Christoph KirschKirsch, Christoph University of SalzburgAustria General Chair in Organizing Committee for ISMM 2017 Session Chair of Opening (part of ISMM ) Design versus Performance: From Giotto via the Embedded Machine to Selfie
Martin KleppmannKleppmann, Martin University of Cambridge Making decentralisation available for all
Felix KlockKlock, Felix Aliasing, Capabilities and Ownership in Rust Committee Member in Program Committee within the IWACO-track
Andreas KloecknerKloeckner, Andreas University of Illinois at Urbana-ChampaignUnited States Session Chair of Closing / Discussion (part of ARRAY) Session Chair of Morning talks 1 (part of ARRAY) Session Chair of Keynote (part of ARRAY) Committee Member in Organizing Committee within the ARRAY-track Committee Member in Program Committee within the ARRAY-track
Christof KobylkoKobylko, Christof Auto-Vectorization for Image Processing DSLs
Ugur KocKoc, Ugur University of Maryland, College ParkUnited States Learning a Classifier for False Positive Error Reports Emitted by Static Code Analysis Tools
Boris KoldehofeKoldehofe, Boris TU Darmstadt PC Chairs in Organizing Committee for DEBS 2017
Martin KongKong, Martin Rice University Committee Member in SRC Panel for PLDI 2017
Eric KoskinenKoskinen, Eric Yale University Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels
Nikolai KosmatovKosmatov, Nikolai Shadow State Encoding for Efficient Monitoring of Block-level Properties
Jakob KrainzKrainz, Jakob Friedrich-Alexander University Erlangen-Nürnberg Diff Graphs for a fast Incremental Pointer Analysis
Uli KremerKremer, Uli Rutgers University, USA Committee Member in Program Committee for LCTES 2017
Andrew KriegerKrieger, Andrew University of California, Los Angeles dart2java: Running Dart in Java-based Environments
Chandra KrintzKrintz, Chandra UC Santa BarbaraUnited States Committee Member in Steering Committee for PLDI 2017 Committee Member in Program Committee for LCTES 2017
Murali Krishna RamanathanKrishna Ramanathan, Murali Indian Institute of Science, BangaloreIndia Co-chair in Artifact Evaluation Committee for PLDI 2017 Artifact Evaluation Co-Chair in Organizing Committee for PLDI 2017
Sriram KrishnamoorthyKrishnamoorthy, Sriram Pacific Northwest National Laboratories Cache Locality Optimization for Recursive Programs
Paddy KrishnanKrishnan, Paddy An Efficient Tunable Selective Points-to Analysis for Large Codebases
Thomas KrismayerKrismayer, Thomas Christian Doppler Lab. MEVSS, Johannes Kepler University Linz An Event-based Capture-and-Compare Approach to Support the Evolution of Systems of Systems. (Experience Paper)
Stein KristiansenKristiansen, Stein University of Oslo DCEP-Sim: An Open Simulation Framework for Distributed CEP. (Research Paper)
Edlira KuciKuci, Edlira TU Darmstadt, Germany A Co-contextual Type Checker for Featherweight Java
Milind KulkarniKulkarni, Milind Purdue University Committee Member in Program Committee for PLDI 2017 Session Chair of Parallelization and Concurrency (part of PLDI Research Papers) Session Chair of Session 2 (part of WCIRE) Session Chair of Discussion (part of WCIRE) Session Chair of Session 1 (part of WCIRE) Session Chair of Opening (part of WCIRE) Session Chair of Session 3 (part of WCIRE) Opening Remarks Open Discussion: Building Infrastructure for Research and Education Compiling tree transforms to operate on packed representations Committee Member in Organizing Committee within the WCIRE-track
Prasad KulkarniKulkarni, Prasad Committee Member in Steering Committee for LCTES 2017
Prasad KulkarniKulkarni, Prasad University of Kansas AOT Vs. JIT: Impact of Profile Data on Code Quality
Sulekha KulkarniKulkarni, Sulekha University of Pennsylvania Committee Member in Artifact Evaluation Committee for PLDI 2017
Ramana KumarKumar, Ramana Data61 at CSIRO, Australia / UNSW, AustraliaAustralia Writing Verified Programs in CakeML
Snehasish KumarKumar, Snehasish Simon Fraser University Committee Member in Artifact Evaluation Committee for PLDI 2017
Senthil KumaranKumaran, Senthil Introducing Ownership Type Constraints to UML/OCL
Viktor KunčakKunčak, Viktor EPFL, Switzerland Proactive Synthesis of Recursive Tree-to-String Functions from Examples
Tei-Wei KuoKuo, Tei-Wei Academia Sinica, Taiwan Committee Member in Steering Committee for LCTES 2017
Lindsey KuperKuper, Lindsey Intel Labs Parallelizing Julia with a Non-invasive DSL
Ivan KurajKuraj, Ivan MIT CSAIL, USASerbia and Montenegro Committee Member in Artifact Evaluation Committee for PLDI 2017 DemoMatch: API Discovery from Demonstrations Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Cat KutayKutay, Cat UNSW Visualising complex event hierarchies using relevant domain ontologies
Mirko KöhlerKöhler, Mirko Technical University of Darmstadt Privacy-aware Distributed Incremental Computation
Mirko KöhlerKöhler, Mirko Privacy-aware operator placement
Boris KöpfKöpf, Boris IMDEA Software Institute, SpainSpain Rigorous Analysis of Software Countermeasures against Cache Attacks
Florian KüblerKübler, Florian TU Darmstadt, Germany SootKeeper: Runtime Reusability for Modular Static Analysis
Filip KřikavaKřikava, Filip Northeastern University, USA Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
L Ori LahavLahav, Ori MPI-SWS Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris Promising Compilation to ARMv8 POP Repairing Sequential Consistency in C/C++11
Patrick LamLam, Patrick University of Waterloo Committee Member in External Review Committee for PLDI 2017
Ken Friis LarsenLarsen, Ken Friis DIKU, University of Copenhagen Automatic Incrementalization of Functional Reports
Andrei LascuLascu, Andrei Imperial College London Committee Member in Artifact Evaluation Committee for PLDI 2017
Erwin LaureLaure, Erwin KTH Royal Institute of Technology RTHMS: A Tool for Data Placement on Hybrid Memory System
Arnon LazersonLazerson, Arnon Technion One for All and All for One: Simultaneous Approximation of Multiple Functions over Distributed Streams. (Research Paper)
Vu LeLe, Vu MicrosoftVietnam Committee Member in Program Committee within the ECOOP Research Papers-track
Doug LeaLea, Doug State University of New York, OswegoUnited States Session Chair of Specification and Verification (part of ECOOP Research Papers) Committee Member in Mentors within the ECOOP Summer School-track Committee Member in Program Committee within the ECOOP Research Papers-track
Dongyoon LeeLee, Dongyoon Virginia Tech, USA Committee Member in Program Committee for LCTES 2017
Gyeongmin LeeLee, Gyeongmin POSTECH Integrated IoT Programming with Selective Abstraction
Jae W. LeeLee, Jae W. Seoul National University, Korea Committee Member in Program Committee for LCTES 2017
Juneyoung LeeLee, Juneyoung Seoul National University Taming Undefined Behavior in LLVM
Kang-Woo LeeLee, Kang-Woo Electronics and Telecommunications Institutes Runtime Anomaly Detection Method in Smart Factories using Machine Learning on RDF Event Streams
Sorin LernerLerner, Sorin University of California, San Diego Committee Member in External Program Committee for PLDI 2017
Xavier LeroyLeroy, Xavier Inria A Formally Verified Compiler for Lustre
Martin LeuckerLeucker, Martin University of LübeckGermany Committee Member in Program Committee within the VORTEX-track
Ruy Ley-WildLey-Wild, Ruy LogicBlox Committee Member in Program Committee within the IC-track
Ondřej LhotákLhoták, Ondřej University of Waterloo, Canada Committee Member in External Program Committee for PLDI 2017 Mutable WadlerFest DOT Miniphases: Compilation using Modular and Efficient Tree Transformations Context Transformations for Pointer Analysis
Fuyang LiLi, Fuyang Department of Computer Science, City University of Hong Kong, Hong Kong [Poster] Checkpointing-aware Loop Tiling for Energy Harvesting Powered Non-Volatile Processors
Qingan LiLi, Qingan State Key Laboratory of Software Engineering, Wuhan University, China [Poster] Checkpointing-aware Loop Tiling for Energy Harvesting Powered Non-Volatile Processors
Yue LiLi, Yue UNSW AustraliaChina Efficient and Precise Points-to Analysis: Modeling the Heap by Merging Equivalent Automata Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Percy LiangLiang, Percy Stanford University Synthesizing Program Input Grammars
Ben LiblitLiblit, Ben University of Wisconsin–MadisonUnited States Control-Flow Recovery from Partial Failure Reports
Jonathan LifflanderLifflander, Jonathan Cache Locality Optimization for Recursive Programs
Jens LinckeLincke, Jens Hasso Plattner Institute The Declarative Nature of Implicit Layer Activation Programme Committee in Program Committee within the COP-track
Sam LindleyLindley, Sam University of Edinburgh, UKUnited Kingdom Mixing Metaphors: Actors as Channels and Channels as Actors
Hai LiuLiu, Hai Intel Labs Parallelizing Julia with a Non-invasive DSL
Y. Annie LiuLiu, Y. Annie Facebook Publicity Chair in Organizing Committee for DEBS 2017
Yongpan LiuLiu, Yongpan Tsinghua University [Poster] Checkpointing-aware Loop Tiling for Energy Harvesting Powered Non-Volatile Processors A Lightweight Progress Maximization Scheduler for Non-Volatile Processor Under Unstable Energy Harvesting
Yu David LiuLiu, Yu David State University of New York (SUNY) BinghamtonUnited States Proactive and Adaptive Energy-Aware Programming with Mixed Typechecking
Zhengyang LiuLiu, Zhengyang Beijing University of Posts and TelecommunicationsChina Flexible and Efficient Memory Object Metadata
Francesco LogozzoLogozzo, Francesco FacebookUnited States Committee Member in Program Committee for PLDI 2017 Session Chair of Functional Programming and Correctness (part of PLDI Research Papers)
Daniel LohmannLohmann, Daniel Friedrich-Alexander-Universität, Germany OSEK-V: Application-Specific RTOS Instantiation in Hardware
Nuno P. LopesLopes, Nuno P. Microsoft Research Taming Undefined Behavior in LLVM
Shan LuLu, Shan University of Chicago Committee Member in Program Committee for PLDI 2017
Yi LuLu, Yi Oracle An Efficient Tunable Selective Points-to Analysis for Large Codebases
Brandon LuciaLucia, Brandon Carnegie Mellon UniversityUnited States Co-chair in Artifact Evaluation Committee for PLDI 2017 Committee Member in External Review Committee for PLDI 2017 Artifact Evaluation Co-Chair in Organizing Committee for PLDI 2017 Committee Member in Program Committee within the ECOOP Research Papers-track
Kasper LuckowLuckow, Kasper Carnegie Mellon UniversityUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Hervé LugaLuga, Hervé IRIT - Université Paul Sabatier Toulouse Loosely Coupled Approach for Web-Based Collaborative 3D Design
Mikel LujánLuján, Mikel University of Manchester [Poster] Understanding the Performance of Dynamic Binary Modification on ARM Using MAMBO
Mikel LujánLuján, Mikel Low Overhead Dynamic Binary Translation on ARM
Mingsong LvLv, Mingsong Northeastern University [Poster] Benchmarking OpenMP for Real-Time Scheduling: From Modeling to Applications
M Ravichandhran MadhavanMadhavan, Ravichandhran EPFLSwitzerland Committee Member in External Review Committee for PLDI 2017
P. MadhusudanMadhusudan, P. University of Illinois at Urbana-ChampaignUnited States Committee Member in External Program Committee for PLDI 2017
Magnus MadsenMadsen, Magnus University of WaterlooDenmark Committee Member in Program Committee within the SOAP-track
Ratul MahajanMahajan, Ratul Microsoft Network Configuration Synthesis with Abstract Topologies
Petr MajMaj, Petr ReactorLabs Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
David MajnemerMajnemer, David Google Taming Undefined Behavior in LLVM
Ronald MakMak, Ronald San Jose State University Student Travel Co-Chair in Organizing Committee for PLDI 2017
Minudika MalshanMalshan, Minudika WSO2 Inc. Demo: Scalable Complex Event Processing on a Notebook
Konstantinos MamourasMamouras, Konstantinos University of Pennsylvania StreamQRE: Modular Specification and Efficient Evaluation of Quantitative Queries over Streaming Data
Stanislav ManilovManilov, Stanislav University of Edinburgh dart2java: Running Dart in Java-based Environments
Carole MannMann, Carole R.S.L Registration in Organizing Committee for PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM
Vikash MansinghkaMansinghka, Vikash Massachusetts Institute of Technology Committee Member in Program Committee for PLDI 2017
William ManskyMansky, William Princeton UniversityUnited States BARRACUDA: Binary-level Analysis of Runtime RAces in CUDA programs
Vicent Sanz MarcoMarco, Vicent Sanz Lancaster University Adaptive Optimization for OpenCL Programs on Embedded Heterogeneous Systems
Domagoj MarganMargan, Domagoj Imperial College London Large-Scale Stream Graph Processing
Alessandro MargaraMargara, Alessandro Politecnico di MilanoItaly Proceedings Chair in Organizing Committee for DEBS 2017 Session Chair of Session 6: Models and Analysis for Understanding Distributed and Event-Based Systems (part of DEBS Research Papers) Consistency Types for Safe and Efficient Distributed Programming Complex Event Recognition Languages FlowDB: Integrating Stream Processing and Consistent State Management. (Research Paper)
Martina MarjanovicMarjanovic, Martina University of Zagreb Modeling Aggregate Input Load of Interoperable Smart City Services. (New Direction Paper)
Stefano MarkidisMarkidis, Stefano KTH Royal Institute of Technology RTHMS: A Tool for Data Placement on Hybrid Memory System
Stefan MarrMarr, Stefan Johannes Kepler University LinzAustria A Metaobject Protocol for Optimizing Application-Specific Run-Time Variability Programme Committee in Program Committee within the COP-track Committee Member in Program Committee within the ICOOOLPS-track
Ruben MartinsMartins, Ruben Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples
Xavier MartorellMartorell, Xavier Barcelona Supercomputing Center Chair in SRC Panel for PLDI 2017 Student Research Competition Chair in Organizing Committee for PLDI 2017
Viviana MascardiMascardi, Viviana DIBRIS, University of Genova, Italy Parametric trace expressions for runtime verification of Java-like programs
Hidehiko MasuharaMasuhara, Hidehiko Tokyo Institute of TechnologyJapan Push-based Reactive Layer Activation in Context-Oriented Programming dart2java: Running Dart in Java-based Environments Modular Array-based GPU Computing in a Dynamically-typed Language Organizing Committee in Organizing Committee within the COP-track Committee Member in Program Committee within the ICOOOLPS-track Committee Member in Program Committee within the ARRAY-track
Umang MathurMathur, Umang University of Illinois at Urbana-ChampaignUnited States Dynamic Race Prediction in Linear Time
Nicholas MatsakisMatsakis, Nicholas Mozilla Corporation Keynote: Incrementalizing the Rust Compiler Rust: Putting Ownership to Use Rust: Ownership in practice Speaker in Speakers within the ECOOP Summer School-track Speaker in Keynote speaker within the IC-track Committee Member in Program Committee within the ECOOP Research Papers-track
Christoph MatthiesMatthies, Christoph Hasso Plattner Institute A New Application Benchmark for Data Stream Processing Architectures in an Enterprise Context
Luke MaurerMaurer, Luke University of Oregon, USAUnited States Compiling without continuations
Norman MayMay, Norman SAP SE Hardware Accelerated Application Integration Processing. (Industry Paper)
Christian MayerMayer, Christian University of Stuttgart StreamLearner – Distributed Incremental Machine Learning on Event Streams
Mikaël MayerMayer, Mikaël EPFL, Switzerland Proactive Synthesis of Recursive Tree-to-String Functions from Examples
Ruben MayerMayer, Ruben University of Stuttgart Minimizing Communication Overhead in Window-Based Parallel Complex Event Processing. (Research Paper) StreamLearner – Distributed Incremental Machine Learning on Event Streams
Caitie McCaffreyMcCaffrey, Caitie TwitterUnited States Committee Member in Program Committee within the PMLDC-track
Stephen McCamantMcCamant, Stephen University of MinnesotaUnited States Committee Member in External Review Committee for PLDI 2017
Kathryn S McKinleyMcKinley, Kathryn S Microsoft Research Hot, Classic, and Unrecognized Problems in Programming Languages Career paths in Computer Science Debugging Probabilistic Programs Committee Member in Mentors within the ECOOP Summer School-track Speaker in Mentors within the PLMW-track
Allison McMillanMcMillan, Allison Collective Idea Angelina Ballerina Learns About Memory Allocation
Tyler McMullenMcMullen, Tyler FastlyUnited States Edge Compute: The First 5000 Years Committee Member in Program Committee within the PMLDC-track
Christopher MeiklejohnMeiklejohn, Christopher Université catholique de LouvainUnited States On the Design of Distributed Programming Models Co-chair in Organizing Committee within the PMLDC-track
Dominik MeißnerMeißner, Dominik Institute of Distributed Systems, Ulm University Chronograph—A Distributed Processing Platform for Online and Batch Computations on Event-sourced Graphs. (Experience Paper)
Darya MelicherMelicher, Darya Carnegie Mellon University A Capability-Based Module System for Authority Control Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
David MenendezMenendez, David Rutgers University ALIVE-INFER: Data-Driven Precondition Inference for Peephole Optimizations in LLVM
Kim MensMens, Kim Université catholique de Louvain, BelgiumBelgium Organizing Committee in Organizing Committee within the COP-track
Ole MeyerMeyer, Ole University of Duisburg-Essen Property-based routing in clustered message brokers for CPS
Dani MezherMezher, Dani CIMTI - ESIB - Saint-Joseph University - Beirut, Lebanon A Coq-based synthesis of Scala programs which are correct-by-construction
Mira MeziniMezini, Mira TU DarmstadtGermany Privacy-aware Distributed Incremental Computation Hermes: Assessment and Creation of Effective Test Corpora Modular Composition of Reactive Applications A Co-contextual Type Checker for Featherweight Java
Gianluca MezzettiMezzetti, Gianluca Aarhus University, DenmarkItaly Committee Member in Artifact Evaluation Committee for PLDI 2017
Samuel MidkiffMidkiff, Samuel School of Electrical and Computer Engineering, Purdue UniversityUnited States Opening Remarks Open Discussion: Building Infrastructure for Research and Education Committee Member in Organizing Committee within the WCIRE-track
Matthew MightMight, Matthew University of Utah, USAUnited States Winning the War on Error: Solving the Halting Problem and Curing Cancer
Heather MillerMiller, Heather Ecole Polytechnique Federale de Lausanne CurryOn 2017 General Chair in Organizing Committee for PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM Monotonicity Types for Distributed Dataflow Committee Member in Mentors within the ECOOP Summer School-track Co-chair in Organizing Committee within the PMLDC-track
Todd MillsteinMillstein, Todd University of California, Los Angeles Committee Member in External Program Committee for PLDI 2017 Network Configuration Synthesis with Abstract Topologies
Anders MiltnerMiltner, Anders Princeton University Committee Member in Artifact Evaluation Committee for PLDI 2017
Sasa MisailovicMisailovic, Sasa University of Illinois at Urbana-ChampaignUnited States Committee Member in Program Committee for PLDI 2017 Session Chair of Synthesis (part of PLDI Research Papers)
Ashish MishraMishra, Ashish Analysis and Verification of Rich Typestate Properties for Complex Programs
Tulika MitraMitra, Tulika National University of Singapore, SingaporeSingapore Committee Member in Program Committee for LCTES 2017
Adrian MizziMizzi, Adrian An Embedded DSL Framework for Distributed Embedded Systems
Santiago M. MolaMola, Santiago M. source{d} Babelfish: Universal Code Parsing Server
Scott MooreMoore, Scott Harvard University Committee member in Program Committee within the ECOOP Doctoral Symposium-track
Natan MorarMorar, Natan The University of Birmingham Demo: Demonstration of a Prototype for Credit Card Fraud Management A Prototype for Credit Card Fraud Management. (Industry Paper)
J. Garrett MorrisMorris, J. Garrett University of Edinburgh, UKUnited Kingdom Mixed Messages: Measuring Conformance and Non-Interference in TypeScript
Greg MorrisettMorrisett, Greg Cornell University Compiling Markov Chain Monte Carlo Algorithms for Probabilistic Modeling
Raef MousheimishMousheimish, Raef DAVID lab, University of Versailles Automatic Learning of Predictive CEP Rules: Bridging the Gap between Data Mining and Complex Event Processing. (Research Paper)
Rashmi MudduluruMudduluru, Rashmi Microsoft Research IndiaIndia Committee Member in Artifact Evaluation Committee for PLDI 2017
Fabian MuehlboeckMuehlboeck, Fabian Efficient Run-Times for Sound Gradual Typing
Frank MuellerMueller, Frank North Carolina State University, USA Committee Member in Program Committee for LCTES 2017
Rohan MukherjeeMukherjee, Rohan Rice University Real-time High Performance Anomaly Detection over Data Streams
Stefan K. MullerMuller, Stefan K. Responsive Parallel Computation: Bridging Competitive and Cooperative Threading
Charlie MurphyMurphy, Charlie Princeton University Verified Perceptron Convergence Theorem
Derek MurrayMurray, Derek Google A Computational Model for TensorFlow (An Introduction)
Madan MusuvathiMusuvathi, Madan Microsoft Research Committee Member in Program Committee for PLDI 2017 Fusing Effectful Comprehensions
Onur MutluMutlu, Onur ETH Zurich Committee Member in Program Committee for PLDI 2017
Magnus O. MyreenMyreen, Magnus O. Chalmers University of Technology, SwedenSweden Writing Verified Programs in CakeML
Todd MytkowiczMytkowicz, Todd Debugging Probabilistic Programs Fusing Effectful Comprehensions
Anders MøllerMøller, Anders Aarhus UniversityDenmark Committee Member in Program Committee for PLDI 2017 Session Chair of Analysis and Synthesis (part of ECOOP Research Papers) Testing and Evolving TypeScript Declaration Files with Program Analysis Systematic Approaches for Increasing Soundness and Precision of Static Analyzers Systematic Black-Box Analysis of Collaborative Web Applications Committee Member in Program Committee within the ECOOP Research Papers-track
Patrick MüllerMüller, Patrick TU Darmstadt, Germany SootKeeper: Runtime Reusability for Modular Static Analysis
Peter MüllerMüller, Peter ETH ZurichSwitzerland Program Chair in Organizing Committee for ECOOP 2017 Session Chair of Security (part of ECOOP Research Papers) Session Chair of Keynote (part of ECOOP Invited Speakers) Program Chair in Program Committee within the ECOOP Research Papers-track
N Sarah NadiNadi, Sarah University of AlbertaCanada Invited Talk: What Lies Beyond a PhD Committee member in Academic Panel within the ECOOP Doctoral Symposium-track Committee Member in Invited Speakers within the ECOOP Doctoral Symposium-track
Vijay NagarajanNagarajan, Vijay University of Edinburgh, UK General Chair in Organizing Committee for LCTES 2017 Session Chair of Keynote 2 (part of LCTES )
Santosh NagarakatteNagarakatte, Santosh Rutgers University, USAUnited States Committee Member in External Review Committee for PLDI 2017 Session Chair of B (part of FTfJP) ALIVE-INFER: Data-Driven Precondition Inference for Peephole Optimizations in LLVM
Mayur NaikNaik, Mayur Georgia Tech Committee Member in Program Committee for PLDI 2017 Session Chair of Static Analysis and Security (part of PLDI Research Papers) Combining the Logical and the Probabilistic in Program Analysis
Chandrakana NandiNandi, Chandrakana University of Washington, USAIndia Debugging Probabilistic Programs
Aleksandar NanevskiNanevski, Aleksandar IMDEA Software InstituteSpain Concurrent Data Structures Linked in Time
Praveen NarayananNarayanan, Praveen Indiana University, USA Verifiable, reusable, yet useful conditioning
Lasse NatvigNatvig, Lasse Norwegian University of Science and Technology Efficient Array Slicing on the Intel Xeon Phi Coprocessor
Ryan R. NewtonNewton, Ryan R. Indiana UniversityUnited States Committee Member in External Review Committee for PLDI 2017 Compiling tree transforms to operate on packed representations Instruction Punning: Lightweight Instrumentation for x86-64
Hoang Nga NguyenNga Nguyen, Hoang Coventry University, Coventry, UK Software Model Checking: A Promising Approach to Verify Mobile App Security
Lisa Nguyen Quang DoNguyen Quang Do, Lisa Fraunhofer IEM Doctoral Symposium Chair in Organizing Committee for ECOOP 2017 Co-chair in Program Committee within the ECOOP Doctoral Symposium-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Julia NguyenNguyen, Julia Indiegogo Two Households, Both Alike in Dignity: A Not-So-Tragedy of Refactoring Front-end APIs
Jens NicolayNicolay, Jens Vrije Universiteit Brussel, BelgiumBelgium Mailbox Abstractions for Static Analysis of Actor Programs
Victor NicoletNicolet, Victor University of TorontoFrance Synthesis of Divide and Conquer Parallelism for Loops
Chuanyao NieNie, Chuanyao The University of New South Wales Integrating Task Scheduling and Cache Locking for Multicore Real-time Embedded Systems
Benjamin Barslev NielsenNielsen, Benjamin Barslev Aarhus UniversityDenmark Systematic Approaches for Increasing Soundness and Precision of Static Analyzers
Yiannis NikolakopoulosNikolakopoulos, Yiannis Chalmers University of Technology Performance Modeling of Stream Joins. (Research Paper) Maximizing Determinism in Stream Processing Under Latency Constraints. (Research Paper)
Lin NingNing, Lin North Carolina State University Generalizations of the Theory and Deployment of Triangular Inequality for Compiler-Based Strength Reduction
James NobleNoble, James Victoria University of Wellington Committee Member in Program Committee within the IWACO-track Committee Member in Program Committee within the FTfJP-track
Aleksey NoginNogin, Aleksey HRL Laboratories, LLCUnited States Using formal tools to develop high-assurance software for autonomous ground vehicles
Sam H. NohNoh, Sam H. UNIST (Ulsan National Institute of Science and Technology), Korea Committee Member in Steering Committee for LCTES 2017
Michael NorrishNorrish, Michael Data61 at CSIRO, Australia / Australian National University, AustraliaAustralia Writing Verified Programs in CakeML
O Michael F. P. O'BoyleO'Boyle, Michael F. P. University of Edinburgh Committee Member in Steering Committee for PLDI 2017 Committee Member in Program Committee for LCTES 2017 Committee Member in Program Committee within the MAPL-track
Peter O'HearnO'Hearn, Peter Facebook Building your own modular static analyzer with Facebook Infer
Cosmin OanceaOancea, Cosmin DIKU, University of CopenhagenDenmark Futhark: Purely Functional GPU-programming with Nested Parallelism and In-place Array Updates
Martin OderskyOdersky, Martin EPFL, SwitzerlandSwitzerland What to Leave Implicit What to Leave Implicit Miniphases: Compilation using Modular and Efficient Tree Transformations
Nobuhiko OguraOgura, Nobuhiko Tokyo City University Petri-Net Based Testing Environment for Context-Oriented Programming IoT Robot Simulator and Framework for Context-Oriented Programming
Peter OhmannOhmann, Peter University of Wisconsin - MadisonUnited States Control-Flow Recovery from Partial Failure Reports
Bruno C. d. S. OliveiraOliveira, Bruno C. d. S. The University of Hong KongHong Kong EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse Committee Member in Program Committee within the ECOOP Research Papers-track
Julius OlleschOllesch, Julius University of Duisburg-Essen Property-based routing in clustered message brokers for CPS Poster: The Requirements Engineering Perspective on Events in Cyber-Physical Systems
Kunle OlukotunOlukotun, Kunle Stanford UniversityUnited States Scala, LMS and Delite for High-Performance DSLs and Program Generators Committee Member in Organizing Committee within the MAPL-track Committee Member in Program Committee within the MAPL-track
Emanuel OnicaOnica, Emanuel Alexandru Ioan Cuza University of Iasi Optimized Stage Processing for Anomaly Detection on Numerical Data Streams
Fernando OrejasOrejas, Fernando Universitat Politècnica de Catalunya, Spain Organizing Chair in Organizing Committee for PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM Organizing Chair in Organizing Committee for PLDI 2017 Organizing Chair in Organizing Committee for ECOOP 2017
Peter-Michael OseraOsera, Peter-Michael Grinnell CollegeUnited States Committee Member in External Review Committee for PLDI 2017
Harold OssherOssher, Harold IBM Thomas J. Watson Research CenterUnited States Programme Committee in Program Committee within the COP-track
Klaus OstermannOstermann, Klaus University of TübingenGermany Committee Member in Program Committee within the IC-track Committee Member in Program Committee within the ECOOP Research Papers-track
Leo OsvaldOsvald, Leo Purdue University, USA Committee Member in Artifact Evaluation Committee for PLDI 2017 Flexible Data Views: Design and Implementation Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Scott OwensOwens, Scott University of Kent, UKUnited Kingdom Writing Verified Programs in CakeML
P Uday P. KhedkerP. Khedker, Uday "What's in a Name?" Going Beyond Allocation Site Names in Heap Analysis
Gordon PacePace, Gordon An Embedded DSL Framework for Distributed Embedded Systems Committee Member in Program Committee within the VORTEX-track
Jitendra PadhyePadhye, Jitendra Microsoft Network Configuration Synthesis with Abstract Topologies
David PaduaPadua, David University of Illinois at Urbana-Champaign Session Chair of Closing / Discussion (part of ARRAY) Session Chair of Afternoon talks 1 (part of ARRAY) Session Chair of Invited talk (part of ARRAY) Committee Member in Organizing Committee within the ARRAY-track Committee Member in Program Committee within the ARRAY-track
Yunheung PaekPaek, Yunheung Seoul National University, Korea Committee Member in Program Committee for LCTES 2017
Sreepathi PaiPai, Sreepathi University of RochesterUnited States Committee Member in Artifact Evaluation Committee for PLDI 2017
Georgios PaliourasPaliouras, Georgios Institute of Informatics & Telecommunications, NCSR "Demokritos" Event Forecasting with Pattern Markov Chains. (Research Paper) Demo: Demonstration of a Prototype for Credit Card Fraud Management A Prototype for Credit Card Fraud Management. (Industry Paper)
Jens PalsbergPalsberg, Jens University of California, Los Angeles (UCLA) Committee Member in External Program Committee for PLDI 2017 Committee Member in Program Committee within the FTfJP-track
Chen PanPan, Chen A Lightweight Progress Maximization Scheduler for Non-Volatile Processor Under Unstable Energy Harvesting
Nikolaos PanagiotouPanagiotou, Nikolaos University of Athens Demo: REMI, Reusable Elements for Multi-Level Information Availability
Alessandro Vittorio PapadopoulosPapadopoulos, Alessandro Vittorio Mälardalen UniversitySweden Performance Modeling of Stream Joins. (Research Paper)
Marina PapatriantafilouPapatriantafilou, Marina Chalmers University of Technology Performance Modeling of Stream Joins. (Research Paper) Maximizing Determinism in Stream Processing Under Latency Constraints. (Research Paper)
Jihyeok ParkPark, Jihyeok KAIST, South Korea Revisiting Recency Abstraction for JavaScript: Towards an Intuitive, Compositional, and Efficient Heap Abstraction
Matthew ParkinsonParkinson, Matthew Microsoft Research, UKUnited Kingdom Simple, fast and safe manual memory management Verifying invariants of lock-free data structures with rely-guarantee and refinement type Committee Member in Program Committee within the ECOOP Research Papers-track
Nimrod PartushPartush, Nimrod Technion Similarity of Binaries through re-Optimization
Corina S PasareanuPasareanu, Corina S NASA Ames Research Center Committee Member in Program Committee within the ECOOP Research Papers-track
Marcelo PasinPasin, Marcelo Université de Neuchâtel SecureStreams: A Reactive Middleware Framework for Secure Data Stream Processing. (Research Paper)
Norbert PatakiPataki, Norbert Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers Code Generation in Serializers and Comparators of Apache Flink
Prithviraj PatilPatil, Prithviraj Vanderbilt University Poster: Software-defined Adaptive Resource Management for Cloud-hosted Group Communication Applications
Marta PatiñoPatiño, Marta Universidad Politécnica de Madrid General Chair in Organizing Committee for DEBS 2017
Daniel PattersonPatterson, Daniel Northeastern UniversityUnited States FunTAL: Reasonably Mixing a Functional Language with Assembly
Niki PavlopoulouPavlopoulou, Niki Insight Centre for Data Analytics NUIG Automatic Anomaly Detection over Sliding Windows
Hannes PayerPayer, Hannes Google Committee Member in External Review Committee for PLDI 2017 Session Chair of Session 1: Garbage Collection (part of ISMM ) Committee Member in Program Committee within the ISMM -track
David J. PearcePearce, David J. Victoria University of WellingtonUnited Kingdom Array Programming in Whiley Contracts in the Wild: A Study of Java Programs
Ivy Bo PengPeng, Ivy Bo KTH Royal Institute of Technology RTHMS: A Tool for Data Placement on Hybrid Memory System
Yuanfeng PengPeng, Yuanfeng University of Pennsylvania BARRACUDA: Binary-level Analysis of Runtime RAces in CUDA programs
Jamie PercontiPerconti, Jamie Northeastern University FunTAL: Reasonably Mixing a Functional Language with Assembly
Isuru PereraPerera, Isuru WSO2 Inc. Anomaly Detection of Manufacturing Equipment via High Performance RDF Data Stream Processing
Roly PereraPerera, Roly University of Edinburgh, UK / University of Glasgow, UKUnited Kingdom μPuppet: A Declarative Subset of the Puppet Configuration Language
Srinath PereraPerera, Srinath WSO2 Anomaly Detection of Manufacturing Equipment via High Performance RDF Data Stream Processing Demo: Solution Recommender for System Failure Recovery via Log Event Pattern Matching on a Knowledge Graph Demo: Scalable Complex Event Processing on a Notebook
Riley PerryPerry, Riley UNSW Visualising complex event hierarchies using relevant domain ontologies
Erez PetrankPetrank, Erez Technion Committee Member in External Program Committee for PLDI 2017 Committee Member in Steering Committee for ISMM 2017 Committee Member in External Review Committee within the ISMM -track
Dmytro PetrashkoPetrashko, Dmytro EPFL Miniphases: Compilation using Modular and Efficient Tree Transformations
Tomas PetricekPetricek, Tomas Alan Turing InstituteUnited Kingdom Data exploration through dot-driven development
Michael PhilippsenPhilippsen, Michael Diff Graphs for a fast Incremental Pointer Analysis
Eline PhilipsPhilips, Eline Nokia Bell Labs Demo: Building Connected Car Applications on Top of the World-Wide Streams Platform
Luís Picciochi OliveiraPicciochi Oliveira, Luís Feedzai NG2C: Pretenuring Garbage Collection with Dynamic Generations for HotSpot Big Data Applications
Jakob PietronPietron, Jakob Ulm University Chronograph—A Distributed Processing Platform for Online and Batch Computations on Event-sourced Graphs. (Experience Paper)
Toma PigliPigli, Toma University of Pennsylvania BARRACUDA: Binary-level Analysis of Runtime RAces in CUDA programs
Silvia Moura PinaPina, Silvia Moura Zalando SE The Programmer's Guide to Ideology
Keshav PingaliPingali, Keshav University of Texas, AustinIndia Committee Member in Steering Committee for PLDI 2017
Elvira PinoPino, Elvira Dept. of Computer Science UPC Student Volunteer Co-Chair in Organizing Committee for PLDI 2017 Student Volunteer Chair in Organizing Committee for ECOOP 2017
Rafael PiresPires, Rafael Université de NeuchâtelSwitzerland SecureStreams: A Reactive Middleware Framework for Secure Data Stream Processing. (Research Paper)
Marco PistoiaPistoia, Marco IBM ResearchUnited States Committee Member in Program Committee for PLDI 2017
Filip PizloPizlo, Filip AppleUnited States Engineering a Real-World Garbage Collector Speaker in Speakers within the ECOOP Summer School-track
Thomas PlagemannPlagemann, Thomas University of Oslo DCEP-Sim: An Open Simulation Framework for Distributed CEP. (Research Paper)
Laurent PlagnePlagne, Laurent EDF Lab Portable Vectorization and Parallelization of C++ Multi-Dimensional Array Computations
Andreas PodelskiPodelski, Andreas University of Freiburg, GermanyGermany Committee Member in External Review Committee for PLDI 2017
Anton PodkopaevPodkopaev, Anton St. Petersburg University, JetBrainsRussia Promising Compilation to ARMv8 POP
Ivana Podnar ZarkoPodnar Zarko, Ivana University of Zagreb Modeling Aggregate Input Load of Interoperable Smart City Services. (New Direction Paper)
Nadia PolikarpovaPolikarpova, Nadia MIT CSAIL, USAUnited States Refinement Types for Program Verification and Synthesis
Radu PopescuPopescu, Radu CERN The CernVM File System - Beyond Static Content Distribution
Adam PorterPorter, Adam University of Maryland Learning a Classifier for False Positive Error Reports Emitted by Static Code Analysis Tools
Alex PotaninPotanin, Alex Victoria University of WellingtonNew Zealand Are Your Incoming Aliases Really Necessary? Remembering the Cost of Object Ownership. A Capability-Based Module System for Authority Control EvilPickles: DoS attacks based on Object-Graph Engineering
Louis-Noël PouchetPouchet, Louis-Noël Colorado State University Financial Chair in Organizing Committee for PLDI 2017 The ROSE Compiler Framework Opening Remarks Open Discussion: Building Infrastructure for Research and Education Committee Member in Organizing Committee within the WCIRE-track
Marc PouzetPouzet, Marc École normale supérieureFrance A Formally Verified Compiler for Lustre
Bobby PowersPowers, Bobby University of Massachusetts, Amherst Committee Member in Artifact Evaluation Committee for PLDI 2017
Michael PradelPradel, Michael TU Darmstadt Committee Member in Program Committee for PLDI 2017 Artifact Evaluation Chair in Organizing Committee for ECOOP 2017 Session Chair of Dynamic Analysis and Testing (part of PLDI Research Papers) Systematic Black-Box Analysis of Collaborative Web Applications Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ECOOP Artifacts-track
Matteo PradellaPradella, Matteo Politecnico di Milano, Italy Programme Committee in Program Committee within the COP-track
Ron PresslerPressler, Ron The Practice and Theory of TLA+
Jon PrettyPretty, Jon Propensive Ltd Impromptu: A Lightweight, dependently-typed async framework for Scala
Tony PrintezisPrintezis, Tony Twitter Committee Member in Program Committee within the ISMM -track
Lukas ProbstProbst, Lukas University of Basel Demo: Real-Time Football Analysis with StreamTeam
Markus PüschelPüschel, Markus ETH ZurichSwitzerland Scala, LMS and Delite for High-Performance DSLs and Program Generators
Q Keni QiuQiu, Keni Capital Normal University, Beijing, China [Poster] Checkpointing-aware Loop Tiling for Energy Harvesting Powered Non-Volatile Processors
Leonardo QuerzoniQuerzoni, Leonardo Sapienza University Rome Doctoral Symposium Chair in Organizing Committee for DEBS 2017 Data Streaming and its Application to Stream Processing
R Azalea RaadRaad, Azalea Imperial College LondonUnited Kingdom Committee Member in Program Committee within the IWACO-track
Fethi RabhiRabhi, Fethi UNSW Visualising complex event hierarchies using relevant domain ontologies
Rick RabiserRabiser, Rick Christian Doppler Lab. MEVSS, Johannes Kepler University Linz An Event-based Capture-and-Compare Approach to Support the Evolution of Systems of Systems. (Experience Paper)
Mukund RaghotamanRaghotaman, Mukund University of Pennsylvania StreamQRE: Modular Specification and Efficient Evaluation of Quantitative Queries over Streaming Data
Arun Krishnakumar RajagopalanRajagopalan, Arun Krishnakumar Texas A&M University What’s the Optimal Performance of Precise Dynamic Race Detection? – A Redundancy Perspective
Zvonimir RakamaricRakamaric, Zvonimir University of UtahUnited States Committee Member in External Review Committee for PLDI 2017
Stefan RamsonRamson, Stefan Hasso Plattner Institute, Potsdam The Declarative Nature of Implicit Layer Activation
Marianna RapoportRapoport, Marianna University of WaterlooCanada Mutable WadlerFest DOT
Shawn RasheedRasheed, Shawn Massey UniversityNew Zealand On the Construction of Soundness Oracles EvilPickles: DoS attacks based on Object-Graph Engineering
Aseem RastogiRastogi, Aseem Microsoft Research, n.n.India Committee Member in Program Committee within the FTfJP-track
Antonio RavaraRavara, Antonio Committee Member in Program Committee within the VORTEX-track
Veselin RaychevRaychev, Veselin ETH Zurich Committee Member in External Review Committee for PLDI 2017
Mariana RaykovaRaykova, Mariana Yale University Committee Member in External Review Committee for PLDI 2017
Chandan ReddyReddy, Chandan INRIA Polyhedral Compilation and Accelerator Programming with PENCIL and PPCG
John RegehrRegehr, John University of UtahUnited States Committee Member in External Program Committee for PLDI 2017 Taming Undefined Behavior in LLVM
Oliver ReicheReiche, Oliver Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU)Germany Auto-Vectorization for Image Processing DSLs
Michael ReifReif, Michael TU Darmstadt, GermanyGermany Hermes: Assessment and Creation of Effective Test Corpora
Benjamin ReissausReissaus, Benjamin Hasso Plattner Institute A New Application Benchmark for Data Stream Processing Architectures in an Enterprise Context
Thomas RepsReps, Thomas University of Wisconsin - Madison and Grammatech Inc.United States Compositional Recurrence Analysis Revisited
Ahmed RezineRezine, Ahmed Flatten and Conquer (A Framework for Efficient Analysis of String Constraints)
Tamara RezkRezk, Tamara InriaFrance Type Abstraction for Relaxed Noninterference
Dustin RhodesRhodes, Dustin Correctness of Partial Escape Analysis for Multithreading Optimization BigFoot: Static Check Placement for Dynamic Race Detection
Nathan RicciRicci, Nathan Committee Member in Program Committee within the ISMM -track
Lionel RiegRieg, Lionel Collège de France A Formally Verified Compiler for Lustre
Dominik RiemerRiemer, Dominik FZI Research Center for Information Technology Considering Human Factors in the Development of Situation-Aware CEP Applications. (New Direction Paper)
Manuel RiggerRigger, Manuel Johannes Kepler University Linz, AustriaAustria Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Stefanie Rinderle-MaRinderle-Ma, Stefanie University of Vienna Hardware Accelerated Application Integration Processing. (Industry Paper)
Noam RinetzkyRinetzky, Noam Tel Aviv UniversityIsrael Committee Member in External Review Committee for PLDI 2017
Daniel RitterRitter, Daniel SAP SE Hardware Accelerated Application Integration Processing. (Industry Paper)
Xavier RivalRival, Xavier INRIA/CNRS/ENS ParisFrance Revisiting Recency Abstraction for JavaScript: Towards an Intuitive, Compositional, and Efficient Heap Abstraction
Nicolo RivettiRivetti, Nicolo Technion - Israel Institute of Technology FlinkMan – Anomaly Detection in Manufacturing Equipment with Apache Flink Data Streaming and its Application to Stream Processing Demo: REMI, Reusable Elements for Multi-Level Information Availability
Dominic RizzoRizzo, Dominic Google Building Faith in Experts: Applying Formal Verification to Cryptography
Rodrigo RodriguesRodrigues, Rodrigo Instituto Superior Técnico, U. Lisboa & INESC-IDPortugal Committee Member in Program Committee within the PMLDC-track
Oscar RodriguezRodriguez, Oscar JetBrains JetBrains Meta Programming System (MPS)
Marc RoelandsRoelands, Marc Nokia Demo: Building Connected Car Applications on Top of the World-Wide Streams Platform
Markus RoggenbachRoggenbach, Markus Swansea University, Swansea, UK Software Model Checking: A Promising Approach to Verify Mobile App Security
Erik RomijnRomijn, Erik Helping communities & products thrive by fostering empathy
Tiark RompfRompf, Tiark Purdue UniversityUnited States Flexible Data Views: Design and Implementation How types can turn a SQL interpreter into a SQL compiler Strong Normalization for Dependent Object Types (DOT) Scala, LMS and Delite for High-Performance DSLs and Program Generators Committee Member in Program Committee within the ECOOP Research Papers-track
Andreas RossbergRossberg, Andreas GoogleGermany Bringing the Web up to Speed with WebAssembly
Kurt RothermelRothermel, Kurt Universitaet Stuttgart Minimizing Communication Overhead in Window-Based Parallel Complex Event Processing. (Research Paper) Addressing TCAM Limitations of Software-Defined Networks for Content-Based Routing. (Research Paper)
Romain RouvoyRouvoy, Romain University Lille 1 and INRIA SecureStreams: A Reactive Middleware Framework for Secure Data Stream Processing. (Research Paper)
Grigore RoşuRoşu, Grigore University of Illinois at Urbana-ChampaignUnited States Committee Member in Program Committee within the ECOOP Research Papers-track
Cindy Rubio-GonzálezRubio-González, Cindy University of California, Davis Committee Member in External Review Committee for PLDI 2017
Philipp RuemmerRuemmer, Philipp Uppsala UniversitySweden Flatten and Conquer (A Framework for Efficient Analysis of String Constraints)
Martin RumoRumo, Martin Swiss Federal Institute of Sports Magglingen Demo: Real-Time Football Analysis with StreamTeam
Andrey RybalchenkoRybalchenko, Andrey Microsoft ResearchUnited Kingdom Committee Member in Program Committee for PLDI 2017
Sukyoung RyuRyu, Sukyoung KAISTKorea, South Journey to Find Bugs in JavaScript Web Applications in the Wild Revisiting Recency Abstraction for JavaScript: Towards an Intuitive, Compositional, and Efficient Heap Abstraction Bug detection in JavaScript web apps using the SAFE framework
S Parsa SaadatpanahSaadatpanah, Parsa University of Maryland Learning a Classifier for False Positive Error Reports Emitted by Static Code Analysis Tools
Olli SaarikiviSaarikivi, Olli Fusing Effectful Comprehensions
P. SadayappanSadayappan, P. Ohio State UniversityUnited States Session Chair of Afternoon talks 2 (part of ARRAY) Keynote: Towards achieving high performance, productivity, and portability for matrix/tensor computations in machine learning and data analytics
Mohammad SadoghiSadoghi, Mohammad Purdue Industry Chairs in Organizing Committee for DEBS 2017 Session Chair of Session 3: Publish/Subscribe (part of DEBS Research Papers)
Yuta SaekiSaeki, Yuta Kyushu University ContextROS: Context-Oriented Programming for the Robot Operating System
Laith SakkaSakka, Laith Compiling tree transforms to operate on packed representations
Pooya SalehiSalehi, Pooya Technical University of Munich PopSub: Improving Resource Utilization in Distributed Content-based Publish/Subscribe Systems. (Research Paper)
Baptiste SaleilSaleil, Baptiste Interprocedural Specialization of Higher-Order Dynamic Languages Without Static Analysis
Guido SalvaneschiSalvaneschi, Guido TU Darmstadt Session Chair of Session 2: High Performance and Distribution (part of DEBS Research Papers) Privacy-aware Distributed Incremental Computation Consistency Types for Safe and Efficient Distributed Programming Programme Committee in Program Committee within the COP-track
Malavika SamakSamak, Malavika Indian Institute of Science, BangaloreIndia Committee Member in Artifact Evaluation Committee for PLDI 2017
Roopsha SamantaSamanta, Roopsha Purdue University Formal methods research: The what, the why and the how Career paths in Computer Science Speaker in Mentors within the PLMW-track
Adrian SampsonSampson, Adrian Cornell UniversityUnited States Publicity Chair in Organizing Committee for PLDI 2017 Debugging Probabilistic Programs
Anirudh SanthiarSanthiar, Anirudh Indian Institute of Science Static Deadlock Detection for Asynchronous C# Programs
Vivek SarkarSarkar, Vivek Rice University, USA Committee Member in External Program Committee for PLDI 2017 A Marshalled Data Format for Pointers in Relocatable Data Blocks
Jennifer B. SartorSartor, Jennifer B. Sofware Languages Lab, Vrije Universiteit BrusselBelgium Committee Member in Program Committee within the ISMM -track
Annabel SatinSatin, Annabel P.C.K.United Kingdom Treasurer in Organizing Committee for PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM Treasurer & Conference Manager in Organizing Committee for PLDI 2017 Treasurer & Conference Manager in Organizing Committee for ECOOP 2017
Alceste ScalasScalas, Alceste Imperial College London A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Valerio SchiavoniSchiavoni, Valerio University of NeuchatelSwitzerland SecureStreams: A Reactive Middleware Framework for Secure Data Stream Processing. (Research Paper)
Cole SchlesingerSchlesinger, Cole Samsung Research America Committee Member in SRC Panel for PLDI 2017 P4: Programming the Network Data Plane
Max SchlüterSchlüter, Max Static Analysis of CommonJS Modules
Gerardo SchneiderSchneider, Gerardo University of GothenburgSweden Committee Member in Program Committee within the VORTEX-track
Scott SchneiderSchneider, Scott IBM Research Low-Latency Sliding-Window Aggregation in Worst-Case Constant Time. (Research Paper) Sliding-Window Aggregation Algorithms Low-Synchronization, Mostly Lock-Free, Elastic Scheduling for Streaming Runtimes
Pierre Yves SchobbensSchobbens, Pierre Yves University of Namur Formal Analysis of Object-Oriented Mograms
Bernhard ScholzScholz, Bernhard University of Sydney, Australia Committee Member in Program Committee for LCTES 2017 Session Chair of Session 2: Abstraction, Modelling and Scheduling for IoT and Embedded Systems (part of LCTES ) An Efficient Tunable Selective Points-to Analysis for Large Codebases Engineering Static Analyzers with Soufflé Committee Member in Program Committee within the SOAP-track
Bernhard ScholzScholz, Bernhard The University of Sydney Committee Member in Program Committee within the FTfJP-track
Derek SchuffSchuff, Derek Google Bringing the Web up to Speed with WebAssembly
Heiko SchuldtSchuldt, Heiko University of Basel Demo: Real-Time Football Analysis with StreamTeam
Christian SchulteSchulte, Christian KTH Royal Institute of Technology, Sweden Committee Member in Program Committee for LCTES 2017
Wolfram SchulteSchulte, Wolfram Microsoft Challenges to Achieving High Availability at Scale
Jasper SchulzSchulz, Jasper King's College LondonGermany Improving Warmup in Meta-Traced Virtual Machines
Assaf SchusterSchuster, Assaf Technion One for All and All for One: Simultaneous Approximation of Multiple Functions over Distributed Streams. (Research Paper)
Christopher SchusterSchuster, Christopher University of California, Santa Cruz Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Malte SchwerhoffSchwerhoff, Malte ETH Zurich, SwitzerlandSwitzerland Committee Member in Program Committee within the FTfJP-track
Chris SeatonSeaton, Chris Oracle LabsUnited Kingdom Practical Partial Evaluation for High-Performance Dynamic Language Runtimes Committee Member in Program Committee within the ICOOOLPS-track
Eric SedlarSedlar, Eric Oracle Labs Can Compiler Magic Ever Be Explained?
Lionel SeinturierSeinturier, Lionel University of Lille, Lille, France Programme Committee in Program Committee within the COP-track
Suad SejdovicSejdovic, Suad FZI Research Center for Information Technology Considering Human Factors in the Development of Situation-Aware CEP Applications. (New Direction Paper)
Koushik SenSen, Koushik University of California, BerkeleyUnited States Committee Member in External Program Committee for PLDI 2017
Arik SenderovichSenderovich, Arik Technion - Israel Institute of Technology Demo: REMI, Reusable Elements for Multi-Level Information Availability
Ilya SergeySergey, Ilya University College LondonUnited Kingdom Concurrent Data Structures Linked in Time
Bernard SerpetteSerpette, Bernard Inria Type Abstraction for Relaxed Noninterference
Niels G. W. SerupSerup, Niels G. W. DIKU, University of CopenhagenDenmark Futhark: Purely Functional GPU-programming with Nested Parallelism and In-place Array Updates
Marco ServettoServetto, Marco Victoria University of Wellington Tracing sharing in an imperative pure calculus
Peter SestoftSestoft, Peter IT University of Copenhagen Quad Ropes -- Immutable, Declarative Arrays with Parallelizable Operations
Vinay SettySetty, Vinay MPI Saarbrücken Publicity Chair in Organizing Committee for DEBS 2017
Peter SewellSewell, Peter University of Cambridge Committee Member in External Program Committee for PLDI 2017
Klaus SeyerlehnerSeyerlehner, Klaus Primetals Technologies Austria GmbH An Event-based Capture-and-Compare Approach to Support the Evolution of Systems of Systems. (Experience Paper)
Edwin ShaSha, Edwin Chongqing University Optimal Functional Unit Assignment and Voltage Selection for Pipelined MPSoC with Guaranteed Probability on Time Performance
Rohin ShahShah, Rohin University of California, Berkeley Automated Incrementalization through Synthesis Committee Member in Program Committee within the IC-track
Siraj Ahmed ShaikhShaikh, Siraj Ahmed Coventry University, Coventry, UK Software Model Checking: A Promising Approach to Verify Mobile App Security
Rian ShambaughShambaugh, Rian University of Massachusetts AmherstUnited States Committee Member in Artifact Evaluation Committee for PLDI 2017
Zhong ShaoShao, Zhong Yale University Committee Member in External Program Committee for PLDI 2017 Session Chair of Academic crypto projects; industry perspective on formal-methods integration (part of DSW) CertiKOS: A Breakthrough toward Hacker-Resistant Operating Systems
Zili ShaoShao, Zili The Hong Kong Polytechnic UniversityHong Kong Program Chair in Organizing Committee for LCTES 2017 Session Chair of Keynote 1 (part of LCTES )
Rahul SharmaSharma, Rahul Microsoft ResearchIndia Committee Member in External Review Committee for PLDI 2017 Synthesizing Program Input Grammars
Mary SheeranSheeran, Mary Committee Member in Program Committee within the ARRAY-track
Xipeng ShenShen, Xipeng North Carolina State UniversityChina Bridging the Gap between Memory Performance and Massive Parallelism: The Critical Role of Programming Systems Innovations Generalizations of the Theory and Deployment of Triangular Inequality for Compiler-Based Strength Reduction
Kyumars Sheykh EsmailiSheykh Esmaili, Kyumars Nokia Bell Labs Reflections on Almost Two Decades of Research into Stream Processing Kafka versus RabbitMQ. (Industry Paper) Demo: Building Connected Car Applications on Top of the World-Wide Streams Platform
August ShiShi, August University of Illinois at Urbana-Champaign Committee Member in Artifact Evaluation Committee for PLDI 2017
Yangqingwei ShiShi, Yangqingwei Peking University A Capability-Based Module System for Authority Control
Suchul ShinShin, Suchul Netcoretech Inc. Poster: Multilateral Context Analysis based on the Novel Visualization of Network Tomography
Sharon ShohamShoham, Sharon Tel Aviv universityIsrael Committee Member in Program Committee for PLDI 2017
Ali ShokerShoker, Ali HASLab/INESC TEC & University of MinhoPortugal There are no BFT Fans Anymore... About Secure Eventual Consistency Committee Member in Program Committee within the PMLDC-track
Tatiana ShpeismanShpeisman, Tatiana Intel LabsUnited States Introduction and Welcome Concluding Remarks Parallelizing Julia with a Non-invasive DSL General Chair in Organizing Committee within the MAPL-track Committee Member in Program Committee within the MAPL-track
Jiwu ShuShu, Jiwu Tsinghua University Committee Member in Program Committee for LCTES 2017
Wolfram ShulteShulte, Wolfram Facebook Challenges to Achieving High Availability at Scale
Xujie SiSi, Xujie Combining the Logical and the Probabilistic in Program Analysis
Mihaela SighireanuSighireanu, Mihaela IRIF, University Paris Diderot and CNRS, France A Refinement Hierarchy for Free List Memory Allocators
Julien SignolesSignoles, Julien CEA LIST Shadow State Encoding for Efficient Monitoring of Block-level Properties
Sourav SikdarSikdar, Sourav Rice University Real-time High Performance Anomaly Detection over Data Streams
Alexandra SilvaSilva, Alexandra