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