Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
POPL 2019 (series) / Hotel Cascais Miragem /

Room information: Sala II

VenueHotel Cascais Miragem
Room nameSala II
Floor0
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Wed 16 Jan

Displayed time zone: Belfast change

10:35 - 12:03
ConcurrencyResearch Papers at Sala II
Chair(s): Ori Lahav Tel Aviv University
10:35
22m
Talk
A True Positives Theorem for a Static Race Detector
Research Papers
Nikos Gorogiannis , Peter W. O'Hearn Facebook and University College London, Ilya Sergey Yale-NUS College and National University of Singapore
Link to publication DOI Pre-print Media Attached File Attached
10:57
22m
Talk
Decoupling Lock-Free Data Structures from Memory Reclamation for Static Analysis
Research Papers
Roland Meyer , Sebastian Wolff TU Braunschweig
Link to publication DOI Pre-print Media Attached File Attached
11:19
22m
Talk
Pretend Synchrony: Synchronous Verification of Asynchronous Distributed Programs
Research Papers
Klaus v. Gleissenthall University of California at San Diego, USA, Rami Gökhan Kıcı University of California at San Diego, USA, Alexander Bakst , Deian Stefan University of California San Diego, Ranjit Jhala University of California, San Diego
Link to publication DOI Media Attached
11:41
22m
Talk
Weak-Consistency Specification via Visibility Relaxation
Research Papers
Michael Emmi SRI International, Constantin Enea Université Paris Diderot
Link to publication DOI Media Attached File Attached
13:45 - 14:51
CategoriesResearch Papers at Sala II
Chair(s): Nicolas Tabareau Inria
13:45
22m
Talk
Familial Monads and Structural Operational Semantics
Research Papers
Tom Hirschowitz Univ. Grenoble Alpes, Univ. Savoie Mont Blanc, CNRS, LAMA, 73000 Chambéry
Link to publication DOI Media Attached File Attached
14:07
22m
Talk
Bindings as Bounded Natural Functors
Research Papers
Jasmin Blanchette Vrije Universiteit Amsterdam, Lorenzo Gheri Middlesex University London, Andrei Popescu Middlesex University, London, Dmitriy Traytel ETH Zurich
Link to publication DOI Media Attached File Attached
14:29
22m
Talk
Categorical Combinatorics of Scheduling and Synchronization in Game Semantics
Research Papers
Paul-André Melliès CNRS and University Paris Diderot
Link to publication DOI Media Attached File Attached
15:21 - 16:27
Capabilities and Session Types IResearch Papers at Sala II
Chair(s): Dominic Orchard University of Kent, UK
15:21
22m
Talk
StkTokens: Enforcing Well-Bracketed Control Flow and Stack Encapsulation Using Linear Capabilities
Research Papers
Lau Skorstengaard Aarhus University, Dominique Devriese Vrije Universiteit Brussel, Belgium, Lars Birkedal Aarhus University
Link to publication DOI Media Attached File Attached
15:43
22m
Talk
Two sides of the same coin: Session Types and Game Semantics
Research Papers
Simon Castellan Imperial College London, UK, Nobuko Yoshida Imperial College London
Link to publication DOI Pre-print Media Attached File Attached
16:05
22m
Talk
Exceptional Asynchronous Session Types: Session Types without Tiers
Research Papers
Simon Fowler The University of Edinburgh, Sam Lindley University of Edinburgh, UK, J. Garrett Morris University of Kansas, USA, Sara Décova
Link to publication DOI Pre-print Media Attached File Attached
16:37 - 17:43
Session Types IIResearch Papers at Sala II
Chair(s): Andrew D. Gordon Microsoft Research and University of Edinburgh
16:37
22m
Talk
Interconnectability of Session-Based Logical ProcessesTOPLAS
Research Papers
Bernardo Toninho Imperial College London, Nobuko Yoshida Imperial College London
Link to publication DOI Pre-print Media Attached
16:59
22m
Talk
Distributed Programming using Role-Parametric Session Types in Go
Research Papers
David Castro-Perez Imperial College London, Raymond Hu Imperial College London, Sung-Shik Jongmans Open University of the Netherlands, Nicholas Ng Imperial College London, Nobuko Yoshida Imperial College London
Link to publication DOI Pre-print Media Attached File Attached
17:21
22m
Talk
Less is More: Multiparty Session Types Revisited
Research Papers
Alceste Scalas Imperial College London, Nobuko Yoshida Imperial College London
Link to publication DOI Pre-print Media Attached File Attached

Thu 17 Jan

Displayed time zone: Belfast change

09:00 - 10:06
SynthesisResearch Papers at Sala II
Chair(s): Robbert Krebbers Delft University of Technology
09:00
22m
Talk
Structuring the Synthesis of Heap-Manipulating ProgramsDistinguished Paper
Research Papers
Nadia Polikarpova University of California, San Diego, Ilya Sergey Yale-NUS College and National University of Singapore
Link to publication DOI Pre-print Media Attached File Attached
09:22
22m
Talk
FrAngel: Component-Based Synthesis with Control Structures
Research Papers
Kensen Shi Stanford University, Jacob Steinhardt Stanford University, Percy Liang Stanford University
Link to publication DOI Pre-print Media Attached File Attached
09:44
22m
Talk
Hamsaz: Replication Coordination Analysis and Synthesis
Research Papers
Farzin Houshmand University of California, Riverside, Mohsen Lesani University of California, Riverside
Link to publication DOI Media Attached
10:36 - 12:04
Separation Logic and Memory SemanticsResearch Papers at Sala II
Chair(s): Ilya Sergey Yale-NUS College and National University of Singapore
10:36
22m
Talk
Iron: Managing Obligations in Higher-Order Concurrent Separation Logic
Research Papers
Aleš Bizjak Aarhus University, Daniel Gratzer , Robbert Krebbers Delft University of Technology, Lars Birkedal Aarhus University
Link to publication DOI Media Attached File Attached
10:58
22m
Talk
JaVerT 2.0: Compositional Symbolic Execution for JavaScript
Research Papers
José Fragoso Santos Imperial College London, Petar Maksimović Imperial College London, UK and Mathematical Institute of the Serbian Academy of Sciences and Arts, Serbia, Gabriela Sampaio Imperial College London, UK, Philippa Gardner Imperial College London
Link to publication DOI Media Attached File Attached
11:20
22m
Talk
ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS
Research Papers
Alasdair Armstrong University of Cambridge, Thomas Bauereiss University of Cambridge, Brian Campbell University of Edinburgh, Alastair Reid Arm Ltd, Kathryn E. Gray University of Cambridge, Robert M. Norton University of Cambridge, Prashanth Mundkur SRI International, Mark Wassell University of Cambridge, Jon French University of Cambridge, Christopher Pulte University of Cambridge, Shaked Flur University of Cambridge, Ian Stark The University of Edinburgh, Neel Krishnaswami Computer Laboratory, University of Cambridge, Peter Sewell University of Cambridge
Link to publication DOI Media Attached File Attached
11:42
22m
Talk
Exploring C Semantics and Pointer Provenance
Research Papers
Kayvan Memarian University of Cambridge, Victor B. F. Gomes University of Cambridge, UK, Brooks Davis SRI International, Stephen Kell University of Kent, Alexander Richardson University of Cambridge, Robert N. M. Watson University of Cambridge, Peter Sewell University of Cambridge
Link to publication DOI Media Attached File Attached
13:45 - 14:51
Weak MemoryResearch Papers at Sala II
Chair(s): Scott Owens University of Kent, UK
13:45
22m
Talk
On Library Correctness under Weak Memory Consistency
Research Papers
Azalea Raad MPI-SWS, Germany, Marko Doko MPI-SWS, Germany, Lovro Rožić MPI-SWS, Germany, Ori Lahav Tel Aviv University, Viktor Vafeiadis MPI-SWS, Germany
Link to publication DOI Pre-print Media Attached File Attached
14:07
22m
Talk
Bridging the Gap Between Programming Languages and Hardware Weak Memory Models
Research Papers
Anton Podkopaev Higher School of Economics, JetBrains Research, Ori Lahav Tel Aviv University, Viktor Vafeiadis MPI-SWS, Germany
Link to publication DOI Pre-print Media Attached File Attached
14:29
22m
Talk
Grounding Thin-Air Reads with Event Structures
Research Papers
Soham Chakraborty Max Planck Institute for Software Systems, Viktor Vafeiadis MPI-SWS, Germany
Link to publication DOI Media Attached File Attached
15:21 - 16:49
TimeResearch Papers at Sala II
Chair(s): Andrew Myers Cornell University
15:21
22m
Talk
Type-Guided Worst-Case Input Generation
Research Papers
Di Wang Carnegie Mellon University, Jan Hoffmann Carnegie Mellon University
Link to publication DOI Pre-print Media Attached File Attached
15:43
22m
Talk
CT-Wasm: Type-Driven Secure Cryptography for the Web Ecosystem
Research Papers
Conrad Watt University of Cambridge, John Renner University of California, San Diego, Natalie Popescu University of California San Diego, Sunjay Cauligi UCSD, Deian Stefan University of California San Diego
Link to publication DOI Media Attached File Attached
16:05
22m
Talk
Modular Quantitative Monitoring
Research Papers
Rajeev Alur University of Pennsylvania, Konstantinos Mamouras University of Pennsylvania, Caleb Stanford University of Pennsylvania
Link to publication DOI Media Attached File Attached
16:27
22m
Talk
CSS Minification via Constraint SolvingTOPLAS
Research Papers
Matthew Hague Royal Holloway, University of London, Anthony Widjaja Lin Oxford University, Chih-Duo Hong University of Oxford
Media Attached File Attached

