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

Filter

Role Type

Contributing to

Number of Roles

Country

Results (1034)

A Todd A. AndersonA. Anderson, Todd Parallelizing Julia with a Non-invasive DSL
Martin AbadiAbadi, Martin Google A Computational Model for TensorFlow (An Introduction) PLDI Keynote - TensorFlow considered as a programming language TensorFlow considered as a programming language
Martín AbadiAbadi, Martín Google Machine learning systems with privacy and for privacy: TensorFlow & PATE-G
Moez A. AbdelGawadAbdelGawad, Moez A. Informatics Research Institute, SRTA-City, Alexandria, Egypt Towards a Java Subtyping Operad
Majd AbdoAbdo, Majd University of Stuttgart StreamLearner – Distributed Incremental Machine Learning on Event Streams
Parosh Aziz AbdullaAbdulla, Parosh Aziz Uppsala University, SwedenSweden Flatten and Conquer (A Framework for Efficient Analysis of String Constraints)
Umut A. AcarAcar, Umut A. Carnegie Mellon University Responsive Parallel Computation: Bridging Competitive and Cooperative Threading
Aravind AcharyaAcharya, Aravind Indian Institute of Science, Bangalore Committee Member in Artifact Evaluation Committee for PLDI 2017
Sara AchourAchour, Sara MITUnited States Committee Member in External Review Committee for PLDI 2017
Lorenzo AffettiAffetti, Lorenzo Politecnico di Milano Consistent Stream Processing FlowDB: Integrating Stream Processing and Consistent State Management. (Research Paper)
Edward AftandilianAftandilian, Edward GoogleUnited States Committee Member in Program Committee for PLDI 2017
Maaz Bin Safeer AhmadAhmad, Maaz Bin Safeer UW / CSE Gradual Synthesis for Static Parallelization
Amal AhmedAhmed, Amal Northeastern University, USAUnited States Compiler Verification for a Multi-Language World FunTAL: Reasonably Mixing a Functional Language with Assembly Speaker in Speakers within the ECOOP Summer School-track Committee Member in Mentors within the ECOOP Summer School-track
Wolfgang AhrendtAhrendt, Wolfgang Chalmers University of TechnologySweden Committee Member in Program Committee within the VORTEX-track
Alex AikenAiken, Alex Stanford University Synthesizing Program Input Grammars
Adil AkhterAkhter, Adil ING Orchestrate ING with Petri Net
Deepthi Devaki AkkoorathAkkoorath, Deepthi Devaki Multi-view data types for scalable concurrency in the multi-core era
Prabhash AkmeemanaAkmeemana, Prabhash WSO2 Inc. Demo: Solution Recommender for System Failure Recovery via Log Event Pattern Matching on a Knowledge Graph
Nihla AkramAkram, Nihla WSO2 Inc. Anomaly Detection of Manufacturing Equipment via High Performance RDF Data Stream Processing
Aws AlbarghouthiAlbarghouthi, Aws University of Wisconsin - Madison Committee Member in External Review Committee for PLDI 2017
Jonathan AldrichAldrich, Jonathan Carnegie Mellon UniversityUnited States A Capability-Based Module System for Authority Control Committee Member in Mentors within the ECOOP Summer School-track
Elias AlevizosAlevizos, Elias NCSR Demokritos, Institute of Informatics and Telecommunications Event Forecasting with Pattern Markov Chains. (Research Paper)
Karim AliAli, Karim University of Alberta WALA Hack-A-Thon Committee Member in Organizing Committee within the SOAP-track
Cyril AliasAlias, Cyril Department of Transport Systems and Logistics, University of Duisburg-Essen Poster: The Requirements Engineering Perspective on Events in Cyber-Physical Systems
Mark AllenAllen, Mark Alert Logic The Sharp Edges of Leaky Abstraction
Rajeev AlurAlur, Rajeev University of Pennsylvania StreamQRE: Modular Specification and Efficient Evaluation of Quantitative Queries over Streaming Data
Ciprian AmarieiAmariei, Ciprian Alexandru Ioan Cuza University of Iasi Optimized Stage Processing for Anomaly Detection on Numerical Data Streams
Nada AminAmin, Nada EPFLSwitzerland Committee Member in External Review Committee for PLDI 2017 Committee Member in Program Committee within the FTfJP-track
Moussa AmraniAmrani, Moussa University of Namur Formal Analysis of Object-Oriented Mograms
Kyoungho AnAn, Kyoungho RTI An Autonomous and Dynamic Coordination and Discovery Service for Wide-Area Peer-to-peer Publish/Subscribe. (Experience Paper)
Davide AnconaAncona, Davide University of GenovaItaly Parametric trace expressions for runtime verification of Java-like programs Co-chair in Organizing Committee within the VORTEX-track Co-chair in Program Committee within the VORTEX-track
Paul AndersonAnderson, Paul University of Edinburgh μPuppet: A Declarative Subset of the Puppet Configuration Language
Esben AndreasenAndreasen, Esben Aarhus UniversityDenmark Systematic Approaches for Increasing Soundness and Precision of Static Analyzers
Benjamin AndreassenAndreassen, Benjamin Norwegian University of Science and Technology Efficient Array Slicing on the Intel Xeon Phi Coprocessor
Anastasios AntoniadisAntoniadis, Anastasios Porting Doop to Soufflé: A Tale of Inter-Engine Portability for Datalog-Based Analyses
Aleksandar AntonicAntonic, Aleksandar University of Zagreb Modeling Aggregate Input Load of Interoperable Smart City Services. (New Direction Paper)
Timos AntonopoulosAntonopoulos, Timos Yale University Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels
Tomoyuki AotaniAotani, Tomoyuki Tokyo Institute of Technology Push-based Reactive Layer Activation in Context-Oriented Programming Programme Committee in Program Committee within the COP-track
Andrew AppelAppel, Andrew Princeton Session Chair of Intro & industry perspective on crypto (part of DSW) Verifying concurrent C programs with the Verified Software Toolchain
Zena M. AriolaAriola, Zena M. University of Oregon, USA Compiling without continuations
Alexander ArtikisArtikis, Alexander University of Pireaus and NCSR "Demokritos" Event Forecasting with Pattern Markov Chains. (Research Paper) Demo: Demonstration of a Prototype for Credit Card Fraud Management A Prototype for Credit Card Fraud Management. (Industry Paper) Complex Event Recognition Languages
Irina AsavoaeAsavoae, Irina INRIA, Paris, France Software Model Checking: A Promising Approach to Verify Mobile App Security
Asra AslamAslam, Asra The Insight Centre for Data Analytics, NUI Galway, Ireland Poster: Challenges with Image Event Processing
Mohamed Faouzi AtigAtig, Mohamed Faouzi Uppsala UniversitySweden Flatten and Conquer (A Framework for Efficient Analysis of String Constraints)
Neil AudsleyAudsley, Neil University of York, UK Committee Member in Program Committee for LCTES 2017
B David B. WhalleyB. Whalley, David Committee Member in Steering Committee for LCTES 2017
Chris BaberBaber, Chris The University of Birmingham Demo: Demonstration of a Prototype for Credit Card Fraud Management A Prototype for Credit Card Fraud Management. (Industry Paper)
David F. BaconBacon, David F. GoogleUnited States Committee Member in Program Committee for PLDI 2017 Session Chair of Language Implementation (part of PLDI Research Papers) Committee Member in Program Committee within the ISMM -track
Anya Helene BaggeBagge, Anya Helene University of BergenNorway Towards Reasonable Ownership
Youssef El BakounyBakouny, Youssef El CIMTI - ESIB - Saint-Joseph University - Beirut, LebanonLebanon A Coq-based synthesis of Scala programs which are correct-by-construction
Márton BalassiBalassi, Márton Hungarian Academy of Sciences Code Generation in Serializers and Comparators of Apache Flink
Rajeev BalasubramonianBalasubramonian, Rajeev Committee Member in External Review Committee within the ISMM -track
George BalatsourasBalatsouras, George University of Athens A Datalog Model of Must-Alias Analysis
Alexander BaloghBalogh, Alexander University of Stuttgart Addressing TCAM Limitations of Software-Defined Networks for Content-Based Routing. (Research Paper)
Upul BandaraBandara, Upul WSO2 Inc. Anomaly Detection of Manufacturing Equipment via High Performance RDF Data Stream Processing
Anindya BanerjeeBanerjee, Anindya IMDEA Software Institute Concurrent Data Structures Linked in Time
Carlos BaqueroBaquero, Carlos HASLab/INESC TEC & University of MinhoPortugal The Single-Writer Principle in CRDT Composition Multi-view data types for scalable concurrency in the multi-core era Committee Member in Program Committee within the PMLDC-track
Raj BarikBarik, Raj Intel Labs Committee Member in Organizing Committee within the MAPL-track Committee Member in Program Committee within the MAPL-track
Edd BarrettBarrett, Edd King's College LondonUnited Kingdom Session Chair of Afternoon I (part of ICOOOLPS) Panel: Do new Computing Environments lead to new Language Constructs? Committee Member in Program Committee within the ICOOOLPS-track
Alexandre BartelBartel, Alexandre University of Luxembourg Committee Member in Program Committee within the FTfJP-track
Ezio BartocciBartocci, Ezio Technische Universität Wien Committee Member in Program Committee within the VORTEX-track
Osbert BastaniBastani, Osbert Stanford University Synthesizing Program Input Grammars
JF BastienBastien, JF Apple Bringing the Web up to Speed with WebAssembly
Mark BattyBatty, Mark University of KentUnited Kingdom Committee Member in Program Committee within the ECOOP Research Papers-track
Ryan BeckettBeckett, Ryan Princeton University Network Configuration Synthesis with Abstract Topologies
Andi BejleriBejleri, Andi TU Darmstadt, Germany A Co-contextual Type Checker for Featherweight Java
Marco BekooijBekooij, Marco NXP-semiconductors, Netherlands Committee Member in Program Committee for LCTES 2017
Julia BelyakovaBelyakova, Julia Southern Federal UniversityRussia Generic Approach to Certified Static Checking of Module-like Constructs Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Emery D. BergerBerger, Emery D. University of Massachusetts, AmherstUnited States Committee Member in External Program Committee for PLDI 2017 Committee Member in Steering Committee for PLDI 2017 Committee Member in Mentors within the ECOOP Summer School-track
Martin BergerBerger, Martin Session Chair of C (part of FTfJP) Modelling homogeneous generative meta-programming
Lennart BeringerBeringer, Lennart Princeton UniversityUnited States Session Chair of Academic hypervisor project; closing discussion (part of DSW) Introduction to verification using the VST Introduction to DeepSpec Committee Member in Organizing Committee within the DSW-track
Pramod BhatotiaBhatotia, Pramod University of Edinburgh Committee Member in Program Committee within the IC-track
Sukanya BhowmikBhowmik, Sukanya University of Stuttgart Addressing TCAM Limitations of Software-Defined Networks for Content-Based Routing. (Research Paper)
Annette BieniusaBieniusa, Annette Technischen Universität KaiserslauternGermany Multi-view data types for scalable concurrency in the multi-core era Committee Member in Program Committee within the PMLDC-track
Paolo BientinesiBientinesi, Paolo HPTT: A High-Performance Tensor Transposition C++ Library Committee Member in Program Committee within the ARRAY-track
Florian BiermannBiermann, Florian IT University of CopenhagenDenmark Quad Ropes -- Immutable, Declarative Arrays with Parallelizable Operations
Marina BillesBilles, Marina TU Darmstadt Systematic Black-Box Analysis of Collaborative Web Applications
Walter BinderBinder, Walter University of Lugano An Empirical Study on Deoptimization in the Graal Compiler
Swarnendu BiswasBiswas, Swarnendu University of Texas at AustinUnited States Avoiding Consistency Exceptions Under Strong Memory Consistency Models Committee Member in Program Committee within the ISMM -track
Steve BlackburnBlackburn, Steve Australian National University Australia Committee Member in Steering Committee for PLDI 2017 Committee Member in External Review Committee for PLDI 2017 Session Chair of Session 4: A Deeper Look (part of ISMM ) Panel: Do new Computing Environments lead to new Language Constructs?
Sam BlackshearBlackshear, Sam FacebookUnited States Building your own modular static analyzer with Facebook Infer Committee Member in Program Committee within the FTfJP-track
Sandrine BlazyBlazy, Sandrine University of Rennes 1, FranceFrance Committee Member in SRC Panel for PLDI 2017
Ben BlumBlum, Ben Carnegie Mellon University Committee Member in Artifact Evaluation Committee for PLDI 2017
Florian BlumBlum, Florian University of Duisburg-Essen Property-based routing in clustered message brokers for CPS
Rastislav BodikBodik, Rastislav University of Washington Automated Incrementalization through Synthesis Synthesizing Highly Expressive SQL Queries from Input-Output Examples Gradual Synthesis for Static Parallelization
Hans-J. BoehmBoehm, Hans-J. Google Committee Member in External Program Committee for PLDI 2017
Kavoos BojnourdiBojnourdi, Kavoos EDF Lab Portable Vectorization and Parallelization of C++ Multi-Dimensional Array Computations
Michael D. BondBond, Michael D. Ohio State University Committee Member in External Program Committee for PLDI 2017 Committee Member in Steering Committee for ISMM 2017 Session Chair of Session 2: Clever Data Tricks (part of ISMM ) Avoiding Consistency Exceptions Under Strong Memory Consistency Models Committee Member in External Review Committee within the ISMM -track
Uday BondhugulaBondhugula, Uday Indian Institute of ScienceIndia Committee Member in Program Committee for PLDI 2017 Session Chair of Compiler Optimizations (part of PLDI Research Papers)
Renzo BorgattiBorgatti, Renzo Mailonline Clojure Transducers In The Wild
James BornholtBornholt, James University of WashingtonUnited States Committee Member in External Review Committee for PLDI 2017 Synthesizing Memory Models from Framework Sketches and Litmus Tests
Ashkan Forouhi BoroujeniBoroujeni, Ashkan Forouhi University of Wisconsin-Madison Compositional Recurrence Analysis Revisited
Ahmed BouajjaniBouajjani, Ahmed IRIF, Université Paris DiderotFrance Committee Member in External Program Committee for PLDI 2017
Jalil BoukhobzaBoukhobza, Jalil University of Occidental Brittary, FranceFrance Committee Member in Program Committee for LCTES 2017
Timothy BourkeBourke, Timothy INRIAFrance Committee Member in SRC Panel for PLDI 2017 A Formally Verified Compiler for Lustre
Gilad BrachaBracha, Gilad GoogleIsrael Composing Software in an Age of Dissonance
Premek BradaBrada, Premek University of West Bohemia Contracts in the Wild: A Study of Java Programs
Stephan BrandauerBrandauer, Stephan Uppsala UniversitySweden Spencer: Tracing as a Service Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
José BrandãoBrandão, José Multi-view data types for scalable concurrency in the multi-core era
Oliver BračevacBračevac, Oliver TU DarmstadtGermany A Co-contextual Type Checker for Featherweight Java
Jason BreckBreck, Jason University of Wisconsin-Madison Compositional Recurrence Analysis Revisited
Andrey BreslavBreslav, Andrey JetBrainsRussia Kotlin: the ins and outs of designing a commercial language Speaker in Speakers within the ECOOP Summer School-track
Frederik BrixBrix, Frederik University of Basel Demo: Real-Time Football Analysis with StreamTeam
Alexander L. BrooksBrooks, Alexander L. University of Wisconsin, Madison Control-Flow Recovery from Partial Failure Reports
Lélio BrunBrun, Lélio ENS/InriaFrance A Formally Verified Compiler for Lustre
Rodrigo BrunoBruno, Rodrigo INESC-ID / Instituto Superior Técnico, University of Lisbon NG2C: Pretenuring Garbage Collection with Dynamic Generations for HotSpot Big Data Applications
Lubomír BulejBulej, Lubomír Charles UniversityCzech Republic An Empirical Study on Deoptimization in the Graal Compiler
Aydin BulucBuluc, Aydin Lawrence Berkeley National Laboratory Committee Member in Program Committee within the ARRAY-track
Sebastian BurckhardtBurckhardt, Sebastian Microsoft ResearchSwitzerland Committee Member in External Review Committee for PLDI 2017 Committee Member in Program Committee within the ECOOP Research Papers-track
Bernd BurgstallerBurgstaller, Bernd Yonsei University, Korea Committee Member in Program Committee for LCTES 2017
Yann BusnelBusnel, Yann IMT Atlantique FlinkMan – Anomaly Detection in Manufacturing Equipment with Apache Flink
C Jordi CabotCabot, Jordi ICREA - UOC Summer School Chair in Organizing Committee for ECOOP 2017 Co-chair in Organizers within the ECOOP Summer School-track
Anthony CaninoCanino, Anthony SUNY Binghamton Proactive and Adaptive Energy-Aware Programming with Mixed Typechecking
Michael CarbinCarbin, Michael MITUnited States Committee Member in External Review Committee for PLDI 2017 Organizer in Mentors within the PLMW-track
João M. P. CardosoCardoso, João M. P. University of Porto, Portugal Committee Member in Program Committee for LCTES 2017
Nicolás CardozoCardozo, Nicolás Universidad de los AndesColombia Peace COrP: Learning to solve conflicts between contexts Programme Committee in Program Committee within the COP-track
Calin CascavalCascaval, Calin Barefoot Networks P4: Programming the Network Data Plane
Elias CastegrenCastegren, Elias Uppsala University Relaxed Linear References for Lock-free Programming Co-chair in Organizing Committee within the IWACO-track Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Benoît CaudesayguesCaudesaygues, Benoît Loosely Coupled Approach for Web-Based Collaborative 3D Design
Walter CazzolaCazzola, Walter Università degli Studi di MilanoItaly Programme Committee in Program Committee within the COP-track
Aleksandar ChakarovChakarov, Aleksandar University of Colorado BoulderUnited States Committee Member in External Review Committee for PLDI 2017
Manuel ChakravartyChakravarty, Manuel Haskell SpriteKit - A Case Study in Turning a Stateful into a Purely Functional API
Buddhika ChamithChamith, Buddhika Indiana UniversityUnited States Compiling tree transforms to operate on packed representations Instruction Punning: Lightweight Instrumentation for x86-64
Van Chan NgoChan Ngo, Van Carnegie Mellon UniversityUnited States Committee Member in Artifact Evaluation Committee for PLDI 2017
Mani ChandyChandy, Mani Caltech PC Chairs in Organizing Committee for DEBS 2017
Bor-Yuh Evan ChangChang, Bor-Yuh Evan University of Colorado Boulder Committee Member in Program Committee for PLDI 2017 Committee Member in Program Committee within the SOAP-track Committee Member in Program Committee within the ECOOP Research Papers-track
Li-Pin ChangChang, Li-Pin National Chiao-Tung University, Taiwan Committee Member in Program Committee for LCTES 2017
Yuan-Hao (Johnson) ChangChang, Yuan-Hao (Johnson) Institute of Information Science, Academia Sinica Committee Member in Program Committee for LCTES 2017
Guido ChariChari, Guido University of Buenos Aires, ArgentinaArgentina A Metaobject Protocol for Optimizing Application-Specific Run-Time Variability
Avik ChaudhuriChaudhuri, Avik Facebook Flow Reloaded: New Challenges and New Opportunities
Swarat ChaudhuriChaudhuri, Swarat Rice University Committee Member in Program Committee for PLDI 2017 Session Chair of Learning and Probabilistic (part of PLDI Research Papers) Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples
Guoyang ChenChen, Guoyang QualcommUnited States Committee Member in External Review Committee within the ISMM -track
Hanfeng ChenChen, Hanfeng McGill UniversityCanada An ELI-to-C Compiler: Design, Implementation and Performance
Xianzhang ChenChen, Xianzhang Chongqing University Optimal Functional Unit Assignment and Voltage Selection for Pipelined MPSoC with Guaranteed Probability on Time Performance
Yiran ChenChen, Yiran University of Pittsburgh A Lightweight Progress Maximization Scheduler for Non-Volatile Processor Under Unstable Energy Harvesting
Yu-Fang ChenChen, Yu-Fang Flatten and Conquer (A Framework for Efficient Analysis of String Constraints)
James CheneyCheney, James University of Edinburgh, UKUnited States Incremental Relational Lenses μPuppet: A Declarative Subset of the Puppet Configuration Language
Perry ChengCheng, Perry IBM Research Committee Member in Steering Committee for ISMM 2017 Committee Member in Program Committee within the ISMM -track
Alvin CheungCheung, Alvin University of Washington Committee Member in Program Committee for PLDI 2017 Session Chair of Verified Computation (part of PLDI Research Papers) HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics Synthesizing Highly Expressive SQL Queries from Input-Output Examples
Maxime Chevalier-BoisvertChevalier-Boisvert, Maxime Committee Member in Program Committee within the ICOOOLPS-track
Wai-Mee ChingChing, Wai-Mee An ELI-to-C Compiler: Design, Implementation and Performance
Adam ChlipalaChlipala, Adam Massachusetts Institute of Technology, USAUnited States Committee Member in External Review Committee for PLDI 2017 Session Chair of Academic C-verification project; industry perspective on hypervisors (part of DSW) Correct-by-Construction Generation of Fast Code for Elliptic Curves Introduction to DeepSpec Committee Member in Organizing Committee within the DSW-track
Eun-Sun ChoCho, Eun-Sun Chungnam National University, Korea Runtime Anomaly Detection Method in Smart Factories using Machine Learning on RDF Event Streams
Joong-Hyun ChoiChoi, Joong-Hyun Chungnam National Univ. Runtime Anomaly Detection Method in Smart Factories using Machine Learning on RDF Event Streams
Yongjun ChoiChoi, Yongjun Hongik University Poster: Multilateral Context Analysis based on the Novel Visualization of Network Tomography
Stephen ChongChong, Stephen Harvard University, USA Organizer in Mentors within the PLMW-track
Maria ChristakisChristakis, Maria MPI-SWS, GermanyGreece Committee Member in External Review Committee for PLDI 2017 Committee Member in Program Committee within the ECOOP Research Papers-track
Jan ChristianChristian, Jan Norwegian University of Science and Technology Efficient Array Slicing on the Intel Xeon Phi Coprocessor
Shumo ChuChu, Shumo University of Washington, USAChina Committee Member in Artifact Evaluation Committee for PLDI 2017 HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics
Ravi ChughChugh, Ravi University of Chicago Committee Member in Program Committee for PLDI 2017
Pietro CicottiCicotti, Pietro San Diego Supercomputer Center RTHMS: A Tool for Data Placement on Hybrid Memory System
Cristina CifuentesCifuentes, Cristina Oracle LabsAustralia Committee Member in Organizing Committee within the SOAP-track
Kevin ClancyClancy, Kevin Monotonicity Types for Distributed Dataflow
Robert ClarisóClarisó, Robert Universitat Oberta de CatalunyaSpain Student Volunteer Co-Chair in Organizing Committee for PLDI 2017 Student Volunteer Chair in Organizing Committee for ECOOP 2017
Dave ClarkeClarke, Dave Uppsala Univ. Sweden and KU Leuvern Programme Committee in Program Committee within the COP-track
Sylvan ClebschClebsch, Sylvan Imperial College London Reference Capabilities in Practice: Examining Real-World Pony Code We Software People are not Worthy - All Hail the Hardware Gods Pony: 714 Days Later
Richard CleggClegg, Richard Queen Mary University London Demo: Raphtory: Decentralised Streaming for Temporal Graphs Raphtory: Decentralised Streaming for Temporal Graphs
Albert CohenCohen, Albert INRIAFrance PLDI 2017 General Chair in Organizing Committee for PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM General Chair in Organizing Committee for PLDI 2017 Session Chair of Welcome (part of PLDI Invited Speakers) Closing
Alexei ColinColin, Alexei Carnegie Mellon University Committee Member in Artifact Evaluation Committee for PLDI 2017
Ivo CorreiaCorreia, Ivo Feedzai Demo: Demonstration of a Prototype for Credit Card Fraud Management A Prototype for Credit Card Fraud Management. (Industry Paper)
Mauricio CortesCortes, Mauricio Nokia Bell Labs Demo: Building Connected Car Applications on Top of the World-Wide Streams Platform
Manuel CostaCosta, Manuel Microsoft Research Simple, fast and safe manual memory management
Silvia CrafaCrafa, Silvia University of PadovaItaly Publicity Chair in Organizing Committee for ECOOP 2017
John CriswellCriswell, John University of Rochester Flexible and Efficient Memory Object Metadata
Tristan CrolardCrolard, Tristan CEDRIC - CNAM - Paris, France A Coq-based synthesis of Scala programs which are correct-by-construction
Raimil CruzCruz, Raimil University of ChileChile Type Abstraction for Relaxed Noninterference Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Felix CuadradoCuadrado, Felix Queen Mary University London Demo: Raphtory: Decentralised Streaming for Temporal Graphs
Félix CuadradoCuadrado, Félix Queen Mary University of London Raphtory: Decentralised Streaming for Temporal Graphs
Gianpaolo CugolaCugola, Gianpaolo Politecnico di Milano FlowDB: Integrating Stream Processing and Consistent State Management. (Research Paper)
Edward CurryCurry, Edward Insight Centre for Data Analytics NUIG Poster: Challenges with Image Event Processing Automatic Anomaly Detection over Sliding Windows The Event Crowd: A Novel Approach for Crowd-Enabled Event Processing. (New Direction Paper)
Javier Luis Cánovas IzquierdoCánovas Izquierdo, Javier Luis IN3 - UOCSpain Web Chair in Organizing Committee for PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM Web Chair in Organizing Committee for ECOOP 2017
D Loris D'AntoniD'Antoni, Loris University of Wisconsin–MadisonItaly Session Chair of Static Analysis (part of PLDI Research Papers) Control-Flow Recovery from Partial Failure Reports Automatic Program Inversion using Symbolic Transducers
Amanieu d'Antrasd'Antras, Amanieu University of Manchester [Poster] Understanding the Performance of Dynamic Binary Modification on ARM Using MAMBO Low Overhead Dynamic Binary Translation on ARM
Pierre-Evariste DagandDagand, Pierre-Evariste LIP6/CNRS France A Formally Verified Compiler for Lustre
Brandon DailDail, Brandon Formidable Labs Building Web Apps with Reason
Luke DalessandroDalessandro, Luke Indiana University Instruction Punning: Lightweight Instrumentation for x86-64
Hoang-Hai DangDang, Hoang-Hai MPI-SWS Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris
Jonas DannDann, Jonas SAP SE Hardware Accelerated Application Integration Processing. (Industry Paper)
David DaraisDarais, David University of Maryland, USAUnited States Video Chair in Organizing Committee for PLDI 2017 Doctoral Symposium Chair in Organizing Committee for ECOOP 2017 Co-chair in Program Committee within the ECOOP Doctoral Symposium-track
Ornela DardhaDardha, Ornela University of Glasgow A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming
Eva DarulovaDarulova, Eva MPI-SWSGermany Committee Member in External Review Committee for PLDI 2017
Sanjoy DasDas, Sanjoy Azul Systems Taming Undefined Behavior in LLVM
Mohammad DashtiDashti, Mohammad University of British Columbia Analyzing Memory Management Methods on Integrated CPU-GPU Systems
Yaniv DavidDavid, Yaniv Technion Similarity of Binaries through re-Optimization
Miyuru DayarathnaDayarathna, Miyuru WSO2 Inc. Anomaly Detection of Manufacturing Equipment via High Performance RDF Data Stream Processing Demo: Solution Recommender for System Failure Recovery via Log Event Pattern Matching on a Knowledge Graph Demo: Scalable Complex Event Processing on a Notebook
Laurent DaynesDaynes, Laurent Committee Member in External Review Committee within the ISMM -track
Frank S. de Boerde Boer, Frank S. Centrum Wiskunde & Informatica, Leiden University Co-chair in Organizing Committee within the VORTEX-track Co-chair in Program Committee within the VORTEX-track
Wolfgang De MeuterDe Meuter, Wolfgang Vrije Universiteit Brussel Mailbox Abstractions for Static Analysis of Actor Programs
Coen De RooverDe Roover, Coen Vrije Universiteit BrusselBelgium Mailbox Abstractions for Static Analysis of Actor Programs
Germán Andrés DelbiancoDelbianco, Germán Andrés IMDEA Software InstituteSpain Concurrent Data Structures Linked in Time
Daniele Dell'AglioDell'Aglio, Daniele IFI, University of Zurich Using Rank Aggregation in Continuously Answering SPARQL Queries on Streaming and Quasi-static Linked Data. (Experience Paper)
Luca Della ToffolaDella Toffola, Luca ETH Zurich Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Emanuele Della ValleDella Valle, Emanuele DEIB, Politecnico di Milano Using Rank Aggregation in Continuously Answering SPARQL Queries on Streaming and Quasi-static Linked Data. (Experience Paper)
Camil DemetrescuDemetrescu, Camil Sapienza University RomeItaly Committee Member in Program Committee within the IC-track
Caroline DespratDesprat, Caroline IRIT - University of Toulouse Loosely Coupled Approach for Web-Based Collaborative 3D Design
Joseph DeviettiDevietti, Joseph University of Pennsylvania Committee Member in Program Committee for PLDI 2017 Session Chair of Correctness (part of PLDI Research Papers) BARRACUDA: Binary-level Analysis of Runtime RAces in CUDA programs
Paul DiacDiac, Paul Alexandru Ioan Cuza University of Iasi Optimized Stage Processing for Anomaly Detection on Numerical Data Streams
Bui Phi DiepDiep, Bui Phi Uppsala UniversitySweden Flatten and Conquer (A Framework for Efficient Analysis of String Constraints)
Werner DietlDietl, Werner University of Waterloo, CanadaCanada Workshop Chair in Organizing Committee for ECOOP 2017 Committee member in Organizing Committee within the ECOOP Workshops-track
Christian DietrichDietrich, Christian OSEK-V: Application-Specific RTOS Instantiation in Hardware
Jens DietrichDietrich, Jens Massey UniversityNew Zealand On the Construction of Soundness Oracles Contracts in the Wild: A Study of Java Programs EvilPickles: DoS attacks based on Object-Graph Engineering
Isil DilligDillig, Isil UT Austin Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples Organizer in Mentors within the PLMW-track
Christos DimoulasDimoulas, Christos Harvard University, USA FunTAL: Reasonably Mixing a Functional Language with Assembly
Chen DingDing, Chen University of Rochester Committee Member in Program Committee within the ISMM -track
Xianzhong DingDing, Xianzhong Shandong University Unified nvTCAM and sTCAM Architecture for Improving Packet Matching Performance
Yufei DingDing, Yufei North Carolina State UniversityChina Generalizations of the Theory and Deployment of Triangular Inequality for Compiler-Based Strength Reduction
Dino DistefanoDistefano, Dino Facebook London Building your own modular static analyzer with Facebook Infer
Philippe DobbelaereDobbelaere, Philippe Nokia Bell LabsBelgium Heads in the cloud, feet at the edge and forward we go - distributed computing in the age of connected everything. Kafka versus RabbitMQ. (Industry Paper) Demo: Building Connected Car Applications on Top of the World-Wide Streams Platform
Mike DoddsDodds, Mike University of York Committee Member in Program Committee within the ECOOP Research Papers-track
Julian DolbyDolby, Julian IBM Thomas J. Watson Research CenterUnited States Session Chair of Morning (part of JSTools) WALA Everywhere Invited Talk: The Story of WALA at Watson and Beyond WALA Hack-A-Thon Organizer in Organizing Committee within the JSTools-track Committee member in Invited Speakers within the ECOOP Doctoral Symposium-track
Alastair DonaldsonDonaldson, Alastair Imperial College LondonUnited Kingdom Committee Member in External Review Committee for PLDI 2017
Hailiang DongDong, Hailiang Chongqing University Optimal Functional Unit Assignment and Voltage Selection for Pipelined MPSoC with Guaranteed Probability on Time Performance
Kshitij DoshiDoshi, Kshitij Intel Corporation Continuous Checkpointing of HTM Transactions in NVM
Paul DownenDownen, Paul University of Oregon, USA Compiling without continuations
Goran DoychevDoychev, Goran IMDEA Software Institute Rigorous Analysis of Software Countermeasures against Cache Attacks
Dana Drachsler CohenDrachsler Cohen, Dana TechnionIsrael Committee Member in External Review Committee for PLDI 2017
Derek DreyerDreyer, Derek MPI-SWS Iris: A Modular Foundation for Higher-Order Concurrent Separation Logic (KEYNOTE) Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris Repairing Sequential Consistency in C/C++11
Sophia DrossopoulouDrossopoulou, Sophia Imperial College LondonUnited Kingdom General Chair in Organizing Committee for PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM Session Chair of Language and Library Design (part of ECOOP Research Papers)
Cezara DrăgoiDrăgoi, Cezara INRIA, ENS, CNRSFrance Committee Member in Program Committee for PLDI 2017
Gilles DuboscqDuboscq, Gilles Oracle LabsSwitzerland Practical Partial Evaluation for High-Performance Dynamic Language Runtimes
Benoît DuhouxDuhoux, Benoît Université catholique de Louvain, BelgiumBelgium Organizing Committee in Organizing Committee within the COP-track
Blair DurkeeDurkee, Blair Clemson University A Formalization IDE Integrated with a Verifying Compiler
Ivana DusparicDusparic, Ivana Trinity College Dublin, Ireland Peace COrP: Learning to solve conflicts between contexts
E Sztefan EdwardsEdwards, Sztefan nVisium LLC On Being a type-heavy Scheme programer in InfoSec, or, how I learnt to hate everything & love better type systems
Michael EichbergEichberg, Michael TU Darmstadt, Germany Hermes: Assessment and Creation of Effective Test Corpora
Rudolf EigenmannEigenmann, Rudolf Purdue University Committee Member in Organizing Committee within the WCIRE-track
Richard A. EisenbergEisenberg, Richard A. Bryn Mawr College, USAUnited States Levity Polymorphism
Jason EisnerEisner, Jason The Johns Hopkins University Dyna: Toward a Self-Optimizing Declarative Language for Machine Learning Applications
Ariel EizenbergEizenberg, Ariel University of Pennsylvania BARRACUDA: Binary-level Analysis of Runtime RAces in CUDA programs
Joshua EllulEllul, Joshua University of Malta An Embedded DSL Framework for Distributed Embedded Systems
Martin ElsmanElsman, Martin Department of Computer Science, University of CopenhagenDenmark Session Chair of Closing / Discussion (part of ARRAY) Session Chair of Morning talks 2 (part of ARRAY) Futhark: Purely Functional GPU-programming with Nested Parallelism and In-place Array Updates Committee Member in Organizing Committee within the ARRAY-track Committee Member in Program Committee within the ARRAY-track
Vitor EnesEnes, Vitor Portugal The Single-Writer Principle in CRDT Composition
Benjamin ErbErb, Benjamin Ulm University, Germany Germany Chronograph—A Distributed Processing Platform for Online and Batch Computations on Event-sourced Graphs. (Experience Paper)
Sebastian ErdwegErdweg, Sebastian TU DelftNetherlands IncAL: A DSL for Incremental Program Analysis with Lattices Privacy-aware Distributed Incremental Computation A Co-contextual Type Checker for Featherweight Java Committee Member in Organizing Committee within the IC-track
Stefano ErmonErmon, Stefano Stanford Committee Member in Organizing Committee within the MAPL-track Committee Member in Program Committee within the MAPL-track
Michael D. ErnstErnst, Michael D. University of Washington, USA Verifying invariants of lock-free data structures with rely-guarantee and refinement type
Opher EtzionEtzion, Opher Yezreel Valley College Human Body Related Event Processing
Patrick EugsterEugster, Patrick Purdue University Committee Member in Program Committee within the ECOOP Research Papers-track
Sven EutingEuting, Sven FZI Research Center for Information Technology Considering Human Factors in the Development of Situation-Aware CEP Applications. (New Direction Paper)
Dave EyersEyers, Dave University of Otago Tutorials Chair in Organizing Committee for DEBS 2017
Jonathan EyolfsonEyolfson, Jonathan University of Waterloo Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
F Heiko FalkFalk, Heiko Ulm University, Germany Committee Member in Steering Committee for LCTES 2017
Bin FangFang, Bin East China Normal University (China) and University Paris Diderot and CNRS (France)China A Refinement Hierarchy for Free List Memory Allocators
Azadeh FarzanFarzan, Azadeh University of TorontoCanada Synthesis of Divide and Conquer Parallelism for Loops
Alexandra (Sasha) FedorovaFedorova, Alexandra (Sasha) Simon Fraser University Analyzing Memory Management Methods on Integrated CPU-GPU Systems
Grigory FedyukovichFedyukovich, Grigory UW CSE Gradual Synthesis for Static Parallelization
Marc FeeleyFeeley, Marc Université de MontréalCanada Interprocedural Specialization of Higher-Order Dynamic Languages Without Static Analysis
Pascal FelberFelber, Pascal Université de Neuchâtel SecureStreams: A Reactive Middleware Framework for Secure Data Stream Processing. (Research Paper)
Tim FelgentreffFelgentreff, Tim Hasso-Plattner-Institute, PotsdamGermany VM Wrapping - Fake it till you make it Committee Member in Program Committee within the ICOOOLPS-track
Yu FengFeng, Yu University of Texas at Austin, USAChina Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples
Kostas FerlesFerles, Kostas University of Texas at Austin, USAUnited States A Datalog Model of Must-Alias Analysis
Seshika FernandoFernando, Seshika WSO2 Inc. Anomaly Detection of Manufacturing Equipment via High Performance RDF Data Stream Processing
Angelo FerrandoFerrando, Angelo Parametric trace expressions for runtime verification of Java-like programs
Carla FerreiraFerreira, Carla Universidade Nova Lisboa Committee Member in Program Committee within the PMLDC-track
Paulo FerreiraFerreira, Paulo INESC-ID / Instituto Superior Técnico, University of LisbonPortugal NG2C: Pretenuring Garbage Collection with Dynamic Generations for HotSpot Big Data Applications
John FieldField, John GoogleUnited States Committee Member in External Review Committee for PLDI 2017
Nathaniel Wesley FilardoFilardo, Nathaniel Wesley Dyna: Toward a Self-Optimizing Declarative Language for Machine Learning Applications
Sebastian FischmeisterFischmeister, Sebastian University of Waterloo, Canada Committee Member in Steering Committee for LCTES 2017
Cormac FlanaganFlanagan, Cormac University of California, Santa CruzIreland Chair in Steering Committee for PLDI 2017 Correctness of Partial Escape Analysis for Multithreading Optimization BigFoot: Static Check Placement for Dynamic Race Detection
Olivier FlückigerFlückiger, Olivier Northeastern University Student Volunteer Co-Chair in Organizing Committee for PLDI 2017
Bryan FordFord, Bryan Swiss Federal Institute of Technology Lausanne (EPFL), SwitzerlandSwitzerland Committee Member in External Review Committee for PLDI 2017
Chris FordFord, Chris ThoughtWorks (UK) Ltd. Computational Musicology, ????, Profit
Jeffrey S. FosterFoster, Jeffrey S. University of Maryland, College ParkUnited States Committee Member in Program Committee for PLDI 2017 Learning a Classifier for False Positive Error Reports Emitted by Static Code Analysis Tools
Nate FosterFoster, Nate Cornell UniversityUnited States Committee Member in External Program Committee for PLDI 2017 P4: Programming the Network Data Plane
Fabiana FournierFournier, Fabiana IBM Haifa Research Lab Demo: Demonstration of a Prototype for Credit Card Fraud Management A Prototype for Credit Card Fraud Management. (Industry Paper)
Simon FowlerFowler, Simon The University of EdinburghUnited Kingdom Mixing Metaphors: Actors as Channels and Channels as Actors
José Fragoso SantosFragoso Santos, José JaVerT: a logic-based tool for JavaScript Verification
Daniel FramptonFrampton, Daniel Microsoft Committee Member in External Review Committee within the ISMM -track
Adrian FrancalanzaFrancalanza, Adrian University of MaltaMalta Committee Member in Program Committee within the VORTEX-track
Luca FranceschiniFranceschini, Luca DIBRIS, University of Genova, ItalyItaly Parametric trace expressions for runtime verification of Java-like programs
Franz FranchettiFranchetti, Franz Carnegie Mellon University Committee Member in Program Committee for PLDI 2017 Committee Member in Program Committee within the ARRAY-track
Matthew Francis-LandauFrancis-Landau, Matthew The Johns Hopkins University Dyna: Toward a Self-Optimizing Declarative Language for Machine Learning Applications
Juliana FrancoFranco, Juliana Imperial College LondonUnited Kingdom Co-chair in Organizing Committee within the IWACO-track Committee Member in Program Committee within the ICOOOLPS-track
Björn FrankeFranke, Björn University of Edinburgh Committee Member in Steering Committee for LCTES 2017
Stephen N. FreundFreund, Stephen N. Williams CollegeUnited States Committee Member in External Program Committee for PLDI 2017 Career paths in Computer Science Correctness of Partial Escape Analysis for Multithreading Optimization BigFoot: Static Check Placement for Dynamic Race Detection Panelist in Mentors within the PLMW-track
Roy FriedmanFriedman, Roy Technion - Israel institute of technology Session Chair of Session 4: Reliability and Security (part of DEBS Research Papers)
Sheng-Yu FuFu, Sheng-Yu Dynamic Translation of Structured Loads/Stores and Register Mapping for Architectures with SIMD Extensions
Weili FuFu, Weili University of Edinburgh μPuppet: A Declarative Subset of the Puppet Configuration Language
Zhoulai FuFu, Zhoulai University of California, Davis Committee Member in Artifact Evaluation Committee for PLDI 2017 Achieving High Coverage for Floating-point Code via Unconstrained Programming
Akira FukudaFukuda, Akira Kyushu University ContextROS: Context-Oriented Programming for the Robot Operating System IoT Robot Simulator and Framework for Context-Oriented Programming
G Moshe GabelGabel, Moshe Technion One for All and All for One: Simultaneous Approximation of Multiple Functions over Distributed Streams. (Research Paper)
Avigdor GalGal, Avigdor Technion - Israel Institute of Technology FlinkMan – Anomaly Detection in Manufacturing Equipment with Apache Flink Demo: REMI, Reusable Elements for Multi-Level Information Availability
Vijay GaneshGanesh, Vijay University of WaterlooCanada Committee Member in External Review Committee for PLDI 2017
Zheng GaoGao, Zheng To Type or Not to Type: Quantifying Detectable Bugs in JavaScript
Diego GarbervetskyGarbervetsky, Diego University of Buenos Aires, ArgentinaArgentina A Metaobject Protocol for Optimizing Application-Specific Run-Time Variability
Jim GarsideGarside, Jim University of Manchester Low Overhead Dynamic Binary Translation on ARM
François GauthierGauthier, François Oracle LabsAustralia Committee Member in Program Committee within the SOAP-track
Paul GazzilloGazzillo, Paul Yale UniversityUnited States Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels
Buğra GedikGedik, Buğra Bilkent University Doctoral Symposium Chair in Organizing Committee for DEBS 2017
Soheil GhiasiGhiasi, Soheil UC Davis, USA Committee Member in Program Committee for LCTES 2017
Paola GianniniGiannini, Paola Universita' del Piemonte OrientaleItaly Tracing sharing in an imperative pure calculus
Jeremy GibbonsGibbons, Jeremy Department of Computer Science, University of OxfordUnited Kingdom Committee Member in Steering Committee for PLDI 2017 Invited talk: APLicative Programming with Naperian Functors Profunctor Optics: Modular Data Accessors
Ellis GilesGiles, Ellis Rice University Continuous Checkpointing of HTM Transactions in NVM
Roberto GioiosaGioiosa, Roberto Pacific Northwest National Laboratory RTHMS: A Tool for Data Placement on Hybrid Memory System
Brian GoetzGoetz, Brian Oracle FP is Dead: Long Live FP
Dan GohmanGohman, Dan Mozilla Bringing the Web up to Speed with WebAssembly
Anirüddhā GokhāléGokhālé, Anirüddhā Vanderbilt University An Autonomous and Dynamic Coordination and Discovery Service for Wide-Area Peer-to-peer Publish/Subscribe. (Experience Paper) Poster: Software-defined Adaptive Resource Management for Cloud-hosted Group Communication Applications
Laure GonnordGonnord, Laure University of Lyon & LIP, FranceFrance Committee Member in SRC Panel for PLDI 2017
Elisa Gonzalez BoixGonzalez Boix, Elisa Vrije Universiteit BrusselBelgium Session Chair of Morning II (part of ICOOOLPS) Committee Member in Program Committee within the ICOOOLPS-track
Colin GordonGordon, Colin Drexel UniversityUnited States Session Chair of Calculi and Semantics (part of ECOOP Research Papers) A Generic Approach to Flow-Sensitive Polymorphic Effects Verifying invariants of lock-free data structures with rely-guarantee and refinement type Committee Member in Program Committee within the IWACO-track Committee member in Academic Panel within the ECOOP Doctoral Symposium-track Committee Member in Program Committee within the ECOOP Research Papers-track
Cosmin GorgovanGorgovan, Cosmin University of Manchester [Poster] Understanding the Performance of Dynamic Binary Modification on ARM Using MAMBO Low Overhead Dynamic Binary Translation on ARM
Alessandra GorlaGorla, Alessandra IMDEA Software InstituteSpain Committee Member in Program Committee within the SOAP-track Committee member in Academic Panel within the ECOOP Doctoral Symposium-track
Alexey GotsmanGotsman, Alexey IMDEA Committee Member in External Review Committee for PLDI 2017 Committee Member in Program Committee within the PMLDC-track
Justin GottschlichGottschlich, Justin Intel Labs Concluding Remarks Introduction and Welcome Committee Member in Organizing Committee within the MAPL-track Program Chair in Program Committee within the MAPL-track
Ben GreenmanGreenman, Ben Northeastern UniversityUnited States Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
David GreggGregg, David Trinity College Dublin, Ireland Committee Member in Program Committee within the ICOOOLPS-track
Clemens GrelckGrelck, Clemens University of AmsterdamGermany Committee Member in Organizing Committee within the ARRAY-track Committee Member in Program Committee within the ARRAY-track
Stefan GriesGries, Stefan University of Duisburg-Essen Property-based routing in clustered message brokers for CPS Poster: Cascading Data Corruption – About Dependencies in Cyber-Physical Systems
Radu GrigoreGrigore, Radu University of KentUnited Kingdom Session Chair of D (part of FTfJP) Session Chair of A (part of FTfJP) Chair in Program Committee within the FTfJP-track
Matthias GrimmerGrimmer, Matthias Oracle Labs, Austria Practical Partial Evaluation for High-Performance Dynamic Language Runtimes
Tobias GrosserGrosser, Tobias ETH Zurich Committee Member in SRC Panel for PLDI 2017 Publicity Chair in Organizing Committee for PLDI 2017 Polyhedral Compilation Committee Member in Program Committee within the ARRAY-track
Dan GrossmanGrossman, Dan University of WashingtonUnited States Committee Member in Program Committee for PLDI 2017 Session Chair of Systems and Performance (part of PLDI Research Papers) Debugging Probabilistic Programs Verifying invariants of lock-free data structures with rely-guarantee and refinement type
Boris GrotGrot, Boris University of Edinburgh, UK Publicity Chair in Organizing Committee for LCTES 2017
David GroveGrove, David IBM ResearchUnited States Committee Member in Steering Committee for PLDI 2017 Committee Member in Steering Committee for ISMM 2017 Committee Member in External Review Committee within the ISMM -track
Volker GruhnGruhn, Volker University Duisburg-Essen Property-based routing in clustered message brokers for CPS Poster: Cascading Data Corruption – About Dependencies in Cyber-Physical Systems Poster: The Requirements Engineering Perspective on Events in Cyber-Physical Systems
Paul GrünbacherGrünbacher, Paul An Event-based Capture-and-Compare Approach to Support the Evolution of Systems of Systems. (Experience Paper)
Hui GuanGuan, Hui North Carolina State University Generalizations of the Theory and Deployment of Triangular Inequality for Compiler-Based Strength Reduction
Nan GuanGuan, Nan Hong Kong Polytechnic University, China Committee Member in Program Committee for LCTES 2017 [Poster] Benchmarking OpenMP for Real-Time Scheduling: From Modeling to Applications
Vincenzo GulisanoGulisano, Vincenzo Chalmers University of TechnologySweden Grand Challenge Chairs in Organizing Committee for DEBS 2017 The DEBS 2017 Grand Challenge Performance Modeling of Stream Joins. (Research Paper) Maximizing Determinism in Stream Processing Under Latency Constraints. (Research Paper)
Sumit GulwaniGulwani, Sumit Microsoft Research Programming by Examples: PL Meets ML
Dimitrios GunopulosGunopulos, Dimitrios University of Athens Demo: REMI, Reusable Elements for Multi-Level Information Availability
Aarti GuptaGupta, Aarti Princeton University Committee Member in External Review Committee for PLDI 2017
Sam GuyerGuyer, Sam Committee Member in Steering Committee for ISMM 2017 Committee Member in External Review Committee within the ISMM -track
H Jorge H. CastroH. Castro, Jorge Universidad de los Andes Peace COrP: Learning to solve conflicts between contexts
Christine H. FloodH. Flood, Christine Red Hat Chair in Steering Committee for ISMM 2017 Committee Member in External Review Committee within the ISMM -track
Andreas HaasHaas, Andreas Google Bringing the Web up to Speed with WebAssembly
Jurriaan HageHage, Jurriaan Utrecht University Domain-Specific Type Error Diagnosis in the Glasgow Haskell Compiler
Akram HakiriHakiri, Akram LAAS-CNRSTunisia Poster: Software-defined Adaptive Resource Management for Cloud-hosted Group Communication Applications
Mary HallHall, Mary University of Utah Committee Member in Program Committee within the MAPL-track
Philipp HallerHaller, Philipp KTH Royal Institute of TechnologyGermany Artifact Evaluation Chair in Organizing Committee for ECOOP 2017 Session Chair of Types and Effects (part of ECOOP Research Papers) Privacy-aware Distributed Incremental Computation Committee Member in Program Committee within the IWACO-track Committee Member in Program Committee within the ECOOP Research Papers-track Artifact Evaluation Co-Chair in Artifact Evaluation Committee within the ECOOP Artifacts-track
Christian HammerHammer, Christian University of PotsdamGermany Session Chair of Afternoon (part of JSTools) WebPol: Fine-grained Information Flow Policies for Web Browsers Organizer in Organizing Committee within the JSTools-track
Matthew HammerHammer, Matthew University of Colorado, BoulderUnited States Committee Member in Organizing Committee within the IC-track
Jad HamzaHamza, Jad LIAFA, Université Paris Diderot Proactive Synthesis of Recursive Tree-to-String Functions from Examples
Frank HannigHannig, Frank Friedrich-Alexander University Erlangen-Nürnberg (FAU)Germany Auto-Vectorization for Image Processing DSLs
Daco HarkesHarkes, Daco Delft University of TechnologyNetherlands IceDust Calculation Strategy Composition Performance in Web Applications IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition
Robert HarperHarper, Robert CWI Responsive Parallel Computation: Bridging Competitive and Cooperative Threading
Tim HarrisHarris, Tim Oracle Labs Committee Member in Program Committee for PLDI 2017
Souleiman HasanHasan, Souleiman Insight Centre for Data Analytics NUIG Poster: Challenges with Image Event Processing Automatic Anomaly Detection over Sliding Windows The Event Crowd: A Novel Approach for Crowd-Enabled Event Processing. (New Direction Paper)
Matin HashemiHashemi, Matin Sharif University of TechnologyIran Committee Member in Program Committee for LCTES 2017
Behnaz HassanshahiHassanshahi, Behnaz Oracle Labs, Australia An Efficient Tunable Selective Points-to Analysis for Large Codebases
Kristoffer HaugsbakkHaugsbakk, Kristoffer Towards Reasonable Ownership
Matthias HauswirthHauswirth, Matthias Università della Svizzera italianaSwitzerland Committee Member in Program Committee within the ECOOP Research Papers-track
Klaus HavelundHavelund, Klaus Jet Propulsion LaboratoryUnited States Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Program Committee within the VORTEX-track
Marijn HaverbekeHaverbeke, Marijn Grammar-based language modes for text editors
Aurélien HavetHavet, Aurélien Université de NeuchâtelSwitzerland SecureStreams: A Reactive Middleware Framework for Secure Data Stream Processing. (Research Paper)
Byron HawkinsHawkins, Byron Introspective Intrusion Detection for Popular Software Platforms
Peter HawkinsHawkins, Peter Google Compiled Machine Learning: Accelerated Linear Algebra (XLA) for TensorFlow Committee Member in Program Committee within the MAPL-track
Kyle HeadleyHeadley, Kyle University of Colorado BoulderUnited States Tuning Data and Control Structures for Incremental Computation
Gorel HedinHedin, Gorel Lund UniversitySweden Committee Member in Program Committee within the ECOOP Research Papers-track
Laurie HendrenHendren, Laurie McGill University, CanadaCanada An ELI-to-C Compiler: Design, Implementation and Performance
Fritz HengleinHenglein, Fritz DIKU, Denmark Automatic Incrementalization of Functional Reports Futhark: Purely Functional GPU-programming with Nested Parallelism and In-place Array Updates
Johannes HenningHenning, Johannes Hasso Plattner Institute VM Wrapping - Fake it till you make it
Troels HenriksenHenriksen, Troels DIKU, University of CopenhagenDenmark Futhark: Purely Functional GPU-programming with Nested Parallelism and In-place Array Updates
Seonyeong HeoHeo, Seonyeong POSTECH Integrated IoT Programming with Selective Abstraction
Maurice HerlihyHerlihy, Maurice Brown University Committee Member in Program Committee within the ISMM -track
Ben HermannHermann, Ben University of PaderbornGermany Hermes: Assessment and Creation of Effective Test Corpora SootKeeper: Runtime Reusability for Modular Static Analysis Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Marc HeseniusHesenius, Marc University of Duisburg-Essen Poster: Cascading Data Corruption – About Dependencies in Cyber-Physical Systems Poster: The Requirements Engineering Perspective on Events in Cyber-Physical Systems
Guenter HesseHesse, Guenter Hasso Plattner Institute A New Application Benchmark for Data Stream Processing Architectures in an Enterprise Context
Stefan HeuleHeule, Stefan Stanford University, USAUnited States Committee Member in Artifact Evaluation Committee for PLDI 2017 Committee Member in External Review Committee for PLDI 2017
Michael HicksHicks, Michael University of Maryland, College ParkUnited States Committee Member in Steering Committee for PLDI 2017 What is research and how to do it? Thinking globally and acting locally. Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels Committee Member in Mentors within the ECOOP Summer School-track Speaker in Mentors within the PLMW-track
Annika HinzeHinze, Annika University of Waikato Tutorials Chair in Organizing Committee for DEBS 2017 Session Chair of Session 1: New Directions (part of DEBS Research Papers)
Robert HirschfeldHirschfeld, Robert HPIGermany The Declarative Nature of Implicit Layer Activation VM Wrapping - Fake it till you make it Organizing Committee in Organizing Committee within the COP-track
Martin HirzelHirzel, Martin IBM ResearchUnited States Committee Member in External Review Committee for PLDI 2017 Session Chair of Session 5: Learning, Automation and Integration (part of DEBS Research Papers) Low-Latency Sliding-Window Aggregation in Worst-Case Constant Time. (Research Paper) Sliding-Window Aggregation Algorithms
Kenji HisazumiHisazumi, Kenji Kyushu University ContextROS: Context-Oriented Programming for the Robot Operating System IoT Robot Simulator and Framework for Context-Oriented Programming
Jan HoffmannHoffmann, Jan Carnegie Mellon UniversityUnited States Committee Member in Program Committee for PLDI 2017
Michael HolmanHolman, Michael Microsoft Bringing the Web up to Speed with WebAssembly
Philipp HolzingerHolzinger, Philipp Fraunhofer SITGermany Committee Member in Program Committee within the ECOOP Doctoral Symposium-track
Lukáš HolíkHolík, Lukáš Flatten and Conquer (A Framework for Efficient Analysis of String Constraints)
Ding-Yong HongHong, Ding-Yong Institute of Information Science, Academia Sinica Dynamic Translation of Structured Loads/Stores and Register Mapping for Architectures with SIMD Extensions
Rudi HornHorn, Rudi University of Edinburgh Incremental Relational Lenses
Gábor HorváthHorváth, Gábor Eötvös Loránd University, Faculty of Informatics, Department of Programming Languages and Compilers Code Generation in Serializers and Comparators of Apache Flink
Tony HoskingHosking, Tony Australian National University, Data61, and Purdue UniversityAustralia Committee Member in Steering Committee for ISMM 2017 Committee Member in Program Committee within the IWACO-track
Lode HosteHoste, Lode Demo: Building Connected Car Applications on Top of the World-Wide Streams Platform
Wei-Chung HsuHsu, Wei-Chung Dept. Computer Science & Information Engineering, National Taiwan University Dynamic Translation of Structured Loads/Stores and Register Mapping for Architectures with SIMD Extensions
Jingtong HuHu, Jingtong Oklahoma State University [Poster] Checkpointing-aware Loop Tiling for Energy Harvesting Powered Non-Volatile Processors A Lightweight Progress Maximization Scheduler for Non-Volatile Processor Under Unstable Energy Harvesting
Qinheping HuHu, Qinheping University of Wisconsin-MadisonUnited States Automatic Program Inversion using Symbolic Transducers
Raymond HuHu, Raymond Imperial College London A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming
Yu HuaHua, Yu Huazhong University of Science and Technology Committee Member in Program Committee for LCTES 2017
Daniel HuangHuang, Daniel Harvard University Compiling Markov Chain Monte Carlo Algorithms for Probabilistic Modeling
Huawei HuangHuang, Huawei The University of Aizu Unified nvTCAM and sTCAM Architecture for Improving Packet Matching Performance
Jeff HuangHuang, Jeff Texas A&M University Committee Member in Program Committee for PLDI 2017 Session Chair of Concurrency Analysis (part of PLDI Research Papers) What’s the Optimal Performance of Precise Dynamic Race Detection? – A Redundancy Perspective Speeding Up Maximal Causality Reduction with Static Dependency Analysis
Shiyou HuangHuang, Shiyou Texas A&M University Speeding Up Maximal Causality Reduction with Static Dependency Analysis
John HughesHughes, John Chalmers University of Technology Don't Write Tests!
Richard HullHull, Richard IBM T. J. Watson Research Center Blockchain: Distributed Event-based Processing in a Data-Centric World
Christian HumerHumer, Christian Oracle Labs, SwitzerlandSwitzerland Practical Partial Evaluation for High-Performance Dynamic Language Runtimes
Chung-Kil HurHur, Chung-Kil Seoul National UniversityKorea, South Taming Undefined Behavior in LLVM Repairing Sequential Consistency in C/C++11
Martin HuschenbettHuschenbett, Martin Jane StreetUnited Kingdom Career paths in Computer Science
I Costin IancuIancu, Costin Lawrence Berkeley National Laboratory Committee Member in Organizing Committee within the MAPL-track Committee Member in Program Committee within the MAPL-track
Roberto IerusalimschyIerusalimschy, Roberto PUC-RioBrazil Scripting with Lua
Atsushi IgarashiIgarashi, Atsushi Kyoto University, JapanJapan Organizing Committee in Organizing Committee within the COP-track
Michael IsardIsard, Michael Google A Computational Model for TensorFlow (An Introduction)
Shachar ItzhakyItzhaky, Shachar MIT CSAILUnited States Committee Member in Artifact Evaluation Committee for PLDI 2017
Zachary G. IvesIves, Zachary G. University of Pennsylvania StreamQRE: Modular Specification and Efficient Evaluation of Quantitative Queries over Streaming Data
J Luka JacobowitzJacobowitz, Luka codecentric AG Reactive Programming in the Browser with Scala.js and PureScript
Bart JacobsJacobs, Bart imec-DistriNet, Dept. CS, KU LeuvenBelgium Committee Member in Program Committee within the ECOOP Research Papers-track Committee Member in Program Committee within the FTfJP-track
Hans-Arno JacobsenJacobsen, Hans-Arno University of Toronto PopSub: Improving Resource Utilization in Distributed Content-based Publish/Subscribe Systems. (Research Paper)
Suresh JagannathanJagannathan, Suresh Purdue University Committee Member in External Program Committee for PLDI 2017
Dimitrije JankovJankov, Dimitrije Rice University Real-time High Performance Anomaly Detection over Data Streams
Michael JantzJantz, Michael University of Tennessee AOT Vs. JIT: Impact of Profile Data on Code Quality
Ciera JaspanJaspan, Ciera Google Committee Member in Program Committee within the SOAP-track
Malith JayasingheJayasinghe, Malith WSO2 Inc. Anomaly Detection of Manufacturing Equipment via High Performance RDF Data Stream Processing
Alan JeffreyJeffrey, Alan Mozilla ResearchUnited States Committee Member in Program Committee within the IC-track
Jinkyu JeongJeong, Jinkyu Sungkyunkwan UniversityKorea, South Committee Member in Program Committee within the ISMM -track
Chris JermaineJermaine, Chris Rice University Real-time High Performance Anomaly Detection over Data Streams
Zbigniew JerzakJerzak, Zbigniew SAP Research Grand Challenge Chairs in Organizing Committee for DEBS 2017 The DEBS 2017 Grand Challenge
Jean-Pierre JesselJessel, Jean-Pierre IRIT - Université Paul Sabatier Toulouse Loosely Coupled Approach for Web-Based Collaborative 3D Design
Kamil JezekJezek, Kamil University of West Bohemia, Pilsen, CZ Contracts in the Wild: A Study of Java Programs EvilPickles: DoS attacks based on Object-Graph Engineering
Ranjit JhalaJhala, Ranjit University of California at San Diego, USAUnited States Committee Member in External Review Committee for PLDI 2017 Refinement Types for Program Verification and Synthesis
Zhiping JiaJia, Zhiping Shandong University Unified nvTCAM and sTCAM Architecture for Improving Packet Matching Performance
Lei JiangJiang, Lei Indiana University BloomingtonUnited States Committee Member in Program Committee for LCTES 2017
Weiwen JiangJiang, Weiwen Chongqing University Optimal Functional Unit Assignment and Voltage Selection for Pipelined MPSoC with Guaranteed Probability on Time Performance
Sun JinghaoJinghao, Sun [Poster] Benchmarking OpenMP for Real-Time Scheduling: From Modeling to Applications
Richard JonesJones, Richard University of Kent Committee Member in Program Committee within the ISMM -track
Simon Peyton JonesJones, Simon Peyton Microsoft Research, Cambridge Levity Polymorphism Compiling without continuations
Alexander JordanJordan, Alexander Oracle Labs, Australia Bug detection in JavaScript web apps using the SAFE framework
Herbert JordanJordan, Herbert University of Innsbruck Engineering Static Analyzers with Soufflé
Arpit JoshiJoshi, Arpit University of Edinburgh, UK Web Chair in Organizing Committee for LCTES 2017
Lei JuJu, Lei Shandong UniversityChina Committee Member in Program Committee for LCTES 2017 Unified nvTCAM and sTCAM Architecture for Improving Packet Matching Performance
Eric JulJul, Eric University of OsloNorway Session Chair of Dahl-Nygaard Junior Prize (part of ECOOP Invited Speakers) Session Chair of Dahl-Nygaard Senior Prize (part of ECOOP Invited Speakers) Panel: Do new Computing Environments lead to new Language Constructs? How to get your Ph.D. DONE Committee Member in Program Committee within the ICOOOLPS-track Committee member in Invited Speakers within the ECOOP Doctoral Symposium-track
Hyungkun JungJung, Hyungkun Chungnam National Univ. Runtime Anomaly Detection Method in Smart Factories using Machine Learning on RDF Event Streams
K Mike KabbaniKabbani, Mike Clemson University A Formalization IDE Integrated with a Verifying Compiler
Christian KaestnerKaestner, Christian Carnegie Mellon UniversityGermany Committee Member in Program Committee within the ECOOP Research Papers-track
Raghavendra KagalavadiKagalavadi, Raghavendra Oracle Labs, Australia An Efficient Tunable Selective Points-to Analysis for Large Codebases
Jan-Oliver KaiserKaiser, Jan-Oliver MPI-SWS Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris
Gowtham KakiKaki, Gowtham Purdue University Committee Member in Artifact Evaluation Committee for PLDI 2017
Saurabh KalikarKalikar, Saurabh Indian Institute of Technology, MadrasIndia Committee Member in Artifact Evaluation Committee for PLDI 2017
Vana KalogerakiKalogeraki, Vana Athens University of Economics and Business Demo: REMI, Reusable Elements for Multi-Level Information Availability Maximizing Determinism in Stream Processing Under Latency Constraints. (Research Paper)
Amir KamilKamil, Amir University of Michigan Committee Member in Program Committee within the ARRAY-track
Tetsuo KaminaKamina, Tetsuo Ritsumeikan UniversityJapan Push-based Reactive Layer Activation in Context-Oriented Programming Programme Committee in Program Committee within the COP-track
Aditya KanadeKanade, Aditya Indian Institute of Science, Bangalore Static Deadlock Detection for Asynchronous C# Programs
Jeehoon KangKang, Jeehoon Seoul National UniversityKorea, South Repairing Sequential Consistency in C/C++11
Vini KanvarKanvar, Vini Indian Institute of Technology (IIT) BombayIndia "What's in a Name?" Going Beyond Allocation Site Names in Heap Analysis
Frank KarglKargl, Frank Ulm University Chronograph—A Distributed Processing Platform for Online and Batch Computations on Event-sourced Graphs. (Experience Paper)
Valentin KasasKasas, Valentin self-employed @ Kanaka Carpenters & Cartographers
Brandon KaseKase, Brandon Pinterest Composable Caching in Swift
George KastrinisKastrinis, George University of AthensGreece A Datalog Model of Must-Alias Analysis
Ioannis KatakisKatakis, Ioannis University of Athens Demo: REMI, Reusable Elements for Multi-Level Information Availability
Roman KaterinenkoKaterinenko, Roman AGT International The DEBS 2017 Grand Challenge
Nikos KatzourisKatzouris, Nikos NCSR Demokritos Demo: Demonstration of a Prototype for Credit Card Fraud Management A Prototype for Credit Card Fraud Management. (Industry Paper)
Martin KavalarKavalar, Martin Nextjournal Making Science Reproducible with Functional Programming Concepts
Piyus KediaKedia, Piyus Indian Institute of Technology Delhi Simple, fast and safe manual memory management
Daniel KerenKeren, Daniel Haifa University One for All and All for One: Simultaneous Approximation of Multiple Functions over Distributed Streams. (Research Paper)
Gokcen KestorKestor, Gokcen Pacific Northwest National Laboratory RTHMS: A Tool for Data Placement on Hybrid Memory System
Sanjeev KhannaKhanna, Sanjeev University of Pennsylvania StreamQRE: Modular Specification and Efficient Evaluation of Quantitative Queries over Streaming Data
Shweta KhareKhare, Shweta Vanderbilt University An Autonomous and Dynamic Coordination and Discovery Service for Wide-Area Peer-to-peer Publish/Subscribe. (Experience Paper)
Farzad KhorasaniKhorasani, Farzad Rice University Dyna: Toward a Self-Optimizing Declarative Language for Machine Learning Applications
Bongjun KimKim, Bongjun POSTECH Integrated IoT Programming with Selective Abstraction
Dongsun KimKim, Dongsun University of LuxembourgLuxembourg Bug detection in JavaScript web apps using the SAFE framework
Hanjun KimKim, Hanjun POSTECH Session Chair of Session 3: Non-Volatile Memory/Processor and RTOS (part of LCTES ) Integrated IoT Programming with Selective Abstraction
Jong KimKim, Jong POSTECH Integrated IoT Programming with Selective Abstraction
Yoonseung KimKim, Yoonseung Seoul National University (South Korea) Taming Undefined Behavior in LLVM
Zachary KincaidKincaid, Zachary Princeton UniversityUnited States Committee Member in Program Committee for PLDI 2017 Compositional Recurrence Analysis Revisited
Daniel KingKing, Daniel Broad Institute Building Tools and Languages for Terabyte Scale Biology: A Call to Action
Dileep KiniKini, Dileep University of Illinois at Urbana-Champaign Dynamic Race Prediction in Linear Time
Christoph KirschKirsch, Christoph University of SalzburgAustria General Chair in Organizing Committee for ISMM 2017 Session Chair of Opening (part of ISMM ) Design versus Performance: From Giotto via the Embedded Machine to Selfie
Martin KleppmannKleppmann, Martin University of Cambridge Making decentralisation available for all
Felix KlockKlock, Felix Aliasing, Capabilities and Ownership in Rust Committee Member in Program Committee within the IWACO-track
Andreas KloecknerKloeckner, Andreas University of Illinois at Urbana-ChampaignUnited States Session Chair of Closing / Discussion (part of ARRAY) Session Chair of Morning talks 1 (part of ARRAY) Session Chair of Keynote (part of ARRAY) Committee Member in Organizing Committee within the ARRAY-track Committee Member in Program Committee within the ARRAY-track
Christof KobylkoKobylko, Christof Auto-Vectorization for Image Processing DSLs
Ugur KocKoc, Ugur University of Maryland, College ParkUnited States Learning a Classifier for False Positive Error Reports Emitted by Static Code Analysis Tools
Boris KoldehofeKoldehofe, Boris TU Darmstadt PC Chairs in Organizing Committee for DEBS 2017
Martin KongKong, Martin Rice University Committee Member in SRC Panel for PLDI 2017
Eric KoskinenKoskinen, Eric Yale University Decomposition Instead of Self-Composition for Proving the Absence of Timing Channels
Nikolai KosmatovKosmatov, Nikolai Shadow State Encoding for Efficient Monitoring of Block-level Properties
Jakob KrainzKrainz, Jakob Friedrich-Alexander University Erlangen-Nürnberg Diff Graphs for a fast Incremental Pointer Analysis
Uli KremerKremer, Uli Rutgers University, USA Committee Member in Program Committee for LCTES 2017
Andrew KriegerKrieger, Andrew University of California, Los Angeles dart2java: Running Dart in Java-based Environments
Chandra KrintzKrintz, Chandra UC Santa BarbaraUnited States Committee Member in Steering Committee for PLDI 2017 Committee Member in Program Committee for LCTES 2017
Murali Krishna RamanathanKrishna Ramanathan, Murali Indian Institute of Science, BangaloreIndia Co-chair in Artifact Evaluation Committee for PLDI 2017 Artifact Evaluation Co-Chair in Organizing Committee for PLDI 2017
Sriram KrishnamoorthyKrishnamoorthy, Sriram Pacific Northwest National Laboratories Cache Locality Optimization for Recursive Programs
Paddy KrishnanKrishnan, Paddy An Efficient Tunable Selective Points-to Analysis for Large Codebases
Thomas KrismayerKrismayer, Thomas Christian Doppler Lab. MEVSS, Johannes Kepler University Linz An Event-based Capture-and-Compare Approach to Support the Evolution of Systems of Systems. (Experience Paper)
Stein KristiansenKristiansen, Stein University of Oslo DCEP-Sim: An Open Simulation Framework for Distributed CEP. (Research Paper)
Edlira KuciKuci, Edlira TU Darmstadt, Germany A Co-contextual Type Checker for Featherweight Java
Milind KulkarniKulkarni, Milind Purdue University Committee Member in Program Committee for PLDI 2017 Session Chair of Parallelization and Concurrency (part of PLDI Research Papers) Session Chair of Session 2 (part of WCIRE) Session Chair of Discussion (part of WCIRE) Session Chair of Session 1 (part of WCIRE) Session Chair of Opening (part of WCIRE) Session Chair of Session 3 (part of WCIRE) Opening Remarks Open Discussion: Building Infrastructure for Research and Education Compiling tree transforms to operate on packed representations Committee Member in Organizing Committee within the WCIRE-track
Prasad KulkarniKulkarni, Prasad Committee Member in Steering Committee for LCTES 2017
Prasad KulkarniKulkarni, Prasad University of Kansas AOT Vs. JIT: Impact of Profile Data on Code Quality
Sulekha KulkarniKulkarni, Sulekha University of Pennsylvania Committee Member in Artifact Evaluation Committee for PLDI 2017
Ramana KumarKumar, Ramana Data61 at CSIRO, Australia / UNSW, AustraliaAustralia Writing Verified Programs in CakeML
Snehasish KumarKumar, Snehasish Simon Fraser University Committee Member in Artifact Evaluation Committee for PLDI 2017
Senthil KumaranKumaran, Senthil Introducing Ownership Type Constraints to UML/OCL
Viktor KunčakKunčak, Viktor EPFL, Switzerland Proactive Synthesis of Recursive Tree-to-String Functions from Examples
Tei-Wei KuoKuo, Tei-Wei Academia Sinica, Taiwan Committee Member in Steering Committee for LCTES 2017
Lindsey KuperKuper, Lindsey Intel Labs Parallelizing Julia with a Non-invasive DSL
Ivan KurajKuraj, Ivan MIT CSAIL, USASerbia and Montenegro Committee Member in Artifact Evaluation Committee for PLDI 2017 DemoMatch: API Discovery from Demonstrations Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Cat KutayKutay, Cat UNSW Visualising complex event hierarchies using relevant domain ontologies
Mirko KöhlerKöhler, Mirko Technical University of Darmstadt Privacy-aware Distributed Incremental Computation
Mirko KöhlerKöhler, Mirko Privacy-aware operator placement
Boris KöpfKöpf, Boris IMDEA Software Institute, SpainSpain Rigorous Analysis of Software Countermeasures against Cache Attacks
Florian KüblerKübler, Florian TU Darmstadt, Germany SootKeeper: Runtime Reusability for Modular Static Analysis
Filip KřikavaKřikava, Filip Northeastern University, USA Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
L Ori LahavLahav, Ori MPI-SWS Strong Logic for Weak Memory: Reasoning About Release-Acquire Consistency in Iris Promising Compilation to ARMv8 POP Repairing Sequential Consistency in C/C++11
Patrick LamLam, Patrick University of Waterloo Committee Member in External Review Committee for PLDI 2017
Ken Friis LarsenLarsen, Ken Friis DIKU, University of Copenhagen Automatic Incrementalization of Functional Reports
Andrei LascuLascu, Andrei Imperial College London Committee Member in Artifact Evaluation Committee for PLDI 2017
Erwin LaureLaure, Erwin KTH Royal Institute of Technology RTHMS: A Tool for Data Placement on Hybrid Memory System
Arnon LazersonLazerson, Arnon Technion One for All and All for One: Simultaneous Approximation of Multiple Functions over Distributed Streams. (Research Paper)
Vu LeLe, Vu MicrosoftVietnam Committee Member in Program Committee within the ECOOP Research Papers-track
Doug LeaLea, Doug State University of New York, OswegoUnited States Session Chair of Specification and Verification (part of ECOOP Research Papers) Committee Member in Mentors within the ECOOP Summer School-track Committee Member in Program Committee within the ECOOP Research Papers-track
Dongyoon LeeLee, Dongyoon Virginia Tech, USA Committee Member in Program Committee for LCTES 2017
Gyeongmin LeeLee, Gyeongmin POSTECH Integrated IoT Programming with Selective Abstraction
Jae W. LeeLee, Jae W. Seoul National University, Korea Committee Member in Program Committee for LCTES 2017
Juneyoung LeeLee, Juneyoung Seoul National University Taming Undefined Behavior in LLVM
Kang-Woo LeeLee, Kang-Woo Electronics and Telecommunications Institutes Runtime Anomaly Detection Method in Smart Factories using Machine Learning on RDF Event Streams
Sorin LernerLerner, Sorin University of California, San Diego Committee Member in External Program Committee for PLDI 2017
Xavier LeroyLeroy, Xavier Inria A Formally Verified Compiler for Lustre
Martin LeuckerLeucker, Martin University of LübeckGermany Committee Member in Program Committee within the VORTEX-track
Ruy Ley-WildLey-Wild, Ruy LogicBlox Committee Member in Program Committee within the IC-track
Ondřej LhotákLhoták, Ondřej University of Waterloo, Canada Committee Member in External Program Committee for PLDI 2017 Mutable WadlerFest DOT Miniphases: Compilation using Modular and Efficient Tree Transformations Context Transformations for Pointer Analysis
Fuyang LiLi, Fuyang Department of Computer Science, City University of Hong Kong, Hong Kong [Poster] Checkpointing-aware Loop Tiling for Energy Harvesting Powered Non-Volatile Processors
Qingan LiLi, Qingan State Key Laboratory of Software Engineering, Wuhan University, China [Poster] Checkpointing-aware Loop Tiling for Energy Harvesting Powered Non-Volatile Processors
Yue LiLi, Yue UNSW AustraliaChina Efficient and Precise Points-to Analysis: Modeling the Heap by Merging Equivalent Automata Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
Percy LiangLiang, Percy Stanford University Synthesizing Program Input Grammars
Ben LiblitLiblit, Ben University of Wisconsin–MadisonUnited States Control-Flow Recovery from Partial Failure Reports
Jonathan LifflanderLifflander, Jonathan Cache Locality Optimization for Recursive Programs
Jens LinckeLincke, Jens Hasso Plattner Institute The Declarative Nature of Implicit Layer Activation Programme Committee in Program Committee within the COP-track