Quander

arrow_back

search

search

sort

next_plan

keyboard_arrow_left

navigate_next

PLDI 2020 - SOAP - Tool Talk: Soufflé

ACM SIGPLAN check_circle

1K views 5 years ago

[PLDI'23] PureCake: A Verified Compiler for a Lazy Functional Language

ACM SIGPLAN check_circle

271 views 1 year ago

PLDI 1 minute madness (day 1)

Curry On! check_circle

713 views 8 years ago

[PLDI'25] Tree Borrows

ACM SIGPLAN check_circle

872 views 1 month ago

This is Still PLDI

ACM SIGPLAN check_circle

14K views 5 years ago

[PLDI'25] A Hybrid Approach to Semi-automated Rust Verification

ACM SIGPLAN check_circle

20 views 1 month ago

[PLDI'24] Norway/Finland/Sweden - PLDI Keynotes (Jun 28th)

ACM SIGPLAN check_circle

730 views Streamed 1 year ago

PLDI 1 minute madness (Day 2)

Curry On! check_circle

186 views 8 years ago

[PLDI'25] Bean: A Language for Backward Error Analysis

ACM SIGPLAN check_circle

24 views 1 month ago

[PLDI'25] Random Variate Generation with Formal Guarantees

ACM SIGPLAN check_circle

11 views 1 month ago

[PLDI'25] Handling the Selection Monad

ACM SIGPLAN check_circle

53 views 1 month ago

[PLDI'25] Cosmos, Violet & Tulip - PLDI Research Papers (Jun 19th)

ACM SIGPLAN check_circle

1.5K views Streamed 1 month ago

Hallway Interaction at PLDI 2020

ACM SIGPLAN check_circle

2.7K views 5 years ago