26 citations · 36 across the 9 of their papers we have counts for
5 papers · 1 filter
Automated Synthesis of Asynchronizations
Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea +1
Asynchronous programming is widely adopted for building responsive and efficient software, and modern languages such as C# provide async/await primitives to simplify the use of asy…
FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation
Zhiyang Chen, Sidi Mohamed Beillahi, Fan Long
In decentralized finance (DeFi), lenders can offer flash loans to borrowers, i.e., loans that are only valid within a blockchain transaction and must be repaid with fees by the end…
SigVM: Enabling Event-Driven Execution for Autonomous Smart Contracts
Zihan Zhao, Sidi Mohamed Beillahi, Ryan Song +3
This paper presents SigVM, a novel blockchain virtual machine that supports an event-driven execution model, enabling developers to build autonomous smart contracts. Contracts in S…
Checking Robustness Between Weak Transactional Consistency Models
Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea
Concurrent accesses to databases are typically encapsulated in transactions in order to enable isolation from other concurrent computations and resilience to failures. Modern datab…
Robustness Against Transactional Causal Consistency
Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea
Distributed storage systems and databases are widely used by various types of applications. Transactional access to these storage systems is an important abstraction allowing appli…