Skip to main content
Back to USENIX
Conferences
Students
Sign in
Overview
Workshop Organizers
At a Glance
Registration Information
Registration Discounts
Venue, Hotel, and Travel
Workshop Program
Co-located Workshops
Activities
Birds-of-a-Feather Sessions
Sponsorship
Students and Grants
Questions?
Help Promote
Instructions for Participants
Call for Papers
Past Workshops
USENIX Conference Policies
Event Code of Conduct
Conference Network Policy
Statement on Environmental Responsibility Policy
Introduction and Overview
Program Co-Chairs: Yuvraj Agarwal,
Carnegie Mellon University,
and Karthick Rajamani,
IBM
BibTeX
@conference {208992,
title = {Introduction and Overview},
year = {2014},
address = {Broomfield, CO},
publisher = {USENIX Association},
month = oct
}
Download
Log in
or
register
to post comments