V. Krishna Nandivada

Employment

Employment history is unavailable.

Education

Education history is unavailable.

Projects & Funding

Projects & funding information is unavailable.

Publications (44)

• Compact Representation and Interleaved Solving for Scalable Constraint-Based Points-to Analysis
  2026 DOI: 10.1145/3771775.3786280
  +Save
• Practical MHP Analysis for Java
  2026 DOI: 10.1145/3771775.3786279
  +Save
• Two in One: A case for Combined Points-to and MHP Analysis
  ACM Transactions on Software Engineering and Methodology 2026 DOI: 10.1145/3836765
  +Save
• Unleashing Parallelism with Elastic-Barriers
  ACM Transactions on Architecture and Code Optimization 2025 DOI: 10.1145/3727639
  +Save
• IncIDFA: An Efficient and Generic Algorithm for Incremental Iterative Dataflow Analysis
  Proceedings of the ACM on Programming Languages 2025 DOI: 10.1145/3720436
  +Save
• Reducing Write Barrier Overheads for Orthogonal Persistence
  2024 DOI: 10.1145/3687997.3695646
  +Save
• The ART of Sharing Points-to Analysis: Reusing Points-to Analysis Results Safely and Efficiently
  Proceedings of the ACM on Programming Languages 2024 DOI: 10.1145/3689803
  +Save
• Homeostasis: Design and Implementation of a Self-Stabilizing Compiler
  ACM Transactions on Programming Languages and Systems 2024 DOI: 10.1145/3649308
  +Save
• Optimistic Stack Allocation and Dynamic Heapification for Managed Runtimes
  Proceedings of the ACM on Programming Languages 2024 DOI: 10.1145/3656389
  +Save
• COWS for High Performance: Cost Aware Work Stealing for Irregular Parallel Loop
  ACM Transactions on Architecture and Code Optimization 2024 DOI: 10.1145/3633331
  +Save