research
∙
09/14/2022
Automated Synthesis of Asynchronizations
Asynchronous programming is widely adopted for building responsive and e...
share
research
∙
06/21/2022
FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation
In decentralized finance (DeFi) ecosystem, lenders can offer flash loans...
research
∙
01/22/2021
Checking Robustness Between Weak Transactional Consistency Models
Concurrent accesses to databases are typically encapsulated in transacti...
research
∙
06/28/2019
Robustness Against Transactional Causal Consistency
Distributed storage systems and databases are widely used by various typ...
research
∙
05/21/2019