The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Umut A. Acar" ( http://dblp.L3S.de/Authors/Umut_A._Acar )

  Author page on DBLP  Author page in RDF  Community of Umut A. Acar in ASPL-2

Publication years (Num. hits)
2000-2007 (19) 2008-2010 (16) 2011-2012 (21) 2013-2014 (15) 2015-2018 (19) 2019-2020 (16) 2021-2024 (16)
Publication types (Num. hits)
article(42) incollection(2) inproceedings(75) proceedings(3)
Venues (Conferences, Journals, ...)
CoRR(21) Proc. ACM Program. Lang.(10) PLDI(9) SPAA(8) ICFP(7) PPoPP(5) ESA(4) ESOP(4) J. Funct. Program.(4) POPL(4) DAMP(3) SCG(3) ACM Trans. Program. Lang. Syst...(2) OOPSLA(2) TaPP(2) AAAI(1) More (+10 of total 49)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 61 occurrences of 35 keywords

Results
Found 123 publication records. Showing 122 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Sam Westrick, Matthew Fluet, Mike Rainey, Umut A. Acar Automatic Parallelism Management. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
1Jatin Arora 0002, Stefan K. Muller, Umut A. Acar Disentanglement with Futures, State, and Interaction. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
1Yian Su, Mike Rainey, Nick Wanninger, Nadharm Dhiantravan, Jasper Liang, Umut A. Acar, Peter A. Dinda, Simone Campanoni Compiling Loop-Based Nested Parallelism for Irregular Workloads. Search on Bibsonomy ASPLOS (2) The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
1Jatin Arora 0002, Sam Westrick, Umut A. Acar Efficient Parallel Functional Programming with Effects. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Stefan K. Muller, Kyle Singer, Devyn Terra Keeney, Andrew Neth, Kunal Agrawal, I-Ting Angelina Lee, Umut A. Acar Responsive Parallelism with Synchronization. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Stefan K. Muller, Kyle Singer, Devyn Terra Keeney, Andrew Neth, Kunal Agrawal, I-Ting Angelina Lee, Umut A. Acar Responsive Parallelism with Synchronization. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Hanrui Wang 0002, Pengyu Liu, Bochen Tan, Yilian Liu, Jiaqi Gu, David Z. Pan, Jason Cong, Umut A. Acar, Song Han 0003 FPQA-C: A Compilation Framework for Field Programmable Qubit Array. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Michael Wilkins, Sam Westrick, Vijay Kandiah, Alex Bernat, Brian Suchy, Enrico Armenio Deiana, Simone Campanoni, Umut A. Acar, Peter A. Dinda, Nikos Hardavellas WARDen: Specializing Cache Coherence for High-Level Parallel Languages. Search on Bibsonomy CGO The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Sam Westrick, Jatin Arora 0002, Umut A. Acar Entanglement detection with near-zero cost. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Mingkuan Xu, Zikun Li, Oded Padon, Sina Lin, Jessica Pointing, Auguste Hirth, Henry Ma, Jens Palsberg, Alex Aiken, Umut A. Acar, Zhihao Jia Quartz: Superoptimization of Quantum Circuits (Extended Version). Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Sam Westrick, Larry Wang, Umut A. Acar DePa: Simple, Provably Efficient, and Practical Order Maintenance for Task Parallelism. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Mingkuan Xu, Zikun Li, Oded Padon, Sina Lin, Jessica Pointing, Auguste Hirth, Henry Ma, Jens Palsberg, Alex Aiken, Umut A. Acar, Zhihao Jia Quartz: superoptimization of Quantum circuits. Search on Bibsonomy PLDI The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Jatin Arora 0002, Sam Westrick, Umut A. Acar Provably space-efficient parallel functional programming. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Daniel Anderson, Guy E. Blelloch, Anubhav Baweja, Umut A. Acar Efficient Parallel Self-Adjusting Computation. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
1Mike Rainey, Ryan R. Newton, Kyle C. Hale, Nikos Hardavellas, Simone Campanoni, Peter A. Dinda, Umut A. Acar Task parallel assembly language for uncompromising parallelism. Search on Bibsonomy PLDI The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Daniel Anderson, Guy E. Blelloch, Anubhav Baweja, Umut A. Acar Efficient Parallel Self-Adjusting Computation. Search on Bibsonomy SPAA The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Joshua Clune, Vijay Ramamurthy, Ruben Martins, Umut A. Acar Program equivalence for assisted grading of functional programs. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Sam Westrick, Rohan Yadav, Matthew Fluet, Umut A. Acar Disentanglement in nested-parallel programs. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Joshua Clune, Vijay Ramamurthy, Ruben Martins, Umut A. Acar Program Equivalence for Assisted Grading of Functional Programs (Extended Version). Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
1Umut A. Acar, Daniel Anderson, Guy E. Blelloch, Laxman Dhulipala, Sam Westrick Batch-dynamic Algorithms via Parallel Change Propagation and Applications to Dynamic Trees. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
1Stefan K. Muller, Kyle Singer, Noah Goldstein, Umut A. Acar, Kunal Agrawal, I-Ting Angelina Lee Responsive Parallelism with Futures and State. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
1Nil-Jana Akpinar, Aaditya Ramdas, Umut A. Acar Analyzing Student Strategies In Blended Courses Using Clickstream Data. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
1Nil-Jana Akpinar, Aaditya Ramdas, Umut A. Acar Analyzing Student Strategies In Blended Courses Using Clickstream Data. Search on Bibsonomy EDM The full citation details ... 2020 DBLP  BibTeX  RDF
1Umut A. Acar, Daniel Anderson, Guy E. Blelloch, Laxman Dhulipala, Sam Westrick Parallel Batch-Dynamic Trees via Change Propagation. Search on Bibsonomy ESA The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Stefan K. Muller, Kyle Singer, Noah Goldstein, Umut A. Acar, Kunal Agrawal, I-Ting Angelina Lee Responsive parallelism with futures and state. Search on Bibsonomy PLDI The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Kyle Singer, Noah Goldstein, Stefan K. Muller, Kunal Agrawal, I-Ting Angelina Lee, Umut A. Acar Priority Scheduling for Interactive Applications. Search on Bibsonomy SPAA The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
1Pramod Bhatotia, Umut A. Acar, Flavio Paiva Junqueira, Rodrigo Rodrigues 0001 Incremental Sliding Window Analytics. Search on Bibsonomy Encyclopedia of Big Data Technologies The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Stefan K. Muller, Sam Westrick, Umut A. Acar Fairness in responsive parallelism. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Umut A. Acar, Daniel Anderson, Guy E. Blelloch, Laxman Dhulipala Parallel Batch-Dynamic Graph Connectivity. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Umut A. Acar, Vitaly Aksenov, Arthur Charguéraud, Mike Rainey Provably and practically efficient granularity control. Search on Bibsonomy PPoPP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Rohan Yadav, Umut A. Acar A Parallel Algorithm for Subgraph Isomorphism (Brief Announcement). Search on Bibsonomy SPAA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Umut A. Acar, Daniel Anderson, Guy E. Blelloch, Laxman Dhulipala Parallel Batch-Dynamic Graph Connectivity. Search on Bibsonomy SPAA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Stefan K. Muller, Umut A. Acar, Robert Harper 0001 Competitive parallelism: getting your priorities right. Search on Bibsonomy Proc. ACM Program. Lang. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Adrien Guatto, Sam Westrick, Ram Raghunathan, Umut A. Acar, Matthew Fluet Hierarchical Memory Management for Mutable State. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Stefan K. Muller, Umut A. Acar, Robert Harper 0001 Competitive Parallelism: Getting Your Priorities Right. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Umut A. Acar, Arthur Charguéraud, Adrien Guatto, Mike Rainey, Filip Sieczkowski Heartbeat scheduling: provable efficiency for nested parallelism. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Umut A. Acar, Vitaly Aksenov, Arthur Charguéraud, Mike Rainey Performance challenges in modular parallel programs. Search on Bibsonomy PPoPP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Adrien Guatto, Sam Westrick, Ram Raghunathan, Umut A. Acar, Matthew Fluet Hierarchical memory management for mutable state. Search on Bibsonomy PPoPP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Umut A. Acar, Arthur Charguéraud, Mike Rainey Parallel Work Inflation, Memory Effects, and their Empirical Analysis. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Stefan K. Muller, Umut A. Acar, Robert Harper 0001 Responsive parallel computation: bridging competitive and cooperative threading. Search on Bibsonomy PLDI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Umut A. Acar, Naama Ben-David, Mike Rainey Contention in Structured Concurrency: Provably Efficient Dynamic Non-Zero Indicators for Nested Parallelism. Search on Bibsonomy PPoPP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Umut A. Acar, Vitaly Aksenov, Sam Westrick Brief Announcement: Parallel Dynamic Tree Contraction via Self-Adjusting Computation. Search on Bibsonomy SPAA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Umut A. Acar, Arthur Charguéraud, Mike Rainey Oracle-guided scheduling for controlling granularity in implicitly parallel languages. Search on Bibsonomy J. Funct. Program. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Nicolas Feltman, Carlo Angiuli, Umut A. Acar, Kayvon Fatahalian Automatically Splitting a Two-Stage Lambda Calculus. Search on Bibsonomy ESOP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Umut A. Acar, Arthur Charguéraud, Mike Rainey, Filip Sieczkowski Dag-calculus: a calculus for parallel computation. Search on Bibsonomy ICFP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ram Raghunathan, Stefan K. Muller, Umut A. Acar, Guy E. Blelloch Hierarchical memory management for parallel programs. Search on Bibsonomy ICFP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Stefan K. Muller, Umut A. Acar Latency-Hiding Work Stealing: Scheduling Interacting Parallel Computations with Work Stealing. Search on Bibsonomy SPAA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ezgi Çiçek, Deepak Garg 0001, Umut A. Acar Refinement Types for Incremental Computational Complexity. Search on Bibsonomy ESOP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Umut A. Acar, Guy E. Blelloch, Matthew Fluet, Stefan K. Muller, Ram Raghunathan Coupling Memory and Computation for Locality Management. Search on Bibsonomy SNAPL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Umut A. Acar, Arthur Charguéraud, Mike Rainey A work-efficient algorithm for parallel unordered depth-first search. Search on Bibsonomy SC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Pramod Bhatotia, Pedro Fonseca 0001, Umut A. Acar, Björn B. Brandenburg, Rodrigo Rodrigues 0001 iThreads: A Threading Library for Parallel Incremental Computation. Search on Bibsonomy ASPLOS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1James Cheney, Amal Ahmed 0001, Umut A. Acar Database Queries that Explain their Work. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Yan Chen 0001, Jana Dunfield, Matthew A. Hammer, Umut A. Acar Implicit self-adjusting computation for purely functional programs. Search on Bibsonomy J. Funct. Program. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Pramod Bhatotia, Alexander Wieder, Umut A. Acar, Rodrigo Rodrigues 0001 Incremental MapReduce Computations. Search on Bibsonomy Large Scale and Big Data The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Umut A. Acar, Arthur Charguéraud, Mike Rainey Theory and Practice of Chunked Sequences. Search on Bibsonomy ESA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Yan Chen 0001, Umut A. Acar, Kanat Tangwongsan Functional programming for dynamic and large data with self-adjusting computation. Search on Bibsonomy ICFP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1James Cheney, Amal Ahmed 0001, Umut A. Acar Database Queries that Explain their Work. Search on Bibsonomy PPDP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Pramod Bhatotia, Umut A. Acar, Flavio Paiva Junqueira, Rodrigo Rodrigues 0001 Slider: incremental sliding window analytics. Search on Bibsonomy Middleware The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Umut A. Acar, Andrew Cotter, Benoît Hudson, Duru Türkoglu Dynamic well-spaced point sets. Search on Bibsonomy Comput. Geom. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Umut A. Acar, Amal Ahmed 0001, James Cheney, Roly Perera A Core Calculus for Provenance. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Umut A. Acar, Amal Ahmed 0001, James Cheney, Roly Perera A core calculus for provenance. Search on Bibsonomy J. Comput. Secur. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Umut A. Acar, Matthias Blume, Jacob Donham A consistent semantics of self-adjusting computation. Search on Bibsonomy J. Funct. Program. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Umut A. Acar, Yan Chen 0001 Streaming big data with self-adjusting computation. Search on Bibsonomy DDFP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1James Cheney, Umut A. Acar, Roly Perera Toward a Theory of Self-explaining Computation. Search on Bibsonomy In Search of Elegance in the Theory and Practice of Computation The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Clemens Grelck, Fritz Henglein, Umut A. Acar, Jost Berthold (eds.) Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing, Boston, MA, USA, FHPC@ICFP 2013, September 25-27, 2013 Search on Bibsonomy FHPC@ICFP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Umut A. Acar, Arthur Charguéraud, Mike Rainey Scheduling parallel programs by work stealing with private deques. Search on Bibsonomy PPoPP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Umut A. Acar, Alexander T. Ihler, Ramgopal R. Mettu, Özgür Sümer Adaptive Inference on General Graphical Models Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Umut A. Acar, James Cheney, Stephanie Weirich Editorial - Special issue dedicated to ICFP 2010. Search on Bibsonomy J. Funct. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Umut A. Acar, Amal Ahmed 0001, James Cheney, Roly Perera A Core Calculus for Provenance. Search on Bibsonomy POST The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Umut 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 Search on Bibsonomy DAMP The full citation details ... 2012 DBLP  BibTeX  RDF
1Ruy Ley-Wild, Umut A. Acar, Guy E. Blelloch Non-monotonic Self-Adjusting Computation. Search on Bibsonomy ESOP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Roly Perera, Umut A. Acar, James Cheney, Paul Blain Levy Functional programs that explain their work. Search on Bibsonomy ICFP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Yan Chen 0001, Jana Dunfield, Umut A. Acar Type-directed automatic incrementalization. Search on Bibsonomy PLDI The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Umut A. Acar, Todd J. Green (eds.) 4th Workshop on the Theory and Practice of Provenance, TaPP'12, Boston, MA, USA, June 14-15, 2012 Search on Bibsonomy TaPP The full citation details ... 2012 DBLP  BibTeX  RDF
1Özgür Sümer, Umut A. Acar, Alexander T. Ihler, Ramgopal R. Mettu Adaptive Exact Inference in Graphical Models. Search on Bibsonomy J. Mach. Learn. Res. The full citation details ... 2011 DBLP  BibTeX  RDF
1James Cheney, Amal Ahmed 0001, Umut A. Acar Provenance as dependency analysis. Search on Bibsonomy Math. Struct. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Umut A. Acar, Matthias Blume, Jacob Donham A Consistent Semantics of Self-Adjusting Computation Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Umut A. Acar, Guy E. Blelloch, Robert Harper 0001 Selective Memoization Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Matthew A. Hammer, Georg Neis, Yan Chen 0001, Umut A. Acar Self-Adjusting Stack Machines Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Umut A. Acar, Arthur Charguéraud, Mike Rainey Oracle scheduling: controlling granularity in implicitly parallel languages. Search on Bibsonomy OOPSLA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Matthew A. Hammer, Georg Neis, Yan Chen 0001, Umut A. Acar Self-adjusting stack machines. Search on Bibsonomy OOPSLA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Pramod Bhatotia, Alexander Wieder, Istemi Ekin Akkus, Rodrigo Rodrigues 0001, Umut A. Acar Large-scale Incremental Data Processing with Change Propagation. Search on Bibsonomy HotCloud The full citation details ... 2011 DBLP  BibTeX  RDF
1Umut A. Acar, Benoît Hudson, Duru Türkoglu Kinetic mesh refinement in 2D. Search on Bibsonomy SCG The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Yan Chen 0001, Jana Dunfield, Matthew A. Hammer, Umut A. Acar Implicit self-adjusting computation for purely functional programs. Search on Bibsonomy ICFP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Özgür Sümer, Umut A. Acar, Alexander Ihler, Ramgopal R. Mettu Fast Parallel and Adaptive Updates for Dual-Decomposition Solvers. Search on Bibsonomy AAAI The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Pramod Bhatotia, Alexander Wieder, Rodrigo Rodrigues 0001, Umut A. Acar, Rafael Pasquini Incoop: MapReduce for incremental computations. Search on Bibsonomy SoCC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Umut A. Acar, Andrew Cotter, Benoît Hudson, Duru Türkoglu Parallelism in dynamic well-spaced point sets. Search on Bibsonomy SPAA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Umut A. Acar, Andrew Cotter, Benoît Hudson, Duru Türkoglu Dynamic well-spaced point sets. Search on Bibsonomy SCG The full citation details ... 2010 DBLP  DOI  BibTeX  RDF well-spaced point sets, dynamization, voronoi diagrams, mesh generation, self-adjusting computation, dynamic stability
1Umut A. Acar, Guy E. Blelloch, Ruy Ley-Wild, Kanat Tangwongsan, Duru Türkoglu Traceable data types for self-adjusting computation. Search on Bibsonomy PLDI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF traceable data types, self-adjusting computation
1Umut A. Acar, Peter Buneman, James Cheney, Jan Van den Bussche, Natalia Kwasnikowska, Stijn Vansummeren A Graph Model of Data and Workflow Provenance. Search on Bibsonomy TaPP The full citation details ... 2010 DBLP  BibTeX  RDF
1Umut A. Acar, Guy E. Blelloch, Matthias Blume, Robert Harper 0001, Kanat Tangwongsan An experimental analysis of self-adjusting computation. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Umut A. Acar Self-adjusting computation: (an overview). Search on Bibsonomy PEPM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF incremental modification, performance, compilers, continuations, language design, dependence graphs, change propagation, self-adjusting computation, asymptotic complexity
1Ruy Ley-Wild, Umut A. Acar, Matthew Fluet A cost semantics for self-adjusting computation. Search on Bibsonomy POPL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF self-adjusting computation
1Lukasz Ziarek, Suresh Jagannathan, Matthew Fluet, Umut A. Acar Speculative N-Way barriers. Search on Bibsonomy DAMP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF fork/join execution, n-way barriers, speculation, multi-threaded programs
1Matthew A. Hammer, Umut A. Acar, Yan Chen 0001 CEAL: a C-based language for self-adjusting computation. Search on Bibsonomy PLDI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF control and data flow, tail calls, trampolines, performance, compilation, dominators, self-adjusting computation
1James Cheney, Umut A. Acar, Amal Ahmed 0001 Provenance Traces Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Matthew A. Hammer, Umut A. Acar Memory management for self-adjusting computation. Search on Bibsonomy ISMM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF performance, computational geometry, garbage collection, memory management, memoization, dynamic algorithms, self-adjusting computation, dynamic dependency graphs
1Umut A. Acar, Amal Ahmed 0001, Matthias Blume Imperative self-adjusting computation. Search on Bibsonomy POPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF mutable state, incremental computation, memoization, change propagation, self-adjusting computation, imperative programming, step-indexed logical relations
1Umut A. Acar, Alexander T. Ihler, Ramgopal R. Mettu, Özgür Sümer Adaptive inference on general graphical models. Search on Bibsonomy UAI The full citation details ... 2008 DBLP  BibTeX  RDF
1Umut A. Acar, Guy E. Blelloch, Kanat Tangwongsan, Duru Türkoglu Robust Kinetic Convex Hulls in 3D. Search on Bibsonomy ESA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 122 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license