|
Some Recent Talks
Static Analysis to Improve Software Reliability
and Security
Rule-Based Static Analysis of Network Protocols
A Brief History of PL
Improving Software Quality with Static Analysis
Checking Type Safety of Foreign Function Calls
Static Race Detection for C using Locksmith
Static Analysis to Improve Software Quality
Visualizing Type Qualifier Inference with Eclipse
Security via Type Qualifiers
Checking and Inferring Local Non-Aliasing
Applying for an Academic Job: Nuts and Bolts
Type Qualifiers: Lightweight Specifications to Improve Software Quality |