korz.cs.yale.edu
dedis@yale | Determinator: An Operating System for Deterministic Parallel Computing
http://korz.cs.yale.edu/2010/det
Determinator an operating system for deterministic parallel computing. A subset of Determinator comprises PIOS ( Parallel Instructional Operating System ). A teaching OS derived from and providing a course framework similar to JOS. In Spring 2010, and is freely available. For use and adaptation by others. Determinator will also provide a starting point for a certified OS kernel project. In collaboration with the FLINT research group. Deterministically Deterring Timing Attacks in Deterland. Lazy Tree Mapp...
s2e.epfl.ch
Publications - S²E: A Platform for In-Vivo Analysis of Software Systems
http://s2e.epfl.ch/publications
S E: A Platform for In-Vivo Analysis of Software Systems. The S2E Platform: Design, Implementation, and Applications. Vitaly Chipounov, Volodymyr Kuznetsov, and George Candea. ACM Transactions on Computer Systems ( TOCS. Special issue: Best papers of ASPLOS, February 2012. Enabling Sophisticated Analysis of x86 Binaries with RevGen. Vitaly Chipounov and George Candea. 7th Workshop on Hot Topics in System Dependability ( HotDep. Hong Kong, China, June 2011. USENIX Annual Technical Conference.
sigops.org
SIGOPS - About Membership
http://www.sigops.org/membership.html
The Dennis M. Ritchie Award. The Mark Weiser Award. The PODC Edsger W. Dijkstra Prize in Distributed Computing. The Hall of Fame Award. The EuroSys Roger Needham PhD Award.
sigops.org
SIGOPS - Hall of Fame Award
http://www.sigops.org/award-hof.html
The Dennis M. Ritchie Award. The Mark Weiser Award. The PODC Edsger W. Dijkstra Prize in Distributed Computing. The Hall of Fame Award. The EuroSys Roger Needham PhD Award. The SIGOPS Hall of Fame Award was instituted in 2005 to recognize the most influential Operating Systems papers that were published at least ten years in the past. For an in-depth discussion of the SIGOPS policy for this award, please read Jeff Mogul's Policies for the SIGOPS Hall of Fame Award. The Hall of Fame Award Committee consis...
sigops.org
SIGOPS - Events
http://www.sigops.org/events.html
The Dennis M. Ritchie Award. The Mark Weiser Award. The PODC Edsger W. Dijkstra Prize in Distributed Computing. The Hall of Fame Award. The EuroSys Roger Needham PhD Award. SIGOPS sponsors a number of conferences and related events. Please see the individual conference pages for details. Click to check the ACM Calendar for SIGOPS Sponsored Events.
sigops.org
SIGOPS - Officers
http://www.sigops.org/officers.html
The Dennis M. Ritchie Award. The Mark Weiser Award. The PODC Edsger W. Dijkstra Prize in Distributed Computing. The Hall of Fame Award. The EuroSys Roger Needham PhD Award. Ithaca, NY 14853, USA. 1100 E 58th St. Chicago, IL 60637, USA. IBM Thomas J. Watson Research Center. Yorktown Heights, NY, USA. 8 Clarkson Avenue MS 5815. Potsdam, NY 13699, USA.
sigops.org
SIGOPS - Publications
http://www.sigops.org/pubs.html
The Dennis M. Ritchie Award. The Mark Weiser Award. The PODC Edsger W. Dijkstra Prize in Distributed Computing. The Hall of Fame Award. The EuroSys Roger Needham PhD Award. Operating Systems Review (OSR).
sigops.org
SIGOPS - About
http://www.sigops.org/about.html
The Dennis M. Ritchie Award. The Mark Weiser Award. The PODC Edsger W. Dijkstra Prize in Distributed Computing. The Hall of Fame Award. The EuroSys Roger Needham PhD Award. Http:/ www.acm.org/sigops/.
sigops.org
SIGOPS - Requesting Sponsorship
http://www.sigops.org/conf-request.html
The Dennis M. Ritchie Award. The Mark Weiser Award. The PODC Edsger W. Dijkstra Prize in Distributed Computing. The Hall of Fame Award. The EuroSys Roger Needham PhD Award. SIGOPS is happy to co-sponsor or cooperate with quality conferences on topics related to its mission. Details on requesting either co-sponsorship or "in cooperation with" can be found in the ACM Conference Manual. Briefly, information for "in cooperation with" can be found here. For sponsorship or co-sponsorhsip, first fill out the PAF.