recent posts

typetitleauthor sort iconlast post
StoryThe Daikon Invariant Detector Paul Snively2006-08-28 02:55
StoryVellvm: Formalizing the LLVM Intermediate Representation for Verified Program Transformations Paul Snively2012-02-09 18:04
StoryA Certified Type-Preserving Compiler from Lambda Calculus to Assembly Language Paul Snively2007-03-28 14:31
StoryValidating LR(1) parsers Paul Snively2012-07-01 11:54
StoryThe Experimental Effectiveness of Mathematical Proof Paul Snively2011-11-12 12:16
StoryTheorem proving support in programming language semantics Paul Snively2008-01-13 07:36
StoryConstraint-based type inference for guarded algebraic data types Paul Snively2006-02-07 15:19
StoryType-Checking Zero Knowledge Paul Snively2008-12-05 14:52
StoryClassicJava in PLT Redex Paul Snively2005-12-07 14:51
StoryOCaml 3.11.0-beta1 Available Paul Snively2008-10-20 08:27