Media Summary: Chen, Hongzheng (speaker) (Cornell University) Presented at the 2nd FPGA Developers' Forum ( ... A Tour of Program Optimization (Video, PLMW @ PLDI 2024) Max Willsey (UC Berkeley) Abstract: This talk will give a whirlwind ... The Future of Fast Code: Giving Hardware What It Wants (Video, PLDI 2024) Jonathan Ragan-Kelley (Massachusetts Institute of ...
Pldi24 Allo A Programming Model - Detailed Analysis & Overview
Chen, Hongzheng (speaker) (Cornell University) Presented at the 2nd FPGA Developers' Forum ( ... A Tour of Program Optimization (Video, PLMW @ PLDI 2024) Max Willsey (UC Berkeley) Abstract: This talk will give a whirlwind ... The Future of Fast Code: Giving Hardware What It Wants (Video, PLDI 2024) Jonathan Ragan-Kelley (Massachusetts Institute of ... [TOPLAS] Choral: Object-Oriented Choreographic From Batch to Stream: Automatic Generation of Online Algorithms (Video, PLDI 2024) Ziteng Wang, Shankara Pailoor, Aaryan ... ... uh 2000s of lines of metal compute Shader code it's a language based on C but with a completely different
SPORE: Combining Symmetry and Partial Order Reduction (Video, PLDI 2024) Michalis Kokologiannakis, Iason Marmanis, and ... A Tensor Compiler with Automatic Data Packing for Simple and Efficient Fully Homomorphic Encryption (Video, PLDI 2024) ... Quest Complete: The Holy Grail of Gradual Security (Video, PLDI 2024) Tianyu Chen and Jeremy G. Siek (Indiana University, ... How to read a PL-security paper (Video, PLMW @ PLDI 2024) Aslan Askarov (Aarhus University) Abstract: Live Verification in an Interactive Proof Assistant (Video, PLDI 2024) Samuel Gruetter, Viktor Fukala, and Adam Chlipala ...
![[PLDI24] Allo: A Programming Model for Composable Accelerator Design](https://i.ytimg.com/vi/wr-uCmkQWe4/mqdefault.jpg)
![[PLMW@PLDI24] A Tour of Program Optimization](https://i.ytimg.com/vi/SivQplf4OkE/mqdefault.jpg)
![[PLDI24] The Future of Fast Code: Giving Hardware What It Wants](https://i.ytimg.com/vi/vU3ryvZYlkk/mqdefault.jpg)
![[PLDI24] Falcon: A Scalable Analytical Cache Model](https://i.ytimg.com/vi/ALOvruhw8sI/mqdefault.jpg)
![[PLDI24] [TOPLAS] Choral: Object-Oriented Choreographic Programming](https://i.ytimg.com/vi/mSj9Hp9tcGA/mqdefault.jpg)
![[PLDI24] From Batch to Stream: Automatic Generation of Online Algorithms](https://i.ytimg.com/vi/WR9pkv8hIT8/mqdefault.jpg)
![[PLDI'24] Norway/Finland/Sweden - PLDI Keynotes](https://i.ytimg.com/vi/66oKqvwoIv0/mqdefault.jpg)
![[PLDI24] SPORE: Combining Symmetry and Partial Order Reduction](https://i.ytimg.com/vi/nUhG-AJan7U/mqdefault.jpg)
![[PLDI24] A Tensor Compiler with Automatic Data Packing for Simple and Efficient Fully Homomorphic(…)](https://i.ytimg.com/vi/RuHDr-9dBW0/mqdefault.jpg)
![[PLDI24] Quest Complete: The Holy Grail of Gradual Security](https://i.ytimg.com/vi/lTMXkHNovwQ/mqdefault.jpg)
![[PLMW@PLDI24] How to read a PL-security paper](https://i.ytimg.com/vi/qWlJn_tHuNE/mqdefault.jpg)
![[PLDI24] Live Verification in an Interactive Proof Assistant](https://i.ytimg.com/vi/1BeH3FGjsjA/mqdefault.jpg)