POPL 2023
Sun 15 - Sat 21 January 2023
Boston, Massachusetts, United States
Toggle navigation
Attending
Venue: Boston Park Plaza
Supporting POPL
Registration
Information for Students
Information for Presenters
Information for Virtual Attendees
Nearby Events
Program
POPL Program
Your Program
Filter by Day
Sun 15 Jan
Mon 16 Jan
Tue 17 Jan
Wed 18 Jan
Thu 19 Jan
Fri 20 Jan
Sat 21 Jan
Tracks
POPL 2023
POPL
Session Previews
Artifact Evaluation
Diversity, Equity and Inclusion
Student Research Competition
Student Volunteers
TutorialFest
Workshops and Co-located Events
Co-hosted Conferences
CPP
VMCAI
Workshops
CoqPL
LAFI
LAFI
- Introduction to the tensor-programs framework, a PL approach that helps analyse theoretical properties of deep learning.
PEPM
PLMW @ POPL
PriSC
ProLaLa
Co-hosted Symposia
PADL
Organization
POPL 2023 Committees
Organizing Committee
Track Committees
POPL
Artifact Evaluation
Student Research Competition
TutorialFest
Contributors
People Index
Co-hosted Conferences
CPP
Organizing Committee
Program Committee
Steering Committee
VMCAI
Organizing Committee
Program Committee
Artifact Evaluation Committee
Workshops
CoqPL
Program Committee
LAFI
Organizing Committee
Program Committee
Steering Committee
PEPM
Organizing Committee
Program Committee
Steering Committee
PLMW @ POPL
Organizing Committee
Speakers
Panelists
PriSC
Program Committee
Steering Committee
ProLaLa
Program Committee
Co-hosted Symposia
PADL
Programme Chairs
Program Committee
Search
Series
Series
POPL 2025
POPL 2024
POPL 2023
POPL 2022
POPL 2021
POPL 2020
POPL 2019
POPL 2018
POPL 2017
POPL 2016
Sign in
Sign up
POPL 2023
(
series
) /
Boston Park Plaza
/
Room information: Arlington
Venue
Boston Park Plaza
Room name
Arlington
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-05:00) Eastern Time (US & Canada)
.
Use conference time zone: (GMT-05:00) Eastern Time (US & Canada)
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-06: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-04: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-03: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+03: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+12: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
Mon 16 Jan
Displayed time zone:
Eastern Time (US & Canada)
change
09:00 - 10:30
Keynote and contribution paper
VMCAI
at
Arlington
Chair(s):
Michael Emmi
Amazon Web Services
09:00
60m
Keynote
Towards a Theoretical Understanding of Property-Directed Reachability
VMCAI
Sharon Shoham
Tel Aviv University
10:00
30m
Talk
Distributing and Parallelizing Non-canonical Loops
VMCAI
Clément Aubert
Augusta University
,
Thomas Rubiano
LIPN – UMR 7030 Université Sorbonne Paris Nord
,
Neea Rusch
Augusta University
,
Thomas Seiller
CNRS
11:00 - 12:30
Static Analysis
VMCAI
at
Arlington
Chair(s):
Xavier Rival
Inria; ENS; CNRS; PSL University
11:00
30m
Talk
Efficient Interprocedural Data-Flow Analysis using Treedepth and Treewidth
VMCAI
Amir Kafshdar Goharshady
IST Austria, Austria
,
Ahmed Khaled Zaher
HKUST
11:30
30m
Talk
Result Invalidation for Incremental Modular Analyses
VMCAI
Jens Van der Plas
Software Languages Lab, Vrije Universiteit Brussel
,
Quentin Stiévenart
Vrije Universiteit Brussel
,
Coen De Roover
Vrije Universiteit Brussel
12:00
30m
Talk
Symbolic Abstract Heaps for Polymorphic Information-flow Guard Inference
VMCAI
Nicolas Berthier
OCamlPro
,
Narges Khakpour
Linnaeus University
14:00 - 15:30
Keynote and best paper
VMCAI
at
Arlington
Chair(s):
Michael Emmi
Amazon Web Services
14:00
60m
Keynote
What Can Program Analysis Say About Data Bias?
VMCAI
Aws Albarghouthi
University of Wisconsin-Madison
15:00
30m
Talk
Bayesian parameter estimation with guarantees via interval analysis and simulation
VMCAI
Luisa Collodi
University of Florence
16:00 - 18:00
Solvers
VMCAI
at
Arlington
Chair(s):
Aws Albarghouthi
University of Wisconsin-Madison
16:00
30m
Talk
Solving Constrained Horn Clauses over Algebraic Data Types
VMCAI
Lucas Zavalia
Florida State University Tallahassee
,
Lidiia Chernigovskaia
,
Grigory Fedyukovich
Florida State University
16:30
30m
Talk
Satisfiability Modulo Custom Theories in Z3 (Tool Paper)
VMCAI
Nikolaj Bjørner
Microsoft Research
,
Clemens Eisenhofer
,
Laura Kovács
TU Wien
17:00
30m
Talk
CosySEL: Improving SAT Solving Using Local Symmetries
VMCAI
Sabrine Saouli
,
Souheib Baarir
,
Claude Dutheillet
,
Jo Devriendt
Tue 17 Jan
Displayed time zone:
Eastern Time (US & Canada)
change
09:00 - 10:30
Keynote and contribution paper
VMCAI
at
Arlington
Chair(s):
Michael Emmi
Amazon Web Services
09:00
60m
Keynote
Differential Verification of Deep Neural Networks
VMCAI
Chao Wang
University of Southern California
10:00
30m
Talk
ARENA: Enhancing Abstract Refinement for Neural Network Verification
VMCAI
Yuyi Zhong
,
Quang-Trung Ta
National University of Singapore
,
Siau-Cheng Khoo
National University of Singapore
11:00 - 12:30
Neural networks and Abstract Interpretation
VMCAI
at
Arlington
Chair(s):
Grigory Fedyukovich
Florida State University
11:00
15m
Talk
Maximal Robust Neural Network Specifications via Oracle-guided Numerical Optimization
Recorded
VMCAI
Anan Kabaha
Technion, Israel Institute of Technology
,
Dana Drachsler Cohen
Technion
11:15
15m
Talk
SMT-Based Modeling and Verification of Spiking Neural Networks: A Case Study
Recorded
VMCAI
Sumana Ghosh
,
Soham Banerjee
,
Swarup Mohalik
,
Ansuman Banerjee
11:30
30m
Talk
A generic framework to coarse-grain stochastic reaction networks by Abstract Interpretation
VMCAI
Jerome Feret
INRIA Paris
,
Albin Salazar
INRIA/CNRS/ENS/PSL*
12:00
30m
Talk
Sound Symbolic Execution via Abstract Interpretation and its Application to Security
VMCAI
Xavier Rival
Inria; ENS; CNRS; PSL University
,
Ignacio Tiraboschi
Inria, France / ENS, France
,
Tamara Rezk
INRIA
14:00 - 15:30
Keynote and contribution paper
VMCAI
at
Arlington
Chair(s):
Michael Emmi
Amazon Web Services
14:00
60m
Keynote
Verifying, Inferring and Exploiting Code Commutativity
VMCAI
Eric Koskinen
Stevens Institute of Technology
16:00 - 17:30
Model Checking
VMCAI
at
Arlington
Chair(s):
Eric Koskinen
Stevens Institute of Technology
16:00
15m
Talk
A Pragmatic Approach to Stateful Partial Order Reduction
Recorded
VMCAI
Berk Cirisci
IRIF, University Paris Diderot and CNRS, France
,
Constantin Enea
Ecole Polytechnique / LIX / CNRS
,
Azadeh Farzan
University of Toronto
,
Suha Orhun Mutluergil
Sabanci University, Turkey
16:15
15m
Talk
StaticPersist : Compiler Support for PMEM Programming
Recorded
VMCAI
Sorav Bansal
IIT Delhi and CompilerAI Labs
16:30
30m
Talk
Compositional Verification of Stigmergic Collective Systems
VMCAI
Luca Di Stefano
University of Gothenburg, Sweden
,
Frederic Lang
17:00
30m
Talk
Synthesizing History and Prophecy Variables for Symbolic Model Checking
VMCAI
Cole Vick
,
Kenneth L. McMillan
University of Texas at Austin
Mon 16 Jan
Displayed time zone:
Eastern Time (US & Canada)
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
17:00
30
Arlington
VMCAI
Keynote and contribution paper
VMCAI
Static Analysis
VMCAI
Keynote and best paper
VMCAI
Solvers
Tue 17 Jan
Displayed time zone:
Eastern Time (US & Canada)
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
17:00
30
Arlington
VMCAI
Keynote and contribution paper
VMCAI
Neural networks and Abstract Interpretation
VMCAI
Keynote and contribution paper
VMCAI
Model Checking
Mon 16 Jan
Displayed time zone:
Eastern Time (US & Canada)
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
17:00
15
30
45
Arlington
VMCAI
Towards a Theoretical Understanding of Property-Directed Reachability
09:00 - 10:00
VMCAI
Distributing and Parallelizing Non-canonical Loops
10:00 - 10:30
VMCAI
Efficient Interprocedural Data-Flow Analysis using Treedepth and Treewidth
11:00 - 11:30
VMCAI
Result Invalidation for Incremental Modular Analyses
11:30 - 12:00
VMCAI
Symbolic Abstract Heaps for Polymorphic Information-flow Guard Inference
12:00 - 12:30
VMCAI
What Can Program Analysis Say About Data Bias?
14:00 - 15:00
VMCAI
Bayesian parameter estimation with guarantees via interval analysis and ...
15:00 - 15:30
VMCAI
Solving Constrained Horn Clauses over Algebraic Data Types
16:00 - 16:30
VMCAI
Satisfiability Modulo Custom Theories in Z3 (Tool Paper)
16:30 - 17:00
VMCAI
CosySEL: Improving SAT Solving Using Local Symmetries
17:00 - 17:30
Tue 17 Jan
Displayed time zone:
Eastern Time (US & Canada)
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
17:00
15
30
45
Arlington
VMCAI
Differential Verification of Deep Neural Networks
09:00 - 10:00
VMCAI
ARENA: Enhancing Abstract Refinement for Neural Network Verification
10:00 - 10:30
VMCAI
Recorded
Maximal Robust Neural Network Specifications via Oracle-guided Numerica ...
11:00 - 11:15
VMCAI
Recorded
SMT-Based Modeling and Verification of Spiking Neural Networks: A Case ...
11:15 - 11:30
VMCAI
A generic framework to coarse-grain stochastic reaction networks by Abs ...
11:30 - 12:00
VMCAI
Sound Symbolic Execution via Abstract Interpretation and its Applicatio ...
12:00 - 12:30
VMCAI
Verifying, Inferring and Exploiting Code Commutativity
14:00 - 15:00
VMCAI
Recorded
A Pragmatic Approach to Stateful Partial Order Reduction
16:00 - 16:15
VMCAI
Recorded
StaticPersist : Compiler Support for PMEM Programming
16:15 - 16:30
VMCAI
Compositional Verification of Stigmergic Collective Systems
16:30 - 17:00
VMCAI
Synthesizing History and Prophecy Variables for Symbolic Model Checking
17:00 - 17:30
x
Mon 2 Dec 22:12