Using ZBDDs in Points-to Analysis

Ondřej Lhoták, Stephen Curial, José Nelson Amaral. Using ZBDDs in Points-to Analysis. In Vikram S. Adve, María Jesús Garzarán, Paul Petersen, editors, Languages and Compilers for Parallel Computing, 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers. Volume 5234 of Lecture Notes in Computer Science, pages 338-352, Springer, 2007. [doi]

Authors

Ondrej Lhoták

Identified as Ondřej Lhoták

Stephen Curial

This author has not been identified. Look up 'Stephen Curial' in Google

José Nelson Amaral

This author has not been identified. Look up 'José Nelson Amaral' in Google