Fri 18 Jan

Displayed time zone: Belfast change

10:35 - 12:03
Abstract InterpretationResearch Papers at Sala II
Chair(s): David Naumann Stevens Institute of Technology
10:35
22m
Talk
A^2 I: Abstract^2 InterpretationDistinguished Paper
Research Papers
Patrick Cousot , Roberto Giacobazzi University of Verona and IMDEA Software Institute, Francesco Ranzato University of Padova
Link to publication DOI Media Attached File Attached
10:57
22m
Talk
Concerto: A Framework for Combined Concrete and Abstract Interpretation
Research Papers
John Toman University of Washington, Seattle, Dan Grossman University of Washington
Link to publication DOI Media Attached
11:19
22m
Talk
Skeletal Semantics and their Interpretations
Research Papers
Martin Bodin Imperial College London, Philippa Gardner Imperial College London, Thomas P. Jensen INRIA Rennes, Alan Schmitt Inria
Link to publication DOI Pre-print Media Attached File Attached
11:41
22m
Talk
Refinement of Path Expressions for Static Analysis
Research Papers
John Cyphert University of Wisconsin - Madison, Jason Breck University of Wisconsin - Madison, Zachary Kincaid Princeton University, Thomas Reps University of Wisconsin - Madison and GrammaTech, Inc.
Link to publication DOI Media Attached File Attached
13:45 - 14:51
Model CheckingResearch Papers at Sala II
Chair(s): P. Madhusudan University of Illinois at Urbana-Champaign
13:45
22m
Talk
Decision Procedures for Path Feasibility of String-Manipulating Programs with Complex Operations
Research Papers
Taolue Chen Birkbeck, University of London, Matthew Hague Royal Holloway, University of London, Anthony Widjaja Lin Oxford University, Philipp Ruemmer Uppsala University, Zhilin Wu State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences
Link to publication DOI Media Attached File Attached
14:07
22m
Talk
Bounded Model Checking of Signal Temporal Logic Properties Using Syntactic Separation
Research Papers
Kyungmin Bae Pohang University of Science and Technology (POSTECH), Jia Lee Pohang University of Science and Technology (POSTECH)
Link to publication DOI Media Attached File Attached
14:29
22m
Talk
Adventures in Monitorability: From Branching to Linear Time and Back Again
Research Papers
Luca Aceto Reykjavik University, Antonis Achilleos Reykjavik University, Adrian Francalanza University of Malta, Anna Ingolfsdottir Reykjavik University, Karoliina Lehtinen University of Kiel and University of Liverpool
Link to publication DOI Media Attached
15:21 - 16:27
Program Analysis IResearch Papers at Sala II
Chair(s): Michael D. Adams University of Utah
15:21
22m
Talk
Decidable Verification of Uninterpreted Programs
Research Papers
Umang Mathur University of Illinois at Urbana-Champaign, P. Madhusudan University of Illinois at Urbana-Champaign, Mahesh Viswanathan University of Illinois at Urbana-Champaign
Link to publication DOI Pre-print Media Attached File Attached
15:43
22m
Talk
Inferring Frame Conditions with Static Correlation Analysis
Research Papers
Oana-Fabiana Andreescu Internet of Trust, Thomas P. Jensen INRIA Rennes, Stéphane Lescuyer Prove & Run, Benoît Montagu Prove & Run
Link to publication DOI Pre-print Media Attached File Attached
16:05
22m
Talk
Context-, Flow- and Field-Sensitive Data-Flow Analysis using Synchronized Pushdown SystemsDistinguished Paper
Research Papers
Johannes Späth Fraunhofer IEM, Karim Ali University of Alberta, Eric Bodden Heinz Nixdorf Institut, Paderborn University and Fraunhofer IEM
Link to publication DOI Pre-print Media Attached File Attached
16:37 - 17:43
Program Analysis IIResearch Papers at Sala II
Chair(s): Michael Emmi SRI International
16:37
22m
Talk
Efficient Automated Repair of High Floating-Point Errors in Numerical Libraries
Research Papers
Xin Yi National University of Defense Technology, Liqian Chen National University of Defense Technology, Xiaoguang Mao National University of Defense Technology, Tao Ji National University of Defense Technology
Link to publication DOI Media Attached File Attached
16:59
22m
Talk
Efficient Parameterized Algorithms for Data Packing
Research Papers
Krishnendu Chatterjee IST Austria, Amir Kafshdar Goharshady IST Austria, Nastaran Okati Ferdowsi University of Mashhad, Andreas Pavlogiannis EPFL, Switzerland
Link to publication DOI Pre-print Media Attached File Attached
17:21
22m
Talk
Fast and exact analysis for LRU caches
Research Papers
Valentin Touzeau Univ. Grenoble Alpes, Claire Maiza Verimag, France, David Monniaux CNRS, VERIMAG, Jan Reineke Saarland University
Link to publication DOI Media Attached File Attached

