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