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...
bford.info
Bryan Ford's Publications
http://www.bford.info/pub
GPUfs: The Case for Operating System Services on GPUs. Mark Silberstein, Bryan Ford, and Emmett Witchel. Communications of the ACM. Heading Off Correlated Failures through Independence-as-a-Service. Ennan Zhai, Ruichuan Chen, David Isaac Wolinsky, and Bryan Ford. OSDI 2014. Security Analysis of Accountable Anonymity in Dissent. Ewa Syta, Aaron Johnson, Henry Corrigan-Gibbs, Shu-Chun Weng, David Wolinsky, and Bryan Ford. TISSEC. Volume 17 Issue 1. August 2014. Full version: Abstract. Mark Silberstein, Bry...
brynosaurus.com
Bryan Ford's Publications
http://www.brynosaurus.com/pub
GPUfs: The Case for Operating System Services on GPUs. Mark Silberstein, Bryan Ford, and Emmett Witchel. Communications of the ACM. Heading Off Correlated Failures through Independence-as-a-Service. Ennan Zhai, Ruichuan Chen, David Isaac Wolinsky, and Bryan Ford. OSDI 2014. Security Analysis of Accountable Anonymity in Dissent. Ewa Syta, Aaron Johnson, Henry Corrigan-Gibbs, Shu-Chun Weng, David Wolinsky, and Bryan Ford. TISSEC. Volume 17 Issue 1. August 2014. Full version: Abstract. Mark Silberstein, Bry...
apsys2012.kaist.ac.kr
Call for Papers
http://apsys2012.kaist.ac.kr/cfp
Building on the success of its 2010. Predecessors in New Delhi, India and Shanghai, China, APSys 2012 will be a lively forum for systems researchers and practitioners across the world to meet, interact, and collaborate with their peers from the Asia/Pacific region. We take a broad view of computer systems, and solicit papers on topics such as:. Operating systems, including OSes for multicore and many-core architectures. Virtualization, including novel VM applications. Mobile and pervasive computing.
pdos.csail.mit.edu
Haogang Chen
https://pdos.csail.mit.edu/~hchen
Hchen at csail mit edu. 32 Vassar Street,. Cambridge, MA 02139. I am a graduate student in the PDOS group. Working with Frans Kaashoek. Before joining MIT, I received my B.S. and M.S. degree in Computer Science from Peking University. View my publication list on Google Scholar. Using Crash Hoare Logic for Certifying the FSCQ File System. Haogang Chen, Daniel Ziegler, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, and Nickolai Zeldovich. Specifying crash safety for storage systems. Linux kernel vulnerabili...
pdos.csail.mit.edu
Xi Wang
https://pdos.csail.mit.edu/~xi
My home page at the University of Washington: homes.cs.washington.edu/ xi. Towards optimization-safe systems: Analyzing the impact of undefined behavior. Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek, and Armando Solar-Lezama. Security bugs in embedded interpreters. Haogang Chen, Cody Cutler, Taesoo Kim, Yandong Mao, Xi Wang, Nickolai Zeldovich, and M. Frans Kaashoek. Improving integer security for systems with Kint. Xi Wang, Haogang Chen, Zhihao Jia, Nickolai Zeldovich, and M. Frans Kaashoek. R2: An ap...
dedis.cs.yale.edu
dedis@yale | Determinator: An Operating System for Deterministic Parallel Computing
http://dedis.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...