Registered user since Sat 4 Jan 2025
Name:Gianluigi Zavattaro
Affiliation:Department of Computer Science and Engineering - Università di Bologna
Contributions
2026
Choreographic Programming
Using general profile
PLDI 2026
Mon 15 - Fri 19 June 2026 Boulder, Colorado, United States
- Attending
- Tracks
- PLDI 2026
- PLDI Research Papers
- Research Artifacts
- Workshops and Tutorials
- Student Research Competition
- Tutorials
- - ACT: End-to-End Compiler Infrastructure for Emerging AI Accelerators
- - A guided tour through Oxidized OCaml
- - Deep dive into the AWS Nitro Isolation Engine
- - Implementing an Integrated Development Environment: a Quick Start Guide for PL Researchers
- - Mechanized Specifications for Real-World Programming Languages
- - Tutorial: End-to-End Compiler Infrastructure for Emerging Tensor Accelerators
- - Writing Performance-Portable Kernels Simplified with Helion
- Organization
- PLDI 2026 Committees
- Organizing Committee
- AV Committee
- Track Committees
- PLDI Research Papers
- Research Artifacts
- Student Research Competition
- Contributors
- People Index
- Search
- Series