Precision-Guided Context Sensitivity for Pointer Analysis

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

Standard

Precision-Guided Context Sensitivity for Pointer Analysis. / Li, Yue; Tan, Tian; Møller, Anders; Smaragdakis, Yannis.

In: Proceedings of the ACM on Programming Languages , Vol. 2, No. OOPSLA, 141, 24.10.2018, p. 141:1-141:29.

Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaperJournal articleResearchpeer-review

Harvard

Li, Y, Tan, T, Møller, A & Smaragdakis, Y 2018, 'Precision-Guided Context Sensitivity for Pointer Analysis', Proceedings of the ACM on Programming Languages , vol. 2, no. OOPSLA, 141, pp. 141:1-141:29. https://doi.org/10.1145/3276511

APA

Li, Y., Tan, T., Møller, A., & Smaragdakis, Y. (2018). Precision-Guided Context Sensitivity for Pointer Analysis. Proceedings of the ACM on Programming Languages , 2(OOPSLA), 141:1-141:29. [141]. https://doi.org/10.1145/3276511

CBE

Li Y, Tan T, Møller A, Smaragdakis Y. 2018. Precision-Guided Context Sensitivity for Pointer Analysis. Proceedings of the ACM on Programming Languages . 2(OOPSLA):141:1-141:29. https://doi.org/10.1145/3276511

MLA

Li, Yue et al. "Precision-Guided Context Sensitivity for Pointer Analysis". Proceedings of the ACM on Programming Languages . 2018, 2(OOPSLA). 141:1-141:29. https://doi.org/10.1145/3276511

Vancouver

Li Y, Tan T, Møller A, Smaragdakis Y. Precision-Guided Context Sensitivity for Pointer Analysis. Proceedings of the ACM on Programming Languages . 2018 Oct 24;2(OOPSLA):141:1-141:29. 141. https://doi.org/10.1145/3276511

Author

Li, Yue ; Tan, Tian ; Møller, Anders ; Smaragdakis, Yannis. / Precision-Guided Context Sensitivity for Pointer Analysis. In: Proceedings of the ACM on Programming Languages . 2018 ; Vol. 2, No. OOPSLA. pp. 141:1-141:29.

Bibtex

@article{642f7435b468478d8aa1ea815f98d876,
title = "Precision-Guided Context Sensitivity for Pointer Analysis",
author = "Yue Li and Tian Tan and Anders M{\o}ller and Yannis Smaragdakis",
year = "2018",
month = oct,
day = "24",
doi = "10.1145/3276511",
language = "English",
volume = "2",
pages = "141:1--141:29",
journal = "Proceedings of the ACM on Programming Languages ",
issn = "2475-1421",
publisher = "ACM",
number = "OOPSLA",
note = "The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity, SPLASH 2018 ; Conference date: 04-11-2018 Through 09-11-2018",
url = "https://2018.splashcon.org/home",

}

RIS

TY - JOUR

T1 - Precision-Guided Context Sensitivity for Pointer Analysis

AU - Li, Yue

AU - Tan, Tian

AU - Møller, Anders

AU - Smaragdakis, Yannis

N1 - Conference code: 2018

PY - 2018/10/24

Y1 - 2018/10/24

UR - https://2018.splashcon.org/event/splash-2018-oopsla-artifacts-precision-guided-context-sensitivity-for-pointer-analysis

U2 - 10.1145/3276511

DO - 10.1145/3276511

M3 - Journal article

VL - 2

SP - 141:1-141:29

JO - Proceedings of the ACM on Programming Languages

JF - Proceedings of the ACM on Programming Languages

SN - 2475-1421

IS - OOPSLA

M1 - 141

T2 - The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity

Y2 - 4 November 2018 through 9 November 2018

ER -