Filter Program
Dates
Rooms
Tracks
Badges
Your Program
This program is tentative and subject to change.
Sun 11 JanDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
Sun 11 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change
09:00 - 10:30 | |||
09:00 90mTutorial | Creusot: Formal verification of Rust programs Tutorials Li-yao Xia LMF, Inria, Université Paris-Saclay, Jacques-Henri Jourdan CNR, LMF, Arnaud Golfouse Université Paris-Saclay, CNRS, ENS Paris-Saclay, Inria, Laboratoire des méthodes formelles, 91190, Gif-sur-Yvette, France, Vincent Lafeychine Université Paris-Saclay | ||
09:00 - 10:30 | |||
09:00 90mTutorial | BINSEC: Adapting Symbolic Execution for Binary-level Security Tutorials Sébastien Bardin CEA LIST, University Paris-Saclay, Frédéric Recoules CEA, List, Yanis Sellami CEA, List, Univ. Grenoble Alpes | ||
11:00 - 12:30 | |||
11:00 90mTutorial | Creusot: Formal verification of Rust programs Tutorials Li-yao Xia LMF, Inria, Université Paris-Saclay, Jacques-Henri Jourdan CNR, LMF, Arnaud Golfouse Université Paris-Saclay, CNRS, ENS Paris-Saclay, Inria, Laboratoire des méthodes formelles, 91190, Gif-sur-Yvette, France, Vincent Lafeychine Université Paris-Saclay | ||
11:00 - 12:30 | |||
11:00 90mTutorial | BINSEC: Adapting Symbolic Execution for Binary-level Security Tutorials Sébastien Bardin CEA LIST, University Paris-Saclay, Frédéric Recoules CEA, List, Yanis Sellami CEA, List, Univ. Grenoble Alpes | ||
14:00 - 15:30 | |||
14:00 90mTutorial | Verifying Probabilistic Programs Using Separation Logic Tutorials Alejandro Aguirre Aarhus University, Simon Oddershede Gregersen New York University, Philipp G. Haselwarter Aarhus University | ||
14:00 - 15:30 | |||
14:00 90mTutorial | Discrete and Continuous Models for Concurrent Systems: From Petri Nets to Directed Spaces Tutorials Uli Fahrenberg Université Paris-Saclay, CNRS, ENS Paris-Saclay, LMF | ||
16:00 - 17:30 | |||
16:00 90mTutorial | Verifying Probabilistic Programs Using Separation Logic Tutorials Alejandro Aguirre Aarhus University, Simon Oddershede Gregersen New York University, Philipp G. Haselwarter Aarhus University | ||
16:00 - 17:30 | |||
16:00 90mTutorial | Discrete and Continuous Models for Concurrent Systems: From Petri Nets to Directed Spaces Tutorials Uli Fahrenberg Université Paris-Saclay, CNRS, ENS Paris-Saclay, LMF | ||
Mon 12 JanDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
Mon 12 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change
09:00 - 10:30 | |||
09:00 90mTutorial | Syntactically and Semantically Constraining LLMs with Guarantees using Structured LLM Generation Tutorials Sasa Misailovic University of Illinois at Urbana-Champaign, Gagandeep Singh University of Illinois at Urbana-Champaign; VMware Research, Shubham Ugare Meta, Debangshu Banerjee UIUC, Tarun Suresh , Adharsh Kamath UIUC | ||
11:00 - 12:30 | |||
11:00 90mTutorial | Syntactically and Semantically Constraining LLMs with Guarantees using Structured LLM Generation Tutorials Sasa Misailovic University of Illinois at Urbana-Champaign, Gagandeep Singh University of Illinois at Urbana-Champaign; VMware Research, Shubham Ugare Meta, Debangshu Banerjee UIUC, Tarun Suresh , Adharsh Kamath UIUC | ||
14:00 - 15:30 | |||
14:00 90mTutorial | A Guided Tour through Oxidized OCaml Tutorials Gavin Gray Brown University, Anil Madhavapeddy University of Cambridge, UK, KC Sivaramakrishnan IIT Madras and Tarides, Will Crichton Brown University, Shriram Krishnamurthi Brown University, Chris Casinghino Jane Street, Richard A. Eisenberg Jane Street | ||
14:00 - 15:30 | |||
14:00 90mTutorial | Veil: Automated and Interactive Verification of Transition Systems Tutorials George Pîrlea National University of Singapore, Singapore, Qiyuan Zhao National University of Singapore | ||
16:00 - 17:30 | |||
16:00 90mTutorial | A Guided Tour through Oxidized OCaml Tutorials Gavin Gray Brown University, Anil Madhavapeddy University of Cambridge, UK, KC Sivaramakrishnan IIT Madras and Tarides, Will Crichton Brown University, Shriram Krishnamurthi Brown University, Chris Casinghino Jane Street, Richard A. Eisenberg Jane Street | ||
16:00 - 17:30 | |||
16:00 90mTutorial | Veil: Automated and Interactive Verification of Transition Systems Tutorials George Pîrlea National University of Singapore, Singapore, Qiyuan Zhao National University of Singapore | ||
Tue 13 JanDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
Tue 13 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change
09:00 - 10:30 | |||
09:00 90mTutorial | Analyzing Shell Scripts Tutorials Michael Greenberg Stevens Institute of Technology, Konstantinos Kallas University of California, Los Angeles, Nikos Vasilakis Brown University | ||
11:00 - 12:30 | |||
11:00 90mTutorial | Analyzing Shell Scripts Tutorials Michael Greenberg Stevens Institute of Technology, Konstantinos Kallas University of California, Los Angeles, Nikos Vasilakis Brown University | ||
14:00 - 15:30 | |||
14:00 90mTutorial | Is Program Synthesis Soluble in Large Language Models? Tutorials Nathanaël Fijalkow CNRS, LaBRI, University of Bordeaux | ||
16:00 - 17:30 | |||
16:00 90mTutorial | Is Program Synthesis Soluble in Large Language Models? Tutorials Nathanaël Fijalkow CNRS, LaBRI, University of Bordeaux | ||