StackRating

An Elo-based rating system for Stack Overflow
Home   |   About   |   Stats and Analysis   |   Get a Badge
Rating Stats for

Andrew Appel

Rating
1497.83 (3,925,488th) 		Reputation
263 (427,969th)
Page: 1
Title Δ
How do I write a proof for a switch statement with VST/ coq? 0.00
Verifying programs with heterogeneous arrays in VST 0.00
Figuring out proper loop invariant when appending to a linked list... 0.00
VST forward_call fail on non-standard calling convention 0.00
Coq VST Internal structure copying 0.00
Why are while loops predicated on typechecking (w/ tc_expr) the con... 0.00
Specifications with Addressable Local Variables -4.02
How to describe a double link using separation logic in the VST tool 0.00
How to write a global variable's seperation spec using verifiab... 0.00
forward_call with local variables 0.00
Finding ways to specify Functional Specification Verifiable-c +4.00
Finding ways to specify Functional Specification Verifiable-c -4.00
Proving correctness of Xor-Swapping 0.00
Array range in precondition 0.00
How to use retval-postcondition on a variable holding the return va... 0.00
How to handle "Forall (closed_wrt_vars (eq _z')) P "... +3.96
How to handle "Forall (closed_wrt_vars (eq _z')) P "... -2.04
Coq compiler error: Impossible to unify "4" with "8&... -0.04
Coq compiler error: Impossible to unify "4" with "8&... -0.04
PLCC book. page 23. Is it a misprint, and should sigma be replaced... 0.00
How to reason about array access in VST? 0.00
Tactic failure: Use forward_call W. method signature 0.00