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

Compositional specifications using temporal logic have been shown to aid reinforcement learning algorithms in achieving complex tasks. However, when a compositional task is under-specified, learning agents might fail to learn useful sub-policies. In this work, we explore the possibility of improving coarse-grained specifications via a CEGAR-inspired strategy to refine the abstract graph over an environment. The proposed framework creates a candidate refinement by sampling trajectories for an edge in the abstract graph generated using the specification and then training a classifier or estimating a convex hull to create a new abstract graph to guide the agent’s policy. Initial experiments show promising improvements in specification satisfiability after applying the proposed refinements over coarse-grained specifications.

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
Noe De Santo Ecole Polytechnique Federale de Lausanne
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
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