Back to Results
First PageMeta Content
Boolean algebra / Diagrams / Binary decision diagram / Model checking / Datalog / Monica S. Lam / Algorithm / Pointer / Stack / Computing / Software engineering / Programming language theory


CONTEXT-SENSITIVE POINTER ANALYSIS USING BINARY DECISION DIAGRAMS A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES
Add to Reading List

Document Date: 2007-04-01 19:35:11

Open Document

File Size: 1,13 MB

Share Result on Facebook

Company

IBM / Google / /

Facility

University Committee / GRADUATE STUDIES OF STANFORD UNIVERSITY / /

IndustryTerm

level algorithm / variable learning algorithm / static race detection algorithm / context-insensitive algorithm / complicated algorithms / reflection algorithm / /

Organization

University Committee on Graduate Studies / MIT / STANFORD UNIVERSITY / /

Person

Chris Unkel / Benjamin Chelf / Juan Alonso / John Whaley / David Bloom / Michael Martin / Ramesh Chandra / Ben Livshits / Shih-Wei Liao / Jim Zhuang / Ted Kremenek / Seth Hallem / Andy Chou / Michael Dalton / Jeff Ullman / Miho / Dzintars Avots / Ben D / Michael Carbin / Jim Chow / Benjamin Livshits / Thomas Reps / Brian Carlstrom / Amy Lim / Mayur Naik / Martin Rinard / David Heine / Monica S. Lam / Dawson Engler / David L. Dill / /

Position

advisor for my Masters thesis / writer / Principal Adviser / adviser / /

ProgrammingLanguage

Datalog / Java / /

Technology

variable learning algorithm / Java / static race detection algorithm / one algorithm / reflection algorithm / high-level algorithm / context-insensitive algorithm / /

SocialTag