Vineeth Kumar Paleri

List of publications from the DBLP Bibliography Server - FAQ

2003

3 EE Vineeth Kumar Paleri, Y. N. Srikant, Priti Shankar: Partial redundancy elimination: a simple, pragmatic, and provably correct algorithm. Sci. Comput. Program. 48(1): 1-20 (2003)

2002

2 Vineeth Kumar Paleri: Automatic Generation of Code Optimizers from Formal Specifications. The Compiler Design Handbook 2002: 61-97

1998

1 Vineeth Kumar Paleri, Y. N. Srikant, Priti Shankar: A Simple Algorithm for Partial Redundancy Elimination. SIGPLAN Notices 33(12): 35-43 (1998)

2003
3	EE	Vineeth Kumar Paleri, Y. N. Srikant, Priti Shankar: Partial redundancy elimination: a simple, pragmatic, and provably correct algorithm. Sci. Comput. Program. 48(1): 1-20 (2003)
2002
2		Vineeth Kumar Paleri: Automatic Generation of Code Optimizers from Formal Specifications. The Compiler Design Handbook 2002: 61-97
1998
1		Vineeth Kumar Paleri, Y. N. Srikant, Priti Shankar: A Simple Algorithm for Partial Redundancy Elimination. SIGPLAN Notices 33(12): 35-43 (1998)

Coauthor Index