Skip to content

Update PLDI.yaml #297

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Jun 20, 2025
Merged

Update PLDI.yaml #297

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
9 changes: 9 additions & 0 deletions _data/PLDI.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,3 +1,12 @@
2025:
- Awardee: |
Brandon Lucia and Benjamin Ransford
Other: |
(for 2015) _[A Simpler, Safer Programming and Execution Model for Intermittent Systems.](https://dl.acm.org/doi/10.1145/2737924.2737978)_
Citation: |
Energy harvesting enables novel devices and applications without batteries, but intermittent operation under energy harvesting poses new challenges to memory consistency that threaten to leave applications in failed states not reachable in continuous execution. This work provides analytical models that aid in reasoning about intermittence and develops DINO (Death Is Not an Option), a programming and execution model that simplifies programming for intermittent systems and ensures volatile and nonvolatile data consistency despite near-constant interruptions. DINO is the first system to address these consistency problems in the context of intermittent execution and dramatically simplifies programming, reducing the set of possible failure-related control transfers.


2024:
- Awardee: |
Steven Arzt, Siegfried Rasthofer, Christian Fritz, Eric Bodden,
Expand Down