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
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
USENIX Conference Policies
Event Code of Conduct
Conference Network Policy
Statement on Environmental Responsibility Policy
Ph.D. Research Symposium
Presentations:
Automatic Generation of Formal Verification Properties from English Language
Power Management through Dynamic Modulation Scaling in Wireless Sensor Networks
Decoupling Runtime and Application Data in Geometrical Simulations
An Efficient and Correct Update Execution in Geo-replicated Systems: Reconcile Consistency with Performance
