Programming Languages And Software Engineering

Projects

Automatic Testing tools

JCrasher, CnC, and DSD-Crasher: analyze programs statically and dynamically for bug detection

Logic of Programs

type systems, term rewriting systems, computational content of classical logic, abstract machines

Software Requirements Monitoring

monitoring language, data-gathering mechanisms, notification of requirements compliance

Laboratories and Affiliations:

• Software Engineering Research Center (SERC)
• Oregon Masters of Software Engineering (OMSE)
• Oregon Programming Languages Summer School