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


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:12

Open Document

File Size: 1,20 MB

Share Result on Facebook

Company

IBM / Google / Intel / /

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 / National Science Foundation / MIT / STANFORD UNIVERSITY / /

Person

Jeff Oplinger / Chris Unkel / Benjamin Chelf / Garrett Smith / Juan Alonso / Paul Twohey / John Whaley / David Bloom / Michael Martin / Patrick Sathyanathan / Brad Schumitsch / Ramesh Chandra / Ben Livshits / Shih-Wei Liao / Jim Zhuang / Ted Kremenek / Seth Hallem / Andy Chou / Michael Dalton / Brian Murphy / Jeff Ullman / Christos Kozyrakis / Shankar Ponnekanti / Miho / Dzintars Avots / Alex Aiken / Ben D / Michael Carbin / Jim Chow / Benjamin Livshits / Jim Norris / Thomas Reps / Brian Carlstrom / Amy Lim / Joel Sandin / 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