40.2k citations
- Max Planck SocietyDE68 papers
- University of OxfordGB25 papers
- Centre National de la Recherche ScientifiqueFR24 papers
- Saarland UniversityDE17 papers
- University of CambridgeGB12 papers
- ETH ZurichCH11 papers
- IMDEA Software InstituteES10 papers
- Indian Institute of Technology KharagpurIN10 papers
- University of California, Los AngelesUS10 papers
- Max Planck Institute for InformaticsDE9 papers
- National University of SingaporeSG9 papers
- Newcastle UniversityGB9 papers
7 papers · 1 filter
A theory of robust software synthesis
Rupak Majumdar, Elaine Render, Paulo Tabuada
A key property for systems subject to uncertainty in their operating environment is robustness, ensuring that unmodelled, but bounded, disturbances have only a proportionally bound…
Self-Adjusting Stack Machines
Matthew A. Hammer, Georg Neis, Yan Chen +1
Self-adjusting computation offers a language-based approach to writing programs that automatically respond to dynamically changing data. Recent work made significant progress in de…
On the mathematical synthesis of equational logics
Marcelo Fiore, Chung-Kil Hur
We provide a mathematical theory and methodology for synthesising equational logics from algebraic metatheories. We illustrate our methodology by means of two applications: a ratio…
Coordinate-invariant incremental Lyapunov functions
Majid Zamani, Rupak Majumdar
In this note, we propose coordinate-invariant notions of incremental Lyapunov function and provide characterizations of incremental stability in terms of existence of the proposed…
Adding Query Privacy to Robust DHTs
Michael Backes, Ian Goldberg, Aniket Kate +1
Interest in anonymous communication over distributed hash tables (DHTs) has increased in recent years. However, almost all known solutions solely aim at achieving sender or request…
Logical Step-Indexed Logical Relations
Derek Dreyer, Amal Ahmed, Lars Birkedal
Appel and McAllester's "step-indexed" logical relations have proven to be a simple and effective technique for reasoning about programs in languages with semantically interesting t…