Haobin Ni

According to our database, Haobin Ni authored at least 9 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Scaling Program Synthesis Based Technology Mapping with Equality Saturation.

Gus Henry Smith, Colin Knizek, Daniel Petrisko, Zachary Tatlock, Jonathan Balkind, Gilbert Louis Bernstein, Haobin Ni, Chandrakana Nandi

CoRR, 2024

E-Graphs as Circuits, and Optimal Extraction via Treewidth.

Glenn Sun, Yihong Zhang, Haobin Ni

CoRR, 2024

SCIF: A Language for Compositional Smart Contract Security.

Siqiu Yao, Haobin Ni, Andrew C. Myers, Ethan Cecchetti

CoRR, 2024

2023

Charlotte: Reformulating Blockchains into a Web of Composable Attested Data Structures for Cross-Domain Applications.

Isaac C. Sheff, Xinwen Wang, Kushal Babel, Haobin Ni, Robbert van Renesse, Andrew C. Myers

ACM Trans. Comput. Syst., 2023

Trees and Turtles: Modular Abstractions for State Machine Replication Protocols.

Natalie Neamtu, Haobin Ni, Robbert van Renesse

Proceedings of the 10th Workshop on Principles and Practice of Consistency for Distributed Data, 2023

ASN1*: Provably Correct, Non-malleable Parsing for ASN.1 DER.

Haobin Ni, Antoine Delignat-Lavaud, Cédric Fournet, Tahina Ramananandro, Nikhil Swamy

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023

2022

Hardening attack surfaces with formally proven binary format parsers.

Nikhil Swamy, Tahina Ramananandro, Aseem Rastogi, Irina Spiridonova, Haobin Ni, Dmitry Malloy, Juan Vazquez, Michael Tang, Omar Cardona, Arti Gupta

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2021

Compositional Security for Reentrant Applications.

Ethan Cecchetti, Siqiu Yao, Haobin Ni, Andrew C. Myers

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

2019

Charlotte: Composable Authenticated Distributed Data Structures, Technical Report.

Isaac C. Sheff, Xinwen Wang, Haobin Ni, Robbert van Renesse, Andrew C. Myers

CoRR, 2019