Back to Results
First PageMeta Content
Mathematics / Combinatorics / Flow network / Dynamic programming / Maximum flow problem / Graph theory / Network flow / Operations research


Specification Inference Using Context-Free Language Reachability Osbert Bastani Saswat Anand
Add to Reading List

Document Date: 2015-02-24 02:42:36

Open Document

File Size: 1,84 MB

Share Result on Facebook

City

Mumbai / /

Company

Google / /

Country

India / /

Currency

USD / /

/

Facility

Google library / terminal An / Android library / /

IndustryTerm

large systems / untrusted web server / inference algorithm / applied data mining techniques / alias specification inference algorithm / dynamic programming algorithm / object allocation site / flow specification inference algorithm / human auditor / reachability algorithm / specification inference algorithm / precise algorithm / /

OperatingSystem

Android / /

Organization

Stanford University / /

Person

Anand Alex Aiken / /

Position

human auditor / representative / auditor / human auditor for validation / /

ProgrammingLanguage

Java / C / /

SportsLeague

Stanford University / /

Technology

2 Optimized algorithm / shortest-path CFL reachability algorithm / SMS / specification inference algorithm / scaling Algorithm / Android system / Java / flow specification inference algorithm / inference algorithm / data mining / dynamic programming algorithm / CFL reachability algorithm / Android / alias specification inference algorithm / web server / /

URL

http /

SocialTag