1 citations · 1 across the 5 of their papers we have counts for
6 papers
Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems
Shubham Agarwal, Alexander Krentsel, Shu Liu +10
AI agents increasingly excel at generating, testing, and refining code. However, they fall short on tasks requiring formal guarantees of full coverage that testing alone cannot pro…
Quorum Subsumption for Heterogeneous Quorum Systems
Xiao Li, Eric Chan, Mohsen Lesani
Byzantine quorum systems provide higher throughput than proof-of-work and incur modest energy consumption. Further, their modern incarnations incorporate personalized and heterogen…
Reconfigurable Heterogeneous Quorum Systems
Xiao Li, Mohsen Lesani
In contrast to proof-of-work replication, Byzantine quorum systems maintain consistency across replicas with higher throughput modest energy consumption, and deterministic liveness…
Cross-chain Swaps with Preferences
Eric Chan, Marek Chrobak, Mohsen Lesani
Extreme valuation and volatility of cryptocurrencies require investors to diversify often which demands secure exchange protocols. A cross-chain swap protocol allows distrusting pa…
GraFS: Graph Analytics Fusion and Synthesis
Farzin Houshmand, Mohsen Lesani, Keval Vora
Graph analytics elicits insights from large graphs to inform critical decisions for business, safety and security. Several large-scale graph processing frameworks feature efficient…
Temporal Logic of Composable Distributed Components
Jeremiah Griffin, Mohsen Lesani, Narges Shadab +1
Distributed systems are critical to reliable and scalable computing; however, they are complicated in nature and prone to bugs. To modularly manage this complexity, network middlew…