PLDI 2024
Mon 24 - Fri 28 June 2024 Copenhagen, Denmark

0 results

People (5 results)
Samuel Coward

Samuel Coward

… …

Işıl Dillig

Işıl Dillig

… …

Emina Torlak

Emina Torlak

… …

Events (18 results)

The One Pass (OP) Compactor (an intellectual abstract)

ISMM 2024 When: Tue 25 Jun 2024 14:40 - 15:00 People: Tomer Cory, Erez Petrank

… to compacted areas. A full heap compaction eliminates fragmentation by compacting all … that marks all reachable (live) objects, the compactor needs to copy all marked objects to the beginning of the address space and fix all pointers to reference the new …

We Know I Know You Know; Choreographic Programming With Multicast and Multiply Located Values

Choreographic Programming 2024 When: Mon 24 Jun 2024 15:00 - 15:20 People: Mako P. Bates, Joseph P. Near

… to a set of parties, and the resulting value will be located at all of them …": 𐤄λsmall requires that the guard for a conditional be located at all

How to read a PL-security paper

PLMW@PLDI 2024 When: Tue 25 Jun 2024 11:40 - 12:20 People: Aslan Askarov

… the following topics: What makes a good PL-security paper? How do we make sense of all

Work Assisting: Linking Task-Parallel Work Stealing with Data-Parallel Self Scheduling

ARRAY 2024 When: Tue 25 Jun 2024 14:30 - 14:55 People: Ivo Gabe de Wolff, Gabriele Keller

… at preserving the structure of data parallelism instead of implementing all

Tracks (16 results)

Programming Languages Mentoring Workshop

… environment that provides space for all to thrive and breathe. We are also … the physical and mental well-being of all members of the PL community. We condemn all

All the above plus a dedicated table at the workshop to talk to students …

PLDI 2024 Workshop Honoring Andreas Podelski

… and verification. All PLDI 2024 attendees are welcome!

...

ARRAY 2024

… explores all aspects of array programming, such as languages, formal semantics …. All submissions should be formatted in conformance with the ACM SIGPLAN … automatic and user-assisted means.

All submissions must be in PDF format …

General (12 results)

LCTES 2024 Homepage

… LCTES 2024 Welcome to the website of the LCTES 2024 conference. We are working hard to fill the website with all related information. Please check back soon! …

PLMW@PLDI 2024 Homepage

… PLMW@PLDI 2024 Welcome to the website of the PLMW@PLDI 2024 conference. We are working hard to fill the website with all related information. Please check back soon! …

ISMM 2024 Homepage

… ISMM 2024 Welcome to the website of the ISMM 2024 conference. We are working hard to fill the website with all related information. Please check back soon! …