Search results

    TitleConferenceSpeaker(s)
    GoSeed: Generating an Optimal Seeding Plan for Deduplicated StorageFAST '20Aviv Nachman, Gala Yadgar, Sarai Sheinvald
    DOTE: Rethinking (Predictive) WAN Traffic EngineeringNSDI '23Yarin Perry, Felipe Vieira Frujeri, Chaim Hoch, Srikanth Kandula, Ishai Menache, Michael Schapira, Aviv Tamar
    SquirrelFS: using the Rust compiler to check file-system crash consistencyOSDI '24Hayley LeBlanc, Nathan Taylor, James Bornholt, Vijay Chidambaram
    IronSpec: Increasing the Reliability of Formal SpecificationsOSDI '24Eli Goldweber, Weixin Yu, Seyed Armin Vakil Ghahani, Manos Kapritsos
    Optimizing NAND Flash-Based SSDs via Retention RelaxationFAST '12
    Extracting Flexible, Replayable Models from Large Block TracesFAST '12
    Harp: Improving VPC Network Availability via Efficient Failure Detection and Rerouting in Tencent CloudNSDI '26Jiayu Hu, Feng Jin, Xianping Zhou, Kai Zhang, Zhen Shen, Yongkang Luo
    How to Improve Your Service by Roasting ItSREcon16 EuropeJake Welch
    W32.Duqu: The Precursor to the Next StuxnetLEET '12Eric Chien, Liam OMurchu, Nicolas Falliere
    Keepers of the Machines: Examining How System Administrators Manage Software Updates For Multiple MachinesSOUPS 2019Frank Li, Lisa Rogers, Arunesh Mathur, Nathan Malkin, Marshini Chetty
    An Empirical Study of Wireless Carrier Authentication for SIM SwapsSOUPS 2020Kevin Lee, Benjamin Kaiser, Jonathan Mayer, Arvind Narayanan
    LiveOps: Systems Management as a Service LISA '06Chad Verbowski, Juhan Lee, Xiaogang Liu, Roussi Roussev, Yi-Min Wang
    Opening Remarks and Best Paper AwardsNSDI '12Steven Gribble, Dina Katabi
    Understanding and Securing DoD Weapon SystemsEnigma 2017Lt. Col. Tim Booher
    It's Time to Debloat the Cloud with UnikraftLISA21Felipe Huici
    Converos: Practical Model Checking for Verifying Rust OS Kernel ConcurrencyUSENIX ATC '25Ruize Tang, Minghua Wang, Xudong Sun, Lin Huang, Yu Huang, Xiaoxing Ma
    BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety ProofUSENIX Security '20Shweta Shinde, Shengyi Wang, Pinghai Yuan, Aquinas Hobor, Abhik Roychoudhury, Prateek Saxena
    Cache Telepathy: Leveraging Shared Resource Attacks to Learn DNN ArchitecturesUSENIX Security '20Mengjia Yan, Christopher W. Fletcher, Josep Torrellas
    Managing Up and Sideways as an SRESREcon16 EuropeLiz Fong-Jones
    Multi-GPU Accelerated Processing of Time-Series Data of Huge Academic Backbone Network in ELK StackLISA19Ruo Ando
    Trustworthy ElectionsEnigma 2020Joey Dodds
    Reimagining User Authentication for Digital Health Services: A User-Centered ApproachPEPR '23Bo Kim
    Learning and Unlearning Your Data in Federated SettingsPEPR '24Tamara Bonaci
    Open Compute Project and the Changing Data CenterLISA14Ken Patchett
    Building MIT's Stata Center: An IT PerspectiveLISA '05Garrett Wollman

    Pages

    Printable Calendar | Google Calendar