University of Maryland
CMSC 631 — Program Analysis and Understanding
57 documents • ranked by quality and engagement.
No description provided
New Directions in Analysis
CMSC 631 · University of Maryland
PALE (Pointer Assertion Logic Engine)
CMSC 631 · University of Maryland
Object Encapsulation via Ownership Types
CMSC 631 · University of Maryland
Error Checkers Metal
CMSC 631 · University of Maryland
Course Lectures
CMSC 631 · University of Maryland
Finding Dynamic Programming Errors via Static Analyzer
CMSC 631 · University of Maryland
Basics of Program Analysis
CMSC 631 · University of Maryland
Calculus Lambda
CMSC 631 · University of Maryland
Applications of Type-Based Analysis
CMSC 631 · University of Maryland
Analysis of Roles
CMSC 631 · University of Maryland
Report on Dataflow Analysis Composition
CMSC 631 · University of Maryland
Analysis of Data Flow
CMSC 631 · University of Maryland
Locksmith Static Race Detection in C
CMSC 631 · University of Maryland
Fifth Homework
CMSC 631 · University of Maryland
Practice for Midterm Exam
CMSC 631 · University of Maryland
Process Calculus Part 1
CMSC 631 · University of Maryland
Types in Programming
CMSC 631 · University of Maryland
Type Systems Overview
CMSC 631 · University of Maryland
Definitions Reaching
CMSC 631 · University of Maryland
Improving Software Quality with Lightweight Specs
CMSC 631 · University of Maryland
Garbage Collection Overview
CMSC 631 · University of Maryland
Specifications Mining
CMSC 631 · University of Maryland
Data Flow Analysis Tools
CMSC 631 · University of Maryland
Subtyping, Inference, and Type Qualifiers
CMSC 631 · University of Maryland