SPLASH 2023
Sun 22 - Fri 27 October 2023
Cascais, Portugal
Toggle navigation
Attending
Venue: Hotel Cascais Miragem
Registration
Sponsoring
Code of conduct
Support for Attending the Conference
Program
Complete Program
Your Program
Sun 22 Oct
Mon 23 Oct
Tue 24 Oct
Wed 25 Oct
Thu 26 Oct
Fri 27 Oct
Tracks
SPLASH 2023
Doctoral Symposium
OOPSLA
OOPSLA Artifacts
Onward! Essays
Onward! Papers
PLMW
Posters
SPLASH-E
Student Research Competition
Volunteers
Workshops
CARES
Co-hosted Conferences
DLS
GPCE
LOPSTR
MPLR
PPDP
SAS
SAS
SAS
SAS
Artifacts
SLE
Workshops
CONFLANG
23
FTSCS
HATRA
IWACO
LIVE
PAINT
PLF
REBLS
ST30
VMIL
VMIL
- Keynote
Organization
SPLASH 2023 Committees
Organizing Committee
Steering Committee
Track Committees
Doctoral Symposium
OOPSLA
OOPSLA Review Committee
External Review / Artifact Evaluation Committee
OOPSLA Artifacts
Onward! Essays
Program Committee
Onward! Steering Committee
Onward! Papers
Program Committee
Steering Committee
PLMW
Organizing Committee
Speakers & Panelists
Mentors
Posters
SPLASH-E
Program Commitee
Steering Committee
Student Research Competition
Organizers
Reviewers
Volunteers
Workshops
Contributors
People Index
Co-hosted Conferences
DLS
Program Committee
Steering Committee
GPCE
Organizing Committee
Program Committee
LOPSTR
N/A - check homepage
MPLR
Organizing Committee
Program Committee
PPDP
N/A - check homepage
SAS
Invited Speakers
Organizing Committee
SAS 2023
SAS 2023 Artifacts
SLE
Organizing Committee
Program Committee
Workshops
CONFLANG
Organizing Committee
Program Committee
FTSCS
Organizing Committee
Program Committee
HATRA
Organizing Committee
Program Committee
IWACO
Organizing Committee
Program Committee
LIVE
Organizing Committee
Program Committee
PAINT
Organizing Committee
Program Committee
PLF
Organizing Committee
Program Committee
REBLS
Organizing Committee
Program Committee
ST30
Organizing Committee
Programme Committee
VMIL
Organizing Committee
Program Committee
Search
Series
Series
SPLASH 2024
SPLASH 2023
SPLASH 2022
SPLASH 2021
SPLASH 2020
SPLASH 2019
SPLASH 2018
SPLASH 2017
SPLASH 2016
SPLASH 2015
SPLASH 2014
SPLASH 2013
SPLASH 2012
SPLASH 2011
SPLASH 2010
OOPSLA 2009
OOPSLA 2008
OOPSLA 2007
OOPSLA 2006
OOPSLA 2005
OOPSLA 2004
OOPSLA 2003
OOPSLA 2002
OOPSLA 2001
OOPSLA 2000
Sign in
Sign up
SPLASH 2023
(
series
) /
Hotel Cascais Miragem
/
Room information: Room II
Venue
Hotel Cascais Miragem
Room name
Room II
Floor
0
Capacity
196
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
This program is tentative and subject to change.
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+01:00) Lisbon
.
Use conference time zone: (GMT+01:00) Lisbon
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-09:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-08:00) Alaska
(GMT-07:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-07:00) Pacific Time (US & Canada)
(GMT-06: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-05:00) Central Time (US & Canada)
(GMT-04:00) Eastern Time (US & Canada)
(GMT-04: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-03:00) Atlantic Time (Goose Bay)
(GMT-03:00) Atlantic Time (Canada)
(GMT-02:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-02:00) Miquelon, St. Pierre
(GMT-02: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) Azores
(UTC) Coordinated Universal Time
(GMT+01:00) Belfast
(GMT+01:00) Dublin
(GMT+01:00) Lisbon
(GMT+01:00) London
(GMT) Monrovia, Reykjavik
(GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+02:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+02:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+03:00) Athens
(GMT+03:00) Beirut
(GMT+02:00) Cairo
(GMT+03:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+03: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
Sun 22 Oct
Displayed time zone:
Lisbon
change
09:00 - 10:30
Session 1
SAS
at
Room II
09:00
5m
Opening
SAS
Manuel Hermenegildo
Technical University of Madrid (UPM) and IMDEA Software Institute
,
José Morales
IMDEA Software Institute
,
Marc Chevalier
09:05
60m
Keynote
Goal-Directed Abstract Interpretation and Event-Driven Frameworks
Keynote
SAS
I:
Bor-Yuh Evan Chang
University of Colorado Boulder & Amazon
10:05
30m
Talk
A Product of Shape and Sequence Abstractions
SAS
Josselin Giet
Ecole Normale Supérieure
,
Félix Ridoux
Univ Rennes / IMDEA Software Institute
,
Xavier Rival
Inria; ENS; CNRS; PSL University
11:00 - 12:30
Domain precision
SAS
at
Room II
11:00
30m
Talk
How fitting is your abstract domain?
SAS
Roberto Giacobazzi
University of Arizona
,
Isabella Mastroeni
University of Verona, Italy
,
Elia Perantoni
University of Verona
11:30
30m
Talk
Domain Precision in Galois Connection-less Abstract Interpretation
SAS
Isabella Mastroeni
University of Verona, Italy
,
Michele Pasqua
University of Verona
12:00
30m
Talk
A Formal Framework to Measure the Incompleteness of Abstract Interpretations
SAS
Marco Campion
INRIA & École Normale Supérieure | Université PSL, Paris
,
Caterina Urban
INRIA & École Normale Supérieure | Université PSL
,
Mila Dalla Preda
University of Verona
,
Roberto Giacobazzi
University of Arizona
14:00 - 15:30
Synthesis and applications
SAS
at
Room II
14:00
30m
Talk
Generalized Program Sketching by Abstract Interpretation and Logical Abduction
SAS
Aleksandar S. Dimovski
Mother Teresa University, Skopje
14:30
30m
Talk
Reverse Template Processing using Abstract Interpretation
SAS
Matthieu Lemerre
Université Paris-Saclay - CEA LIST
15:00
30m
Talk
BREWasm: A General Static Binary Rewriting Framework for WebAssembly
SAS
Shangtong Cao
Beijing University of Posts and Telecommunications
,
Ningyu He
Peking University
,
Yao Guo
Peking University
,
Haoyu Wang
Huazhong University of Science and Technology
16:00 - 17:30
Quantum, neural
SAS
at
Room II
16:00
30m
Talk
Quantum Constant Propagation
SAS
Yanbin Chen
TUM School of Computation, Information and Technology, Technical University of Munich
,
Yannick Stade
TUM School of Computation, Information and Technology, Technical University of Munich
16:30
30m
Talk
Boosting Multi-Neuron Convex Relaxation for Neural Network Verification
SAS
XueZhou Tang
ShenZhen University
,
Ye Zheng
Shenzhen University
,
Jiaxiang Liu
Shenzhen University
Mon 23 Oct
Displayed time zone:
Lisbon
change
09:00 - 10:30
Session 5
SAS
at
Room II
09:00
60m
Keynote
Abstract Interpretation in Industry - Experience and Lessons Learned
Keynote
SAS
I:
Daniel Kaestner
AbsInt
10:00
30m
Talk
Lifting On-Demand Analysis to Higher-Order Languages
SAS
Daniel Schoepe
Amazon
,
David Seekatz
Unaffiliated
,
Ilina Stoilkovska
Amazon
,
Sandro Stucki
Amazon
,
Daniel Tattersall
Amazon, US
,
Pauline Bolignano
Amazon
,
Franco Raimondi
Amazon
,
Bor-Yuh Evan Chang
University of Colorado Boulder & Amazon
11:00 - 12:30
Modular arithmetic and numeric analysis
SAS
at
Room II
11:00
30m
Talk
Symbolic transformation of expressions in modular arithmetic
SAS
Jérôme Boillot
École Normale Supérieure, PSL University & INRIA
,
Jerome Feret
INRIA Paris
11:30
30m
Talk
Polynomial Analysis of Modular Arithmetic
SAS
Thomas Seed
University of Kent
,
Andy King
Kent
,
Neil Evans
AWE
,
Chris Coppins
University of Kent
12:00
30m
Talk
Octagons Revisited - Elegant Proofs and Simplified Algorithms
SAS
Michael Schwarz
Technische Universität München
,
Helmut Seidl
Technische Universität München
14:00 - 15:30
Error location and scaling
SAS
at
Room II
14:00
30m
Talk
Error Invariants for Fault Localization via Abstract Interpretation
SAS
Aleksandar S. Dimovski
Mother Teresa University, Skopje
14:30
30m
Talk
Error Localization for Sequential Effect Systems
SAS
Colin Gordon
Drexel University
,
Chaewon Yun
Drexel University
15:00
30m
Talk
Scaling up Roundoff Analysis of Functional Data Structure Programs
SAS
Anastasia Isychev
Technical University of Munich
,
Eva Darulova
Uppsala University
16:00 - 17:30
Session 8
SAS
at
Room II
16:00
60m
Keynote
Building Trust and Safety in Artificial Intelligence with Abstract Interpretation
Keynote
SAS
I:
Gagandeep Singh
University of Illinois at Urbana-Champaign
17:00
30m
Awards
Radhia Cousot Award and PC report
SAS
C:
Manuel Hermenegildo
Technical University of Madrid (UPM) and IMDEA Software Institute
,
C:
José Morales
IMDEA Software Institute
Tue 24 Oct
Displayed time zone:
Lisbon
change
09:00 - 10:30
Session 9
SAS
at
Room II
09:00
60m
Keynote
Verifying Infinitely Many Programs at Once
Keynote
SAS
I:
Loris D'Antoni
University of Wisconsin-Madison
10:00
30m
Talk
Mutual Refinements of Context-Free Language Reachability
SAS
Shuo Ding
Georgia Institute of Technology
,
Qirun Zhang
Georgia Institute of Technology
11:00 - 12:30
Cost/precision trade-offs and acceleration
SAS
at
Room II
11:00
30m
Talk
ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses
SAS
Florian Frohn
RWTH Aachen University
,
Jürgen Giesl
RWTH Aachen University
11:30
30m
Talk
Unconstrained Variable Oracles for Faster Static Analyses
SAS
Vincenzo Arceri
University of Parma, Italy
,
Greta Dolcetti
University of Parma - Department of Mathematical, Physical, and Computer Sciences
,
Enea Zaffanella
University of Parma, Italy
12:00
30m
Talk
Modular Optimization-Based Roundoff Error Analysis of Floating-Point Programs
SAS
Rosa Abbasi Boroujeni
Max Planck Institute for Software Systems
,
Eva Darulova
Uppsala University
Wed 25 Oct
Displayed time zone:
Lisbon
change
11:00 - 12:30
program synthesis 1
OOPSLA
at
Room II
11:00
18m
Talk
Asparagus: Automated Synthesis of Parametric Gas Upper-bounds for Smart Contracts
OOPSLA
Zhuo Cai
Hong Kong University of Science and Technology
,
Soroush Farokhnia
Hong Kong University of Science and Technology
,
Amir Kafshdar Goharshady
IST Austria, Austria
,
S. Hitarth
Hong Kong University of Science and Technology
11:18
18m
Talk
Equality Saturation Theory Exploration à la Carte
OOPSLA
Anjali Pal
University of Washington
,
Brett Saiki
University of Washington
,
Oliver Flatt
,
Ryan Tjoa
University of Washington
,
Amy Zhu
University of Washington
,
Cynthia Richey
University of Washington
,
Max Willsey
University of California, Berkeley
,
Zachary Tatlock
University of Washington
,
Chandrakana Nandi
Certora
Pre-print
11:36
18m
Talk
Synthesizing Specifications
OOPSLA
Kanghee Park
University of Wisconsin-Madison
,
Loris D'Antoni
University of Wisconsin-Madison
,
Thomas Reps
University of Wisconsin-Madison
11:54
18m
Talk
Explainable Program Synthesis by Localizing Specifications
OOPSLA
Amirmohammad Nazari
University of Southern California
,
Yifei Huang
University of Southern California
,
Roopsha Samanta
Purdue University
,
Arjun Radhakrishna
Microsoft
,
Mukund Raghothaman
University of Southern California
12:12
18m
Talk
Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction
OOPSLA
Zhenyang Xu
University of Waterloo
,
Yongqiang Tian
The Hong Kong University of Science and Technology; University of Waterloo
,
Mengxiao Zhang
University of Waterloo
,
Gaosen Zhao
University of Waterloo
,
Yu Jiang
Tsinghua University
,
Chengnian Sun
University of Waterloo
DOI
14:00 - 15:30
program synthesis 2
OOPSLA
at
Room II
14:00
18m
Talk
Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates
OOPSLA
Aalok Thakkar
University of Pennsylvania
,
Nathaniel Sands
University of Southern California
,
Georgios Petrou
University of Southern California
,
Rajeev Alur
University of Pennsylvania
,
Mayur Naik
University of Pennsylvania
,
Mukund Raghothaman
University of Southern California
14:18
18m
Talk
Data Extraction via Semantic Regular Expression Synthesis
OOPSLA
Qiaochu Chen
University of Texas at Austin
,
Arko Banerjee
University of Texas at Austin
,
Çağatay Demiralp
MIT CSAIL
,
Greg Durrett
University of Texas at Austin
,
Işil Dillig
University of Texas at Austin
14:36
18m
Talk
Synthesizing Efficient Memoization Algorithms
OOPSLA
Yican Sun
Peking University
,
Xuanyu Peng
Peking University
,
Yingfei Xiong
Peking University
14:54
18m
Talk
Algebro-geometric Algorithms for Template-Based Synthesis of Polynomial Programs
OOPSLA
Amir Kafshdar Goharshady
Hong Kong University of Science and Technology
,
S. Hitarth
Hong Kong University of Science and Technology
,
Fatemeh Mohammadi
KU Leuven
,
Harshit Jitendra Motwani
Ghent University
DOI
15:12
18m
Talk
Modular Component-Based Quantum Circuit Synthesis
OOPSLA
Chan Gu Kang
Korea University
,
Hakjoo Oh
Korea University
DOI
16:00 - 17:30
DSLs
OOPSLA
at
Room II
16:00
15m
Talk
Fluent APIs in Functional Languages
OOPSLA
Ori Roth
Technion
,
Yossi Gil
Technion
DOI
Pre-print
16:15
15m
Talk
Mat2Stencil: A Modular Matrix-Based DSL for Explicit and Implicit Matrix-Free PDE Solvers on Structured Grid
OOPSLA
Huanqi Cao
Tsinghua University
,
Shizhi Tang
Tsinghua University
,
Qianchao Zhu
Peking University
,
Bowen Yu
Nanjing University
,
Wenguang Chen
Tsinghua University
16:30
15m
Talk
How Domain Experts Use an Embedded DSL
OOPSLA
Lisa Rennels
UC Berkeley
,
Sarah E. Chasins
University of California at Berkeley
16:45
15m
Talk
Saggitarius: A DSL for Specifying Grammatical Domains
OOPSLA
Anders Miltner
Simon Fraser University
,
Devon Loehr
Princeton University
,
Arnold Mong
Princeton University
,
Kathleen Fisher
Tufts University
,
David Walker
Princeton University
17:00
15m
Talk
A Pretty Expressive Printer
OOPSLA
Sorawee Porncharoenwase
University of Washington
,
Justin Pombrio
Brown University, USA
,
Emina Torlak
Amazon Web Services, USA
Pre-print
17:15
15m
Talk
Translating canonical SQL to imperative code in Coq
OOPSLA
Véronique Benzaken
Université Paris-Saclay - Laboratoire de Méthodes Formelles
,
Évelyne Contejean
CNRS, ENS Paris-Saclay & Université Paris-Saclay
,
Houssem Hachmaoui
,
Chantal Keller
Université Paris Saclay
,
Louis Mandel
IBM Research, USA
,
Avraham Shinnar
IBM Research
,
Jerome Simeon
DocuSign, Inc.
Link to publication
DOI
Thu 26 Oct
Displayed time zone:
Lisbon
change
11:00 - 12:30
language semantics
OOPSLA
at
Room II
11:00
18m
Talk
The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog
OOPSLA
Qinlin Chen
Nanjing University
,
Nairen Zhang
Nanjing University
,
Jinpeng Wang
Nanjing University
,
Tian Tan
Nanjing University
,
Chang Xu
Nanjing University
,
Xiaoxing Ma
Nanjing University
,
Yue Li
Nanjing University
11:18
18m
Talk
Regular Expression Matching using Bit Vector Automata
OOPSLA
Alexis Le Glaunec
Rice University
,
Lingkun Kong
Rice University
,
Konstantinos Mamouras
Rice University
DOI
11:36
18m
Talk
Bidirectional Object-Oriented Programming: Towards Programmatic and Direct Manipulation of Objects
OOPSLA
Xing Zhang
Peking University
,
Guanchen Guo
Peking University
,
Xiao He
University of Science and Technology Beijing
,
Zhenjiang Hu
Peking University
DOI
11:54
18m
Talk
Bring Your Own Data Structures to Datalog
OOPSLA
Arash Sahebolamri
Syracuse University
,
Langston Barrett
Galois, Inc
,
Scott Moore
Galois, Inc.
,
Kristopher Micinski
Syracuse University
12:12
18m
Talk
Rhombus: A New Spin on Macros Without All the Parentheses
OOPSLA
Matthew Flatt
University of Utah
,
Taylor Allred
University of Utah
,
Ross Angle
independent
,
Stephen De Gabrielle
independent
,
Robby Findler
Northwestern University
,
Jack Firth
independent
,
Kiran Gopinathan
National University of Singapore
,
Ben Greenman
Brown University
,
Siddhartha Kasivajhula
independent
,
Alex Knauth
Northeastern University
,
Jay McCarthy
University of Massachusetts Lowell & Reach
,
Sam Phillips
independent
,
Sorawee Porncharoenwase
University of Washington
,
Jens Axel Søgaard
independent
,
Sam Tobin-Hochstadt
Indiana University
Pre-print
14:00 - 15:30
program analysis 1
OOPSLA
at
Room II
14:00
18m
Talk
The Bounded Pathwidth of Control-flow Graphs
OOPSLA
Giovanna Kobus Conrado
Hong Kong University of Science and Technology (HKUST)
,
Amir Kafshdar Goharshady
Hong Kong University of Science and Technology
,
Chun Kit LAM
Hong Kong University of Science and Technology (HKUST)
14:18
18m
Talk
How Profilers Can Help Navigate Type Migration
OOPSLA
Ben Greenman
Brown University
,
Matthias Felleisen
PLT @ Northeastern University
,
Christos Dimoulas
PLT @ Northwestern University
14:36
18m
Talk
Synthesizing Precise Static Analyzers for Automatic Differentiation
OOPSLA
Jacob Laurel
University of Illinois at Urbana-Champaign
,
Siyuan Brant Qian
University of Illinois at Urbana-Champaign
,
Gagandeep Singh
University of Illinois at Urbana-Champaign
,
Sasa Misailovic
University of Illinois at Urbana-Champaign
14:54
18m
Talk
A Container-Usage-Pattern-based Context Debloating Approach for Object-Sensitive Pointer Analysis
OOPSLA
Dongjie He
UNSW
,
Yujiang Gui
UNSW Sydney
,
Wei Li
University of New South Wales
,
Yonggang Tao
University of New South Wales
,
Changwei Zou
University of New South Wales
,
Yulei Sui
University of New South Wales, Sydney
,
Jingling Xue
UNSW
15:12
18m
Talk
Static Analysis of Memory Models for SMT Encodings
OOPSLA
Thomas Haas
Technical University of Braunschweig
,
René Maseli
TU Braunschweig
,
Roland Meyer
TU Braunschweig
,
Hernán Ponce de León
Huawei Dresden Research Center
16:00 - 17:30
program analysis 2
OOPSLA
at
Room II
16:00
18m
Talk
Historia: Refuting Callback Reachability with Message-History Logics
OOPSLA
Shawn Meier
University of Colorado, Boulder
,
Sergio Mover
Ecole Polytechnique
,
Gowtham Kaki
University of Colorado Boulder
,
Bor-Yuh Evan Chang
University of Colorado Boulder & Amazon
16:18
18m
Talk
Exploiting the Sparseness of Control-flow and Call Graphs for Efficient and On-demand Algebraic Program Analysis
OOPSLA
Giovanna Kobus Conrado
Hong Kong University of Science and Technology (HKUST)
,
Amir Kafshdar Goharshady
Hong Kong University of Science and Technology
,
Kerim Kochekov
Hong Kong University of Science and Technology
,
Yun Chen Tsai
Hong Kong University of Science and Technology
,
Ahmed Khaled Zaher
HKUST
16:36
18m
Talk
A Cocktail Approach to Practical Call Graph Construction
OOPSLA
Yuandao Cai
Hong Kong University of Science and Technology, China
,
Charles Zhang
Hong Kong University of Science and Technology
16:54
18m
Talk
Building Dynamic System Call Sandbox With Partial Order Analysis
OOPSLA
Quan Zhang
Tsinghua University
,
Chijin Zhou
Tsinghua University
,
Yiwen Xu
Tsinghua University
,
Zijing Yin
Tsinghua University
,
Mingzhe Wang
Tsinghua University
,
Zhuo Su
Tsinghua University
,
Chengnian Sun
University of Waterloo
,
Yu Jiang
Tsinghua University
,
Jiaguang Sun
Tsinghua University
17:12
18m
Talk
Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection
OOPSLA
Ruyi Ji
Peking University
,
Chaozhe Kong
Peking University
,
Yingfei Xiong
Peking University
,
Zhenjiang Hu
Peking University
DOI
Fri 27 Oct
Displayed time zone:
Lisbon
change
11:00 - 12:30
distribution & networking 1
OOPSLA
at
Room II
11:00
18m
Talk
Initializing Global Objects: Time and Order
OOPSLA
Fengyun Liu
Oracle Labs
,
Ondřej Lhoták
University of Waterloo
,
David Hua
University of Waterloo
,
Enze Xing
University of Waterloo
11:18
18m
Talk
Type-Safe Dynamic Placement with First-Class Placed Values
OOPSLA
George Zakhour
University of St.Gallen
,
Pascal Weisenburger
University of St. Gallen
,
Guido Salvaneschi
University of St. Gallen
DOI
Pre-print
11:36
18m
Talk
Secure RDTs: Enforcing Access Control Policies for Offline Available JSON Data
OOPSLA
Thierry Renaux
Vrije Universiteit Brussel
,
Sam Van den Vonder
Vrije Universiteit Brussel
,
Wolfgang De Meuter
Vrije Universiteit Brussel
DOI
Pre-print
11:54
18m
Talk
AtomiS: Data-centric synchronization made practical
OOPSLA
Hervé Paulino
NOVA University of Lisbon
,
Ana Matos
University of Lisbon
,
Jan Cederquist
University of Lisbon
,
Marco Giunti
NOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa
,
João Batista Pereira Matos Júnior
Sidia Instituto de Ciência e Tecnologia
,
Antonio Ravara
NOVA LINCS & FCT, NOVA University of Lisbon
12:12
18m
Talk
Enabling Bounded Verification of Doubly-Unbounded Distributed Agreement-Based Systems via Bounded Regions
OOPSLA
Christopher Wagner
Purdue University
,
Nouraldin Jaber
Purdue University
,
Roopsha Samanta
Purdue University
DOI
14:00 - 15:30
compilation and optimization 1
OOPSLA
at
Room II
14:00
18m
Talk
Formally Verifying Optimizations with Block Simulations
OOPSLA
Leo Gourdin
Université Grenoble-Alpes
,
Benjamin Bonneau
ENS PSL
,
Sylvain Boulmé
Grenoble Alps University / CNRS / Grenoble INP / VERIMAG
,
David Monniaux
CNRS/VERIMAG
,
Alexandre Bérard
Université Grenoble-Alpes
DOI
Pre-print
14:18
18m
Talk
Back to Direct Style: Typed and Tight
OOPSLA
Marius Müller
University of Tübingen
,
Philipp Schuster
University of Tübingen
,
Jonathan Immanuel Brachthäuser
University of Tübingen
,
Klaus Ostermann
University of Tübingen
DOI
Pre-print
14:36
18m
Talk
Hardware-Aware Static Optimization of Hyperdimensional Computations
OOPSLA
Pu (Luke) Yi
Stanford University
,
Sara Achour
MIT
14:54
18m
Talk
Rapid: Region-based Pointer Disambiguation
OOPSLA
Khushboo Chitre
IIIT Delhi
,
Piyus Kedia
IIIT Delhi
,
Rahul Purandare
University of Nebraska-Lincoln
15:12
18m
Talk
Automated Ambiguity Detection in Layout-Sensitive Grammars
OOPSLA
Jiangyi Liu
Tsinghua University
,
Fengmin Zhu
CISPA Helmholtz Center for Information Security
,
Fei He
Tsinghua University
Pre-print
16:00 - 17:30
refactoring
OOPSLA
at
Room II
16:00
18m
Talk
Aliasing Limits on Translating C to Safe Rust
OOPSLA
Mehmet Emre
University of San Francisco
,
Peter Boyland
University of California at Santa Barbara
,
Aesha Parekh
University of California at Santa Barbara
,
Ryan Schroeder
University of California at Santa Barbara
,
Kyle Dewey
California State University
,
Ben Hardekopf
University of California at Santa Barbara
DOI
Pre-print
16:18
18m
Talk
Adventure of a Lifetime: Extract Method Refactoring for Rust
OOPSLA
Sewen Thy
Ahrefs Research
,
Andreea Costea
School of Computing, National University Of Singapore
,
Kiran Gopinathan
National University of Singapore
,
Ilya Sergey
National University of Singapore
DOI
Pre-print
16:36
18m
Talk
Inductive Program Synthesis Guided by Observational Program Similarity
OOPSLA
John Feser
Massachusetts Institute of Technology
,
Işil Dillig
University of Texas at Austin
,
Armando Solar-Lezama
Massachusetts Institute of Technology
16:54
18m
Talk
Automated Translation of Functional Big Data Queries to SQL
OOPSLA
Guoqiang Zhang
North Carolina State University
,
Benjamin Mariano
University of Texas at Austin
,
Xipeng Shen
North Carolina State University
,
Işil Dillig
University of Texas at Austin
DOI
17:12
18m
Talk
User-Customizable Transpilation of Scripting Languages
OOPSLA
Bo Wang
National University of Singapore
,
Aashish Kolluri
National University of Singapore
,
Ivica Nikolić
National University of Singapore
,
Teodora Baluta
National University of Singapore
,
Prateek Saxena
National University of Singapore
DOI
Sun 22 Oct
Displayed time zone:
Lisbon
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
Room II
SAS
Session 1
SAS
Domain precision
SAS
Synthesis and applications
SAS
Quantum, neural
Mon 23 Oct
Displayed time zone:
Lisbon
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
Room II
SAS
Session 5
SAS
Modular arithmetic and numeric analysis
SAS
Error location and scaling
SAS
Session 8
Tue 24 Oct
Displayed time zone:
Lisbon
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
Room II
SAS
Session 9
SAS
Cost/precision trade-offs and acceleration
SAS
SAS
Wed 25 Oct
Displayed time zone:
Lisbon
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
Room II
OOPSLA
OOPSLA
program synthesis 1
OOPSLA
program synthesis 2
OOPSLA
DSLs
Thu 26 Oct
Displayed time zone:
Lisbon
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
Room II
OOPSLA
OOPSLA
language semantics
OOPSLA
program analysis 1
OOPSLA
program analysis 2
Fri 27 Oct
Displayed time zone:
Lisbon
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
Room II
OOPSLA
OOPSLA
distribution & networking 1
OOPSLA
compilation and optimization 1
OOPSLA
refactoring
Sun 22 Oct
Displayed time zone:
Lisbon
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
Room II
SAS
Opening
09:00 - 09:05
SAS
Keynote
Goal-Directed Abstract Interpretation and Event-Driven Frameworks
09:05 - 10:05
SAS
A Product of Shape and Sequence Abstractions
10:05 - 10:35
SAS
How fitting is your abstract domain?
11:00 - 11:30
SAS
Domain Precision in Galois Connection-less Abstract Interpretation
11:30 - 12:00
SAS
A Formal Framework to Measure the Incompleteness of Abstract Interpreta ...
12:00 - 12:30
SAS
Generalized Program Sketching by Abstract Interpretation and Logical Ab ...
14:00 - 14:30
SAS
Reverse Template Processing using Abstract Interpretation
14:30 - 15:00
SAS
BREWasm: A General Static Binary Rewriting Framework for WebAssembly
15:00 - 15:30
SAS
Quantum Constant Propagation
16:00 - 16:30
SAS
Boosting Multi-Neuron Convex Relaxation for Neural Network Verification
16:30 - 17:00
Mon 23 Oct
Displayed time zone:
Lisbon
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
Room II
SAS
Keynote
Abstract Interpretation in Industry - Experience and Lessons Learned
09:00 - 10:00
SAS
Lifting On-Demand Analysis to Higher-Order Languages
10:00 - 10:30
SAS
Symbolic transformation of expressions in modular arithmetic
11:00 - 11:30
SAS
Polynomial Analysis of Modular Arithmetic
11:30 - 12:00
SAS
Octagons Revisited - Elegant Proofs and Simplified Algorithms
12:00 - 12:30
SAS
Error Invariants for Fault Localization via Abstract Interpretation
14:00 - 14:30
SAS
Error Localization for Sequential Effect Systems
14:30 - 15:00
SAS
Scaling up Roundoff Analysis of Functional Data Structure Programs
15:00 - 15:30
SAS
Keynote
Building Trust and Safety in Artificial Intelligence with Abstract Inte ...
16:00 - 17:00
SAS
Radhia Cousot Award and PC report
17:00 - 17:30
Tue 24 Oct
Displayed time zone:
Lisbon
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
Room II
SAS
Keynote
Verifying Infinitely Many Programs at Once
09:00 - 10:00
SAS
Mutual Refinements of Context-Free Language Reachability
10:00 - 10:30
SAS
ADCL: Acceleration Driven Clause Learning for Constrained Horn Clauses
11:00 - 11:30
SAS
Unconstrained Variable Oracles for Faster Static Analyses
11:30 - 12:00
SAS
Modular Optimization-Based Roundoff Error Analysis of Floating-Point Pr ...
12:00 - 12:30
Wed 25 Oct
Displayed time zone:
Lisbon
change
Room
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
Room II
SPLASH OOPSLA
Asparagus: Automated Synthesis of Parametric Gas Upper-bounds for Smart ...
11:00 - 11:18
SPLASH OOPSLA
Equality Saturation Theory Exploration à la Carte
11:18 - 11:36
SPLASH OOPSLA
Synthesizing Specifications
11:36 - 11:54
SPLASH OOPSLA
Explainable Program Synthesis by Localizing Specifications
11:54 - 12:12
SPLASH OOPSLA
Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction
12:12 - 12:30
SPLASH OOPSLA
Mobius: Synthesizing Relational Queries with Recursive and Invented Pre ...
14:00 - 14:18
SPLASH OOPSLA
Data Extraction via Semantic Regular Expression Synthesis
14:18 - 14:36
SPLASH OOPSLA
Synthesizing Efficient Memoization Algorithms
14:36 - 14:54
SPLASH OOPSLA
Algebro-geometric Algorithms for Template-Based Synthesis of Polynomial ...
14:54 - 15:12
SPLASH OOPSLA
Modular Component-Based Quantum Circuit Synthesis
15:12 - 15:30
SPLASH OOPSLA
Fluent APIs in Functional Languages
16:00 - 16:15
SPLASH OOPSLA
Mat2Stencil: A Modular Matrix-Based DSL for Explicit and Implicit Matri ...
16:15 - 16:30
SPLASH OOPSLA
How Domain Experts Use an Embedded DSL
16:30 - 16:45
SPLASH OOPSLA
Saggitarius: A DSL for Specifying Grammatical Domains
16:45 - 17:00
SPLASH OOPSLA
A Pretty Expressive Printer
17:00 - 17:15
SPLASH OOPSLA
Translating canonical SQL to imperative code in Coq
17:15 - 17:30
Thu 26 Oct
Displayed time zone:
Lisbon
change
Room
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
Room II
SPLASH OOPSLA
The Essence of Verilog: A Tractable and Tested Operational Semantics fo ...
11:00 - 11:18
SPLASH OOPSLA
Regular Expression Matching using Bit Vector Automata
11:18 - 11:36
SPLASH OOPSLA
Bidirectional Object-Oriented Programming: Towards Programmatic and Dir ...
11:36 - 11:54
SPLASH OOPSLA
Bring Your Own Data Structures to Datalog
11:54 - 12:12
SPLASH OOPSLA
Rhombus: A New Spin on Macros Without All the Parentheses
12:12 - 12:30
SPLASH OOPSLA
The Bounded Pathwidth of Control-flow Graphs
14:00 - 14:18
SPLASH OOPSLA
How Profilers Can Help Navigate Type Migration
14:18 - 14:36
SPLASH OOPSLA
Synthesizing Precise Static Analyzers for Automatic Differentiation
14:36 - 14:54
SPLASH OOPSLA
A Container-Usage-Pattern-based Context Debloating Approach for Object- ...
14:54 - 15:12
SPLASH OOPSLA
Static Analysis of Memory Models for SMT Encodings
15:12 - 15:30
SPLASH OOPSLA
Historia: Refuting Callback Reachability with Message-History Logics
16:00 - 16:18
SPLASH OOPSLA
Exploiting the Sparseness of Control-flow and Call Graphs for Efficient ...
16:18 - 16:36
SPLASH OOPSLA
A Cocktail Approach to Practical Call Graph Construction
16:36 - 16:54
SPLASH OOPSLA
Building Dynamic System Call Sandbox With Partial Order Analysis
16:54 - 17:12
SPLASH OOPSLA
Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection
17:12 - 17:30
Fri 27 Oct
Displayed time zone:
Lisbon
change
Room
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
Room II
SPLASH OOPSLA
Initializing Global Objects: Time and Order
11:00 - 11:18
SPLASH OOPSLA
Type-Safe Dynamic Placement with First-Class Placed Values
11:18 - 11:36
SPLASH OOPSLA
Secure RDTs: Enforcing Access Control Policies for Offline Available JS ...
11:36 - 11:54
SPLASH OOPSLA
AtomiS: Data-centric synchronization made practical
11:54 - 12:12
SPLASH OOPSLA
Enabling Bounded Verification of Doubly-Unbounded Distributed Agreement ...
12:12 - 12:30
SPLASH OOPSLA
Formally Verifying Optimizations with Block Simulations
14:00 - 14:18
SPLASH OOPSLA
Back to Direct Style: Typed and Tight
14:18 - 14:36
SPLASH OOPSLA
Hardware-Aware Static Optimization of Hyperdimensional Computations
14:36 - 14:54
SPLASH OOPSLA
Rapid: Region-based Pointer Disambiguation
14:54 - 15:12
SPLASH OOPSLA
Automated Ambiguity Detection in Layout-Sensitive Grammars
15:12 - 15:30
SPLASH OOPSLA
Aliasing Limits on Translating C to Safe Rust
16:00 - 16:18
SPLASH OOPSLA
Adventure of a Lifetime: Extract Method Refactoring for Rust
16:18 - 16:36
SPLASH OOPSLA
Inductive Program Synthesis Guided by Observational Program Similarity
16:36 - 16:54
SPLASH OOPSLA
Automated Translation of Functional Big Data Queries to SQL
16:54 - 17:12
SPLASH OOPSLA
User-Customizable Transpilation of Scripting Languages
17:12 - 17:30
x
Wed 4 Oct 14:27