Search results

  1. Making State Explicit for Imperative Big Data Processing

    Raul Castro Fernandez, Imperial College London; Matteo Migliavacca, University of Kent; Evangelia Kalyvianaki, City University London; Peter Pietzuch, Imperial College London Data scientists often implement machine learning algorithms in imperative langua ...

    arnold - December 13, 2021 - 2:52 pm

  2. Static Analysis of Variability in System Software: The 90,000 #ifdefs Issue

    Reinhard Tartler, Christian Dietrich, Julio Sincero, Wolfgang Schröder-Preikschat, and Daniel Lohmann, Friedrich-Alexander-Universität Erlangen-Nürnberg System software can be configured at compile time to tailor it with respect to a broad range of suppor ...

    arnold - December 13, 2021 - 2:52 pm

  3. HACK: Hierarchical ACKs for Efficient Wireless Medium Utilization

    London Awarded Best Paper! WiFi's physical layer has increased in speed from 802.11b's 11 Mbps ... ACKs. In this paper, we propose TCP/HACK (Hierarchical ACKnowledgment), a system that applies ...

    arnold - December 13, 2021 - 2:52 pm

  4. Automating the Choice of Consistency Levels in Replicated Systems

    Cheng Li, Max Planck Institute for Software Systems (MPI-SWS); Joao Leitão, NOVA University of Lisbon/CITI/NOVA-LINCS; Allen Clement, Max Planck Institute for Software Systems (MPI-SWS); Nuno Preguiça and Rodrigo Rodrigues, NOVA University of Lisbon/CITI/ ...

    arnold - December 13, 2021 - 3:52 pm

  5. vCacheShare: Automated Server Flash Cache Space Management in a Virtualization Environment

    manually by administrators. In this paper, we present vCacheShare, a dynamic, workload-aware, policy-driven ... captures both longer-term locality behavior and transient locality spikes. This paper validates the growing ...

    arnold - December 13, 2021 - 3:52 pm

  6. Reliable Writeback for Client-side Flash Caches

    Dai Qin, Angela Demke Brown, and Ashvin Goel, University of Toronto Modern data centers are increasingly using shared storage solutions for ease of management. Data is cached on the client side on inexpensive and high-capacity flash devices, helping impro ...

    arnold - December 13, 2021 - 3:52 pm

  7. The TURBO Diaries: Application-controlled Frequency Scaling Explained

    exceeding the nominal base frequency but within their thermal design power. In this paper, we propose ...

    arnold - December 13, 2021 - 3:52 pm

  8. ELF: Efficient Lightweight Fast Stream Processing at Scale

    Liting Hu, Karsten Schwan, Hrishikesh Amur, and Xin Chen, Georgia Institute of Technology Stream processing has become a key means for gaining rapid insights from webserver-captured data. Challenges include how to scale to numerous, concurrently running s ...

    arnold - December 13, 2021 - 3:52 pm

  9. GPUvm: Why Not Virtualizing GPUs at the Hypervisor?

    Yusuke Suzuki, Keio University; Shinpei Kato, Nagoya University; Hiroshi Yamada, Tokyo University of Agriculture and Technology; Kenji Kono, Keio University Graphics processing units (GPUs) provide orders-of-magnitude speedup for compute-intensive data-pa ...

    arnold - December 13, 2021 - 3:52 pm

  10. Programmatic Orchestration of WiFi Networks

    solutions and the lack of programmability makes this a challenging task. This paper proposes Odin, an ...

    arnold - December 13, 2021 - 3:52 pm

  11. SCFS: A Shared Cloud-backed File System

    Alysson Bessani, Ricardo Mendes, Tiago Oliveira, and Nuno Neves, Faculdade de Ciências and LaSIGE; Miguel Correia, INESC-ID and Instituto Superior Técnico, University of Lisbon; Marcelo Pasin, Université de Neuchâtel; Paulo Verissimo, Faculdade de Ciência ...

    arnold - December 13, 2021 - 3:52 pm

  12. Gleaner: Mitigating the Blocked-Waiter Wakeup Problem for Virtualized Multicore Applications

    studied, this paper studies another cost, which has received little attention. The cost is caused by the ... libraries—we call this the blocked-waiter wakeup (BWW) problem. The paper systematically analyzes the cause of ... system throughput, and performance unpredictability. To deal with these issues, the paper proposes ...

    arnold - December 13, 2021 - 7:49 am

  13. OSv—Optimizing the Operating System for Virtual Machines

    Avi Kivity, Dor Laor, Glauber Costa, Pekka Enberg, Nadav Har’El, Don Marti, and Vlad Zolotarov, Cloudius Systems Virtual machines in the cloud typically run existing general-purpose operating systems such as Linux. We notice that the cloud’s hypervisor al ...

    arnold - December 13, 2021 - 3:52 pm

  14. Exploiting Bounded Staleness to Speed Up Big Data Analytics

    iterative, converging on a final solution via many iterations over the input data. This paper explores ...

    arnold - December 13, 2021 - 3:52 pm

  15. In Search of an Understandable Consensus Algorithm

    Diego Ongaro and John Ousterhout, Stanford University Awarded Best Paper! Raft is a consensus ...

    arnold - December 13, 2021 - 4:52 pm

  16. XRay: Enhancing the Web’s Transparency with Differential Correlation

    Tuesday, July 29, 2014- 3:45pm Mathias Lécuyer, Guillaume Ducoffe, Francis Lan, Andrei Papancea, Theofilos Petsios, Riley Spahn, Augustin Chaintreau, and Roxana Geambasu, Columbia University Today’s Web services – such as Google, Amazon, and Facebook – le ...

    arnold - December 13, 2021 - 7:18 am

  17. SDDR: Light-Weight, Secure Mobile Encounters

    Friday, August 1, 2014- 10:45am Matthew Lentz, University of Maryland; Viktor Erdélyi and Paarijaat Aditya, Max Planck Institute for Software Systems (MPI-SWS); Elaine Shi, University of Maryland;  Peter Druschel,  Max Planck Institute for Software System ...

    arnold - January 10, 2022 - 2:14 pm

  18. Peeking into Your App without Actually Seeing It: UI State Inference and Novel Android Attacks

    an important yet under-scrutinized topic. In this paper, we report that on the Android system (and ...

    arnold - December 22, 2021 - 3:47 pm

  19. Scheduler-based Defenses against Cross-VM Side-channels

    Friday, August 1, 2014- 10:15am Venkatanathan Varadarajan, Thomas Ristenpart, and Michael Swift,  University of Wisconsin—Madison Public infrastructure-as-a-service clouds, such as Amazon EC2 and Microsoft Azure allow arbitrary clients to run virtual mach ...

    arnold - January 7, 2022 - 11:29 am

  20. SpanDex: Secure Password Tracking for Android

    and Ali Razeen, Bi Wu, and Sai Cheemalapati, Duke University This paper presents SpanDex, a set of ...

    arnold - December 22, 2021 - 3:59 pm

  21. Dynamic Hooks: Hiding Control Flow Changes within Non-Control Data

    demonstrated. In this paper, we propose a novel hooking concept that we refer to as dynamic hooking. Instead of ...

    arnold - January 7, 2022 - 11:19 am

  22. Man vs. Machine: Practical Adversarial Detection of Malicious Crowdsourcing Workers

    polluting training data. In this paper, we perform an empirical study of adversarial attacks against machine ...

    arnold - January 7, 2022 - 11:10 am

  23. A Look at Targeted Attacks Through the Lense of an NGO

    Friday, August 1, 2014- 10:15am Stevens Le Blond, Adina Uritesc, and Cédric Gilbert,  Max Planck Institute for Software Systems (MPI-SWS);  Zheng Leong Chua and Prateek Saxena,  National University of Singapore;  Engin Kirda,  Northeastern University We p ...

    arnold - January 10, 2022 - 2:17 pm

  24. Preventing Cryptographic Key Leakage in Cloud Virtual Machines

    a threat, this paper introduces HERMES, a new system that aims to protect the cryptographic keys in the ...

    arnold - January 10, 2022 - 1:22 pm

  25. Exit from Hell? Reducing the Impact of Amplification DDoS Attacks

    amplification problem? In this paper, we aim to answer this question and tackle the problem from four different ...

    arnold - January 10, 2022 - 2:21 pm

Pages