Umut A. Acar

Available identifiers

zbMath Open acar.umut-aWikidataQ102195405 ScholiaQ102195405MaRDI QIDQ1799302

List of research outcomes

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	2017-10-23	Paper
Hierarchical memory management for parallel programs	2017-05-10	Paper
Dag-calculus: a calculus for parallel computation	2017-05-10	Paper
Functional programming for dynamic and large data with self-adjusting computation	2016-09-29	Paper
Refinement Types for Incremental Computational Complexity	2016-04-26	Paper
Automatically Splitting a Two-Stage Lambda Calculus	2016-04-26	Paper
https://portal.mardi4nfdi.de/entity/Q5501304	2015-08-03	Paper
Extensible programming with first-class cases	2015-08-03	Paper
A cost semantics for self-adjusting computation	2015-07-03	Paper
Adaptive functional programming	2015-03-17	Paper
Compiling self-adjusting programs with continuations	2015-03-16	Paper
Implicit self-adjusting computation for purely functional programs	2015-03-05	Paper
Theory and Practice of Chunked Sequences	2014-10-08	Paper
Imperative self-adjusting computation	2014-09-12	Paper
Implicit self-adjusting computation for purely functional programs	2014-08-14	Paper
Functional programs that explain their work	2014-07-21	Paper
Dynamic well-spaced point sets	2014-04-03	Paper
Kinetic mesh refinement in 2D	2014-03-24	Paper
A consistent semantics of self-adjusting computation	2014-02-27	Paper
https://portal.mardi4nfdi.de/entity/Q5396723	2014-02-03	Paper
Dynamic well-spaced point sets	2013-04-29	Paper
A Core Calculus for Provenance	2012-06-29	Paper
Non-monotonic Self-Adjusting Computation	2012-06-22	Paper
Provenance as dependency analysis	2011-12-08	Paper
Kinetic 3D convex hulls via self-adjusting computation	2009-02-12	Paper
Robust Kinetic Convex Hulls in 3D	2008-11-25	Paper
Kinetic Algorithms Via Self-adjusting Computation	2008-03-11	Paper
SVR: Practical engineering of a fast 3D meshing algorithm	2008-02-22	Paper
A Consistent Semantics of Self-adjusting Computation	2007-09-04	Paper
The data locality of work stealing	2002-12-01	Paper

Research outcomes over time

This page was built for person: Umut A. Acar