Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Bhavya Choudhary
Optimal Dyck Reachability for Data-Dependence and Alias Analysis
Proceedings of the ACM on Programming Languages
Related publications
Optimal Time-Bounded Reachability Analysis for Concurrent Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Dependence Analysis of Concurrent Programs Based on Reachability Graph and Its Applications
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Anti-Alias Optimal Interpolation With Priors
Alias Analysis for Fortran90 Array Slices
Type-Based Alias Analysis
A General Algorithm for Data Dependence Analysis
Demand-Driven Context-Sensitive Alias Analysis for Java
Generalized Fair Reachability Analysis for Cyclic Protocols
IEEE/ACM Transactions on Networking
Electronic Engineering
Computer Networks
Communications
Computer Science Applications
Electrical
Software
Data Dependence Analysis for an Untrusted Transaction Manager
