SPLASH 2021 (series) / Nicolas Jeannerod

Registered user since Mon 5 Nov 2018
Name:Nicolas Jeannerod
Country:France
Affiliation:Tweag I/O
Personal website:http://nicolas.jeannerod.fr/
GitHub:https://github.com/Niols
Research interests:Semantics, Verification, Symbolic Execution, Unix Filesystems, POSIX Shell
Contributions
CONFLANG 2021 | Session Chair of Languages (part of CONFLANG) Co-chair in Organizing Committee within the CONFLANG-track | ||||||||||||||||||||||||||||||||||||||||
SPLASH 2021 | CONFLANG | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2021-profile
View general profile
View general profile