Wed 16 Jan

Displayed time zone: Belfast change

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Sala II

Research Papers

Concurrency

Research Papers

Categories

Research Papers

Capabilities and Session Types I

Research Papers

Session Types II

Thu 17 Jan

Displayed time zone: Belfast change

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Sala II

Research Papers

Synthesis

Research Papers

Separation Logic and Memory Semantics

Research Papers

Weak Memory

Research Papers

Time

Fri 18 Jan

Displayed time zone: Belfast change

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Sala II

Research Papers

Abstract Interpretation

Research Papers

Model Checking

Research Papers

Program Analysis I

Research Papers

Program Analysis II

Wed 16 Jan

Displayed time zone: Belfast change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Sala II
POPL Research Papers
A True Positives Theorem for a Static Race Detector
10:35 - 10:57
POPL Research Papers
Decoupling Lock-Free Data Structures from Memory Reclamation for Static ...
10:57 - 11:19
POPL Research Papers
Pretend Synchrony: Synchronous Verification of Asynchronous Distributed ...
11:19 - 11:41
POPL Research Papers
Weak-Consistency Specification via Visibility Relaxation
11:41 - 12:03
POPL Research Papers
Familial Monads and Structural Operational Semantics
13:45 - 14:07
POPL Research Papers
Bindings as Bounded Natural Functors
14:07 - 14:29
POPL Research Papers
Categorical Combinatorics of Scheduling and Synchronization in Game Sem ...
14:29 - 14:51
POPL Research Papers
StkTokens: Enforcing Well-Bracketed Control Flow and Stack Encapsulatio ...
15:21 - 15:43
POPL Research Papers
Two sides of the same coin: Session Types and Game Semantics
15:43 - 16:05
POPL Research Papers
Exceptional Asynchronous Session Types: Session Types without Tiers
16:05 - 16:27
POPL Research PapersTOPLAS
Interconnectability of Session-Based Logical Processes
16:37 - 16:59
POPL Research Papers
Distributed Programming using Role-Parametric Session Types in Go
16:59 - 17:21
POPL Research Papers
Less is More: Multiparty Session Types Revisited
17:21 - 17:43

