dvanhorn's profile

Recent Activity

• 03:41: posted Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings
• 03:41: posted HMC: Verifying Functional Programs Using Abstract Interpreters
• 00:15: posted Traces in symmetric monoidal categories
• 00:14: posted Traced monoidal categories
• 00:09: posted SAGE: system for algebra and geometry experimentation

• 21:09: posted Gaussian {M}arkov Random Fields: {T}heory and Applications
• 21:05: posted Learning the structure of dynamic probabilistic networks
• 21:02: posted Learning dynamic Bayesian networks
• 20:58: posted Causality with Gates
• 18:47: posted Pushdown Exception-Flow Analysis of Object-Oriented Programs
• 18:29: posted Correctly Optimizing Abstract Abstract Machines
• 05:21: posted Static analysis of arithmetical congruences
• 05:20: posted Automatic discovery of linear restraints among variables of a program
• 05:17: posted A Few Graph-Based Relational Numerical Abstract Domains
• 05:15: posted A unifying view of abstract domain design
• 05:14: posted A New Numerical Abstract Domain Based on Difference-Bound Matrices
• 05:12: posted The octagon abstract domain
• 05:07: posted The Abstract Domain of Parallelotopes
• 04:28: posted Widening and narrowing operators for abstract interpretation
• 03:52: posted {Polymorphic Type Inference for the JNI}
• 03:52: posted {Static Type Inference for Ruby}
• 03:52: posted {Mixing Type Checking and Symbolic Execution}
• 03:52: posted {Symbolic Security Analysis of Ruby-on-Rails Web Applications}
• 03:52: posted {Dynamic Inference of Static Types for Ruby}
• 03:52: posted {Dr. Android and Mr. Hide: Fine-grained Permissions in Android Applications}
• 01:11: posted Macro-by-example: Deriving syntactic transformations from their specifications
• 01:05: posted Building Little Languages with Macros
• 01:01: posted Debugging hygienic macros
• 00:58: posted Componential set-based analysis
• 00:52: posted Scribble: closing the book on ad hoc documentation tools
• 00:50: posted Laziness by Need
• 00:46: posted Optimization coaching: optimizers learn to communicate with programmers
• 00:45: posted Building language towers with Ziggurat
• 00:40: posted Fortifying macros
• 00:28: posted Final Algebra Semantics and Data Type Extensions
• 00:25: posted Fully Abstract Semantics for Observably Sequential Languages