PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark
Wed 26 Jun 2024 19:07 - 19:15 at Capital Ballroom - Reception and Poster Session

Wed 26 Jun

Displayed time zone: Windhoek change

18:00 - 20:00
Reception and Poster SessionSRC at Capital Ballroom
18:00
7m
Poster
Am I sweeping right?
SRC
Pedro Barroso NOVA LINCS & Nova School of Sciences and Tecnhology
18:07
7m
Poster
A Never-Ending Trace: Catching Goto and Recursive Divergence
SRC
Caroline Cronjäger Vrije Universiteit Amsterdam
18:15
7m
Poster
AutoSpec: Automating the Refinement of Reinforcement Learning Specifications
SRC
Tanmay Ambadkar The Pennsylvania State University, University Park, USA
File Attached
18:22
7m
Poster
Coping with shared mutable state in a typestate-oriented concurrent language
SRC
João Mota NOVA School of Science and Technology
18:30
7m
Poster
Evaluating PBT Frameworks in OCaml
SRC
Nikhil Kamath University of Maryland
18:37
7m
Poster
Exceptions in a Message Passing Interpretation of Substructural Logic
SRC
Shengchao Yang Carnegie Mellon University, USA
18:45
7m
Poster
Formally Verified Low-Level C Implementation of Crit-Bit Trees in a Live Verification Tool
SRC
Viktor Fukala Massachusetts Institute of Technology
18:52
7m
Poster
GRust: A Programming Language for Automotive Engineering
SRC
Émilie Thomé LIP6, Ampere, ISAE SUPAERO
File Attached
19:00
7m
Poster
Mechanized semantics for ECMAScript regexes
SRC
Link to publication File Attached
19:07
7m
Poster
Monitoring Linearizability in Polynomial Time
SRC
Zheng Han Lee National University of Singapore, Singapore
19:15
7m
Poster
Neural Abstract Interpretation
SRC
Shaurya Gomber University of Illinois Urbana-Champaign
File Attached
19:22
7m
Poster
Parallelism with Flow Data for Distributed Tensor
SRC
huang songlin University of Hong Kong
19:30
7m
Poster
Revealing Optimizations in High-Performance Kernel Libraries: A Program Synthesis Approach to Schedule Reconstruction
SRC
Hongzheng Chen Cornell University
19:37
7m
Poster
Synthesising Programming Languages
SRC
Yuxi Ling National University of Singapore
19:45
7m
Poster
VOLPIC: Verifying Lifted Pascal in Coq
SRC
Charles Averill University of Texas at Dallas
19:52
7m
Poster
Who checks the checkers? Steps towards reliable equivalence checking
SRC