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 |
|---|---|---|
| Toward a theory of self-explaining computation | 2018-10-18 | Paper |
| Oracle-guided scheduling for controlling granularity in implicitly parallel languages Journal of Functional Programming | 2017-10-23 | Paper |
| Hierarchical memory management for parallel programs Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming | 2017-05-10 | Paper |
| Dag-calculus: a calculus for parallel computation Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming | 2017-05-10 | Paper |
| Functional programming for dynamic and large data with self-adjusting computation Proceedings of the 19th ACM SIGPLAN international conference on Functional programming | 2016-09-29 | Paper |
| Refinement types for incremental computational complexity Programming Languages and Systems | 2016-04-26 | Paper |
| Automatically splitting a two-stage lambda calculus Programming Languages and Systems | 2016-04-26 | Paper |
| Dynamizing static algorithms, with applications to dynamic trees and history independence | 2015-08-03 | Paper |
| Extensible programming with first-class cases Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming | 2015-08-03 | Paper |
| A cost semantics for self-adjusting computation Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-07-03 | Paper |
| Adaptive functional programming Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-03-17 | Paper |
| Compiling self-adjusting programs with continuations Proceedings of the 13th ACM SIGPLAN international conference on Functional programming | 2015-03-16 | Paper |
| Implicit self-adjusting computation for purely functional programs Proceedings of the 16th ACM SIGPLAN international conference on Functional programming | 2015-03-05 | Paper |
| Theory and practice of chunked sequences Algorithms - ESA 2014 | 2014-10-08 | Paper |
| Imperative self-adjusting computation Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-09-12 | Paper |
| Implicit self-adjusting computation for purely functional programs Journal of Functional Programming | 2014-08-14 | Paper |
| Functional programs that explain their work Proceedings of the 17th ACM SIGPLAN international conference on Functional programming | 2014-07-21 | Paper |
| Dynamic well-spaced point sets Proceedings of the twenty-sixth annual symposium on Computational geometry | 2014-04-03 | Paper |
| Kinetic mesh refinement in 2D Proceedings of the twenty-seventh annual symposium on Computational geometry | 2014-03-24 | Paper |
| A consistent semantics of self-adjusting computation Journal of Functional Programming | 2014-02-27 | Paper |
| scientific article; zbMATH DE number 6253970 (Why is no real title available?) | 2014-02-03 | Paper |
| Dynamic well-spaced point sets Computational Geometry | 2013-04-29 | Paper |
| A core calculus for provenance Lecture Notes in Computer Science | 2012-06-29 | Paper |
| Non-monotonic self-adjusting computation Programming Languages and Systems | 2012-06-22 | Paper |
| Provenance as dependency analysis Mathematical Structures in Computer Science | 2011-12-08 | Paper |
| Kinetic 3D convex hulls via self-adjusting computation Proceedings of the twenty-third annual symposium on Computational geometry - SCG '07 | 2009-02-12 | Paper |
| Robust Kinetic Convex Hulls in 3D Algorithms - ESA 2008 | 2008-11-25 | Paper |
| Kinetic Algorithms Via Self-adjusting Computation Lecture Notes in Computer Science | 2008-03-11 | Paper |
| SVR: Practical engineering of a fast 3D meshing algorithm | 2008-02-22 | Paper |
| A Consistent Semantics of Self-adjusting Computation Programming Languages and Systems | 2007-09-04 | Paper |
| The data locality of work stealing Theory of Computing Systems | 2002-12-01 | Paper |
Research outcomes over time
This page was built for person: Umut A. Acar
