David van Horn
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Constructive Galois connections Journal of Functional Programming | 2019-11-22 | Paper |
| Higher order symbolic execution for contract verification and refutation Journal of Functional Programming | 2017-10-23 | Paper |
| Constructive Galois connections: taming the Galois connection framework for mechanized metatheory Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming | 2017-05-10 | Paper |
| Pushdown control-flow analysis for free Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-10-24 | Paper |
| Soft contract verification Proceedings of the 19th ACM SIGPLAN international conference on Functional programming | 2016-09-29 | Paper |
| Running probabilistic programs backwards Programming Languages and Systems | 2016-04-26 | Paper |
| Optimizing abstract abstract machines Proceedings of the 18th ACM SIGPLAN international conference on Functional programming | 2015-03-30 | Paper |
| Deciding kCFA is complete for EXPTIME Proceedings of the 13th ACM SIGPLAN international conference on Functional programming | 2015-03-16 | Paper |
| Abstracting abstract machines Proceedings of the 15th ACM SIGPLAN international conference on Functional programming | 2015-03-05 | Paper |
| Abstracting abstract machines Proceedings of the 15th ACM SIGPLAN international conference on Functional programming | 2015-03-05 | Paper |
| Pushdown flow analysis with abstract garbage collection Journal of Functional Programming | 2014-08-14 | Paper |
| Introspective pushdown analysis of higher-order programs Proceedings of the 17th ACM SIGPLAN international conference on Functional programming | 2014-07-21 | Paper |
| Relating complexity and precision in control flow analysis Proceedings of the 12th ACM SIGPLAN international conference on Functional programming | 2014-07-21 | Paper |
| Introspective pushdown analysis of higher-order programs Proceedings of the 17th ACM SIGPLAN international conference on Functional programming | 2014-07-21 | Paper |
| Systematic abstraction of abstract machines Journal of Functional Programming | 2012-10-29 | Paper |
| Flow Analysis, Linearity, and PTIME Static Analysis | 2008-08-28 | Paper |
| Types and trace effects of higher order programs Journal of Functional Programming | 2008-03-27 | Paper |
| Free-decay time-domain modal identification for large space structures Journal of Guidance, Control, and Dynamics | 1994-11-01 | Paper |
Research outcomes over time
This page was built for person: David van Horn
