PODELSKI
Tue 25 Jun 2024 Copenhagen, Denmark
co-located with PLDI 2024
VenueRadisson Blu Scandinavia, Copenhagen
Room nameCapital Ballroom
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

Wed 26 Jun

Displayed time zone: Windhoek change

12:20 - 13:40
12:20
80m
Lunch
Lunch
PLDI Catering

12:20 - 13:40
12:20
80m
Lunch
SIGPLAN-M Lunch
PLDI Events
Nadia Polikarpova University of California at San Diego
18:00 - 20:00
Reception and Poster SessionPLDI SRC at Capital Ballroom
18:00
7m
Poster
Am I sweeping right?
PLDI SRC
Pedro Barroso NOVA LINCS & Nova School of Sciences and Tecnhology
18:07
7m
Poster
A Never-Ending Trace: Catching Goto and Recursive Divergence
PLDI SRC
Caroline Cronjäger Vrije Universiteit Amsterdam
18:15
7m
Poster
AutoSpec: Automating the Refinement of Reinforcement Learning Specifications
PLDI 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
PLDI SRC
João Mota NOVA School of Science and Technology
18:30
7m
Poster
Evaluating PBT Frameworks in OCaml
PLDI SRC
Nikhil Kamath University of Maryland
18:37
7m
Poster
Exceptions in a Message Passing Interpretation of Substructural Logic
PLDI 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
PLDI SRC
Viktor Fukala Massachusetts Institute of Technology
18:52
7m
Poster
GRust: A Programming Language for Automotive Engineering
PLDI SRC
Émilie Thomé LIP6, Ampere, ISAE SUPAERO
File Attached
19:00
7m
Poster
Mechanized semantics for ECMAScript regexes
PLDI SRC
Link to publication File Attached
19:07
7m
Poster
Monitoring Linearizability in Polynomial Time
PLDI SRC
Zheng Han Lee National University of Singapore, Singapore
19:15
7m
Poster
Neural Abstract Interpretation
PLDI SRC
Shaurya Gomber University of Illinois Urbana-Champaign
File Attached
19:22
7m
Poster
Parallelism with Flow Data for Distributed Tensor
PLDI 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
PLDI SRC
Hongzheng Chen Cornell University
19:37
7m
Poster
Synthesising Programming Languages
PLDI SRC
Yuxi Ling National University of Singapore
19:45
7m
Poster
VOLPIC: Verifying Lifted Pascal in Coq
PLDI SRC
Charles Averill University of Texas at Dallas
19:52
7m
Poster
Who checks the checkers? Steps towards reliable equivalence checking
PLDI SRC

Thu 27 Jun

Displayed time zone: Windhoek change

12:20 - 13:40
12:20
80m
Lunch
Lunch
PLDI Catering

Fri 28 Jun

Displayed time zone: Windhoek change

12:20 - 13:40
12:20
80m
Lunch
Lunch
PLDI Catering

Wed 26 Jun

Displayed time zone: Windhoek change

Thu 27 Jun

Displayed time zone: Windhoek change

Fri 28 Jun

Displayed time zone: Windhoek change

Thu 27 Jun

Displayed time zone: Windhoek change

Room12:0015304513:00153045
Capital Ballroom
PLDI Catering
Lunch
12:20 - 13:40

Fri 28 Jun

Displayed time zone: Windhoek change

Room12:0015304513:00153045
Capital Ballroom
PLDI Catering
Lunch
12:20 - 13:40