Skip To Main Content
Hengfeng Wei on Muck Rack

Hengfeng Wei

As seen in: Wiley Online Library, arXiv
Is this you? As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work. Claim your profile
Back to Hengfeng Wei’s profile

Articles by Hengfeng Wei

Computer Science > Databases

|
By Si Liu, Hengfeng Wei
| arXiv
Recently proposed transactional anomalous patterns (TAPs) provide a semantic characterization of weak isolation levels and serve as the foundation for TAP-based isolation checking. Yet, these characterizations currently exist only as pen-and-paper proofs. We present the first machine-checked formalization of TAPs and their associated weak isolation levels in Rocq.
Open in Who Shared Issue with article?

[2511.14067] Fast Verification of Strong Database Isolation (Extended Version)

|
By Si Liu, Hengfeng Wei, Yuxing Chen, Anqun Pan
| arXiv
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website. Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them. Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.
Open in Who Shared View Duplicates (549) Issue with article?

Model‐checking‐driven explorative testing of CRDT designs and implementations

|
By Yuqi Zhang, Yu Huang, Xiaoxing Ma, Hengfeng Wei
| Wiley Online Library Verified
REFERENCES 1, , , . Replicated data types: Specification, verification, optimality. In: Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. POPL '14. ACM; 2014: 271-284. 2, , , . Conflict-free replicated data types. In: Proceedings of the 13th International Conference on Stabilization, Safety, and Security of Distributed Systems. SSS'11. Springer-Verlag; 2011: 386-400. http://dl.acm.org/citation.cfm?id=2050613.2050642 3, , , .
Open in Who Shared Issue with article?
Show More