​
Login / Signup
Vineeth Paleri
ORCID
Publication Activity (10 Years)
Years Active: 2013-2023
Publications (10 Years): 5
Top Topics
Data Flow
Top Venues
CoRR
SAC
ICLA
J. Inf. Process. Syst.
</>
Publications
</>
Reshma Roy
,
Vineeth Paleri
Lexical-based partial redundancy elimination: An optimal algorithm with improved efficiency.
J. Comput. Lang.
75 (2023)
Sreekala S.
,
Vineeth Paleri
Copy Propagation subsumes Constant Propagation.
CoRR
(2022)
Jasine Babu
,
Karunakaran Murali Krishnan
,
Vineeth Paleri
A Fix-Point Characterization of Herbrand Equivalence of Expressions in Data Flow Frameworks.
ICLA
(2019)
Jasine Babu
,
K. Murali Krishnan
,
Vineeth Paleri
A fix-point characterization of Herbrand equivalence of expressions in data flow frameworks.
CoRR
(2017)
Saleena Nabizath
,
Vineeth Paleri
An Improved Algorithm for Redundancy Detection Using Global Value Numbering.
J. Inf. Process. Syst.
12 (2) (2016)
Saleena Nabeezath
,
Vineeth Paleri
Global value numbering for redundancy detection: a simple and efficient algorithm.
SAC
(2014)
Saleena Nabeezath
,
Vineeth Paleri
A Note on "A polynomial-time algorithm for global value numbering"
CoRR
(2013)
Saleena Nabeezath
,
Vineeth Paleri
A Simple Algorithm for Global Value Numbering
CoRR
(2013)