POPL 2016 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (603)

A Faris Abou-SalehAbou-Saleh, Faris University of Oxford Reasoning about Probability and Nondeterminism
Umut A. AcarAcar, Umut A. Carnegie Mellon UniversityTurkey ERC member in External Reviewing Committee for POPL 2016 ERC member in External Reviewing Committee within the POPL Research Papers-track
Nathanael L. AckermanAckerman, Nathanael L. Harvard University eXchangeable Random Primitives
Michael D. AdamsAdams, Michael D. University of Utah Pushdown Control-flow Analysis for Free
Ali AfroozehAfroozeh, Ali Centrum Wiskunde & Informatica Operator Precedence for Data-Dependent Grammars Practical, General Parser Combinators
Aws AlbarghouthiAlbarghouthi, Aws University of Wisconsin–Madison Maximal Specification Synthesis
Lea AlbaughAlbaugh, Lea Challenges Facing a High-Level Language for Machine Knitting
Thorsten AltenkirchAltenkirch, Thorsten University of Nottingham Type Theory in Type Theory using Quotient Inductive Types
Rajeev AlurAlur, Rajeev University of Pennsylvania T3: Syntax-Guided Synthesis (SyGuS) T3: Syntax-Guided Synthesis (SyGuS) (Advanced Material)
Mario AlvianoAlviano, Mario University of Calabria Committee Member in Program Committee within the PADL -track
Nada AminAmin, Nada EPFLSwitzerland Session Chair of Session Four (part of Off the Beaten Track ) Invited Talk: LMS: a Perspective on Generative Programming Committee Member in Program Committee within the Off the Beaten Track -track
Thomas AndersonAnderson, Thomas University of Washington Planning for Change in a Formal Verification of the Raft Consensus Protocol
Marc AndryscoAndrysco, Marc University of California, San DiegoUnited States Printing Floating-Point Numbers: A Faster, Always Correct Method
Steve AntonAnton, Steve University of Washington Planning for Change in a Formal Verification of the Raft Consensus Protocol
Sergio AntoyAntoy, Sergio Kiel University Default Rules for Curry
Andrew W. AppelAppel, Andrew W. Princeton The Science of Deep Specification
Zena M. AriolaAriola, Zena M. Committee Member in Program Committee within the PEPM -track
Kenichi AsaiAsai, Kenichi Ochanomizu UniversityJapan Session Chair of Parsing & Domain-Specific Languages I (part of PEPM ) Toward Introducing Binding-Time Analysis to MetaOCaml
Mohamed Faouzi AtigAtig, Mohamed Faouzi Uppsala UniversitySweden ERC member in External Reviewing Committee for POPL 2016 ERC member in External Reviewing Committee within the POPL Research Papers-track
Robert AtkeyAtkey, Robert University of StrathclydeUnited Kingdom Committee Member in Program Committee for POPL 2016 Session Chair of Track 2: Types and Foundations (part of POPL Research Papers) Keynote Talk: Generalising Abstraction Committee Member in Program Committee within the POPL Research Papers-track
Simon AußerlechnerAußerlechner, Simon Tight Cutoffs for Guarded Protocols with Fairness
Jeremy AvigadAvigad, Jeremy Carnegie Mellon University Program Co-Chair in Program Committee within the CPP -track
Arthur Azevedo de AmorimAzevedo de Amorim, Arthur University of Pennsylvania T4: Programs and Proofs in the Coq Proof Assistant T4: Programs and Proofs in the Coq Proof Assistant (Advanced Material)
B Alexander BakstBakst, Alexander Predicate Abstraction for Linked Data Structures
Stephanie BalzerBalzer, Stephanie Carnegie Mellon University Committee Member in Artifact Evaluation committee within the POPL Artifact Evaluation-track
Suguman BansalBansal, Suguman Rice University, USAIndia Chanakya: Computer-Aided Strategic Reasoning
Suguman BansalBansal, Suguman Reasoning about incentive compatibility
Wenlei BaoBao, Wenlei PolyCheck: Dynamic Verification of Iteration Space Transformations on Affine Programs
Pablo BarceloBarcelo, Pablo University of Chile, Chile String Solving with Word Equations and Transducers: Decidability and Applications to Detecting Mutation XSS
Dan BarowyBarowy, Dan University of Massachusetts AmherstUnited States WoCMan: Harnessing the Wisdom of the Crowds for High-Quality Estimates
Alexandre BartelBartel, Alexandre Technical University Darmstadt Combining Static Analysis with Probabilistic Models to Enable Market-Scale Analysis
Roman BartákBarták, Roman Charles University in Prague Using Constraint Logic Programming to Schedule Solar Array Operations on the International Space Station
Mark BattyBatty, Mark University of Cambridge Overhauling SC atomics in C11 and OpenCL
Andrej BauerBauer, Andrej University of Ljubljana Committee Member in Program Committee for POPL 2016 Committee Member in Program Committee within the POPL Research Papers-track
Christian J. BellBell, Christian J. MIT CSAIL A Coinduction Proof Rule for Hoare Doubles Certified Causally Consistent Distributed Key-Value Stores
Nick BentonBenton, Nick Microsoft Research, Cambridge ERC member in External Reviewing Committee for POPL 2016 ERC member in External Reviewing Committee within the POPL Research Papers-track
Lars BergstromBergstrom, Lars Mozilla Research Committee Member in Program Committee within the PADL -track
Sophie BernardBernard, Sophie INRIA Formal proofs of transcendence for e and pi as an application of multivariate and symmetric polynomials
Yves BertotBertot, Yves INRIAFrance Formal proofs of transcendence for e and pi as an application of multivariate and symmetric polynomials
Karthikeyan BhargavanBhargavan, Karthikeyan INRIA Dependent Types and Multi-Monadic Effects in F*
Somashekaracharya G BhaskaracharyaBhaskaracharya, Somashekaracharya G Indian Institute of Science and National Instruments SMO: An Integrated Approach to Intra-Array and Inter-Array Storage Optimization
Abhishek BichhawatBichhawat, Abhishek Saarland University Limited Information Release
Mark BickfordBickford, Mark Cornell University A Nominal Exploration of Intuitionism
Pavol BielikBielik, Pavol ETH Zurich, SwitzerlandSlovakia Learning Programs from Noisy Data
Nikolaj BjørnerBjørner, Nikolaj Microsoft Research Scaling Network Verification using Symmetry and Surgery
Sandrine BlazyBlazy, Sandrine IRISA / University of Rennes 1 Formal Verification of Control-flow Graph Flattening Committee Member in Program Committee within the CPP -track
Rastislav BodíkBodík, Rastislav University of Washington, USASlovakia General Chair in Organizing Committee for POPL 2016 Committee Member in Steering Committee for POPL 2016 Session Chair of Invited Wed (part of POPL Invited Speakers) Invited Talk: Program Synthesis: Opportunities for the next Decade Chair in Program Committee within the POPL Tutorials-track
CF Bolz-TereickBolz-Tereick, CF Committee Member in Program Committee within the PEPM -track
Uday BondhugulaBondhugula, Uday Indian Institute of ScienceIndia SMO: An Integrated Approach to Intra-Array and Inter-Array Storage Optimization
Johannes BorgströmBorgström, Johannes Uppsala University A Lambda-Calculus Foundation for Universal Probabilistic Programming Fabular: Regression Formulas as Probabilistic Programming
James BornholtBornholt, James University of Washington Optimizing Synthesis with Metasketches Committee Member in Artifact Evaluation committee within the POPL Artifact Evaluation-track
Edwin BradyBrady, Edwin University of St Andrews Committee Member in Program Committee within the PADL -track
Martin BrainBrain, Martin Automatic Generation of Propagation Complete SAT Encodings
Jon BrandveinBrandvein, Jon Removing Runtime Overhead for Optimized Object Queries
James BrotherstonBrotherston, James Model Checking for Symbolic-Heap Separation Logic with Inductive Predicates
Matt BrownBrown, Matt UCLA Breaking Through the Normalization Barrier: A Self-Interpreter for F-omega
William E. ByrdByrd, William E. University of UtahUnited States New Tools and Practices for Online Collaboration in Teaching, Learning, and Research of Programming Languages Invited Talk: The Promise of Relational Programming
C Yufei CaiCai, Yufei University of Tübingen, Germany System Fω with Equirecursive Types for Datatype-generic Programming
Quentin CarbonneauxCarbonneaux, Quentin Yale University Committee Member in Artifact Evaluation committee within the POPL Artifact Evaluation-track
Luca CardelliCardelli, Luca Microsoft Research and University of Oxford Symbolic Computation of Differential Equivalences
Jacques CaretteCarette, Jacques McMaster UniversityCanada Session Chair of Staging (part of PEPM ) Simplifying Probabilistic Programs Using Computer Algebra
Mats CarlssonCarlsson, Mats SICS Committee Member in Program Committee within the PADL -track
Manuel CarroCarro, Manuel IMDEA Software Institute and T.U. of Madrid (UPM) Committee Member in Program Committee within the PADL -track
Giuseppe CastagnaCastagna, Giuseppe Paris Diderot University & CNRSItaly Committee Member in Steering Committee for POPL 2016
Pavol CernyCerny, Pavol University of Colorado BoulderSlovakia ERC member in External Reviewing Committee for POPL 2016 ERC member in External Reviewing Committee within the POPL Research Papers-track
Luis CezeCeze, Luis University of Washington, USABrazil Optimizing Synthesis with Metasketches
Aleksandar ChakarovChakarov, Aleksandar University of Colorado, Boulder Committee Member in Artifact Evaluation committee within the POPL Artifact Evaluation-track
Sagar ChakiChaki, Sagar Model Checking with Multi-Threaded IC3 Portfolios
Supratik ChakrabortyChakraborty, Supratik IIT Bombay ERC member in External Reviewing Committee for POPL 2016 ERC member in External Reviewing Committee within the POPL Research Papers-track
Matthew ChanChan, Matthew Formal Verification of Stability Properties of Cyber-Physical Systems
Bor-Yuh Evan ChangChang, Bor-Yuh Evan University of Colorado Boulder Committee Member in Program Committee for POPL 2016 Committee Member in Program Committee for VMCAI Session Chair of Invited Talk III (part of VMCAI ) Committee Member in Program Committee within the POPL Research Papers-track
Arthur CharguéraudCharguéraud, Arthur Program Chair in Organizing Committee for CoqPL 2016 Higher-order Representation Predicates in Separation Logic Program Chair in Program Committee within the CoqPL -track
Krishnendu ChatterjeeChatterjee, Krishnendu IST Austria ERC member in External Reviewing Committee for POPL 2016 Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components ERC member in External Reviewing Committee within the POPL Research Papers-track
Avik ChaudhuriChaudhuri, Avik FacebookUnited States ERC member in External Reviewing Committee for POPL 2016 ERC member in External Reviewing Committee within the POPL Research Papers-track
Swarat ChaudhuriChaudhuri, Swarat Rice University Chanakya: Computer-Aided Strategic Reasoning Abstract Interpretation with Infinitesimals General Chair in Organizing Committee within the Off the Beaten Track -track
Sheng ChenChen, Sheng University of louisiana at Lafayette Principal Type Inference for GADTs
Kwok-Ho CheungCheung, Kwok-Ho University of Oxford Reasoning about Probability and Nondeterminism
Shing-Chi CheungCheung, Shing-Chi Department of Computer Science and Engineering, The Hong Kong University of Science and Technology Casper: An Efficient Approach to Call Trace Collection
Olaf ChitilChitil, Olaf University of Kent, UK Committee Member in Program Committee within the PEPM -track
Adam ChlipalaChlipala, Adam MITUnited States Invited Talk: Fiat: Extensible Code Generation with Proofs Certified Causally Consistent Distributed Key-Value Stores Committee Member in Program Committee within the CoqPL -track Program Co-Chair in Program Committee within the CPP -track
Hana ChocklerChockler, Hana King's College London Committee Member in Program Committee for VMCAI
Stephen ChongChong, Stephen Harvard University Artifact Evaluation Co-Chair in Organizing Committee for POPL 2016 ERC member in External Reviewing Committee for POPL 2016 ERC member in External Reviewing Committee within the POPL Research Papers-track
Duc-Hiep ChuChu, Duc-Hiep National University of SingaporeVietnam Committee Member in Artifact Evaluation committee within the POPL Artifact Evaluation-track
Ravi ChughChugh, Ravi University of Chicago Program Synthesis for Direct Manipulation Interfaces
Matteo CiminiCimini, Matteo Indiana University The Gradualizer: a methodology and algorithm for generating gradual type systems
Corina CirsteaCirstea, Corina University of Southampton Lattice-Theoretic Progress Measures and Coalgebraic Model Checking
Alison M. ClarkClark, Alison M. Abstracting Gradual Typing
Andrew CobbCobb, Andrew Northeastern University Finite-depth Higher-order Abstract Syntax Trees for Reasoning about Probabilistic Programs
Albert CohenCohen, Albert INRIAFrance SMO: An Integrated Approach to Intra-Array and Inter-Array Storage Optimization
Cyril CohenCohen, Cyril Formalization of a Newton series representation of polynomials
Evelyne ContejeanContejean, Evelyne Committee Member in Program Committee within the PEPM -track
Thierry CoquandCoquand, Thierry Chalmers University of Technology, Sweden Committee Member in Program Committee within the CPP -track
Agostino CortesiCortesi, Agostino Università Ca' Foscari Venezia Committee Member in Steering Committee for VMCAI
Pierre CourtieuCourtieu, Pierre Company-Coq: Taking Proof General one step closer to a real IDE
Patrick CousotCousot, Patrick Committee Member in Steering Committee for VMCAI
Ryan CulpepperCulpepper, Ryan Northeastern University Observation Propagation for Importance Sampling with Likelihood Weighting
Pierre-Louis CurienCurien, Pierre-Louis Univ. Paris Diderot and INRIA Paris-Rocquencourt A Theory of Effects and Resources: Adjunction Models and Polarised Calculi
Lukasz CzajkaCzajka, Lukasz University of Innsbruck Improving automation in interactive theorem provers by efficient encoding of lambda-abstractions
D Loris D'AntoniD'Antoni, Loris University of Pennsylvania ERC member in External Reviewing Committee for POPL 2016 Session Chair of Track 1: Decision Procedures (part of POPL Research Papers) ERC member in External Reviewing Committee within the POPL Research Papers-track
Przemyslaw DacaDaca, Przemyslaw Abstraction-driven Concolic Testing
Ugo Dal LagoDal Lago, Ugo University of Bologna A Lambda-Calculus Foundation for Universal Probabilistic Programming
David DaraisDarais, David University of Maryland, College ParkUnited States Committee Member in Artifact Evaluation committee within the POPL Artifact Evaluation-track
Eva DarulovaDarulova, Eva MPI-SWS, Germany Committee Member in Program Committee for VMCAI Session Chair of Abstraction I (part of VMCAI )
Ingmar DassevilleDasseville, Ingmar KU Leuven The KB paradigm and its application to interactive configuration
Emanuele De AngelisDe Angelis, Emanuele University of Chieti-Pescara Committee Member in Artifact Evaluation committee within the POPL Artifact Evaluation-track
Ilaria De CrescenzoDe Crescenzo, Ilaria A General Modular Synthesis Problem for Pushdown Systems
Leonardo de Mourade Moura, Leonardo Microsoft Research, Redmond Dependent Type Practice
Will DeaconDeacon, Will ARM Ltd. Modelling the ARMv8 Architecture, Operationally: Concurrency and ISA
Benoit DelahayeDelahaye, Benoit Parameter Synthesis for Parametric Interval Markov Chains
Benjamin DelawareDelaware, Benjamin A Case for Tactics with (Limited) Side Effects
Antoine Delignat-LavaudDelignat-Lavaud, Antoine INRIA Dependent Types and Multi-Monadic Effects in F*
Marc DeneckerDenecker, Marc KU Leuven The KB paradigm and its application to interactive configuration
Matthew DeringDering, Matthew Pennsylvania State University Combining Static Analysis with Probabilistic Models to Enable Market-Scale Analysis
Dominique DevrieseDevriese, Dominique iMinds - Distrinet, KU LeuvenBelgium Fully-Abstract Compilation by Approximate Back-Translation
Iavor DiatchkiDiatchki, Iavor Committee Member in Program Committee within the PEPM -track
Işıl DilligDillig, Işıl University of Texas, AustinTurkey ERC member in External Reviewing Committee for POPL 2016 Committee Member in Organizing Committee for PLMW Student Interaction Activity Maximal Specification Synthesis ERC member in External Reviewing Committee within the POPL Research Papers-track
Rayna DimitrovaDimitrova, Rayna MPI-SWS, Germany Committee Member in Program Committee for VMCAI
Chen DingDing, Chen University of RochesterUnited States The Hardness of Data Packing
Boris DjalalDjalal, Boris INRIA Formalization of a Newton series representation of polynomials
Marko DokoDoko, Marko MPI-SWS, Germany A program logic for C11 memory fences
Alastair F. DonaldsonDonaldson, Alastair F. Imperial College LondonUnited Kingdom Committee Member in Program Committee for POPL 2016 Overhauling SC atomics in C11 and OpenCL Committee Member in Program Committee within the POPL Research Papers-track
Agostino DovierDovier, Agostino University of Udine A GPU implementation of the ASP computation
Derek DreyerDreyer, Derek MPI-SWS ERC member in External Reviewing Committee for POPL 2016 Committee Member in Organizing Committee for PLMW How to Write Papers So People Can Read Them Lightweight Verification of Separate Compilation ERC member in External Reviewing Committee within the POPL Research Papers-track
Cezara DrăgoiDrăgoi, Cezara INRIA, ENS, CNRS PSync: a partially synchronous language for fault-tolerant distributed algorithms
Kamil DudkaDudka, Kamil From Low Level Pointers to High Level Containers
E Ken EguroEguro, Ken Microsoft Research Committee Member in Program Committee within the Off the Beaten Track -track
Thomas EiterEiter, Thomas Vienna University of Technology Committee Member in Program Committee within the PADL -track
Ran El-YanivEl-Yaniv, Ran Technion, Israel Institute of Technology Estimating types in binaries using predictive modeling
Petru ElesEles, Petru Lazy Constrained Monotonic Abstraction
E. Allen EmersonEmerson, E. Allen Committee Member in Steering Committee for VMCAI
Michael EmmiEmmi, Michael IMDEA Software Institute ERC member in External Reviewing Committee for POPL 2016 Symbolic Abstract Data Type Inference ERC member in External Reviewing Committee within the POPL Research Papers-track
Constantin EneaEnea, Constantin LIAFA, Université Paris Diderot Symbolic Abstract Data Type Inference
Sebastian ErdwegErdweg, Sebastian TU Darmstadt, Germany Session Chair of Domain-Specific Languages II (part of PEPM ) Invited Talk: Automated Reasoning about Type Systems by Compilation to First-Order Logic Sound Type-dependent Syntactic Language Extension
Joey EremondiEremondi, Joey Utrecht UniversityCanada Polyvariant Pattern Match Analysis with Implication Constraints
Michael D. ErnstErnst, Michael D. University of Washington Planning for Change in a Formal Verification of the Raft Consensus Protocol
Martin ErwigErwig, Martin Oregon State University Welcome Principal Type Inference for GADTs Program Co-Chair in Program Committee within the PEPM -track
Javier EsparzaEsparza, Javier Committee Member in Program Committee for VMCAI
F Azadeh FarzanFarzan, Azadeh University of TorontoIran ERC member in External Reviewing Committee for POPL 2016 ERC member in External Reviewing Committee within the POPL Research Papers-track
Matthias FelleisenFelleisen, Matthias Northeastern UniversityGermany Is Sound Gradual Typing Dead?
Daniel FelteyFeltey, Daniel Northeastern University Is Sound Gradual Typing Dead?
Amy FeltyFelty, Amy University of Ottawa A Verified Algorithm for Detecting Conflicts in XACML Access Control Rules
Xinyu FengFeng, Xinyu University of Science and Technology of China A Program Logic for Concurrent Objects under Fair Scheduling
Carla FerreiraFerreira, Carla Universidade Nova Lisboa 'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems
Marcelo FioreFiore, Marcelo Computer Laboratory, University of Cambridge A Theory of Effects and Resources: Adjunction Models and Polarised Calculi
Kathleen FisherFisher, Kathleen Tufts UniversityUnited States Invited Talk: Using Formal Methods to Eliminate Exploitable Bugs Chair in Program Committee within the PPS -track
Dana FismanFisman, Dana University of Pennsylvania T3: Syntax-Guided Synthesis (SyGuS) T3: Syntax-Guided Synthesis (SyGuS) (Advanced Material)
Matthew FlattFlatt, Matthew University of Utah Invited Keynote: Building Languages in Racket: Syntax Objects as an Intermediate Representation Binding as Sets of Scopes
Shaked FlurFlur, Shaked University of Cambridge Modelling the ARMv8 Architecture, Operationally: Concurrency and ISA
Simon ForestForest, Simon ENS Dependent Types and Multi-Monadic Effects in F*
Andrea FormisanoFormisano, Andrea Università di Perugia A GPU implementation of the ASP computation
Jeffrey S. FosterFoster, Jeffrey S. University of Maryland at College Park, USA ERC member in External Reviewing Committee for POPL 2016 ERC member in External Reviewing Committee within the POPL Research Papers-track
Nate FosterFoster, Nate Cornell University ERC member in External Reviewing Committee for POPL 2016 ERC member in External Reviewing Committee within the POPL Research Papers-track
Alexis FouilhéFouilhé, Alexis Polyhedral Approximation of Multivariate Polynomials using Handelman’s Theorem
Cédric FournetFournet, Cédric Microsoft Research Dependent Types and Multi-Monadic Effects in F*
Jonathan FrankleFrankle, Jonathan Princeton University Example-Directed Synthesis: A Type-Theoretic Interpretation
Cameron FreerFreer, Cameron Gamalon Session Chair of Session 1 (part of PPS ) eXchangeable Random Primitives Committee Member in Program Committee within the PPS -track
Harvey FriedmanFriedman, Harvey Ohio State University Perspectives on Formal Verfication
Thom FruehwirthFruehwirth, Thom University of Ulm Committee Member in Program Committee within the PADL -track
Hongfei FuFu, Hongfei IST Austria Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs
Nathan FultonFulton, Nathan Carnegie Mellon University A Logic of Proofs for Differential Dynamic Logic
G Vijay GaneshGanesh, Vijay University of WaterlooIndia ERC member in External Reviewing Committee for POPL 2016 ERC member in External Reviewing Committee within the POPL Research Papers-track
Graeme GangeGange, Graeme An Abstract Domain of Uninterpreted Functions
Zeinab GanjeiGanjei, Zeinab Lazy Constrained Monotonic Abstraction
Ronald GarciaGarcia, Ronald University of British Columbia Abstracting Gradual Typing Committee Member in Program Committee within the PEPM -track
Philippa GardnerGardner, Philippa Imperial College LondonUnited Kingdom Committee Member in Program Committee for POPL 2016 Committee Member in Program Committee within the POPL Research Papers-track
Pranav GargGarg, Pranav University of Illinois at Urbana-Champaign Learning Invariants using Decision Trees and Implication Counterexamples
Jacques GarrigueGarrigue, Jacques Nagoya University Committee Member in Program Committee within the CoqPL -track
Marco GavanelliGavanelli, Marco Universita di FerraraItaly Co-chair in Organizers for PADL Co-chair in Program Committee within the PADL -track
Khalil GhorbalGhorbal, Khalil Carnegie Mellon University A method for invariant generation for polynomial continuous systems Committee Member in Artifact Evaluation committee within the POPL Artifact Evaluation-track
Roberto GiacobazziGiacobazzi, Roberto University of Verona, Italy ERC member in External Reviewing Committee for POPL 2016 Committee Member in Steering Committee for POPL 2016 Session Chair of Track 1: Synthesis (part of POPL Research Papers) ERC member in External Reviewing Committee within the POPL Research Papers-track
Theophilos GiannakopoulosGiannakopoulos, Theophilos BAE Systems, Inc. Finite-depth Higher-order Abstract Syntax Trees for Reasoning about Probabilistic Programs
Nick GiannarakisGiannarakis, Nick MPI-SWSGreece Taming Release-Acquire Consistency
Paolo G. GiarrussoGiarrusso, Paolo G. University of Tübingen, GermanyItaly System Fω with Equirecursive Types for Datatype-generic Programming
Jeremy GibbonsGibbons, Jeremy University of Oxford, UK Committee Member in Steering Committee for POPL 2016 Reasoning about Probability and Nondeterminism
Andy GillGill, Andy University of Kansas Haskino: A Remote Monad for Programming the Arduino Committee Member in Program Committee within the PEPM -track
Thomas GilrayGilray, Thomas University of UtahUnited States Pushdown Control-flow Analysis for Free
Stéphane GimenezGimenez, Stéphane University of Innsbruck The Complexity of Interaction
Robert GlückGlück, Robert Committee Member in Program Committee within the PEPM -track
Amir Kafshdar GoharshadyGoharshady, Amir Kafshdar Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components
Hannah GommerstadtGommerstadt, Hannah Carnegie Mellon University Monitors and Blame Assignment for Higher-Order Session Types
Andrew D. GordonGordon, Andrew D. Microsoft Research and University of EdinburghUnited Kingdom ERC member in External Reviewing Committee for POPL 2016 Committee Member in Steering Committee for POPL 2016 Parameterized Probability Monad A Lambda-Calculus Foundation for Universal Probabilistic Programming Fabular: Regression Formulas as Probabilistic Programming ERC member in External Reviewing Committee within the POPL Research Papers-track
Nikos GorogiannisGorogiannis, Nikos Model Checking for Symbolic-Heap Separation Logic with Inductive Predicates
Alexey GotsmanGotsman, Alexey IMDEA Committee Member in Program Committee for POPL 2016 Session Chair of Track 2: Semantics and memory models (part of POPL Research Papers) 'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems Committee Member in Program Committee within the POPL Research Papers-track
Bjørn Bugge GrathwohlGrathwohl, Bjørn Bugge DIKU, University of Copenhagen Kleenex: Compiling Nondeterministic Transducers to Deterministic Streaming Transducers
Kathryn E. GrayGray, Kathryn E. University of Cambridge Modelling the ARMv8 Architecture, Operationally: Concurrency and ISA
Mark GrebeGrebe, Mark University of Kansas Haskino: A Remote Monad for Programming the Arduino
Ben GreenmanGreenman, Ben Northeastern UniversityUnited States Is Sound Gradual Typing Dead?
Friedrich GretzGretz, Friedrich RWTH Aachen University On The Semantic Intricacies of Conditioning
Radu GrigoreGrigore, Radu University of Oxford Abstraction Refinement Guided by a Learnt Probabilistic Model
Dan GrossmanGrossman, Dan University of Washington, USA Optimizing Synthesis with Metasketches
Arjun GuhaGuha, Arjun University of Massachusetts, Amherst Artifact Evaluation Co-Chair in Organizing Committee for POPL 2016 ERC member in External Reviewing Committee for POPL 2016 ERC member in External Reviewing Committee within the POPL Research Papers-track
Sumit GulwaniGulwani, Sumit Microsoft ResearchIndia ERC member in External Reviewing Committee for POPL 2016 Transforming Spreadsheet Data Types using Examples ERC member in External Reviewing Committee within the POPL Research Papers-track
Aarti GuptaGupta, Aarti Princeton University Committee Member in Program Committee for VMCAI Session Chair of Dynamic and Static Verification (part of VMCAI ) Academia or Industry?
Ashutosh GuptaGupta, Ashutosh Abstraction-driven Concolic Testing
Arie GurfinkelGurfinkel, Arie Carnegie Mellon University United States Committee Member in Program Committee for POPL 2016 Committee Member in Program Committee for VMCAI Session Chair of Track 1: Algorithmic Verification (part of POPL Research Papers) Session Chair of Parameterized and Component-Based Systems (part of VMCAI ) Maximal Specification Synthesis Committee Member in Program Committee within the POPL Research Papers-track
H Liana HadareanHadarean, Liana Automatic Generation of Propagation Complete SAT Encodings
Jurriaan HageHage, Jurriaan Utrecht UniversityNetherlands Generic Matching of Tree Regular Expressions over Haskell Data Types
Matthew HagueHague, Matthew Royal Holloway University of London, UK Unboundedness and Downward Closures of Higher-Order Pushdown Automata
Matthew HammerHammer, Matthew University of Colorado, BoulderUnited States Correct-by-Construction Interactive Software: From Declarative Specifications to Efficient Implementations
Michael HanusHanus, Michael Kiel University Default Rules for Curry
Robert HarperHarper, Robert Carnegie Mellon UniversityUnited States Two Notions of Beauty in Programming
John HarrisonHarrison, John Intel Committee Member in Program Committee within the CPP -track
Vahid HashemiHashemi, Vahid Reward-Bounded Reachability Probability for Uncertain Weighted MDPs
Rouzbeh HasheminezhadHasheminezhad, Rouzbeh Sharif University Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs
Ichiro HasuoHasuo, Ichiro University of TokyoJapan Abstract Interpretation with Infinitesimals Lattice-Theoretic Progress Measures and Coalgebraic Model Checking Memoryful Geometry of Interaction II: Recursion and Adequacy
Chris HawblitzelHawblitzel, Chris Microsoft Research Committee Member in Program Committee within the CPP -track
Frédéric HazizaHaziza, Frédéric Pointer Race Freedom
Kyle HeadleyHeadley, Kyle Correct-by-Construction Interactive Software: From Declarative Specifications to Efficient Implementations
Fritz HengleinHenglein, Fritz DIKU, Denmark Kleenex: Compiling Nondeterministic Transducers to Deterministic Streaming Transducers
Thomas A. HenzingerHenzinger, Thomas A. IST Austria Lipschitz Robustness of Timed I/O Systems Abstraction-driven Concolic Testing PSync: a partially synchronous language for fault-tolerant distributed algorithms
Holger HermannsHermanns, Holger Reward-Bounded Reachability Probability for Uncertain Weighted MDPs
Chris HeunenHeunen, Chris University of Edinburgh Semantics of Higher-order Probabilistic Programs
Michael HicksHicks, Michael University of Maryland at College Park, USA Session Chair of SIGPLAN Awards; Program Chair's Report; and SIGPLAN Business Meeting (part of POPL Research Papers)
Benjamin HilleryHillery, Benjamin Exact Heap Summaries for Symbolic Execution
Gerald HolzmannHolzmann, Gerald Cloud-Based Verification of Concurrent Software
Lukáš HolíkHolík, Lukáš Pointer Race Freedom From Low Level Pointers to High Level Containers
Naohiko HoshinoHoshino, Naohiko Kyoto University Memoryful Geometry of Interaction II: Recursion and Adequacy
Cătălin HriţcuHriţcu, Cătălin INRIA ParisFrance Making our Own Luck: A Language for Random Generators Dependent Types and Multi-Monadic Effects in F* Committee Member in Program Committee within the CPP -track
Zhenjiang HuHu, Zhenjiang National Institute of InformaticsJapan BiGUL: A Formally Verified Core Language for Putback-Based Bidirectional Programming
Daniel HuangHuang, Daniel Harvard University An Application of Computable Distributions to the Semantics of Probabilistic Programs
Brian HuffmanHuffman, Brian Galois Committee Member in Program Committee within the CPP -track
John HughesHughes, John Chalmers University of Technology Unaccustomed As I Am to Public Speaking Making our Own Luck: A Language for Random Generators
Chung-Kil HurHur, Chung-Kil Seoul National University Committee Member in Program Committee for POPL 2016 A Tutorial on using the Paco Library for coinductive reasoning Lightweight Verification of Separate Compilation Committee Member in Program Committee within the PPS -track Committee Member in Program Committee within the POPL Research Papers-track
Graham HuttonHutton, Graham Committee Member in Steering Committee for POPL 2016
Johannes HölzlHölzl, Johannes Technische Universität MünchenGermany Fixed Points for Markov Decision Processes
I Rasmus Ibsen-JensenIbsen-Jensen, Rasmus Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components
Neil ImmermanImmerman, Neil University of Massachusetts, Amherst Decidability of Inferring Inductive Invariants
Jun InoueInoue, Jun National Institute of Advanced Industrial Science and Technology, Japan Staging beyond Terms: Prospects and Challenges
Anastasia IzmaylovaIzmaylova, Anastasia Centrum Wiskunde & Informatica Operator Precedence for Data-Dependent Grammars Practical, General Parser Combinators
J Paul JacksonJackson, Paul Session Chair of Probabilistic Systems (part of VMCAI )
Paul JacksonJackson, Paul A method for invariant generation for polynomial continuous systems
Bart JacobsJacobs, Bart iMinds - Distrinet, KU LeuvenBelgium The Category-theoretic Solution of Recursive Ultra-metric Space Equations
Swen JacobsJacobs, Swen Tight Cutoffs for Guarded Protocols with Fairness
Joxan JaffarJaffar, Joxan National University of Singapore ERC member in External Reviewing Committee for POPL 2016 ERC member in External Reviewing Committee within the POPL Research Papers-track
Suresh JagannathanJagannathan, Suresh DARPAUnited States Committee Member in Steering Committee for POPL 2016 Session Chair of Session Two (part of Off the Beaten Track ) Committee Member in Program Committee within the PPS -track Committee Member in Program Committee within the Off the Beaten Track -track
Nils JansenJansen, Nils RWTH Aachen University On The Semantic Intricacies of Conditioning
Gerda JanssensJanssens, Gerda KU Leuven The KB paradigm and its application to interactive configuration
Jean-Baptiste JeanninJeannin, Jean-Baptiste Carnegie Mellon University Committee Member in Artifact Evaluation committee within the POPL Artifact Evaluation-track
Jan JelínekJelínek, Jan Charles University in Prague Using Constraint Logic Programming to Schedule Solar Array Operations on the International Space Station
Somesh JhaJha, Somesh University of Wisconsin, Madison Committee Member in Program Committee for POPL 2016 Combining Static Analysis with Probabilistic Models to Enable Market-Scale Analysis Committee Member in Program Committee within the POPL Research Papers-track
Ranjit JhalaJhala, Ranjit University of California, San Diego Refining Types with SMT Predicate Abstraction for Linked Data Structures Printing Floating-Point Numbers: A Faster, Always Correct Method
Limin JiaJia, Limin Carnegie Mellon UniversityChina Session Chair of Session Three (part of Off the Beaten Track ) Monitors and Blame Assignment for Higher-Order Session Types Committee Member in Program Committee within the Off the Beaten Track -track
Barbara JobstmannJobstmann, Barbara EPFL, SwitzerlandSwitzerland Co-chair in Program Committee for VMCAI Committee Member in Program Chairs for VMCAI Co-chair in Organizing Committee for VMCAI
Patricia JohannJohann, Patricia Appalachian State University ERC member in External Reviewing Committee for POPL 2016 ERC member in External Reviewing Committee within the POPL Research Papers-track
Yannis JuglaretJuglaret, Yannis Inria Towards a Fully Abstract Compiler Using Micro-Policies: Secure Compilation for Mutually Distrustful Components
Jaakko JärviJärvi, Jaakko Texas A&M University Committee Member in Program Committee within the PEPM -track
K Cezary KaliszykKaliszyk, Cezary University of Innsbruck Mizar Environment for Isabelle
Yukiyoshi KameyamaKameyama, Yukiyoshi Finally, Safely-Extensible and Efficient Language-Integrated Query Staging beyond Terms: Prospects and Challenges Committee Member in Program Committee within the PEPM -track
Benjamin Lucien KaminskiKaminski, Benjamin Lucien RWTH Aachen University On The Semantic Intricacies of Conditioning
Ohad KammarKammar, Ohad University of Cambridge Semantics of Higher-order Probabilistic Programs
Aditya KanadeKanade, Aditya Indian Institute of Science Committee Member in Program Committee for POPL 2016 Committee Member in Program Committee within the POPL Research Papers-track
Jeehoon KangKang, Jeehoon Seoul National UniversityKorea, South Lightweight Verification of Separate Compilation
Max KanovichKanovich, Max Model Checking for Symbolic-Heap Separation Logic with Inductive Predicates
Ambrus KaposiKaposi, Ambrus University of Nottingham Type Theory in Type Theory using Quotient Inductive Types
Aleksandr KarbyshevKarbyshev, Aleksandr Tel Aviv University Decidability of Inferring Inductive Invariants
Derrick KarimiKarimi, Derrick Model Checking with Multi-Threaded IC3 Portfolios
Egor KarpenkovKarpenkov, Egor Program Analysis with Local Policy Iteration
Joost-Pieter KatoenKatoen, Joost-Pieter RWTH Aachen University On The Semantic Intricacies of Conditioning
Omer KatzKatz, Omer Technion, Israel Institute of TechnologyIsrael Estimating types in binaries using predictive modeling
Stephen KellKell, Stephen University of Cambridge Committee Member in Program Committee within the PEPM -track
Chantal KellerKeller, Chantal MSR-INRIA Dependent Types and Multi-Monadic Effects in F*
Ayrat KhalimovKhalimov, Ayrat Tight Cutoffs for Guarded Protocols with Fairness
Kengo KidoKido, Kengo Abstract Interpretation with Infinitesimals
Yoonseung KimKim, Yoonseung Seoul National University (South Korea) Lightweight Verification of Separate Compilation
Angelika KimmigKimmig, Angelika KU Leuven Implementor Panel: What can semantics do for probabilistic programming and what can probabilistic programming do for semantics?
Andy KingKing, Andy Kent From MinX to MinC: Semantics-Driven Decompilation of Recursive Datatypes
Tim KingKing, Tim Polyhedral Approximation of Multivariate Polynomials using Handelman’s Theorem
Christoph KirschKirsch, Christoph University of Salzburg ERC member in External Reviewing Committee for POPL 2016 ERC member in External Reviewing Committee within the POPL Research Papers-track
Oleg KiselyovKiselyov, Oleg Finally, Safely-Extensible and Efficient Language-Integrated Query Staging beyond Terms: Prospects and Challenges Problems of the Lightweight Implementation of Probabilistic Programming Implementor Panel: What can semantics do for probabilistic programming and what can probabilistic programming do for semantics?
Håkan KjellerstrandKjellerstrand, Håkan CUNY Brooklyn College and Graduate Center The Picat-SAT Compiler
Jacques KleinKlein, Jacques University of Luxembourg Combining Static Analysis with Probabilistic Models to Enable Market-Scale Analysis
Aleksey KligerKliger, Aleksey Xamarin, Inc.United States Insomnia: Types and Modules for Probabilistic Programming
Ilya KlyuchnikovKlyuchnikov, Ilya Committee Member in Program Committee within the PEPM -track
Hsiang-Shang ‘Josh’ KoKo, Hsiang-Shang ‘Josh’ National Institute of InformaticsJapan BiGUL: A Formally Verified Core Language for Putback-Based Bidirectional Programming
Naoki KobayashiKobayashi, Naoki University of TokyoJapan T5: Higher-Order Model Checking Temporal Verification of Higher-order Functional Programs
Jonathan KochemsKochems, Jonathan Department of Computer Science, University of Oxford Unboundedness and Downward Closures of Higher-Order Pushdown Automata
Jérémie KoenigKoenig, Jérémie A Coq Library for Binary Logical Relations
Markulf KohlweissKohlweiss, Markulf Microsoft Research Dependent Types and Multi-Monadic Effects in F*
Eric KoskinenKoskinen, Eric Yale University ERC member in External Reviewing Committee for POPL 2016 Reducing Crash Recoverability to Reachability ERC member in External Reviewing Committee within the POPL Research Papers-track
Evgenii KotelnikovKotelnikov, Evgenii Chalmers University of Technology The Vampire and the FOOL
Laura KovacsKovacs, Laura Chalmers University of Technology Committee Member in Program Committee for POPL 2016 The Vampire and the FOOL Committee Member in Program Committee within the POPL Research Papers-track Committee Member in Program Committee within the CPP -track
Andreas KrauseKrause, Andreas ETH Zurich Learning Programs from Noisy Data
Sriram KrishnamoorthyKrishnamoorthy, Sriram Pacific Northwest National Laboratories PolyCheck: Dynamic Verification of Iteration Space Transformations on Affine Programs
Shriram KrishnamurthiKrishnamurthi, Shriram Brown UniversityUnited States Committee Member in Program Committee for POPL 2016 Committee Member in Program Committee within the POPL Research Papers-track
Neel KrishnaswamiKrishnaswami, Neel The Semantics of Syntax: Applying Denotational Semantics to Hygienic Macro Systems
Daniel KroeningKroening, Daniel University of Oxford ERC member in External Reviewing Committee for POPL 2016 Automatic Generation of Propagation Complete SAT Encodings ERC member in External Reviewing Committee within the POPL Research Papers-track
K Narayan KumarKumar, K Narayan Chennai Mathematical Institute ERC member in External Reviewing Committee for POPL 2016 ERC member in External Reviewing Committee within the POPL Research Papers-track
Viktor KunčakKunčak, Viktor EPFL Committee Member in Program Committee for POPL 2016 Committee Member in Program Committee within the POPL Research Papers-track
Lindsey KuperKuper, Lindsey Intel Labs ERC member in External Reviewing Committee for POPL 2016 Session Chair of Session One (part of Off the Beaten Track ) Opening remarks and program chair's report ERC member in External Reviewing Committee within the POPL Research Papers-track Program Chair in Organizing Committee within the Off the Beaten Track -track
Marta KwiatkowskaKwiatkowska, Marta University of Oxford Committee Member in Program Committee for POPL 2016 Committee Member in Program Committee within the POPL Research Papers-track
Boris KöpfKöpf, Boris IMDEA Committee Member in Program Committee for POPL 2016 Committee Member in Program Committee within the POPL Research Papers-track
L Salvatore La TorreLa Torre, Salvatore A General Modular Synthesis Problem for Pushdown Systems
Ori LahavLahav, Ori MPI-SWS Taming Release-Acquire Consistency
Peter LammichLammich, Peter Technische Universität München Refinement Based Verification of Imperative Data Structures Committee Member in Program Committee within the CPP -track
Leonidas LampropoulosLampropoulos, Leonidas University of PennsylvaniaGreece Making our Own Luck: A Language for Random Generators
Randolph LangleyLangley, Randolph Starting from a Clean Slate: Creating a Top-down Parseable Runtime
Rahman LavaeeLavaee, Rahman The Hardness of Data Packing
Yves Le TraonLe Traon, Yves University of Luxembourg Combining Static Analysis with Probabilistic Models to Enable Market-Scale Analysis
Nicolás LehmannLehmann, Nicolás Formalizing Simple Refinements in Coq
Daan LeijenLeijen, Daan Microsoft Research From Monads to Effects and Back
K. Rustan M. LeinoLeino, K. Rustan M. Microsoft Research Co-chair in Program Committee for VMCAI Committee Member in Program Chairs for VMCAI Co-chair in Organizing Committee for VMCAI Session Chair of Invited Talk II (part of VMCAI ) Session Chair of Welcome (part of VMCAI )
Carl LeonardssonLeonardsson, Carl Uppsala University Committee Member in Artifact Evaluation committee within the POPL Artifact Evaluation-track
Sorin LernerLerner, Sorin University of California, San Diego ERC member in External Reviewing Committee for POPL 2016 Formal Verification of Stability Properties of Cyber-Physical Systems Printing Floating-Point Numbers: A Faster, Always Correct Method ERC member in External Reviewing Committee within the POPL Research Papers-track
Xavier LeroyLeroy, Xavier Inria Theorem Provers are a PL Researcher's Best Friend
Mohsen LesaniLesani, Mohsen MIT Certified Causally Consistent Distributed Key-Value Stores
Richard LethinLethin, Richard A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
Hongyu LiLi, Hongyu Rice University Combining Static Analysis with Probabilistic Models to Enable Market-Scale Analysis
Wenda LiLi, Wenda University of CambridgeChina A Modular, Efficient Formalisation of Real Algebraic Numbers
Hongjin LiangLiang, Hongjin University of Science and Technology of China A Program Logic for Concurrent Objects under Fair Scheduling Committee Member in Program Committee within the CPP -track
Daniel R. LicataLicata, Daniel R. Wesleyan University Committee Member in Program Committee within the CPP -track
Jay LigattiLigatti, Jay University of South Florida Local Chair in Organizing Committee for POPL 2016
Didier LimeLime, Didier Parameter Synthesis for Parametric Interval Markov Chains
Anthony Widjaja LinLin, Anthony Widjaja Yale-NUS College, SingaporeAustralia Regular Symmetry Patterns String Solving with Word Equations and Transducers: Decidability and Applications to Detecting Mutation XSS
Sam LindleyLindley, Sam University of Edinburgh Everything Old Is New Again: Quoted Domain-Specific Languages
Y. Annie LiuLiu, Y. Annie Stony Brook University, USA Removing Runtime Overhead for Optimized Object Queries
Yu David LiuLiu, Yu David State University of New York (SUNY) BinghamtonUnited States Committee Member in Program Committee within the Off the Beaten Track -track
Francesco LogozzoLogozzo, Francesco Committee Member in Program Committee for VMCAI
Fan LongLong, Fan MIT CSAIL Prophet: Automatic Patch Generation via Learning from Successful Patches
Nuno P. LopesLopes, Nuno P. Microsoft Research Scaling Network Verification using Symmetry and Surgery
Florian LorenzenLorenzen, Florian TU BerlinGermany Sound Type-dependent Syntactic Language Extension
Steven LydeLyde, Steven Pushdown Control-flow Analysis for Free
M P. MadhusudanMadhusudan, P. University of Illinois at Urbana-Champaign Learning Invariants using Decision Trees and Implication Counterexamples
Matteo MaffeiMaffei, Matteo Saarland UniversityGermany Committee Member in Program Committee for POPL 2016 Session Chair of Track 2: Sessions and processes (part of POPL Research Papers) T6: Security and Privacy by Typing in Cryptographic Systems Committee Member in Program Committee within the POPL Research Papers-track
Geoffrey MainlandMainland, Geoffrey Drexel University Committee Member in Program Committee within the PADL -track
Rupak MajumdarMajumdar, Rupak MPI-SWS Program Co-Chair in Program Committee for POPL 2016 Program Chair in Organizing Committee for POPL 2016 Committee Member in Steering Committee for POPL 2016 Session Chair of Invited Speaker Thu (part of POPL Invited Speakers) Committee Member in Program Committee within the POPL Research Papers-track
Gregory MalechaMalecha, Gregory UCSD Formal Verification of Stability Properties of Cyber-Physical Systems
Saeed MalekiMaleki, Saeed Microsoft Research Committee Member in Artifact Evaluation committee within the POPL Artifact Evaluation-track
Ravi MangalMangal, Ravi Georgia Institute of Technology Query-Guided Maximum Satisfiability
Panagiotis ManoliosManolios, Panagiotis Northeastern University Committee Member in Program Committee within the CPP -track
Luc MarangetMaranget, Luc INRIA Rocquencourt Modelling the ARMv8 Architecture, Operationally: Concurrency and ISA
Chris MartensMartens, Chris Carnegie Mellon UniversityUnited States Keynote Talk: Operationalizing Creative Theories
Ruben MartinsMartins, Ruben Automatic Generation of Propagation Complete SAT Encodings
Alexandre MaréchalMaréchal, Alexandre Polyhedral Approximation of Multivariate Polynomials using Handelman’s Theorem
Michael MateasMateas, Michael Programming Interactivity Requires Both Semantics and Semiotics
Marek MaterzokMaterzok, Marek University of Wroclaw Certified Desugaring of Javascript Programs using Coq
Damiano MazzaMazza, Damiano Affine Functional Programs as Higher-order Boolean Circuits
James McCannMcCann, James Challenges Facing a High-Level Language for Machine Knitting
Jedidiah McClurgMcClurg, Jedidiah University of Colorado BoulderUnited States Committee Member in Artifact Evaluation committee within the POPL Artifact Evaluation-track
Patrick McDanielMcDaniel, Patrick Pennsylvania State University Combining Static Analysis with Probabilistic Models to Enable Market-Scale Analysis
Kathryn S McKinleyMcKinley, Kathryn S Microsoft Research Programming the World of Uncertain Things
Christopher MeiklejohnMeiklejohn, Christopher Declarative, Secure, Convergent Edge Computation
Benoit MeisterMeister, Benoit A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
Eric MercerMercer, Eric Exact Heap Summaries for Symbolic Execution
Roland MeyerMeyer, Roland Pointer Race Freedom
Matthew MightMight, Matthew University of Utah, USAUnited States Grad School: A Survival Guide Pushdown Control-flow Analysis for Free
Dale MillerMiller, Dale INRIA Saclay and LIX Committee Member in Program Committee within the CPP -track
Sasa MisailovicMisailovic, Sasa MIT Committee Member in Program Committee within the PEPM -track
Yohei MiyamotoMiyamoto, Yohei Graduate School of Informatics, Kyoto University A Denotational Semantics of a Probabilistic Stream-Processing Language
David MonniauxMonniaux, David CNRS, VERIMAG Committee Member in Program Committee for POPL 2016 Session Chair of Track 1: Learning and verification (part of POPL Research Papers) Session Chair of Hybrid and Timed Systems (part of VMCAI ) Program Analysis with Local Policy Iteration Polyhedral Approximation of Multivariate Polynomials using Handelman’s Theorem Committee Member in Program Committee within the POPL Research Papers-track
Scott MooreMoore, Scott Harvard UniversityUnited States Committee Member in Artifact Evaluation committee within the POPL Artifact Evaluation-track
Greg MorrisettMorrisett, Greg Cornell University Highs and Lows of a Language Researcher An Application of Computable Distributions to the Semantics of Probabilistic Programs
Georg MoserMoser, Georg University of Innsbruck The Complexity of Interaction
Larry MossMoss, Larry Indiana University Coalgebraic Trace Semantics for Probabilistic Processes: Preliminary Proposal
Paul MountcastleMountcastle, Paul A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
Shin-Cheng MuMu, Shin-Cheng Academia Sinica Committee Member in Program Committee within the PEPM -track
Madhavan MukundMukund, Madhavan Chennai Mathematical InstituteIndia Committee Member in Program Committee for VMCAI
Dominic MulliganMulligan, Dominic Cambridge University Committee Member in Program Committee within the CPP -track
Guillaume Munch-MaccagnoniMunch-Maccagnoni, Guillaume Computer Laboratory, University of CambridgeFrance A Theory of Effects and Resources: Adjunction Models and Polarised Calculi
Akihiro MuraseMurase, Akihiro Temporal Verification of Higher-order Functional Programs
Koko MuroyaMuroya, Koko University of Tokyo Memoryful Geometry of Interaction II: Recursion and Adequacy
Richard M. MurrayMurray, Richard M. California Institute of Technology Synthesis of Reactive Controllers for Hybrid Systems
Madan MusuvathiMusuvathi, Madan Committee Member in Program Committee for POPL 2016 Committee Member in Program Committee within the POPL Research Papers-track
Peter MüllerMüller, Peter ETH Zurich ERC member in External Reviewing Committee for POPL 2016 Committee Member in Program Committee for VMCAI Session Chair of Abstract Interpretation (part of VMCAI ) Viper - A Verification Infrastructure for Permission-based Reasoning Viper - A Verification Infrastructure for Permission-based Reasoning ERC member in External Reviewing Committee within the POPL Research Papers-track
N Mayur NaikNaik, Mayur Georgia Tech ERC member in External Reviewing Committee for POPL 2016 Session Chair of Track 1: Optimization (part of POPL Research Papers) Query-Guided Maximum Satisfiability ERC member in External Reviewing Committee within the POPL Research Papers-track
Mahsa NajafzadehNajafzadeh, Mahsa UPMC & INRIA 'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems
Shayan NajdNajd, Shayan Everything Old Is New Again: Quoted Domain-Specific Languages
Koji NakazawaNakazawa, Koji Graduate School of Information Science, Nagoya University A Denotational Semantics of a Probabilistic Stream-Processing Language
Chandrakana NandiNandi, Chandrakana University of Washington, USAIndia Correctness and Security for Home Automation
Jorge A. NavasNavas, Jorge A. An Abstract Domain of Uninterpreted Functions
Daniel NeiderNeider, Daniel University of Illinois at Urbana-Champaign Learning Invariants using Decision Trees and Implication Counterexamples
Pierre NeronNeron, Pierre TU DelftFrance A Constraint Language for Static Semantic Analysis Based on Scope Graphs
Max S. NewNew, Max S. Is Sound Gradual Typing Dead?
ThanhVu NguyenNguyen, ThanhVu University of Maryland Committee Member in Artifact Evaluation committee within the POPL Artifact Evaluation-track
Truong Khanh NguyenNguyen, Truong Khanh Regular Symmetry Patterns
Tobias NipkowNipkow, Tobias Technische Universität München ERC member in External Reviewing Committee for POPL 2016 ERC member in External Reviewing Committee within the POPL Research Papers-track
Aditya NoriNori, Aditya Microsoft Research, UKIndia Session Chair of Track 2: Probabilistic and statistical analysis (part of POPL Research Papers) Query-Guided Maximum Satisfiability
Petr NovotnýNovotný, Petr IST Austria Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs
O Damien OcteauOcteau, Damien University of Wisconsin and Pennsylvania State University Combining Static Analysis with Probabilistic Models to Enable Market-Scale Analysis
Federico OlmedoOlmedo, Federico RWTH Aachen University On The Semantic Intricacies of Conditioning
C.-H. Luke OngOng, C.-H. Luke University of Oxford, UK Session Chair of Track 2: Decidability and complexity (part of POPL Research Papers) Unboundedness and Downward Closures of Higher-Order Pushdown Automata T5: Higher-Order Model Checking
Dominic OrchardOrchard, Dominic Imperial College LondonUnited Kingdom Effects as sessions, sessions as effects
Joseph OsbornOsborn, Joseph Programming Interactivity Requires Both Semantics and Semiotics
Peter-Michael OseraOsera, Peter-Michael Grinnell CollegeUnited States Example-Directed Synthesis: A Type-Theoretic Interpretation
Klaus OstermannOstermann, Klaus University of Tübingen, GermanyGermany System Fω with Equirecursive Types for Datatype-generic Programming Committee Member in Program Committee within the PEPM -track
Jan OtopOtop, Jan University of WrocławPoland Lipschitz Robustness of Timed I/O Systems
Long OuyangOuyang, Long Stanford University Fabular: Regression Formulas as Probabilistic Programming
P Oded PadonPadon, Oded Tel Aviv University Decidability of Inferring Inductive Invariants
Brooks PaigePaige, Brooks University of Oxford An Interface for Black Box Learning in Probabilistic Programs
Jens PalsbergPalsberg, Jens University of California, Los Angeles ERC member in External Reviewing Committee for POPL 2016 Session Chair of Track 2: Correct Compilation (part of POPL Research Papers) Breaking Through the Normalization Barrier: A Self-Interpreter for F-omega ERC member in External Reviewing Committee within the POPL Research Papers-track
Prakash PanangadenPanangaden, Prakash McGill UniversityIndia Committee Member in Program Committee for POPL 2016 Committee Member in Program Committee within the POPL Research Papers-track
Zoe ParaskevopoulouParaskevopoulou, Zoe Princeton University Making our Own Luck: A Language for Random Generators
Pavel ParizekParizek, Pavel Charles University in Prague Hybrid Analysis for Partial Order Reduction of Programs with Arrays
David ParkerParker, David University of BirminghamUnited Kingdom Committee Member in Program Committee for VMCAI
Bryan ParnoParno, Bryan Microsoft Research Ironclad - Full Verification of Complex Systems
Joachim ParrowParrow, Joachim Uppsala University Bisimulation Up-to Techniques for Psi-calculi
Marco PatrignaniPatrignani, Marco KU LeuvenItaly Fully-Abstract Compilation by Approximate Back-Translation
Lawrence PaulsonPaulson, Lawrence Cambridge University A Modular, Efficient Formalisation of Real Algebraic Numbers Committee Member in Program Committee within the CPP -track
Andreas PavlogiannisPavlogiannis, Andreas Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components
Hila PelegPeleg, Hila D3 : Data-Driven Disjunctive Abstraction
Zebo PengPeng, Zebo Lazy Constrained Monotonic Abstraction
Michael PerinPerin, Michael Polyhedral Approximation of Multivariate Polynomials using Handelman’s Theorem
Petr PeringerPeringer, Petr From Low Level Pointers to High Level Containers
Suzette PersonPerson, Suzette Exact Heap Summaries for Symbolic Execution
Laure PetrucciPetrucci, Laure Parameter Synthesis for Parametric Interval Markov Chains
Tommaso PetruccianiPetrucciani, Tommaso DIBRIS, Università di Genova, Italy & PPS, Université Paris Diderot, France Set-theoretic types for polymorphic variants in ML
Avi PfefferPfeffer, Avi Charles River Analytics The Semantics of Figaro, an Embedded Probabilistic Programming Language Implementor Panel: What can semantics do for probabilistic programming and what can probabilistic programming do for semantics?
Frank PfenningPfenning, Frank Carnegie Mellon UniversityGermany Committee Member in Program Committee for POPL 2016 Monitors and Blame Assignment for Higher-Order Session Types Committee Member in Program Committee within the POPL Research Papers-track
David PichardiePichardie, David Session Chair of Abstraction II (part of VMCAI )
Jean Pichon-PharabodPichon-Pharabod, Jean University of Cambridge A concurrency semantics for relaxed atomics that permits optimisation and avoids thin-air executions
Brigitte PientkaPientka, Brigitte McGill University ERC member in External Reviewing Committee for POPL 2016 ERC member in External Reviewing Committee within the POPL Research Papers-track
Benjamin C. PiercePierce, Benjamin C. University of PennsylvaniaUnited States Making our Own Luck: A Language for Random Generators
Frank PiessensPiessens, Frank iMinds - Distrinet, KU LeuvenBelgium Committee Member in Program Committee for POPL 2016 Fully-Abstract Compilation by Approximate Back-Translation Committee Member in Program Committee within the POPL Research Papers-track
Ruzica PiskacPiskac, Ruzica Yale University Publicity Chair in Organizing Committee for POPL 2016 Outreach Activities Chair in Organizing Committee for VMCAI
Clément Pit-ClaudelPit-Claudel, Clément MIT CSAILFrance Company-Coq: Taking Proof General one step closer to a real IDE Committee Member in Artifact Evaluation committee within the POPL Artifact Evaluation-track
Andrew M. PittsPitts, Andrew M. University of Cambridge ERC member in External Reviewing Committee for POPL 2016 ERC member in External Reviewing Committee within the POPL Research Papers-track
André PlatzerPlatzer, André A Logic of Proofs for Differential Dynamic Logic A method for invariant generation for polynomial continuous systems
Gordon PlotkinPlotkin, Gordon Scaling Network Verification using Symmetry and Surgery
Andreas PodelskiPodelski, Andreas University of Freiburg Committee Member in Program Committee for VMCAI Committee Member in Steering Committee for VMCAI
Anton PodkopaevPodkopaev, Anton Operational Aspects of C/C++ Concurrency
Johannes Å. PohjolaPohjola, Johannes Å. Uppsala University Bisimulation Up-to Techniques for Psi-calculi
Nadia PolikarpovaPolikarpova, Nadia MIT CSAIL, USARussia Committee Member in Program Committee for VMCAI
Randy PollackPollack, Randy Harvard University Committee Member in Program Committee within the CoqPL -track
Enrico PontelliPontelli, Enrico New Mexico State University A GPU implementation of the ASP computation Committee Member in Program Committee within the PADL -track
Andrei PopescuPopescu, Andrei Middlesex University, London Committee Member in Program Committee within the CPP -track
Louis-Noël PouchetPouchet, Louis-Noël Ohio State University PolyCheck: Dynamic Verification of Iteration Space Transformations on Affine Programs
Prathmesh PrabhuPrabhu, Prathmesh Google Newtonian Program Analysis via Tensor Product
Maurizio ProiettiProietti, Maurizio ERC member in External Reviewing Committee for POPL 2016 ERC member in External Reviewing Committee within the POPL Research Papers-track
Christopher PultePulte, Christopher University of Cambridge Modelling the ARMv8 Architecture, Operationally: Concurrency and ISA
Sylvie PutotPutot, Sylvie École Polytechnique ERC member in External Reviewing Committee for POPL 2016 ERC member in External Reviewing Committee within the POPL Research Papers-track
Corina S. PăsăreanuPăsăreanu, Corina S. NASA Ames Research Center Committee Member in Program Committee for POPL 2016 Committee Member in Program Committee within the POPL Research Papers-track
Karol PąkPąk, Karol University of Bialystok, Institute of Computer Science Mizar Environment for Isabelle
Q Xiaokang QiuQiu, Xiaokang MIT ERC member in External Reviewing Committee for POPL 2016 ERC member in External Reviewing Committee within the POPL Research Papers-track
R Arjun RadhakrishnaRadhakrishna, Arjun Microsoft T7: Trace-based Synchronization Synthesis for Concurrent Programs Committee Member in Artifact Evaluation committee within the POPL Artifact Evaluation-track
Mukund RaghothamanRaghothaman, Mukund University of Pennsylvania Committee Member in Artifact Evaluation committee within the POPL Artifact Evaluation-track
Vincent RahliRahli, Vincent SnT A Nominal Exploration of Intuitionism
Sriram RajamaniRajamani, Sriram Microsoft Research Chair in Steering Committee for POPL 2016
Tahina RamananandroRamananandro, Tahina A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
Norman RamseyRamsey, Norman All You Need is the Monad... What Monad Was That Again?
Robert RandRand, Robert University of PennsylvaniaUnited States Models for Probabilistic Programs with an Adversary T4: Programs and Proofs in the Coq Proof Assistant T4: Programs and Proofs in the Coq Proof Assistant (Advanced Material)
Ulrik Terp RasmussenRasmussen, Ulrik Terp DIKU, University of Copenhagen Kleenex: Compiling Nondeterministic Transducers to Deterministic Streaming Transducers
Fabrice RastelloRastello, Fabrice INRIA, France PolyCheck: Dynamic Verification of Iteration Space Transformations on Affine Programs
Aseem RastogiRastogi, Aseem University of Maryland, College Park Dependent Types and Multi-Monadic Effects in F*
Veselin RaychevRaychev, Veselin ETH ZurichBulgaria Learning Programs from Noisy Data
Giles RegerReger, Giles University of Manchester The Vampire and the FOOL
John ReppyReppy, John University of Chicago Co-chair in Organizers for PADL Session Chair of Welcome (part of PADL ) Co-chair in Program Committee within the PADL -track
Thomas RepsReps, Thomas University of Wisconsin - Madison and Grammatech Inc.United States Committee Member in Steering Committee for VMCAI Automating Abstract Interpretation Newtonian Program Analysis via Tensor Product
Andrew ReynoldsReynolds, Andrew EPFL Committee Member in Artifact Evaluation committee within the POPL Artifact Evaluation-track
Ahmed RezineRezine, Ahmed Lazy Constrained Monotonic Abstraction
Daniel RickettsRicketts, Daniel University of California, San Diego Formal Verification of Stability Properties of Cyber-Physical Systems
Laurence RideauRideau, Laurence INRIA Formal proofs of transcendence for e and pi as an application of multivariate and symmetric polynomials
Martin C. RinardRinard, Martin C. Massachusetts Institute of Technology, USA Prophet: Automatic Patch Generation via Learning from Successful Patches
Noam RinetzkyRinetzky, Noam Session Chair of Concurrent Programs (part of VMCAI ) Property Directed Abstract Interpretation
Ed RobbinsRobbins, Ed Kent From MinX to MinC: Semantics-Driven Decompilation of Recursive Datatypes
Tiark RompfRompf, Tiark Purdue & Oracle Labs Committee Member in Program Committee for POPL 2016 Session Chair of Track 2: Types, Generally or Gradually (part of POPL Research Papers) Welcome Committee Member in Program Committee within the POPL Research Papers-track Program Co-Chair in Program Committee within the PEPM -track
Dan RothRoth, Dan University of Illinois at Urbana-Champaign Learning Invariants using Decision Trees and Implication Counterexamples
Reuben RoweRowe, Reuben Model Checking for Symbolic-Heap Separation Logic with Inductive Predicates
Daniel RoyRoy, Daniel University of Toronto eXchangeable Random Primitives
Philipp RuemmerRuemmer, Philipp Uppsala University Committee Member in Program Committee for VMCAI Regular Symmetry Patterns
Neha RungtaRungta, Neha Exact Heap Summaries for Symbolic Execution
Stuart RussellRussell, Stuart University of California, Berkeley Committee Member in Program Committee within the PPS -track
Claudio RussoRusso, Claudio Microsoft Research Fabular: Regression Formulas as Probabilistic Programming
Brian RuttenbergRuttenberg, Brian Charles River Analytics The Semantics of Figaro, an Embedded Probabilistic Programming Language
Andrey RybalchenkoRybalchenko, Andrey Microsoft Research Scaling Network Verification using Symmetry and Surgery
S Claudio Sacerdoti CoenSacerdoti Coen, Claudio University of Bologna Committee Member in Program Committee within the CPP -track
P. SadayappanSadayappan, P. Ohio State University PolyCheck: Dynamic Verification of Iteration Space Transformations on Affine Programs
Mooly SagivSagiv, Mooly Tel Aviv UniversityIsrael Session Chair of Track 1: Foundations of distributed systems (part of POPL Research Papers) Decidability of Inferring Inductive Invariants
Malavika SamakSamak, Malavika Indian Institute of Science, BangaloreIndia Committee Member in Artifact Evaluation committee within the POPL Artifact Evaluation-track
Roopsha SamantaSamanta, Roopsha IST Austria Committee Member in Program Committee for VMCAI Session Chair of Solver Improvements (part of VMCAI ) Lipschitz Robustness of Timed I/O Systems T7: Trace-based Synchronization Synthesis for Concurrent Programs
Davide SangiorgiSangiorgi, Davide University of Bologna Environmental Bisimulations for Probabilistic Higher-Order Languages
Susmit SarkarSarkar, Susmit University of St Andrews Modelling the ARMv8 Architecture, Operationally: Concurrency and ISA
Ryosuke SatoSato, Ryosuke University of Tokyo Temporal Verification of Higher-order Functional Programs
Peter SchachteSchachte, Peter An Abstract Domain of Uninterpreted Functions
Michael SchaperSchaper, Michael University of Innsbruck Automated Complexity Analysis of Programs
Torsten SchaubSchaub, Torsten University of Potsdam Committee Member in Program Committee within the PADL -track
Chad ScherrerScherrer, Chad Galois, Inc. Session Chair of Session 2 (part of PPS ) Committee Member in Program Committee within the PPS -track
Maria A SchettSchett, Maria A University of InnsbruckAustria From Trees To Graphs: Understanding The Implications Of Sharing For Rewriting
David SchmidtSchmidt, David ACM Contact in Organizing Committee for VMCAI Committee Member in Steering Committee for VMCAI
Alan SchmittSchmitt, Alan Inria Committee Member in Program Committee within the CoqPL -track
Sigurd SchneiderSchneider, Sigurd Saarland University Axiomatic Semantics for Compiler Verification
Peter SchrammelSchrammel, Peter University of Oxford, UK Committee Member in Artifact Evaluation committee within the POPL Artifact Evaluation-track
Tom SchrijversSchrijvers, Tom KU Leuven From MinX to MinC: Semantics-Driven Decompilation of Recursive Datatypes Committee Member in Program Committee within the PADL -track
Ulrik Pagh SchultzSchultz, Ulrik Pagh University of Southern Denmark Committee Member in Program Committee within the PEPM -track
Steven SchäferSchäfer, Steven Axiomatic Semantics for Compiler Verification
Bernhard SchölkopfSchölkopf, Bernhard MPI Tuebingen Reproducing Kernel Hilbert Space Semantics for Probabilistic Programs
Martina SeidlSeidl, Martina Committee Member in Program Committee for VMCAI
Koushik SenSen, Koushik University of California, Berkeley ERC member in External Reviewing Committee for POPL 2016 ERC member in External Reviewing Committee within the POPL Research Papers-track
Alejandro SerranoSerrano, Alejandro Utrecht University Generic Matching of Tree Regular Expressions over Haskell Data Types Proving Correctness of Specialized Type Rules
Sanjit SeshiaSeshia, Sanjit UC Berkeley Committee Member in Program Committee for VMCAI
Peter SewellSewell, Peter University of Cambridge Committee Member in Steering Committee for POPL 2016 Modelling the ARMv8 Architecture, Operationally: Concurrency and ISA A concurrency semantics for relaxed atomics that permits optimisation and avoids thin-air executions
Ali SezginSezgin, Ali University of Cambridge Modelling the ARMv8 Architecture, Operationally: Concurrency and ISA
Chung-chieh ShanShan, Chung-chieh Indiana University Session Chair of Session 5 (part of PPS ) Simplifying Probabilistic Programs Using Computer Algebra Coalgebraic Trace Semantics for Probabilistic Processes: Preliminary Proposal Chair in Program Committee within the PPS -track Committee Member in Program Committee within the PEPM -track
Zhong ShaoShao, Zhong Yale UniversityChina ERC member in External Reviewing Committee for POPL 2016 ERC member in External Reviewing Committee within the POPL Research Papers-track
Marc ShapiroShapiro, Marc Inria & LIP6France 'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems
Rahul SharmaSharma, Rahul Stanford University ERC member in External Reviewing Committee for POPL 2016 ERC member in External Reviewing Committee within the POPL Research Papers-track
Elaine ShiShi, Elaine University of Maryland, College Park ERC member in External Reviewing Committee for POPL 2016 ERC member in External Reviewing Committee within the POPL Research Papers-track
Shunsuke ShimizuShimizu, Shunsuke University of Tokyo Lattice-Theoretic Progress Measures and Coalgebraic Model Checking
Sharon ShohamShoham, Sharon Committee Member in Program Committee for VMCAI Session Chair of Invited Talk I (part of VMCAI ) D3 : Data-Driven Disjunctive Abstraction Property Directed Abstract Interpretation Decidability of Inferring Inductive Invariants
Jeremy G. SiekSiek, Jeremy G. Indiana UniversityUnited States The Gradualizer: a methodology and algorithm for generating gradual type systems
Alexandra SilvaSilva, Alexandra Radboud University Nijmegen Committee Member in Program Committee for POPL 2016 Session Chair of Track 2: Foundations of Model Checking (part of POPL Research Papers) Automata and Coinduction Coalgebraic Trace Semantics for Probabilistic Processes: Preliminary Proposal Committee Member in Program Committee within the POPL Research Papers-track
Rishabh SinghSingh, Rishabh Microsoft ResearchIndia ERC member in External Reviewing Committee for POPL 2016 Transforming Spreadsheet Data Types using Examples T3: Syntax-Guided Synthesis (SyGuS) T3: Syntax-Guided Synthesis (SyGuS) (Advanced Material) ERC member in External Reviewing Committee within the POPL Research Papers-track
Yannis SmaragdakisSmaragdakis, Yannis University of Athens ERC member in External Reviewing Committee for POPL 2016 ERC member in External Reviewing Committee within the POPL Research Papers-track
Calvin SmithSmith, Calvin University of Wisconsin - Madison Synthesis with Respect to Normality
Gert SmolkaSmolka, Gert Saarland University Axiomatic Semantics for Compiler Verification
Andrew SogokonSogokon, Andrew A method for invariant generation for polynomial continuous systems
Armando Solar-LezamaSolar-Lezama, Armando MITUnited States T3: Syntax-Guided Synthesis (SyGuS) T3: Syntax-Guided Synthesis (SyGuS) (Advanced Material)
Harald SondergaardSondergaard, Harald An Abstract Domain of Uninterpreted Functions
Lei SongSong, Lei Reward-Bounded Reachability Probability for Uncertain Weighted MDPs
Tyler SorensenSorensen, Tyler University College London Committee Member in Artifact Evaluation committee within the POPL Artifact Evaluation-track
Matthieu SozeauSozeau, Matthieu Inria Coq 8.5 at work and the future of Coq Committee Member in Program Committee within the CoqPL -track
Manu SridharanSridharan, Manu Samsung Research America Committee Member in Program Committee for POPL 2016 Session Chair of Track 1: Program Design and Analysis (part of POPL Research Papers) Committee Member in Program Committee within the POPL Research Papers-track
Michel St-MartinSt-Martin, Michel University of Ottawa A Verified Algorithm for Detecting Conflicts in XACML Access Control Rules
Sam StatonStaton, Sam University of Oxford Semantics of Higher-order Probabilistic Programs
Sean StromstenStromsten, Sean BAE Systems, Inc. Insomnia: Types and Modules for Probabilistic Programming
Pierre-Yves StrubStrub, Pierre-Yves IMDEA Software InstituteSpain Formal proofs of transcendence for e and pi as an application of multivariate and symmetric polynomials Dependent Types and Multi-Monadic Effects in F*
Peter StuckeyStuckey, Peter An Abstract Domain of Uninterpreted Functions
Kohei SuenagaSuenaga, Kohei A Denotational Semantics of a Probabilistic Stream-Processing Language
Jun SunSun, Jun Regular Symmetry Patterns
Kenichi SuzukiSuzuki, Kenichi University of Tsukuba, Japan Finally, Safely-Extensible and Efficient Language-Integrated Query
Josef SvenningssonSvenningsson, Josef Chalmers University of Technology, Sweden Everything Old Is New Again: Quoted Domain-Specific Languages
Nikhil SwamySwamy, Nikhil Microsoft ResearchUnited States Dependent Types and Multi-Monadic Effects in F*
Marcin SzymczakSzymczak, Marcin University of Edinburgh A Lambda-Calculus Foundation for Universal Probabilistic Programming Fabular: Regression Formulas as Probabilistic Programming
Kristoffer Aalund SøholmSøholm, Kristoffer Aalund Jobindex, DenmarkDenmark Kleenex: Compiling Nondeterministic Transducers to Deterministic Streaming Transducers
T Walid TahaTaha, Walid Committee Member in Program Committee within the PEPM -track
Asumu TakikawaTakikawa, Asumu Northeastern UniversityUnited States Is Sound Gradual Typing Dead?
Éric TanterTanter, Éric University of Chile, ChileChile Formalizing Simple Refinements in Coq Abstracting Gradual Typing
Paul TarauTarau, Paul University of North Texas A Size-proportionate Bijective Encoding of Lambda Terms as Catalan Objects endowed with Arithmetic Operations Computing with Catalan Families, Generically Committee Member in Program Committee within the PADL -track
Ross TateTate, Ross Cornell UniversityUnited States Committee Member in Organizing Committee for PLMW Student Interaction Activity
Zachary TatlockTatlock, Zachary University of Washington, SeattleUnited States Student Research Competition Chair in Organizing Committee for POPL 2016 ERC member in External Reviewing Committee for POPL 2016 Session Chair of POPL SRC Posters and Reception (part of POPL SRC) Planning for Change in a Formal Verification of the Raft Consensus Protocol ERC member in External Reviewing Committee within the POPL Research Papers-track Committee Member in Program Committee within the CPP -track
Tachio TerauchiTerauchi, Tachio JAISTJapan ERC member in External Reviewing Committee for POPL 2016 Committee Member in Program Committee for VMCAI Temporal Verification of Higher-order Functional Programs ERC member in External Reviewing Committee within the POPL Research Papers-track
Peter ThiemannThiemann, Peter University of FreiburgGermany ERC member in External Reviewing Committee for POPL 2016 ERC member in External Reviewing Committee within the POPL Research Papers-track
René ThiemannThiemann, René University of Innsbruck Formalizing Jordan Normal Forms in Isabelle/HOL
Simon ThompsonThompson, Simon University of Kent Committee Member in Program Committee within the PEPM -track
Amin TimanyTimany, Amin The Category-theoretic Solution of Recursive Ultra-metric Space Equations
Cesare TinelliTinelli, Cesare University of Iowa Committee Member in Program Committee within the CPP -track
Ashish TiwariTiwari, Ashish SRI International Committee Member in Program Committee for POPL 2016 Committee Member in Program Committee within the POPL Research Papers-track
Sam Tobin-HochstadtTobin-Hochstadt, Sam Indiana UniversityUnited States Invited Talk: Tracing JITs for Functional Languages
Andrew TolmachTolmach, Andrew Portland State University A Constraint Language for Static Semantic Analysis Based on Scope Graphs
David TolpinTolpin, David University of Oxford An Interface for Black Box Learning in Probabilistic Programs
Emina TorlakTorlak, Emina University of WashingtonUnited States Committee Member in Program Committee for POPL 2016 Optimizing Synthesis with Metasketches Committee Member in Program Committee within the POPL Research Papers-track
Emma ToschTosch, Emma University of Massachusetts Amherst Committee Member in Program Committee within the Off the Beaten Track -track
Mirco TribastoneTribastone, Mirco IMT Institute for Advanced Studies Lucca, Italy Symbolic Computation of Differential Equivalences
Alix TrieuTrieu, Alix ENS Rennes Formal Verification of Control-flow Graph Flattening
Max TschaikowskiTschaikowski, Max IMT Institute for Advanced Studies Lucca, Italy Symbolic Computation of Differential Equivalences
Emma TuretskyTuretsky, Emma CS Dept., Univ. of Wisconsin-Madison Newtonian Program Analysis via Tensor Product
Sebastian Paaske TørholmTørholm, Sebastian Paaske Jobindex, DenmarkDenmark Kleenex: Compiling Nondeterministic Transducers to Deterministic Streaming Transducers
U Hiroshi UnnoUnno, Hiroshi University of Tsukuba Temporal Verification of Higher-order Functional Programs
Caterina UrbanUrban, Caterina Inria & École Normale Supérieure \| Université PSLFrance Committee Member in Program Committee for VMCAI
Josef UrbanUrban, Josef Mizar Environment for Isabelle
V Viktor VafeiadisVafeiadis, Viktor MPI-SWS, GermanyGreece A program logic for C11 memory fences Taming Release-Acquire Consistency Lightweight Verification of Separate Compilation
Hendrik van Antwerpenvan Antwerpen, Hendrik Delft University of Technology, Netherlands A Constraint Language for Static Semantic Analysis Based on Scope Graphs
Jan-Willem van de Meentvan de Meent, Jan-Willem University of Oxford An Interface for Black Box Learning in Probabilistic Programs Implementor Panel: What can semantics do for probabilistic programming and what can probabilistic programming do for semantics?
Guy Van den BroeckVan den Broeck, Guy KU Leuven ERC member in External Reviewing Committee for POPL 2016 ERC member in External Reviewing Committee within the POPL Research Papers-track
Tijs van der Stormvan der Storm, Tijs CWINetherlands Practical, General Parser Combinators
Floris van Doornvan Doorn, Floris Carnegie Mellon University Constructing the Propositional Truncation using Non-recursive HITs
Pieter Van HertumVan Hertum, Pieter KU Leuven The KB paradigm and its application to interactive configuration
David Van HornVan Horn, David University of Maryland, College Park ERC member in External Reviewing Committee for POPL 2016 T1: An Introduction to Redex with Abstracting Abstract Machines T1: An Introduction to Redex with Abstracting Abstract Machines(Advanced Material) Pushdown Control-flow Analysis for Free ERC member in External Reviewing Committee within the POPL Research Papers-track
Eric Van WykVan Wyk, Eric University of MinnesotaUnited States Committee Member in Program Committee within the PEPM -track
Andrea VandinVandin, Andrea IMT Institute for Advanced Studies Lucca, ItalyItaly Symbolic Computation of Differential Equivalences
George VargheseVarghese, George Microsoft Research Scaling Network Verification using Symmetry and Surgery
Niki VazouVazou, Niki UC San Diego From Monads to Effects and Back Committee Member in Artifact Evaluation committee within the POPL Artifact Evaluation-track
Martin VechevVechev, Martin ETH ZurichBulgaria ERC member in External Reviewing Committee for POPL 2016 Invited Talk: Learning from Big Code: Probabilistic Models, Program Analysis and Synthesis Learning Programs from Noisy Data ERC member in External Reviewing Committee within the POPL Research Papers-track
Flavio VellaVella, Flavio Sapienza University of Rome, Italy A GPU implementation of the ASP computation
Valeria VignudelliVignudelli, Valeria University of Bologna/INRIA Environmental Bisimulations for Probabilistic Higher-Order Languages
Eelco VisserVisser, Eelco Delft University of TechnologyNetherlands A Constraint Language for Static Semantic Analysis Based on Scope Graphs T2: Declare Your Language (Part 1): Hands-On Spoofax Tutorial T2: Declare Your Language (Part 2): Name Binding with Scope Graphs Committee Member in Program Committee within the PEPM -track
Jan VitekVitek, Jan Northeastern UniversitySwitzerland Committee Member in Steering Committee for POPL 2016 Is Sound Gradual Typing Dead?
Tomáš VojnarVojnar, Tomáš Brno University of Technology Czechia From Low Level Pointers to High Level Containers
Andrei VoronkovVoronkov, Andrei University of Manchester The Vampire and the FOOL
Dimitrios VytiniotisVytiniotis, Dimitrios Microsoft Research, Cambridge Committee Member in Organizing Committee for PLMW Young Researcher Panel Session, with panelists: Mark Batty (Kent), Mike Carbin (MIT), Lindsey Kuper (Intel), Ilya Sergey (UCL) Committee Member in Program Committee within the PADL -track
W Guido WachsmuthWachsmuth, Guido Delft University of TechnologyGermany A Constraint Language for Static Semantic Analysis Based on Scope Graphs
Philip WadlerWadler, Philip University of EdinburghUnited States Committee Member in Steering Committee for POPL 2016 Everything Old Is New Again: Quoted Domain-Specific Languages
David WalkerWalker, David Princeton UniversityUnited States Committee Member in Steering Committee for POPL 2016 Session Chair of Track 1: Language Design (part of POPL Research Papers) Confluences in Programming Languages Research Example-Directed Synthesis: A Type-Theoretic Interpretation
Eric WalkingshawWalkingshaw, Eric Oregon State UniversityUnited States Committee Member in Program Committee within the PEPM -track
Mitchell WandWand, Mitchell Northeastern University Session Chair of Session 3 (part of PPS ) Finite-depth Higher-order Abstract Syntax Trees for Reasoning about Probabilistic Programs Committee Member in Program Committee within the PPS -track
Philipp WendlerWendler, Philipp Program Analysis with Local Policy Iteration
John WickersonWickerson, John Imperial College LondonUnited Kingdom Overhauling SC atomics in C11 and OpenCL
Thomas WiesWies, Thomas New York UniversityUnited States ERC member in External Reviewing Committee for POPL 2016 Committee Member in Program Committee for VMCAI ERC member in External Reviewing Committee within the POPL Research Papers-track
James R. WilcoxWilcox, James R. University of WashingtonUnited States Planning for Change in a Formal Verification of the Raft Consensus Protocol
Daniel Winograd-CortWinograd-Cort, Daniel University of Pennsylvania Committee Member in Program Committee within the PADL -track
Sebastian WolffWolff, Sebastian Fraunhofer ITWM and TU Kaiserslautern Pointer Race Freedom
Frank WoodWood, Frank University of Oxford An Interface for Black Box Learning in Probabilistic Programs Implementor Panel: What can semantics do for probabilistic programming and what can probabilistic programming do for semantics? Semantics of Higher-order Probabilistic Programs Committee Member in Program Committee within the PPS -track
Doug WoosWoos, Doug University of WashingtonUnited States Planning for Change in a Formal Verification of the Raft Consensus Protocol
Rongxin WuWu, Rongxin Department of Computer Science and Engineering, The Hong Kong University of Science and Technology Casper: An Efficient Approach to Call Trace Collection
X Li-yao XiaXia, Li-yao ENS Paris Making our Own Luck: A Language for Random Generators
Xiao XiaoXiao, Xiao The Hong Kong University of Science and Technology Casper: An Efficient Approach to Call Trace Collection
Y Eran YahavYahav, Eran TechnionIsrael D3 : Data-Driven Disjunctive Abstraction Estimating types in binaries using predictive modeling
Jeremy YallopYallop, Jeremy University of Cambridge, UK Staging Generic Programming
Akihisa YamadaYamada, Akihisa Formalizing Jordan Normal Forms in Isabelle/HOL
Hongseok YangYang, Hongseok University of Oxford, UK Semantics of Higher-order Probabilistic Programs Abstraction Refinement Guided by a Learnt Probabilistic Model 'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems
Junfeng YangYang, Junfeng Columbia University Reducing Crash Recoverability to Reachability
Nobuko YoshidaYoshida, Nobuko Imperial College London, UK Effects as sessions, sessions as effects
Z Tao ZanZan, Tao Sokendai, Japan BiGUL: A Formally Verified Core Language for Putback-Based Bidirectional Programming
Santiago Zanella-BéguelinZanella-Béguelin, Santiago Microsoft Research Dependent Types and Multi-Monadic Effects in F*
Steve ZdancewicZdancewic, Steve University of PennsylvaniaUnited States Session Chair of Invited Speaker Fri (part of POPL Invited Speakers) Models for Probabilistic Programs with an Adversary Example-Directed Synthesis: A Type-Theoretic Interpretation Committee Member in Program Committee within the CoqPL -track
Noam ZeilbergerZeilberger, Noam INRIA Committee Member in Program Committee within the Off the Beaten Track -track
Charles ZhangZhang, Charles HKUSTHong Kong Casper: An Efficient Approach to Call Trace Collection
Hongyu ZhangZhang, Hongyu Microsoft Research Casper: An Efficient Approach to Call Trace Collection
Xin ZhangZhang, Xin Georgia TechChina Query-Guided Maximum Satisfiability
Neng-Fa ZhouZhou, Neng-Fa CUNY Brooklyn College and Graduate Center The Picat-SAT Compiler Committee Member in Program Committee within the PADL -track
Lukasz ZiarekZiarek, Lukasz SUNY Buffalo, USA Committee Member in Program Committee within the PADL -track
Jean-Karim ZinzindohouéZinzindohoué, Jean-Karim INRIA Dependent Types and Multi-Monadic Effects in F*
Lenore ZuckZuck, Lenore UIC Committee Member in Program Committee for VMCAI Treasurer & Conference Manager in Organizing Committee for VMCAI Committee Member in Steering Committee for VMCAI
Damien ZuffereyZufferey, Damien MIT PSync: a partially synchronous language for fault-tolerant distributed algorithms
Ś Adam ŚcibiorŚcibior, Adam University of Cambridge Reproducing Kernel Hilbert Space Semantics for Probabilistic Programs Parameterized Probability Monad Fabular: Regression Formulas as Probabilistic Programming

POPL 2016 Contributors

Results (603)

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia