ISMM 2023
Sun 18 Jun 2023 Orlando, Florida, United States
co-located with PLDI 2023
PLDI 2023 (series) / ISMM 2023 (series) / Orlando World Center Marriott /

Room information: Cypress 1

VenueOrlando World Center Marriott
Room nameCypress 1
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

Mon 19 Jun

Displayed time zone: Eastern Time (US & Canada) change

12:30 - 13:40
SIGPLAN: Awards LunchPLDI SIGPLAN at Cypress 1
12:30
70m
Lunch
SIGPLAN Awards LunchSocial
PLDI SIGPLAN

18:00 - 19:30
SRC: Poster SessionPLDI SRC at Cypress 1
18:00
7m
Poster
An Eager SMT Solver for Algebraic Data Type Queries
PLDI SRC
Amar Shah
File Attached
18:07
7m
Poster
A Synchronization Mechanism for an Accelerator Design IR
PLDI SRC
Pai Li Cornell University, USA
Media Attached
18:15
7m
Poster
ConstraintFlow: A Declarative DSL for Certified Artificial Intelligence
PLDI SRC
Avaljot Singh
Media Attached
18:22
7m
Poster
Distributions for Compositionally Differentiating Parametric Discontinuities
PLDI SRC
Jesse Michel Massachusetts Institute of Technology
Media Attached
18:30
7m
Poster
Formal Verification of a MIR-to-MIR optimisation
PLDI SRC
Rachel Muir
Media Attached
18:37
7m
Poster
Formal verification of approximate differential privacy via the characteristic function
PLDI SRC
Aaryan Patel
Media Attached
18:45
7m
Poster
Leveraging Far Memory for Data-Intensive Processing: A Hotness-Segregated Heap Approach
PLDI SRC
Dat Nguyen Texas A & M University
File Attached
18:52
7m
Poster
On lightweight Hoare logic of probabilistic programs: a bound tighter than the union bound
PLDI SRC
Xingyu Xie Tsinghua University
Media Attached
19:00
7m
Poster
Prettybird: A DSL for Programmatic Font Compilation
PLDI SRC
Charles Averill University of Texas at Dallas
Media Attached
19:07
7m
Poster
Quantum Simulation using Context-Free-Language Ordered Binary Decision Diagrams
PLDI SRC
Meghana Aparna Sistla
Media Attached
19:15
7m
Poster
Resource Sharing through Control-Flow Based Optimizations
PLDI SRC
Caleb Kim
Media Attached
19:22
7m
Poster
Scaling Decision-Theoretic Probabilistic Programs Through Factorization
PLDI SRC
Minsung Cho Northeastern University
Media Attached

Tue 20 Jun

Displayed time zone: Eastern Time (US & Canada) change

09:00 - 11:00
PLDI: SecurityPLDI Research Papers at Cypress 1
Chair(s): Limin Jia Carnegie Mellon University

#pldi-tue-0900-security-cypress Discord icon small YouTube icon small

09:00
20m
Talk
Obtaining Information Leakage Bounds via Approximate Model Counting
PLDI Research Papers
Seemanta Saha University of California Santa Barbara, Surendra Ghentiyala University of California Santa Barbara, Shihua Lu University of California Santa Barbara, Lucas Bang Harvey Mudd College, Tevfik Bultan University of California at Santa Barbara
DOI
09:20
20m
Talk
CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity
PLDI Research Papers
Marco Eilers ETH Zurich, Thibault Dardinier ETH Zurich, Peter Müller ETH Zurich
DOI
09:40
20m
Talk
Discrete Adversarial Attack to Models of Code
PLDI Research Papers
Fengjuan Gao Nanjing University of Science and Technology, Yu Wang Nanjing University, Ke Wang Visa Research
DOI
10:00
20m
Talk
Generalized Policy-Based Noninterference for Efficient Confidentiality-Preservation
PLDI Research Papers
Shamiek Mangipudi Università della Svizzera italiana (USI), Pavel Chuprikov USI Lugano, Patrick Eugster USI Lugano; Purdue University, Malte Viering TU Darmstadt, Savvas Savvides Purdue University
DOI
10:20
20m
Talk
Taype: A Policy-Agnostic Language for Oblivious Computation
PLDI Research Papers
Qianchuan Ye Purdue University, Benjamin Delaware Purdue University
DOI
10:40
20m
Talk
Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs
PLDI Research Papers
Shankara Pailoor University of Texas at Austin, Yanju Chen University of California at Santa Barbara, Franklyn Wang Harvard University, 0xparc, Clara Rodríguez-Núñez Complutense University of Madrid, Jacob Van Geffen Veridise Inc., Jason Morton ZKonduit, Michael Chu 0xparc, Brian Gu 0xparc, Yu Feng University of California at Santa Barbara, Işıl Dillig University of Texas at Austin
DOI

Wed 21 Jun

Displayed time zone: Eastern Time (US & Canada) change

09:00 - 11:00
PLDI: Memory Models & Program LogicsPLDI Research Papers at Cypress 1
Chair(s): Matthew J. Parkinson Azure Research, Microsoft, UK

#pldi-wed-0900-memory-cypress Discord icon small YouTube icon small

09:00
20m
Talk
Compound Memory Models
PLDI Research Papers
Andrés Goens the University of Edinburgh, Soham Chakraborty TU Delft, Susmit Sarkar University of St. Andrews, Sukarn Agarwal University of Edinburgh, Nicolai Oswald NVIDIA, Vijay Nagarajan University of Edinburgh, UK
DOI
09:20
20m
Talk
Putting Weak Memory in Order via a Promising Intermediate Representation
PLDI Research Papers
Sung-Hwan Lee Seoul National University, Minki Cho Seoul National University, Roy Margalit Tel Aviv University, Israel, Chung-Kil Hur Seoul National University, Ori Lahav Tel Aviv University
DOI
09:40
20m
Talk
Optimal Reads-From Consistency Checking for C11-Style Memory Models
PLDI Research Papers
Hünkar Can Tunç Aarhus University, Parosh Aziz Abdulla Uppsala University, Sweden, Soham Chakraborty TU Delft, Shankaranarayanan Krishna IIT Bombay, India, Umang Mathur National University of Singapore, Andreas Pavlogiannis Aarhus University
DOI Pre-print
10:00
20m
Talk
VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A
PLDI Research Papers
Zongyuan Liu Aarhus University, Sergei Stepanenko Aarhus University, Jean Pichon-Pharabod Aarhus University, Amin Timany Aarhus University, Aslan Askarov Aarhus University, Lars Birkedal Aarhus University
DOI
10:20
20m
Talk
Embedding Hindsight Reasoning in Separation Logic
PLDI Research Papers
Roland Meyer TU Braunschweig, Thomas Wies New York University, Sebastian Wolff New York University
DOI
10:40
20m
Talk
Beyond Backtracking: Connections in Fine-Grained Concurrent Separation Logic
PLDI Research Papers
Ike Mulder Radboud University Nijmegen, Lukasz Czajka Heliax AG, Robbert Krebbers Radboud University Nijmegen
DOI Pre-print

Mon 19 Jun

Displayed time zone: Eastern Time (US & Canada) change

Room12:003013:003014:003015:003016:003017:003018:003019:0030
Cypress 1

PLDI SIGPLAN

SIGPLAN: Awards Lunch

PLDI SRC

SRC: Poster Session

Tue 20 Jun

Displayed time zone: Eastern Time (US & Canada) change

Room9:003010:0030
Cypress 1

PLDI Research Papers

PLDI: Security

Wed 21 Jun

Displayed time zone: Eastern Time (US & Canada) change

Room9:003010:0030
Cypress 1

PLDI Research Papers

PLDI: Memory Models & Program Logics

Mon 19 Jun

Displayed time zone: Eastern Time (US & Canada) change

Room12:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:00153045
Cypress 1
PLDI SIGPLANSocial
SIGPLAN Awards Lunch
12:30 - 13:40
PLDI SRC
An Eager SMT Solver for Algebraic Data Type Queries
18:00 - 18:07
PLDI SRC
A Synchronization Mechanism for an Accelerator Design IR
18:07 - 18:15
PLDI SRC
ConstraintFlow: A Declarative DSL for Certified Artificial Intelligence
18:15 - 18:22
PLDI SRC
Distributions for Compositionally Differentiating Parametric Discontinu ...
18:22 - 18:30
PLDI SRC
Formal Verification of a MIR-to-MIR optimisation
18:30 - 18:37
PLDI SRC
Formal verification of approximate differential privacy via the charact ...
18:37 - 18:45
PLDI SRC
Leveraging Far Memory for Data-Intensive Processing: A Hotness-Segregat ...
18:45 - 18:52
PLDI SRC
On lightweight Hoare logic of probabilistic programs: a bound tighter t ...
18:52 - 19:00
PLDI SRC
Prettybird: A DSL for Programmatic Font Compilation
19:00 - 19:07
PLDI SRC
Quantum Simulation using Context-Free-Language Ordered Binary Decision ...
19:07 - 19:15
PLDI SRC
Resource Sharing through Control-Flow Based Optimizations
19:15 - 19:22
PLDI SRC
Scaling Decision-Theoretic Probabilistic Programs Through Factorization
19:22 - 19:30

Tue 20 Jun

Displayed time zone: Eastern Time (US & Canada) change

Room9:0015304510:00153045
Cypress 1
PLDI Research Papers
Obtaining Information Leakage Bounds via Approximate Model Counting
09:00 - 09:20
PLDI Research Papers
CommCSL: Proving Information Flow Security for Concurrent Programs usin ...
09:20 - 09:40
PLDI Research Papers
Discrete Adversarial Attack to Models of Code
09:40 - 10:00
PLDI Research Papers
Generalized Policy-Based Noninterference for Efficient Confidentiality- ...
10:00 - 10:20
PLDI Research Papers
Taype: A Policy-Agnostic Language for Oblivious Computation
10:20 - 10:40
PLDI Research Papers
Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs
10:40 - 11:00

Wed 21 Jun

Displayed time zone: Eastern Time (US & Canada) change

Room9:0015304510:00153045
Cypress 1
PLDI Research Papers
Compound Memory Models
09:00 - 09:20
PLDI Research Papers
Putting Weak Memory in Order via a Promising Intermediate Representation
09:20 - 09:40
PLDI Research Papers
Optimal Reads-From Consistency Checking for C11-Style Memory Models
09:40 - 10:00
PLDI Research Papers
VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machin ...
10:00 - 10:20
PLDI Research Papers
Embedding Hindsight Reasoning in Separation Logic
10:20 - 10:40
PLDI Research Papers
Beyond Backtracking: Connections in Fine-Grained Concurrent Separation ...
10:40 - 11:00