POPL 2016 – Author Index

A B C D E F G H I J K L M N O P R S T U V W X Y Z

	Adams, Michael D.	POPL '16: "Pushdown Control-Flow Analysis ..." Pushdown Control-Flow Analysis for Free Thomas Gilray, Steven Lyde, Michael D. Adams, Matthew Might, and David Van Horn (University of Utah, USA; University of Maryland, USA) @InProceedings{POPL16p807, author = {Thomas Gilray and Steven Lyde and Michael D. Adams and Matthew Might and David Van Horn}, title = {Pushdown Control-Flow Analysis for Free}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {807-806}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-87-p (type: Full Paper (12 pages + refs)) doi:
	Albarghouthi, Aws	POPL '16: "Maximal Specification Synthesis ..." Maximal Specification Synthesis Aws Albarghouthi, Isil Dillig, and Arie Gurfinkel (University of Wisconsin-Madison, USA; University of Texas at Austin, USA; Carnegie Mellon University, USA) @InProceedings{POPL16p919, author = {Aws Albarghouthi and Isil Dillig and Arie Gurfinkel}, title = {Maximal Specification Synthesis}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {919-918}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-72-p (type: Full Paper (12 pages + refs)) doi:
	Altenkirch, Thorsten	POPL '16: "Type Theory in Type Theory ..." Type Theory in Type Theory using Quotient Inductive Types Thorsten Altenkirch and Ambrus Kaposi (University of Nottingham, UK) @InProceedings{POPL16p23, author = {Thorsten Altenkirch and Ambrus Kaposi}, title = {Type Theory in Type Theory using Quotient Inductive Types}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {23-22}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-157-p (type: Full Paper (12 pages + refs)) doi:
	Andrysco, Marc	POPL '16: "Printing Floating-Point Numbers: ..." Printing Floating-Point Numbers: A Faster, Always Correct Method Marc Andrysco, Ranjit Jhala, and Sorin Lerner (University of California at San Diego, USA) @InProceedings{POPL16p647, author = {Marc Andrysco and Ranjit Jhala and Sorin Lerner}, title = {Printing Floating-Point Numbers: A Faster, Always Correct Method}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {647-646}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-225-p (type: Full Paper (12 pages + refs)) doi:
	Bao, Wenlei	POPL '16: "PolyCheck: Dynamic Verification ..." PolyCheck: Dynamic Verification of Iteration Space Transformations on Affine Programs Wenlei Bao, Sriram Krishnamoorthy, Louis-Noël Pouchet, Fabrice Rastello, and P. Sadayappan (Ohio State University, USA; Pacific Northwest National Laboratory, USA; Inria, France) @InProceedings{POPL16p631, author = {Wenlei Bao and Sriram Krishnamoorthy and Louis-Noël Pouchet and Fabrice Rastello and P. Sadayappan}, title = {PolyCheck: Dynamic Verification of Iteration Space Transformations on Affine Programs}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {631-630}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-237-p (type: Full Paper (12 pages + refs)) doi:
	Barceló, Pablo	POPL '16: "String Solving with Word Equations ..." String Solving with Word Equations and Transducers: Towards a Logic for Analysing Mutation XSS Anthony W. Lin and Pablo Barceló (Yale-NUS College, Singapore; University of Chile, Chile) @InProceedings{POPL16p151, author = {Anthony W. Lin and Pablo Barceló}, title = {String Solving with Word Equations and Transducers: Towards a Logic for Analysing Mutation XSS}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {151-150}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-166-p (type: Full Paper (12 pages + refs)) doi:
	Bartel, Alexandre	POPL '16: "Combining Static Analysis ..." Combining Static Analysis with Probabilistic Models to Enable Market-Scale Android Inter-component Analysis Damien Octeau, Somesh Jha, Matthew Dering, Patrick McDaniel, Alexandre Bartel, Li Li, Jacques Klein, and Yves Le Traon (University of Wisconsin, USA; Pennsylvania State University, USA; IMDEA Software Institute, Spain; TU Darmstadt, Germany; University of Luxembourg, Luxembourg) @InProceedings{POPL16p551, author = {Damien Octeau and Somesh Jha and Matthew Dering and Patrick McDaniel and Alexandre Bartel and Li Li and Jacques Klein and Yves Le Traon}, title = {Combining Static Analysis with Probabilistic Models to Enable Market-Scale Android Inter-component Analysis}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {551-550}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-257-p (type: Full Paper (12 pages + refs)) doi:
	Batty, Mark	POPL '16: "Overhauling SC Atomics in ..." Overhauling SC Atomics in C11 and OpenCL Mark Batty, Alastair F. Donaldson, and John Wickerson (University of Kent, UK; Imperial College London, UK) @InProceedings{POPL16p743, author = {Mark Batty and Alastair F. Donaldson and John Wickerson}, title = {Overhauling SC Atomics in C11 and OpenCL}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {743-742}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-156-p (type: Full Paper (12 pages + refs)) doi:
	Bell, Christian J.	POPL '16: "Chapar: Certified Causally ..." Chapar: Certified Causally Consistent Distributed Key-Value Stores Mohsen Lesani, Christian J. Bell, and Adam Chlipala (Massachusetts Institute of Technology, USA) @InProceedings{POPL16p423, author = {Mohsen Lesani and Christian J. Bell and Adam Chlipala}, title = {Chapar: Certified Causally Consistent Distributed Key-Value Stores}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {423-422}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-56-p (type: Full Paper (12 pages + refs)) doi:
	Bhargavan, Karthikeyan	POPL '16: "Dependent Types and Multi-monadic ..." Dependent Types and Multi-monadic Effects in F* Nikhil Swamy, Cătălin Hriţcu, Chantal Keller, Aseem Rastogi, Antoine Delignat-Lavaud, Simon Forest, Karthikeyan Bhargavan, Cédric Fournet, Pierre-Yves Strub, Markulf Kohlweiss, Jean-Karim Zinzindohoue, and Santiago Zanella-Béguelin (Microsoft Research, USA; Inria, France; University of Maryland, USA; ENS, France; IMDEA Software Institute, Spain; Microsoft Research, UK) @InProceedings{POPL16p311, author = {Nikhil Swamy and Cătălin Hriţcu and Chantal Keller and Aseem Rastogi and Antoine Delignat-Lavaud and Simon Forest and Karthikeyan Bhargavan and Cédric Fournet and Pierre-Yves Strub and Markulf Kohlweiss and Jean-Karim Zinzindohoue and Santiago Zanella-Béguelin}, title = {Dependent Types and Multi-monadic Effects in F*}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {311-310}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-230-p (type: Full Paper (12 pages + refs)) doi:
	Bhaskaracharya, Somashekaracharya G.	POPL '16: "SMO: An Integrated Approach ..." SMO: An Integrated Approach to Intra-array and Inter-array Storage Optimization Somashekaracharya G. Bhaskaracharya, Uday Bondhugula, and Albert Cohen (Indian Institute of Science, India; National Instruments, India; Inria, France; ENS, France) @InProceedings{POPL16p615, author = {Somashekaracharya G. Bhaskaracharya and Uday Bondhugula and Albert Cohen}, title = {SMO: An Integrated Approach to Intra-array and Inter-array Storage Optimization}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {615-614}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-150-p (type: Full Paper (12 pages + refs)) doi:
	Bielik, Pavol	POPL '16: "Learning Programs from Noisy ..." Learning Programs from Noisy Data Veselin Raychev, Pavol Bielik, Martin Vechev, and Andreas Krause (ETH Zurich, Switzerland) @InProceedings{POPL16p887, author = {Veselin Raychev and Pavol Bielik and Martin Vechev and Andreas Krause}, title = {Learning Programs from Noisy Data}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {887-886}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-332-p (type: Full Paper (12 pages + refs)) doi:
	Bjørner, Nikolaj	POPL '16: "Scaling Network Verification ..." Scaling Network Verification using Symmetry and Surgery Gordon D. Plotkin, Nikolaj Bjørner, Nuno P. Lopes, Andrey Rybalchenko, and George Varghese (University of Edinburgh, UK; Microsoft Research, USA; Microsoft Research, UK) @InProceedings{POPL16p87, author = {Gordon D. Plotkin and Nikolaj Bjørner and Nuno P. Lopes and Andrey Rybalchenko and George Varghese}, title = {Scaling Network Verification using Symmetry and Surgery}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {87-86}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-245-p (type: Full Paper (12 pages + refs)) doi:
	Bondhugula, Uday	POPL '16: "SMO: An Integrated Approach ..." SMO: An Integrated Approach to Intra-array and Inter-array Storage Optimization Somashekaracharya G. Bhaskaracharya, Uday Bondhugula, and Albert Cohen (Indian Institute of Science, India; National Instruments, India; Inria, France; ENS, France) @InProceedings{POPL16p615, author = {Somashekaracharya G. Bhaskaracharya and Uday Bondhugula and Albert Cohen}, title = {SMO: An Integrated Approach to Intra-array and Inter-array Storage Optimization}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {615-614}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-150-p (type: Full Paper (12 pages + refs)) doi:
	Borgström, Johannes	POPL '16: "Fabular: Regression Formulas ..." Fabular: Regression Formulas as Probabilistic Programming Johannes Borgström, Andrew D. Gordon, Long Ouyang, Claudio Russo, Adam Ścibior, and Marcin Szymczak (Uppsala University, Sweden; Microsoft Research, UK; University of Edinburgh, UK; Stanford University, USA; University of Cambridge, UK; MPI Tübingen, Germany) @InProceedings{POPL16p327, author = {Johannes Borgström and Andrew D. Gordon and Long Ouyang and Claudio Russo and Adam Ścibior and Marcin Szymczak}, title = {Fabular: Regression Formulas as Probabilistic Programming}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {327-326}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-220-p (type: Full Paper (12 pages + refs)) doi:
	Bornholt, James	POPL '16: "Optimizing Synthesis with ..." Optimizing Synthesis with Metasketches James Bornholt, Emina Torlak, Dan Grossman, and Luis Ceze (University of Washington, USA) @InProceedings{POPL16p903, author = {James Bornholt and Emina Torlak and Dan Grossman and Luis Ceze}, title = {Optimizing Synthesis with Metasketches}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {903-902}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-299-p (type: Full Paper (12 pages + refs)) doi:
	Brotherston, James	POPL '16: "Model Checking for Symbolic-Heap ..." Model Checking for Symbolic-Heap Separation Logic with Inductive Predicates James Brotherston, Nikos Gorogiannis, Max Kanovich, and Reuben Rowe (University College London, UK; Middlesex University, UK; National Research University Higher School of Economics, Russia) @InProceedings{POPL16p103, author = {James Brotherston and Nikos Gorogiannis and Max Kanovich and Reuben Rowe}, title = {Model Checking for Symbolic-Heap Separation Logic with Inductive Predicates}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {103-102}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-54-p (type: Full Paper (12 pages + refs)) doi:
	Brown, Matt	POPL '16: "Breaking through the Normalization ..." Breaking through the Normalization Barrier: A Self-Interpreter for F-omega Matt Brown and Jens Palsberg (University of California at Los Angeles, USA) @InProceedings{POPL16p7, author = {Matt Brown and Jens Palsberg}, title = {Breaking through the Normalization Barrier: A Self-Interpreter for F-omega}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {7-6}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-57-p (type: Full Paper (12 pages + refs)) doi:
	Cai, Yufei	POPL '16: "System F-omega with Equirecursive ..." System F-omega with Equirecursive Types for Datatype-Generic Programming Yufei Cai, Paolo G. Giarrusso, and Klaus Ostermann (University of Tübingen, Germany) @InProceedings{POPL16p39, author = {Yufei Cai and Paolo G. Giarrusso and Klaus Ostermann}, title = {System F-omega with Equirecursive Types for Datatype-Generic Programming}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {39-38}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-68-p (type: Full Paper (12 pages + refs)) doi:
	Cardelli, Luca	POPL '16: "Symbolic Computation of Differential ..." Symbolic Computation of Differential Equivalences Luca Cardelli, Mirco Tribastone, Max Tschaikowski, and Andrea Vandin (Microsoft Research, UK; University of Oxford, UK; IMT Lucca, Italy) @InProceedings{POPL16p167, author = {Luca Cardelli and Mirco Tribastone and Max Tschaikowski and Andrea Vandin}, title = {Symbolic Computation of Differential Equivalences}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {167-166}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-207-p (type: Full Paper (12 pages + refs)) doi:
	Ceze, Luis	POPL '16: "Optimizing Synthesis with ..." Optimizing Synthesis with Metasketches James Bornholt, Emina Torlak, Dan Grossman, and Luis Ceze (University of Washington, USA) @InProceedings{POPL16p903, author = {James Bornholt and Emina Torlak and Dan Grossman and Luis Ceze}, title = {Optimizing Synthesis with Metasketches}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {903-902}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-299-p (type: Full Paper (12 pages + refs)) doi:
	Chatterjee, Krishnendu	POPL '16: "Algorithmic Analysis of Qualitative ..." Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs Krishnendu Chatterjee, Hongfei Fu, Petr Novotný, and Rouzbeh Hasheminezhad (IST Austria, Austria; Institute of Software at Chinese Academy of Sciences, China; Sharif University of Technology, Iran) @InProceedings{POPL16p391, author = {Krishnendu Chatterjee and Hongfei Fu and Petr Novotný and Rouzbeh Hasheminezhad}, title = {Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {391-390}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-159-p (type: Full Paper (12 pages + refs)) doi: POPL '16: "Algorithms for Algebraic Path ..." Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis (IST Austria, Austria) @InProceedings{POPL16p855, author = {Krishnendu Chatterjee and Amir Kafshdar Goharshady and Rasmus Ibsen-Jensen and Andreas Pavlogiannis}, title = {Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {855-854}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-60-p (type: Full Paper (12 pages + refs)) doi:
	Chen, Sheng	POPL '16: "Principal Type Inference for ..." Principal Type Inference for GADTs Sheng Chen and Martin Erwig (University of Louisiana at Lafayette, USA; Oregon State University, USA) @InProceedings{POPL16p487, author = {Sheng Chen and Martin Erwig}, title = {Principal Type Inference for GADTs}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {487-486}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-286-p (type: Full Paper (12 pages + refs)) doi:
	Cheung, Shing-Chi	POPL '16: "Casper: An Efficient Approach ..." Casper: An Efficient Approach to Call Trace Collection Rongxin Wu, Xiao Xiao, Shing-Chi Cheung, Hongyu Zhang, and Charles Zhang (Hong Kong University of Science and Technology, China; Microsoft Research, China) @InProceedings{POPL16p791, author = {Rongxin Wu and Xiao Xiao and Shing-Chi Cheung and Hongyu Zhang and Charles Zhang}, title = {Casper: An Efficient Approach to Call Trace Collection}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {791-790}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-38-p (type: Full Paper (12 pages + refs)) doi:
	Chlipala, Adam	POPL '16: "Chapar: Certified Causally ..." Chapar: Certified Causally Consistent Distributed Key-Value Stores Mohsen Lesani, Christian J. Bell, and Adam Chlipala (Massachusetts Institute of Technology, USA) @InProceedings{POPL16p423, author = {Mohsen Lesani and Christian J. Bell and Adam Chlipala}, title = {Chapar: Certified Causally Consistent Distributed Key-Value Stores}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {423-422}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-56-p (type: Full Paper (12 pages + refs)) doi:
	Cimini, Matteo	POPL '16: "The Gradualizer: A Methodology ..." The Gradualizer: A Methodology and Algorithm for Generating Gradual Type Systems Matteo Cimini and Jeremy G. Siek (Indiana University, USA) @InProceedings{POPL16p519, author = {Matteo Cimini and Jeremy G. Siek}, title = {The Gradualizer: A Methodology and Algorithm for Generating Gradual Type Systems}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {519-518}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-91-p (type: Full Paper (12 pages + refs)) doi:
	Cîrstea, Corina	POPL '16: "Lattice-Theoretic Progress ..." Lattice-Theoretic Progress Measures and Coalgebraic Model Checking Ichiro Hasuo, Shunsuke Shimizu, and Corina Cîrstea (University of Tokyo, Japan; University of Southampton, UK) @InProceedings{POPL16p839, author = {Ichiro Hasuo and Shunsuke Shimizu and Corina Cîrstea}, title = {Lattice-Theoretic Progress Measures and Coalgebraic Model Checking}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {839-838}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-337-p (type: Full Paper (12 pages + refs)) doi:
	Clark, Alison M.	POPL '16: "Abstracting Gradual Typing ..." Abstracting Gradual Typing Ronald Garcia, Alison M. Clark, and Éric Tanter (University of British Columbia, Canada; University of Chile, Chile) @InProceedings{POPL16p503, author = {Ronald Garcia and Alison M. Clark and Éric Tanter}, title = {Abstracting Gradual Typing}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {503-502}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-314-p (type: Full Paper (12 pages + refs)) doi:
	Cohen, Albert	POPL '16: "SMO: An Integrated Approach ..." SMO: An Integrated Approach to Intra-array and Inter-array Storage Optimization Somashekaracharya G. Bhaskaracharya, Uday Bondhugula, and Albert Cohen (Indian Institute of Science, India; National Instruments, India; Inria, France; ENS, France) @InProceedings{POPL16p615, author = {Somashekaracharya G. Bhaskaracharya and Uday Bondhugula and Albert Cohen}, title = {SMO: An Integrated Approach to Intra-array and Inter-array Storage Optimization}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {615-614}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-150-p (type: Full Paper (12 pages + refs)) doi:
	Curien, Pierre-Louis	POPL '16: "A Theory of Effects and Resources: ..." A Theory of Effects and Resources: Adjunction Models and Polarised Calculi Pierre-Louis Curien, Marcelo Fiore, and Guillaume Munch-Maccagnoni (University of Paris Diderot, France; Inria, France; University of Cambridge, UK) @InProceedings{POPL16p55, author = {Pierre-Louis Curien and Marcelo Fiore and Guillaume Munch-Maccagnoni}, title = {A Theory of Effects and Resources: Adjunction Models and Polarised Calculi}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {55-54}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-216-p (type: Full Paper (12 pages + refs)) doi:
	Deacon, Will	POPL '16: "Modelling the ARMv8 Architecture, ..." Modelling the ARMv8 Architecture, Operationally: Concurrency and ISA Shaked Flur, Kathryn E. Gray, Christopher Pulte, Susmit Sarkar, Ali Sezgin, Luc Maranget, Will Deacon, and Peter Sewell (University of Cambridge, UK; University of St. Andrews, UK; Inria, France; ARM, UK) @InProceedings{POPL16p711, author = {Shaked Flur and Kathryn E. Gray and Christopher Pulte and Susmit Sarkar and Ali Sezgin and Luc Maranget and Will Deacon and Peter Sewell}, title = {Modelling the ARMv8 Architecture, Operationally: Concurrency and ISA}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {711-710}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-4-p (type: Full Paper (12 pages + refs)) doi:
	Delignat-Lavaud, Antoine	POPL '16: "Dependent Types and Multi-monadic ..." Dependent Types and Multi-monadic Effects in F* Nikhil Swamy, Cătălin Hriţcu, Chantal Keller, Aseem Rastogi, Antoine Delignat-Lavaud, Simon Forest, Karthikeyan Bhargavan, Cédric Fournet, Pierre-Yves Strub, Markulf Kohlweiss, Jean-Karim Zinzindohoue, and Santiago Zanella-Béguelin (Microsoft Research, USA; Inria, France; University of Maryland, USA; ENS, France; IMDEA Software Institute, Spain; Microsoft Research, UK) @InProceedings{POPL16p311, author = {Nikhil Swamy and Cătălin Hriţcu and Chantal Keller and Aseem Rastogi and Antoine Delignat-Lavaud and Simon Forest and Karthikeyan Bhargavan and Cédric Fournet and Pierre-Yves Strub and Markulf Kohlweiss and Jean-Karim Zinzindohoue and Santiago Zanella-Béguelin}, title = {Dependent Types and Multi-monadic Effects in F*}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {311-310}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-230-p (type: Full Paper (12 pages + refs)) doi:
	Dering, Matthew	POPL '16: "Combining Static Analysis ..." Combining Static Analysis with Probabilistic Models to Enable Market-Scale Android Inter-component Analysis Damien Octeau, Somesh Jha, Matthew Dering, Patrick McDaniel, Alexandre Bartel, Li Li, Jacques Klein, and Yves Le Traon (University of Wisconsin, USA; Pennsylvania State University, USA; IMDEA Software Institute, Spain; TU Darmstadt, Germany; University of Luxembourg, Luxembourg) @InProceedings{POPL16p551, author = {Damien Octeau and Somesh Jha and Matthew Dering and Patrick McDaniel and Alexandre Bartel and Li Li and Jacques Klein and Yves Le Traon}, title = {Combining Static Analysis with Probabilistic Models to Enable Market-Scale Android Inter-component Analysis}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {551-550}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-257-p (type: Full Paper (12 pages + refs)) doi:
	Devriese, Dominique	POPL '16: "Fully-Abstract Compilation ..." Fully-Abstract Compilation by Approximate Back-Translation Dominique Devriese, Marco Patrignani, and Frank Piessens (KU Leuven, Belgium) @InProceedings{POPL16p199, author = {Dominique Devriese and Marco Patrignani and Frank Piessens}, title = {Fully-Abstract Compilation by Approximate Back-Translation}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {199-198}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-21-p (type: Full Paper (12 pages + refs)) doi:
	Dillig, Isil	POPL '16: "Maximal Specification Synthesis ..." Maximal Specification Synthesis Aws Albarghouthi, Isil Dillig, and Arie Gurfinkel (University of Wisconsin-Madison, USA; University of Texas at Austin, USA; Carnegie Mellon University, USA) @InProceedings{POPL16p919, author = {Aws Albarghouthi and Isil Dillig and Arie Gurfinkel}, title = {Maximal Specification Synthesis}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {919-918}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-72-p (type: Full Paper (12 pages + refs)) doi:
	Donaldson, Alastair F.	POPL '16: "Overhauling SC Atomics in ..." Overhauling SC Atomics in C11 and OpenCL Mark Batty, Alastair F. Donaldson, and John Wickerson (University of Kent, UK; Imperial College London, UK) @InProceedings{POPL16p743, author = {Mark Batty and Alastair F. Donaldson and John Wickerson}, title = {Overhauling SC Atomics in C11 and OpenCL}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {743-742}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-156-p (type: Full Paper (12 pages + refs)) doi:
	Drăgoi, Cezara	POPL '16: "PSync: A Partially Synchronous ..." PSync: A Partially Synchronous Language for Fault-Tolerant Distributed Algorithms Cezara Drăgoi, Thomas A. Henzinger, and Damien Zufferey (Inria, France; ENS, France; CNRS, France; IST Austria, Austria; Massachusetts Institute of Technology, USA) @InProceedings{POPL16p471, author = {Cezara Drăgoi and Thomas A. Henzinger and Damien Zufferey}, title = {PSync: A Partially Synchronous Language for Fault-Tolerant Distributed Algorithms}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {471-470}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-212-p (type: Full Paper (12 pages + refs)) doi:
	Dreyer, Derek	POPL '16: "Lightweight Verification of ..." Lightweight Verification of Separate Compilation Jeehoon Kang, Yoonseung Kim, Chung-Kil Hur, Derek Dreyer, and Viktor Vafeiadis (Seoul National University, South Korea; MPI-SWS, Germany) @InProceedings{POPL16p215, author = {Jeehoon Kang and Yoonseung Kim and Chung-Kil Hur and Derek Dreyer and Viktor Vafeiadis}, title = {Lightweight Verification of Separate Compilation}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {215-214}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-171-p (type: Full Paper (12 pages + refs)) doi:
	El-Yaniv, Ran	POPL '16: "Estimating Types in Binaries ..." Estimating Types in Binaries using Predictive Modeling Omer Katz, Ran El-Yaniv, and Eran Yahav (Technion, Israel) @InProceedings{POPL16p375, author = {Omer Katz and Ran El-Yaniv and Eran Yahav}, title = {Estimating Types in Binaries using Predictive Modeling}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {375-374}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-342-p (type: Full Paper (12 pages + refs)) doi:
	Emmi, Michael	POPL '16: "Symbolic Abstract Data Type ..." Symbolic Abstract Data Type Inference Michael Emmi and Constantin Enea (IMDEA Software Institute, Spain; University of Paris Diderot, France) @InProceedings{POPL16p599, author = {Michael Emmi and Constantin Enea}, title = {Symbolic Abstract Data Type Inference}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {599-598}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-187-p (type: Full Paper (12 pages + refs)) doi:
	Enea, Constantin	POPL '16: "Symbolic Abstract Data Type ..." Symbolic Abstract Data Type Inference Michael Emmi and Constantin Enea (IMDEA Software Institute, Spain; University of Paris Diderot, France) @InProceedings{POPL16p599, author = {Michael Emmi and Constantin Enea}, title = {Symbolic Abstract Data Type Inference}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {599-598}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-187-p (type: Full Paper (12 pages + refs)) doi:
	Erdweg, Sebastian	POPL '16: "Sound Type-Dependent Syntactic ..." Sound Type-Dependent Syntactic Language Extension Florian Lorenzen and Sebastian Erdweg (TU Berlin, Germany; TU Darmstadt, Germany) @InProceedings{POPL16p247, author = {Florian Lorenzen and Sebastian Erdweg}, title = {Sound Type-Dependent Syntactic Language Extension}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {247-246}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-180-p (type: Full Paper (12 pages + refs)) doi:
	Erwig, Martin	POPL '16: "Principal Type Inference for ..." Principal Type Inference for GADTs Sheng Chen and Martin Erwig (University of Louisiana at Lafayette, USA; Oregon State University, USA) @InProceedings{POPL16p487, author = {Sheng Chen and Martin Erwig}, title = {Principal Type Inference for GADTs}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {487-486}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-286-p (type: Full Paper (12 pages + refs)) doi:
	Felleisen, Matthias	POPL '16: "Is Sound Gradual Typing Dead? ..." Is Sound Gradual Typing Dead? Asumu Takikawa, Daniel Feltey, Ben Greenman, Max S. New, Jan Vitek, and Matthias Felleisen (Northeastern University, USA) @InProceedings{POPL16p535, author = {Asumu Takikawa and Daniel Feltey and Ben Greenman and Max S. New and Jan Vitek and Matthias Felleisen}, title = {Is Sound Gradual Typing Dead?}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {535-534}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-81-p (type: Full Paper (12 pages + refs)) doi:
	Feltey, Daniel	POPL '16: "Is Sound Gradual Typing Dead? ..." Is Sound Gradual Typing Dead? Asumu Takikawa, Daniel Feltey, Ben Greenman, Max S. New, Jan Vitek, and Matthias Felleisen (Northeastern University, USA) @InProceedings{POPL16p535, author = {Asumu Takikawa and Daniel Feltey and Ben Greenman and Max S. New and Jan Vitek and Matthias Felleisen}, title = {Is Sound Gradual Typing Dead?}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {535-534}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-81-p (type: Full Paper (12 pages + refs)) doi:
	Feng, Xinyu	POPL '16: "A Program Logic for Concurrent ..." A Program Logic for Concurrent Objects under Fair Scheduling Hongjin Liang and Xinyu Feng (University of Science and Technology of China, China) @InProceedings{POPL16p455, author = {Hongjin Liang and Xinyu Feng}, title = {A Program Logic for Concurrent Objects under Fair Scheduling}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {455-454}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-139-p (type: Full Paper (12 pages + refs)) doi:
	Ferreira, Carla	POPL '16: "'Cause I'm Strong ..." 'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems Alexey Gotsman, Hongseok Yang, Carla Ferreira, Mahsa Najafzadeh, and Marc Shapiro (IMDEA Software Institute, Spain; University of Oxford, UK; Universidade Nova Lisboa, Potugal; Sorbonne, France; Inria, France; UPMC, France) @InProceedings{POPL16p439, author = {Alexey Gotsman and Hongseok Yang and Carla Ferreira and Mahsa Najafzadeh and Marc Shapiro}, title = {'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {439-438}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-65-p (type: Full Paper (12 pages + refs)) doi:
	Fiore, Marcelo	POPL '16: "A Theory of Effects and Resources: ..." A Theory of Effects and Resources: Adjunction Models and Polarised Calculi Pierre-Louis Curien, Marcelo Fiore, and Guillaume Munch-Maccagnoni (University of Paris Diderot, France; Inria, France; University of Cambridge, UK) @InProceedings{POPL16p55, author = {Pierre-Louis Curien and Marcelo Fiore and Guillaume Munch-Maccagnoni}, title = {A Theory of Effects and Resources: Adjunction Models and Polarised Calculi}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {55-54}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-216-p (type: Full Paper (12 pages + refs)) doi:
	Flatt, Matthew	POPL '16: "Binding as Sets of Scopes ..." Binding as Sets of Scopes Matthew Flatt (University of Utah, USA) @InProceedings{POPL16p823, author = {Matthew Flatt}, title = {Binding as Sets of Scopes}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {823-822}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-50-p (type: Full Paper (12 pages + refs)) doi:
	Flur, Shaked	POPL '16: "Modelling the ARMv8 Architecture, ..." Modelling the ARMv8 Architecture, Operationally: Concurrency and ISA Shaked Flur, Kathryn E. Gray, Christopher Pulte, Susmit Sarkar, Ali Sezgin, Luc Maranget, Will Deacon, and Peter Sewell (University of Cambridge, UK; University of St. Andrews, UK; Inria, France; ARM, UK) @InProceedings{POPL16p711, author = {Shaked Flur and Kathryn E. Gray and Christopher Pulte and Susmit Sarkar and Ali Sezgin and Luc Maranget and Will Deacon and Peter Sewell}, title = {Modelling the ARMv8 Architecture, Operationally: Concurrency and ISA}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {711-710}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-4-p (type: Full Paper (12 pages + refs)) doi:
	Forest, Simon	POPL '16: "Dependent Types and Multi-monadic ..." Dependent Types and Multi-monadic Effects in F* Nikhil Swamy, Cătălin Hriţcu, Chantal Keller, Aseem Rastogi, Antoine Delignat-Lavaud, Simon Forest, Karthikeyan Bhargavan, Cédric Fournet, Pierre-Yves Strub, Markulf Kohlweiss, Jean-Karim Zinzindohoue, and Santiago Zanella-Béguelin (Microsoft Research, USA; Inria, France; University of Maryland, USA; ENS, France; IMDEA Software Institute, Spain; Microsoft Research, UK) @InProceedings{POPL16p311, author = {Nikhil Swamy and Cătălin Hriţcu and Chantal Keller and Aseem Rastogi and Antoine Delignat-Lavaud and Simon Forest and Karthikeyan Bhargavan and Cédric Fournet and Pierre-Yves Strub and Markulf Kohlweiss and Jean-Karim Zinzindohoue and Santiago Zanella-Béguelin}, title = {Dependent Types and Multi-monadic Effects in F*}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {311-310}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-230-p (type: Full Paper (12 pages + refs)) doi:
	Fournet, Cédric	POPL '16: "Dependent Types and Multi-monadic ..." Dependent Types and Multi-monadic Effects in F* Nikhil Swamy, Cătălin Hriţcu, Chantal Keller, Aseem Rastogi, Antoine Delignat-Lavaud, Simon Forest, Karthikeyan Bhargavan, Cédric Fournet, Pierre-Yves Strub, Markulf Kohlweiss, Jean-Karim Zinzindohoue, and Santiago Zanella-Béguelin (Microsoft Research, USA; Inria, France; University of Maryland, USA; ENS, France; IMDEA Software Institute, Spain; Microsoft Research, UK) @InProceedings{POPL16p311, author = {Nikhil Swamy and Cătălin Hriţcu and Chantal Keller and Aseem Rastogi and Antoine Delignat-Lavaud and Simon Forest and Karthikeyan Bhargavan and Cédric Fournet and Pierre-Yves Strub and Markulf Kohlweiss and Jean-Karim Zinzindohoue and Santiago Zanella-Béguelin}, title = {Dependent Types and Multi-monadic Effects in F*}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {311-310}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-230-p (type: Full Paper (12 pages + refs)) doi:
	Frankle, Jonathan	POPL '16: "Example-Directed Synthesis: ..." Example-Directed Synthesis: A Type-Theoretic Interpretation Jonathan Frankle, Peter-Michael Osera, David Walker, and Steve Zdancewic (Princeton University, USA; Grinnell College, USA; University of Pennsylvania, USA) @InProceedings{POPL16p935, author = {Jonathan Frankle and Peter-Michael Osera and David Walker and Steve Zdancewic}, title = {Example-Directed Synthesis: A Type-Theoretic Interpretation}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {935-934}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-80-p (type: Full Paper (12 pages + refs)) doi:
	Fu, Hongfei	POPL '16: "Algorithmic Analysis of Qualitative ..." Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs Krishnendu Chatterjee, Hongfei Fu, Petr Novotný, and Rouzbeh Hasheminezhad (IST Austria, Austria; Institute of Software at Chinese Academy of Sciences, China; Sharif University of Technology, Iran) @InProceedings{POPL16p391, author = {Krishnendu Chatterjee and Hongfei Fu and Petr Novotný and Rouzbeh Hasheminezhad}, title = {Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {391-390}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-159-p (type: Full Paper (12 pages + refs)) doi:
	Garcia, Ronald	POPL '16: "Abstracting Gradual Typing ..." Abstracting Gradual Typing Ronald Garcia, Alison M. Clark, and Éric Tanter (University of British Columbia, Canada; University of Chile, Chile) @InProceedings{POPL16p503, author = {Ronald Garcia and Alison M. Clark and Éric Tanter}, title = {Abstracting Gradual Typing}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {503-502}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-314-p (type: Full Paper (12 pages + refs)) doi:
	Garg, Pranav	POPL '16: "Learning Invariants using ..." Learning Invariants using Decision Trees and Implication Counterexamples Pranav Garg, Daniel Neider, P. Madhusudan, and Dan Roth (University of Illinois at Urbana-Champaign, USA) @InProceedings{POPL16p583, author = {Pranav Garg and Daniel Neider and P. Madhusudan and Dan Roth}, title = {Learning Invariants using Decision Trees and Implication Counterexamples}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {583-582}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-278-p (type: Full Paper (12 pages + refs)) doi:
	Giannarakis, Nick	POPL '16: "Taming Release-Acquire Consistency ..." Taming Release-Acquire Consistency Ori Lahav, Nick Giannarakis, and Viktor Vafeiadis (MPI-SWS, Germany) @InProceedings{POPL16p759, author = {Ori Lahav and Nick Giannarakis and Viktor Vafeiadis}, title = {Taming Release-Acquire Consistency}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {759-758}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-173-p (type: Full Paper (12 pages + refs)) doi:
	Giarrusso, Paolo G.	POPL '16: "System F-omega with Equirecursive ..." System F-omega with Equirecursive Types for Datatype-Generic Programming Yufei Cai, Paolo G. Giarrusso, and Klaus Ostermann (University of Tübingen, Germany) @InProceedings{POPL16p39, author = {Yufei Cai and Paolo G. Giarrusso and Klaus Ostermann}, title = {System F-omega with Equirecursive Types for Datatype-Generic Programming}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {39-38}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-68-p (type: Full Paper (12 pages + refs)) doi:
	Gilray, Thomas	POPL '16: "Pushdown Control-Flow Analysis ..." Pushdown Control-Flow Analysis for Free Thomas Gilray, Steven Lyde, Michael D. Adams, Matthew Might, and David Van Horn (University of Utah, USA; University of Maryland, USA) @InProceedings{POPL16p807, author = {Thomas Gilray and Steven Lyde and Michael D. Adams and Matthew Might and David Van Horn}, title = {Pushdown Control-Flow Analysis for Free}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {807-806}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-87-p (type: Full Paper (12 pages + refs)) doi:
	Gimenez, Stéphane	POPL '16: "The Complexity of Interaction ..." The Complexity of Interaction Stéphane Gimenez and Georg Moser (University of Innsbruck, Austria) @InProceedings{POPL16p295, author = {Stéphane Gimenez and Georg Moser}, title = {The Complexity of Interaction}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {295-294}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-191-p (type: Full Paper (12 pages + refs)) doi:
	Goharshady, Amir Kafshdar	POPL '16: "Algorithms for Algebraic Path ..." Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis (IST Austria, Austria) @InProceedings{POPL16p855, author = {Krishnendu Chatterjee and Amir Kafshdar Goharshady and Rasmus Ibsen-Jensen and Andreas Pavlogiannis}, title = {Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {855-854}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-60-p (type: Full Paper (12 pages + refs)) doi:
	Gommerstadt, Hannah	POPL '16: "Monitors and Blame Assignment ..." Monitors and Blame Assignment for Higher-Order Session Types Limin Jia, Hannah Gommerstadt, and Frank Pfenning (Carnegie Mellon University, USA) @InProceedings{POPL16p679, author = {Limin Jia and Hannah Gommerstadt and Frank Pfenning}, title = {Monitors and Blame Assignment for Higher-Order Session Types}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {679-678}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-265-p (type: Full Paper (12 pages + refs)) doi:
	Gordon, Andrew D.	POPL '16: "Fabular: Regression Formulas ..." Fabular: Regression Formulas as Probabilistic Programming Johannes Borgström, Andrew D. Gordon, Long Ouyang, Claudio Russo, Adam Ścibior, and Marcin Szymczak (Uppsala University, Sweden; Microsoft Research, UK; University of Edinburgh, UK; Stanford University, USA; University of Cambridge, UK; MPI Tübingen, Germany) @InProceedings{POPL16p327, author = {Johannes Borgström and Andrew D. Gordon and Long Ouyang and Claudio Russo and Adam Ścibior and Marcin Szymczak}, title = {Fabular: Regression Formulas as Probabilistic Programming}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {327-326}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-220-p (type: Full Paper (12 pages + refs)) doi:
	Gorogiannis, Nikos	POPL '16: "Model Checking for Symbolic-Heap ..." Model Checking for Symbolic-Heap Separation Logic with Inductive Predicates James Brotherston, Nikos Gorogiannis, Max Kanovich, and Reuben Rowe (University College London, UK; Middlesex University, UK; National Research University Higher School of Economics, Russia) @InProceedings{POPL16p103, author = {James Brotherston and Nikos Gorogiannis and Max Kanovich and Reuben Rowe}, title = {Model Checking for Symbolic-Heap Separation Logic with Inductive Predicates}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {103-102}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-54-p (type: Full Paper (12 pages + refs)) doi:
	Gotsman, Alexey	POPL '16: "'Cause I'm Strong ..." 'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems Alexey Gotsman, Hongseok Yang, Carla Ferreira, Mahsa Najafzadeh, and Marc Shapiro (IMDEA Software Institute, Spain; University of Oxford, UK; Universidade Nova Lisboa, Potugal; Sorbonne, France; Inria, France; UPMC, France) @InProceedings{POPL16p439, author = {Alexey Gotsman and Hongseok Yang and Carla Ferreira and Mahsa Najafzadeh and Marc Shapiro}, title = {'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {439-438}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-65-p (type: Full Paper (12 pages + refs)) doi:
	Grathwohl, Bjørn Bugge	POPL '16: "Kleenex: Compiling Nondeterministic ..." Kleenex: Compiling Nondeterministic Transducers to Deterministic Streaming Transducers Bjørn Bugge Grathwohl, Fritz Henglein, Ulrik Terp Rasmussen, Kristoffer Aalund Søholm, and Sebastian Paaske Tørholm (University of Copenhagen, Denmark; Jobindex, Denmark) @InProceedings{POPL16p343, author = {Bjørn Bugge Grathwohl and Fritz Henglein and Ulrik Terp Rasmussen and Kristoffer Aalund Søholm and Sebastian Paaske Tørholm}, title = {Kleenex: Compiling Nondeterministic Transducers to Deterministic Streaming Transducers}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {343-342}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-195-p (type: Full Paper (12 pages + refs)) doi:
	Gray, Kathryn E.	POPL '16: "Modelling the ARMv8 Architecture, ..." Modelling the ARMv8 Architecture, Operationally: Concurrency and ISA Shaked Flur, Kathryn E. Gray, Christopher Pulte, Susmit Sarkar, Ali Sezgin, Luc Maranget, Will Deacon, and Peter Sewell (University of Cambridge, UK; University of St. Andrews, UK; Inria, France; ARM, UK) @InProceedings{POPL16p711, author = {Shaked Flur and Kathryn E. Gray and Christopher Pulte and Susmit Sarkar and Ali Sezgin and Luc Maranget and Will Deacon and Peter Sewell}, title = {Modelling the ARMv8 Architecture, Operationally: Concurrency and ISA}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {711-710}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-4-p (type: Full Paper (12 pages + refs)) doi:
	Greenman, Ben	POPL '16: "Is Sound Gradual Typing Dead? ..." Is Sound Gradual Typing Dead? Asumu Takikawa, Daniel Feltey, Ben Greenman, Max S. New, Jan Vitek, and Matthias Felleisen (Northeastern University, USA) @InProceedings{POPL16p535, author = {Asumu Takikawa and Daniel Feltey and Ben Greenman and Max S. New and Jan Vitek and Matthias Felleisen}, title = {Is Sound Gradual Typing Dead?}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {535-534}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-81-p (type: Full Paper (12 pages + refs)) doi:
	Grigore, Radu	POPL '16: "Abstraction Refinement Guided ..." Abstraction Refinement Guided by a Learnt Probabilistic Model Radu Grigore and Hongseok Yang (University of Oxford, UK) @InProceedings{POPL16p567, author = {Radu Grigore and Hongseok Yang}, title = {Abstraction Refinement Guided by a Learnt Probabilistic Model}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {567-566}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-269-p (type: Full Paper (12 pages + refs)) doi:
	Grossman, Dan	POPL '16: "Optimizing Synthesis with ..." Optimizing Synthesis with Metasketches James Bornholt, Emina Torlak, Dan Grossman, and Luis Ceze (University of Washington, USA) @InProceedings{POPL16p903, author = {James Bornholt and Emina Torlak and Dan Grossman and Luis Ceze}, title = {Optimizing Synthesis with Metasketches}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {903-902}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-299-p (type: Full Paper (12 pages + refs)) doi:
	Gulwani, Sumit	POPL '16: "Transforming Spreadsheet Data ..." Transforming Spreadsheet Data Types using Examples Rishabh Singh and Sumit Gulwani (Microsoft Research, USA) @InProceedings{POPL16p407, author = {Rishabh Singh and Sumit Gulwani}, title = {Transforming Spreadsheet Data Types using Examples}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {407-406}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-310-p (type: Full Paper (12 pages + refs)) doi:
	Gurfinkel, Arie	POPL '16: "Maximal Specification Synthesis ..." Maximal Specification Synthesis Aws Albarghouthi, Isil Dillig, and Arie Gurfinkel (University of Wisconsin-Madison, USA; University of Texas at Austin, USA; Carnegie Mellon University, USA) @InProceedings{POPL16p919, author = {Aws Albarghouthi and Isil Dillig and Arie Gurfinkel}, title = {Maximal Specification Synthesis}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {919-918}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-72-p (type: Full Paper (12 pages + refs)) doi:
	Hague, Matthew	POPL '16: "Unboundedness and Downward ..." Unboundedness and Downward Closures of Higher-Order Pushdown Automata Matthew Hague, Jonathan Kochems, and C.-H. Luke Ong (University of London, UK; University of Oxford, UK) @InProceedings{POPL16p183, author = {Matthew Hague and Jonathan Kochems and C.-H. Luke Ong}, title = {Unboundedness and Downward Closures of Higher-Order Pushdown Automata}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {183-182}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-70-p (type: Full Paper (12 pages + refs)) doi:
	Hasheminezhad, Rouzbeh	POPL '16: "Algorithmic Analysis of Qualitative ..." Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs Krishnendu Chatterjee, Hongfei Fu, Petr Novotný, and Rouzbeh Hasheminezhad (IST Austria, Austria; Institute of Software at Chinese Academy of Sciences, China; Sharif University of Technology, Iran) @InProceedings{POPL16p391, author = {Krishnendu Chatterjee and Hongfei Fu and Petr Novotný and Rouzbeh Hasheminezhad}, title = {Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {391-390}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-159-p (type: Full Paper (12 pages + refs)) doi:
	Hasuo, Ichiro	POPL '16: "Lattice-Theoretic Progress ..." Lattice-Theoretic Progress Measures and Coalgebraic Model Checking Ichiro Hasuo, Shunsuke Shimizu, and Corina Cîrstea (University of Tokyo, Japan; University of Southampton, UK) @InProceedings{POPL16p839, author = {Ichiro Hasuo and Shunsuke Shimizu and Corina Cîrstea}, title = {Lattice-Theoretic Progress Measures and Coalgebraic Model Checking}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {839-838}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-337-p (type: Full Paper (12 pages + refs)) doi: POPL '16: "Memoryful Geometry of Interaction ..." Memoryful Geometry of Interaction II: Recursion and Adequacy Koko Muroya, Naohiko Hoshino, and Ichiro Hasuo (University of Tokyo, Japan; Kyoto University, Japan) @InProceedings{POPL16p871, author = {Koko Muroya and Naohiko Hoshino and Ichiro Hasuo}, title = {Memoryful Geometry of Interaction II: Recursion and Adequacy}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {871-870}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-335-p (type: Full Paper (12 pages + refs)) doi:
	Henglein, Fritz	POPL '16: "Kleenex: Compiling Nondeterministic ..." Kleenex: Compiling Nondeterministic Transducers to Deterministic Streaming Transducers Bjørn Bugge Grathwohl, Fritz Henglein, Ulrik Terp Rasmussen, Kristoffer Aalund Søholm, and Sebastian Paaske Tørholm (University of Copenhagen, Denmark; Jobindex, Denmark) @InProceedings{POPL16p343, author = {Bjørn Bugge Grathwohl and Fritz Henglein and Ulrik Terp Rasmussen and Kristoffer Aalund Søholm and Sebastian Paaske Tørholm}, title = {Kleenex: Compiling Nondeterministic Transducers to Deterministic Streaming Transducers}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {343-342}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-195-p (type: Full Paper (12 pages + refs)) doi:
	Henzinger, Thomas A.	POPL '16: "PSync: A Partially Synchronous ..." PSync: A Partially Synchronous Language for Fault-Tolerant Distributed Algorithms Cezara Drăgoi, Thomas A. Henzinger, and Damien Zufferey (Inria, France; ENS, France; CNRS, France; IST Austria, Austria; Massachusetts Institute of Technology, USA) @InProceedings{POPL16p471, author = {Cezara Drăgoi and Thomas A. Henzinger and Damien Zufferey}, title = {PSync: A Partially Synchronous Language for Fault-Tolerant Distributed Algorithms}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {471-470}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-212-p (type: Full Paper (12 pages + refs)) doi:
	Hoshino, Naohiko	POPL '16: "Memoryful Geometry of Interaction ..." Memoryful Geometry of Interaction II: Recursion and Adequacy Koko Muroya, Naohiko Hoshino, and Ichiro Hasuo (University of Tokyo, Japan; Kyoto University, Japan) @InProceedings{POPL16p871, author = {Koko Muroya and Naohiko Hoshino and Ichiro Hasuo}, title = {Memoryful Geometry of Interaction II: Recursion and Adequacy}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {871-870}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-335-p (type: Full Paper (12 pages + refs)) doi:
	Hriţcu, Cătălin	POPL '16: "Dependent Types and Multi-monadic ..." Dependent Types and Multi-monadic Effects in F* Nikhil Swamy, Cătălin Hriţcu, Chantal Keller, Aseem Rastogi, Antoine Delignat-Lavaud, Simon Forest, Karthikeyan Bhargavan, Cédric Fournet, Pierre-Yves Strub, Markulf Kohlweiss, Jean-Karim Zinzindohoue, and Santiago Zanella-Béguelin (Microsoft Research, USA; Inria, France; University of Maryland, USA; ENS, France; IMDEA Software Institute, Spain; Microsoft Research, UK) @InProceedings{POPL16p311, author = {Nikhil Swamy and Cătălin Hriţcu and Chantal Keller and Aseem Rastogi and Antoine Delignat-Lavaud and Simon Forest and Karthikeyan Bhargavan and Cédric Fournet and Pierre-Yves Strub and Markulf Kohlweiss and Jean-Karim Zinzindohoue and Santiago Zanella-Béguelin}, title = {Dependent Types and Multi-monadic Effects in F*}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {311-310}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-230-p (type: Full Paper (12 pages + refs)) doi:
	Hur, Chung-Kil	POPL '16: "Lightweight Verification of ..." Lightweight Verification of Separate Compilation Jeehoon Kang, Yoonseung Kim, Chung-Kil Hur, Derek Dreyer, and Viktor Vafeiadis (Seoul National University, South Korea; MPI-SWS, Germany) @InProceedings{POPL16p215, author = {Jeehoon Kang and Yoonseung Kim and Chung-Kil Hur and Derek Dreyer and Viktor Vafeiadis}, title = {Lightweight Verification of Separate Compilation}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {215-214}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-171-p (type: Full Paper (12 pages + refs)) doi:
	Ibsen-Jensen, Rasmus	POPL '16: "Algorithms for Algebraic Path ..." Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis (IST Austria, Austria) @InProceedings{POPL16p855, author = {Krishnendu Chatterjee and Amir Kafshdar Goharshady and Rasmus Ibsen-Jensen and Andreas Pavlogiannis}, title = {Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {855-854}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-60-p (type: Full Paper (12 pages + refs)) doi:
	Immerman, Neil	POPL '16: "Decidability of Inferring ..." Decidability of Inferring Inductive Invariants Oded Padon, Neil Immerman, Sharon Shoham, Aleksandr Karbyshev, and Mooly Sagiv (Tel Aviv University, Israel; University of Massachusetts at Amherst, USA; Academic College of Tel Aviv Yaffo, Israel) @InProceedings{POPL16p263, author = {Oded Padon and Neil Immerman and Sharon Shoham and Aleksandr Karbyshev and Mooly Sagiv}, title = {Decidability of Inferring Inductive Invariants}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {263-262}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-160-p (type: Full Paper (12 pages + refs)) doi:
	Jha, Somesh	POPL '16: "Combining Static Analysis ..." Combining Static Analysis with Probabilistic Models to Enable Market-Scale Android Inter-component Analysis Damien Octeau, Somesh Jha, Matthew Dering, Patrick McDaniel, Alexandre Bartel, Li Li, Jacques Klein, and Yves Le Traon (University of Wisconsin, USA; Pennsylvania State University, USA; IMDEA Software Institute, Spain; TU Darmstadt, Germany; University of Luxembourg, Luxembourg) @InProceedings{POPL16p551, author = {Damien Octeau and Somesh Jha and Matthew Dering and Patrick McDaniel and Alexandre Bartel and Li Li and Jacques Klein and Yves Le Traon}, title = {Combining Static Analysis with Probabilistic Models to Enable Market-Scale Android Inter-component Analysis}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {551-550}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-257-p (type: Full Paper (12 pages + refs)) doi:
	Jhala, Ranjit	POPL '16: "Printing Floating-Point Numbers: ..." Printing Floating-Point Numbers: A Faster, Always Correct Method Marc Andrysco, Ranjit Jhala, and Sorin Lerner (University of California at San Diego, USA) @InProceedings{POPL16p647, author = {Marc Andrysco and Ranjit Jhala and Sorin Lerner}, title = {Printing Floating-Point Numbers: A Faster, Always Correct Method}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {647-646}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-225-p (type: Full Paper (12 pages + refs)) doi:
	Jia, Limin	POPL '16: "Monitors and Blame Assignment ..." Monitors and Blame Assignment for Higher-Order Session Types Limin Jia, Hannah Gommerstadt, and Frank Pfenning (Carnegie Mellon University, USA) @InProceedings{POPL16p679, author = {Limin Jia and Hannah Gommerstadt and Frank Pfenning}, title = {Monitors and Blame Assignment for Higher-Order Session Types}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {679-678}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-265-p (type: Full Paper (12 pages + refs)) doi:
	Kang, Jeehoon	POPL '16: "Lightweight Verification of ..." Lightweight Verification of Separate Compilation Jeehoon Kang, Yoonseung Kim, Chung-Kil Hur, Derek Dreyer, and Viktor Vafeiadis (Seoul National University, South Korea; MPI-SWS, Germany) @InProceedings{POPL16p215, author = {Jeehoon Kang and Yoonseung Kim and Chung-Kil Hur and Derek Dreyer and Viktor Vafeiadis}, title = {Lightweight Verification of Separate Compilation}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {215-214}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-171-p (type: Full Paper (12 pages + refs)) doi:
	Kanovich, Max	POPL '16: "Model Checking for Symbolic-Heap ..." Model Checking for Symbolic-Heap Separation Logic with Inductive Predicates James Brotherston, Nikos Gorogiannis, Max Kanovich, and Reuben Rowe (University College London, UK; Middlesex University, UK; National Research University Higher School of Economics, Russia) @InProceedings{POPL16p103, author = {James Brotherston and Nikos Gorogiannis and Max Kanovich and Reuben Rowe}, title = {Model Checking for Symbolic-Heap Separation Logic with Inductive Predicates}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {103-102}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-54-p (type: Full Paper (12 pages + refs)) doi:
	Kaposi, Ambrus	POPL '16: "Type Theory in Type Theory ..." Type Theory in Type Theory using Quotient Inductive Types Thorsten Altenkirch and Ambrus Kaposi (University of Nottingham, UK) @InProceedings{POPL16p23, author = {Thorsten Altenkirch and Ambrus Kaposi}, title = {Type Theory in Type Theory using Quotient Inductive Types}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {23-22}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-157-p (type: Full Paper (12 pages + refs)) doi:
	Karbyshev, Aleksandr	POPL '16: "Decidability of Inferring ..." Decidability of Inferring Inductive Invariants Oded Padon, Neil Immerman, Sharon Shoham, Aleksandr Karbyshev, and Mooly Sagiv (Tel Aviv University, Israel; University of Massachusetts at Amherst, USA; Academic College of Tel Aviv Yaffo, Israel) @InProceedings{POPL16p263, author = {Oded Padon and Neil Immerman and Sharon Shoham and Aleksandr Karbyshev and Mooly Sagiv}, title = {Decidability of Inferring Inductive Invariants}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {263-262}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-160-p (type: Full Paper (12 pages + refs)) doi:
	Katz, Omer	POPL '16: "Estimating Types in Binaries ..." Estimating Types in Binaries using Predictive Modeling Omer Katz, Ran El-Yaniv, and Eran Yahav (Technion, Israel) @InProceedings{POPL16p375, author = {Omer Katz and Ran El-Yaniv and Eran Yahav}, title = {Estimating Types in Binaries using Predictive Modeling}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {375-374}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-342-p (type: Full Paper (12 pages + refs)) doi:
	Keller, Chantal	POPL '16: "Dependent Types and Multi-monadic ..." Dependent Types and Multi-monadic Effects in F* Nikhil Swamy, Cătălin Hriţcu, Chantal Keller, Aseem Rastogi, Antoine Delignat-Lavaud, Simon Forest, Karthikeyan Bhargavan, Cédric Fournet, Pierre-Yves Strub, Markulf Kohlweiss, Jean-Karim Zinzindohoue, and Santiago Zanella-Béguelin (Microsoft Research, USA; Inria, France; University of Maryland, USA; ENS, France; IMDEA Software Institute, Spain; Microsoft Research, UK) @InProceedings{POPL16p311, author = {Nikhil Swamy and Cătălin Hriţcu and Chantal Keller and Aseem Rastogi and Antoine Delignat-Lavaud and Simon Forest and Karthikeyan Bhargavan and Cédric Fournet and Pierre-Yves Strub and Markulf Kohlweiss and Jean-Karim Zinzindohoue and Santiago Zanella-Béguelin}, title = {Dependent Types and Multi-monadic Effects in F*}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {311-310}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-230-p (type: Full Paper (12 pages + refs)) doi:
	Kim, Yoonseung	POPL '16: "Lightweight Verification of ..." Lightweight Verification of Separate Compilation Jeehoon Kang, Yoonseung Kim, Chung-Kil Hur, Derek Dreyer, and Viktor Vafeiadis (Seoul National University, South Korea; MPI-SWS, Germany) @InProceedings{POPL16p215, author = {Jeehoon Kang and Yoonseung Kim and Chung-Kil Hur and Derek Dreyer and Viktor Vafeiadis}, title = {Lightweight Verification of Separate Compilation}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {215-214}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-171-p (type: Full Paper (12 pages + refs)) doi:
	King, Andy	POPL '16: "From MinX to MinC: Semantics-Driven ..." From MinX to MinC: Semantics-Driven Decompilation of Recursive Datatypes Ed Robbins, Andy King, and Tom Schrijvers (University of Kent, UK; KU Leuven, Belgium) @InProceedings{POPL16p231, author = {Ed Robbins and Andy King and Tom Schrijvers}, title = {From MinX to MinC: Semantics-Driven Decompilation of Recursive Datatypes}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {231-230}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-119-p (type: Full Paper (12 pages + refs)) doi:
	Klein, Jacques	POPL '16: "Combining Static Analysis ..." Combining Static Analysis with Probabilistic Models to Enable Market-Scale Android Inter-component Analysis Damien Octeau, Somesh Jha, Matthew Dering, Patrick McDaniel, Alexandre Bartel, Li Li, Jacques Klein, and Yves Le Traon (University of Wisconsin, USA; Pennsylvania State University, USA; IMDEA Software Institute, Spain; TU Darmstadt, Germany; University of Luxembourg, Luxembourg) @InProceedings{POPL16p551, author = {Damien Octeau and Somesh Jha and Matthew Dering and Patrick McDaniel and Alexandre Bartel and Li Li and Jacques Klein and Yves Le Traon}, title = {Combining Static Analysis with Probabilistic Models to Enable Market-Scale Android Inter-component Analysis}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {551-550}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-257-p (type: Full Paper (12 pages + refs)) doi:
	Kobayashi, Naoki	POPL '16: "Temporal Verification of Higher-Order ..." Temporal Verification of Higher-Order Functional Programs Akihiro Murase, Tachio Terauchi, Naoki Kobayashi, Ryosuke Sato, and Hiroshi Unno (Nagoya University, Japan; JAIST, Japan; University of Tokyo, Japan; University of Tsukuba, Japan) @InProceedings{POPL16p71, author = {Akihiro Murase and Tachio Terauchi and Naoki Kobayashi and Ryosuke Sato and Hiroshi Unno}, title = {Temporal Verification of Higher-Order Functional Programs}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {71-70}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-309-p (type: Full Paper (12 pages + refs)) doi:
	Kochems, Jonathan	POPL '16: "Unboundedness and Downward ..." Unboundedness and Downward Closures of Higher-Order Pushdown Automata Matthew Hague, Jonathan Kochems, and C.-H. Luke Ong (University of London, UK; University of Oxford, UK) @InProceedings{POPL16p183, author = {Matthew Hague and Jonathan Kochems and C.-H. Luke Ong}, title = {Unboundedness and Downward Closures of Higher-Order Pushdown Automata}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {183-182}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-70-p (type: Full Paper (12 pages + refs)) doi:
	Kohlweiss, Markulf	POPL '16: "Dependent Types and Multi-monadic ..." Dependent Types and Multi-monadic Effects in F* Nikhil Swamy, Cătălin Hriţcu, Chantal Keller, Aseem Rastogi, Antoine Delignat-Lavaud, Simon Forest, Karthikeyan Bhargavan, Cédric Fournet, Pierre-Yves Strub, Markulf Kohlweiss, Jean-Karim Zinzindohoue, and Santiago Zanella-Béguelin (Microsoft Research, USA; Inria, France; University of Maryland, USA; ENS, France; IMDEA Software Institute, Spain; Microsoft Research, UK) @InProceedings{POPL16p311, author = {Nikhil Swamy and Cătălin Hriţcu and Chantal Keller and Aseem Rastogi and Antoine Delignat-Lavaud and Simon Forest and Karthikeyan Bhargavan and Cédric Fournet and Pierre-Yves Strub and Markulf Kohlweiss and Jean-Karim Zinzindohoue and Santiago Zanella-Béguelin}, title = {Dependent Types and Multi-monadic Effects in F*}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {311-310}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-230-p (type: Full Paper (12 pages + refs)) doi:
	Koskinen, Eric	POPL '16: "Reducing Crash Recoverability ..." Reducing Crash Recoverability to Reachability Eric Koskinen and Junfeng Yang (Yale University, USA; Columbia University, USA) @InProceedings{POPL16p119, author = {Eric Koskinen and Junfeng Yang}, title = {Reducing Crash Recoverability to Reachability}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {119-118}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-199-p (type: Full Paper (12 pages + refs)) doi:
	Krause, Andreas	POPL '16: "Learning Programs from Noisy ..." Learning Programs from Noisy Data Veselin Raychev, Pavol Bielik, Martin Vechev, and Andreas Krause (ETH Zurich, Switzerland) @InProceedings{POPL16p887, author = {Veselin Raychev and Pavol Bielik and Martin Vechev and Andreas Krause}, title = {Learning Programs from Noisy Data}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {887-886}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-332-p (type: Full Paper (12 pages + refs)) doi:
	Krishnamoorthy, Sriram	POPL '16: "PolyCheck: Dynamic Verification ..." PolyCheck: Dynamic Verification of Iteration Space Transformations on Affine Programs Wenlei Bao, Sriram Krishnamoorthy, Louis-Noël Pouchet, Fabrice Rastello, and P. Sadayappan (Ohio State University, USA; Pacific Northwest National Laboratory, USA; Inria, France) @InProceedings{POPL16p631, author = {Wenlei Bao and Sriram Krishnamoorthy and Louis-Noël Pouchet and Fabrice Rastello and P. Sadayappan}, title = {PolyCheck: Dynamic Verification of Iteration Space Transformations on Affine Programs}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {631-630}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-237-p (type: Full Paper (12 pages + refs)) doi:
	Lahav, Ori	POPL '16: "Taming Release-Acquire Consistency ..." Taming Release-Acquire Consistency Ori Lahav, Nick Giannarakis, and Viktor Vafeiadis (MPI-SWS, Germany) @InProceedings{POPL16p759, author = {Ori Lahav and Nick Giannarakis and Viktor Vafeiadis}, title = {Taming Release-Acquire Consistency}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {759-758}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-173-p (type: Full Paper (12 pages + refs)) doi:
	Lavaee, Rahman	POPL '16: "The Hardness of Data Packing ..." The Hardness of Data Packing Rahman Lavaee (University of Rochester, USA) @InProceedings{POPL16p279, author = {Rahman Lavaee}, title = {The Hardness of Data Packing}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {279-278}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-312-p (type: Full Paper (12 pages + refs)) doi:
	Lerner, Sorin	POPL '16: "Printing Floating-Point Numbers: ..." Printing Floating-Point Numbers: A Faster, Always Correct Method Marc Andrysco, Ranjit Jhala, and Sorin Lerner (University of California at San Diego, USA) @InProceedings{POPL16p647, author = {Marc Andrysco and Ranjit Jhala and Sorin Lerner}, title = {Printing Floating-Point Numbers: A Faster, Always Correct Method}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {647-646}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-225-p (type: Full Paper (12 pages + refs)) doi:
	Lesani, Mohsen	POPL '16: "Chapar: Certified Causally ..." Chapar: Certified Causally Consistent Distributed Key-Value Stores Mohsen Lesani, Christian J. Bell, and Adam Chlipala (Massachusetts Institute of Technology, USA) @InProceedings{POPL16p423, author = {Mohsen Lesani and Christian J. Bell and Adam Chlipala}, title = {Chapar: Certified Causally Consistent Distributed Key-Value Stores}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {423-422}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-56-p (type: Full Paper (12 pages + refs)) doi:
	Le Traon, Yves	POPL '16: "Combining Static Analysis ..." Combining Static Analysis with Probabilistic Models to Enable Market-Scale Android Inter-component Analysis Damien Octeau, Somesh Jha, Matthew Dering, Patrick McDaniel, Alexandre Bartel, Li Li, Jacques Klein, and Yves Le Traon (University of Wisconsin, USA; Pennsylvania State University, USA; IMDEA Software Institute, Spain; TU Darmstadt, Germany; University of Luxembourg, Luxembourg) @InProceedings{POPL16p551, author = {Damien Octeau and Somesh Jha and Matthew Dering and Patrick McDaniel and Alexandre Bartel and Li Li and Jacques Klein and Yves Le Traon}, title = {Combining Static Analysis with Probabilistic Models to Enable Market-Scale Android Inter-component Analysis}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {551-550}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-257-p (type: Full Paper (12 pages + refs)) doi:
	Li, Li	POPL '16: "Combining Static Analysis ..." Combining Static Analysis with Probabilistic Models to Enable Market-Scale Android Inter-component Analysis Damien Octeau, Somesh Jha, Matthew Dering, Patrick McDaniel, Alexandre Bartel, Li Li, Jacques Klein, and Yves Le Traon (University of Wisconsin, USA; Pennsylvania State University, USA; IMDEA Software Institute, Spain; TU Darmstadt, Germany; University of Luxembourg, Luxembourg) @InProceedings{POPL16p551, author = {Damien Octeau and Somesh Jha and Matthew Dering and Patrick McDaniel and Alexandre Bartel and Li Li and Jacques Klein and Yves Le Traon}, title = {Combining Static Analysis with Probabilistic Models to Enable Market-Scale Android Inter-component Analysis}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {551-550}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-257-p (type: Full Paper (12 pages + refs)) doi:
	Liang, Hongjin	POPL '16: "A Program Logic for Concurrent ..." A Program Logic for Concurrent Objects under Fair Scheduling Hongjin Liang and Xinyu Feng (University of Science and Technology of China, China) @InProceedings{POPL16p455, author = {Hongjin Liang and Xinyu Feng}, title = {A Program Logic for Concurrent Objects under Fair Scheduling}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {455-454}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-139-p (type: Full Paper (12 pages + refs)) doi:
	Lin, Anthony W.	POPL '16: "String Solving with Word Equations ..." String Solving with Word Equations and Transducers: Towards a Logic for Analysing Mutation XSS Anthony W. Lin and Pablo Barceló (Yale-NUS College, Singapore; University of Chile, Chile) @InProceedings{POPL16p151, author = {Anthony W. Lin and Pablo Barceló}, title = {String Solving with Word Equations and Transducers: Towards a Logic for Analysing Mutation XSS}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {151-150}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-166-p (type: Full Paper (12 pages + refs)) doi:
	Long, Fan	POPL '16: "Automatic Patch Generation ..." Automatic Patch Generation by Learning Correct Code Fan Long and Martin Rinard (Massachusetts Institute of Technology, USA) @InProceedings{POPL16p359, author = {Fan Long and Martin Rinard}, title = {Automatic Patch Generation by Learning Correct Code}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {359-358}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-12-p (type: Full Paper (12 pages + refs)) doi:
	Lopes, Nuno P.	POPL '16: "Scaling Network Verification ..." Scaling Network Verification using Symmetry and Surgery Gordon D. Plotkin, Nikolaj Bjørner, Nuno P. Lopes, Andrey Rybalchenko, and George Varghese (University of Edinburgh, UK; Microsoft Research, USA; Microsoft Research, UK) @InProceedings{POPL16p87, author = {Gordon D. Plotkin and Nikolaj Bjørner and Nuno P. Lopes and Andrey Rybalchenko and George Varghese}, title = {Scaling Network Verification using Symmetry and Surgery}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {87-86}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-245-p (type: Full Paper (12 pages + refs)) doi:
	Lorenzen, Florian	POPL '16: "Sound Type-Dependent Syntactic ..." Sound Type-Dependent Syntactic Language Extension Florian Lorenzen and Sebastian Erdweg (TU Berlin, Germany; TU Darmstadt, Germany) @InProceedings{POPL16p247, author = {Florian Lorenzen and Sebastian Erdweg}, title = {Sound Type-Dependent Syntactic Language Extension}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {247-246}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-180-p (type: Full Paper (12 pages + refs)) doi:
	Lyde, Steven	POPL '16: "Pushdown Control-Flow Analysis ..." Pushdown Control-Flow Analysis for Free Thomas Gilray, Steven Lyde, Michael D. Adams, Matthew Might, and David Van Horn (University of Utah, USA; University of Maryland, USA) @InProceedings{POPL16p807, author = {Thomas Gilray and Steven Lyde and Michael D. Adams and Matthew Might and David Van Horn}, title = {Pushdown Control-Flow Analysis for Free}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {807-806}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-87-p (type: Full Paper (12 pages + refs)) doi:
	Madhusudan, P.	POPL '16: "Learning Invariants using ..." Learning Invariants using Decision Trees and Implication Counterexamples Pranav Garg, Daniel Neider, P. Madhusudan, and Dan Roth (University of Illinois at Urbana-Champaign, USA) @InProceedings{POPL16p583, author = {Pranav Garg and Daniel Neider and P. Madhusudan and Dan Roth}, title = {Learning Invariants using Decision Trees and Implication Counterexamples}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {583-582}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-278-p (type: Full Paper (12 pages + refs)) doi:
	Mangal, Ravi	POPL '16: "Query-Guided Maximum Satisfiability ..." Query-Guided Maximum Satisfiability Xin Zhang, Ravi Mangal, Aditya V. Nori, and Mayur Naik (Georgia Institute of Technology, USA; Microsoft Research, UK) @InProceedings{POPL16p135, author = {Xin Zhang and Ravi Mangal and Aditya V. Nori and Mayur Naik}, title = {Query-Guided Maximum Satisfiability}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {135-134}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-247-p (type: Full Paper (12 pages + refs)) doi:
	Maranget, Luc	POPL '16: "Modelling the ARMv8 Architecture, ..." Modelling the ARMv8 Architecture, Operationally: Concurrency and ISA Shaked Flur, Kathryn E. Gray, Christopher Pulte, Susmit Sarkar, Ali Sezgin, Luc Maranget, Will Deacon, and Peter Sewell (University of Cambridge, UK; University of St. Andrews, UK; Inria, France; ARM, UK) @InProceedings{POPL16p711, author = {Shaked Flur and Kathryn E. Gray and Christopher Pulte and Susmit Sarkar and Ali Sezgin and Luc Maranget and Will Deacon and Peter Sewell}, title = {Modelling the ARMv8 Architecture, Operationally: Concurrency and ISA}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {711-710}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-4-p (type: Full Paper (12 pages + refs)) doi:
	McDaniel, Patrick	POPL '16: "Combining Static Analysis ..." Combining Static Analysis with Probabilistic Models to Enable Market-Scale Android Inter-component Analysis Damien Octeau, Somesh Jha, Matthew Dering, Patrick McDaniel, Alexandre Bartel, Li Li, Jacques Klein, and Yves Le Traon (University of Wisconsin, USA; Pennsylvania State University, USA; IMDEA Software Institute, Spain; TU Darmstadt, Germany; University of Luxembourg, Luxembourg) @InProceedings{POPL16p551, author = {Damien Octeau and Somesh Jha and Matthew Dering and Patrick McDaniel and Alexandre Bartel and Li Li and Jacques Klein and Yves Le Traon}, title = {Combining Static Analysis with Probabilistic Models to Enable Market-Scale Android Inter-component Analysis}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {551-550}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-257-p (type: Full Paper (12 pages + refs)) doi:
	McKinley, Kathryn S.	POPL '16: "Programming the World of Uncertain ..." Programming the World of Uncertain Things (Keynote) Kathryn S. McKinley (Microsoft Research, USA) @InProceedings{POPL16p1, author = {Kathryn S. McKinley}, title = {Programming the World of Uncertain Things (Keynote)}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2016}, } Article: popl16key-key2-p (type: Invited Talk Abstract (2 page)) doi:
	Might, Matthew	POPL '16: "Pushdown Control-Flow Analysis ..." Pushdown Control-Flow Analysis for Free Thomas Gilray, Steven Lyde, Michael D. Adams, Matthew Might, and David Van Horn (University of Utah, USA; University of Maryland, USA) @InProceedings{POPL16p807, author = {Thomas Gilray and Steven Lyde and Michael D. Adams and Matthew Might and David Van Horn}, title = {Pushdown Control-Flow Analysis for Free}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {807-806}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-87-p (type: Full Paper (12 pages + refs)) doi:
	Moser, Georg	POPL '16: "The Complexity of Interaction ..." The Complexity of Interaction Stéphane Gimenez and Georg Moser (University of Innsbruck, Austria) @InProceedings{POPL16p295, author = {Stéphane Gimenez and Georg Moser}, title = {The Complexity of Interaction}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {295-294}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-191-p (type: Full Paper (12 pages + refs)) doi:
	Munch-Maccagnoni, Guillaume	POPL '16: "A Theory of Effects and Resources: ..." A Theory of Effects and Resources: Adjunction Models and Polarised Calculi Pierre-Louis Curien, Marcelo Fiore, and Guillaume Munch-Maccagnoni (University of Paris Diderot, France; Inria, France; University of Cambridge, UK) @InProceedings{POPL16p55, author = {Pierre-Louis Curien and Marcelo Fiore and Guillaume Munch-Maccagnoni}, title = {A Theory of Effects and Resources: Adjunction Models and Polarised Calculi}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {55-54}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-216-p (type: Full Paper (12 pages + refs)) doi:
	Murase, Akihiro	POPL '16: "Temporal Verification of Higher-Order ..." Temporal Verification of Higher-Order Functional Programs Akihiro Murase, Tachio Terauchi, Naoki Kobayashi, Ryosuke Sato, and Hiroshi Unno (Nagoya University, Japan; JAIST, Japan; University of Tokyo, Japan; University of Tsukuba, Japan) @InProceedings{POPL16p71, author = {Akihiro Murase and Tachio Terauchi and Naoki Kobayashi and Ryosuke Sato and Hiroshi Unno}, title = {Temporal Verification of Higher-Order Functional Programs}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {71-70}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-309-p (type: Full Paper (12 pages + refs)) doi:
	Muroya, Koko	POPL '16: "Memoryful Geometry of Interaction ..." Memoryful Geometry of Interaction II: Recursion and Adequacy Koko Muroya, Naohiko Hoshino, and Ichiro Hasuo (University of Tokyo, Japan; Kyoto University, Japan) @InProceedings{POPL16p871, author = {Koko Muroya and Naohiko Hoshino and Ichiro Hasuo}, title = {Memoryful Geometry of Interaction II: Recursion and Adequacy}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {871-870}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-335-p (type: Full Paper (12 pages + refs)) doi:
	Murray, Richard M.	POPL '16: "Synthesis of Reactive Controllers ..." Synthesis of Reactive Controllers for Hybrid Systems (Keynote) Richard M. Murray (California Institute of Technology, USA) @InProceedings{POPL16p3, author = {Richard M. Murray}, title = {Synthesis of Reactive Controllers for Hybrid Systems (Keynote)}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {3-2}, doi = {}, year = {2016}, } Article: popl16key-key1-p (type: Invited Talk Abstract (2 page)) doi:
	Naik, Mayur	POPL '16: "Query-Guided Maximum Satisfiability ..." Query-Guided Maximum Satisfiability Xin Zhang, Ravi Mangal, Aditya V. Nori, and Mayur Naik (Georgia Institute of Technology, USA; Microsoft Research, UK) @InProceedings{POPL16p135, author = {Xin Zhang and Ravi Mangal and Aditya V. Nori and Mayur Naik}, title = {Query-Guided Maximum Satisfiability}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {135-134}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-247-p (type: Full Paper (12 pages + refs)) doi:
	Najafzadeh, Mahsa	POPL '16: "'Cause I'm Strong ..." 'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems Alexey Gotsman, Hongseok Yang, Carla Ferreira, Mahsa Najafzadeh, and Marc Shapiro (IMDEA Software Institute, Spain; University of Oxford, UK; Universidade Nova Lisboa, Potugal; Sorbonne, France; Inria, France; UPMC, France) @InProceedings{POPL16p439, author = {Alexey Gotsman and Hongseok Yang and Carla Ferreira and Mahsa Najafzadeh and Marc Shapiro}, title = {'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {439-438}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-65-p (type: Full Paper (12 pages + refs)) doi:
	Neider, Daniel	POPL '16: "Learning Invariants using ..." Learning Invariants using Decision Trees and Implication Counterexamples Pranav Garg, Daniel Neider, P. Madhusudan, and Dan Roth (University of Illinois at Urbana-Champaign, USA) @InProceedings{POPL16p583, author = {Pranav Garg and Daniel Neider and P. Madhusudan and Dan Roth}, title = {Learning Invariants using Decision Trees and Implication Counterexamples}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {583-582}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-278-p (type: Full Paper (12 pages + refs)) doi:
	New, Max S.	POPL '16: "Is Sound Gradual Typing Dead? ..." Is Sound Gradual Typing Dead? Asumu Takikawa, Daniel Feltey, Ben Greenman, Max S. New, Jan Vitek, and Matthias Felleisen (Northeastern University, USA) @InProceedings{POPL16p535, author = {Asumu Takikawa and Daniel Feltey and Ben Greenman and Max S. New and Jan Vitek and Matthias Felleisen}, title = {Is Sound Gradual Typing Dead?}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {535-534}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-81-p (type: Full Paper (12 pages + refs)) doi:
	Nori, Aditya V.	POPL '16: "Query-Guided Maximum Satisfiability ..." Query-Guided Maximum Satisfiability Xin Zhang, Ravi Mangal, Aditya V. Nori, and Mayur Naik (Georgia Institute of Technology, USA; Microsoft Research, UK) @InProceedings{POPL16p135, author = {Xin Zhang and Ravi Mangal and Aditya V. Nori and Mayur Naik}, title = {Query-Guided Maximum Satisfiability}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {135-134}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-247-p (type: Full Paper (12 pages + refs)) doi:
	Novotný, Petr	POPL '16: "Algorithmic Analysis of Qualitative ..." Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs Krishnendu Chatterjee, Hongfei Fu, Petr Novotný, and Rouzbeh Hasheminezhad (IST Austria, Austria; Institute of Software at Chinese Academy of Sciences, China; Sharif University of Technology, Iran) @InProceedings{POPL16p391, author = {Krishnendu Chatterjee and Hongfei Fu and Petr Novotný and Rouzbeh Hasheminezhad}, title = {Algorithmic Analysis of Qualitative and Quantitative Termination Problems for Affine Probabilistic Programs}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {391-390}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-159-p (type: Full Paper (12 pages + refs)) doi:
	Octeau, Damien	POPL '16: "Combining Static Analysis ..." Combining Static Analysis with Probabilistic Models to Enable Market-Scale Android Inter-component Analysis Damien Octeau, Somesh Jha, Matthew Dering, Patrick McDaniel, Alexandre Bartel, Li Li, Jacques Klein, and Yves Le Traon (University of Wisconsin, USA; Pennsylvania State University, USA; IMDEA Software Institute, Spain; TU Darmstadt, Germany; University of Luxembourg, Luxembourg) @InProceedings{POPL16p551, author = {Damien Octeau and Somesh Jha and Matthew Dering and Patrick McDaniel and Alexandre Bartel and Li Li and Jacques Klein and Yves Le Traon}, title = {Combining Static Analysis with Probabilistic Models to Enable Market-Scale Android Inter-component Analysis}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {551-550}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-257-p (type: Full Paper (12 pages + refs)) doi:
	Ong, C.-H. Luke	POPL '16: "Unboundedness and Downward ..." Unboundedness and Downward Closures of Higher-Order Pushdown Automata Matthew Hague, Jonathan Kochems, and C.-H. Luke Ong (University of London, UK; University of Oxford, UK) @InProceedings{POPL16p183, author = {Matthew Hague and Jonathan Kochems and C.-H. Luke Ong}, title = {Unboundedness and Downward Closures of Higher-Order Pushdown Automata}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {183-182}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-70-p (type: Full Paper (12 pages + refs)) doi:
	Orchard, Dominic	POPL '16: "Effects as Sessions, Sessions ..." Effects as Sessions, Sessions as Effects Dominic Orchard and Nobuko Yoshida (Imperial College London, UK) @InProceedings{POPL16p663, author = {Dominic Orchard and Nobuko Yoshida}, title = {Effects as Sessions, Sessions as Effects}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {663-662}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-123-p (type: Full Paper (12 pages + refs)) doi:
	Osera, Peter-Michael	POPL '16: "Example-Directed Synthesis: ..." Example-Directed Synthesis: A Type-Theoretic Interpretation Jonathan Frankle, Peter-Michael Osera, David Walker, and Steve Zdancewic (Princeton University, USA; Grinnell College, USA; University of Pennsylvania, USA) @InProceedings{POPL16p935, author = {Jonathan Frankle and Peter-Michael Osera and David Walker and Steve Zdancewic}, title = {Example-Directed Synthesis: A Type-Theoretic Interpretation}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {935-934}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-80-p (type: Full Paper (12 pages + refs)) doi:
	Ostermann, Klaus	POPL '16: "System F-omega with Equirecursive ..." System F-omega with Equirecursive Types for Datatype-Generic Programming Yufei Cai, Paolo G. Giarrusso, and Klaus Ostermann (University of Tübingen, Germany) @InProceedings{POPL16p39, author = {Yufei Cai and Paolo G. Giarrusso and Klaus Ostermann}, title = {System F-omega with Equirecursive Types for Datatype-Generic Programming}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {39-38}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-68-p (type: Full Paper (12 pages + refs)) doi:
	Ouyang, Long	POPL '16: "Fabular: Regression Formulas ..." Fabular: Regression Formulas as Probabilistic Programming Johannes Borgström, Andrew D. Gordon, Long Ouyang, Claudio Russo, Adam Ścibior, and Marcin Szymczak (Uppsala University, Sweden; Microsoft Research, UK; University of Edinburgh, UK; Stanford University, USA; University of Cambridge, UK; MPI Tübingen, Germany) @InProceedings{POPL16p327, author = {Johannes Borgström and Andrew D. Gordon and Long Ouyang and Claudio Russo and Adam Ścibior and Marcin Szymczak}, title = {Fabular: Regression Formulas as Probabilistic Programming}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {327-326}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-220-p (type: Full Paper (12 pages + refs)) doi:
	Padon, Oded	POPL '16: "Decidability of Inferring ..." Decidability of Inferring Inductive Invariants Oded Padon, Neil Immerman, Sharon Shoham, Aleksandr Karbyshev, and Mooly Sagiv (Tel Aviv University, Israel; University of Massachusetts at Amherst, USA; Academic College of Tel Aviv Yaffo, Israel) @InProceedings{POPL16p263, author = {Oded Padon and Neil Immerman and Sharon Shoham and Aleksandr Karbyshev and Mooly Sagiv}, title = {Decidability of Inferring Inductive Invariants}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {263-262}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-160-p (type: Full Paper (12 pages + refs)) doi:
	Palsberg, Jens	POPL '16: "Breaking through the Normalization ..." Breaking through the Normalization Barrier: A Self-Interpreter for F-omega Matt Brown and Jens Palsberg (University of California at Los Angeles, USA) @InProceedings{POPL16p7, author = {Matt Brown and Jens Palsberg}, title = {Breaking through the Normalization Barrier: A Self-Interpreter for F-omega}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {7-6}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-57-p (type: Full Paper (12 pages + refs)) doi:
	Patrignani, Marco	POPL '16: "Fully-Abstract Compilation ..." Fully-Abstract Compilation by Approximate Back-Translation Dominique Devriese, Marco Patrignani, and Frank Piessens (KU Leuven, Belgium) @InProceedings{POPL16p199, author = {Dominique Devriese and Marco Patrignani and Frank Piessens}, title = {Fully-Abstract Compilation by Approximate Back-Translation}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {199-198}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-21-p (type: Full Paper (12 pages + refs)) doi:
	Pavlogiannis, Andreas	POPL '16: "Algorithms for Algebraic Path ..." Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, and Andreas Pavlogiannis (IST Austria, Austria) @InProceedings{POPL16p855, author = {Krishnendu Chatterjee and Amir Kafshdar Goharshady and Rasmus Ibsen-Jensen and Andreas Pavlogiannis}, title = {Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {855-854}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-60-p (type: Full Paper (12 pages + refs)) doi:
	Pfenning, Frank	POPL '16: "Monitors and Blame Assignment ..." Monitors and Blame Assignment for Higher-Order Session Types Limin Jia, Hannah Gommerstadt, and Frank Pfenning (Carnegie Mellon University, USA) @InProceedings{POPL16p679, author = {Limin Jia and Hannah Gommerstadt and Frank Pfenning}, title = {Monitors and Blame Assignment for Higher-Order Session Types}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {679-678}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-265-p (type: Full Paper (12 pages + refs)) doi:
	Pichon-Pharabod, Jean	POPL '16: "A Concurrency Semantics for ..." A Concurrency Semantics for Relaxed Atomics that Permits Optimisation and Avoids Thin-Air Executions Jean Pichon-Pharabod and Peter Sewell (University of Cambridge, UK) @InProceedings{POPL16p727, author = {Jean Pichon-Pharabod and Peter Sewell}, title = {A Concurrency Semantics for Relaxed Atomics that Permits Optimisation and Avoids Thin-Air Executions}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {727-726}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-5-p (type: Full Paper (12 pages + refs)) doi:
	Piessens, Frank	POPL '16: "Fully-Abstract Compilation ..." Fully-Abstract Compilation by Approximate Back-Translation Dominique Devriese, Marco Patrignani, and Frank Piessens (KU Leuven, Belgium) @InProceedings{POPL16p199, author = {Dominique Devriese and Marco Patrignani and Frank Piessens}, title = {Fully-Abstract Compilation by Approximate Back-Translation}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {199-198}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-21-p (type: Full Paper (12 pages + refs)) doi:
	Plotkin, Gordon D.	POPL '16: "Scaling Network Verification ..." Scaling Network Verification using Symmetry and Surgery Gordon D. Plotkin, Nikolaj Bjørner, Nuno P. Lopes, Andrey Rybalchenko, and George Varghese (University of Edinburgh, UK; Microsoft Research, USA; Microsoft Research, UK) @InProceedings{POPL16p87, author = {Gordon D. Plotkin and Nikolaj Bjørner and Nuno P. Lopes and Andrey Rybalchenko and George Varghese}, title = {Scaling Network Verification using Symmetry and Surgery}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {87-86}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-245-p (type: Full Paper (12 pages + refs)) doi:
	Pouchet, Louis-Noël	POPL '16: "PolyCheck: Dynamic Verification ..." PolyCheck: Dynamic Verification of Iteration Space Transformations on Affine Programs Wenlei Bao, Sriram Krishnamoorthy, Louis-Noël Pouchet, Fabrice Rastello, and P. Sadayappan (Ohio State University, USA; Pacific Northwest National Laboratory, USA; Inria, France) @InProceedings{POPL16p631, author = {Wenlei Bao and Sriram Krishnamoorthy and Louis-Noël Pouchet and Fabrice Rastello and P. Sadayappan}, title = {PolyCheck: Dynamic Verification of Iteration Space Transformations on Affine Programs}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {631-630}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-237-p (type: Full Paper (12 pages + refs)) doi:
	Prabhu, Prathmesh	POPL '16: "Newtonian Program Analysis ..." Newtonian Program Analysis via Tensor Product Thomas Reps, Emma Turetsky, and Prathmesh Prabhu (University of Wisconsin-Madison, USA; GrammaTech, USA; Google, USA) @InProceedings{POPL16p775, author = {Thomas Reps and Emma Turetsky and Prathmesh Prabhu}, title = {Newtonian Program Analysis via Tensor Product}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {775-774}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-254-p (type: Full Paper (12 pages + refs)) doi:
	Pulte, Christopher	POPL '16: "Modelling the ARMv8 Architecture, ..." Modelling the ARMv8 Architecture, Operationally: Concurrency and ISA Shaked Flur, Kathryn E. Gray, Christopher Pulte, Susmit Sarkar, Ali Sezgin, Luc Maranget, Will Deacon, and Peter Sewell (University of Cambridge, UK; University of St. Andrews, UK; Inria, France; ARM, UK) @InProceedings{POPL16p711, author = {Shaked Flur and Kathryn E. Gray and Christopher Pulte and Susmit Sarkar and Ali Sezgin and Luc Maranget and Will Deacon and Peter Sewell}, title = {Modelling the ARMv8 Architecture, Operationally: Concurrency and ISA}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {711-710}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-4-p (type: Full Paper (12 pages + refs)) doi:
	Rasmussen, Ulrik Terp	POPL '16: "Kleenex: Compiling Nondeterministic ..." Kleenex: Compiling Nondeterministic Transducers to Deterministic Streaming Transducers Bjørn Bugge Grathwohl, Fritz Henglein, Ulrik Terp Rasmussen, Kristoffer Aalund Søholm, and Sebastian Paaske Tørholm (University of Copenhagen, Denmark; Jobindex, Denmark) @InProceedings{POPL16p343, author = {Bjørn Bugge Grathwohl and Fritz Henglein and Ulrik Terp Rasmussen and Kristoffer Aalund Søholm and Sebastian Paaske Tørholm}, title = {Kleenex: Compiling Nondeterministic Transducers to Deterministic Streaming Transducers}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {343-342}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-195-p (type: Full Paper (12 pages + refs)) doi:
	Rastello, Fabrice	POPL '16: "PolyCheck: Dynamic Verification ..." PolyCheck: Dynamic Verification of Iteration Space Transformations on Affine Programs Wenlei Bao, Sriram Krishnamoorthy, Louis-Noël Pouchet, Fabrice Rastello, and P. Sadayappan (Ohio State University, USA; Pacific Northwest National Laboratory, USA; Inria, France) @InProceedings{POPL16p631, author = {Wenlei Bao and Sriram Krishnamoorthy and Louis-Noël Pouchet and Fabrice Rastello and P. Sadayappan}, title = {PolyCheck: Dynamic Verification of Iteration Space Transformations on Affine Programs}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {631-630}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-237-p (type: Full Paper (12 pages + refs)) doi:
	Rastogi, Aseem	POPL '16: "Dependent Types and Multi-monadic ..." Dependent Types and Multi-monadic Effects in F* Nikhil Swamy, Cătălin Hriţcu, Chantal Keller, Aseem Rastogi, Antoine Delignat-Lavaud, Simon Forest, Karthikeyan Bhargavan, Cédric Fournet, Pierre-Yves Strub, Markulf Kohlweiss, Jean-Karim Zinzindohoue, and Santiago Zanella-Béguelin (Microsoft Research, USA; Inria, France; University of Maryland, USA; ENS, France; IMDEA Software Institute, Spain; Microsoft Research, UK) @InProceedings{POPL16p311, author = {Nikhil Swamy and Cătălin Hriţcu and Chantal Keller and Aseem Rastogi and Antoine Delignat-Lavaud and Simon Forest and Karthikeyan Bhargavan and Cédric Fournet and Pierre-Yves Strub and Markulf Kohlweiss and Jean-Karim Zinzindohoue and Santiago Zanella-Béguelin}, title = {Dependent Types and Multi-monadic Effects in F*}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {311-310}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-230-p (type: Full Paper (12 pages + refs)) doi:
	Raychev, Veselin	POPL '16: "Learning Programs from Noisy ..." Learning Programs from Noisy Data Veselin Raychev, Pavol Bielik, Martin Vechev, and Andreas Krause (ETH Zurich, Switzerland) @InProceedings{POPL16p887, author = {Veselin Raychev and Pavol Bielik and Martin Vechev and Andreas Krause}, title = {Learning Programs from Noisy Data}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {887-886}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-332-p (type: Full Paper (12 pages + refs)) doi:
	Reps, Thomas	POPL '16: "Newtonian Program Analysis ..." Newtonian Program Analysis via Tensor Product Thomas Reps, Emma Turetsky, and Prathmesh Prabhu (University of Wisconsin-Madison, USA; GrammaTech, USA; Google, USA) @InProceedings{POPL16p775, author = {Thomas Reps and Emma Turetsky and Prathmesh Prabhu}, title = {Newtonian Program Analysis via Tensor Product}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {775-774}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-254-p (type: Full Paper (12 pages + refs)) doi:
	Rinard, Martin	POPL '16: "Automatic Patch Generation ..." Automatic Patch Generation by Learning Correct Code Fan Long and Martin Rinard (Massachusetts Institute of Technology, USA) @InProceedings{POPL16p359, author = {Fan Long and Martin Rinard}, title = {Automatic Patch Generation by Learning Correct Code}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {359-358}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-12-p (type: Full Paper (12 pages + refs)) doi:
	Robbins, Ed	POPL '16: "From MinX to MinC: Semantics-Driven ..." From MinX to MinC: Semantics-Driven Decompilation of Recursive Datatypes Ed Robbins, Andy King, and Tom Schrijvers (University of Kent, UK; KU Leuven, Belgium) @InProceedings{POPL16p231, author = {Ed Robbins and Andy King and Tom Schrijvers}, title = {From MinX to MinC: Semantics-Driven Decompilation of Recursive Datatypes}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {231-230}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-119-p (type: Full Paper (12 pages + refs)) doi:
	Roth, Dan	POPL '16: "Learning Invariants using ..." Learning Invariants using Decision Trees and Implication Counterexamples Pranav Garg, Daniel Neider, P. Madhusudan, and Dan Roth (University of Illinois at Urbana-Champaign, USA) @InProceedings{POPL16p583, author = {Pranav Garg and Daniel Neider and P. Madhusudan and Dan Roth}, title = {Learning Invariants using Decision Trees and Implication Counterexamples}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {583-582}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-278-p (type: Full Paper (12 pages + refs)) doi:
	Rowe, Reuben	POPL '16: "Model Checking for Symbolic-Heap ..." Model Checking for Symbolic-Heap Separation Logic with Inductive Predicates James Brotherston, Nikos Gorogiannis, Max Kanovich, and Reuben Rowe (University College London, UK; Middlesex University, UK; National Research University Higher School of Economics, Russia) @InProceedings{POPL16p103, author = {James Brotherston and Nikos Gorogiannis and Max Kanovich and Reuben Rowe}, title = {Model Checking for Symbolic-Heap Separation Logic with Inductive Predicates}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {103-102}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-54-p (type: Full Paper (12 pages + refs)) doi:
	Russo, Claudio	POPL '16: "Fabular: Regression Formulas ..." Fabular: Regression Formulas as Probabilistic Programming Johannes Borgström, Andrew D. Gordon, Long Ouyang, Claudio Russo, Adam Ścibior, and Marcin Szymczak (Uppsala University, Sweden; Microsoft Research, UK; University of Edinburgh, UK; Stanford University, USA; University of Cambridge, UK; MPI Tübingen, Germany) @InProceedings{POPL16p327, author = {Johannes Borgström and Andrew D. Gordon and Long Ouyang and Claudio Russo and Adam Ścibior and Marcin Szymczak}, title = {Fabular: Regression Formulas as Probabilistic Programming}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {327-326}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-220-p (type: Full Paper (12 pages + refs)) doi:
	Rybalchenko, Andrey	POPL '16: "Scaling Network Verification ..." Scaling Network Verification using Symmetry and Surgery Gordon D. Plotkin, Nikolaj Bjørner, Nuno P. Lopes, Andrey Rybalchenko, and George Varghese (University of Edinburgh, UK; Microsoft Research, USA; Microsoft Research, UK) @InProceedings{POPL16p87, author = {Gordon D. Plotkin and Nikolaj Bjørner and Nuno P. Lopes and Andrey Rybalchenko and George Varghese}, title = {Scaling Network Verification using Symmetry and Surgery}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {87-86}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-245-p (type: Full Paper (12 pages + refs)) doi:
	Sadayappan, P.	POPL '16: "PolyCheck: Dynamic Verification ..." PolyCheck: Dynamic Verification of Iteration Space Transformations on Affine Programs Wenlei Bao, Sriram Krishnamoorthy, Louis-Noël Pouchet, Fabrice Rastello, and P. Sadayappan (Ohio State University, USA; Pacific Northwest National Laboratory, USA; Inria, France) @InProceedings{POPL16p631, author = {Wenlei Bao and Sriram Krishnamoorthy and Louis-Noël Pouchet and Fabrice Rastello and P. Sadayappan}, title = {PolyCheck: Dynamic Verification of Iteration Space Transformations on Affine Programs}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {631-630}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-237-p (type: Full Paper (12 pages + refs)) doi:
	Sagiv, Mooly	POPL '16: "Decidability of Inferring ..." Decidability of Inferring Inductive Invariants Oded Padon, Neil Immerman, Sharon Shoham, Aleksandr Karbyshev, and Mooly Sagiv (Tel Aviv University, Israel; University of Massachusetts at Amherst, USA; Academic College of Tel Aviv Yaffo, Israel) @InProceedings{POPL16p263, author = {Oded Padon and Neil Immerman and Sharon Shoham and Aleksandr Karbyshev and Mooly Sagiv}, title = {Decidability of Inferring Inductive Invariants}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {263-262}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-160-p (type: Full Paper (12 pages + refs)) doi:
	Sangiorgi, Davide	POPL '16: "Environmental Bisimulations ..." Environmental Bisimulations for Probabilistic Higher-Order Languages Davide Sangiorgi and Valeria Vignudelli (University of Bologna, Italy; Inria, France) @InProceedings{POPL16p695, author = {Davide Sangiorgi and Valeria Vignudelli}, title = {Environmental Bisimulations for Probabilistic Higher-Order Languages}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {695-694}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-215-p (type: Full Paper (12 pages + refs)) doi:
	Sarkar, Susmit	POPL '16: "Modelling the ARMv8 Architecture, ..." Modelling the ARMv8 Architecture, Operationally: Concurrency and ISA Shaked Flur, Kathryn E. Gray, Christopher Pulte, Susmit Sarkar, Ali Sezgin, Luc Maranget, Will Deacon, and Peter Sewell (University of Cambridge, UK; University of St. Andrews, UK; Inria, France; ARM, UK) @InProceedings{POPL16p711, author = {Shaked Flur and Kathryn E. Gray and Christopher Pulte and Susmit Sarkar and Ali Sezgin and Luc Maranget and Will Deacon and Peter Sewell}, title = {Modelling the ARMv8 Architecture, Operationally: Concurrency and ISA}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {711-710}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-4-p (type: Full Paper (12 pages + refs)) doi:
	Sato, Ryosuke	POPL '16: "Temporal Verification of Higher-Order ..." Temporal Verification of Higher-Order Functional Programs Akihiro Murase, Tachio Terauchi, Naoki Kobayashi, Ryosuke Sato, and Hiroshi Unno (Nagoya University, Japan; JAIST, Japan; University of Tokyo, Japan; University of Tsukuba, Japan) @InProceedings{POPL16p71, author = {Akihiro Murase and Tachio Terauchi and Naoki Kobayashi and Ryosuke Sato and Hiroshi Unno}, title = {Temporal Verification of Higher-Order Functional Programs}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {71-70}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-309-p (type: Full Paper (12 pages + refs)) doi:
	Schrijvers, Tom	POPL '16: "From MinX to MinC: Semantics-Driven ..." From MinX to MinC: Semantics-Driven Decompilation of Recursive Datatypes Ed Robbins, Andy King, and Tom Schrijvers (University of Kent, UK; KU Leuven, Belgium) @InProceedings{POPL16p231, author = {Ed Robbins and Andy King and Tom Schrijvers}, title = {From MinX to MinC: Semantics-Driven Decompilation of Recursive Datatypes}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {231-230}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-119-p (type: Full Paper (12 pages + refs)) doi:
	Ścibior, Adam	POPL '16: "Fabular: Regression Formulas ..." Fabular: Regression Formulas as Probabilistic Programming Johannes Borgström, Andrew D. Gordon, Long Ouyang, Claudio Russo, Adam Ścibior, and Marcin Szymczak (Uppsala University, Sweden; Microsoft Research, UK; University of Edinburgh, UK; Stanford University, USA; University of Cambridge, UK; MPI Tübingen, Germany) @InProceedings{POPL16p327, author = {Johannes Borgström and Andrew D. Gordon and Long Ouyang and Claudio Russo and Adam Ścibior and Marcin Szymczak}, title = {Fabular: Regression Formulas as Probabilistic Programming}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {327-326}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-220-p (type: Full Paper (12 pages + refs)) doi:
	Sewell, Peter	POPL '16: "Modelling the ARMv8 Architecture, ..." Modelling the ARMv8 Architecture, Operationally: Concurrency and ISA Shaked Flur, Kathryn E. Gray, Christopher Pulte, Susmit Sarkar, Ali Sezgin, Luc Maranget, Will Deacon, and Peter Sewell (University of Cambridge, UK; University of St. Andrews, UK; Inria, France; ARM, UK) @InProceedings{POPL16p711, author = {Shaked Flur and Kathryn E. Gray and Christopher Pulte and Susmit Sarkar and Ali Sezgin and Luc Maranget and Will Deacon and Peter Sewell}, title = {Modelling the ARMv8 Architecture, Operationally: Concurrency and ISA}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {711-710}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-4-p (type: Full Paper (12 pages + refs)) doi: POPL '16: "A Concurrency Semantics for ..." A Concurrency Semantics for Relaxed Atomics that Permits Optimisation and Avoids Thin-Air Executions Jean Pichon-Pharabod and Peter Sewell (University of Cambridge, UK) @InProceedings{POPL16p727, author = {Jean Pichon-Pharabod and Peter Sewell}, title = {A Concurrency Semantics for Relaxed Atomics that Permits Optimisation and Avoids Thin-Air Executions}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {727-726}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-5-p (type: Full Paper (12 pages + refs)) doi:
	Sezgin, Ali	POPL '16: "Modelling the ARMv8 Architecture, ..." Modelling the ARMv8 Architecture, Operationally: Concurrency and ISA Shaked Flur, Kathryn E. Gray, Christopher Pulte, Susmit Sarkar, Ali Sezgin, Luc Maranget, Will Deacon, and Peter Sewell (University of Cambridge, UK; University of St. Andrews, UK; Inria, France; ARM, UK) @InProceedings{POPL16p711, author = {Shaked Flur and Kathryn E. Gray and Christopher Pulte and Susmit Sarkar and Ali Sezgin and Luc Maranget and Will Deacon and Peter Sewell}, title = {Modelling the ARMv8 Architecture, Operationally: Concurrency and ISA}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {711-710}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-4-p (type: Full Paper (12 pages + refs)) doi:
	Shapiro, Marc	POPL '16: "'Cause I'm Strong ..." 'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems Alexey Gotsman, Hongseok Yang, Carla Ferreira, Mahsa Najafzadeh, and Marc Shapiro (IMDEA Software Institute, Spain; University of Oxford, UK; Universidade Nova Lisboa, Potugal; Sorbonne, France; Inria, France; UPMC, France) @InProceedings{POPL16p439, author = {Alexey Gotsman and Hongseok Yang and Carla Ferreira and Mahsa Najafzadeh and Marc Shapiro}, title = {'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {439-438}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-65-p (type: Full Paper (12 pages + refs)) doi:
	Shimizu, Shunsuke	POPL '16: "Lattice-Theoretic Progress ..." Lattice-Theoretic Progress Measures and Coalgebraic Model Checking Ichiro Hasuo, Shunsuke Shimizu, and Corina Cîrstea (University of Tokyo, Japan; University of Southampton, UK) @InProceedings{POPL16p839, author = {Ichiro Hasuo and Shunsuke Shimizu and Corina Cîrstea}, title = {Lattice-Theoretic Progress Measures and Coalgebraic Model Checking}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {839-838}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-337-p (type: Full Paper (12 pages + refs)) doi:
	Shoham, Sharon	POPL '16: "Decidability of Inferring ..." Decidability of Inferring Inductive Invariants Oded Padon, Neil Immerman, Sharon Shoham, Aleksandr Karbyshev, and Mooly Sagiv (Tel Aviv University, Israel; University of Massachusetts at Amherst, USA; Academic College of Tel Aviv Yaffo, Israel) @InProceedings{POPL16p263, author = {Oded Padon and Neil Immerman and Sharon Shoham and Aleksandr Karbyshev and Mooly Sagiv}, title = {Decidability of Inferring Inductive Invariants}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {263-262}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-160-p (type: Full Paper (12 pages + refs)) doi:
	Siek, Jeremy G.	POPL '16: "The Gradualizer: A Methodology ..." The Gradualizer: A Methodology and Algorithm for Generating Gradual Type Systems Matteo Cimini and Jeremy G. Siek (Indiana University, USA) @InProceedings{POPL16p519, author = {Matteo Cimini and Jeremy G. Siek}, title = {The Gradualizer: A Methodology and Algorithm for Generating Gradual Type Systems}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {519-518}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-91-p (type: Full Paper (12 pages + refs)) doi:
	Singh, Rishabh	POPL '16: "Transforming Spreadsheet Data ..." Transforming Spreadsheet Data Types using Examples Rishabh Singh and Sumit Gulwani (Microsoft Research, USA) @InProceedings{POPL16p407, author = {Rishabh Singh and Sumit Gulwani}, title = {Transforming Spreadsheet Data Types using Examples}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {407-406}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-310-p (type: Full Paper (12 pages + refs)) doi:
	Søholm, Kristoffer Aalund	POPL '16: "Kleenex: Compiling Nondeterministic ..." Kleenex: Compiling Nondeterministic Transducers to Deterministic Streaming Transducers Bjørn Bugge Grathwohl, Fritz Henglein, Ulrik Terp Rasmussen, Kristoffer Aalund Søholm, and Sebastian Paaske Tørholm (University of Copenhagen, Denmark; Jobindex, Denmark) @InProceedings{POPL16p343, author = {Bjørn Bugge Grathwohl and Fritz Henglein and Ulrik Terp Rasmussen and Kristoffer Aalund Søholm and Sebastian Paaske Tørholm}, title = {Kleenex: Compiling Nondeterministic Transducers to Deterministic Streaming Transducers}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {343-342}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-195-p (type: Full Paper (12 pages + refs)) doi:
	Strub, Pierre-Yves	POPL '16: "Dependent Types and Multi-monadic ..." Dependent Types and Multi-monadic Effects in F* Nikhil Swamy, Cătălin Hriţcu, Chantal Keller, Aseem Rastogi, Antoine Delignat-Lavaud, Simon Forest, Karthikeyan Bhargavan, Cédric Fournet, Pierre-Yves Strub, Markulf Kohlweiss, Jean-Karim Zinzindohoue, and Santiago Zanella-Béguelin (Microsoft Research, USA; Inria, France; University of Maryland, USA; ENS, France; IMDEA Software Institute, Spain; Microsoft Research, UK) @InProceedings{POPL16p311, author = {Nikhil Swamy and Cătălin Hriţcu and Chantal Keller and Aseem Rastogi and Antoine Delignat-Lavaud and Simon Forest and Karthikeyan Bhargavan and Cédric Fournet and Pierre-Yves Strub and Markulf Kohlweiss and Jean-Karim Zinzindohoue and Santiago Zanella-Béguelin}, title = {Dependent Types and Multi-monadic Effects in F*}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {311-310}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-230-p (type: Full Paper (12 pages + refs)) doi:
	Swamy, Nikhil	POPL '16: "Dependent Types and Multi-monadic ..." Dependent Types and Multi-monadic Effects in F* Nikhil Swamy, Cătălin Hriţcu, Chantal Keller, Aseem Rastogi, Antoine Delignat-Lavaud, Simon Forest, Karthikeyan Bhargavan, Cédric Fournet, Pierre-Yves Strub, Markulf Kohlweiss, Jean-Karim Zinzindohoue, and Santiago Zanella-Béguelin (Microsoft Research, USA; Inria, France; University of Maryland, USA; ENS, France; IMDEA Software Institute, Spain; Microsoft Research, UK) @InProceedings{POPL16p311, author = {Nikhil Swamy and Cătălin Hriţcu and Chantal Keller and Aseem Rastogi and Antoine Delignat-Lavaud and Simon Forest and Karthikeyan Bhargavan and Cédric Fournet and Pierre-Yves Strub and Markulf Kohlweiss and Jean-Karim Zinzindohoue and Santiago Zanella-Béguelin}, title = {Dependent Types and Multi-monadic Effects in F*}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {311-310}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-230-p (type: Full Paper (12 pages + refs)) doi:
	Szymczak, Marcin	POPL '16: "Fabular: Regression Formulas ..." Fabular: Regression Formulas as Probabilistic Programming Johannes Borgström, Andrew D. Gordon, Long Ouyang, Claudio Russo, Adam Ścibior, and Marcin Szymczak (Uppsala University, Sweden; Microsoft Research, UK; University of Edinburgh, UK; Stanford University, USA; University of Cambridge, UK; MPI Tübingen, Germany) @InProceedings{POPL16p327, author = {Johannes Borgström and Andrew D. Gordon and Long Ouyang and Claudio Russo and Adam Ścibior and Marcin Szymczak}, title = {Fabular: Regression Formulas as Probabilistic Programming}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {327-326}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-220-p (type: Full Paper (12 pages + refs)) doi:
	Takikawa, Asumu	POPL '16: "Is Sound Gradual Typing Dead? ..." Is Sound Gradual Typing Dead? Asumu Takikawa, Daniel Feltey, Ben Greenman, Max S. New, Jan Vitek, and Matthias Felleisen (Northeastern University, USA) @InProceedings{POPL16p535, author = {Asumu Takikawa and Daniel Feltey and Ben Greenman and Max S. New and Jan Vitek and Matthias Felleisen}, title = {Is Sound Gradual Typing Dead?}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {535-534}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-81-p (type: Full Paper (12 pages + refs)) doi:
	Tanter, Éric	POPL '16: "Abstracting Gradual Typing ..." Abstracting Gradual Typing Ronald Garcia, Alison M. Clark, and Éric Tanter (University of British Columbia, Canada; University of Chile, Chile) @InProceedings{POPL16p503, author = {Ronald Garcia and Alison M. Clark and Éric Tanter}, title = {Abstracting Gradual Typing}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {503-502}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-314-p (type: Full Paper (12 pages + refs)) doi:
	Terauchi, Tachio	POPL '16: "Temporal Verification of Higher-Order ..." Temporal Verification of Higher-Order Functional Programs Akihiro Murase, Tachio Terauchi, Naoki Kobayashi, Ryosuke Sato, and Hiroshi Unno (Nagoya University, Japan; JAIST, Japan; University of Tokyo, Japan; University of Tsukuba, Japan) @InProceedings{POPL16p71, author = {Akihiro Murase and Tachio Terauchi and Naoki Kobayashi and Ryosuke Sato and Hiroshi Unno}, title = {Temporal Verification of Higher-Order Functional Programs}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {71-70}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-309-p (type: Full Paper (12 pages + refs)) doi:
	Tørholm, Sebastian Paaske	POPL '16: "Kleenex: Compiling Nondeterministic ..." Kleenex: Compiling Nondeterministic Transducers to Deterministic Streaming Transducers Bjørn Bugge Grathwohl, Fritz Henglein, Ulrik Terp Rasmussen, Kristoffer Aalund Søholm, and Sebastian Paaske Tørholm (University of Copenhagen, Denmark; Jobindex, Denmark) @InProceedings{POPL16p343, author = {Bjørn Bugge Grathwohl and Fritz Henglein and Ulrik Terp Rasmussen and Kristoffer Aalund Søholm and Sebastian Paaske Tørholm}, title = {Kleenex: Compiling Nondeterministic Transducers to Deterministic Streaming Transducers}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {343-342}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-195-p (type: Full Paper (12 pages + refs)) doi:
	Torlak, Emina	POPL '16: "Optimizing Synthesis with ..." Optimizing Synthesis with Metasketches James Bornholt, Emina Torlak, Dan Grossman, and Luis Ceze (University of Washington, USA) @InProceedings{POPL16p903, author = {James Bornholt and Emina Torlak and Dan Grossman and Luis Ceze}, title = {Optimizing Synthesis with Metasketches}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {903-902}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-299-p (type: Full Paper (12 pages + refs)) doi:
	Tribastone, Mirco	POPL '16: "Symbolic Computation of Differential ..." Symbolic Computation of Differential Equivalences Luca Cardelli, Mirco Tribastone, Max Tschaikowski, and Andrea Vandin (Microsoft Research, UK; University of Oxford, UK; IMT Lucca, Italy) @InProceedings{POPL16p167, author = {Luca Cardelli and Mirco Tribastone and Max Tschaikowski and Andrea Vandin}, title = {Symbolic Computation of Differential Equivalences}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {167-166}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-207-p (type: Full Paper (12 pages + refs)) doi:
	Tschaikowski, Max	POPL '16: "Symbolic Computation of Differential ..." Symbolic Computation of Differential Equivalences Luca Cardelli, Mirco Tribastone, Max Tschaikowski, and Andrea Vandin (Microsoft Research, UK; University of Oxford, UK; IMT Lucca, Italy) @InProceedings{POPL16p167, author = {Luca Cardelli and Mirco Tribastone and Max Tschaikowski and Andrea Vandin}, title = {Symbolic Computation of Differential Equivalences}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {167-166}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-207-p (type: Full Paper (12 pages + refs)) doi:
	Turetsky, Emma	POPL '16: "Newtonian Program Analysis ..." Newtonian Program Analysis via Tensor Product Thomas Reps, Emma Turetsky, and Prathmesh Prabhu (University of Wisconsin-Madison, USA; GrammaTech, USA; Google, USA) @InProceedings{POPL16p775, author = {Thomas Reps and Emma Turetsky and Prathmesh Prabhu}, title = {Newtonian Program Analysis via Tensor Product}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {775-774}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-254-p (type: Full Paper (12 pages + refs)) doi:
	Unno, Hiroshi	POPL '16: "Temporal Verification of Higher-Order ..." Temporal Verification of Higher-Order Functional Programs Akihiro Murase, Tachio Terauchi, Naoki Kobayashi, Ryosuke Sato, and Hiroshi Unno (Nagoya University, Japan; JAIST, Japan; University of Tokyo, Japan; University of Tsukuba, Japan) @InProceedings{POPL16p71, author = {Akihiro Murase and Tachio Terauchi and Naoki Kobayashi and Ryosuke Sato and Hiroshi Unno}, title = {Temporal Verification of Higher-Order Functional Programs}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {71-70}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-309-p (type: Full Paper (12 pages + refs)) doi:
	Vafeiadis, Viktor	POPL '16: "Lightweight Verification of ..." Lightweight Verification of Separate Compilation Jeehoon Kang, Yoonseung Kim, Chung-Kil Hur, Derek Dreyer, and Viktor Vafeiadis (Seoul National University, South Korea; MPI-SWS, Germany) @InProceedings{POPL16p215, author = {Jeehoon Kang and Yoonseung Kim and Chung-Kil Hur and Derek Dreyer and Viktor Vafeiadis}, title = {Lightweight Verification of Separate Compilation}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {215-214}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-171-p (type: Full Paper (12 pages + refs)) doi: POPL '16: "Taming Release-Acquire Consistency ..." Taming Release-Acquire Consistency Ori Lahav, Nick Giannarakis, and Viktor Vafeiadis (MPI-SWS, Germany) @InProceedings{POPL16p759, author = {Ori Lahav and Nick Giannarakis and Viktor Vafeiadis}, title = {Taming Release-Acquire Consistency}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {759-758}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-173-p (type: Full Paper (12 pages + refs)) doi:
	Vandin, Andrea	POPL '16: "Symbolic Computation of Differential ..." Symbolic Computation of Differential Equivalences Luca Cardelli, Mirco Tribastone, Max Tschaikowski, and Andrea Vandin (Microsoft Research, UK; University of Oxford, UK; IMT Lucca, Italy) @InProceedings{POPL16p167, author = {Luca Cardelli and Mirco Tribastone and Max Tschaikowski and Andrea Vandin}, title = {Symbolic Computation of Differential Equivalences}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {167-166}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-207-p (type: Full Paper (12 pages + refs)) doi:
	Van Horn, David	POPL '16: "Pushdown Control-Flow Analysis ..." Pushdown Control-Flow Analysis for Free Thomas Gilray, Steven Lyde, Michael D. Adams, Matthew Might, and David Van Horn (University of Utah, USA; University of Maryland, USA) @InProceedings{POPL16p807, author = {Thomas Gilray and Steven Lyde and Michael D. Adams and Matthew Might and David Van Horn}, title = {Pushdown Control-Flow Analysis for Free}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {807-806}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-87-p (type: Full Paper (12 pages + refs)) doi:
	Varghese, George	POPL '16: "Scaling Network Verification ..." Scaling Network Verification using Symmetry and Surgery Gordon D. Plotkin, Nikolaj Bjørner, Nuno P. Lopes, Andrey Rybalchenko, and George Varghese (University of Edinburgh, UK; Microsoft Research, USA; Microsoft Research, UK) @InProceedings{POPL16p87, author = {Gordon D. Plotkin and Nikolaj Bjørner and Nuno P. Lopes and Andrey Rybalchenko and George Varghese}, title = {Scaling Network Verification using Symmetry and Surgery}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {87-86}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-245-p (type: Full Paper (12 pages + refs)) doi:
	Vechev, Martin	POPL '16: "Learning Programs from Noisy ..." Learning Programs from Noisy Data Veselin Raychev, Pavol Bielik, Martin Vechev, and Andreas Krause (ETH Zurich, Switzerland) @InProceedings{POPL16p887, author = {Veselin Raychev and Pavol Bielik and Martin Vechev and Andreas Krause}, title = {Learning Programs from Noisy Data}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {887-886}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-332-p (type: Full Paper (12 pages + refs)) doi:
	Vignudelli, Valeria	POPL '16: "Environmental Bisimulations ..." Environmental Bisimulations for Probabilistic Higher-Order Languages Davide Sangiorgi and Valeria Vignudelli (University of Bologna, Italy; Inria, France) @InProceedings{POPL16p695, author = {Davide Sangiorgi and Valeria Vignudelli}, title = {Environmental Bisimulations for Probabilistic Higher-Order Languages}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {695-694}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-215-p (type: Full Paper (12 pages + refs)) doi:
	Vitek, Jan	POPL '16: "Is Sound Gradual Typing Dead? ..." Is Sound Gradual Typing Dead? Asumu Takikawa, Daniel Feltey, Ben Greenman, Max S. New, Jan Vitek, and Matthias Felleisen (Northeastern University, USA) @InProceedings{POPL16p535, author = {Asumu Takikawa and Daniel Feltey and Ben Greenman and Max S. New and Jan Vitek and Matthias Felleisen}, title = {Is Sound Gradual Typing Dead?}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {535-534}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-81-p (type: Full Paper (12 pages + refs)) doi:
	Walker, David	POPL '16: "Confluences in Programming ..." Confluences in Programming Languages Research (Keynote) David Walker (Princeton University, USA) @InProceedings{POPL16p5, author = {David Walker}, title = {Confluences in Programming Languages Research (Keynote)}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {5-4}, doi = {}, year = {2016}, } Article: popl16key-key3-p (type: Invited Talk Abstract (2 page)) doi: POPL '16: "Example-Directed Synthesis: ..." Example-Directed Synthesis: A Type-Theoretic Interpretation Jonathan Frankle, Peter-Michael Osera, David Walker, and Steve Zdancewic (Princeton University, USA; Grinnell College, USA; University of Pennsylvania, USA) @InProceedings{POPL16p935, author = {Jonathan Frankle and Peter-Michael Osera and David Walker and Steve Zdancewic}, title = {Example-Directed Synthesis: A Type-Theoretic Interpretation}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {935-934}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-80-p (type: Full Paper (12 pages + refs)) doi:
	Wickerson, John	POPL '16: "Overhauling SC Atomics in ..." Overhauling SC Atomics in C11 and OpenCL Mark Batty, Alastair F. Donaldson, and John Wickerson (University of Kent, UK; Imperial College London, UK) @InProceedings{POPL16p743, author = {Mark Batty and Alastair F. Donaldson and John Wickerson}, title = {Overhauling SC Atomics in C11 and OpenCL}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {743-742}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-156-p (type: Full Paper (12 pages + refs)) doi:
	Wu, Rongxin	POPL '16: "Casper: An Efficient Approach ..." Casper: An Efficient Approach to Call Trace Collection Rongxin Wu, Xiao Xiao, Shing-Chi Cheung, Hongyu Zhang, and Charles Zhang (Hong Kong University of Science and Technology, China; Microsoft Research, China) @InProceedings{POPL16p791, author = {Rongxin Wu and Xiao Xiao and Shing-Chi Cheung and Hongyu Zhang and Charles Zhang}, title = {Casper: An Efficient Approach to Call Trace Collection}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {791-790}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-38-p (type: Full Paper (12 pages + refs)) doi:
	Xiao, Xiao	POPL '16: "Casper: An Efficient Approach ..." Casper: An Efficient Approach to Call Trace Collection Rongxin Wu, Xiao Xiao, Shing-Chi Cheung, Hongyu Zhang, and Charles Zhang (Hong Kong University of Science and Technology, China; Microsoft Research, China) @InProceedings{POPL16p791, author = {Rongxin Wu and Xiao Xiao and Shing-Chi Cheung and Hongyu Zhang and Charles Zhang}, title = {Casper: An Efficient Approach to Call Trace Collection}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {791-790}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-38-p (type: Full Paper (12 pages + refs)) doi:
	Yahav, Eran	POPL '16: "Estimating Types in Binaries ..." Estimating Types in Binaries using Predictive Modeling Omer Katz, Ran El-Yaniv, and Eran Yahav (Technion, Israel) @InProceedings{POPL16p375, author = {Omer Katz and Ran El-Yaniv and Eran Yahav}, title = {Estimating Types in Binaries using Predictive Modeling}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {375-374}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-342-p (type: Full Paper (12 pages + refs)) doi:
	Yang, Hongseok	POPL '16: "'Cause I'm Strong ..." 'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems Alexey Gotsman, Hongseok Yang, Carla Ferreira, Mahsa Najafzadeh, and Marc Shapiro (IMDEA Software Institute, Spain; University of Oxford, UK; Universidade Nova Lisboa, Potugal; Sorbonne, France; Inria, France; UPMC, France) @InProceedings{POPL16p439, author = {Alexey Gotsman and Hongseok Yang and Carla Ferreira and Mahsa Najafzadeh and Marc Shapiro}, title = {'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {439-438}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-65-p (type: Full Paper (12 pages + refs)) doi: POPL '16: "Abstraction Refinement Guided ..." Abstraction Refinement Guided by a Learnt Probabilistic Model Radu Grigore and Hongseok Yang (University of Oxford, UK) @InProceedings{POPL16p567, author = {Radu Grigore and Hongseok Yang}, title = {Abstraction Refinement Guided by a Learnt Probabilistic Model}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {567-566}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-269-p (type: Full Paper (12 pages + refs)) doi:
	Yang, Junfeng	POPL '16: "Reducing Crash Recoverability ..." Reducing Crash Recoverability to Reachability Eric Koskinen and Junfeng Yang (Yale University, USA; Columbia University, USA) @InProceedings{POPL16p119, author = {Eric Koskinen and Junfeng Yang}, title = {Reducing Crash Recoverability to Reachability}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {119-118}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-199-p (type: Full Paper (12 pages + refs)) doi:
	Yoshida, Nobuko	POPL '16: "Effects as Sessions, Sessions ..." Effects as Sessions, Sessions as Effects Dominic Orchard and Nobuko Yoshida (Imperial College London, UK) @InProceedings{POPL16p663, author = {Dominic Orchard and Nobuko Yoshida}, title = {Effects as Sessions, Sessions as Effects}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {663-662}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-123-p (type: Full Paper (12 pages + refs)) doi:
	Zanella-Béguelin, Santiago	POPL '16: "Dependent Types and Multi-monadic ..." Dependent Types and Multi-monadic Effects in F* Nikhil Swamy, Cătălin Hriţcu, Chantal Keller, Aseem Rastogi, Antoine Delignat-Lavaud, Simon Forest, Karthikeyan Bhargavan, Cédric Fournet, Pierre-Yves Strub, Markulf Kohlweiss, Jean-Karim Zinzindohoue, and Santiago Zanella-Béguelin (Microsoft Research, USA; Inria, France; University of Maryland, USA; ENS, France; IMDEA Software Institute, Spain; Microsoft Research, UK) @InProceedings{POPL16p311, author = {Nikhil Swamy and Cătălin Hriţcu and Chantal Keller and Aseem Rastogi and Antoine Delignat-Lavaud and Simon Forest and Karthikeyan Bhargavan and Cédric Fournet and Pierre-Yves Strub and Markulf Kohlweiss and Jean-Karim Zinzindohoue and Santiago Zanella-Béguelin}, title = {Dependent Types and Multi-monadic Effects in F*}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {311-310}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-230-p (type: Full Paper (12 pages + refs)) doi:
	Zdancewic, Steve	POPL '16: "Example-Directed Synthesis: ..." Example-Directed Synthesis: A Type-Theoretic Interpretation Jonathan Frankle, Peter-Michael Osera, David Walker, and Steve Zdancewic (Princeton University, USA; Grinnell College, USA; University of Pennsylvania, USA) @InProceedings{POPL16p935, author = {Jonathan Frankle and Peter-Michael Osera and David Walker and Steve Zdancewic}, title = {Example-Directed Synthesis: A Type-Theoretic Interpretation}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {935-934}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-80-p (type: Full Paper (12 pages + refs)) doi:
	Zhang, Charles	POPL '16: "Casper: An Efficient Approach ..." Casper: An Efficient Approach to Call Trace Collection Rongxin Wu, Xiao Xiao, Shing-Chi Cheung, Hongyu Zhang, and Charles Zhang (Hong Kong University of Science and Technology, China; Microsoft Research, China) @InProceedings{POPL16p791, author = {Rongxin Wu and Xiao Xiao and Shing-Chi Cheung and Hongyu Zhang and Charles Zhang}, title = {Casper: An Efficient Approach to Call Trace Collection}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {791-790}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-38-p (type: Full Paper (12 pages + refs)) doi:
	Zhang, Hongyu	POPL '16: "Casper: An Efficient Approach ..." Casper: An Efficient Approach to Call Trace Collection Rongxin Wu, Xiao Xiao, Shing-Chi Cheung, Hongyu Zhang, and Charles Zhang (Hong Kong University of Science and Technology, China; Microsoft Research, China) @InProceedings{POPL16p791, author = {Rongxin Wu and Xiao Xiao and Shing-Chi Cheung and Hongyu Zhang and Charles Zhang}, title = {Casper: An Efficient Approach to Call Trace Collection}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {791-790}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-38-p (type: Full Paper (12 pages + refs)) doi:
	Zhang, Xin	POPL '16: "Query-Guided Maximum Satisfiability ..." Query-Guided Maximum Satisfiability Xin Zhang, Ravi Mangal, Aditya V. Nori, and Mayur Naik (Georgia Institute of Technology, USA; Microsoft Research, UK) @InProceedings{POPL16p135, author = {Xin Zhang and Ravi Mangal and Aditya V. Nori and Mayur Naik}, title = {Query-Guided Maximum Satisfiability}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {135-134}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-247-p (type: Full Paper (12 pages + refs)) doi:
	Zinzindohoue, Jean-Karim	POPL '16: "Dependent Types and Multi-monadic ..." Dependent Types and Multi-monadic Effects in F* Nikhil Swamy, Cătălin Hriţcu, Chantal Keller, Aseem Rastogi, Antoine Delignat-Lavaud, Simon Forest, Karthikeyan Bhargavan, Cédric Fournet, Pierre-Yves Strub, Markulf Kohlweiss, Jean-Karim Zinzindohoue, and Santiago Zanella-Béguelin (Microsoft Research, USA; Inria, France; University of Maryland, USA; ENS, France; IMDEA Software Institute, Spain; Microsoft Research, UK) @InProceedings{POPL16p311, author = {Nikhil Swamy and Cătălin Hriţcu and Chantal Keller and Aseem Rastogi and Antoine Delignat-Lavaud and Simon Forest and Karthikeyan Bhargavan and Cédric Fournet and Pierre-Yves Strub and Markulf Kohlweiss and Jean-Karim Zinzindohoue and Santiago Zanella-Béguelin}, title = {Dependent Types and Multi-monadic Effects in F*}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {311-310}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-230-p (type: Full Paper (12 pages + refs)) doi:
	Zufferey, Damien	POPL '16: "PSync: A Partially Synchronous ..." PSync: A Partially Synchronous Language for Fault-Tolerant Distributed Algorithms Cezara Drăgoi, Thomas A. Henzinger, and Damien Zufferey (Inria, France; ENS, France; CNRS, France; IST Austria, Austria; Massachusetts Institute of Technology, USA) @InProceedings{POPL16p471, author = {Cezara Drăgoi and Thomas A. Henzinger and Damien Zufferey}, title = {PSync: A Partially Synchronous Language for Fault-Tolerant Distributed Algorithms}, booktitle = {Proc.\ POPL}, publisher = {ACM}, pages = {471-470}, doi = {}, year = {2016}, } Article: popl16main-mainpopl16-212-p (type: Full Paper (12 pages + refs)) doi:

212 authors

proc time: 0.2