Expansion-Based Removal of Semantic Partial Redundancies

Authors:
Jens Knoop;Oliver Rüthing;Bernhard Steffen
Affiliations:
-;-;-
Venue:
CC '99 Proceedings of the 8th International Conference on Compiler Construction, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99
Year:
1999

ESP: path-sensitive program verification in polynomial time

PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
Loop-Carried Code Placement

Euro-Par '01 Proceedings of the 7th International Euro-Par Conference Manchester on Parallel Processing
Quality engineering: leveraging heterogeneous information

VMCAI'11 Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation

Hi-index	0.00