BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × Estonia
1 × Ireland
1 × Japan
1 × Portugal
1 × Sweden
1 × The Netherlands
1 × Turkey
2 × China
2 × United Kingdom
3 × Canada
8 × USA
Collaborated with:
R.Ley-Wild Y.Chen G.E.Blelloch M.A.Hammer M.Blume M.Fluet A.Charguéraud M.Rainey K.Tangwongsan A.Ahmed R.Harper J.Cheney J.Dunfield ∅ E.Çiçek D.Garg J.Donham W.Chae Stefan K. Muller R.H.0001 R.Perera P.B.Levy G.Neis N.Feltman C.Angiuli K.Fatahalian Sam Westrick Rohan Yadav P.Bhatotia P.Fonseca B.B.Brandenburg R.Rodrigues D.Türkoglu A.Guatto F.Sieczkowski
Talks about:
comput (15) adjust (14) self (14) program (8) parallel (6) function (4) increment (3) schedul (3) work (3) type (3)

Person: Umut A. Acar

DBLP DBLP: Acar:Umut_A=

Contributed to:

ASPLOS 20152015
ESOP 20152015
ICFP 20142014
PPDP 20142014
PPoPP 20132013
ESOP 20122012
ICFP 20122012
PLDI 20122012
ICFP 20112011
OOPSLA 20112011
PLDI 20102010
PEPM 20092009
PLDI 20092009
POPL 20092009
AFP 20082008
ICFP 20082008
ISMM 20082008
POPL 20082008
ESOP 20072007
ICFP 20062006
PLDI 20062006
POPL 20032003
POPL 20022002
ESOP 20162016
PLDI 20172017
PLDI 20182018
POPL 20202020

Wrote 28 papers:

ASPLOS-2015-Bhatotia0ABR #incremental #library #named #parallel #thread
iThreads: A Threading Library for Parallel Incremental Computation (PB, PF, UAA, BBB, RR), pp. 645–659.
ESOP-2015-CicekGA #complexity #incremental #refinement
Refinement Types for Incremental Computational Complexity (EÇ, DG, UAA), pp. 406–431.
ICFP-2014-ChenAT #functional #programming #scalability #self
Functional programming for dynamic and large data with self-adjusting computation (YC, UAA, KT), pp. 227–240.
PPDP-2014-CheneyAA #database #query
Database Queries that Explain their Work (JC, AA, UAA), pp. 271–282.
PPoPP-2013-AcarCR #parallel #scheduling #source code
Scheduling parallel programs by work stealing with private deques (UAA, AC, MR), pp. 219–228.
ESOP-2012-Ley-WildAB #self
Non-monotonic Self-Adjusting Computation (RLW, UAA, GEB), pp. 476–496.
ICFP-2012-PereraACL #functional #source code
Functional programs that explain their work (RP, UAA, JC, PBL), pp. 365–376.
PLDI-2012-ChenDA #automation
Type-directed automatic incrementalization (YC, JD, UAA), pp. 299–310.
ICFP-2011-ChenDHA #functional #self #source code
Implicit self-adjusting computation for purely functional programs (YC, JD, MAH, UAA), pp. 129–141.
OOPSLA-2011-AcarCR #parallel #scheduling
Oracle scheduling: controlling granularity in implicitly parallel languages (UAA, AC, MR), pp. 499–518.
OOPSLA-2011-HammerNCA #self #stack
Self-adjusting stack machines (MAH, GN, YC, UAA), pp. 753–772.
PLDI-2010-AcarBLTT #data type #self
Traceable data types for self-adjusting computation (UAA, GEB, RLW, KT, DT), pp. 483–496.
PEPM-2009-Acar #overview #self
Self-adjusting computation: (an overview) (UAA), pp. 1–6.
PLDI-2009-HammerAC #named #self
CEAL: a C-based language for self-adjusting computation (MAH, UAA, YC), pp. 25–37.
POPL-2009-Ley-WildAF #self #semantics
A cost semantics for self-adjusting computation (RLW, UAA, MF), pp. 186–199.
AFP-2008-AcarL08 #ml #self
Self-adjusting Computation with Delta ML (UAA, RLW), pp. 1–38.
ICFP-2008-Ley-WildFA #compilation #continuation #self #source code
Compiling self-adjusting programs with continuations (RLW, MF, UAA), pp. 321–334.
ISMM-2008-HammerA #memory management #self
Memory management for self-adjusting computation (MAH, UAA), pp. 51–60.
POPL-2008-AcarAB #imperative #self
Imperative self-adjusting computation (UAA, AA, MB), pp. 309–322.
ESOP-2007-AcarBD #consistency #self #semantics
A Consistent Semantics of Self-adjusting Computation (UAA, MB, JD), pp. 458–474.
ICFP-2006-BlumeAC #programming
Extensible programming with first-class cases (MB, UAA, WC), pp. 239–250.
PLDI-2006-AcarBBT #analysis #self
An experimental analysis of self-adjusting computation (UAA, GEB, MB, KT), pp. 96–107.
POPL-2003-AcarBH
Selective memoization (UAA, GEB, RH), pp. 14–25.
POPL-2002-AcarBH #adaptation #functional #programming
Adaptive functional programming (UAA, GEB, RH), pp. 247–259.
ESOP-2016-FeltmanAAF #automation #λ-calculus
Automatically Splitting a Two-Stage Lambda Calculus (NF, CA, UAA, KF), pp. 255–281.
PLDI-2017-MullerA0 #parallel #thread
Responsive parallel computation: bridging competitive and cooperative threading (SKM, UAA, RH0), pp. 677–692.
PLDI-2018-AcarCGRS #parallel #performance #scheduling
Heartbeat scheduling: provable efficiency for nested parallelism (UAA, AC, AG, MR, FS), pp. 769–782.
POPL-2020-WestrickYFA #source code
Disentanglement in nested-parallel programs (SW, RY, MF, UAA), p. 32.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.