- Omer Tripp
- Roman Manevich
- John Field
- Mooly Sagiv
Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation, ACM, New York, NY, USA (2012), pp. 145-156
No abstract available; check out the Download or Google Scholar links above for publications details.
We maintain a portfolio of research projects, providing individuals and teams the freedom to emphasize specific types of work