3 Search Results for "Ryder, Barbara"

Document
DOI: 10.4230/LIPIcs.ECOOP.2015.712
Adaptive Context-sensitive Analysis for JavaScript

Authors: Shiyi Wei and Barbara G. Ryder

Published in: LIPIcs, Volume 37, 29th European Conference on Object-Oriented Programming (ECOOP 2015)

Abstract
Context sensitivity is a technique to improve program analysis precision by distinguishing between function calls. A specific context-sensitive analysis is usually designed to accommodate the programming paradigm of a particular programming language. JavaScript features both the object-oriented and functional programming paradigms. Our empirical study suggests that there is no single context-sensitive analysis that always produces precise results for JavaScript applications. This observation motivated us to design an adaptive analysis, selecting a context-sensitive analysis from multiple choices for each function. Our two-staged adaptive context-sensitive analysis first extracts function characteristics from an inexpensive points-to analysis and then chooses a specialized context-sensitive analysis per function based on the heuristics. The experimental results show that our adaptive analysis achieved more precise results than any single context-sensitive analysis for several JavaScript programs in the benchmarks.
Cite as

Shiyi Wei and Barbara G. Ryder. Adaptive Context-sensitive Analysis for JavaScript. In 29th European Conference on Object-Oriented Programming (ECOOP 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 37, pp. 712-734, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)

Copy BibTex To Clipboard

@InProceedings{wei_et_al:LIPIcs.ECOOP.2015.712,
  author =	{Wei, Shiyi and Ryder, Barbara G.},
  title =	{{Adaptive Context-sensitive Analysis for JavaScript}},
  booktitle =	{29th European Conference on Object-Oriented Programming (ECOOP 2015)},
  pages =	{712--734},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-939897-86-6},
  ISSN =	{1868-8969},
  year =	{2015},
  volume =	{37},
  editor =	{Boyland, John Tang},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.712},
  URN =		{urn:nbn:de:0030-drops-52446},
  doi =		{10.4230/LIPIcs.ECOOP.2015.712},
  annote =	{Keywords: Context Sensitivity, JavaScript, Static Program Analysis}
}
Document
DOI: 10.4230/DagSemRep.405
Understanding Program Dynamics (Dagstuhl Seminar 03491)

Authors: Jong-Deok Choi, Barbara G. Ryder, and Andreas Zeller

Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)

Abstract
Cite as

Jong-Deok Choi, Barbara G. Ryder, and Andreas Zeller. Understanding Program Dynamics (Dagstuhl Seminar 03491). Dagstuhl Seminar Report 405, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2003)

Copy BibTex To Clipboard

@TechReport{choi_et_al:DagSemRep.405,
  author =	{Choi, Jong-Deok and Ryder, Barbara G. and Zeller, Andreas},
  title =	{{Understanding Program Dynamics (Dagstuhl Seminar 03491)}},
  pages =	{1--6},
  ISSN =	{1619-0203},
  year =	{2003},
  type = 	{Dagstuhl Seminar Report},
  number =	{405},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.405},
  URN =		{urn:nbn:de:0030-drops-152854},
  doi =		{10.4230/DagSemRep.405},
}
Document
DOI: 10.4230/DagSemRep.291
Effective Implementation of Object-Oriented Programming Languages (Dagstuhl Seminar 00451)

Authors: Uwe Aßmann, Laurie Hendren, Barbara Ryder, and Frank Tip

Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)

Abstract
Cite as

Uwe Aßmann, Laurie Hendren, Barbara Ryder, and Frank Tip. Effective Implementation of Object-Oriented Programming Languages (Dagstuhl Seminar 00451). Dagstuhl Seminar Report 291, pp. 1-19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2001)

Copy BibTex To Clipboard

@TechReport{amann_et_al:DagSemRep.291,
  author =	{A{\ss}mann, Uwe and Hendren, Laurie and Ryder, Barbara and Tip, Frank},
  title =	{{Effective Implementation of Object-Oriented Programming Languages (Dagstuhl Seminar 00451)}},
  pages =	{1--19},
  ISSN =	{1619-0203},
  year =	{2001},
  type = 	{Dagstuhl Seminar Report},
  number =	{291},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.291},
  URN =		{urn:nbn:de:0030-drops-151759},
  doi =		{10.4230/DagSemRep.291},
}
  • Refine by Author
  • 2 Ryder, Barbara G.
  • 1 Aßmann, Uwe
  • 1 Choi, Jong-Deok
  • 1 Hendren, Laurie
  • 1 Ryder, Barbara
  • Show More...

  • Refine by Classification

  • Refine by Keyword
  • 1 Context Sensitivity
  • 1 JavaScript
  • 1 Static Program Analysis

  • Refine by Type
  • 3 document

  • Refine by Publication Year
  • 1 2001
  • 1 2003
  • 1 2015

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact