Scalable and precise program analysis at NEC

Gogul Balakrishnan; Malay Ganai; Aarti Gupta; Franjo Ivančić; Vineet Kahlon; Weihong Li; Naoto Maeda; Nadia Papakonstantinou; Sriram Sankaranarayanan; Nishant Sinha

doi:10.5555/1998496.1998546

Scalable and precise program analysis at NEC

NobleID: NI4P86W31R33S22
Persistent link: https://nobleid.org/ark:/48914/w1/20260515/EBB08C01

Type:Journal Article

0 views

Support unavailableClaim Your Authorship

Embeddable Badge

[![NobleID](https://www.nobleid.org/api/badge/EBB08C01.svg?ark=w1%2F20260515%2FEBB08C01&value=id)](https://nobleid.org/work/w1/20260515/EBB08C01)

ARK Inflections

Metadata Policy

Metadata Formats

Bibliometric Analysis

Impact metrics, research fronts, co-authorship networks →

Authors & Claims

Paper Authors

Nadia Papakonstantinou

Sriram Sankaranarayanan

Nishant Sinha

Claim authorship of this work

Scalable and precise program analysis at NEC

NobleID: NI4P86W31R33S22
Persistent link: https://nobleid.org/ark:/48914/w1/20260515/EBB08C01

Type:Journal Article

0 views

Support unavailableClaim Your Authorship

Embeddable Badge

[![NobleID](https://www.nobleid.org/api/badge/EBB08C01.svg?ark=w1%2F20260515%2FEBB08C01&value=id)](https://nobleid.org/work/w1/20260515/EBB08C01)

ARK Inflections

Metadata Policy

Metadata Formats

Bibliometric Analysis

Impact metrics, research fronts, co-authorship networks →

Authors & Claims

Paper Authors

Nadia Papakonstantinou

Sriram Sankaranarayanan

Nishant Sinha

Claim authorship of this work