|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 61 occurrences of 35 keywords
|
|
|
|
|
Results
Found 48 publication records. Showing 48 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Umut A. Acar, Amal Ahmed, James Cheney, Roly Perera |
A Core Calculus for Provenance.  |
POST  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Umut A. Acar, Vítor Santos Costa (eds.) |
Proceedings of the POPL 2012 Workshop on Declarative Aspects of Multicore Programming, DAMP 2012, Philadelphia, PA, USA, Saturday, January 28, 2012 |
DAMP |
2012 |
DBLP BibTeX RDF |
|
| 1 | Ruy Ley-Wild, Umut A. Acar, Guy E. Blelloch |
Non-monotonic Self-Adjusting Computation. |
ESOP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | James Cheney, Amal Ahmed, Umut A. Acar |
Provenance as dependency analysis. |
Mathematical Structures in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Özgür Sümer, Umut A. Acar, Alexander T. Ihler, Ramgopal R. Mettu |
Adaptive Exact Inference in Graphical Models. |
Journal of Machine Learning Research |
2011 |
DBLP BibTeX RDF |
|
| 1 | Umut A. Acar, Matthias Blume, Jacob Donham |
A Consistent Semantics of Self-Adjusting Computation |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Matthew A. Hammer, Georg Neis, Yan Chen, Umut A. Acar |
Self-Adjusting Stack Machines |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Umut A. Acar, Guy E. Blelloch, Robert Harper |
Selective Memoization |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Umut A. Acar, Benoît Hudson, Duru Türkoglu |
Kinetic mesh refinement in 2D. |
Symposium on Computational Geometry |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yan Chen, Joshua Dunfield, Matthew A. Hammer, Umut A. Acar |
Implicit self-adjusting computation for purely functional programs. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Umut A. Acar, Andrew Cotter, Benoît Hudson, Duru Türkoglu |
Parallelism in dynamic well-spaced point sets. |
SPAA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew A. Hammer, Georg Neis, Yan Chen, Umut A. Acar |
Self-adjusting stack machines. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Umut A. Acar, Arthur Charguéraud, Mike Rainey |
Oracle scheduling: controlling granularity in implicitly parallel languages. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Özgür Sümer, Umut A. Acar, Alexander T. Ihler, Ramgopal R. Mettu |
Fast Parallel and Adaptive Updates for Dual-Decomposition Solvers. |
AAAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Umut A. Acar, Guy E. Blelloch, Ruy Ley-Wild, Kanat Tangwongsan, Duru Türkoglu |
Traceable data types for self-adjusting computation. |
PLDI |
2010 |
DBLP DOI BibTeX RDF |
traceable data types, self-adjusting computation |
| 1 | Umut A. Acar, Andrew Cotter, Benoît Hudson, Duru Türkoglu |
Dynamic well-spaced point sets. |
Symposium on Computational Geometry |
2010 |
DBLP DOI BibTeX RDF |
well-spaced point sets, dynamization, voronoi diagrams, mesh generation, self-adjusting computation, dynamic stability |
| 1 | Umut A. Acar, Guy E. Blelloch, Matthias Blume, Robert Harper, Kanat Tangwongsan |
An experimental analysis of self-adjusting computation. |
ACM Trans. Program. Lang. Syst. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew A. Hammer, Umut A. Acar, Yan Chen |
CEAL: a C-based language for self-adjusting computation. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
control and data flow, tail calls, trampolines, performance, compilation, dominators, self-adjusting computation |
| 1 | Umut A. Acar |
Self-adjusting computation: (an overview). |
PEPM |
2009 |
DBLP DOI BibTeX RDF |
incremental modification, performance, compilers, continuations, language design, dependence graphs, change propagation, self-adjusting computation, asymptotic complexity |
| 1 | Lukasz Ziarek, Suresh Jagannathan, Matthew Fluet, Umut A. Acar |
Speculative N-Way barriers. |
DAMP |
2009 |
DBLP DOI BibTeX RDF |
fork/join execution, n-way barriers, speculation, multi-threaded programs |
| 1 | Ruy Ley-Wild, Umut A. Acar, Matthew Fluet |
A cost semantics for self-adjusting computation. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
self-adjusting computation |
| 1 | James Cheney, Umut A. Acar, Amal Ahmed |
Provenance Traces |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Umut A. Acar, Guy E. Blelloch, Kanat Tangwongsan, Duru Türkoglu |
Robust Kinetic Convex Hulls in 3D. |
ESA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Umut A. Acar, Amal Ahmed, Matthias Blume |
Imperative self-adjusting computation. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
mutable state, incremental computation, memoization, change propagation, self-adjusting computation, imperative programming, step-indexed logical relations |
| 1 | Matthew A. Hammer, Umut A. Acar |
Memory management for self-adjusting computation. |
ISMM |
2008 |
DBLP DOI BibTeX RDF |
performance, computational geometry, garbage collection, memory management, memoization, dynamic algorithms, self-adjusting computation, dynamic dependency graphs |
| 1 | Ruy Ley-Wild, Matthew Fluet, Umut A. Acar |
Compiling self-adjusting programs with continuations. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
memoization, continuation-passing style, self-adjusting computation |
| 1 | Umut A. Acar, Ruy Ley-Wild |
Self-adjusting Computation with Delta ML. |
Advanced Functional Programming |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Blume, Umut A. Acar, Wonseok Chae |
Exception Handlers as Extensible Cases. |
APLAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Umut A. Acar, Alexander T. Ihler, Ramgopal R. Mettu, Özgür Sümer |
Adaptive inference on general graphical models. |
UAI |
2008 |
DBLP BibTeX RDF |
|
| 1 | James Cheney, Amal Ahmed, Umut A. Acar |
Provenance as Dependency Analysis |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Umut A. Acar, Guy E. Blelloch, Kanat Tangwongsan |
Kinetic 3D convex hulls via self-adjusting computation. |
Symposium on Computational Geometry |
2007 |
DBLP DOI BibTeX RDF |
convex hulls, kinetic data structures, self-adjusting computation |
| 1 | Matthew A. Hammer, Umut A. Acar, Mohan Rajagopalan, Anwar M. Ghuloum |
A proposal for parallel self-adjusting computation. |
DAMP |
2007 |
DBLP DOI BibTeX RDF |
fork-join programs, parallel change propagation, series-parallel programs, parallelism, change propagation, self-adjusting computation, dynamic dependency graphs |
| 1 | James Cheney, Amal Ahmed, Umut A. Acar |
Provenance as Dependency Analysis. |
DBPL |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Umut A. Acar, Benoît Hudson, Gary L. Miller, Todd Phillips |
SVR: Practical Engineering of a Fast 3D Meshing Algorithm*. |
IMR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Umut A. Acar, Matthias Blume, Jacob Donham |
A Consistent Semantics of Self-adjusting Computation. |
ESOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Özgür Sümer, Umut A. Acar, Alexander T. Ihler, Ramgopal R. Mettu |
Efficient Bayesian Inference for Dynamically Changing Graphs. |
NIPS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Marco D. Santambrogio, Seda Ogrenci Memik, Vincenzo Rana, Umut A. Acar, Donatella Sciuto |
A novel SoC design methodology combining adaptive software and reconfigurable hardware. |
ICCAD |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Umut A. Acar, Guy E. Blelloch, Matthias Blume, Robert Harper, Kanat Tangwongsan |
A Library for Self-Adjusting Computation. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Umut A. Acar, Guy E. Blelloch, Robert Harper |
Adaptive functional programming. |
ACM Trans. Program. Lang. Syst. |
2006 |
DBLP DOI BibTeX RDF |
Incremental computation, dynamic algorithms, adaptive computation |
| 1 | Umut A. Acar, Guy E. Blelloch, Matthias Blume, Kanat Tangwongsan |
An experimental analysis of self-adjusting computation. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
performance, computational geometry, dynamic algorithms, self-adjusting computation, memorization, dynamic dependence graphs |
| 1 | Umut A. Acar, Guy E. Blelloch, Kanat Tangwongsan, Jorge L. Vittes |
Kinetic Algorithms Via Self-adjusting Computation. |
ESA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Blume, Umut A. Acar, Wonseok Chae |
Extensible programming with first-class cases. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
first-class cases, duality, records, sums |
| 1 | Umut A. Acar, Guy E. Blelloch, Jorge L. Vittes |
An Experimental Analysis of Change Propagation in Dynamic Trees. |
ALENEX/ANALCO |
2005 |
DBLP BibTeX RDF |
|
| 1 | Umut A. Acar, Guy E. Blelloch, Robert Harper, Jorge L. Vittes, Shan Leung Maverick Woo |
Dynamizing static algorithms, with applications to dynamic trees and history independence. |
SODA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Umut A. Acar, Guy E. Blelloch, Robert Harper |
Selective memoization. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
performance, selective, memoization, programmer controlled |
| 1 | Umut A. Acar, Guy E. Blelloch, Robert D. Blumofe |
The Data Locality of Work Stealing. |
Theory Comput. Syst. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Umut A. Acar, Guy E. Blelloch, Robert Harper |
Adaptive functional programming. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Umut A. Acar, Guy E. Blelloch, Robert D. Blumofe |
The data locality of work stealing. |
SPAA |
2000 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #48 of 48 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")