Search events for 'all'
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 …
When to Stop Going Down the Rabbit Hole: Taming Context-Sensitivity on the Fly
SOAP 2024 When: Tue 25 Jun 2024 14:50 - 15:10 People: Julian Erhard, Johanna Franziska Schinabeck, Michael Schwarz, Helmut Seidl
… suite. On a subset of recursive benchmarks, all proposed lifters manage …
Find, Use, and Conserve Tools for Formal Methods
PLDI 2024 Workshop Honoring Andreas Podelski When: Tue 25 Jun 2024 09:35 - 10:10 People: Dirk Beyer
… be improved if all major tools for formal methods were conserved and documented …
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 …
Choreographic Programming in Modal Type Theory
Choreographic Programming 2024 When: Mon 24 Jun 2024 11:00 - 11:20 People: Maxim Urschumzew, Miëtek Bak
… locally. We conclude with a conjecture that all of Chor$\lambda$ can …
Interleaving Static Analysis and LLM Prompting
SOAP 2024 When: Tue 25 Jun 2024 11:50 - 12:10 People: Patrick Chapman, Cindy Rubio-González, Aditya V. Thakur
… across all benchmarks (from average of 52.55% to 77.83%) and higher F1-score …
Towards an open-source framework to perform quantum calibration and characterization
WQS When: Mon 24 Jun 2024 12:00 - 12:20 People: Andrea Pasquale, Edoardo Pedicillo, Stefano Carrazza
… and calibration protocols for all levels of hardware abstraction.
Qibocal …
EGSTRA: E-Graph-Based Strategy for Test Suite Reduction and Abstraction
EGRAPHS 2024 When: Mon 24 Jun 2024 11:55 - 12:20 People: Sabrina Reis, Matthew Sottile
… smaller test suite. This smaller test suite is intended to capture all necessary …
Supporting End-Users in Realizing Quantum Computing Applications
WQS When: Mon 24 Jun 2024 11:20 - 11:40 People: Damian Rovara, Nils Quetschlich, Lukas Burgholzer, Wille Robert
… for all of these steps—creating a high entry barrier, especially for users … specifics through automation and guidance. All software is available as open-source …
Slotted E-Graphs
EGRAPHS 2024 When: Mon 24 Jun 2024 10:40 - 11:05 People: Rudi Schneider, Thomas Koehler, Michel Steuwer
… are parameterized by slots abstracting over all free variables. Referring to an e …
WoCA: Avoiding Intermittent Execution in Embedded Systems by Worst-Case Analyses with Device States
LCTES When: Mon 24 Jun 2024 14:10 - 14:25 People: Phillip Raffeck, Johannes Maier, Peter Wägemann
… (i.e., sensors, transceivers) since they have transactional (i.e., all-or-nothing …
URM Lunch
Diversity, Equity and Inclusion When: Fri 28 Jun 2024 12:20 - 13:40 People: Andrés Goens
… The URM@PLDI lunch will be held on Friday, June 28 with the goal of bringing together all who are under-represented within the SIGPLAN community. This lunch is explicitly intended to be a “big tent” event, and is open to all who are under …
PLDI women's dinner
Diversity, Equity and Inclusion When: Wed 26 Jun 2024 19:30 - 21:00 People: Lindsey Kuper, Mae Milano, Alexa VanHattum, Sarah E. Chasins
… -questioning individuals, and trans individuals of all stripes who find fellowship …
Maximum Consensus Floating Point Solutions for Infeasible Low-Dimensional Linear Programs with Convex Hull as the Intermediate Representation
PLDI Research Papers When: Thu 27 Jun 2024 11:20 - 11:40 People: Mridul Aanjaneya, Santosh Nagarakatte
… of unknown variables, where all the constraints cannot be satised simultaneously … identifies the maximum set of constraints satisfiable in V while satisfying all …
Concurrent Algorithms in Kotlin Coroutines
Tutorials When: Mon 24 Jun 2024 13:40 - 15:20Mon 24 Jun 2024 16:00 - 17:40 People: Nikita Koval
… will discuss the Lincheck framework designed to test all these algorithms … when improving Kotlin Coroutines, present all the work in one place, and gather …
Reception
PLDI Events When: Tue 25 Jun 2024 18:00 - 20:00 People: Fritz Henglein, Jakob Grue Simonsen, Milind Kulkarni
… policy. Please finish all the pancakes on offer and all open bottles of wine …
Hashing Modulo Context-Sensitive Alpha-Equivalence
PLDI Research Papers When: Thu 27 Jun 2024 12:00 - 12:20 People: Lasse Blaauwbroek, Miroslav Olšák, Herman Geuvers
… (choosing different variable names for all involved binders), it will equate either …
European Research Council Funding Opportunities
PLDI Events When: Thu 27 Jun 2024 15:20 - 16:30 People: Fabrizio Montesi, Mikaela Poulymenopoulou, Jian-Jia Chen
… across all fields, based on scientific excellence. In this talk, I will give …