Back to Results
First PageMeta Content
Algorithm / Pointer / Software bug / Computing / Computer programming / Pointer analysis / Static program analysis / Software engineering


A MODULAR AND SYMBOLIC APPROACH TO STATIC PROGRAM ANALYSIS A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES
Add to Reading List

Document Date: 2011-12-06 17:59:56

Open Document

File Size: 1,37 MB

Share Result on Facebook

Country

United States / /

Facility

GRADUATE STUDIES OF STANFORD UNIVERSITY / /

IndustryTerm

job search process / machinery / on-line constraint simplification algorithm / basic algorithm / sound algorithm / realworld software / static inconsistency detection algorithm / /

OperatingSystem

Linux / L3 / /

Organization

STANFORD UNIVERSITY / /

Person

Aurelie Beaumel / David Craig / Yichen Xie / Isil / Ana Gardea / Brian Hackett / Peter Hawkins / Philip Guo / Adam Oliner / Rolf Heimlinger / Tom Ball / David Dill / Sorav Bansal / Alex Aiken / Mooly Sagiv / Martin Rinard / Mayur Naik / /

/

Position

Advisor / programmer / /

ProgrammingLanguage

FP / /

Technology

Analysis Algorithm / Linux / 3.1 Basic Algorithm / static inconsistency detection algorithm / 114 5.3 Algorithm / on-line constraint simplification algorithm / /

SocialTag