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