Search filters

List of works by Hengfeng Wei

Formal specification and runtime detection of temporal properties for asynchronous context

LLM Meets Bounded Model Checking: Neuro-symbolic Loop Invariant Inference

scientific article published on 18 October 2024

NOC-NOC: Towards Performance-optimal Distributed Transactions

scientific article published on 26 March 2024

Plume: Efficient and Complete Black-Box Checking of Weak Isolation Levels

scientific article published on 08 October 2024

Verifying Pipelined-RAM Consistency over Read/Write Traces of Data Replicas

Paulina is supported by:

About Paulina

Help