
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