OPCT 2019
Sun 13 - Sat 19 January 2019
Cascais, Portugal
co-located with
POPL 2019
Toggle navigation
Attending
Venue: Hotel Cascais Miragem
Program
OPCT Program
Your Program
Filter by Day
Sun 13 Jan
Mon 14 Jan
Tue 15 Jan
Wed 16 Jan
Thu 17 Jan
Fri 18 Jan
Sat 19 Jan
Track/Call
Organization
OPCT 2019 Committees
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Sign in
Sign up
POPL 2019
(
series
) /
OPCT 2019 (
series
) /
Hotel Cascais Miragem
/
Room information: Sala II
Venue
Hotel Cascais Miragem
Room name
Sala II
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT) Belfast
.
Use conference time zone: (GMT) Belfast
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-10:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-09:00) Alaska
(GMT-08:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-08:00) Pacific Time (US & Canada)
(GMT-07:00) Mountain Time (US & Canada)
(GMT-07:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-06:00) Central Time (US & Canada)
(GMT-05:00) Eastern Time (US & Canada)
(GMT-05:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-03:00) Manaus, Amazonas, Brazil
(GMT-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-02:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+02:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+11:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
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
Concurrency
POPL Research Papers
at
Sala II
Chair(s):
Ori Lahav
Tel Aviv University
10:35
22m
Talk
A True Positives Theorem for a Static Race Detector
POPL 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
POPL 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
POPL 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
POPL Research Papers
Michael Emmi
SRI International
,
Constantin Enea
Université Paris Diderot
Link to publication
DOI
Media Attached
File Attached
13:45 - 14:51
Categories
POPL Research Papers
at
Sala II
Chair(s):
Nicolas Tabareau
Inria
13:45
22m
Talk
Familial Monads and Structural Operational Semantics
POPL 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
POPL 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
POPL 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 I
POPL Research 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
POPL 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
POPL 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
POPL 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 II
POPL Research Papers
at
Sala II
Chair(s):
Andrew D. Gordon
Microsoft Research and University of Edinburgh
16:37
22m
Talk
Interconnectability of Session-Based Logical Processes
TOPLAS
POPL 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
POPL 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
POPL 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
Synthesis
POPL Research Papers
at
Sala II
Chair(s):
Robbert Krebbers
Delft University of Technology
09:00
22m
Talk
Structuring the Synthesis of Heap-Manipulating Programs
Distinguished Paper
POPL 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
POPL 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
POPL 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 Semantics
POPL Research 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
POPL 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
POPL 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
POPL 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
POPL 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 Memory
POPL Research Papers
at
Sala II
Chair(s):
Scott Owens
University of Kent, UK
13:45
22m
Talk
On Library Correctness under Weak Memory Consistency
POPL 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
POPL 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
POPL 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
Time
POPL Research Papers
at
Sala II
Chair(s):
Andrew Myers
Cornell University
15:21
22m
Talk
Type-Guided Worst-Case Input Generation
POPL 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
POPL 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
POPL 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 Solving
TOPLAS
POPL 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 Interpretation
POPL Research Papers
at
Sala II
Chair(s):
David Naumann
Stevens Institute of Technology
10:35
22m
Talk
A^2 I: Abstract^2 Interpretation
Distinguished Paper
POPL 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
POPL 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
POPL 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
POPL 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 Checking
POPL Research 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
POPL 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
POPL 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
POPL 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 I
POPL Research Papers
at
Sala II
Chair(s):
Michael D. Adams
University of Utah
15:21
22m
Talk
Decidable Verification of Uninterpreted Programs
POPL 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
POPL 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 Systems
Distinguished Paper
POPL 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 II
POPL Research 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
POPL 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
POPL 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
POPL 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
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Sala II
POPL Research Papers
Concurrency
POPL Research Papers
Categories
POPL Research Papers
Capabilities and Session Types I
POPL Research Papers
Session Types II
Thu 17 Jan
Displayed time zone:
Belfast
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Sala II
POPL Research Papers
Synthesis
POPL Research Papers
Separation Logic and Memory Semantics
POPL Research Papers
Weak Memory
POPL Research Papers
Time
Fri 18 Jan
Displayed time zone:
Belfast
change
Room
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Sala II
POPL Research Papers
Abstract Interpretation
POPL Research Papers
Model Checking
POPL Research Papers
Program Analysis I
POPL Research Papers
Program Analysis II
Wed 16 Jan
Displayed time zone:
Belfast
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
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 Papers
TOPLAS
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
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Sala II
POPL Research Papers
Distinguished 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 Papers
TOPLAS
CSS Minification via Constraint Solving
16:27 - 16:49
Fri 18 Jan
Displayed time zone:
Belfast
change
Room
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Sala II
POPL Research Papers
Distinguished 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 Papers
Distinguished 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
x
Thu 21 Nov 16:05