osdi 2021 accepted papers10 marca 2023
Academic and industrial participants present research and experience papers that cover the full range of theory and practice of computer . To remedy this, we introduce DeSearch, the first decentralized search engine that guarantees the integrity and privacy of search results for decentralized services and blockchain apps. AI enables principled representation of knowledge, complex strategy optimization, learning from data, and support to human decision making. Password Collaboration: You have a collaboration on a project, publication, grant proposal, program co-chairship, or editorship within the past two years (December 2018 through March 2021). Instead of choosing among a small number of known algorithms, our approach searches in a "policy space" of fine-grained actions, resulting in novel algorithms that can outperform existing algorithms by specializing to a given workload. The OSDI '21 program co-chairs have agreed not to submit their work to OSDI '21. For example, optimistic concurrency control (OCC) is better than two-phase-locking (2PL) under low contention, while the converse is true under high contention. She also has made contributions in network security, including scalable data expiration, distributed algorithms despite malicious participants, and DDOS prevention techniques. Zeph executes privacy-adhering data transformations in real-time and scales to thousands of data sources, allowing it to support large-scale low-latency data stream analytics. Amy Tai, VMware Research; Igor Smolyar, Technion Israel Institute of Technology; Michael Wei, VMware Research; Dan Tsafrir, Technion Israel Institute of Technology and VMware Research. Some recent schedulers choose job resources for users, but do so without awareness of how DL training can be re-optimized to better utilize the provided resources. The chairs may reject abstracts or papers on the basis of egregious missing or extraneous conflicts. Furthermore, to enable automatic runtime optimization, GNNAdvisor incorporates a lightweight analytical model for an effective design parameter search. J.P. Morgan AI Research partners with applied data analytics teams across the firm as well as with leading academic institutions globally. Timothy Roscoe is a Full Professor in the Systems Group of the Computer Science Department at ETH Zurich, where he works on operating systems, networks, and distributed systems, and is currently head of department. To adapt to different workloads, prior works mix or switch between a few known algorithms using manual insights or simple heuristics. Prepublication versions of the accepted papers from the summer submission deadline are available below. Furthermore, by combining SanRazor with an existing sanitizer reduction tool ASAP, we show synergistic effect by reducing the runtime cost to only 7.0% with a reasonable tradeoff of security. Session Chairs: Nadav Amit, VMware Research Group, and Ada Gavrilovska, Georgia Institute of Technology, Stephen Ibanez, Alex Mallery, Serhat Arslan, and Theo Jepsen, Stanford University; Muhammad Shahbaz, Purdue University; Changhoon Kim and Nick McKeown, Stanford University. While verifying GoJournal, we found one serious concurrency bug, even though GoJournal has many unit tests. A PC member is a conflict if any of the following three circumstances applies: Institution: You are currently employed at the same institution, have been previously employed at the same institution within the past two years (not counting concluded internships), or are going to begin employment at the same institution during the review period. Foreshadow was chosen as an IEEE Micro Top Pick. OSDI'20: 14th USENIX Conference on Operating Systems Design and ImplementationNovember 4 - 6, 2020 ISBN: 978-1-939133-19-9 Published: 04 November 2020 Sponsors: ORACLE, VMware, Google Inc., Amazon, Microsoft Get Alerts for this Conference Save to Binder Export Citation Bibliometrics Citation count 96 Downloads (6 weeks) 317 Downloads (12 months) We convert five state-of-the-art PM indexes using Nap. Title Page, Copyright Page, and List of Organizers | Welcome to the 2021 USENIX Annual Technical Conference (ATC '21) submissions site! Our evaluation on the SPEC benchmarks shows that SanRazor can reduce the overhead of sanitizers significantly, from 73.8% to 28.062.0% for AddressSanitizer, and from 160.1% to 36.6124.4% for UndefinedBehaviorSanitizer (depending on the applied reduction scheme). Lifting predicates and crash framing make the specification easy to use for developers, and logically atomic crash specifications allow for modular reasoning in GoJournal, making the proof tractable despite complex concurrency and crash interleavings. Second, Fluffy uses multiple existing Ethereum clients that independently implement the specification as cross-referencing oracles. Papers accompanied by nondisclosure agreement forms will not be considered. Ethereum is the second-largest blockchain platform next to Bitcoin. Reviews will be available for response on Wednesday, March 3, 2021. We built a functional NFSv3 server, called GoNFS, to use GoJournal. In this paper, we show how to address this inefficiency without requiring pages to be rewritten or browsers to be modified. Finding the inductive invariant of the distributed protocol is a critical step in verifying the correctness of distributed systems, but takes a long time to do even for simple protocols. While several new GNN architectures have been proposed, the scale of real-world graphsin many cases billions of nodes and edgesposes challenges during model training. Dorylus is up to 3.8 faster and 10.7 cheaper compared to existing sampling-based systems. We demonstrate that Marius achieves the same level of accuracy but is up to one order of magnitude faster. The abstractions we design for the privacy resource mirror those defined by Kubernetes for traditional resources, but there are also major differences. Tao Luo, Mingen Pan, Pierre Tholoniat, Asaf Cidon, and Roxana Geambasu, Columbia University; Mathias Lcuyer, Microsoft Research. We present NrOS, a new OS kernel with a safer approach to synchronization that runs many POSIX programs. Marius is open-sourced at www.marius-project.org. A glance at this year's OSDI program shows that Operating Systems are a small niche topic for this conference, not even meriting their own full session. PC members are not required to read supplementary material when reviewing the paper, so each paper should stand alone without it. This paper presents Zeph, a system that enables users to set privacy preferences on how their data can be shared and processed. This distinction forces a re-design of the scheduler. Please identify yourself as a presenter and include your mailing address in your email. Commonly used log archival and compression tools like Gzip provide high compression ratio, yet searching archived logs is a slow and painful process as it first requires decompressing the logs. 1 Acknowledgements: Paper prepared for the post-conference workshop on Food for Thought: Economic Analysis in Anticipation of the Next Farm Bill at the Agricultural and Applied Economics Association annual meeting, Austin, TX . We focus on NVMe storage devices and show that it is natural to express these semantics in the kernel and the application and only requires a modest two-bit change to the device interface. To resolve the problem, we propose a new LFS-aware ZNS interface, called ZNS+, and its implementation, where the host can offload data copy operations to the SSD to accelerate segment compaction. Novel system designs, thorough empirical work, well-motivated theoretical results, and new application areas are all . This formulation of memory management, which we call memory programming, is a generalization of paging that allows MAGE to provide a highly efficient virtual memory abstraction for SC. USENIX new Date().getFullYear()>document.write(new Date().getFullYear()); Grants for Black Computer Science Students Application, Propose an interesting, compelling solution, Demonstrate the practicality and benefits of the solution, Clearly describe the paper's contributions, Clearly articulate the advances beyond previous work. Abstract registrations that do not provide sufficient information to understand the topic and contribution (e.g., empty abstracts, placeholder abstracts, or trivial abstracts) will be rejected, thereby precluding paper submission. Grand Rapids, Michigan, United States . To evaluate the security guarantees of Storm, we build a formally verified reference implementation using the Labeled IO (LIO) IFC framework. First, GNNAdvisor explores and identifies several performance-relevant features from both the GNN model and the input graph, and use them as a new driving force for GNN acceleration. We conclude with a discussion of additional techniques for improving the allocator development process and potential optimization strategies for future memory allocators. Compared to a state-of-the-art fuzzer, Fluffy improves the fuzzing throughput by 510 and the code coverage by 2.7 with various optimizations: in-process fuzzing, fuzzing harnesses for Ethereum clients, and semantic-aware mutation that reduces erroneous test cases. Sat, Aug 7, 2021 3 min read researches review. Web pages today commonly include large amounts of JavaScript code in order to offer users a dynamic experience. USENIX Security '21 has three submission deadlines. We also propose two file system techniques for ZNS+-aware LFS. Contact your program co-chairs, osdi21chairs@usenix.org, or the USENIX office, submissionspolicy@usenix.org. In 2023 I started another two-year term on the . We propose a new framework for computing the embeddings of large-scale graphs on a single machine. Submitted November 12, 2021 Accepted January 20, 2022. We also welcome work that explores the interface to related areas such as computer architecture, networking, programming languages, analytics, and databases. This is unfortunate because good OS design has always been driven by the underlying hardware, and right now that hardware is almost unrecognizable from ten years ago, let alone from the 1960s when Unix was written. Existing algorithms are designed to work well for certain workloads. The conference papers and full proceedings are available to registered attendees now and will be available to everyone beginning Wednesday, July 14, 2021. See the USENIX Conference Submissions Policy for details. Poor data locality hurts an application's performance. A.H. Hunter, Jane Street Capital; Chris Kennelly, Paul Turner, Darryl Gove, Tipp Moseley, and Parthasarathy Ranganathan, Google. PET then automatically corrects results to restore full equivalence. Concurrency control algorithms are key determinants of the performance of in-memory databases. Jaehyun Hwang and Midhul Vuppalapati, Cornell University; Simon Peter, UT Austin; Rachit Agarwal, Cornell University. Because DistAI starts with the strongest possible invariants, if the SMT solver fails, DistAI does not need to discard failed invariants, but knows to monotonically weaken them and try again with the solver, repeating the process until it eventually succeeds. We demonstrate that KEVIN reduces the amount of I/O traffic between the host and the device, and remains particularly robust as the system ages and the data become fragmented. Each new model trained with DP increases the bound on data leakage and can be seen as consuming part of a global privacy budget that should not be exceeded. We compare Marius against two state-of-the-art industrial systems on a diverse array of benchmarks. For example, traditional compute resources are replenishable while privacy is not: a CPU can be regained after a model finishes execution while privacy budget cannot. Taking place in Carlsbad, CA from 11-13 July, OSDI is a highly selective flagship conference in computer science, especially on the topic of computer systems. Existing decentralized systems like Steemit, OpenBazaar, and the growing number of blockchain apps provide alternatives to existing services. Our evaluation shows that NrOS scales to 96 cores with performance that nearly always dominates Linux at scale, in some cases by orders of magnitude, while retaining much of the simplicity of a sequential kernel. Using this property, MAGE calculates the memory access pattern ahead of time and uses it to produce a memory management plan. This paper presents Dorylus: a distributed system for training GNNs. PET discovers and applies program transformations that improve computation efficiency but only maintain partial functional equivalence. Registering abstracts a week before paper submission is an essential part of the paper-reviewing process, as PC members use this time to identify which papers they are qualified to review. In this paper, we propose a software-hardware co-design to support dynamic, fine-grained, large-scale secure memory as well as fast-initialization. We discuss the design and implementation of TEMERAIRE including strategies for hugepage-aware memory layouts to maximize hugepage coverage and to minimize fragmentation overheads. As a result, data characteristics and device capabilities vary widely across clients. By monitoring the status of each job during training, Pollux models how their goodput (a novel metric we introduce that combines system throughput with statistical efficiency) would change by adding or removing resources. Moreover, to handle dynamic workloads, Nap adopts a fast NAL switch mechanism. Proceedings Front Matter PLDI seeks outstanding research that extends and/or applies programming-language concepts to advance the field of computing. We identify that current systems for learning the embeddings of large-scale graphs are bottlenecked by data movement, which results in poor resource utilization and inefficient training. First, it enables a caller to push a message to a callee in two hops, using a new way of assigning mailboxes to users that resembles how a post office assigns PO boxes to its customers. There is no explicit limit to the response, but authors are strongly encouraged to keep it under 500 words; reviewers are neither required nor expected to read excessively long responses. Federated Learning (FL) is an emerging direction in distributed machine learning (ML) that enables in-situ model training and testing on edge data. We propose Marius, a system for efficient training of graph embeddings that leverages partition caching and buffer-aware data orderings to minimize disk access and interleaves data movement with computation to maximize utilization. However, a plethora of recent data breaches show that even widely trusted service providers can be compromised. After three years working on web-based collaboration systems at a startup in North Carolina, he joined Sprint's Advanced Technology Lab in Burlingame, California, in 1998, working on cloud computing and network monitoring. Across a wide range of pages, phones, and mobile networks covering web workloads in both developed and emerging regions, Horcrux reduces median browser computation delays by 31-44% and page load times by 18-37%. Currently, for large graphs, CPU servers offer the best performance-per-dollar over GPU servers. Widely used log-search tools like Elasticsearch and Splunk Enterprise index the logs to provide fast search performance, yet the size of the index is within the same order of magnitude as the raw log size. When further combined with a simple caching strategy, our evaluation shows that P3 is able to outperform existing state-of-the-art distributed GNN frameworks by up to 7. We present Storm, a web framework that allows developers to build MVC applications with compile-time enforcement of centrally specified data-dependent security policies. If in doubt about whether your submission to OSDI 2021 and your upcoming submission to SOSP are the same paper or not, please contact the PC chairs by email. The experimental results show that Penglai can support 1,000s enclave instances running concurrently and scale up to 512GB secure memory with both encryption and integrity protection. A significant obstacle to using SC for practical applications is the memory overhead of the underlying cryptography. If your paper is accepted and you need an invitation letter to apply for a visa to attend the conference, please contact conference@usenix.org as soon as possible. Academic and industrial participants present research and experience papers that cover the full range of theory . We present the results of a 1% experiment at fleet scale as well as the longitudinal rollout in Googles warehouse scale computers. Sep 2021 - Present 1 year 7 months. Memory allocation represents significant compute cost at the warehouse scale and its optimization can yield considerable cost savings. We develop a prototype of Zeph on Apache Kafka to demonstrate that Zeph can perform large-scale privacy transformations with low overhead. Camera-ready submission (all accepted papers): 15 Mars 2022. Weak Links in Authentication Chains: A Large-scale Analysis of Email Sender Spoofing Attacks Researchers from the Software Systems Laboratory bagged a Best Paper Award at the 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 2021). Using selective profiling, we build DMon, a system that can automatically locate data locality problems in production, identify access patterns that hurt locality, and repair such patterns using targeted optimizations. This approach misses possible optimization opportunities as transformations that only preserve equivalence on subsets of the output tensors are excluded. Indeed, it is a prime target for powerful adversaries such as nation states. We particularly encourage contributions containing highly original ideas, new approaches, and/or groundbreaking results. Metadata from voice calls, such as the knowledge of who is communicating with whom, contains rich information about peoples lives. Submitted papers must be no longer than 12 single-spaced 8.5 x 11 pages, including figures and tables, plus as many pages as needed for references, using 10-point type on 12-point (single-spaced) leading, two-column format, Times Roman or a similar font, within a text block 7 wide x 9 deep. Fortunately, we observe that the backups for high availability in modern distributed OLTP systems can be retrofitted to bridge the analytical queries and transactions in HTAP workloads. As has been standard practice in OSDI and SOSP in recent years, we will allow authors to submit quick responses to PC reviews: they will be made available to the PC before the final online discussion and PC meeting. Pollux promotes fairness among DL jobs competing for resources based on a more meaningful measure of useful job progress, and reveals a new opportunity for reducing DL cost in cloud environments. Penglai also reduces the latency of secure memory initialization by three orders of magnitude and gains 3.6x speedup for real-world applications (e.g., MapReduce). For general conference information, see https://www . One important reason for the high cost is, as we observe in this paper, that many sanitizer checks are redundant the same safety property is repeatedly checked leading to unnecessarily wasted computing resources. Only two types of supplementary material are permitted: source code described in the paper and formal proofs sketched in the paper. The key insight in blk-switch is that Linux's multi-queue storage design, along with multi-queue network and storage hardware, makes the storage stack conceptually similar to a network switch. Storm ensures security using a Security Typed ORM that refines the (type) abstractions of each layer of the MVC API with logical assertions that describe the data produced and consumed by the underlying operation and the users allowed access to that data. Responses should be limited to clarifying the submitted work. This motivates the need for a new approach to data privacy that can provide strong assurance and control to users. Therefore, developers typically find data locality issues via dynamic profiling and repair them manually. We present case studies and end-to-end applications that show how Storm lets developers specify diverse policies while centralizing the trusted code to under 1% of the application, and statically enforces security with modest type annotation overhead, and no run-time cost. Her robot soccer teams have been RoboCup world champions several times, and the CoBot mobile robots have autonomously navigated for more than 1,000km in university buildings. OSDI is "a premier forum for discussing the design, implementation, and implications of systems software." A total of six research papers from the department were accepted to the . People often assume that blockchain has Byzantine robustness, so adding it to any system will make that system super robust against any calamity. While compiler-based techniques have been proposed to improve data locality, they depend on heuristics, which can sometimes hurt performance. In particular, responses must not include new experiments or data, describe additional work completed since submission, or promise additional work to follow. The biennial ACM Symposium on Operating Systems Principles is the world's premier forum for researchers, developers, programmers, and teachers of computer systems technology.