Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 12 of 12 for “"Strong guarantees"”.
-
Efficient Aggregated Deliveries with Strong Guarantees in an Event-based Distributed System
… networks. In the case of centralized setups, the guarantees for complex event delivery are stronger, however, centralized setups create performance bottlenecks and single points of failure. With broker overlays, the performance and fault tolerance are improved but at the cost of weaker guarantees.
-
Towards anonymous and metadata private communication at Internet scale
… (1) systems that provide formal privacy guarantees against global adversaries but do not scale to large numbers of users, or (2) systems that scale easily to a large user base but do not provide strong guarantees against global adversaries. In this thesis, I will present three systems …
-
Performance optimization of the VDFS verified file system
… their correctness. While such systems provide strong guarantees about their behavior, they frequently exhibit poor performance relative to their unverified counterparts. Verified file systems are not excepted, and their poor performance limits their utility. These limitations, however, are not …
-
Preventing information leaks with policy-agnostic programming
… and filters across the program. To provide strong guarantees about Jeeves programs, I present a formalization of the dynamic semantics of Jeeves, define non-interference and policy compliance properties, and provide proofs that Jeeves enforces these properties. To demonstrate the practical …
-
AbsInt-AI: Language Models for Abstract Interpretation
… systems with well-defined semantics, enabling strong guarantees such as never missing a bug. However, traditional analyses almost always rely on uniform, hard-coded heap abstractions. While more adaptive abstractions are possible in theory, they are rarely implemented in practice due to their …
-
Formally Verifying Secure and Leakage-Free Systems: From Application Specification to Circuit-Level Implementation
… hardware platforms. Parfait provides strong guarantees for these HSMs: for example, it proves that the ECDSA-on-Ibex implementation—2,300 lines of code and 13,500 lines of Verilog—leaks nothing more than what is allowed by a 40-line specification of its behavior.
-
Sequential decision making with feature-linear models
… to provide near-tight confidence intervals and strong guarantees on computational complexity. As part of our analysis, we develop a novel bound on the effective dimension of kernel ridge regression with the Matérn kernel with respect to the volume of the domain. Part I is mainly concerned with …
-
Certifying a crash-safe file system
… As a result, applications on FSCQ can provide strong guarantees: they will not lose data under any sequence of crashes. To state FSCQ's theorems, FSCQ introduces the Crash Hoare Logic (CHL), which extends traditional Hoare logic with a crash condition, a recovery procedure, and logical address …
-
A Novel Machine Learning Approach to Robust Optimization: Theory and Applications
… in estimated optimization parameters. Extending guarantees from the robust optimization literature, we derive strong guarantees on the probability of violation. Synthetic computational experiments show that our method requires uncertainty sets with radii up to one order of magnitude smaller than …
-
The Design, Analysis, & Application Of Multi-Modal Real-Time Embedded Systems
… level of quality-of-service. In order to provide strong guarantees on services, multimedia applications and real-time control systems maintain timing constraints in the form of deadlines for recurring tasks. A flexible real-time multi-modal system will ideally provide system designers the option …
-
Exact Sampling and Optimisation in Statistical Machine Translation
… is more fundamental and natural, it o ers strong guarantees, such as unbiased samples, but is typically hard to design for distributions of the kind addressed in SMT, rendering an intractable method. A recent technique that stresses a uni ed view between the two types of inference tasks …
-
Scalable Robust Models Under Adversarial Data Corruption
… We also prove that our algorithm benefits from strong guarantees in terms of convergence rates and coefficient recovery, which can be utilized as a generic framework for the multi-factor robust regression problem with correlated corruption property. Extensive experiment on synthetic and real …