Cited By
View all- Decouchant JOzkan BZhou Y(2023)Liveness Checking of the HotStuff Protocol Family2023 IEEE 28th Pacific Rim International Symposium on Dependable Computing (PRDC)10.1109/PRDC59308.2023.00029(168-179)Online publication date: 24-Oct-2023
- Oberhauser JChehab RBehrens DFu MPaolillo AOberhauser LBhat KWen YChen HKim JVafeiadis VSherwood TBerger EKozyrakis C(2021)VSync: push-button verification and optimization for synchronization primitives on weak memory modelsProceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems10.1145/3445814.3446748(530-545)Online publication date: 19-Apr-2021
- Agarwal UDeligiannis PHuang CJung KLal ANaseer IParkinson MThangamani AVedurada JXiao YGrundy J(2021)NekaraProceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering10.1109/ASE51524.2021.9678838(679-691)Online publication date: 15-Nov-2021
- Show More Cited By