Publications

Filtered as: all types - all years - all authors - keyword: TVPI Abstract Domain
Corresponding bibtex list 

---

1. Joao Rivera, Franz Franchetti and Markus Püschel
   Floating Point TVPI Abstract Domain
   Proceedings of the ACM on Programming Languages – PACMPL, Vol. 8PLDI, 2024
   

Publication interface designed and implemented by Patra Pantupat, Aliaksei Sandryhaila, and Markus Püschel
Electrical and Computer Engineering, Carnegie Mellon University, 2007