SPLASH 2022 (series) / Thomas P. Jensen

Registered user since Mon 24 Sep 2018
Name:Thomas P. Jensen
Country:France
Affiliation:INRIA Rennes
Personal website:http://www.irisa.fr/celtique/jensen/
Contributions
SPLASH 2022 | Stable relations and abstract interpretation of higher-order programs | ||||||||||||||||||||||||||||||||||||||||
SAS 2022 | Lifting Numeric Relational Domains to Algebraic Data Types | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2022-profile
View general profile
View general profile