Principles of Secure Compilation
Principles of Secure Compilation
In conjunction with
ACM-SIGACT Symposium on Principles of Programming Languages 2026
January 11-17, 2026
Le Couvent des Jacobins
Rennes, France
Today’s computer systems are insecure. The semantics of mainstream low-level languages like C provide no security against devastating vulnerabilities like buffer overflows and control-flow hijacking. Even for safer languages, establishing security with respect to the language’s semantics does not prevent low-level attacks. All the abstraction and security guarantees of the source language may be lost when interacting with low-level code, e.g., when using libraries.
More workshops at ACM-SIGACT Symposium on Principles of Programming Languages 2026
- Certified Programs and Proofs — Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in...
- Auto-Active Program Verification — There is an established group of verification-aware programming languages that have native support for specifications...
- Languages for Inference — The Languages for Inference (LAFI) workshop aims to bring programming-language and machine-learning researchers together to...
- Partial Evaluation and Program Manipulation — The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM) has a history going...
- Programming Quantum Computers — The Sixth International Workshop on Programming Languages for Quantum Computing (PLanQC 2026) aims to bring...
- Rocq for Programming Languages — The goal of this workshop is to provide an opportunity for programming languages researchers and...
- Theory and Practice of Static Analysis — This workshop provides a venue where researchers and practitioners can present speculative ideas about new...
- Verification, Model Checking & Abstract Interpretation Workshops — VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abstract...
- Implementation of Type Systems — The goal of this workshop is to bring together the implementors of a variety of...
Hotels near Le Couvent des Jacobins
Garden Hotel
3 Rue Jean Marie Duhamel, 35000 Rennes, France
Hôtel Atlantic
31 Bd de Beaumont, 35000 Rennes, France
Hôtel Lanjuinais
11 Rue Comté de Lanjuinais, 35000 Rennes, France
Kyriad Rennes Centre Gare
6 Pl. de la Gare, 35000 Rennes, France
Mercure Rennes Centre Parlement
1 Rue Paul Louis Courier, 35000 Rennes, France
Novotel Rennes Centre Gare
22 Av. Jean Janvier, 35000 Rennes, France