Back to Results
First PageMeta Content
Procedural programming languages / Cross-platform software / Programming language implementation / Concurrent computing / Coroutine / Subroutines / Abstract interpretation / Data-flow analysis / Control flow analysis / Computing / Software engineering / Computer programming


matthew-might-research-statement.dvi
Add to Reading List

Document Date: 2014-01-06 09:39:56

Open Document

File Size: 255,75 KB

Share Result on Facebook

Company

Apple / /

Currency

USD / /

Facility

University of Waterloo / University of T¨ / Northeastern University / /

IndustryTerm

present tools / software security audits / certain software systems / environment solution / software model checking / coroutine network / software lacks / software systems / elegant solutions / /

OperatingSystem

UNIX / /

Organization

Georgia Research Alliance / University of Waterloo / National Science Foundation / University of T¨ / Northeastern University / /

Person

Pete Manolios / Mitch Wand / Eric Knauel / Cameron Zwarich / /

Position

principal investigator / programmer / /

ProgrammingLanguage

Java / C++ / /

Technology

Java / UNIX / /

SocialTag