Researcher in Programming Language Theory and Formal Verification.
-
JetBrains Research
Block or Report
Block or report eupp
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
JetBrains/lincheck
JetBrains/lincheck PublicFramework for testing concurrent data structures
-
jetbrains-academy/CppBasics
jetbrains-academy/CppBasics PublicLearn fundamentals of C/C++ while developing simple arcade game
C++ 1
-
Event-Structures/event-struct
Event-Structures/event-struct PublicMechanized Theory of Event Structures
-
weakmemory/weakestmoToImm
weakmemory/weakestmoToImm PublicThe Weakestmo memory model and the compilation correctness proof to IMM
Coq 2
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.