samskivert http://samskivert.com Ramblings by one Michael D. Bayne Sun, 07 Mar 2010 01:28:32 +0000 http://backend.userland.com/rss092 en Integration of Typed and Untyped Code in Thorn – Wrigstad, et al. http://samskivert.com/2010/03/integration-of-typed-and-untyped-code-in-thorn-wrigstad-et-al/ Lackwit: A Program Understanding Tool Based on Type Inference – O’Callahan and Jackson http://samskivert.com/2010/03/lackwit-a-program-understanding-tool-based-on-type-inference-ocallahan-and-jackson/ Principal type-schemes for functional programs – Damas and Milner http://samskivert.com/2010/03/principal-type-schemes-for-functional-programs-damas-and-milner/ Finding User/Kernel Pointer Bugs With Type Inference – Johnson and Wagner http://samskivert.com/2010/03/finding-userkernel-pointer-bugs-with-type-inference-johnson-and-wagner/ The Design of a Task Parallel Library – Leijen et al. http://samskivert.com/2010/03/the-design-of-a-task-parallel-library-leijen-et-al/ Strictly Declarative Specification of Sophisticated Points-to Analyses – Bravenboer and Smaragdakis http://samskivert.com/2010/03/strictly-declarative-specification-of-sophisticated-points-to-analyses-bravenboer-and-smaragdakis/ Points-to Analysis by Type Inference of Programs with Structures and Unions – Steensgaard http://samskivert.com/2010/03/points-to-analysis-by-type-inference-of-programs-with-structures-and-unions-steensgaard/ Points-to Analysis in Almost Linear Time – Steensgaard http://samskivert.com/2010/03/points-to-analysis-in-almost-linear-time-steensgaard/ Using Predicate Abstraction to Reduce Object-Oriented Programs for Model Checking – Visser, et al. http://samskivert.com/2010/03/using-predicate-abstraction-to-reduce-object-oriented-programs-for-model-checking-visser-et-al/ Counterexample-Guided Abstraction Refinement – Clarke, et al. http://samskivert.com/2010/03/counterexample-guided-abstraction-refinement-clarke-et-al/