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
ยป
Ph.D. Research Symposium
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
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
connect with us