Talks

  • "Compositional Atomic Distributed Object Specifications for Distributed System Verification," [slides: ]
    • REMS-DeepSpec 2020 Workshop (co-located with PLDI 2020), Online (Zoom Webinar and YouTube Live), Jun 2020.
  • "WormSpace: A Modular Foundation for Simple, Verifiable Distributed Systems,” [ slides: pptx | pdf ] [ poster ]
    • ACM Symposium on Cloud Computing (SoCC), Santa Cruz, CA, U.S.A., Nov 2019.
  • "Towards Weakly Consistent Local Storage Systems," [ slides: pptx | pdf ] [ poster ]
    • ACM Symposium on Cloud Computing (SoCC), Santa Clara, CA, U.S.A., Oct 2016.
  • "Isotope: Transactional Isolation for Block Storage," [ slides: pptx | pdf ] [ poster ]
    • USENIX Conference on File and Storage Technologies (FAST), Santa Clara, CA, U.S.A., Feb 2016.
    • Yale University, New Haven, CT, U.S.A., Mar 2016.
  • "Gecko: Contention-Oblivious Disk Arrays for Cloud Storage," [ slides: pptx | pdf ] [ poster ]
    • USENIX Conference on File and Storage Technologies (FAST), San Jose, CA, U.S.A., Feb 2013.
    • Western Digital Corporation, Irvine, CA, U.S.A., May 2013.
    • Industry-Academia Partnership Cloud Workshop (poster), Ithaca, NY, U.S.A., Oct 2013.
  • "On the Feasibility of Completely Wireless Datacenters," [ slides: pptx | pdf ] [ poster ]
    • ACM/IEEE Symposium on Architectures for Networking and Communications Systems (ANCS), Austin, TX, U.S.A., Oct 2012.
    • Team for Research in Ubiquitous Security Technology (TRUST) Autumn Conference, Washington, D.C., U.S.A., Nov 2012.
  • "Gecko: A Contention-Oblivious Design for Cloud Storage," [ slides: pptx | pdf ] [ poster ]
    • USENIX Workshop on Hot Topics in Storage and File Systems (HotStorage), Boston, MA, U.S.A., Jun 2012.
    • EMC University Day (poster), Boston, MA, U.S.A., Jun 2012.
  • "Small-World Datacenters," [ slides: pptx | pdf ] [ poster ]
    • ACM Symposium on Cloud Computing (SoCC), Cascais, Portugal, Oct 2011.
  • "FTL Design Exploration in Reconfigurable High-Performance SSD for Server Applications," [ slides: ppt ]
    • International Conference on Supercomputing (ICS), Yorktown Heights, NY, U.S.A., Jun 2009.