usenix_logo_notag_white
Sign In
Conferences
Attend
Registration Information
Registration Discounts
Grant Opportunities
Venue, Hotel, and Travel
Program
Technical Sessions
Poster Session
Activities
Participate
Call for Papers
Requirements for Authors
Instructions for Presenters
Call for Artifacts
Call for Posters
Sponsors
Exhibitor Services
About
Symposium Organizers
Past Symposia
Conference Policies
Code of Conduct
Questions
Diogo Behrens, Huawei Dresden Research Center, Huawei Central Software Institute
Linked Presentation:
BWoS: Formally Verified Block-based Work Stealing for Parallel Processing
