Registered user since Thu 13 Nov 2014
Name:Xujie Si
Contributions
| MAPL 2017 | Combining the Logical and the Probabilistic in Program Analysis | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM-profile
View general profile
View general profile