Skip to main content
USENIX
Conferences
Students
Sign in
Overview
Workshop Organizers
At a Glance
Registration Information
Registration Discounts
Venue, Hotel, and Travel
Co-located Workshops
Workshop Program
Activities
Sponsorship
Students and Grants
Questions?
Help Promote
Instructions for Participants
Call for Participation
Past Workshops
sponsors
Gold Sponsor
Gold Sponsor
Bronze Sponsor
Bronze Sponsor
Bronze Sponsor
Bronze Sponsor
Bronze Sponsor
Industry Partner
twitter
Tweets by @usenix
usenix conference policies
Event Code of Conduct
Conference Network Policy
Statement on Environmental Responsibility Policy
You are here
Home
ยป
Christopher Harris, University of California, Irvine
Tweet
connect with us
http://twitter.com/usenix
http://www.usenix.org/facebook
http://www.usenix.org/linkedin
http://www.usenix.org/gplus
http://www.usenix.org/youtube
Christopher Harris
Linked Presentation:
Automatic Generation of Formal Verification Properties from English Language
connect with us