Correctly Rounded Math Libraries Without Worrying about the Application's Rounding Mode
Sehyeok Park, Justin Kim, Santosh Nagarakatte
PLDI 2025
Brief Announcement: Making Synchronous BFT Protocols Secure in the Presence of Mobile Sluggish FaultsJustin Kim, Vandan Mehta, Kartik Nayak, Nibesh Shrestha
PODC 2021