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

Affiliation

Name

Results (1034)

Todd A. Anderson Author of Parallelizing Julia with a Non-invasive DSL within the ECOOP Research Papers-track in ECOOP 2017
Martin Abadi Google Author of A Computational Model for TensorFlow (An Introduction) within the MAPL 2017-track in MAPL 2017 Author of PLDI Keynote - TensorFlow considered as a programming language within the Curry On Keynotes-track in CurryOn 2017 Keynote Speaker of TensorFlow considered as a programming language within the PLDI Invited Speakers-track in PLDI 2017
Martín Abadi Google Author of Machine learning systems with privacy and for privacy: TensorFlow & PATE-G within the Curry On Talks-track in CurryOn 2017
Moez A. AbdelGawad Informatics Research Institute, SRTA-City, Alexandria, Egypt Author of Towards a Java Subtyping Operad within the FTfJP 2017-track in FTfJP 2017
Majd Abdo University of Stuttgart Author of StreamLearner – Distributed Incremental Machine Learning on Event Streams within the DEBS Grand Challenge-track in DEBS 2017
Parosh Aziz Abdulla Uppsala University, Sweden Sweden Author of Flatten and Conquer (A Framework for Efficient Analysis of String Constraints) within the PLDI Research Papers-track in PLDI 2017
Umut Acar Carnegie Mellon University Author of Responsive Parallel Computation: Bridging Competitive and Cooperative Threading within the PLDI Research Papers-track in PLDI 2017
Aravind Acharya Indian Institute of Science, Bangalore Committee Member in Artifact Evaluation Committee for PLDI 2017
Sara Achour MIT United States Committee Member in External Review Committee for PLDI 2017
Lorenzo Affetti Politecnico di Milano Author of FlowDB: Integrating Stream Processing and Consistent State Management. (Research Paper) within the DEBS Research Papers-track in DEBS 2017 Author of Consistent Stream Processing within the DEBS Doctoral Symposium-track in DEBS 2017
Edward Aftandilian Google United States Committee Member in Program Committee for PLDI 2017
Maaz Bin Safeer Ahmad UW / CSE Author of Gradual Synthesis for Static Parallelization within the PLDI Research Papers-track in PLDI 2017
Amal Ahmed Northeastern University, USA United States Speaker of Compiler Verification for a Multi-Language World within the ECOOP Summer School-track in ECOOP 2017 Author of FunTAL: Reasonably Mixing a Functional Language with Assembly within the PLDI Research Papers-track in PLDI 2017 Speaker in Speakers within the ECOOP Summer School-track Committee Member in Mentors within the ECOOP Summer School-track
Wolfgang Ahrendt Chalmers University of Technology Sweden Committee Member in Program Committee within the VORTEX-track
Alex Aiken Stanford University Author of Synthesizing Program Input Grammars within the PLDI Research Papers-track in PLDI 2017
Adil Akhter ING Author of Orchestrate ING with Petri Net within the Curry On Talks-track in CurryOn 2017
Deepthi Devaki Akkoorath Author of Multi-view data types for scalable concurrency in the multi-core era within the PMLDC 2017-track in PMLDC 2017
Prabhash Akmeemana WSO2 Inc. Author of Demo: Solution Recommender for System Failure Recovery via Log Event Pattern Matching on a Knowledge Graph within the DEBS Posters & Demos-track in DEBS 2017
Nihla Akram WSO2 Inc. Author of Anomaly Detection of Manufacturing Equipment via High Performance RDF Data Stream Processing within the DEBS Grand Challenge-track in DEBS 2017
Aws Albarghouthi University of Wisconsin - Madison Committee Member in External Review Committee for PLDI 2017
Jonathan Aldrich Carnegie Mellon University United States Author of A Capability-Based Module System for Authority Control within the ECOOP Research Papers-track in ECOOP 2017 Committee Member in Mentors within the ECOOP Summer School-track
Elias Alevizos NCSR Demokritos, Institute of Informatics and Telecommunications Author of Event Forecasting with Pattern Markov Chains. (Research Paper) within the DEBS Research Papers-track in DEBS 2017
Cyril Alias Department of Transport Systems and Logistics, University of Duisburg-Essen Author of Poster: The Requirements Engineering Perspective on Events in Cyber-Physical Systems within the DEBS Posters & Demos-track in DEBS 2017
Karim Ali University of Alberta Author of WALA Hack-A-Thon within the PLDI Tutorials-track in PLDI 2017 Committee Member in Organizing Committee within the SOAP-track
Mark Allen Alert Logic Author of The Sharp Edges of Leaky Abstraction within the Curry On Talks-track in CurryOn 2017
Rajeev Alur University of Pennsylvania Author of StreamQRE: Modular Specification and Efficient Evaluation of Quantitative Queries over Streaming Data within the PLDI Research Papers-track in PLDI 2017
Ciprian Amariei Alexandru Ioan Cuza University of Iasi Author of Optimized Stage Processing for Anomaly Detection on Numerical Data Streams within the DEBS Grand Challenge-track in DEBS 2017
Nada Amin EPFL Switzerland Committee Member in External Review Committee for PLDI 2017 Committee Member in Program Committee within the FTfJP-track
Moussa Amrani University of Namur Author of Formal Analysis of Object-Oriented Mograms within the FTfJP 2017-track in FTfJP 2017
Davide Ancona University of Genova Italy Author of Parametric trace expressions for runtime verification of Java-like programs within the FTfJP 2017-track in FTfJP 2017 Co-chair in Organizing Committee within the VORTEX-track Co-chair in Program Committee within the VORTEX-track
Paul Anderson University of Edinburgh Author of μPuppet: A Declarative Subset of the Puppet Configuration Language within the ECOOP Research Papers-track in ECOOP 2017
Esben Andreasen Aarhus University Denmark Author of Systematic Approaches for Increasing Soundness and Precision of Static Analyzers within the SOAP-track in SOAP 2017
Benjamin Andreassen Norwegian University of Science and Technology Author of Efficient Array Slicing on the Intel Xeon Phi Coprocessor within the ARRAY 2017-track in ARRAY 2017
Tony Antoniadis Author of Porting Doop to Soufflé: A Tale of Inter-Engine Portability for Datalog-Based Analyses within the SOAP-track in SOAP 2017
Aleksandar Antonic University of Zagreb Author of Modeling Aggregate Input Load of Interoperable Smart City Services. (New Direction Paper) within the DEBS Research Papers-track in DEBS 2017
Timos Antonopoulos Yale University Author of Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels within the PLDI Research Papers-track in PLDI 2017
Kyoungho An RTI Author of An Autonomous and Dynamic Coordination and Discovery Service for Wide-Area Peer-to-peer Publish/Subscribe. (Experience Paper) within the DEBS Research Papers-track in DEBS 2017
Tomoyuki Aotani Tokyo Institute of Technology Author of Push-based Reactive Layer Activation in Context-Oriented Programming within the COP-17-track in COP 2017 Programme Committee in Program Committee within the COP-track
Andrew Appel Princeton Session Chair of Intro & industry perspective on crypto (part of DSW) Author of Verifying concurrent C programs with the Verified Software Toolchain within the DSW 2017-track in DSW 2017
Zena M. Ariola University of Oregon, USA Author of Compiling without continuations within the PLDI Research Papers-track in PLDI 2017
Alexander Artikis University of Pireaus and NCSR "Demokritos" Author of Complex Event Recognition Languages within the DEBS Tutorials-track in DEBS 2017 Author of Event Forecasting with Pattern Markov Chains. (Research Paper) within the DEBS Research Papers-track in DEBS 2017 Author of Demo: Demonstration of a Prototype for Credit Card Fraud Management within the DEBS Posters & Demos-track in DEBS 2017 Author of A Prototype for Credit Card Fraud Management. (Industry Paper) within the DEBS Research Papers-track in DEBS 2017
Irina Asavoae INRIA, Paris, France Author of Software Model Checking: A Promising Approach to Verify Mobile App Security within the FTfJP 2017-track in FTfJP 2017
Asra Aslam The Insight Centre for Data Analytics, NUI Galway, Ireland Author of Poster: Challenges with Image Event Processing within the DEBS Posters & Demos-track in DEBS 2017
Mohamed Faouzi Atig Uppsala University Sweden Author of Flatten and Conquer (A Framework for Efficient Analysis of String Constraints) within the PLDI Research Papers-track in PLDI 2017
Neil Audsley University of York, UK Committee Member in Program Committee for LCTES 2017
David B. Whalley Committee Member in Steering Committee for LCTES 2017
Chris Baber The University of Birmingham Author of Demo: Demonstration of a Prototype for Credit Card Fraud Management within the DEBS Posters & Demos-track in DEBS 2017 Author of A Prototype for Credit Card Fraud Management. (Industry Paper) within the DEBS Research Papers-track in DEBS 2017
David F. Bacon Google United 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 Bagge University of Bergen Norway Author of Towards Reasonable Ownership within the IWACO 2017-track in IWACO 2017
Youssef El Bakouny CIMTI - ESIB - Saint-Joseph University - Beirut, Lebanon Lebanon Author of A Coq-based synthesis of Scala programs which are correct-by-construction within the FTfJP 2017-track in FTfJP 2017
Márton Balassi Hungarian Academy of Sciences Author of Code Generation in Serializers and Comparators of Apache Flink within the ICOOOLPS 2017-track in ICOOOLPS 2017
Rajeev Balasubramonian Committee Member in External Review Committee within the ISMM -track
George Balatsouras University of Athens Author of A Datalog Model of Must-Alias Analysis within the SOAP-track in SOAP 2017
Alexander Balogh University of Stuttgart Author of Addressing TCAM Limitations of Software-Defined Networks for Content-Based Routing. (Research Paper) within the DEBS Research Papers-track in DEBS 2017
Upul Bandara WSO2 Inc. Author of Anomaly Detection of Manufacturing Equipment via High Performance RDF Data Stream Processing within the DEBS Grand Challenge-track in DEBS 2017
Anindya Banerjee IMDEA Software Institute Author of Concurrent Data Structures Linked in Time within the ECOOP Research Papers-track in ECOOP 2017
Carlos Baquero HASLab/INESC TEC & University of Minho Portugal Author of Multi-view data types for scalable concurrency in the multi-core era within the PMLDC 2017-track in PMLDC 2017 Author of The Single-Writer Principle in CRDT Composition within the PMLDC 2017-track in PMLDC 2017 Committee Member in Program Committee within the PMLDC-track
Rajkishore Barik Intel Labs Committee Member in Organizing Committee within the MAPL-track Committee Member in Program Committee within the MAPL-track
Edd Barrett King's College London United Kingdom Session Chair of Afternoon I (part of ICOOOLPS) Panelist of Panel: Do new Computing Environments lead to new Language Constructs? within the ICOOOLPS 2017-track in ICOOOLPS 2017 Committee Member in Program Committee within the ICOOOLPS-track
Alexandre Bartel University of Luxembourg Committee Member in Program Committee within the FTfJP-track
Ezio Bartocci Technische Universität Wien Committee Member in Program Committee within the VORTEX-track
Osbert Bastani Stanford University Author of Synthesizing Program Input Grammars within the PLDI Research Papers-track in PLDI 2017
JF Bastien Apple Author of Bringing the Web up to Speed with WebAssembly within the PLDI Research Papers-track in PLDI 2017
Mark Batty University of Kent United Kingdom Committee Member in Program Committee within the ECOOP Research Papers-track
Ryan Beckett Princeton University Author of Network Configuration Synthesis with Abstract Topologies within the PLDI Research Papers-track in PLDI 2017
Andi Bejleri TU Darmstadt, Germany Author of A Co-contextual Type Checker for Featherweight Java within the ECOOP Research Papers-track in ECOOP 2017
Marco Bekooij NXP-semiconductors, Netherlands Committee Member in Program Committee for LCTES 2017
Julia Belyakova Southern Federal University Russia Author of Generic Approach to Certified Static Checking of Module-like Constructs within the FTfJP 2017-track in FTfJP 2017 Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Emery Berger University of Massachusetts, Amherst United 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 Berger Session Chair of C (part of FTfJP) Author of Modelling homogeneous generative meta-programming within the ECOOP Research Papers-track in ECOOP 2017
Lennart Beringer Princeton University United States Session Chair of Academic hypervisor project; closing discussion (part of DSW) Author of Introduction to verification using the VST within the DSW 2017-track in DSW 2017 Author of Introduction to DeepSpec within the DSW 2017-track in DSW 2017 Committee Member in Organizing Committee within the DSW-track
Pramod Bhatotia University of Edinburgh Committee Member in Program Committee within the IC-track
Sukanya Bhowmik University of Stuttgart Author of Addressing TCAM Limitations of Software-Defined Networks for Content-Based Routing. (Research Paper) within the DEBS Research Papers-track in DEBS 2017
Annette Bieniusa Technischen Universität Kaiserslautern Germany Author of Multi-view data types for scalable concurrency in the multi-core era within the PMLDC 2017-track in PMLDC 2017 Committee Member in Program Committee within the PMLDC-track
Paolo Bientinesi Author of HPTT: A High-Performance Tensor Transposition C++ Library within the ARRAY 2017-track in ARRAY 2017 Committee Member in Program Committee within the ARRAY-track
Florian Biermann IT University of Copenhagen Denmark Author of Quad Ropes -- Immutable, Declarative Arrays with Parallelizable Operations within the ARRAY 2017-track in ARRAY 2017
Marina Billes TU Darmstadt Author of Systematic Black-Box Analysis of Collaborative Web Applications within the PLDI Research Papers-track in PLDI 2017
Walter Binder University of Lugano Author of An Empirical Study on Deoptimization in the Graal Compiler within the ECOOP Research Papers-track in ECOOP 2017
Swarnendu Biswas University of Texas at Austin United States Author of Avoiding Consistency Exceptions Under Strong Memory Consistency Models within the ISMM 2017-track in ISMM 2017 Committee Member in Program Committee within the ISMM -track
Steve Blackburn 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 ) Panelist of Panel: Do new Computing Environments lead to new Language Constructs? within the ICOOOLPS 2017-track in ICOOOLPS 2017
Sam Blackshear Facebook United States Tutorial organizer of Building your own modular static analyzer with Facebook Infer within the PLDI Tutorials-track in PLDI 2017 Committee Member in Program Committee within the FTfJP-track
Sandrine Blazy University of Rennes 1, France France Committee Member in SRC Panel for PLDI 2017
Ben Blum Carnegie Mellon University Committee Member in Artifact Evaluation Committee for PLDI 2017
Rastislav Bodik University of Washington Author of Automated Incrementalization through Synthesis within the IC 2017-track in IC 2017 Author of Gradual Synthesis for Static Parallelization within the PLDI Research Papers-track in PLDI 2017 Author of Synthesizing Highly Expressive SQL Queries from Input-Output Examples within the PLDI Research Papers-track in PLDI 2017
Hans-J. Boehm Google Committee Member in External Program Committee for PLDI 2017
Kavoos Bojnourdi EDF Lab Author of Portable Vectorization and Parallelization of C++ Multi-Dimensional Array Computations within the ARRAY 2017-track in ARRAY 2017
Uday Bondhugula Indian Institute of Science India Committee Member in Program Committee for PLDI 2017 Session Chair of Compiler Optimizations (part of PLDI Research Papers)
Michael Bond 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 ) Author of Avoiding Consistency Exceptions Under Strong Memory Consistency Models within the ISMM 2017-track in ISMM 2017 Committee Member in External Review Committee within the ISMM -track
Renzo Borgatti Mailonline Author of Clojure Transducers In The Wild within the Curry On Talks-track in CurryOn 2017
James Bornholt University of Washington United States Committee Member in External Review Committee for PLDI 2017 Author of Synthesizing Memory Models from Framework Sketches and Litmus Tests within the PLDI Research Papers-track in PLDI 2017
Ashkan Forouhi Boroujeni University of Wisconsin-Madison Author of Compositional Recurrence Analysis Revisited within the PLDI Research Papers-track in PLDI 2017
Ahmed Bouajjani IRIF, Université Paris Diderot France Committee Member in External Program Committee for PLDI 2017
Jalil Boukhobza University of Occidental Brittary, France France Committee Member in Program Committee for LCTES 2017
Timothy Bourke INRIA France Committee Member in SRC Panel for PLDI 2017 Author of A Formally Verified Compiler for Lustre within the PLDI Research Papers-track in PLDI 2017
Gilad Bracha Google Israel Author of Composing Software in an Age of Dissonance within the ECOOP Invited Speakers-track in ECOOP 2017
Premek Brada University of West Bohemia Author of Contracts in the Wild: A Study of Java Programs within the ECOOP Research Papers-track in ECOOP 2017
Stephan Brandauer Uppsala University Sweden Author of Spencer: Tracing as a Service within the IWACO 2017-track in IWACO 2017 Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
José Brandão Author of Multi-view data types for scalable concurrency in the multi-core era within the PMLDC 2017-track in PMLDC 2017
Oliver Bračevac TU Darmstadt Germany Author of A Co-contextual Type Checker for Featherweight Java within the ECOOP Research Papers-track in ECOOP 2017
Jason Breck University of Wisconsin-Madison Author of Compositional Recurrence Analysis Revisited within the PLDI Research Papers-track in PLDI 2017
Andrey Breslav JetBrains Russia Speaker of Kotlin: the ins and outs of designing a commercial language within the ECOOP Summer School-track in ECOOP 2017 Speaker in Speakers within the ECOOP Summer School-track
Frederik Brix University of Basel Author of Demo: Real-Time Football Analysis with StreamTeam within the DEBS Posters & Demos-track in DEBS 2017
Alexander L. Brooks University of Wisconsin, Madison Author of Control-Flow Recovery from Partial Failure Reports within the PLDI Research Papers-track in PLDI 2017
Rodrigo Bruno INESC-ID / Instituto Superior Técnico, University of Lisbon Author of NG2C: Pretenuring Garbage Collection with Dynamic Generations for HotSpot Big Data Applications within the ISMM 2017-track in ISMM 2017
Lélio Brun ENS/Inria France Author of A Formally Verified Compiler for Lustre within the PLDI Research Papers-track in PLDI 2017
Phi-Diep Bui Uppsala University Sweden Author of Flatten and Conquer (A Framework for Efficient Analysis of String Constraints) within the PLDI Research Papers-track in PLDI 2017
Lubomír Bulej Charles University Czech Republic Author of An Empirical Study on Deoptimization in the Graal Compiler within the ECOOP Research Papers-track in ECOOP 2017
Aydin Buluc Lawrence Berkeley National Laboratory Committee Member in Program Committee within the ARRAY-track
Sebastian Burckhardt Microsoft Research Switzerland Committee Member in External Review Committee for PLDI 2017 Committee Member in Program Committee within the ECOOP Research Papers-track
Bernd Burgstaller Yonsei University, Korea Committee Member in Program Committee for LCTES 2017
Yann Busnel IMT Atlantique Author of FlinkMan – Anomaly Detection in Manufacturing Equipment with Apache Flink within the DEBS Grand Challenge-track in DEBS 2017
Jordi Cabot ICREA - UOC Summer School Chair in Organizing Committee for ECOOP 2017 Co-chair in Organizers within the ECOOP Summer School-track
Anthony Canino SUNY Binghamton Author of Proactive and Adaptive Energy-Aware Programming with Mixed Typechecking within the PLDI Research Papers-track in PLDI 2017
Michael Carbin MIT United States Committee Member in External Review Committee for PLDI 2017 Organizer in Mentors within the PLMW-track
João M. P. Cardoso University of Porto, Portugal Committee Member in Program Committee for LCTES 2017
Nicolás Cardozo Universidad de los Andes Colombia Author of Peace COrP: Learning to solve conflicts between contexts within the COP-17-track in COP 2017 Programme Committee in Program Committee within the COP-track
Calin Cascaval Barefoot Networks Tutorial organizer of P4: Programming the Network Data Plane within the PLDI Tutorials-track in PLDI 2017
Elias Castegren Uppsala University Author of Relaxed Linear References for Lock-free Programming within the ECOOP Research Papers-track in ECOOP 2017 Co-chair in Organizing Committee within the IWACO-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Benoît Caudesaygues Author of Loosely Coupled Approach for Web-Based Collaborative 3D Design within the DEBS Doctoral Symposium-track in DEBS 2017
Walter Cazzola Università degli Studi di Milano Italy Programme Committee in Program Committee within the COP-track
Aleksandar Chakarov University of Colorado Boulder United States Committee Member in External Review Committee for PLDI 2017
Manuel Chakravarty Author of Haskell SpriteKit - A Case Study in Turning a Stateful into a Purely Functional API within the Curry On Talks-track in CurryOn 2017
Buddhika Chamith Indiana University United States Author of Compiling tree transforms to operate on packed representations within the ECOOP Research Papers-track in ECOOP 2017 Author of Instruction Punning: Lightweight Instrumentation for x86-64 within the PLDI Research Papers-track in PLDI 2017
Van Chan Ngo Carnegie Mellon University United States Committee Member in Artifact Evaluation Committee for PLDI 2017
Mani Chandy Caltech PC Chairs in Organizing Committee for DEBS 2017
Li-Pin Chang National Chiao-Tung University, Taiwan Committee Member in Program Committee for LCTES 2017
Yuan-Hao (Johnson) Chang Institute of Information Science, Academia Sinica Committee Member in Program Committee for LCTES 2017
Bor-Yuh Evan Chang 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
Guido Chari University of Buenos Aires, Argentina Argentina Author of A Metaobject Protocol for Optimizing Application-Specific Run-Time Variability within the ICOOOLPS 2017-track in ICOOOLPS 2017
Swarat Chaudhuri Rice University Committee Member in Program Committee for PLDI 2017 Session Chair of Learning and Probabilistic (part of PLDI Research Papers) Author of Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples within the PLDI Research Papers-track in PLDI 2017
Avik Chaudhuri Facebook Author of Flow Reloaded: New Challenges and New Opportunities within the Curry On Talks-track in CurryOn 2017
James Cheney University of Edinburgh, UK United States Author of Incremental Relational Lenses within the IC 2017-track in IC 2017 Author of μPuppet: A Declarative Subset of the Puppet Configuration Language within the ECOOP Research Papers-track in ECOOP 2017
Perry Cheng IBM Research Committee Member in Steering Committee for ISMM 2017 Committee Member in Program Committee within the ISMM -track
Yu-Fang Chen Author of Flatten and Conquer (A Framework for Efficient Analysis of String Constraints) within the PLDI Research Papers-track in PLDI 2017
Hanfeng Chen McGill University Canada Author of An ELI-to-C Compiler: Design, Implementation and Performance within the ARRAY 2017-track in ARRAY 2017
Xianzhang Chen Chongqing University Author of Optimal Functional Unit Assignment and Voltage Selection for Pipelined MPSoC with Guaranteed Probability on Time Performance within the LCTES 2017-track in LCTES 2017
Yiran Chen University of Pittsburgh Author of A Lightweight Progress Maximization Scheduler for Non-Volatile Processor Under Unstable Energy Harvesting within the LCTES 2017-track in LCTES 2017
Guoyang Chen Qualcomm United States Committee Member in External Review Committee within the ISMM -track
Alvin Cheung University of Washington Committee Member in Program Committee for PLDI 2017 Session Chair of Verified Computation (part of PLDI Research Papers) Author of Synthesizing Highly Expressive SQL Queries from Input-Output Examples within the PLDI Research Papers-track in PLDI 2017 Author of HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics within the PLDI Research Papers-track in PLDI 2017
Maxime Chevalier-Boisvert Committee Member in Program Committee within the ICOOOLPS-track
Wai-Mee Ching Author of An ELI-to-C Compiler: Design, Implementation and Performance within the ARRAY 2017-track in ARRAY 2017
Adam Chlipala Massachusetts Institute of Technology, USA United States Committee Member in External Review Committee for PLDI 2017 Session Chair of Academic C-verification project; industry perspective on hypervisors (part of DSW) Author of Correct-by-Construction Generation of Fast Code for Elliptic Curves within the DSW 2017-track in DSW 2017 Author of Introduction to DeepSpec within the DSW 2017-track in DSW 2017 Committee Member in Organizing Committee within the DSW-track
Yongjun Choi Hongik University Author of Poster: Multilateral Context Analysis based on the Novel Visualization of Network Tomography within the DEBS Posters & Demos-track in DEBS 2017
Joong-Hyun Choi Chungnam National Univ. Author of Runtime Anomaly Detection Method in Smart Factories using Machine Learning on RDF Event Streams within the DEBS Grand Challenge-track in DEBS 2017
Stephen Chong Harvard University, USA Organizer in Mentors within the PLMW-track
Eun-Sun Cho Chungnam National University, Korea Author of Runtime Anomaly Detection Method in Smart Factories using Machine Learning on RDF Event Streams within the DEBS Grand Challenge-track in DEBS 2017
Maria Christakis MPI-SWS, Germany Greece Committee Member in External Review Committee for PLDI 2017 Committee Member in Program Committee within the ECOOP Research Papers-track
Jan Christian Norwegian University of Science and Technology Author of Efficient Array Slicing on the Intel Xeon Phi Coprocessor within the ARRAY 2017-track in ARRAY 2017
Ravi Chugh University of Chicago Committee Member in Program Committee for PLDI 2017
Shumo Chu University of Washington, USA China Committee Member in Artifact Evaluation Committee for PLDI 2017 Author of HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics within the PLDI Research Papers-track in PLDI 2017
Pietro Cicotti San Diego Supercomputer Center Author of RTHMS: A Tool for Data Placement on Hybrid Memory System within the ISMM 2017-track in ISMM 2017
Cristina Cifuentes Oracle Labs Australia Committee Member in Organizing Committee within the SOAP-track
Kevin Clancy Author of Monotonicity Types for Distributed Dataflow within the PMLDC 2017-track in PMLDC 2017
Robert Clarisó Universitat Oberta de Catalunya Spain Student Volunteer Co-Chair in Organizing Committee for PLDI 2017 Student Volunteer Chair in Organizing Committee for ECOOP 2017
Dave Clarke Uppsala Univ. Sweden and KU Leuvern Programme Committee in Program Committee within the COP-track
Sylvan Clebsch Imperial College London Author of Reference Capabilities in Practice: Examining Real-World Pony Code within the IWACO 2017-track in IWACO 2017 Author of We Software People are not Worthy - All Hail the Hardware Gods within the ICOOOLPS 2017-track in ICOOOLPS 2017 Author of Pony: 714 Days Later within the Curry On Talks-track in CurryOn 2017
Richard Clegg Queen Mary University London Author of Demo: Raphtory: Decentralised Streaming for Temporal Graphs within the DEBS Posters & Demos-track in DEBS 2017 Author of Raphtory: Decentralised Streaming for Temporal Graphs within the DEBS Doctoral Symposium-track in DEBS 2017
Albert Cohen INRIA France 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) Author of Closing within the PLDI Research Papers-track in PLDI 2017
Alexei Colin Carnegie Mellon University Committee Member in Artifact Evaluation Committee for PLDI 2017
Ivo Correia Feedzai Author of Demo: Demonstration of a Prototype for Credit Card Fraud Management within the DEBS Posters & Demos-track in DEBS 2017 Author of A Prototype for Credit Card Fraud Management. (Industry Paper) within the DEBS Research Papers-track in DEBS 2017
Mauricio Cortes Nokia Bell Labs Author of Demo: Building Connected Car Applications on Top of the World-Wide Streams Platform within the DEBS Posters & Demos-track in DEBS 2017
Manuel Costa Microsoft Research Author of Simple, fast and safe manual memory management within the PLDI Research Papers-track in PLDI 2017
Silvia Crafa University of Padova Italy Publicity Chair in Organizing Committee for ECOOP 2017
John Criswell University of Rochester Author of Flexible and Efficient Memory Object Metadata within the ISMM 2017-track in ISMM 2017
Tristan Crolard CEDRIC - CNAM - Paris, France Author of A Coq-based synthesis of Scala programs which are correct-by-construction within the FTfJP 2017-track in FTfJP 2017
Raimil Cruz University of Chile Chile Author of Type Abstraction for Relaxed Noninterference within the ECOOP Research Papers-track in ECOOP 2017 Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Felix Cuadrado Queen Mary University London Author of Demo: Raphtory: Decentralised Streaming for Temporal Graphs within the DEBS Posters & Demos-track in DEBS 2017
Félix Cuadrado Queen Mary University of London Author of Raphtory: Decentralised Streaming for Temporal Graphs within the DEBS Doctoral Symposium-track in DEBS 2017
Gianpaolo Cugola Politecnico di Milano Author of FlowDB: Integrating Stream Processing and Consistent State Management. (Research Paper) within the DEBS Research Papers-track in DEBS 2017
Edward Curry Insight Centre for Data Analytics NUIG Author of Poster: Challenges with Image Event Processing within the DEBS Posters & Demos-track in DEBS 2017 Author of Automatic Anomaly Detection over Sliding Windows within the DEBS Grand Challenge-track in DEBS 2017 Author of The Event Crowd: A Novel Approach for Crowd-Enabled Event Processing. (New Direction Paper) within the DEBS Research Papers-track in DEBS 2017
Javier Luis Cánovas Izquierdo IN3 - UOC Spain Web Chair in Organizing Committee for PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM Web Chair in Organizing Committee for ECOOP 2017
Loris D'Antoni University of Wisconsin–Madison Italy Session Chair of Static Analysis (part of PLDI Research Papers) Author of Automatic Program Inversion using Symbolic Transducers within the PLDI Research Papers-track in PLDI 2017 Author of Control-Flow Recovery from Partial Failure Reports within the PLDI Research Papers-track in PLDI 2017
Pierre-Evariste Dagand LIP6/CNRS France Author of A Formally Verified Compiler for Lustre within the PLDI Research Papers-track in PLDI 2017
Brandon Dail Formidable Labs Author of Building Web Apps with Reason within the Curry On Talks-track in CurryOn 2017
Luke Dalessandro Indiana University Author of Instruction Punning: Lightweight Instrumentation for x86-64 within the PLDI Research Papers-track in PLDI 2017
Hoang-Hai Dang MPI-SWS Author of Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris within the ECOOP Research Papers-track in ECOOP 2017
Jonas Dann SAP SE Author of Hardware Accelerated Application Integration Processing. (Industry Paper) within the DEBS Research Papers-track in DEBS 2017
David Darais University of Maryland, USA United 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 Dardha University of Glasgow Author of A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming within the ECOOP Research Papers-track in ECOOP 2017
Eva Darulova MPI-SWS Germany Committee Member in External Review Committee for PLDI 2017
Mohammad Dashti University of British Columbia Author of Analyzing Memory Management Methods on Integrated CPU-GPU Systems within the ISMM 2017-track in ISMM 2017
Sanjoy Das Azul Systems Author of Taming Undefined Behavior in LLVM within the PLDI Research Papers-track in PLDI 2017
Yaniv David Technion Author of Similarity of Binaries through re-Optimization within the PLDI Research Papers-track in PLDI 2017
Miyuru Dayarathna WSO2 Inc. Author of Anomaly Detection of Manufacturing Equipment via High Performance RDF Data Stream Processing within the DEBS Grand Challenge-track in DEBS 2017 Author of Demo: Solution Recommender for System Failure Recovery via Log Event Pattern Matching on a Knowledge Graph within the DEBS Posters & Demos-track in DEBS 2017 Author of Demo: Scalable Complex Event Processing on a Notebook within the DEBS Posters & Demos-track in DEBS 2017
Laurent Daynes Committee Member in External Review Committee within the ISMM -track
Wolfgang De Meuter Vrije Universiteit Brussel Author of Mailbox Abstractions for Static Analysis of Actor Programs within the ECOOP Research Papers-track in ECOOP 2017
Coen De Roover Vrije Universiteit Brussel Belgium Author of Mailbox Abstractions for Static Analysis of Actor Programs within the ECOOP Research Papers-track in ECOOP 2017
Germán Andrés Delbianco IMDEA Software Institute Spain Author of Concurrent Data Structures Linked in Time within the ECOOP Research Papers-track in ECOOP 2017
Daniele Dell'Aglio IFI, University of Zurich Author of Using Rank Aggregation in Continuously Answering SPARQL Queries on Streaming and Quasi-static Linked Data. (Experience Paper) within the DEBS Research Papers-track in DEBS 2017
Luca Della Toffola ETH Zurich Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Emanuele Della Valle DEIB, Politecnico di Milano Author of Using Rank Aggregation in Continuously Answering SPARQL Queries on Streaming and Quasi-static Linked Data. (Experience Paper) within the DEBS Research Papers-track in DEBS 2017
Camil Demetrescu Sapienza University Rome Italy Committee Member in Program Committee within the IC-track
Caroline Desprat IRIT - University of Toulouse Author of Loosely Coupled Approach for Web-Based Collaborative 3D Design within the DEBS Doctoral Symposium-track in DEBS 2017
Joseph Devietti University of Pennsylvania Committee Member in Program Committee for PLDI 2017 Session Chair of Correctness (part of PLDI Research Papers) Author of BARRACUDA: Binary-level Analysis of Runtime RAces in CUDA programs within the PLDI Research Papers-track in PLDI 2017
Paul Diac Alexandru Ioan Cuza University of Iasi Author of Optimized Stage Processing for Anomaly Detection on Numerical Data Streams within the DEBS Grand Challenge-track in DEBS 2017
Werner Dietl University of Waterloo, Canada Canada Workshop Chair in Organizing Committee for ECOOP 2017 Committee member in Organizing Committee within the ECOOP Workshops-track
Christian Dietrich Author of OSEK-V: Application-Specific RTOS Instantiation in Hardware within the LCTES 2017-track in LCTES 2017
Jens Dietrich Massey University New Zealand Author of On the Construction of Soundness Oracles within the SOAP-track in SOAP 2017 Author of EvilPickles: DoS attacks based on Object-Graph Engineering within the ECOOP Research Papers-track in ECOOP 2017 Author of Contracts in the Wild: A Study of Java Programs within the ECOOP Research Papers-track in ECOOP 2017
Isil Dillig UT Austin Author of Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples within the PLDI Research Papers-track in PLDI 2017 Organizer in Mentors within the PLMW-track
Christos Dimoulas Harvard University, USA Author of FunTAL: Reasonably Mixing a Functional Language with Assembly within the PLDI Research Papers-track in PLDI 2017
Xianzhong Ding Shandong University Author of Unified nvTCAM and sTCAM Architecture for Improving Packet Matching Performance within the LCTES 2017-track in LCTES 2017
Yufei Ding North Carolina State University China Author of Generalizations of the Theory and Deployment of Triangular Inequality for Compiler-Based Strength Reduction within the PLDI Research Papers-track in PLDI 2017
Chen Ding University of Rochester Committee Member in Program Committee within the ISMM -track
Dino Distefano Facebook London Tutorial organizer of Building your own modular static analyzer with Facebook Infer within the PLDI Tutorials-track in PLDI 2017
Philippe Dobbelaere Nokia Bell Labs Belgium Author of Heads in the cloud, feet at the edge and forward we go - distributed computing in the age of connected everything. within the PMLDC 2017-track in PMLDC 2017 Author of Demo: Building Connected Car Applications on Top of the World-Wide Streams Platform within the DEBS Posters & Demos-track in DEBS 2017 Author of Kafka versus RabbitMQ. (Industry Paper) within the DEBS Research Papers-track in DEBS 2017
Mike Dodds University of York Committee Member in Program Committee within the ECOOP Research Papers-track
Julian Dolby IBM Thomas J. Watson Research Center United States Session Chair of Morning (part of JSTools) Keynote Speaker of WALA Everywhere within the SOAP-track in SOAP 2017 Author of Invited Talk: The Story of WALA at Watson and Beyond within the ECOOP Doctoral Symposium-track in ECOOP 2017 Author of WALA Hack-A-Thon within the PLDI Tutorials-track in PLDI 2017 Organizer in Organizing Committee within the JSTools-track Committee member in Invited Speakers within the ECOOP Doctoral Symposium-track
Alastair Donaldson Imperial College London United Kingdom Committee Member in External Review Committee for PLDI 2017
Hailiang Dong Chongqing University Author of Optimal Functional Unit Assignment and Voltage Selection for Pipelined MPSoC with Guaranteed Probability on Time Performance within the LCTES 2017-track in LCTES 2017
Kshitij Doshi Intel Corporation Author of Continuous Checkpointing of HTM Transactions in NVM within the ISMM 2017-track in ISMM 2017
Paul Downen University of Oregon, USA Author of Compiling without continuations within the PLDI Research Papers-track in PLDI 2017
Goran Doychev IMDEA Software Institute Author of Rigorous Analysis of Software Countermeasures against Cache Attacks within the PLDI Research Papers-track in PLDI 2017
Dana Drachsler Cohen Technion Israel Committee Member in External Review Committee for PLDI 2017
Derek Dreyer MPI-SWS Author of Iris: A Modular Foundation for Higher-Order Concurrent Separation Logic (KEYNOTE) within the FTfJP 2017-track in FTfJP 2017 Author of Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris within the ECOOP Research Papers-track in ECOOP 2017 Author of Repairing Sequential Consistency in C/C++11 within the PLDI Research Papers-track in PLDI 2017
Sophia Drossopoulou 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ăgoi INRIA, ENS, CNRS France Committee Member in Program Committee for PLDI 2017
Gilles Duboscq Oracle Labs Switzerland Author of Practical Partial Evaluation for High-Performance Dynamic Language Runtimes within the PLDI Research Papers-track in PLDI 2017
Benoît Duhoux Université catholique de Louvain, Belgium Belgium Organizing Committee in Organizing Committee within the COP-track
Blair Durkee Clemson University Author of A Formalization IDE Integrated with a Verifying Compiler within the ICOOOLPS 2017-track in ICOOOLPS 2017
Ivana Dusparic Trinity College Dublin, Ireland Author of Peace COrP: Learning to solve conflicts between contexts within the COP-17-track in COP 2017
Sztefan Edwards nVisium LLC Author of On Being a type-heavy Scheme programer in InfoSec, or, how I learnt to hate everything & love better type systems within the Curry On Talks-track in CurryOn 2017
Michael Eichberg TU Darmstadt, Germany Author of Hermes: Assessment and Creation of Effective Test Corpora within the SOAP-track in SOAP 2017
Rudolf Eigenmann Purdue University Committee Member in Organizing Committee within the WCIRE-track
Richard A. Eisenberg Bryn Mawr College, USA United States Author of Levity Polymorphism within the PLDI Research Papers-track in PLDI 2017
Jason Eisner The Johns Hopkins University Author of Dyna: Toward a Self-Optimizing Declarative Language for Machine Learning Applications within the MAPL 2017-track in MAPL 2017
Ariel Eizenberg University of Pennsylvania Author of BARRACUDA: Binary-level Analysis of Runtime RAces in CUDA programs within the PLDI Research Papers-track in PLDI 2017
Joshua Ellul University of Malta Author of An Embedded DSL Framework for Distributed Embedded Systems within the DEBS Doctoral Symposium-track in DEBS 2017
Martin Elsman Department of Computer Science, University of Copenhagen Denmark Session Chair of Closing / Discussion (part of ARRAY) Session Chair of Morning talks 2 (part of ARRAY) Author of Futhark: Purely Functional GPU-programming with Nested Parallelism and In-place Array Updates within the PLDI Research Papers-track in PLDI 2017 Committee Member in Organizing Committee within the ARRAY-track Committee Member in Program Committee within the ARRAY-track
Vitor Enes Portugal Author of The Single-Writer Principle in CRDT Composition within the PMLDC 2017-track in PMLDC 2017
Benjamin Erb Ulm University, Germany Germany Author of Chronograph—A Distributed Processing Platform for Online and Batch Computations on Event-sourced Graphs. (Experience Paper) within the DEBS Research Papers-track in DEBS 2017
Sebastian Erdweg TU Delft Netherlands Author of IncAL: A DSL for Incremental Program Analysis with Lattices within the IC 2017-track in IC 2017 Author of Privacy-aware Distributed Incremental Computation within the IC 2017-track in IC 2017 Author of A Co-contextual Type Checker for Featherweight Java within the ECOOP Research Papers-track in ECOOP 2017 Committee Member in Organizing Committee within the IC-track
Stefano Ermon Stanford Committee Member in Organizing Committee within the MAPL-track Committee Member in Program Committee within the MAPL-track
Michael D. Ernst University of Washington, USA Author of Verifying invariants of lock-free data structures with rely-guarantee and refinement type within the PLDI Research Papers-track in PLDI 2017
Opher Etzion Yezreel Valley College Author of Human Body Related Event Processing within the DEBS Tutorials-track in DEBS 2017
Patrick Eugster Purdue University Committee Member in Program Committee within the ECOOP Research Papers-track
Sven Euting FZI Research Center for Information Technology Author of Considering Human Factors in the Development of Situation-Aware CEP Applications. (New Direction Paper) within the DEBS Research Papers-track in DEBS 2017
Dave Eyers University of Otago Tutorials Chair in Organizing Committee for DEBS 2017
Jonathan Eyolfson University of Waterloo Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Heiko Falk Ulm University, Germany Committee Member in Steering Committee for LCTES 2017
Bin Fang East China Normal University (China) and University Paris Diderot and CNRS (France) China Author of A Refinement Hierarchy for Free List Memory Allocators within the ISMM 2017-track in ISMM 2017
Azadeh Farzan University of Toronto Canada Author of Synthesis of Divide and Conquer Parallelism for Loops within the PLDI Research Papers-track in PLDI 2017
Alexandra (Sasha) Fedorova Simon Fraser University Author of Analyzing Memory Management Methods on Integrated CPU-GPU Systems within the ISMM 2017-track in ISMM 2017
Grigory Fedyukovich UW CSE Author of Gradual Synthesis for Static Parallelization within the PLDI Research Papers-track in PLDI 2017
Marc Feeley Université de Montréal Canada Author of Interprocedural Specialization of Higher-Order Dynamic Languages Without Static Analysis within the ECOOP Research Papers-track in ECOOP 2017
Pascal Felber Université de Neuchâtel Author of SecureStreams: A Reactive Middleware Framework for Secure Data Stream Processing. (Research Paper) within the DEBS Research Papers-track in DEBS 2017
Tim Felgentreff Hasso-Plattner-Institute, Potsdam Germany Author of VM Wrapping - Fake it till you make it within the ICOOOLPS 2017-track in ICOOOLPS 2017 Committee Member in Program Committee within the ICOOOLPS-track
Yu Feng University of Texas at Austin, USA China Author of Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples within the PLDI Research Papers-track in PLDI 2017
Kostas Ferles University of Texas at Austin, USA United States Author of A Datalog Model of Must-Alias Analysis within the SOAP-track in SOAP 2017
Seshika Fernando WSO2 Inc. Author of Anomaly Detection of Manufacturing Equipment via High Performance RDF Data Stream Processing within the DEBS Grand Challenge-track in DEBS 2017
Angelo Ferrando Author of Parametric trace expressions for runtime verification of Java-like programs within the FTfJP 2017-track in FTfJP 2017
Paulo Ferreira INESC-ID / Instituto Superior Técnico, University of Lisbon Portugal Author of NG2C: Pretenuring Garbage Collection with Dynamic Generations for HotSpot Big Data Applications within the ISMM 2017-track in ISMM 2017
Carla Ferreira Universidade Nova Lisboa Committee Member in Program Committee within the PMLDC-track
John Field Google United States Committee Member in External Review Committee for PLDI 2017
Nathaniel Wesley Filardo Author of Dyna: Toward a Self-Optimizing Declarative Language for Machine Learning Applications within the MAPL 2017-track in MAPL 2017
Sebastian Fischmeister University of Waterloo, Canada Committee Member in Steering Committee for LCTES 2017
Cormac Flanagan University of California, Santa Cruz Ireland Chair in Steering Committee for PLDI 2017 Author of Correctness of Partial Escape Analysis for Multithreading Optimization within the FTfJP 2017-track in FTfJP 2017 Author of BigFoot: Static Check Placement for Dynamic Race Detection within the PLDI Research Papers-track in PLDI 2017
Olivier Flückiger Northeastern University Student Volunteer Co-Chair in Organizing Committee for PLDI 2017
Chris Ford ThoughtWorks (UK) Ltd. Author of Computational Musicology, ????, Profit within the Curry On Talks-track in CurryOn 2017
Bryan Ford Swiss Federal Institute of Technology Lausanne (EPFL), Switzerland Switzerland Committee Member in External Review Committee for PLDI 2017
Jeffrey S. Foster University of Maryland, College Park United States Committee Member in Program Committee for PLDI 2017 Author of Learning a Classifier for False Positive Error Reports Emitted by Static Code Analysis Tools within the MAPL 2017-track in MAPL 2017
Nate Foster Cornell University United States Committee Member in External Program Committee for PLDI 2017 Tutorial organizer of P4: Programming the Network Data Plane within the PLDI Tutorials-track in PLDI 2017
Fabiana Fournier IBM Haifa Research Lab Author of Demo: Demonstration of a Prototype for Credit Card Fraud Management within the DEBS Posters & Demos-track in DEBS 2017 Author of A Prototype for Credit Card Fraud Management. (Industry Paper) within the DEBS Research Papers-track in DEBS 2017
Simon Fowler The University of Edinburgh United Kingdom Author of Mixing Metaphors: Actors as Channels and Channels as Actors within the ECOOP Research Papers-track in ECOOP 2017
Daniel Frampton Microsoft Committee Member in External Review Committee within the ISMM -track
Adrian Francalanza University of Malta Malta Committee Member in Program Committee within the VORTEX-track
Luca Franceschini DIBRIS, University of Genova, Italy Italy Author of Parametric trace expressions for runtime verification of Java-like programs within the FTfJP 2017-track in FTfJP 2017
Franz Franchetti Carnegie Mellon University Committee Member in Program Committee for PLDI 2017 Committee Member in Program Committee within the ARRAY-track
Matthew Francis-Landau The Johns Hopkins University Author of Dyna: Toward a Self-Optimizing Declarative Language for Machine Learning Applications within the MAPL 2017-track in MAPL 2017
Juliana Franco Imperial College London United Kingdom Co-chair in Organizing Committee within the IWACO-track Committee Member in Program Committee within the ICOOOLPS-track
Björn Franke University of Edinburgh Committee Member in Steering Committee for LCTES 2017
Stephen Freund Williams College United States Committee Member in External Program Committee for PLDI 2017 Panelist of Career paths in Computer Science within the PLMW-track in PLMW 2017 Author of Correctness of Partial Escape Analysis for Multithreading Optimization within the FTfJP 2017-track in FTfJP 2017 Author of BigFoot: Static Check Placement for Dynamic Race Detection within the PLDI Research Papers-track in PLDI 2017 Panelist in Mentors within the PLMW-track
Roy Friedman Technion - Israel institute of technology Session Chair of Session 4: Reliability and Security (part of DEBS Research Papers)
Akira Fukuda Kyushu University Author of IoT Robot Simulator and Framework for Context-Oriented Programming within the COP-17-track in COP 2017 Author of ContextROS: Context-Oriented Programming for the Robot Operating System within the COP-17-track in COP 2017
Weili Fu University of Edinburgh Author of μPuppet: A Declarative Subset of the Puppet Configuration Language within the ECOOP Research Papers-track in ECOOP 2017
Sheng-Yu Fu Author of Dynamic Translation of Structured Loads/Stores and Register Mapping for Architectures with SIMD Extensions within the LCTES 2017-track in LCTES 2017
Zhoulai Fu University of California, Davis Committee Member in Artifact Evaluation Committee for PLDI 2017 Author of Achieving High Coverage for Floating-point Code via Unconstrained Programming within the PLDI Research Papers-track in PLDI 2017
Moshe Gabel Technion Author of One for All and All for One: Simultaneous Approximation of Multiple Functions over Distributed Streams. (Research Paper) within the DEBS Research Papers-track in DEBS 2017
Avigdor Gal Technion - Israel Institute of Technology Author of FlinkMan – Anomaly Detection in Manufacturing Equipment with Apache Flink within the DEBS Grand Challenge-track in DEBS 2017 Author of Demo: REMI, Reusable Elements for Multi-Level Information Availability within the DEBS Posters & Demos-track in DEBS 2017
Vijay Ganesh University of Waterloo Canada Committee Member in External Review Committee for PLDI 2017
Zheng Gao Author of To Type or Not to Type: Quantifying Detectable Bugs in JavaScript within the JSTools 2017-track in JSTools 2017
Diego Garbervetsky University of Buenos Aires, Argentina Argentina Author of A Metaobject Protocol for Optimizing Application-Specific Run-Time Variability within the ICOOOLPS 2017-track in ICOOOLPS 2017
Jim Garside University of Manchester Author of Low Overhead Dynamic Binary Translation on ARM within the PLDI Research Papers-track in PLDI 2017
François Gauthier Oracle Labs Australia Committee Member in Program Committee within the SOAP-track
Paul Gazzillo Yale University United States Author of Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels within the PLDI Research Papers-track in PLDI 2017
Buğra Gedik Bilkent University Doctoral Symposium Chair in Organizing Committee for DEBS 2017
Soheil Ghiasi UC Davis, USA Committee Member in Program Committee for LCTES 2017
Paola Giannini Universita' del Piemonte Orientale Italy Author of Tracing sharing in an imperative pure calculus within the FTfJP 2017-track in FTfJP 2017
Jeremy Gibbons Department of Computer Science, University of Oxford United Kingdom Committee Member in Steering Committee for PLDI 2017 Author of Invited talk: APLicative Programming with Naperian Functors within the ARRAY 2017-track in ARRAY 2017 Author of Profunctor Optics: Modular Data Accessors within the Curry On Talks-track in CurryOn 2017
Ellis Giles Rice University Author of Continuous Checkpointing of HTM Transactions in NVM within the ISMM 2017-track in ISMM 2017
Roberto Gioiosa Pacific Northwest National Laboratory Author of RTHMS: A Tool for Data Placement on Hybrid Memory System within the ISMM 2017-track in ISMM 2017
Brian Goetz Oracle Author of FP is Dead: Long Live FP within the Curry On Keynotes-track in CurryOn 2017
Dan Gohman Mozilla Author of Bringing the Web up to Speed with WebAssembly within the PLDI Research Papers-track in PLDI 2017
Anirüddhā Gokhālé Vanderbilt University Author of An Autonomous and Dynamic Coordination and Discovery Service for Wide-Area Peer-to-peer Publish/Subscribe. (Experience Paper) within the DEBS Research Papers-track in DEBS 2017 Author of Poster: Software-defined Adaptive Resource Management for Cloud-hosted Group Communication Applications within the DEBS Posters & Demos-track in DEBS 2017
Laure Gonnord University of Lyon & LIP, France France Committee Member in SRC Panel for PLDI 2017
Elisa Gonzalez Boix Vrije Universiteit Brussel Belgium Session Chair of Morning II (part of ICOOOLPS) Committee Member in Program Committee within the ICOOOLPS-track
Colin Gordon Drexel University United States Session Chair of Calculi and Semantics (part of ECOOP Research Papers) Author of A Generic Approach to Flow-Sensitive Polymorphic Effects within the ECOOP Research Papers-track in ECOOP 2017 Author of Verifying invariants of lock-free data structures with rely-guarantee and refinement type within the PLDI Research Papers-track in PLDI 2017 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 Gorgovan University of Manchester Author of [Poster] Understanding the Performance of Dynamic Binary Modification on ARM Using MAMBO within the LCTES 2017-track in LCTES 2017 Author of Low Overhead Dynamic Binary Translation on ARM within the PLDI Research Papers-track in PLDI 2017
Alessandra Gorla IMDEA Software Institute Spain Committee Member in Program Committee within the SOAP-track Committee member in Academic Panel within the ECOOP Doctoral Symposium-track
Alexey Gotsman IMDEA Committee Member in External Review Committee for PLDI 2017 Committee Member in Program Committee within the PMLDC-track
Justin Gottschlich Intel Labs Author of Introduction and Welcome within the MAPL 2017-track in MAPL 2017 Author of Concluding Remarks within the MAPL 2017-track in MAPL 2017 Committee Member in Organizing Committee within the MAPL-track Program Chair in Program Committee within the MAPL-track
Ben Greenman Northeastern University United States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
David Gregg Trinity College Dublin, Ireland Committee Member in Program Committee within the ICOOOLPS-track
Clemens Grelck University of Amsterdam Germany Committee Member in Organizing Committee within the ARRAY-track Committee Member in Program Committee within the ARRAY-track
Stefan Gries University of Duisburg-Essen Author of Poster: Cascading Data Corruption – About Dependencies in Cyber-Physical Systems within the DEBS Posters & Demos-track in DEBS 2017 Author of Property-based routing in clustered message brokers for CPS within the DEBS Doctoral Symposium-track in DEBS 2017
Radu Grigore University of Kent United Kingdom Session Chair of D (part of FTfJP) Session Chair of A (part of FTfJP) Chair in Program Committee within the FTfJP-track
Matthias Grimmer Oracle Labs, Austria Author of Practical Partial Evaluation for High-Performance Dynamic Language Runtimes within the PLDI Research Papers-track in PLDI 2017
Tobias Grosser ETH Zurich Committee Member in SRC Panel for PLDI 2017 Publicity Chair in Organizing Committee for PLDI 2017 Author of Polyhedral Compilation within the PLDI Tutorials-track in PLDI 2017 Committee Member in Program Committee within the ARRAY-track
Dan Grossman University of Washington United States Committee Member in Program Committee for PLDI 2017 Session Chair of Systems and Performance (part of PLDI Research Papers) Author of Debugging Probabilistic Programs within the MAPL 2017-track in MAPL 2017 Author of Verifying invariants of lock-free data structures with rely-guarantee and refinement type within the PLDI Research Papers-track in PLDI 2017
Boris Grot University of Edinburgh, UK Publicity Chair in Organizing Committee for LCTES 2017
David Grove IBM Research United 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 Gruhn University Duisburg-Essen Author of Poster: Cascading Data Corruption – About Dependencies in Cyber-Physical Systems within the DEBS Posters & Demos-track in DEBS 2017 Author of Poster: The Requirements Engineering Perspective on Events in Cyber-Physical Systems within the DEBS Posters & Demos-track in DEBS 2017 Author of Property-based routing in clustered message brokers for CPS within the DEBS Doctoral Symposium-track in DEBS 2017
Paul Grünbacher Author of An Event-based Capture-and-Compare Approach to Support the Evolution of Systems of Systems. (Experience Paper) within the DEBS Research Papers-track in DEBS 2017
Nan Guan Hong Kong Polytechnic University, China Committee Member in Program Committee for LCTES 2017 Author of [Poster] Benchmarking OpenMP for Real-Time Scheduling: From Modeling to Applications within the LCTES 2017-track in LCTES 2017
Hui Guan North Carolina State University Author of Generalizations of the Theory and Deployment of Triangular Inequality for Compiler-Based Strength Reduction within the PLDI Research Papers-track in PLDI 2017
Vincenzo Gulisano Chalmers University of Technology Sweden Grand Challenge Chairs in Organizing Committee for DEBS 2017 Author of The DEBS 2017 Grand Challenge within the DEBS Grand Challenge-track in DEBS 2017 Author of Maximizing Determinism in Stream Processing Under Latency Constraints. (Research Paper) within the DEBS Research Papers-track in DEBS 2017 Author of Performance Modeling of Stream Joins. (Research Paper) within the DEBS Research Papers-track in DEBS 2017
Sumit Gulwani Microsoft Research Author of Programming by Examples: PL Meets ML within the MAPL 2017-track in MAPL 2017
Dimitrios Gunopulos University of Athens Author of Demo: REMI, Reusable Elements for Multi-Level Information Availability within the DEBS Posters & Demos-track in DEBS 2017
Aarti Gupta Princeton University Committee Member in External Review Committee for PLDI 2017
Sam Guyer Committee Member in Steering Committee for ISMM 2017 Committee Member in External Review Committee within the ISMM -track
Jorge H. Castro Universidad de los Andes Author of Peace COrP: Learning to solve conflicts between contexts within the COP-17-track in COP 2017
Christine H. Flood Red Hat Chair in Steering Committee for ISMM 2017 Committee Member in External Review Committee within the ISMM -track
Andreas Haas Google Author of Bringing the Web up to Speed with WebAssembly within the PLDI Research Papers-track in PLDI 2017
Jurriaan Hage Utrecht University Author of Domain-Specific Type Error Diagnosis in the Glasgow Haskell Compiler within the Curry On Talks-track in CurryOn 2017
Akram Hakiri LAAS-CNRS Tunisia Author of Poster: Software-defined Adaptive Resource Management for Cloud-hosted Group Communication Applications within the DEBS Posters & Demos-track in DEBS 2017
Philipp Haller KTH Royal Institute of Technology Germany Artifact Evaluation Chair in Organizing Committee for ECOOP 2017 Session Chair of Types and Effects (part of ECOOP Research Papers) Author of Privacy-aware Distributed Incremental Computation within the IC 2017-track in IC 2017 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
Mary Hall University of Utah Committee Member in Program Committee within the MAPL-track
Matthew Hammer University of Colorado, Boulder United States Committee Member in Organizing Committee within the IC-track
Christian Hammer University of Potsdam Germany Session Chair of Afternoon (part of JSTools) Author of WebPol: Fine-grained Information Flow Policies for Web Browsers within the JSTools 2017-track in JSTools 2017 Organizer in Organizing Committee within the JSTools-track
Jad Hamza LIAFA, Université Paris Diderot Author of Proactive Synthesis of Recursive Tree-to-String Functions from Examples within the ECOOP Research Papers-track in ECOOP 2017
Frank Hannig Friedrich-Alexander University Erlangen-Nürnberg (FAU) Germany Author of Auto-Vectorization for Image Processing DSLs within the LCTES 2017-track in LCTES 2017
Daco Harkes Delft University of Technology Netherlands Author of IceDust Calculation Strategy Composition Performance in Web Applications within the IC 2017-track in IC 2017 Author of IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition within the ECOOP Research Papers-track in ECOOP 2017
Robert Harper CWI Author of Responsive Parallel Computation: Bridging Competitive and Cooperative Threading within the PLDI Research Papers-track in PLDI 2017
Tim Harris Oracle Labs Committee Member in Program Committee for PLDI 2017
Souleiman Hasan Insight Centre for Data Analytics NUIG Author of Poster: Challenges with Image Event Processing within the DEBS Posters & Demos-track in DEBS 2017 Author of Automatic Anomaly Detection over Sliding Windows within the DEBS Grand Challenge-track in DEBS 2017 Author of The Event Crowd: A Novel Approach for Crowd-Enabled Event Processing. (New Direction Paper) within the DEBS Research Papers-track in DEBS 2017
Matin Hashemi Sharif University of Technology Iran Committee Member in Program Committee for LCTES 2017
Behnaz Hassanshahi Oracle Labs, Australia Author of An Efficient Tunable Selective Points-to Analysis for Large Codebases within the SOAP-track in SOAP 2017
Kristoffer Haugsbakk Author of Towards Reasonable Ownership within the IWACO 2017-track in IWACO 2017
Matthias Hauswirth Università della Svizzera italiana Switzerland Committee Member in Program Committee within the ECOOP Research Papers-track
Klaus Havelund Jet Propulsion Laboratory United States Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Program Committee within the VORTEX-track
Marijn Haverbeke Author of Grammar-based language modes for text editors within the Curry On Talks-track in CurryOn 2017
Aurélien Havet Université de Neuchâtel Switzerland Author of SecureStreams: A Reactive Middleware Framework for Secure Data Stream Processing. (Research Paper) within the DEBS Research Papers-track in DEBS 2017
Byron Hawkins Author of Introspective Intrusion Detection for Popular Software Platforms within the ECOOP Doctoral Symposium-track in ECOOP 2017
Peter Hawkins Google Author of Compiled Machine Learning: Accelerated Linear Algebra (XLA) for TensorFlow within the Curry On Talks-track in CurryOn 2017 Committee Member in Program Committee within the MAPL-track
Kyle Headley University of Colorado Boulder United States Author of Tuning Data and Control Structures for Incremental Computation within the IC 2017-track in IC 2017
Gorel Hedin Lund University Sweden Committee Member in Program Committee within the ECOOP Research Papers-track
Laurie Hendren McGill University, Canada Canada Author of An ELI-to-C Compiler: Design, Implementation and Performance within the ARRAY 2017-track in ARRAY 2017
Fritz Henglein DIKU, Denmark Author of Automatic Incrementalization of Functional Reports within the IC 2017-track in IC 2017 Author of Futhark: Purely Functional GPU-programming with Nested Parallelism and In-place Array Updates within the PLDI Research Papers-track in PLDI 2017
Johannes Henning Hasso Plattner Institute Author of VM Wrapping - Fake it till you make it within the ICOOOLPS 2017-track in ICOOOLPS 2017
Troels Henriksen DIKU, University of Copenhagen Denmark Author of Futhark: Purely Functional GPU-programming with Nested Parallelism and In-place Array Updates within the PLDI Research Papers-track in PLDI 2017
Seonyeong Heo POSTECH Author of Integrated IoT Programming with Selective Abstraction within the LCTES 2017-track in LCTES 2017
Maurice Herlihy Brown University Committee Member in Program Committee within the ISMM -track
Ben Hermann University of Paderborn Germany Author of SootKeeper: Runtime Reusability for Modular Static Analysis within the SOAP-track in SOAP 2017 Author of Hermes: Assessment and Creation of Effective Test Corpora within the SOAP-track in SOAP 2017 Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Marc Hesenius University of Duisburg-Essen Author of Poster: Cascading Data Corruption – About Dependencies in Cyber-Physical Systems within the DEBS Posters & Demos-track in DEBS 2017 Author of Poster: The Requirements Engineering Perspective on Events in Cyber-Physical Systems within the DEBS Posters & Demos-track in DEBS 2017
Guenter Hesse Hasso Plattner Institute Author of A New Application Benchmark for Data Stream Processing Architectures in an Enterprise Context within the DEBS Doctoral Symposium-track in DEBS 2017
Stefan Heule Stanford University, USA United States Committee Member in Artifact Evaluation Committee for PLDI 2017 Committee Member in External Review Committee for PLDI 2017
Michael Hicks University of Maryland, College Park United States Committee Member in Steering Committee for PLDI 2017 Speaker of What is research and how to do it? Thinking globally and acting locally. within the PLMW-track in PLMW 2017 Author of Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels within the PLDI Research Papers-track in PLDI 2017 Committee Member in Mentors within the ECOOP Summer School-track Speaker in Mentors within the PLMW-track
Annika Hinze University of Waikato Tutorials Chair in Organizing Committee for DEBS 2017 Session Chair of Session 1: New Directions (part of DEBS Research Papers)
Robert Hirschfeld HPI Germany Author of The Declarative Nature of Implicit Layer Activation within the COP-17-track in COP 2017 Author of VM Wrapping - Fake it till you make it within the ICOOOLPS 2017-track in ICOOOLPS 2017 Organizing Committee in Organizing Committee within the COP-track
Martin Hirzel IBM Research United States Committee Member in External Review Committee for PLDI 2017 Session Chair of Session 5: Learning, Automation and Integration (part of DEBS Research Papers) Author of Low-Latency Sliding-Window Aggregation in Worst-Case Constant Time. (Research Paper) within the DEBS Research Papers-track in DEBS 2017 Author of Sliding-Window Aggregation Algorithms within the DEBS Tutorials-track in DEBS 2017
Kenji Hisazumi Kyushu University Author of IoT Robot Simulator and Framework for Context-Oriented Programming within the COP-17-track in COP 2017 Author of ContextROS: Context-Oriented Programming for the Robot Operating System within the COP-17-track in COP 2017
Jan Hoffmann Carnegie Mellon University United States Committee Member in Program Committee for PLDI 2017
Lukas Holik Author of Flatten and Conquer (A Framework for Efficient Analysis of String Constraints) within the PLDI Research Papers-track in PLDI 2017
Michael Holman Microsoft Author of Bringing the Web up to Speed with WebAssembly within the PLDI Research Papers-track in PLDI 2017
Philipp Holzinger Fraunhofer SIT Germany Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Ding-Yong Hong Institute of Information Science, Academia Sinica Author of Dynamic Translation of Structured Loads/Stores and Register Mapping for Architectures with SIMD Extensions within the LCTES 2017-track in LCTES 2017
Rudi Horn University of Edinburgh Author of Incremental Relational Lenses within the IC 2017-track in IC 2017
Gábor Horváth Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers Author of Code Generation in Serializers and Comparators of Apache Flink within the ICOOOLPS 2017-track in ICOOOLPS 2017
Tony Hosking Australian National University, Data61, and Purdue University Australia Committee Member in Steering Committee for ISMM 2017 Committee Member in Program Committee within the IWACO-track
Lode Hoste Author of Demo: Building Connected Car Applications on Top of the World-Wide Streams Platform within the DEBS Posters & Demos-track in DEBS 2017
Wei-Chung Hsu Dept. Computer Science & Information Engineering, National Taiwan University Author of Dynamic Translation of Structured Loads/Stores and Register Mapping for Architectures with SIMD Extensions within the LCTES 2017-track in LCTES 2017
Shiyou Huang Texas A&M University Author of Speeding Up Maximal Causality Reduction with Static Dependency Analysis within the ECOOP Research Papers-track in ECOOP 2017
Huawei Huang The University of Aizu Author of Unified nvTCAM and sTCAM Architecture for Improving Packet Matching Performance within the LCTES 2017-track in LCTES 2017
Jeff Huang Texas A&M University Committee Member in Program Committee for PLDI 2017 Session Chair of Concurrency Analysis (part of PLDI Research Papers) Author of What’s the Optimal Performance of Precise Dynamic Race Detection? – A Redundancy Perspective within the ECOOP Research Papers-track in ECOOP 2017 Author of Speeding Up Maximal Causality Reduction with Static Dependency Analysis within the ECOOP Research Papers-track in ECOOP 2017
Daniel Huang Harvard University Author of Compiling Markov Chain Monte Carlo Algorithms for Probabilistic Modeling within the PLDI Research Papers-track in PLDI 2017
Yu Hua Huazhong University of Science and Technology Committee Member in Program Committee for LCTES 2017
John Hughes Chalmers University of Technology Author of Don't Write Tests! within the Curry On Talks-track in CurryOn 2017
Richard Hull IBM T. J. Watson Research Center Author of Blockchain: Distributed Event-based Processing in a Data-Centric World within the DEBS Invited Speakers-track in DEBS 2017
Christian Humer Oracle Labs, Switzerland Switzerland Author of Practical Partial Evaluation for High-Performance Dynamic Language Runtimes within the PLDI Research Papers-track in PLDI 2017
Chung-Kil Hur Seoul National University Korea, South Author of Taming Undefined Behavior in LLVM within the PLDI Research Papers-track in PLDI 2017 Author of Repairing Sequential Consistency in C/C++11 within the PLDI Research Papers-track in PLDI 2017
Martin Huschenbett Jane Street United Kingdom Panelist of Career paths in Computer Science within the PLMW-track in PLMW 2017
Jingtong Hu Oklahoma State University Author of [Poster] Checkpointing-aware Loop Tiling for Energy Harvesting Powered Non-Volatile Processors within the LCTES 2017-track in LCTES 2017 Author of A Lightweight Progress Maximization Scheduler for Non-Volatile Processor Under Unstable Energy Harvesting within the LCTES 2017-track in LCTES 2017
Raymond Hu Imperial College London Author of A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming within the ECOOP Research Papers-track in ECOOP 2017
Qinheping Hu University of Wisconsin-Madison United States Author of Automatic Program Inversion using Symbolic Transducers within the PLDI Research Papers-track in PLDI 2017
Costin Iancu Lawrence Berkeley National Laboratory Committee Member in Organizing Committee within the MAPL-track Committee Member in Program Committee within the MAPL-track
Roberto Ierusalimschy PUC-Rio Brazil Author of Scripting with Lua within the Curry On Keynotes-track in CurryOn 2017
Atsushi Igarashi Kyoto University, Japan Japan Organizing Committee in Organizing Committee within the COP-track
Michael Isard Google Author of A Computational Model for TensorFlow (An Introduction) within the MAPL 2017-track in MAPL 2017
Shachar Itzhaky MIT CSAIL United States Committee Member in Artifact Evaluation Committee for PLDI 2017
Zachary G. Ives University of Pennsylvania Author of StreamQRE: Modular Specification and Efficient Evaluation of Quantitative Queries over Streaming Data within the PLDI Research Papers-track in PLDI 2017
Luka Jacobowitz codecentric AG Author of Reactive Programming in the Browser with Scala.js and PureScript within the Curry On Talks-track in CurryOn 2017
Hans-Arno Jacobsen University of Toronto Author of PopSub: Improving Resource Utilization in Distributed Content-based Publish/Subscribe Systems. (Research Paper) within the DEBS Research Papers-track in DEBS 2017
Bart Jacobs imec-DistriNet, Dept. CS, KU Leuven Belgium Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Program Committee within the FTfJP-track
Suresh Jagannathan Purdue University Committee Member in External Program Committee for PLDI 2017
Dimitrije Jankov Rice University Author of Real-time High Performance Anomaly Detection over Data Streams within the DEBS Grand Challenge-track in DEBS 2017
Michael Jantz University of Tennessee Author of AOT Vs. JIT: Impact of Profile Data on Code Quality within the LCTES 2017-track in LCTES 2017
Ciera Jaspan Google Committee Member in Program Committee within the SOAP-track
Malith Jayasinghe WSO2 Inc. Author of Anomaly Detection of Manufacturing Equipment via High Performance RDF Data Stream Processing within the DEBS Grand Challenge-track in DEBS 2017
Alan Jeffrey Mozilla Research United States Committee Member in Program Committee within the IC-track
Jinkyu Jeong Sungkyunkwan University Korea, South Committee Member in Program Committee within the ISMM -track
Chris Jermaine Rice University Author of Real-time High Performance Anomaly Detection over Data Streams within the DEBS Grand Challenge-track in DEBS 2017
Zbigniew Jerzak SAP Research Grand Challenge Chairs in Organizing Committee for DEBS 2017 Author of The DEBS 2017 Grand Challenge within the DEBS Grand Challenge-track in DEBS 2017
Jean-Pierre Jessel IRIT - Université Paul Sabatier Toulouse Author of Loosely Coupled Approach for Web-Based Collaborative 3D Design within the DEBS Doctoral Symposium-track in DEBS 2017
Kamil Jezek University of West Bohemia, Pilsen, CZ Author of EvilPickles: DoS attacks based on Object-Graph Engineering within the ECOOP Research Papers-track in ECOOP 2017 Author of Contracts in the Wild: A Study of Java Programs within the ECOOP Research Papers-track in ECOOP 2017
Ranjit Jhala University of California at San Diego, USA United States Committee Member in External Review Committee for PLDI 2017 Author of Refinement Types for Program Verification and Synthesis within the PLDI Tutorials-track in PLDI 2017
Weiwen Jiang Chongqing University Author of Optimal Functional Unit Assignment and Voltage Selection for Pipelined MPSoC with Guaranteed Probability on Time Performance within the LCTES 2017-track in LCTES 2017
Lei Jiang Indiana University Bloomington United States Committee Member in Program Committee for LCTES 2017
Zhiping Jia Shandong University Author of Unified nvTCAM and sTCAM Architecture for Improving Packet Matching Performance within the LCTES 2017-track in LCTES 2017
Sun Jinghao Author of [Poster] Benchmarking OpenMP for Real-Time Scheduling: From Modeling to Applications within the LCTES 2017-track in LCTES 2017
Richard Jones University of Kent Committee Member in Program Committee within the ISMM -track
Simon Peyton Jones Microsoft Research, Cambridge Author of Compiling without continuations within the PLDI Research Papers-track in PLDI 2017 Author of Levity Polymorphism within the PLDI Research Papers-track in PLDI 2017
Herbert Jordan University of Innsbruck Tutorial organizer of Engineering Static Analyzers with Soufflé within the PLDI Tutorials-track in PLDI 2017
Alexander Jordan Oracle Labs, Australia Tutorial organizer of Bug detection in JavaScript web apps using the SAFE framework within the PLDI Tutorials-track in PLDI 2017
Arpit Joshi University of Edinburgh, UK Web Chair in Organizing Committee for LCTES 2017
Eric Jul University of Oslo Norway Session Chair of Dahl-Nygaard Junior Prize (part of ECOOP Invited Speakers) Session Chair of Dahl-Nygaard Senior Prize (part of ECOOP Invited Speakers) Moderator of Panel: Do new Computing Environments lead to new Language Constructs? within the ICOOOLPS 2017-track in ICOOOLPS 2017 Contributor/Author of How to get your Ph.D. DONE within the ECOOP Doctoral Symposium-track in ECOOP 2017 Committee Member in Program Committee within the ICOOOLPS-track Committee member in Invited Speakers within the ECOOP Doctoral Symposium-track
Hyungkun Jung Chungnam National Univ. Author of Runtime Anomaly Detection Method in Smart Factories using Machine Learning on RDF Event Streams within the DEBS Grand Challenge-track in DEBS 2017
Lei Ju Shandong University China Committee Member in Program Committee for LCTES 2017 Author of Unified nvTCAM and sTCAM Architecture for Improving Packet Matching Performance within the LCTES 2017-track in LCTES 2017
Mike Kabbani Clemson University Author of A Formalization IDE Integrated with a Verifying Compiler within the ICOOOLPS 2017-track in ICOOOLPS 2017
Raghavendra Kagalavadi Oracle Labs, Australia Author of An Efficient Tunable Selective Points-to Analysis for Large Codebases within the SOAP-track in SOAP 2017
Jan-Oliver Kaiser MPI-SWS Author of Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris within the ECOOP Research Papers-track in ECOOP 2017
Gowtham Kaki Purdue University Committee Member in Artifact Evaluation Committee for PLDI 2017
Saurabh Kalikar Indian Institute of Technology, Madras India Committee Member in Artifact Evaluation Committee for PLDI 2017
Vana Kalogeraki Athens University of Economics and Business Author of Maximizing Determinism in Stream Processing Under Latency Constraints. (Research Paper) within the DEBS Research Papers-track in DEBS 2017 Author of Demo: REMI, Reusable Elements for Multi-Level Information Availability within the DEBS Posters & Demos-track in DEBS 2017
Amir Kamil University of Michigan Committee Member in Program Committee within the ARRAY-track
Tetsuo Kamina Ritsumeikan University Japan Author of Push-based Reactive Layer Activation in Context-Oriented Programming within the COP-17-track in COP 2017 Programme Committee in Program Committee within the COP-track
Aditya Kanade Indian Institute of Science, Bangalore Author of Static Deadlock Detection for Asynchronous C# Programs within the PLDI Research Papers-track in PLDI 2017
Jeehoon Kang Seoul National University Korea, South Author of Repairing Sequential Consistency in C/C++11 within the PLDI Research Papers-track in PLDI 2017
Vini Kanvar Indian Institute of Technology (IIT) Bombay India Author of "What's in a Name?" Going Beyond Allocation Site Names in Heap Analysis within the ISMM 2017-track in ISMM 2017
Frank Kargl Ulm University Author of Chronograph—A Distributed Processing Platform for Online and Batch Computations on Event-sourced Graphs. (Experience Paper) within the DEBS Research Papers-track in DEBS 2017
Valentin Kasas self-employed @ Kanaka Author of Carpenters & Cartographers within the Curry On Talks-track in CurryOn 2017
Brandon Kase Pinterest Author of Composable Caching in Swift within the Curry On Talks-track in CurryOn 2017
George Kastrinis University of Athens Greece Author of A Datalog Model of Must-Alias Analysis within the SOAP-track in SOAP 2017
Ioannis Katakis University of Athens Author of Demo: REMI, Reusable Elements for Multi-Level Information Availability within the DEBS Posters & Demos-track in DEBS 2017
Roman Katerinenko AGT International Author of The DEBS 2017 Grand Challenge within the DEBS Grand Challenge-track in DEBS 2017
Nikos Katzouris NCSR Demokritos Author of Demo: Demonstration of a Prototype for Credit Card Fraud Management within the DEBS Posters & Demos-track in DEBS 2017 Author of A Prototype for Credit Card Fraud Management. (Industry Paper) within the DEBS Research Papers-track in DEBS 2017
Martin Kavalar Nextjournal Author of Making Science Reproducible with Functional Programming Concepts within the Curry On Talks-track in CurryOn 2017
Piyus Kedia Indian Institute of Technology Delhi Author of Simple, fast and safe manual memory management within the PLDI Research Papers-track in PLDI 2017
Daniel Keren Haifa University Author of One for All and All for One: Simultaneous Approximation of Multiple Functions over Distributed Streams. (Research Paper) within the DEBS Research Papers-track in DEBS 2017
Gokcen Kestor Pacific Northwest National Laboratory Author of RTHMS: A Tool for Data Placement on Hybrid Memory System within the ISMM 2017-track in ISMM 2017
Sanjeev Khanna University of Pennsylvania Author of StreamQRE: Modular Specification and Efficient Evaluation of Quantitative Queries over Streaming Data within the PLDI Research Papers-track in PLDI 2017
Shweta Khare Vanderbilt University Author of An Autonomous and Dynamic Coordination and Discovery Service for Wide-Area Peer-to-peer Publish/Subscribe. (Experience Paper) within the DEBS Research Papers-track in DEBS 2017
Farzad Khorasani Rice University Author of Dyna: Toward a Self-Optimizing Declarative Language for Machine Learning Applications within the MAPL 2017-track in MAPL 2017
Dongsun Kim University of Luxembourg Luxembourg Tutorial organizer of Bug detection in JavaScript web apps using the SAFE framework within the PLDI Tutorials-track in PLDI 2017
Jong Kim POSTECH Author of Integrated IoT Programming with Selective Abstraction within the LCTES 2017-track in LCTES 2017
Yoonseung Kim Seoul National University (South Korea) Author of Taming Undefined Behavior in LLVM within the PLDI Research Papers-track in PLDI 2017
Bongjun Kim POSTECH Author of Integrated IoT Programming with Selective Abstraction within the LCTES 2017-track in LCTES 2017
Hanjun Kim POSTECH Session Chair of Session 3: Non-Volatile Memory/Processor and RTOS (part of LCTES ) Author of Integrated IoT Programming with Selective Abstraction within the LCTES 2017-track in LCTES 2017
Zachary Kincaid Princeton University United States Committee Member in Program Committee for PLDI 2017 Author of Compositional Recurrence Analysis Revisited within the PLDI Research Papers-track in PLDI 2017
Daniel King Broad Institute Author of Building Tools and Languages for Terabyte Scale Biology: A Call to Action within the Curry On Talks-track in CurryOn 2017
Dileep Kini University of Illinois at Urbana-Champaign Author of Dynamic Race Prediction in Linear Time within the PLDI Research Papers-track in PLDI 2017
Christoph Kirsch University of Salzburg Austria General Chair in Organizing Committee for ISMM 2017 Session Chair of Opening (part of ISMM ) Author of Design versus Performance: From Giotto via the Embedded Machine to Selfie within the LCTES 2017-track in LCTES 2017
Martin Kleppmann University of Cambridge Author of Making decentralisation available for all within the Curry On Talks-track in CurryOn 2017
Felix Klock Author of Aliasing, Capabilities and Ownership in Rust within the IWACO 2017-track in IWACO 2017 Committee Member in Program Committee within the IWACO-track
Andreas Kloeckner University of Illinois at Urbana-Champaign United 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 Kobylko Author of Auto-Vectorization for Image Processing DSLs within the LCTES 2017-track in LCTES 2017
Ugur Koc University of Maryland, College Park United States Author of Learning a Classifier for False Positive Error Reports Emitted by Static Code Analysis Tools within the MAPL 2017-track in MAPL 2017
Mirko Kohler Technical University of Darmstadt Author of Privacy-aware Distributed Incremental Computation within the IC 2017-track in IC 2017
Boris Koldehofe TU Darmstadt PC Chairs in Organizing Committee for DEBS 2017
Martin Kong Rice University Committee Member in SRC Panel for PLDI 2017
Eric Koskinen Yale University Author of Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels within the PLDI Research Papers-track in PLDI 2017
Nikolai Kosmatov Author of Shadow State Encoding for Efficient Monitoring of Block-level Properties within the ISMM 2017-track in ISMM 2017
Jakob Krainz Friedrich-Alexander University Erlangen-Nürnberg Author of Diff Graphs for a fast Incremental Pointer Analysis within the ICOOOLPS 2017-track in ICOOOLPS 2017
Ulrich Kremer Rutgers University, USA Committee Member in Program Committee for LCTES 2017
Andrew Krieger University of California, Los Angeles Author of dart2java: Running Dart in Java-based Environments within the ICOOOLPS 2017-track in ICOOOLPS 2017
Filip Krikava Northeastern University, USA Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Chandra Krintz UC Santa Barbara United States Committee Member in Steering Committee for PLDI 2017 Committee Member in Program Committee for LCTES 2017
Murali Krishna Ramanathan Indian Institute of Science, Bangalore India Co-chair in Artifact Evaluation Committee for PLDI 2017 Artifact Evaluation Co-Chair in Organizing Committee for PLDI 2017
Sriram Krishnamoorthy Pacific Northwest National Laboratories Author of Cache Locality Optimization for Recursive Programs within the PLDI Research Papers-track in PLDI 2017
Paddy Krishnan Author of An Efficient Tunable Selective Points-to Analysis for Large Codebases within the SOAP-track in SOAP 2017
Thomas Krismayer Christian Doppler Lab. MEVSS, Johannes Kepler University Linz Author of An Event-based Capture-and-Compare Approach to Support the Evolution of Systems of Systems. (Experience Paper) within the DEBS Research Papers-track in DEBS 2017
Stein Kristiansen University of Oslo Author of DCEP-Sim: An Open Simulation Framework for Distributed CEP. (Research Paper) within the DEBS Research Papers-track in DEBS 2017
Edlira Kuci TU Darmstadt, Germany Author of A Co-contextual Type Checker for Featherweight Java within the ECOOP Research Papers-track in ECOOP 2017
Prasad Kulkarni University of Kansas Author of AOT Vs. JIT: Impact of Profile Data on Code Quality within the LCTES 2017-track in LCTES 2017
Prasad Kulkarni Committee Member in Steering Committee for LCTES 2017
Sulekha Kulkarni University of Pennsylvania Committee Member in Artifact Evaluation Committee for PLDI 2017
Milind Kulkarni 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) Author of Opening Remarks within the WCIRE 2017-track in WCIRE 2017 Moderator of Open Discussion: Building Infrastructure for Research and Education within the WCIRE 2017-track in WCIRE 2017 Author of Compiling tree transforms to operate on packed representations within the ECOOP Research Papers-track in ECOOP 2017 Committee Member in Organizing Committee within the WCIRE-track
Senthil Kumaran Author of Introducing Ownership Type Constraints to UML/OCL within the IWACO 2017-track in IWACO 2017
Ramana Kumar Data61 at CSIRO, Australia / UNSW, Australia Australia Tutorial organizer of Writing Verified Programs in CakeML within the PLDI Tutorials-track in PLDI 2017
Snehasish Kumar Simon Fraser University Committee Member in Artifact Evaluation Committee for PLDI 2017
Viktor Kuncak EPFL, Switzerland Author of Proactive Synthesis of Recursive Tree-to-String Functions from Examples within the ECOOP Research Papers-track in ECOOP 2017
Tei-Wei Kuo Academia Sinica, Taiwan Committee Member in Steering Committee for LCTES 2017
Lindsey Kuper Intel Labs Author of Parallelizing Julia with a Non-invasive DSL within the ECOOP Research Papers-track in ECOOP 2017
Ivan Kuraj MIT CSAIL, USA Serbia and Montenegro Committee Member in Artifact Evaluation Committee for PLDI 2017 Author of DemoMatch: API Discovery from Demonstrations within the PLDI Research Papers-track in PLDI 2017 Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Cat Kutay UNSW Author of Visualising complex event hierarchies using relevant domain ontologies within the DEBS Doctoral Symposium-track in DEBS 2017
Christian Kästner Carnegie Mellon University Germany Committee Member in Program Committee within the ECOOP Research Papers-track
Mirko Köhler Author of Privacy-aware operator placement within the ECOOP Doctoral Symposium-track in ECOOP 2017
Boris Köpf IMDEA Software Institute, Spain Spain Author of Rigorous Analysis of Software Countermeasures against Cache Attacks within the PLDI Research Papers-track in PLDI 2017
Florian Kübler TU Darmstadt, Germany Author of SootKeeper: Runtime Reusability for Modular Static Analysis within the SOAP-track in SOAP 2017
Ori Lahav MPI-SWS Author of Promising Compilation to ARMv8 POP within the ECOOP Research Papers-track in ECOOP 2017 Author of Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris within the ECOOP Research Papers-track in ECOOP 2017 Author of Repairing Sequential Consistency in C/C++11 within the PLDI Research Papers-track in PLDI 2017
Patrick Lam University of Waterloo Committee Member in External Review Committee for PLDI 2017
Ken Friis Larsen DIKU, University of Copenhagen Author of Automatic Incrementalization of Functional Reports within the IC 2017-track in IC 2017
Andrei Lascu Imperial College London Committee Member in Artifact Evaluation Committee for PLDI 2017
Erwin Laure KTH Royal Institute of Technology Author of RTHMS: A Tool for Data Placement on Hybrid Memory System within the ISMM 2017-track in ISMM 2017
Arnon Lazerson Technion Author of One for All and All for One: Simultaneous Approximation of Multiple Functions over Distributed Streams. (Research Paper) within the DEBS Research Papers-track in DEBS 2017
Doug Lea State University of New York, Oswego United 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
Juneyoung Lee Seoul National University Author of Taming Undefined Behavior in LLVM within the PLDI Research Papers-track in PLDI 2017
Gyeongmin Lee POSTECH Author of Integrated IoT Programming with Selective Abstraction within the LCTES 2017-track in LCTES 2017
Kang-Woo Lee Electronics and Telecommunications Institutes Author of Runtime Anomaly Detection Method in Smart Factories using Machine Learning on RDF Event Streams within the DEBS Grand Challenge-track in DEBS 2017
Jae Lee Seoul National University, Korea Committee Member in Program Committee for LCTES 2017
Dongyoon Lee Virginia Tech, USA Committee Member in Program Committee for LCTES 2017
Sorin Lerner University of California, San Diego Committee Member in External Program Committee for PLDI 2017
Xavier Leroy Inria Author of A Formally Verified Compiler for Lustre within the PLDI Research Papers-track in PLDI 2017
Martin Leucker University of Lübeck Germany Committee Member in Program Committee within the VORTEX-track
Vu Le Microsoft Vietnam Committee Member in Program Committee within the ECOOP Research Papers-track
Ruy Ley-Wild LogicBlox Committee Member in Program Committee within the IC-track
Ondřej Lhoták University of Waterloo, Canada Committee Member in External Program Committee for PLDI 2017 Author of Mutable WadlerFest DOT within the FTfJP 2017-track in FTfJP 2017 Author of Miniphases: Compilation using Modular and Efficient Tree Transformations within the PLDI Research Papers-track in PLDI 2017 Author of Context Transformations for Pointer Analysis within the PLDI Research Papers-track in PLDI 2017
Percy Liang Stanford University Author of Synthesizing Program Input Grammars within the PLDI Research Papers-track in PLDI 2017
Ben Liblit University of Wisconsin–Madison United States Author of Control-Flow Recovery from Partial Failure Reports within the PLDI Research Papers-track in PLDI 2017
Jonathan Lifflander Author of Cache Locality Optimization for Recursive Programs within the PLDI Research Papers-track in PLDI 2017
Jens Lincke Hasso Plattner Institute Author of The Declarative Nature of Implicit Layer Activation within the COP-17-track in COP 2017 Programme Committee in Program Committee within the COP-track
Sam Lindley University of Edinburgh, UK United Kingdom Author of Mixing Metaphors: Actors as Channels and Channels as Actors within the ECOOP Research Papers-track in ECOOP 2017
Annie Liu Facebook Publicity Chair in Organizing Committee for DEBS 2017
Zhengyang Liu Beijing University of Posts and Telecommunications China Author of Flexible and Efficient Memory Object Metadata within the ISMM 2017-track in ISMM 2017
Yu David Liu State University of New York (SUNY) Binghamton United States Author of Proactive and Adaptive Energy-Aware Programming with Mixed Typechecking within the PLDI Research Papers-track in PLDI 2017
Hai Liu Intel Labs Author of Parallelizing Julia with a Non-invasive DSL within the ECOOP Research Papers-track in ECOOP 2017
Yongpan Liu Tsinghua University Author of [Poster] Checkpointing-aware Loop Tiling for Energy Harvesting Powered Non-Volatile Processors within the LCTES 2017-track in LCTES 2017 Author of A Lightweight Progress Maximization Scheduler for Non-Volatile Processor Under Unstable Energy Harvesting within the LCTES 2017-track in LCTES 2017
Fuyang Li Department of Computer Science, City University of Hong Kong, Hong Kong Author of [Poster] Checkpointing-aware Loop Tiling for Energy Harvesting Powered Non-Volatile Processors within the LCTES 2017-track in LCTES 2017
Qingan Li State Key Laboratory of Software Engineering, Wuhan University, China Author of [Poster] Checkpointing-aware Loop Tiling for Energy Harvesting Powered Non-Volatile Processors within the LCTES 2017-track in LCTES 2017
Yue Li UNSW Australia China Author of Efficient and Precise Points-to Analysis: Modeling the Heap by Merging Equivalent Automata within the PLDI Research Papers-track in PLDI 2017 Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Francesco Logozzo Facebook United States Committee Member in Program Committee for PLDI 2017 Session Chair of Functional Programming and Correctness (part of PLDI Research Papers)
Daniel Lohmann Friedrich-Alexander-Universität, Germany Author of OSEK-V: Application-Specific RTOS Instantiation in Hardware within the LCTES 2017-track in LCTES 2017
Nuno P. Lopes Microsoft Research Author of Taming Undefined Behavior in LLVM within the PLDI Research Papers-track in PLDI 2017
Brandon Lucia Carnegie Mellon University United 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 Luckow Carnegie Mellon University United States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Hervé Luga IRIT - Université Paul Sabatier Toulouse Author of Loosely Coupled Approach for Web-Based Collaborative 3D Design within the DEBS Doctoral Symposium-track in DEBS 2017
Mikel Lujan Author of Low Overhead Dynamic Binary Translation on ARM within the PLDI Research Papers-track in PLDI 2017
Mikel Luján University of Manchester Author of [Poster] Understanding the Performance of Dynamic Binary Modification on ARM Using MAMBO within the LCTES 2017-track in LCTES 2017
Shan Lu University of Chicago Committee Member in Program Committee for PLDI 2017
Yi Lu Oracle Author of An Efficient Tunable Selective Points-to Analysis for Large Codebases within the SOAP-track in SOAP 2017
Mingsong Lv Northeastern University Author of [Poster] Benchmarking OpenMP for Real-Time Scheduling: From Modeling to Applications within the LCTES 2017-track in LCTES 2017
Ravichandhran Madhavan EPFL Switzerland Committee Member in External Review Committee for PLDI 2017
P. Madhusudan University of Illinois at Urbana-Champaign United States Committee Member in External Program Committee for PLDI 2017
Magnus Madsen University of Waterloo Denmark Committee Member in Program Committee within the SOAP-track
Ratul Mahajan Microsoft Author of Network Configuration Synthesis with Abstract Topologies within the PLDI Research Papers-track in PLDI 2017
David Majnemer Google Author of Taming Undefined Behavior in LLVM within the PLDI Research Papers-track in PLDI 2017
Petr Maj ReactorLabs Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Ronald Mak San Jose State University Student Travel Co-Chair in Organizing Committee for PLDI 2017
Minudika Malshan WSO2 Inc. Author of Demo: Scalable Complex Event Processing on a Notebook within the DEBS Posters & Demos-track in DEBS 2017
Konstantinos Mamouras University of Pennsylvania Author of StreamQRE: Modular Specification and Efficient Evaluation of Quantitative Queries over Streaming Data within the PLDI Research Papers-track in PLDI 2017
Stanislav Manilov University of Edinburgh Author of dart2java: Running Dart in Java-based Environments within the ICOOOLPS 2017-track in ICOOOLPS 2017
Carole Mann R.S.L Registration in Organizing Committee for PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM
Vikash Mansinghka Massachusetts Institute of Technology Committee Member in Program Committee for PLDI 2017
William Mansky Princeton University United States Author of BARRACUDA: Binary-level Analysis of Runtime RAces in CUDA programs within the PLDI Research Papers-track in PLDI 2017
Vicent Sanz Marco Lancaster University Author of Adaptive Optimization for OpenCL Programs on Embedded Heterogeneous Systems within the LCTES 2017-track in LCTES 2017
Domagoj Margan Imperial College London Author of Large-Scale Stream Graph Processing within the DEBS Doctoral Symposium-track in DEBS 2017
Alessandro Margara Politecnico di Milano Italy 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) Author of Consistency Types for Safe and Efficient Distributed Programming within the FTfJP 2017-track in FTfJP 2017 Author of FlowDB: Integrating Stream Processing and Consistent State Management. (Research Paper) within the DEBS Research Papers-track in DEBS 2017 Author of Complex Event Recognition Languages within the DEBS Tutorials-track in DEBS 2017
Martina Marjanovic University of Zagreb Author of Modeling Aggregate Input Load of Interoperable Smart City Services. (New Direction Paper) within the DEBS Research Papers-track in DEBS 2017
Stefano Markidis KTH Royal Institute of Technology Author of RTHMS: A Tool for Data Placement on Hybrid Memory System within the ISMM 2017-track in ISMM 2017
Stefan Marr Johannes Kepler University Linz Austria Author of A Metaobject Protocol for Optimizing Application-Specific Run-Time Variability within the ICOOOLPS 2017-track in ICOOOLPS 2017 Programme Committee in Program Committee within the COP-track Committee Member in Program Committee within the ICOOOLPS-track
Ruben Martins Author of Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples within the PLDI Research Papers-track in PLDI 2017
Xavier Martorell Barcelona Supercomputing Center Chair in SRC Panel for PLDI 2017 Student Research Competition Chair in Organizing Committee for PLDI 2017
Viviana Mascardi DIBRIS, University of Genova, Italy Author of Parametric trace expressions for runtime verification of Java-like programs within the FTfJP 2017-track in FTfJP 2017
Hidehiko Masuhara Tokyo Institute of Technology Japan Author of Push-based Reactive Layer Activation in Context-Oriented Programming within the COP-17-track in COP 2017 Author of dart2java: Running Dart in Java-based Environments within the ICOOOLPS 2017-track in ICOOOLPS 2017 Author of Modular Array-based GPU Computing in a Dynamically-typed Language within the ARRAY 2017-track in ARRAY 2017 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 Mathur University of Illinois at Urbana-Champaign United States Author of Dynamic Race Prediction in Linear Time within the PLDI Research Papers-track in PLDI 2017
Nicholas Matsakis Mozilla Corporation Keynote Speaker of Keynote: Incrementalizing the Rust Compiler within the IC 2017-track in IC 2017 Author of Rust: Putting Ownership to Use within the Curry On Talks-track in CurryOn 2017 Author of Rust: Ownership in practice within the ECOOP Summer School-track in ECOOP 2017 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 Matthies Hasso Plattner Institute Author of A New Application Benchmark for Data Stream Processing Architectures in an Enterprise Context within the DEBS Doctoral Symposium-track in DEBS 2017
Luke Maurer University of Oregon, USA United States Author of Compiling without continuations within the PLDI Research Papers-track in PLDI 2017
Ruben Mayer University of Stuttgart Author of Minimizing Communication Overhead in Window-Based Parallel Complex Event Processing. (Research Paper) within the DEBS Research Papers-track in DEBS 2017 Author of StreamLearner – Distributed Incremental Machine Learning on Event Streams within the DEBS Grand Challenge-track in DEBS 2017
Christian Mayer University of Stuttgart Author of StreamLearner – Distributed Incremental Machine Learning on Event Streams within the DEBS Grand Challenge-track in DEBS 2017
Mikaël Mayer EPFL, Switzerland Author of Proactive Synthesis of Recursive Tree-to-String Functions from Examples within the ECOOP Research Papers-track in ECOOP 2017
Norman May SAP SE Author of Hardware Accelerated Application Integration Processing. (Industry Paper) within the DEBS Research Papers-track in DEBS 2017
Caitie McCaffrey Twitter United States Committee Member in Program Committee within the PMLDC-track
Stephen McCamant University of Minnesota United States Committee Member in External Review Committee for PLDI 2017
Kathryn S McKinley Microsoft Research Speaker of Hot, Classic, and Unrecognized Problems in Programming Languages within the PLMW-track in PLMW 2017 Panelist of Career paths in Computer Science within the PLMW-track in PLMW 2017 Author of Debugging Probabilistic Programs within the MAPL 2017-track in MAPL 2017 Committee Member in Mentors within the ECOOP Summer School-track Speaker in Mentors within the PLMW-track
Allison McMillan Collective Idea Author of Angelina Ballerina Learns About Memory Allocation within the Curry On Talks-track in CurryOn 2017
Tyler McMullen Fastly United States Author of Edge Compute: The First 5000 Years within the PMLDC 2017-track in PMLDC 2017 Committee Member in Program Committee within the PMLDC-track
Christopher Meiklejohn Université catholique de Louvain United States Author of On the Design of Distributed Programming Models within the PMLDC 2017-track in PMLDC 2017 Co-chair in Organizing Committee within the PMLDC-track
Dominik Meißner Institute of Distributed Systems, Ulm University Author of Chronograph—A Distributed Processing Platform for Online and Batch Computations on Event-sourced Graphs. (Experience Paper) within the DEBS Research Papers-track in DEBS 2017
Darya Melicher Carnegie Mellon University Author of A Capability-Based Module System for Authority Control within the ECOOP Research Papers-track in ECOOP 2017 Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
David Menendez Rutgers University Author of ALIVE-INFER: Data-Driven Precondition Inference for Peephole Optimizations in LLVM within the PLDI Research Papers-track in PLDI 2017
Kim Mens Université catholique de Louvain, Belgium Belgium Organizing Committee in Organizing Committee within the COP-track
Ole Meyer University of Duisburg-Essen Author of Property-based routing in clustered message brokers for CPS within the DEBS Doctoral Symposium-track in DEBS 2017
Dani Mezher CIMTI - ESIB - Saint-Joseph University - Beirut, Lebanon Author of A Coq-based synthesis of Scala programs which are correct-by-construction within the FTfJP 2017-track in FTfJP 2017
Mira Mezini TU Darmstadt Germany Author of Privacy-aware Distributed Incremental Computation within the IC 2017-track in IC 2017 Author of Hermes: Assessment and Creation of Effective Test Corpora within the SOAP-track in SOAP 2017 Author of Modular Composition of Reactive Applications within the Curry On Talks-track in CurryOn 2017 Author of A Co-contextual Type Checker for Featherweight Java within the ECOOP Research Papers-track in ECOOP 2017
Gianluca Mezzetti Aarhus University, Denmark Italy Committee Member in Artifact Evaluation Committee for PLDI 2017
Samuel Midkiff School of Electrical and Computer Engineering, Purdue University United States Author of Opening Remarks within the WCIRE 2017-track in WCIRE 2017 Moderator of Open Discussion: Building Infrastructure for Research and Education within the WCIRE 2017-track in WCIRE 2017 Committee Member in Organizing Committee within the WCIRE-track
Matthew Might University of Utah, USA United States Author of Winning the War on Error: Solving the Halting Problem and Curing Cancer within the Curry On Talks-track in CurryOn 2017
Heather Miller Ecole Polytechnique Federale de Lausanne CurryOn 2017 General Chair in Organizing Committee for PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM Author of Monotonicity Types for Distributed Dataflow within the PMLDC 2017-track in PMLDC 2017 Committee Member in Mentors within the ECOOP Summer School-track Co-chair in Organizing Committee within the PMLDC-track
Todd Millstein University of California, Los Angeles Committee Member in External Program Committee for PLDI 2017 Author of Network Configuration Synthesis with Abstract Topologies within the PLDI Research Papers-track in PLDI 2017
Anders Miltner Princeton University Committee Member in Artifact Evaluation Committee for PLDI 2017
Albert Mingkun Yang Author of Type-Assisted Automatic Garbage Collection for Lock-Free Data Structures within the ISMM 2017-track in ISMM 2017
Sasa Misailovic University of Illinois at Urbana-Champaign United States Committee Member in Program Committee for PLDI 2017 Session Chair of Synthesis (part of PLDI Research Papers)
Ashish Mishra Author of Analysis and Verification of Rich Typestate Properties for Complex Programs within the ECOOP Doctoral Symposium-track in ECOOP 2017
Tulika Mitra National University of Singapore, Singapore Singapore Committee Member in Program Committee for LCTES 2017
Adrian Mizzi Author of An Embedded DSL Framework for Distributed Embedded Systems within the DEBS Doctoral Symposium-track in DEBS 2017
Santiago M. Mola source{d} Author of Babelfish: Universal Code Parsing Server within the Curry On Talks-track in CurryOn 2017
Scott Moore Harvard University Committee member in Program Committee within the ECOOP Doctoral Symposium-track
Natan Morar The University of Birmingham Author of Demo: Demonstration of a Prototype for Credit Card Fraud Management within the DEBS Posters & Demos-track in DEBS 2017 Author of A Prototype for Credit Card Fraud Management. (Industry Paper) within the DEBS Research Papers-track in DEBS 2017
Greg Morrisett Cornell University Author of Compiling Markov Chain Monte Carlo Algorithms for Probabilistic Modeling within the PLDI Research Papers-track in PLDI 2017
J. Garrett Morris University of Edinburgh, UK United Kingdom Author of Mixed Messages: Measuring Conformance and Non-Interference in TypeScript within the ECOOP Research Papers-track in ECOOP 2017
Raef Mousheimish DAVID lab, University of Versailles Author of Automatic Learning of Predictive CEP Rules: Bridging the Gap between Data Mining and Complex Event Processing. (Research Paper) within the DEBS Research Papers-track in DEBS 2017
Rashmi Mudduluru Microsoft Research India India Committee Member in Artifact Evaluation Committee for PLDI 2017
Fabian Muehlboeck Author of Efficient Run-Times for Sound Gradual Typing within the ECOOP Doctoral Symposium-track in ECOOP 2017
Frank Mueller North Carolina State University, USA Committee Member in Program Committee for LCTES 2017
Rohan Mukherjee Rice University Author of Real-time High Performance Anomaly Detection over Data Streams within the DEBS Grand Challenge-track in DEBS 2017
Stefan Muller Author of Responsive Parallel Computation: Bridging Competitive and Cooperative Threading within the PLDI Research Papers-track in PLDI 2017
Charlie Murphy Princeton University Author of Verified Perceptron Convergence Theorem within the MAPL 2017-track in MAPL 2017
Derek Murray Google Author of A Computational Model for TensorFlow (An Introduction) within the MAPL 2017-track in MAPL 2017
Madan Musuvathi Microsoft Research Committee Member in Program Committee for PLDI 2017 Author of Fusing Effectful Comprehensions within the PLDI Research Papers-track in PLDI 2017
Onur Mutlu ETH Zurich Committee Member in Program Committee for PLDI 2017
Magnus O. Myreen Chalmers University of Technology, Sweden Sweden Tutorial organizer of Writing Verified Programs in CakeML within the PLDI Tutorials-track in PLDI 2017
Todd Mytkowicz Author of Debugging Probabilistic Programs within the MAPL 2017-track in MAPL 2017 Author of Fusing Effectful Comprehensions within the PLDI Research Papers-track in PLDI 2017
Anders Møller Aarhus University Denmark Committee Member in Program Committee for PLDI 2017 Session Chair of Analysis and Synthesis (part of ECOOP Research Papers) Author of Testing and Evolving TypeScript Declaration Files with Program Analysis within the JSTools 2017-track in JSTools 2017 Author of Systematic Approaches for Increasing Soundness and Precision of Static Analyzers within the SOAP-track in SOAP 2017 Author of Systematic Black-Box Analysis of Collaborative Web Applications within the PLDI Research Papers-track in PLDI 2017 Committee Member in Program Committee within the ECOOP Research Papers-track
Peter Müller ETH Zurich Switzerland 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
Patrick Müller TU Darmstadt, Germany Author of SootKeeper: Runtime Reusability for Modular Static Analysis within the SOAP-track in SOAP 2017
Sarah Nadi University of Alberta Canada Contributor/Author of Invited Talk: What Lies Beyond a PhD within the ECOOP Doctoral Symposium-track in ECOOP 2017 Committee member in Academic Panel within the ECOOP Doctoral Symposium-track Committee Member in Invited Speakers within the ECOOP Doctoral Symposium-track
Vijay Nagarajan University of Edinburgh, UK General Chair in Organizing Committee for LCTES 2017 Session Chair of Keynote 2 (part of LCTES )
Santosh Nagarakatte Rutgers University, USA United States Committee Member in External Review Committee for PLDI 2017 Session Chair of B (part of FTfJP) Author of ALIVE-INFER: Data-Driven Precondition Inference for Peephole Optimizations in LLVM within the PLDI Research Papers-track in PLDI 2017
Mayur Naik Georgia Tech Committee Member in Program Committee for PLDI 2017 Session Chair of Static Analysis and Security (part of PLDI Research Papers) Author of Combining the Logical and the Probabilistic in Program Analysis within the MAPL 2017-track in MAPL 2017
Chandrakana Nandi University of Washington, USA India Author of Debugging Probabilistic Programs within the MAPL 2017-track in MAPL 2017
Aleksandar Nanevski IMDEA Software Institute Spain Author of Concurrent Data Structures Linked in Time within the ECOOP Research Papers-track in ECOOP 2017
Praveen Narayanan Indiana University, USA Author of Verifiable, reusable, yet useful conditioning within the ECOOP Doctoral Symposium-track in ECOOP 2017
Lasse Natvig Norwegian University of Science and Technology Author of Efficient Array Slicing on the Intel Xeon Phi Coprocessor within the ARRAY 2017-track in ARRAY 2017
Ryan R. Newton Indiana University United States Committee Member in External Review Committee for PLDI 2017 Author of Compiling tree transforms to operate on packed representations within the ECOOP Research Papers-track in ECOOP 2017 Author of Instruction Punning: Lightweight Instrumentation for x86-64 within the PLDI Research Papers-track in PLDI 2017
Lisa Nguyen Quang Do 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 Nguyen Indiegogo Author of Two Households, Both Alike in Dignity: A Not-So-Tragedy of Refactoring Front-end APIs within the Curry On Talks-track in CurryOn 2017
Hoang Nga Nguyen Coventry University, Coventry, UK Author of Software Model Checking: A Promising Approach to Verify Mobile App Security within the FTfJP 2017-track in FTfJP 2017
Jens Nicolay Vrije Universiteit Brussel, Belgium Belgium Author of Mailbox Abstractions for Static Analysis of Actor Programs within the ECOOP Research Papers-track in ECOOP 2017
Victor Nicolet University of Toronto France Author of Synthesis of Divide and Conquer Parallelism for Loops within the PLDI Research Papers-track in PLDI 2017
Benjamin Barslev Nielsen Aarhus University Denmark Author of Systematic Approaches for Increasing Soundness and Precision of Static Analyzers within the SOAP-track in SOAP 2017
Chuanyao Nie The University of New South Wales Author of Integrating Task Scheduling and Cache Locking for Multicore Real-time Embedded Systems within the LCTES 2017-track in LCTES 2017
Yiannis Nikolakopoulos Chalmers University of Technology Author of Maximizing Determinism in Stream Processing Under Latency Constraints. (Research Paper) within the DEBS Research Papers-track in DEBS 2017 Author of Performance Modeling of Stream Joins. (Research Paper) within the DEBS Research Papers-track in DEBS 2017
Lin Ning North Carolina State University Author of Generalizations of the Theory and Deployment of Triangular Inequality for Compiler-Based Strength Reduction within the PLDI Research Papers-track in PLDI 2017
James Noble Victoria University of Wellington Committee Member in Program Committee within the IWACO-track Committee Member in Program Committee within the FTfJP-track
Aleksey Nogin HRL Laboratories, LLC United States Author of Using formal tools to develop high-assurance software for autonomous ground vehicles within the DSW 2017-track in DSW 2017
Sam H. Noh UNIST (Ulsan National Institute of Science and Technology), Korea Committee Member in Steering Committee for LCTES 2017
Michael Norrish Data61 at CSIRO, Australia / Australian National University, Australia Australia Tutorial organizer of Writing Verified Programs in CakeML within the PLDI Tutorials-track in PLDI 2017
Michael O'Boyle 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'Hearn Facebook Tutorial organizer of Building your own modular static analyzer with Facebook Infer within the PLDI Tutorials-track in PLDI 2017
Cosmin Oancea DIKU, University of Copenhagen Denmark Author of Futhark: Purely Functional GPU-programming with Nested Parallelism and In-place Array Updates within the PLDI Research Papers-track in PLDI 2017
Martin Odersky EPFL, Switzerland Switzerland Author of What to Leave Implicit within the Curry On Keynotes-track in CurryOn 2017 Keynote Speaker of What to Leave Implicit within the PLDI Invited Speakers-track in PLDI 2017 Author of Miniphases: Compilation using Modular and Efficient Tree Transformations within the PLDI Research Papers-track in PLDI 2017
Nobuhiko Ogura Tokyo City University Author of Petri-Net Based Testing Environment for Context-Oriented Programming within the COP-17-track in COP 2017 Author of IoT Robot Simulator and Framework for Context-Oriented Programming within the COP-17-track in COP 2017
Peter Ohmann University of Wisconsin - Madison United States Author of Control-Flow Recovery from Partial Failure Reports within the PLDI Research Papers-track in PLDI 2017
Bruno C. d. S. Oliveira The University of Hong Kong Hong Kong Author of EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse within the ECOOP Research Papers-track in ECOOP 2017 Committee Member in Program Committee within the ECOOP Research Papers-track
Julius Ollesch University of Duisburg-Essen Author of Poster: The Requirements Engineering Perspective on Events in Cyber-Physical Systems within the DEBS Posters & Demos-track in DEBS 2017 Author of Property-based routing in clustered message brokers for CPS within the DEBS Doctoral Symposium-track in DEBS 2017
Kunle Olukotun Stanford University United States Tutorial organizer of Scala, LMS and Delite for High-Performance DSLs and Program Generators within the PLDI Tutorials-track in PLDI 2017 Committee Member in Organizing Committee within the MAPL-track Committee Member in Program Committee within the MAPL-track
Emanuel Onica Alexandru Ioan Cuza University of Iasi Author of Optimized Stage Processing for Anomaly Detection on Numerical Data Streams within the DEBS Grand Challenge-track in DEBS 2017
Fernando Orejas 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 Osera Grinnell College United States Committee Member in External Review Committee for PLDI 2017
Harold Ossher IBM Thomas J. Watson Research Center United States Programme Committee in Program Committee within the COP-track
Klaus Ostermann University of Tübingen Germany Committee Member in Program Committee within the IC-track Committee Member in Program Committee within the ECOOP Research Papers-track
Leo Osvald Purdue University, USA Committee Member in Artifact Evaluation Committee for PLDI 2017 Author of Flexible Data Views: Design and Implementation within the ARRAY 2017-track in ARRAY 2017 Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Scott Owens University of Kent, UK United Kingdom Tutorial organizer of Writing Verified Programs in CakeML within the PLDI Tutorials-track in PLDI 2017
Uday P. Khedker Author of "What's in a Name?" Going Beyond Allocation Site Names in Heap Analysis within the ISMM 2017-track in ISMM 2017
Gordon Pace Author of An Embedded DSL Framework for Distributed Embedded Systems within the DEBS Doctoral Symposium-track in DEBS 2017 Committee Member in Program Committee within the VORTEX-track
Jitendra Padhye Microsoft Author of Network Configuration Synthesis with Abstract Topologies within the PLDI Research Papers-track in PLDI 2017
David Padua 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 Paek Seoul National University, Korea Committee Member in Program Committee for LCTES 2017
Sreepathi Pai University of Rochester United States Committee Member in Artifact Evaluation Committee for PLDI 2017
Georgios Paliouras Institute of Informatics & Telecommunications, NCSR "Demokritos" Author of Event Forecasting with Pattern Markov Chains. (Research Paper) within the DEBS Research Papers-track in DEBS 2017 Author of Demo: Demonstration of a Prototype for Credit Card Fraud Management within the DEBS Posters & Demos-track in DEBS 2017 Author of A Prototype for Credit Card Fraud Management. (Industry Paper) within the DEBS Research Papers-track in DEBS 2017
Jens Palsberg University of California, Los Angeles (UCLA) Committee Member in External Program Committee for PLDI 2017 Committee Member in Program Committee within the FTfJP-track
Nikolaos Panagiotou University of Athens Author of Demo: REMI, Reusable Elements for Multi-Level Information Availability within the DEBS Posters & Demos-track in DEBS 2017
Chen Pan Author of A Lightweight Progress Maximization Scheduler for Non-Volatile Processor Under Unstable Energy Harvesting within the LCTES 2017-track in LCTES 2017
Alessandro Vittorio Papadopoulos Mälardalen University Sweden Author of Performance Modeling of Stream Joins. (Research Paper) within the DEBS Research Papers-track in DEBS 2017
Marina Papatriantafilou Chalmers University of Technology Author of Maximizing Determinism in Stream Processing Under Latency Constraints. (Research Paper) within the DEBS Research Papers-track in DEBS 2017 Author of Performance Modeling of Stream Joins. (Research Paper) within the DEBS Research Papers-track in DEBS 2017
Matthew Parkinson Microsoft Research, UK United Kingdom Author of Simple, fast and safe manual memory management within the PLDI Research Papers-track in PLDI 2017 Author of Verifying invariants of lock-free data structures with rely-guarantee and refinement type within the PLDI Research Papers-track in PLDI 2017 Committee Member in Program Committee within the ECOOP Research Papers-track
Jihyeok Park KAIST, South Korea Author of Revisiting Recency Abstraction for JavaScript: Towards an Intuitive, Compositional, and Efficient Heap Abstraction within the SOAP-track in SOAP 2017
Nimrod Partush Technion Author of Similarity of Binaries through re-Optimization within the PLDI Research Papers-track in PLDI 2017
Corina S Pasareanu NASA Ames Research Center Committee Member in Program Committee within the ECOOP Research Papers-track
Marcelo Pasin Université de Neuchâtel Author of SecureStreams: A Reactive Middleware Framework for Secure Data Stream Processing. (Research Paper) within the DEBS Research Papers-track in DEBS 2017
Norbert Pataki Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers Author of Code Generation in Serializers and Comparators of Apache Flink within the ICOOOLPS 2017-track in ICOOOLPS 2017
Prithviraj Patil Vanderbilt University Author of Poster: Software-defined Adaptive Resource Management for Cloud-hosted Group Communication Applications within the DEBS Posters & Demos-track in DEBS 2017
Marta Patiño Universidad Politécnica de Madrid General Chair in Organizing Committee for DEBS 2017
Daniel Patterson Northeastern University United States Author of FunTAL: Reasonably Mixing a Functional Language with Assembly within the PLDI Research Papers-track in PLDI 2017
Niki Pavlopoulou Insight Centre for Data Analytics NUIG Author of Automatic Anomaly Detection over Sliding Windows within the DEBS Grand Challenge-track in DEBS 2017
Hannes Payer 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 Pearce Victoria University of Wellington United Kingdom Author of Array Programming in Whiley within the ARRAY 2017-track in ARRAY 2017 Author of Contracts in the Wild: A Study of Java Programs within the ECOOP Research Papers-track in ECOOP 2017
Yuanfeng Peng University of Pennsylvania Author of BARRACUDA: Binary-level Analysis of Runtime RAces in CUDA programs within the PLDI Research Papers-track in PLDI 2017
Ivy Bo Peng KTH Royal Institute of Technology Author of RTHMS: A Tool for Data Placement on Hybrid Memory System within the ISMM 2017-track in ISMM 2017
Jamie Perconti Northeastern University Author of FunTAL: Reasonably Mixing a Functional Language with Assembly within the PLDI Research Papers-track in PLDI 2017
Roly Perera University of Edinburgh, UK / University of Glasgow, UK United Kingdom Author of μPuppet: A Declarative Subset of the Puppet Configuration Language within the ECOOP Research Papers-track in ECOOP 2017
Srinath Perera WSO2 Author of Anomaly Detection of Manufacturing Equipment via High Performance RDF Data Stream Processing within the DEBS Grand Challenge-track in DEBS 2017 Author of Demo: Solution Recommender for System Failure Recovery via Log Event Pattern Matching on a Knowledge Graph within the DEBS Posters & Demos-track in DEBS 2017 Author of Demo: Scalable Complex Event Processing on a Notebook within the DEBS Posters & Demos-track in DEBS 2017
Isuru Perera WSO2 Inc. Author of Anomaly Detection of Manufacturing Equipment via High Performance RDF Data Stream Processing within the DEBS Grand Challenge-track in DEBS 2017
Riley Perry UNSW Author of Visualising complex event hierarchies using relevant domain ontologies within the DEBS Doctoral Symposium-track in DEBS 2017
Erez Petrank 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 Petrashko EPFL Author of Miniphases: Compilation using Modular and Efficient Tree Transformations within the PLDI Research Papers-track in PLDI 2017
Tomas Petricek Alan Turing Institute United Kingdom Author of Data exploration through dot-driven development within the ECOOP Research Papers-track in ECOOP 2017
Michael Philippsen Author of Diff Graphs for a fast Incremental Pointer Analysis within the ICOOOLPS 2017-track in ICOOOLPS 2017
Eline Philips Nokia Bell Labs Author of Demo: Building Connected Car Applications on Top of the World-Wide Streams Platform within the DEBS Posters & Demos-track in DEBS 2017
Luís Picciochi Oliveira Feedzai Author of NG2C: Pretenuring Garbage Collection with Dynamic Generations for HotSpot Big Data Applications within the ISMM 2017-track in ISMM 2017
Jakob Pietron Ulm University Author of Chronograph—A Distributed Processing Platform for Online and Batch Computations on Event-sourced Graphs. (Experience Paper) within the DEBS Research Papers-track in DEBS 2017
Toma Pigli University of Pennsylvania Author of BARRACUDA: Binary-level Analysis of Runtime RAces in CUDA programs within the PLDI Research Papers-track in PLDI 2017
Silvia Moura Pina Zalando SE Author of The Programmer's Guide to Ideology within the Curry On Talks-track in CurryOn 2017
Keshav Pingali University of Texas, Austin India Committee Member in Steering Committee for PLDI 2017
Elvira Pino 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 Pires Université de Neuchâtel Switzerland Author of SecureStreams: A Reactive Middleware Framework for Secure Data Stream Processing. (Research Paper) within the DEBS Research Papers-track in DEBS 2017
Marco Pistoia IBM Research United States Committee Member in Program Committee for PLDI 2017
Filip Pizlo Apple United States Speaker of Engineering a Real-World Garbage Collector within the ECOOP Summer School-track in ECOOP 2017 Speaker in Speakers within the ECOOP Summer School-track
Thomas Plagemann University of Oslo Author of DCEP-Sim: An Open Simulation Framework for Distributed CEP. (Research Paper) within the DEBS Research Papers-track in DEBS 2017
Laurent Plagne EDF Lab Author of Portable Vectorization and Parallelization of C++ Multi-Dimensional Array Computations within the ARRAY 2017-track in ARRAY 2017
Andreas Podelski University of Freiburg, Germany Germany Committee Member in External Review Committee for PLDI 2017
Anton Podkopaev St. Petersburg University, JetBrains Russia Author of Promising Compilation to ARMv8 POP within the ECOOP Research Papers-track in ECOOP 2017
Ivana Podnar Zarko University of Zagreb Author of Modeling Aggregate Input Load of Interoperable Smart City Services. (New Direction Paper) within the DEBS Research Papers-track in DEBS 2017
Nadia Polikarpova MIT CSAIL, USA United States Tutorial organizer of Refinement Types for Program Verification and Synthesis within the PLDI Tutorials-track in PLDI 2017
Radu Popescu CERN Author of The CernVM File System - Beyond Static Content Distribution within the Curry On Talks-track in CurryOn 2017
Adam Porter University of Maryland Author of Learning a Classifier for False Positive Error Reports Emitted by Static Code Analysis Tools within the MAPL 2017-track in MAPL 2017
Alex Potanin Victoria University of Wellington New Zealand Author of Are Your Incoming Aliases Really Necessary? Remembering the Cost of Object Ownership. within the IWACO 2017-track in IWACO 2017 Author of A Capability-Based Module System for Authority Control within the ECOOP Research Papers-track in ECOOP 2017 Author of EvilPickles: DoS attacks based on Object-Graph Engineering within the ECOOP Research Papers-track in ECOOP 2017
Louis-Noel Pouchet Colorado State University Financial Chair in Organizing Committee for PLDI 2017 Author of Opening Remarks within the WCIRE 2017-track in WCIRE 2017 Moderator of Open Discussion: Building Infrastructure for Research and Education within the WCIRE 2017-track in WCIRE 2017 Author of The ROSE Compiler Framework within the WCIRE 2017-track in WCIRE 2017 Committee Member in Organizing Committee within the WCIRE-track
Marc Pouzet École normale supérieure France Author of A Formally Verified Compiler for Lustre within the PLDI Research Papers-track in PLDI 2017
Bobby Powers University of Massachusetts, Amherst Committee Member in Artifact Evaluation Committee for PLDI 2017
Matteo Pradella Politecnico di Milano, Italy Programme Committee in Program Committee within the COP-track
Michael Pradel 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) Author of Systematic Black-Box Analysis of Collaborative Web Applications within the PLDI Research Papers-track in PLDI 2017 Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ECOOP Artifacts-track
Ron Pressler Author of The Practice and Theory of TLA+ within the Curry On Talks-track in CurryOn 2017
Jon Pretty Propensive Ltd Author of Impromptu: A Lightweight, dependently-typed async framework for Scala within the Curry On Talks-track in CurryOn 2017
Tony Printezis Twitter Committee Member in Program Committee within the ISMM -track
Lukas Probst University of Basel Author of Demo: Real-Time Football Analysis with StreamTeam within the DEBS Posters & Demos-track in DEBS 2017
Markus Püschel ETH Zurich Switzerland Tutorial organizer of Scala, LMS and Delite for High-Performance DSLs and Program Generators within the PLDI Tutorials-track in PLDI 2017
Keni Qiu Capital Normal University, Beijing, China Author of [Poster] Checkpointing-aware Loop Tiling for Energy Harvesting Powered Non-Volatile Processors within the LCTES 2017-track in LCTES 2017
Leonardo Querzoni Sapienza University Rome Doctoral Symposium Chair in Organizing Committee for DEBS 2017 Author of Data Streaming and its Application to Stream Processing within the DEBS Tutorials-track in DEBS 2017
Azalea Raad Imperial College London United Kingdom Committee Member in Program Committee within the IWACO-track
Fethi Rabhi UNSW Author of Visualising complex event hierarchies using relevant domain ontologies within the DEBS Doctoral Symposium-track in DEBS 2017
Rick Rabiser Christian Doppler Lab. MEVSS, Johannes Kepler University Linz Author of An Event-based Capture-and-Compare Approach to Support the Evolution of Systems of Systems. (Experience Paper) within the DEBS Research Papers-track in DEBS 2017
Mukund Raghotaman University of Pennsylvania Author of StreamQRE: Modular Specification and Efficient Evaluation of Quantitative Queries over Streaming Data within the PLDI Research Papers-track in PLDI 2017
Arun Krishnakumar Rajagopalan Texas A&M University Author of What’s the Optimal Performance of Precise Dynamic Race Detection? – A Redundancy Perspective within the ECOOP Research Papers-track in ECOOP 2017
Zvonimir Rakamaric University of Utah United States Committee Member in External Review Committee for PLDI 2017
Stefan Ramson Hasso Plattner Institute, Potsdam Author of The Declarative Nature of Implicit Layer Activation within the COP-17-track in COP 2017
Marianna Rapoport University of Waterloo Canada Author of Mutable WadlerFest DOT within the FTfJP 2017-track in FTfJP 2017
Shawn Rasheed Massey University New Zealand Author of On the Construction of Soundness Oracles within the SOAP-track in SOAP 2017 Author of EvilPickles: DoS attacks based on Object-Graph Engineering within the ECOOP Research Papers-track in ECOOP 2017
Aseem Rastogi Microsoft Research, n.n. India Committee Member in Program Committee within the FTfJP-track
Antonio Ravara Committee Member in Program Committee within the VORTEX-track
Veselin Raychev ETH Zurich Committee Member in External Review Committee for PLDI 2017
Mariana Raykova Yale University Committee Member in External Review Committee for PLDI 2017
Chandan Reddy INRIA Author of Polyhedral Compilation and Accelerator Programming with PENCIL and PPCG within the WCIRE 2017-track in WCIRE 2017
John Regehr University of Utah United States Committee Member in External Program Committee for PLDI 2017 Author of Taming Undefined Behavior in LLVM within the PLDI Research Papers-track in PLDI 2017
Oliver Reiche Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU) Germany Author of Auto-Vectorization for Image Processing DSLs within the LCTES 2017-track in LCTES 2017
Michael Reif TU Darmstadt, Germany Germany Author of Hermes: Assessment and Creation of Effective Test Corpora within the SOAP-track in SOAP 2017
Benjamin Reissaus Hasso Plattner Institute Author of A New Application Benchmark for Data Stream Processing Architectures in an Enterprise Context within the DEBS Doctoral Symposium-track in DEBS 2017
Thomas Reps University of Wisconsin - Madison and Grammatech Inc. United States Author of Compositional Recurrence Analysis Revisited within the PLDI Research Papers-track in PLDI 2017
Ahmed Rezine Author of Flatten and Conquer (A Framework for Efficient Analysis of String Constraints) within the PLDI Research Papers-track in PLDI 2017
Tamara Rezk Inria France Author of Type Abstraction for Relaxed Noninterference within the ECOOP Research Papers-track in ECOOP 2017
Dustin Rhodes Author of Correctness of Partial Escape Analysis for Multithreading Optimization within the FTfJP 2017-track in FTfJP 2017 Author of BigFoot: Static Check Placement for Dynamic Race Detection within the PLDI Research Papers-track in PLDI 2017
Nathan Ricci Committee Member in Program Committee within the ISMM -track
Lionel Rieg Collège de France Author of A Formally Verified Compiler for Lustre within the PLDI Research Papers-track in PLDI 2017
Dominik Riemer FZI Research Center for Information Technology Author of Considering Human Factors in the Development of Situation-Aware CEP Applications. (New Direction Paper) within the DEBS Research Papers-track in DEBS 2017
Manuel Rigger Johannes Kepler University Linz, Austria Austria Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Stefanie Rinderle-Ma University of Vienna Author of Hardware Accelerated Application Integration Processing. (Industry Paper) within the DEBS Research Papers-track in DEBS 2017
Noam Rinetzky Tel Aviv University Israel Committee Member in External Review Committee for PLDI 2017
Daniel Ritter SAP SE Author of Hardware Accelerated Application Integration Processing. (Industry Paper) within the DEBS Research Papers-track in DEBS 2017
Xavier Rival INRIA/CNRS/ENS Paris France Author of Revisiting Recency Abstraction for JavaScript: Towards an Intuitive, Compositional, and Efficient Heap Abstraction within the SOAP-track in SOAP 2017
Nicolo Rivetti Technion - Israel Institute of Technology Author of FlinkMan – Anomaly Detection in Manufacturing Equipment with Apache Flink within the DEBS Grand Challenge-track in DEBS 2017 Author of Data Streaming and its Application to Stream Processing within the DEBS Tutorials-track in DEBS 2017 Author of Demo: REMI, Reusable Elements for Multi-Level Information Availability within the DEBS Posters & Demos-track in DEBS 2017
Dominic Rizzo Google Invited speaker of Building Faith in Experts: Applying Formal Verification to Cryptography within the DSW 2017-track in DSW 2017
Rodrigo Rodrigues Instituto Superior Técnico, U. Lisboa & INESC-ID Portugal Committee Member in Program Committee within the PMLDC-track
Oscar Rodriguez JetBrains Author of JetBrains Meta Programming System (MPS) within the WCIRE 2017-track in WCIRE 2017
Marc Roelands Nokia Author of Demo: Building Connected Car Applications on Top of the World-Wide Streams Platform within the DEBS Posters & Demos-track in DEBS 2017
Markus Roggenbach Swansea University, Swansea, UK Author of Software Model Checking: A Promising Approach to Verify Mobile App Security within the FTfJP 2017-track in FTfJP 2017
Erik Romijn Author of Helping communities & products thrive by fostering empathy within the Curry On Talks-track in CurryOn 2017
Tiark Rompf Purdue University United States Author of Flexible Data Views: Design and Implementation within the ARRAY 2017-track in ARRAY 2017 Author of How types can turn a SQL interpreter into a SQL compiler within the Curry On Talks-track in CurryOn 2017 Author of Strong Normalization for Dependent Object Types (DOT) within the ECOOP Research Papers-track in ECOOP 2017 Tutorial organizer of Scala, LMS and Delite for High-Performance DSLs and Program Generators within the PLDI Tutorials-track in PLDI 2017 Committee Member in Program Committee within the ECOOP Research Papers-track
Andreas Rossberg Google Germany Author of Bringing the Web up to Speed with WebAssembly within the PLDI Research Papers-track in PLDI 2017
Grigore Rosu University of Illinois at Urbana-Champaign United States Committee Member in Program Committee within the ECOOP Research Papers-track
Kurt Rothermel Universitaet Stuttgart Author of Minimizing Communication Overhead in Window-Based Parallel Complex Event Processing. (Research Paper) within the DEBS Research Papers-track in DEBS 2017 Author of Addressing TCAM Limitations of Software-Defined Networks for Content-Based Routing. (Research Paper) within the DEBS Research Papers-track in DEBS 2017
Romain Rouvoy University Lille 1 and INRIA Author of SecureStreams: A Reactive Middleware Framework for Secure Data Stream Processing. (Research Paper) within the DEBS Research Papers-track in DEBS 2017
Cindy Rubio-Gonzalez University of California, Davis Committee Member in External Review Committee for PLDI 2017
Philipp Ruemmer Uppsala University Sweden Author of Flatten and Conquer (A Framework for Efficient Analysis of String Constraints) within the PLDI Research Papers-track in PLDI 2017
Martin Rumo Swiss Federal Institute of Sports Magglingen Author of Demo: Real-Time Football Analysis with StreamTeam within the DEBS Posters & Demos-track in DEBS 2017
Andrey Rybalchenko Microsoft Research United Kingdom Committee Member in Program Committee for PLDI 2017
Sukyoung Ryu KAIST Korea, South Keynote Speaker of Journey to Find Bugs in JavaScript Web Applications in the Wild within the SOAP-track in SOAP 2017 Author of Revisiting Recency Abstraction for JavaScript: Towards an Intuitive, Compositional, and Efficient Heap Abstraction within the SOAP-track in SOAP 2017 Tutorial organizer of Bug detection in JavaScript web apps using the SAFE framework within the PLDI Tutorials-track in PLDI 2017
Parsa Saadatpanah University of Maryland Author of Learning a Classifier for False Positive Error Reports Emitted by Static Code Analysis Tools within the MAPL 2017-track in MAPL 2017
Olli Saarikivi Author of Fusing Effectful Comprehensions within the PLDI Research Papers-track in PLDI 2017
P. Sadayappan Ohio State University United States Session Chair of Afternoon talks 2 (part of ARRAY) Author of Keynote: Towards achieving high performance, productivity, and portability for matrix/tensor computations in machine learning and data analytics within the ARRAY 2017-track in ARRAY 2017
Mohammad Sadoghi Purdue Industry Chairs in Organizing Committee for DEBS 2017 Session Chair of Session 3: Publish/Subscribe (part of DEBS Research Papers)
Yuta Saeki Kyushu University Author of ContextROS: Context-Oriented Programming for the Robot Operating System within the COP-17-track in COP 2017
Laith Sakka Author of Compiling tree transforms to operate on packed representations within the ECOOP Research Papers-track in ECOOP 2017
Pooya Salehi Technical University of Munich Author of PopSub: Improving Resource Utilization in Distributed Content-based Publish/Subscribe Systems. (Research Paper) within the DEBS Research Papers-track in DEBS 2017
Baptiste Saleil Author of Interprocedural Specialization of Higher-Order Dynamic Languages Without Static Analysis within the ECOOP Research Papers-track in ECOOP 2017
Guido Salvaneschi TU Darmstadt Session Chair of Session 2: High Performance and Distribution (part of DEBS Research Papers) Author of Privacy-aware Distributed Incremental Computation within the IC 2017-track in IC 2017 Author of Consistency Types for Safe and Efficient Distributed Programming within the FTfJP 2017-track in FTfJP 2017 Programme Committee in Program Committee within the COP-track
Malavika Samak Indian Institute of Science, Bangalore India Committee Member in Artifact Evaluation Committee for PLDI 2017
Roopsha Samanta Purdue University Speaker of Formal methods research: The what, the why and the how within the PLMW-track in PLMW 2017 Panelist of Career paths in Computer Science within the PLMW-track in PLMW 2017 Speaker in Mentors within the PLMW-track
Adrian Sampson Cornell University United States Publicity Chair in Organizing Committee for PLDI 2017 Author of Debugging Probabilistic Programs within the MAPL 2017-track in MAPL 2017
Anirudh Santhiar Indian Institute of Science Author of Static Deadlock Detection for Asynchronous C# Programs within the PLDI Research Papers-track in PLDI 2017
José Santos Author of JaVerT: a logic-based tool for JavaScript Verification within the JSTools 2017-track in JSTools 2017
Vivek Sarkar Rice University, USA Committee Member in External Program Committee for PLDI 2017 Author of A Marshalled Data Format for Pointers in Relocatable Data Blocks within the ISMM 2017-track in ISMM 2017
Jennifer B. Sartor Sofware Languages Lab, Vrije Universiteit Brussel Belgium Committee Member in Program Committee within the ISMM -track
Annabel Satin 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 Scalas Imperial College London Author of A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming within the ECOOP Research Papers-track in ECOOP 2017 Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Valerio Schiavoni University of Neuchatel Switzerland Author of SecureStreams: A Reactive Middleware Framework for Secure Data Stream Processing. (Research Paper) within the DEBS Research Papers-track in DEBS 2017
Cole Schlesinger Samsung Research America Committee Member in SRC Panel for PLDI 2017 Tutorial organizer of P4: Programming the Network Data Plane within the PLDI Tutorials-track in PLDI 2017
Max Schlüter Author of Static Analysis of CommonJS Modules within the JSTools 2017-track in JSTools 2017
Gerardo Schneider University of Gothenburg Sweden Committee Member in Program Committee within the VORTEX-track
Scott Schneider IBM Research Author of Low-Latency Sliding-Window Aggregation in Worst-Case Constant Time. (Research Paper) within the DEBS Research Papers-track in DEBS 2017 Author of Sliding-Window Aggregation Algorithms within the DEBS Tutorials-track in DEBS 2017 Author of Low-Synchronization, Mostly Lock-Free, Elastic Scheduling for Streaming Runtimes within the PLDI Research Papers-track in PLDI 2017
Pierre Yves Schobbens University of Namur Author of Formal Analysis of Object-Oriented Mograms within the FTfJP 2017-track in FTfJP 2017
Bernhard Scholz The University of Sydney Committee Member in Program Committee within the FTfJP-track
Bernhard Scholz 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 ) Author of An Efficient Tunable Selective Points-to Analysis for Large Codebases within the SOAP-track in SOAP 2017 Tutorial organizer of Engineering Static Analyzers with Soufflé within the PLDI Tutorials-track in PLDI 2017 Committee Member in Program Committee within the SOAP-track
Derek Schuff Google Author of Bringing the Web up to Speed with WebAssembly within the PLDI Research Papers-track in PLDI 2017
Heiko Schuldt University of Basel Author of Demo: Real-Time Football Analysis with StreamTeam within the DEBS Posters & Demos-track in DEBS 2017
Christian Schulte KTH Royal Institute of Technology, Sweden Committee Member in Program Committee for LCTES 2017
Wolfram Schulte Microsoft Author of Challenges to Achieving High Availability at Scale within the ECOOP Invited Speakers-track in ECOOP 2017
Jasper Schulz King's College London Germany Author of Improving Warmup in Meta-Traced Virtual Machines within the ECOOP Doctoral Symposium-track in ECOOP 2017
Assaf Schuster Technion Author of One for All and All for One: Simultaneous Approximation of Multiple Functions over Distributed Streams. (Research Paper) within the DEBS Research Papers-track in DEBS 2017
Christopher Schuster University of California, Santa Cruz Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Malte Schwerhoff ETH Zurich, Switzerland Switzerland Committee Member in Program Committee within the FTfJP-track
Chris Seaton Oracle Labs United Kingdom Author of Practical Partial Evaluation for High-Performance Dynamic Language Runtimes within the PLDI Research Papers-track in PLDI 2017 Committee Member in Program Committee within the ICOOOLPS-track
Eric Sedlar Oracle Labs Invited speaker of Can Compiler Magic Ever Be Explained? within the ICOOOLPS 2017-track in ICOOOLPS 2017
Lionel Seinturier University of Lille, Lille, France Programme Committee in Program Committee within the COP-track
Suad Sejdovic FZI Research Center for Information Technology Author of Considering Human Factors in the Development of Situation-Aware CEP Applications. (New Direction Paper) within the DEBS Research Papers-track in DEBS 2017
Arik Senderovich Technion - Israel Institute of Technology Author of Demo: REMI, Reusable Elements for Multi-Level Information Availability within the DEBS Posters & Demos-track in DEBS 2017
Koushik Sen University of California, Berkeley United States Committee Member in External Program Committee for PLDI 2017
Ilya Sergey University College London United Kingdom Author of Concurrent Data Structures Linked in Time within the ECOOP Research Papers-track in ECOOP 2017
Bernard Serpette Inria Author of Type Abstraction for Relaxed Noninterference within the ECOOP Research Papers-track in ECOOP 2017
Niels G. W. Serup DIKU, University of Copenhagen Denmark Author of Futhark: Purely Functional GPU-programming with Nested Parallelism and In-place Array Updates within the PLDI Research Papers-track in PLDI 2017
Marco Servetto Victoria University of Wellington Author of Tracing sharing in an imperative pure calculus within the FTfJP 2017-track in FTfJP 2017
Peter Sestoft IT University of Copenhagen Author of Quad Ropes -- Immutable, Declarative Arrays with Parallelizable Operations within the ARRAY 2017-track in ARRAY 2017
Vinay Setty MPI Saarbrücken Publicity Chair in Organizing Committee for DEBS 2017
Peter Sewell University of Cambridge Committee Member in External Program Committee for PLDI 2017
Klaus Seyerlehner Primetals Technologies Austria GmbH Author of An Event-based Capture-and-Compare Approach to Support the Evolution of Systems of Systems. (Experience Paper) within the DEBS Research Papers-track in DEBS 2017
Rohin Shah University of California, Berkeley Author of Automated Incrementalization through Synthesis within the IC 2017-track in IC 2017 Committee Member in Program Committee within the IC-track
Siraj Ahmed Shaikh Coventry University, Coventry, UK Author of Software Model Checking: A Promising Approach to Verify Mobile App Security within the FTfJP 2017-track in FTfJP 2017
Rian Shambaugh University of Massachusetts Amherst United States Committee Member in Artifact Evaluation Committee for PLDI 2017
Zili Shao The Hong Kong Polytechnic University Hong Kong Program Chair in Organizing Committee for LCTES 2017 Session Chair of Keynote 1 (part of LCTES )
Zhong Shao 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) Author of CertiKOS: A Breakthrough toward Hacker-Resistant Operating Systems within the DSW 2017-track in DSW 2017
Rahul Sharma Microsoft Research India Committee Member in External Review Committee for PLDI 2017 Author of Synthesizing Program Input Grammars within the PLDI Research Papers-track in PLDI 2017
Edwin Sha Chongqing University Author of Optimal Functional Unit Assignment and Voltage Selection for Pipelined MPSoC with Guaranteed Probability on Time Performance within the LCTES 2017-track in LCTES 2017
Mary Sheeran Committee Member in Program Committee within the ARRAY-track
Xipeng Shen North Carolina State University China Keynote Speaker of Bridging the Gap between Memory Performance and Massive Parallelism: The Critical Role of Programming Systems Innovations within the ISMM 2017-track in ISMM 2017 Author of Generalizations of the Theory and Deployment of Triangular Inequality for Compiler-Based Strength Reduction within the PLDI Research Papers-track in PLDI 2017
Kyumars Sheykh Esmaili Nokia Bell Labs Author of Demo: Building Connected Car Applications on Top of the World-Wide Streams Platform within the DEBS Posters & Demos-track in DEBS 2017 Author of Reflections on Almost Two Decades of Research into Stream Processing within the DEBS Tutorials-track in DEBS 2017 Author of Kafka versus RabbitMQ. (Industry Paper) within the DEBS Research Papers-track in DEBS 2017
Suchul Shin Netcoretech Inc. Author of Poster: Multilateral Context Analysis based on the Novel Visualization of Network Tomography within the DEBS Posters & Demos-track in DEBS 2017
Yangqingwei Shi Peking University Author of A Capability-Based Module System for Authority Control within the ECOOP Research Papers-track in ECOOP 2017
August Shi University of Illinois at Urbana-Champaign Committee Member in Artifact Evaluation Committee for PLDI 2017
Sharon Shoham Tel Aviv university Israel Committee Member in Program Committee for PLDI 2017
Ali Shoker HASLab/INESC TEC & University of Minho Portugal Author of There are no BFT Fans Anymore... About Secure Eventual Consistency within the Curry On Talks-track in CurryOn 2017 Committee Member in Program Committee within the PMLDC-track
Tatiana Shpeisman Intel Labs United States Author of Introduction and Welcome within the MAPL 2017-track in MAPL 2017 Author of Concluding Remarks within the MAPL 2017-track in MAPL 2017 Author of Parallelizing Julia with a Non-invasive DSL within the ECOOP Research Papers-track in ECOOP 2017 General Chair in Organizing Committee within the MAPL-track Committee Member in Program Committee within the MAPL-track
Wolfram Shulte Facebook Author of Challenges to Achieving High Availability at Scale within the DEBS Invited Speakers-track in DEBS 2017
Jiwu Shu Tsinghua University Committee Member in Program Committee for LCTES 2017
Mihaela Sighireanu IRIF, University Paris Diderot and CNRS, France Author of A Refinement Hierarchy for Free List Memory Allocators within the ISMM 2017-track in ISMM 2017
Julien Signoles CEA LIST Author of Shadow State Encoding for Efficient Monitoring of Block-level Properties within the ISMM 2017-track in ISMM 2017
Sourav Sikdar Rice University Author of Real-time High Performance Anomaly Detection over Data Streams within the DEBS Grand Challenge-track in DEBS 2017
Alexandra Silva University College London United Kingdom Committee Member in Program Committee for PLDI 2017
Doug Simon Oracle Labs Switzerland Author of Practical Partial Evaluation for High-Performance Dynamic Language Runtimes within the PLDI Research Papers-track in PLDI 2017
Jeremy Singer University of Glasgow Committee Member in Program Committee within the ISMM -track
Rishabh Singh Microsoft Research India Committee Member in Program Committee for PLDI 2017
Sachini Siriwardene WSO2 Inc. Author of Anomaly Detection of Manufacturing Equipment via High Performance RDF Data Stream Processing within the DEBS Grand Challenge-track in DEBS 2017
Murali Sitaraman Clemson University Author of A Formalization IDE Integrated with a Verifying Compiler within the ICOOOLPS 2017-track in ICOOOLPS 2017
KC Sivaramakrishnan University of Cambridge United Kingdom Committee Member in Program Committee within the PMLDC-track
Xujie Si Author of Combining the Logical and the Probabilistic in Program Analysis within the MAPL 2017-track in MAPL 2017
Inna Skarbovsky IBM Haifa Research Lab Author of Demo: Demonstration of a Prototype for Credit Card Fraud Management within the DEBS Posters & Demos-track in DEBS 2017 Author of A Prototype for Credit Card Fraud Management. (Industry Paper) within the DEBS Research Papers-track in DEBS 2017
Yannis Smaragdakis University of Athens Author of A Datalog Model of Must-Alias Analysis within the SOAP-track in SOAP 2017 Author of Porting Doop to Soufflé: A Tale of Inter-Engine Portability for Datalog-Based Analyses within the SOAP-track in SOAP 2017 Committee Member in Program Committee within the ECOOP Research Papers-track
Aaron Smith Workshops and Tutorials Chair in Organizing Committee for PLDI 2017
Armando Solar-Lezama MIT CSAIL United States Committee Member in External Program Committee for PLDI 2017 Speaker of Program synthesis within the PLMW-track in PLMW 2017 Author of DemoMatch: API Discovery from Demonstrations within the PLDI Research Papers-track in PLDI 2017 Speaker in Mentors within the PLMW-track
Edgar Solomonik Committee Member in Organizing Committee within the ARRAY-track Committee Member in Program Committee within the ARRAY-track
Youngju Song Seoul National University Author of Taming Undefined Behavior in LLVM within the PLDI Research Papers-track in PLDI 2017
Sarah Spall Indiana University Author of Compiling tree transforms to operate on packed representations within the ECOOP Research Papers-track in ECOOP 2017
Thomas Springer Programme Committee in Program Committee within the COP-track
Matthias Springer Tokyo Institute of Technology Germany Author of dart2java: Running Dart in Java-based Environments within the ICOOOLPS 2017-track in ICOOOLPS 2017 Author of Modular Array-based GPU Computing in a Dynamically-typed Language within the ARRAY 2017-track in ARRAY 2017 Programme Committee in Program Committee within the COP-track
Paul Springer Author of HPTT: A High-Performance Tensor Transposition C++ Library within the ARRAY 2017-track in ARRAY 2017
Manu Sridharan Uber Committee Member in External Review Committee for PLDI 2017 Author of Moving Fast with High Reliability: Program Analysis at Uber within the Curry On Talks-track in CurryOn 2017
Lukas Stadler Oracle Labs, Austria Austria Author of Practical Partial Evaluation for High-Performance Dynamic Language Runtimes within the PLDI Research Papers-track in PLDI 2017
Fabrice Starks University of Oslo Author of DCEP-Sim: An Open Simulation Framework for Distributed CEP. (Research Paper) within the DEBS Research Papers-track in DEBS 2017
Guy L. Steele Jr. Oracle Labs United States Committee Member in External Program Committee for PLDI 2017
Benjamin Steer Queen Mary University London Author of Demo: Raphtory: Decentralised Streaming for Temporal Graphs within the DEBS Posters & Demos-track in DEBS 2017 Author of Raphtory: Decentralised Streaming for Temporal Graphs within the DEBS Doctoral Symposium-track in DEBS 2017
Deian Stefan Author of Finding and Preventing Bugs in JavaScript Bindings within the Curry On Talks-track in CurryOn 2017
Michael Steindorfer Delft University of Technology, Netherlands Author of With Age comes Beauty - Past, Present, and Future of Efficient Immutable Collections within the Curry On Talks-track in CurryOn 2017 Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Gordon Stewart Ohio University Author of Verified Perceptron Convergence Theorem within the MAPL 2017-track in MAPL 2017
Quentin Stiévenart Vrije Universiteit Brussel, Belgium Author of Mailbox Abstractions for Static Analysis of Actor Programs within the ECOOP Research Papers-track in ECOOP 2017
Martin Strohbach AGT International Author of The DEBS 2017 Grand Challenge within the DEBS Grand Challenge-track in DEBS 2017
Pavle Subotic University College London United Kingdom Author of Engineering Static Analyzers with Soufflé within the PLDI Tutorials-track in PLDI 2017
Dan Suciu University of Washington Author of HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics within the PLDI Research Papers-track in PLDI 2017
Sriskandarajah Suhothayan WSO2 Inc. Author of Anomaly Detection of Manufacturing Equipment via High Performance RDF Data Stream Processing within the DEBS Grand Challenge-track in DEBS 2017
Li Sui Massey University, New Zealand Author of On the Construction of Soundness Oracles within the SOAP-track in SOAP 2017
Chengnian Sun University of California, Davis Committee Member in Artifact Evaluation Committee for PLDI 2017 Author of Skeletal Program Enumeration for Rigorous Compiler Testing within the PLDI Research Papers-track in PLDI 2017
York Sure-Vetter Karlsruhe Institute of Technology (KIT) Author of Considering Human Factors in the Development of Situation-Aware CEP Applications. (New Direction Paper) within the DEBS Research Papers-track in DEBS 2017
Philippe Suter Two Sigma Publications Chair in Organizing Committee for PLDI 2017
Charles Sutton University of Edinburgh United Kingdom Committee Member in Program Committee for PLDI 2017
Tong Su RWTH Aachen Author of HPTT: A High-Performance Tensor Transposition C++ Library within the ARRAY 2017-track in ARRAY 2017
Zhendong Su University of California, Davis United States Author of Achieving High Coverage for Floating-point Code via Unconstrained Programming within the PLDI Research Papers-track in PLDI 2017 Author of Skeletal Program Enumeration for Rigorous Compiler Testing within the PLDI Research Papers-track in PLDI 2017
Bo Joel Svensson Chalmers University of Technology, Sweden Sweden Author of Instruction Punning: Lightweight Instrumentation for x86-64 within the PLDI Research Papers-track in PLDI 2017
Tamás Szabó itemis AG / TU Delft Germany Author of IncAL: A DSL for Incremental Program Analysis with Lattices within the IC 2017-track in IC 2017
César Sánchez IMDEA Software Institute Spain Committee Member in Program Committee within the VORTEX-track
Paulo Sérgio Almeida Author of The Single-Writer Principle in CRDT Composition within the PMLDC 2017-track in PMLDC 2017
Mario Südholt IMT Atlantique, Nantes, France Programme Committee in Program Committee within the COP-track
Yehia Taher DAVID - UVSQ Author of Automatic Learning of Predictive CEP Rules: Bridging the Gap between Data Mining and Complex Event Processing. (Research Paper) within the DEBS Research Papers-track in DEBS 2017
Amjed Tahir Massey University New Zealand Author of On the Construction of Soundness Oracles within the SOAP-track in SOAP 2017 Author of EvilPickles: DoS attacks based on Object-Graph Engineering within the ECOOP Research Papers-track in ECOOP 2017
Jean-Pierre Talpin INRIA, France Committee Member in Program Committee for LCTES 2017
Kanat Tangwongsan Mahidol University International College Author of Low-Latency Sliding-Window Aggregation in Worst-Case Constant Time. (Research Paper) within the DEBS Research Papers-track in DEBS 2017 Author of Sliding-Window Aggregation Algorithms within the DEBS Tutorials-track in DEBS 2017
Ikuta Tanigawa Kyushu University Author of IoT Robot Simulator and Framework for Context-Oriented Programming within the COP-17-track in COP 2017 Author of ContextROS: Context-Oriented Programming for the Robot Operating System within the COP-17-track in COP 2017
Éric Tanter University of Chile Chile Author of Type Abstraction for Relaxed Noninterference within the ECOOP Research Papers-track in ECOOP 2017
Tian Tan UNSW Australia China Author of Efficient and Precise Points-to Analysis: Modeling the Heap by Merging Equivalent Automata within the PLDI Research Papers-track in PLDI 2017
Muhammad Adnan Tariq University of Stuttgart Author of Minimizing Communication Overhead in Window-Based Parallel Complex Event Processing. (Research Paper) within the DEBS Research Papers-track in DEBS 2017 Author of Addressing TCAM Limitations of Software-Defined Networks for Content-Based Routing. (Research Paper) within the DEBS Research Papers-track in DEBS 2017
Daniel Tarlow Microsoft Research Committee Member in External Review Committee for PLDI 2017
Ross Tate Cornell University United States Author of Retargeting Gradual Typing within the ECOOP Invited Speakers-track in ECOOP 2017 Committee Member in Program Committee within the IWACO-track
Michael Tautschnig Amazon Web Services Invited speaker of Challenges in Analysing Virtualisation Stacks within the DSW 2017-track in DSW 2017
Ben Taylor Lancaster University, UK United Kingdom Author of Adaptive Optimization for OpenCL Programs on Embedded Heterogeneous Systems within the LCTES 2017-track in LCTES 2017
Jürgen Teich Author of Auto-Vectorization for Image Processing DSLs within the LCTES 2017-track in LCTES 2017
Zach Tellman Lacuna United States Committee Member in Program Committee within the PMLDC-track
Ernest Teniente Universitat Politècnica de Catalunya, Spain Workshop Chair in Organizing Committee for ECOOP 2017 Committee member in Organizing Committee within the ECOOP Workshops-track
Tachio Terauchi JAIST Author of Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels within the PLDI Research Papers-track in PLDI 2017
Kia Teymourian Rice University Author of Real-time High Performance Anomaly Detection over Data Streams within the DEBS Grand Challenge-track in DEBS 2017
Rajesh Thakur Author of Compilation of Stream Programs for Heterogeneous Architectures within the ECOOP Doctoral Symposium-track in ECOOP 2017
Jagadeeswaran Thangaraj Author of Introducing Ownership Type Constraints to UML/OCL within the IWACO 2017-track in IWACO 2017
Jürgen Thanhofer-Pilisch Christian Doppler Lab. MEVSS, Johannes Kepler University Linz Author of An Event-based Capture-and-Compare Approach to Support the Evolution of Systems of Systems. (Experience Paper) within the DEBS Research Papers-track in DEBS 2017
Peter Thiemann University of Freiburg Germany Committee Member in Steering Committee for PLDI 2017
Rei Thiessen University of Waterloo Author of Context Transformations for Pointer Analysis within the PLDI Research Papers-track in PLDI 2017
Dave Thomas Kx Systems Author of The Joy of Vector Programming: Why Vector Programming Matters within the Curry On Talks-track in CurryOn 2017
Frank Tip Northeastern University United States Author of Repairing Event Race Errors by Controlling Nondeterminism within the JSTools 2017-track in JSTools 2017 Committee Member in Mentors within the ECOOP Summer School-track Committee Member in Program Committee within the ECOOP Research Papers-track
Ben L. Titzer Google Program Chair in Organizing Committee for ISMM 2017 Session Chair of Keynote (part of ISMM ) Session Chair of Session 3: Hybrid Memory Systems (part of ISMM ) Panelist of Panel: Do new Computing Environments lead to new Language Constructs? within the ICOOOLPS 2017-track in ICOOOLPS 2017 Author of Bringing the Web up to Speed with WebAssembly within the PLDI Research Papers-track in PLDI 2017 Program Chair in Program Committee within the ISMM -track Committee Member in Program Committee within the ICOOOLPS-track
Sam Tobin-Hochstadt Indiana University United States Author of Compiling tree transforms to operate on packed representations within the ECOOP Research Papers-track in ECOOP 2017
John Toman University of Washington, Seattle United States Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Emina Torlak University of Washington, USA United States Author of Synthesizing Memory Models from Framework Sketches and Litmus Tests within the PLDI Research Papers-track in PLDI 2017
Ehsan Totoni Intel Labs Author of Parallelizing Julia with a Non-invasive DSL within the ECOOP Research Papers-track in ECOOP 2017
Lieven Trappeniers Nokia Bell Labs Author of Demo: Building Connected Car Applications on Top of the World-Wide Streams Platform within the DEBS Posters & Demos-track in DEBS 2017
Laurence Tratt King's College London United Kingdom Sponsorship Chair in Organizing Committee for ECOOP 2017 Author of Modelling homogeneous generative meta-programming within the ECOOP Research Papers-track in ECOOP 2017
Konstantinos Triantafyllou University of Athens, Greece Author of Porting Doop to Soufflé: A Tale of Inter-Engine Portability for Datalog-Based Analyses within the SOAP-track in SOAP 2017
Omer Tripp Google Inc. United States Committee Member in Program Committee within the ECOOP Research Papers-track
Jean-Baptiste Tristan Oracle Labs Author of Compiling Markov Chain Monte Carlo Algorithms for Probabilistic Modeling within the PLDI Research Papers-track in PLDI 2017
Petar Tsankov ETH Zurich Switzerland Committee Member in External Review Committee for PLDI 2017
Philippas Tsigas Chalmers University of Technology Author of Maximizing Determinism in Stream Processing Under Latency Constraints. (Research Paper) within the DEBS Research Papers-track in DEBS 2017 Author of Performance Modeling of Stream Joins. (Research Paper) within the DEBS Research Papers-track in DEBS 2017
Martin Ugarte Université Libre de Bruxelles Author of Complex Event Recognition Languages within the DEBS Tutorials-track in DEBS 2017
Umair Ulhassan Insight Centre for Data Analytics NUIG Author of Automatic Anomaly Detection over Sliding Windows within the DEBS Grand Challenge-track in DEBS 2017 Author of The Event Crowd: A Novel Approach for Crowd-Enabled Event Processing. (New Direction Paper) within the DEBS Research Papers-track in DEBS 2017
Christian Urban King's College London Author of Modelling homogeneous generative meta-programming within the ECOOP Research Papers-track in ECOOP 2017
Viktor Vafeiadis MPI-SWS, Germany Greece Author of Promising Compilation to ARMv8 POP within the ECOOP Research Papers-track in ECOOP 2017 Author of Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris within the ECOOP Research Papers-track in ECOOP 2017 Author of Repairing Sequential Consistency in C/C++11 within the PLDI Research Papers-track in PLDI 2017
José Valim Plataformatec Author of Idioms for building distributed fault-tolerant applications with Elixir within the Curry On Keynotes-track in CurryOn 2017 Author of Elixir within the PLDI Invited Speakers-track in PLDI 2017
Antonio Vallecillo University of Málaga, Spain Spain ECOOP 2017 General Chair in Organizing Committee for PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM General Chair in Organizing Committee for ECOOP 2017
Tom Van Cutsem Nokia Bell Labs Belgium Author of Demo: Building Connected Car Applications on Top of the World-Wide Streams Platform within the DEBS Posters & Demos-track in DEBS 2017
Jacob Van Geffen UT Austin Author of Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples within the PLDI Research Papers-track in PLDI 2017
Wolfgang Van Raemdonck Nokia Bell Labs Author of Demo: Building Connected Car Applications on Top of the World-Wide Streams Platform within the DEBS Posters & Demos-track in DEBS 2017
Peter Van Roy Université catholique de Louvain Belgium Committee Member in Program Committee within the PMLDC-track
Laurent Vanbever ETH Zürich Switzerland Committee Member in External Review Committee for PLDI 2017
Stijn Vansummeren Université Libre de Bruxelles Author of Complex Event Recognition Languages within the DEBS Tutorials-track in DEBS 2017
Peter Varman Rice University Author of Continuous Checkpointing of HTM Transactions in NVM within the ISMM 2017-track in ISMM 2017
Kapil Vaswani Microsoft Research Author of Simple, fast and safe manual memory management within the PLDI Research Papers-track in PLDI 2017
Niki Vazou University of Maryland Tutorial organizer of Refinement Types for Program Verification and Synthesis within the PLDI Tutorials-track in PLDI 2017
Margus Veanes Microsoft Research Author of Fusing Effectful Comprehensions within the PLDI Research Papers-track in PLDI 2017
Martin Vechev DeepCode and ETH Zurich, Switzerland Program Chair in Program Committee for PLDI 2017 Program Chair in Organizing Committee for PLDI 2017 Session Chair of Welcome (part of PLDI Invited Speakers)
Julien Verlaguet Facebook Author of Reflex: Reactive Programming at Facebook within the Curry On Talks-track in CurryOn 2017
Valerio Vianello Universidad Politécnica de Madrid Demo and Poster Track Chairs in Organizing Committee for DEBS 2017
Tim Vieira Johns Hopkins University Author of Dyna: Toward a Self-Optimizing Declarative Language for Machine Learning Applications within the MAPL 2017-track in MAPL 2017
Michael Vierhauser University of Notre Dame Author of An Event-based Capture-and-Compare Approach to Support the Evolution of Systems of Systems. (Experience Paper) within the DEBS Research Papers-track in DEBS 2017
John Vilk University of Massachusetts, Amherst United States Committee Member in External Review Committee for PLDI 2017 Author of BCoz: Effective Performance Debugging for Web Applications within the JSTools 2017-track in JSTools 2017
Eelco Visser Delft University of Technology Netherlands Author of The Spoofax Language Workbench within the WCIRE 2017-track in WCIRE 2017 Author of IceDust Calculation Strategy Composition Performance in Web Applications within the IC 2017-track in IC 2017 Author of Scope Graphs: A Fresh Look at Name Binding in Programming Languages within the Curry On Talks-track in CurryOn 2017 Author of IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition within the ECOOP Research Papers-track in ECOOP 2017 Speaker of Declarative Language Definition within the ECOOP Summer School-track in ECOOP 2017 Speaker in Speakers within the ECOOP Summer School-track
Mahesh Viswanathan University of Illinois at Urbana-Champaign Author of Dynamic Race Prediction in Linear Time within the PLDI Research Papers-track in PLDI 2017
Jan Vitek Northeastern University Switzerland Comfy Chair in Organizing Committee for PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM Committee Member in Steering Committee for PLDI 2017 Sponsorship Chair in Organizing Committee for ECOOP 2017 Comfy Chair in Organizing Committee for ECOOP 2017 Author of Parallelizing Julia with a Non-invasive DSL within the ECOOP Research Papers-track in ECOOP 2017 Author of Introduction Session within the ECOOP Summer School-track in ECOOP 2017 Speaker of What You Need to Know about Performance Evaluation within the ECOOP Summer School-track in ECOOP 2017 Speaker in Speakers within the ECOOP Summer School-track Comfy Chair in Organizers within the ECOOP Summer School-track Committee Member in Mentors within the ECOOP Summer School-track Committee Member in Program Committee within the ICOOOLPS-track Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Program Committee within the ARRAY-track
Michael Vollmer Indiana University, USA United States Author of Compiling tree transforms to operate on packed representations within the ECOOP Research Papers-track in ECOOP 2017
Kostyantyn Vorobyov CEA LIST, France Author of Shadow State Encoding for Efficient Monitoring of Block-level Properties within the ISMM 2017-track in ISMM 2017
Spyros Voulgaris Vrije Universiteit Amsterdam Grand Challenge Chairs in Organizing Committee for DEBS 2017
Nick Vrvilo Author of A Marshalled Data Format for Pointers in Relocatable Data Blocks within the ISMM 2017-track in ISMM 2017
Dimitrios Vytiniotis Microsoft Research, Cambridge Author of Adding Safe Manual Memory Management to .NET within the IWACO 2017-track in IWACO 2017 Author of Simple, fast and safe manual memory management within the PLDI Research Papers-track in PLDI 2017
Markus Völter itemis/independent Author of IncAL: A DSL for Incremental Program Analysis with Lattices within the IC 2017-track in IC 2017
April W. Wade University of Kansas Author of AOT Vs. JIT: Impact of Profile Data on Code Quality within the LCTES 2017-track in LCTES 2017
Philip Wadler University of Edinburgh, UK United Kingdom Committee Member in Steering Committee for PLDI 2017 Author of Mixing Metaphors: Actors as Channels and Channels as Actors within the ECOOP Research Papers-track in ECOOP 2017 Author of Mixed Messages: Measuring Conformance and Non-Interference in TypeScript within the ECOOP Research Papers-track in ECOOP 2017
Luke Wagner Mozilla Author of Bringing the Web up to Speed with WebAssembly within the PLDI Research Papers-track in PLDI 2017
David Walker Princeton University United States Committee Member in External Review Committee for PLDI 2017 Author of Network Configuration Synthesis with Abstract Topologies within the PLDI Research Papers-track in PLDI 2017
Stefan Wallner Primetals Technologies Austria GmbH Author of An Event-based Capture-and-Compare Approach to Support the Evolution of Systems of Systems. (Experience Paper) within the DEBS Research Papers-track in DEBS 2017
Leif Walsh Two Sigma United States Committee Member in Program Committee within the PMLDC-track
Yang Wang Northeastern University Author of [Poster] Benchmarking OpenMP for Real-Time Scheduling: From Modeling to Applications within the LCTES 2017-track in LCTES 2017
Yang Wang University of New Brunswick Author of [Poster] Benchmarking OpenMP for Real-Time Scheduling: From Modeling to Applications within the LCTES 2017-track in LCTES 2017
Yi Wang Shenzhen University Session Chair of Session 1: Compiler Optimization for Embedded Systems (part of LCTES ) Author of Towards Memory-Efficient Processing-in-Memory Architecture for Convolutional Neural Networks within the LCTES 2017-track in LCTES 2017
Yanzhi Wang Syracuse University Author of A Lightweight Progress Maximization Scheduler for Non-Volatile Processor Under Unstable Energy Harvesting within the LCTES 2017-track in LCTES 2017
Chenglong Wang University of Washington, USA Author of Synthesizing Highly Expressive SQL Queries from Input-Output Examples within the PLDI Research Papers-track in PLDI 2017
Fei Wang Author of Strong Normalization for Dependent Object Types (DOT) within the ECOOP Research Papers-track in ECOOP 2017
Zheng Wang Lancaster University 1' of Fame Chair in Organizing Committee for PLDI 2017 Author of Adaptive Optimization for OpenCL Programs on Embedded Heterogeneous Systems within the LCTES 2017-track in LCTES 2017
Harumi Watanabe Tokai University Japan Author of Petri-Net Based Testing Environment for Context-Oriented Programming within the COP-17-track in COP 2017 Author of IoT Robot Simulator and Framework for Context-Oriented Programming within the COP-17-track in COP 2017 Programme Committee in Program Committee within the COP-track
Peter Wauligmann Tokyo Institute of Technology Author of Modular Array-based GPU Computing in a Dynamically-typed Language within the ARRAY 2017-track in ARRAY 2017
Alan Weide Author of Enabling Modular Verification of Concurrent Programs within the ECOOP Doctoral Symposium-track in ECOOP 2017
Matthias Weidlich Humboldt-Universtität zu Berlin Author of Complex Event Recognition Languages within the DEBS Tutorials-track in DEBS 2017
Konstantin Weitz University of Washington, USA United States Author of HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics within the PLDI Research Papers-track in PLDI 2017
Shiyi Wei University of Maryland, College Park Author of Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels within the PLDI Research Papers-track in PLDI 2017
Daniel Welch Clemson University Author of A Formalization IDE Integrated with a Verifying Compiler within the ICOOOLPS 2017-track in ICOOOLPS 2017 Author of Scaling Up Automated Verification: A Case Study and A Formalization IDE for Building High Integrity Software within the ECOOP Doctoral Symposium-track in ECOOP 2017
Florian Wessling University of Duisburg-Essen Author of Property-based routing in clustered message brokers for CPS within the DEBS Doctoral Symposium-track in DEBS 2017
Jordan West Apple Committee Member in Program Committee within the PMLDC-track
Ben Wiedermann Harvey Mudd College Speaker of Giving good talks within the PLMW-track in PLMW 2017 Organizer in Mentors within the PLMW-track
Thomas Wies New York University Committee Member in Program Committee within the ECOOP Research Papers-track
Jack Williams University of Edinburgh Author of Mixed Messages: Measuring Conformance and Non-Interference in TypeScript within the ECOOP Research Papers-track in ECOOP 2017
Christian Wimmer Tutorial organizer of Graal: High Performance Compilation for Managed Languages within the PLDI Tutorials-track in PLDI 2017 Author of Practical Partial Evaluation for High-Performance Dynamic Language Runtimes within the PLDI Research Papers-track in PLDI 2017 Committee Member in Program Committee within the ISMM -track
Jonathan Winandy Univalence Author of Centrifuge : Data quality in Spark without the costs! within the Curry On Talks-track in CurryOn 2017
Andy Wingo Igalia, S.L. Author of Channels, Concurrency, and Cores: A new Concurrent ML implementation within the Curry On Talks-track in CurryOn 2017
Andreas Woess Oracle Labs Author of Practical Partial Evaluation for High-Performance Dynamic Language Runtimes within the PLDI Research Papers-track in PLDI 2017
Mario Wolczko Oracle Labs United States Session Chair of Morning I (part of ICOOOLPS) Co-chair of Workshop Welcome within the ICOOOLPS 2017-track in ICOOOLPS 2017 Co-chair in Organizing Committee within the ICOOOLPS-track
Youjip Won Hanyang University, Korea Committee Member in Program Committee for LCTES 2017
Frank Wood University of Oxford Keynote Speaker of Probabilistic Programming and Inference Compilation, or, How I Learned to Stop Worrying and Love Deep Networks within the PLDI Invited Speakers-track in PLDI 2017
Tobias Wrigstad Uppsala University Session Chair of Implementation (part of ECOOP Research Papers) Author of Type-Assisted Automatic Garbage Collection for Lock-Free Data Structures within the ISMM 2017-track in ISMM 2017 Author of Relaxed Linear References for Lock-free Programming within the ECOOP Research Papers-track in ECOOP 2017 Committee Member in Mentors within the ECOOP Summer School-track Committee Member in Program Committee within the ECOOP Research Papers-track
Thomas Wuerthinger Oracle Labs Author of Can Compiler Magic Ever Be Explained? within the ICOOOLPS 2017-track in ICOOOLPS 2017 Author of Practical Partial Evaluation for High-Performance Dynamic Language Runtimes within the PLDI Research Papers-track in PLDI 2017
Jan-Jan Wu Institute of Information Science, Academia Sinica Author of Dynamic Translation of Structured Loads/Stores and Register Mapping for Architectures with SIMD Extensions within the LCTES 2017-track in LCTES 2017
Peng Wu Huawei America Research Lab Committee Member in External Review Committee within the ISMM -track
Hui Wu University of New South Wales, Australia Committee Member in Program Committee for LCTES 2017 Author of Integrating Task Scheduling and Cache Locking for Multicore Real-time Embedded Systems within the LCTES 2017-track in LCTES 2017
Kun-Lung Wu IBM Research Author of Low-Synchronization, Mostly Lock-Free, Elastic Scheduling for Streaming Runtimes within the PLDI Research Papers-track in PLDI 2017
Mimi Xie Oklahoma State University Author of A Lightweight Progress Maximization Scheduler for Non-Volatile Processor Under Unstable Energy Harvesting within the LCTES 2017-track in LCTES 2017
Jingling Xue UNSW Australia Committee Member in Steering Committee for LCTES 2017 Committee Member in Program Committee for LCTES 2017 Keynote Speaker of Static Analysis of Java Reflection within the SOAP-track in SOAP 2017 Author of Static Analysis for Improving Software Performance, Safety and Security within the LCTES 2017-track in LCTES 2017 Author of Efficient and Precise Points-to Analysis: Modeling the Heap by Merging Equivalent Automata within the PLDI Research Papers-track in PLDI 2017
Jason Xue City University of Hong Kong, China Committee Member in Steering Committee for LCTES 2017 Author of [Poster] Checkpointing-aware Loop Tiling for Energy Harvesting Powered Non-Volatile Processors within the LCTES 2017-track in LCTES 2017 Author of A Lightweight Progress Maximization Scheduler for Non-Volatile Processor Under Unstable Energy Harvesting within the LCTES 2017-track in LCTES 2017
Piyush Yadav Lero The Irish Software Research Centre Ireland Author of The Event Crowd: A Novel Approach for Crowd-Enabled Event Processing. (New Direction Paper) within the DEBS Research Papers-track in DEBS 2017
Eran Yahav Technion Israel Committee Member in Program Committee for PLDI 2017 Author of Similarity of Binaries through re-Optimization within the PLDI Research Papers-track in PLDI 2017
Jing Yang Harbin Institute of Technology Author of Towards Memory-Efficient Processing-in-Memory Architecture for Convolutional Neural Networks within the LCTES 2017-track in LCTES 2017
Jean Yang Carnegie Mellon University Speaker of Preventing Information Flow by Construction within the PLMW-track in PLMW 2017 Author of Preventing Information Leaks by Construction within the Curry On Talks-track in CurryOn 2017 Committee Member in Mentors within the ECOOP Summer School-track Speaker in Mentors within the PLMW-track
Hongseok Yang University of Oxford Committee Member in External Program Committee for PLDI 2017 Committee Member in Program Committee within the PMLDC-track
Chengmo Yang University of Delaware, USA Committee Member in Program Committee for LCTES 2017
Shengqian Yang Google Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Junfeng Yang Columbia University Committee Member in Program Committee for PLDI 2017
Kuat Yessenov MIT Author of DemoMatch: API Discovery from Demonstrations within the PLDI Research Papers-track in PLDI 2017
Yunhui Ying Author of Efficient SMT-based LTL Model Checking of Clock Constraint Specification Language for Real-Time and Embedded Systems within the LCTES 2017-track in LCTES 2017
Qiuping Yi Texas A&M University Committee Member in Artifact Evaluation Committee for PLDI 2017
Jaeheon Yi Google Committee Member in External Review Committee for PLDI 2017
Wang Yi Uppsala University, Sweden Committee Member in Steering Committee for LCTES 2017 Author of [Poster] Benchmarking OpenMP for Real-Time Scheduling: From Modeling to Applications within the LCTES 2017-track in LCTES 2017
Kwangkeun Yi Seoul National University Korea, South Committee Member in External Review Committee for PLDI 2017
Adarsh Yoga Rutgers University, USA Committee Member in Artifact Evaluation Committee for PLDI 2017
Young Yoon Hongik University Author of Poster: Multilateral Context Analysis based on the Novel Visualization of Network Tomography within the DEBS Posters & Demos-track in DEBS 2017
Sungjoo Yoo Seoul National University, Korea Committee Member in Program Committee for LCTES 2017
Nobuko Yoshida Imperial College London Author of A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming within the ECOOP Research Papers-track in ECOOP 2017 Committee Member in Program Committee within the ECOOP Research Papers-track
Lechen Yu Rice University Author of A Marshalled Data Format for Pointers in Relocatable Data Blocks within the ISMM 2017-track in ISMM 2017
Ping Yu Department of Computer Science and Information Engineering, National Taiwan University Author of Dynamic Translation of Structured Loads/Stores and Register Mapping for Architectures with SIMD Extensions within the LCTES 2017-track in LCTES 2017
Tarek Zaarour Insight Centre for Data Analytics NUIG Author of Automatic Anomaly Detection over Sliding Windows within the DEBS Grand Challenge-track in DEBS 2017
Nikos Zacheilas Athens University of Economics and Business Author of Maximizing Determinism in Stream Processing Under Latency Constraints. (Research Paper) within the DEBS Research Papers-track in DEBS 2017
Shima Zahmatkesh Politecnico di Milano Author of Using Rank Aggregation in Continuously Answering SPARQL Queries on Streaming and Quasi-static Linked Data. (Experience Paper) within the DEBS Research Papers-track in DEBS 2017
Alon Zakai Mozilla Author of Bringing the Web up to Speed with WebAssembly within the PLDI Research Papers-track in PLDI 2017
Ayal Zaks Intel and Technion, Israel Committee Member in External Review Committee for PLDI 2017
Jakub Zalewski Author of Mixed Messages: Measuring Conformance and Non-Interference in TypeScript within the ECOOP Research Papers-track in ECOOP 2017
Damiano Zanardini Universidad Politecnica de Madrid, Spain Spain Committee Member in Program Committee for LCTES 2017
Sergi Zapater Zhilabs, SL Author of The Customer Experience Case: The Needle in the Haystack within the DEBS Invited Speakers-track in DEBS 2017
Francesco Zappa Nardelli Inria, France France Committee Member in Program Committee within the ECOOP Research Papers-track
Luke Zarko Google, Inc Author of Scalable cross-references across languages within the Curry On Talks-track in CurryOn 2017
Vadim Zaytsev Raincode, Belgium Belgium Author of Towards Reasonable Ownership within the IWACO 2017-track in IWACO 2017
Steve Zdancewic University of Pennsylvania United States Committee Member in External Program Committee for PLDI 2017
Helmut Zeisel Primetals Technologies Austria GmbH Author of An Event-based Capture-and-Compare Approach to Support the Evolution of Systems of Systems. (Experience Paper) within the DEBS Research Papers-track in DEBS 2017
Karine Zeitouni University of Versailles-Saint-Quentin Author of Automatic Learning of Predictive CEP Rules: Bridging the Gap between Data Mining and Complex Event Processing. (Research Paper) within the DEBS Research Papers-track in DEBS 2017
Andreas Zeller Saarland University Germany Committee Member in Program Committee for PLDI 2017
Olivier Zendra Session Chair of Afternoon II (part of ICOOOLPS) Co-chair in Organizing Committee within the ICOOOLPS-track
Min Zhang East China Normal University China Author of Efficient SMT-based LTL Model Checking of Clock Constraint Specification Language for Real-Time and Embedded Systems within the LCTES 2017-track in LCTES 2017
Xiangyu Zhang Purdue University Committee Member in External Review Committee for PLDI 2017
Kaiwen Zhang TU Munich Demo and Poster Track Chairs in Organizing Committee for DEBS 2017 Author of PopSub: Improving Resource Utilization in Distributed Content-based Publish/Subscribe Systems. (Research Paper) within the DEBS Research Papers-track in DEBS 2017
Mingxu Zhang Shenzhen University Author of Towards Memory-Efficient Processing-in-Memory Architecture for Convolutional Neural Networks within the LCTES 2017-track in LCTES 2017
Minjia Zhang Microsoft Research United States Committee Member in Artifact Evaluation Committee for PLDI 2017 Author of Avoiding Consistency Exceptions Under Strong Memory Consistency Models within the ISMM 2017-track in ISMM 2017
Weixin Zhang University of Hong Kong Author of EVF: An Extensible and Expressive Visitor Framework for Programming Language Reuse within the ECOOP Research Papers-track in ECOOP 2017
Zhiyong Zhang Shandong University Author of Unified nvTCAM and sTCAM Architecture for Improving Packet Matching Performance within the LCTES 2017-track in LCTES 2017
Zheng Zhang Rutgers University Committee Member in Steering Committee for ISMM 2017
Youtao Zhang University of Pittsburgh, USA Steering Committee Chair in Organizing Committee for LCTES 2017
Qirun Zhang University of California, Davis United States Committee Member in Artifact Evaluation Committee for PLDI 2017 Author of Skeletal Program Enumeration for Rigorous Compiler Testing within the PLDI Research Papers-track in PLDI 2017
Xin Zhang Georgia Tech China Committee Member in External Review Committee for PLDI 2017 Author of Combining the Logical and the Probabilistic in Program Analysis within the MAPL 2017-track in MAPL 2017
Mengying Zhao Shandong University Author of Unified nvTCAM and sTCAM Architecture for Improving Packet Matching Performance within the LCTES 2017-track in LCTES 2017 Author of [Poster] Checkpointing-aware Loop Tiling for Energy Harvesting Powered Non-Volatile Processors within the LCTES 2017-track in LCTES 2017
Wenguang Zheng Author of Integrating Task Scheduling and Cache Locking for Multicore Real-time Embedded Systems within the LCTES 2017-track in LCTES 2017
Yudi Zheng University of Lugano Switzerland Author of An Empirical Study on Deoptimization in the Graal Compiler within the ECOOP Research Papers-track in ECOOP 2017
Qingfeng Zhuge Chongqing University, China Committee Member in Program Committee for LCTES 2017 Author of Optimal Functional Unit Assignment and Voltage Selection for Pipelined MPSoC with Guaranteed Probability on Time Performance within the LCTES 2017-track in LCTES 2017
Holger Ziekow HS Furtwangen Grand Challenge Chairs in Organizing Committee for DEBS 2017 Author of The DEBS 2017 Grand Challenge within the DEBS Grand Challenge-track in DEBS 2017
Oleksandr Zinenko Inria France Web Chair in Organizing Committee for PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM Web Chair in Organizing Committee for PLDI 2017 Author of Peeking into a polyhedral compiler through the Periscop toolkit within the WCIRE 2017-track in WCIRE 2017 Author of Polyhedral Compilation within the PLDI Tutorials-track in PLDI 2017
Adam Ziolkowski University of East Anglia United Kingdom Doctoral Symposium Chair in Organizing Committee for ECOOP 2017 Co-chair in Program Committee within the ECOOP Doctoral Symposium-track
Elena Zucca University of Genova Author of Tracing sharing in an imperative pure calculus within the FTfJP 2017-track in FTfJP 2017
Amanieu d'Antras University of Manchester Author of [Poster] Understanding the Performance of Dynamic Binary Modification on ARM Using MAMBO within the LCTES 2017-track in LCTES 2017 Author of Low Overhead Dynamic Binary Translation on ARM within the PLDI Research Papers-track in PLDI 2017
Frank S. de Boer Centrum Wiskunde & Informatica, Leiden University Co-chair in Organizing Committee within the VORTEX-track Co-chair in Program Committee within the VORTEX-track
Tijs van der Storm CWI & University of Groningen Netherlands Artifact Evaluation Chair in Organizing Committee for ECOOP 2017 Speaker of Keynote on Context-Oriented Language Engineering within the COP-17-track in COP 2017 Programme Committee in Program Committee within the COP-track Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ECOOP Artifacts-track
Ezgi Çiçek MPI-SWS, Germany Committee Member in Program Committee within the IC-track