
Registered user since Mon 24 Sep 2018
Name:Thomas P. Jensen
Country:France
Affiliation:Inria
Personal website:http://www.irisa.fr/celtique/jensen/
Contributions
PLDI 2021 | Trace-Based Control-Flow Analysis | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
PLDI 2021-profile
View general profile
View general profile