Vineeth Paleri

Orcid: 0000-0002-3394-1558

According to our database1, Vineeth Paleri authored at least 10 papers between 1998 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Lexical-based partial redundancy elimination: An optimal algorithm with improved efficiency.
J. Comput. Lang., 2023

2022
Copy Propagation subsumes Constant Propagation.
CoRR, 2022

2019
A Fix-Point Characterization of Herbrand Equivalence of Expressions in Data Flow Frameworks.
Proceedings of the Logic and Its Applications - 8th Indian Conference, 2019

2016
An Improved Algorithm for Redundancy Detection Using Global Value Numbering.
J. Inf. Process. Syst., 2016

2014
Global value numbering for redundancy detection: a simple and efficient algorithm.
Proceedings of the Symposium on Applied Computing, 2014

2013
A Simple Algorithm for Global Value Numbering
CoRR, 2013

A Note on "A polynomial-time algorithm for global value numbering"
CoRR, 2013

2003
Partial redundancy elimination: a simple, pragmatic, and provably correct algorithm.
Sci. Comput. Program., 2003

2002
Automatic Generation of Code Optimizers from Formal Specifications.
Proceedings of the Compiler Design Handbook: Optimizations and Machine Code Generation, 2002

1998
A Simple Algorithm for Partial Redundancy Elimination.
ACM SIGPLAN Notices, 1998


  Loading...