Stephen P. Miller

• Art is Boring for the Same Reason We Stayed in Vietnam
• An Act of God
• Detecting mode confusion through formal modeling and analysis