Skip to main content
Conferences
Students
Sign in
usenix_logo_notag_white
Sign In
Conferences
Overview
Workshop Organizers
At a Glance
Registration Information
Co-located Workshops
Workshop Program
Activities
Sponsorship
Students and Grants
Questions?
Help Promote
Instructions for Participants
Call for Participation
Past Workshops
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