Karla Burnett

According to our database, Karla Burnett authored at least 1 paper in 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2014

Summary-Based Inter-Procedural Analysis via Modular Trace Refinement.

Franck Cassez, Christian Müller, Karla Burnett

Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014