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
Dag-calculus: a calculus for parallel computation	2017-05-10	Paper
Hierarchical memory management for parallel programs	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
https://portal.mardi4nfdi.de/entity/Q5442552	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Umut A. Acar