( en | de | ru )

 

Disambiguation of "Dongol, Brijesh"

Author of the publication

copydeleteadd this publication to your clipboard
A Fully Verified Persistency Library.

, , , , and . VMCAI (2), volume 14500 of Lecture Notes in Computer Science, page 26-47. Springer, (2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Krishna Gopal Dongol

 

Other publications of authors with the same name

On Strong Observational Refinement and Forward Simulation., , , , and . CoRR, (2021)Verifying C11-Style Weak Memory Libraries., and . CoRR, (2020)Checking Opacity and Durable Opacity with FDR., and . SEFM, volume 13085 of Lecture Notes in Computer Science, page 222-242. Springer, (2021)A general technique for proving lock-freedom., and . Sci. Comput. Program., 74 (3): 143-165 (2009)Data refinement for true concurrency, and . Refine@IFM, volume 115 of EPTCS, page 15-35. (2013)Verifying C11 Programs Operationally., , , and . CoRR, (2018)Progress in Deriving Concurrent Programs: Emphasizing the Role of Stable Guards., and . MPC, volume 4014 of Lecture Notes in Computer Science, page 140-161. Springer, (2006)Using Coarse-Grained Abstractions to Verify Linearizability on TSO Architectures., , , and . Haifa Verification Conference, volume 8855 of Lecture Notes in Computer Science, page 1-16. Springer, (2014)Intel PMDK Transactions: Specification, Validation and Concurrency., , , , and . ESOP (2), volume 14577 of Lecture Notes in Computer Science, page 150-179. Springer, (2024)Secret-Directed Unwinding., , , and . Arch. Formal Proofs, (2024)