Thu 17 Jan

Displayed time zone: Belfast change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Sala II
POPL Research PapersDistinguished Paper
Structuring the Synthesis of Heap-Manipulating Programs
09:00 - 09:22
POPL Research Papers
FrAngel: Component-Based Synthesis with Control Structures
09:22 - 09:44
POPL Research Papers
Hamsaz: Replication Coordination Analysis and Synthesis
09:44 - 10:06
POPL Research Papers
Iron: Managing Obligations in Higher-Order Concurrent Separation Logic
10:36 - 10:58
POPL Research Papers
JaVerT 2.0: Compositional Symbolic Execution for JavaScript
10:58 - 11:20
POPL Research Papers
ISA Semantics for ARMv8-A, RISC-V, and CHERI-MIPS
11:20 - 11:42
POPL Research Papers
Exploring C Semantics and Pointer Provenance
11:42 - 12:04
POPL Research Papers
On Library Correctness under Weak Memory Consistency
13:45 - 14:07
POPL Research Papers
Bridging the Gap Between Programming Languages and Hardware Weak Memory ...
14:07 - 14:29
POPL Research Papers
Grounding Thin-Air Reads with Event Structures
14:29 - 14:51
POPL Research Papers
Type-Guided Worst-Case Input Generation
15:21 - 15:43
POPL Research Papers
CT-Wasm: Type-Driven Secure Cryptography for the Web Ecosystem
15:43 - 16:05
POPL Research Papers
Modular Quantitative Monitoring
16:05 - 16:27
POPL Research PapersTOPLAS
CSS Minification via Constraint Solving
16:27 - 16:49

Fri 18 Jan

Displayed time zone: Belfast change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Sala II
POPL Research PapersDistinguished Paper
A^2 I: Abstract^2 Interpretation
10:35 - 10:57
POPL Research Papers
Concerto: A Framework for Combined Concrete and Abstract Interpretation
10:57 - 11:19
POPL Research Papers
Skeletal Semantics and their Interpretations
11:19 - 11:41
POPL Research Papers
Refinement of Path Expressions for Static Analysis
11:41 - 12:03
POPL Research Papers
Decision Procedures for Path Feasibility of String-Manipulating Program ...
13:45 - 14:07
POPL Research Papers
Bounded Model Checking of Signal Temporal Logic Properties Using Syntac ...
14:07 - 14:29
POPL Research Papers
Adventures in Monitorability: From Branching to Linear Time and Back Again
14:29 - 14:51
POPL Research Papers
Decidable Verification of Uninterpreted Programs
15:21 - 15:43
POPL Research Papers
Inferring Frame Conditions with Static Correlation Analysis
15:43 - 16:05
POPL Research PapersDistinguished Paper
Context-, Flow- and Field-Sensitive Data-Flow Analysis using Synchroniz ...
16:05 - 16:27
POPL Research Papers
Efficient Automated Repair of High Floating-Point Errors in Numerical L ...
16:37 - 16:59
POPL Research Papers
Efficient Parameterized Algorithms for Data Packing
16:59 - 17:21
POPL Research Papers
Fast and exact analysis for LRU caches
17:21 - 17:43