Registered user since Wed 7 Jan 2026
Name:Arnaud Golfouse
Affiliation:Université Paris-Saclay, CNRS, ENS Paris-Saclay, Inria, Laboratoire des méthodes formelles, 91190, Gif-sur-Yvette, France
Contributions
Using general profile
POPL 2026
Sun 11 - Sat 17 January 2026 Rennes, France
- Attending
- Program
- Tracks
- Co-hosted Conferences
- CPP Certified Programs and Proofs
- VMCAI Verification, Model Checking & Abstract Interpretation
- Workshops
- Dafny Auto-Active Program Verification
- GiacoFest Roberto Giacobazzi Career Celebration
- LAFI Languages for Inference
- PEPM Partial Evaluation and Program Manipulation
- PLanQC Programming Quantum Computers
- PLMW @ POPL PL Mentoring Workshop
- PriSC Principles of Secure Compilation
- RocqPL Rocq for Programming Languages
- RTFM Read the Faculty Manual
- TPSA Theory and Practice of Static Analysis
- WITS Implementation of Type Systems
- Co-hosted Symposia
- PADL Practical Aspects of Declarative Languages
- Organization
- POPL 2026 Committees
- Organizing Committee
- AV Committee
- Student Volunteers
- Track Committees
- Artifact Evaluation
- POPL
- Student Research Competition
- Contributors
- People Index
- Co-hosted Conferences
- CPP Certified Programs and Proofs
- VMCAI Verification, Model Checking & Abstract Interpretation
- Workshops
- Dafny Auto-Active Program Verification
- GiacoFest Roberto Giacobazzi Career Celebration
- LAFI Languages for Inference
- PEPM Partial Evaluation and Program Manipulation
- PLanQC Programming Quantum Computers
- PLMW @ POPL PL Mentoring Workshop
- PriSC Principles of Secure Compilation
- RocqPL Rocq for Programming Languages
- RTFM Read the Faculty Manual
- TPSA Theory and Practice of Static Analysis
- WITS Implementation of Type Systems
- Co-hosted Symposia
- PADL Practical Aspects of Declarative Languages
- Search
- Series