
Registered user since Tue 5 Jan 2016
Name: Emmanuel Chailloux
Country: France
Affiliation: LIP6 - UPMC
Personal website: https://www-apr.lip6.fr/~chaillou/
Research interests: Programming Languages : Concepts, Semantics and Design
Contributions
VMCAI 2017 | Static Analysis of Communicating Process using Symbolic Transducers | ||||||||||||||||||||||||||||||||||||||||
POPL 2017 | Associated Events Chair in Organizing Committee | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2017-profile
View general profile
View general profile