Boon Thau Loo
University of Pennsylvania
H-index: 47
North America-United States
Top articles of Boon Thau Loo
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Verifying Declarative Smart Contracts | Haoxian Chen Lan Lu Brendan Massey Yuepeng Wang Boon Thau Loo | 2024 | |
Error correction for network packets | 2024/1/2 | ||
Distributed Transaction Processing in Untrusted Environments | Mohammad Javad Amiri Divyakant Agrawal Amr El Abbadi Boon Thau Loo | 2024 | |
CompuCache: Remote Computable Caching with Spot VMs | Conference on Innovative Data Systems Research (CIDR) | Qizhen Zhang Philip Bernstein Daniel Berger Badrish Chandramouli Vincent Liu | 2023/1 |
Saguaro: An edge computing-enabled hierarchical permissioned blockchain | arXiv e-prints | Mohammad Javad Amiri Ziliang Lai Liana Patel Boon Thau Loo Eric Lo | 2021/1 |
Offloading operations from a primary processing device to a secondary processing device | 2023/1/31 | ||
Synthesizing Formal Network Specifications From Input-Output Examples | IEEE/ACM Transactions on Networking | Haoxian Chen Chenyuan Wu Andrew Zhao Mukund Raghothaman Mayur Naik | 2022/9/29 |
The bedrock of BFT: A unified platform for BFT protocol design and implementation | arXiv preprint arXiv:2205.04534 | Mohammad Javad Amiri Chenyuan Wu Divyakant Agrawal Amr El Abbadi Boon Thau Loo | 2022/5 |
Automatic Repair for Network Programs | Lei Shi Yuepeng Wang Rajeev Alur Boon Thau Loo | 2022/3/30 | |
Towards Practical Application-level Support for Privilege Separation | Nik Sultana Henry Zhu Ke Zhong Zhilei Zheng Ruijie Mao | 2022/12/5 | |
FlexChain: an elastic disaggregated blockchain | Proceedings of the VLDB Endowment | Chenyuan Wu Mohammad Javad Amiri Jared Asch Heena Nagda Qizhen Zhang | 2022/9/1 |
The use of crowdfunding and social media platforms in strategic start-up communication: a big-data analysis | International Journal of Strategic Communication | Sun-Young Park Boon Thau Loo | 2022/3/15 |
Safety Verification of Declarative Smart Contracts | arXiv preprint arXiv:2211.14585 | Haoxian Chen Lan Lu Brendan Massey Yuepeng Wang Boon Thau Loo | 2022/11/26 |
Templating Shuffles | arXiv preprint arXiv:2207.10746 | Qizhen Zhang Jiacheng Wu Ang Chen Vincent Liu Boon Thau Loo | 2022/7/21 |
Rashnu: Data-Dependent Order-Fairness | Mohammad Javad Amiri Heena Nagda Shubhendra Pal Singhal Boon Thau Loo | 2022 | |
Declarative smart contracts | Haoxian Chen Gerald Whitters Mohammad Javad Amiri Yuepeng Wang Boon Thau Loo | 2022/11/7 | |
Optimizing data-intensive systems in disaggregated data centers with teleport | Qizhen Zhang Xinyi Chen Sidharth Sankhe Zhilei Zheng Ke Zhong | 2022/6/10 | |
AdaChain: A Learned Adaptive Blockchain | Proceedings of the VLDB Endowment | Chenyuan Wu Bhavana Mehta Mohammad Javad Amiri Ryan Marcus Boon Thau Loo | 2023 |
The Bedrock of Byzantine Fault Tolerance: A Unified Platform for BFT Protocol Design and Implementation | arXiv preprint arXiv:2205.04534 | Mohammad Javad Amiri Chenyuan Wu Divyakant Agrawal Amr El Abbadi Boon Thau Loo | 2022/5/9 |
Compucache: Remote computable caching using spot vms | Annual Conference on Innovative Data Systems Research (CIDR’22) | Qizhen Zhang Philip A Bernstein Daniel S Berger Badrish Chandramouli Vincent Liu | 2022/1 |