Work

Rethinking Incremental and Parallel Pointer Analysis

Year: 2019

Type: article

Source: ACM Transactions on Programming Languages and Systems

DOI: 10.1145/3293606

Authors: Bozhen Liu, Jeff Huang, Lawrence Rauchwerger

Institution: Texas A&M University

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: National Science Foundation

Awards: CAREER: Scalable and Maximal Concurrency Debugging, NeTS: Small: Detecting Races in SDN Control Plane

OpenAlex ID: W2920740222

FWCI: 4.016

Cites: 79

Cited by: 36

Related to: 10