|
|
Venues (Conferences, Journals, ...)
|
|
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 |
1 | Sam Westrick, Matthew Fluet, Mike Rainey, Umut A. Acar |
Automatic Parallelism Management. |
Proc. ACM Program. Lang. |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Jatin Arora 0002, Stefan K. Muller, Umut A. Acar |
Disentanglement with Futures, State, and Interaction. |
Proc. ACM Program. Lang. |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Yian 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. |
ASPLOS (2) |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Jatin Arora 0002, Sam Westrick, Umut A. Acar |
Efficient Parallel Functional Programming with Effects. |
Proc. ACM Program. Lang. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Stefan K. Muller, Kyle Singer, Devyn Terra Keeney, Andrew Neth, Kunal Agrawal, I-Ting Angelina Lee, Umut A. Acar |
Responsive Parallelism with Synchronization. |
Proc. ACM Program. Lang. |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Stefan K. Muller, Kyle Singer, Devyn Terra Keeney, Andrew Neth, Kunal Agrawal, I-Ting Angelina Lee, Umut A. Acar |
Responsive Parallelism with Synchronization. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Hanrui 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. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Michael 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. |
CGO |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Sam Westrick, Jatin Arora 0002, Umut A. Acar |
Entanglement detection with near-zero cost. |
Proc. ACM Program. Lang. |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Mingkuan 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). |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Sam Westrick, Larry Wang, Umut A. Acar |
DePa: Simple, Provably Efficient, and Practical Order Maintenance for Task Parallelism. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Mingkuan 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. |
PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Jatin Arora 0002, Sam Westrick, Umut A. Acar |
Provably space-efficient parallel functional programming. |
Proc. ACM Program. Lang. |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Anderson, Guy E. Blelloch, Anubhav Baweja, Umut A. Acar |
Efficient Parallel Self-Adjusting Computation. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
1 | Mike Rainey, Ryan R. Newton, Kyle C. Hale, Nikos Hardavellas, Simone Campanoni, Peter A. Dinda, Umut A. Acar |
Task parallel assembly language for uncompromising parallelism. |
PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Anderson, Guy E. Blelloch, Anubhav Baweja, Umut A. Acar |
Efficient Parallel Self-Adjusting Computation. |
SPAA |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Joshua Clune, Vijay Ramamurthy, Ruben Martins, Umut A. Acar |
Program equivalence for assisted grading of functional programs. |
Proc. ACM Program. Lang. |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Sam Westrick, Rohan Yadav, Matthew Fluet, Umut A. Acar |
Disentanglement in nested-parallel programs. |
Proc. ACM Program. Lang. |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Joshua Clune, Vijay Ramamurthy, Ruben Martins, Umut A. Acar |
Program Equivalence for Assisted Grading of Functional Programs (Extended Version). |
CoRR |
2020 |
DBLP BibTeX RDF |
|
1 | Umut A. Acar, Daniel Anderson, Guy E. Blelloch, Laxman Dhulipala, Sam Westrick |
Batch-dynamic Algorithms via Parallel Change Propagation and Applications to Dynamic Trees. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
1 | Stefan K. Muller, Kyle Singer, Noah Goldstein, Umut A. Acar, Kunal Agrawal, I-Ting Angelina Lee |
Responsive Parallelism with Futures and State. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
1 | Nil-Jana Akpinar, Aaditya Ramdas, Umut A. Acar |
Analyzing Student Strategies In Blended Courses Using Clickstream Data. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
1 | Nil-Jana Akpinar, Aaditya Ramdas, Umut A. Acar |
Analyzing Student Strategies In Blended Courses Using Clickstream Data. |
EDM |
2020 |
DBLP BibTeX RDF |
|
1 | Umut A. Acar, Daniel Anderson, Guy E. Blelloch, Laxman Dhulipala, Sam Westrick |
Parallel Batch-Dynamic Trees via Change Propagation. |
ESA |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Stefan K. Muller, Kyle Singer, Noah Goldstein, Umut A. Acar, Kunal Agrawal, I-Ting Angelina Lee |
Responsive parallelism with futures and state. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Kyle Singer, Noah Goldstein, Stefan K. Muller, Kunal Agrawal, I-Ting Angelina Lee, Umut A. Acar |
Priority Scheduling for Interactive Applications. |
SPAA |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Pramod Bhatotia, Umut A. Acar, Flavio Paiva Junqueira, Rodrigo Rodrigues 0001 |
Incremental Sliding Window Analytics. |
Encyclopedia of Big Data Technologies |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Stefan K. Muller, Sam Westrick, Umut A. Acar |
Fairness in responsive parallelism. |
Proc. ACM Program. Lang. |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Umut A. Acar, Daniel Anderson, Guy E. Blelloch, Laxman Dhulipala |
Parallel Batch-Dynamic Graph Connectivity. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
1 | Umut A. Acar, Vitaly Aksenov, Arthur Charguéraud, Mike Rainey |
Provably and practically efficient granularity control. |
PPoPP |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Rohan Yadav, Umut A. Acar |
A Parallel Algorithm for Subgraph Isomorphism (Brief Announcement). |
SPAA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Umut A. Acar, Daniel Anderson, Guy E. Blelloch, Laxman Dhulipala |
Parallel Batch-Dynamic Graph Connectivity. |
SPAA |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Stefan K. Muller, Umut A. Acar, Robert Harper 0001 |
Competitive parallelism: getting your priorities right. |
Proc. ACM Program. Lang. |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Adrien Guatto, Sam Westrick, Ram Raghunathan, Umut A. Acar, Matthew Fluet |
Hierarchical Memory Management for Mutable State. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
1 | Stefan K. Muller, Umut A. Acar, Robert Harper 0001 |
Competitive Parallelism: Getting Your Priorities Right. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
1 | Umut A. Acar, Arthur Charguéraud, Adrien Guatto, Mike Rainey, Filip Sieczkowski |
Heartbeat scheduling: provable efficiency for nested parallelism. |
PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Umut A. Acar, Vitaly Aksenov, Arthur Charguéraud, Mike Rainey |
Performance challenges in modular parallel programs. |
PPoPP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Adrien Guatto, Sam Westrick, Ram Raghunathan, Umut A. Acar, Matthew Fluet |
Hierarchical memory management for mutable state. |
PPoPP |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Umut A. Acar, Arthur Charguéraud, Mike Rainey |
Parallel Work Inflation, Memory Effects, and their Empirical Analysis. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
1 | Stefan K. Muller, Umut A. Acar, Robert Harper 0001 |
Responsive parallel computation: bridging competitive and cooperative threading. |
PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Umut A. Acar, Naama Ben-David, Mike Rainey |
Contention in Structured Concurrency: Provably Efficient Dynamic Non-Zero Indicators for Nested Parallelism. |
PPoPP |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Umut A. Acar, Vitaly Aksenov, Sam Westrick |
Brief Announcement: Parallel Dynamic Tree Contraction via Self-Adjusting Computation. |
SPAA |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Umut A. Acar, Arthur Charguéraud, Mike Rainey |
Oracle-guided scheduling for controlling granularity in implicitly parallel languages. |
J. Funct. Program. |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Feltman, Carlo Angiuli, Umut A. Acar, Kayvon Fatahalian |
Automatically Splitting a Two-Stage Lambda Calculus. |
ESOP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Umut A. Acar, Arthur Charguéraud, Mike Rainey, Filip Sieczkowski |
Dag-calculus: a calculus for parallel computation. |
ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ram Raghunathan, Stefan K. Muller, Umut A. Acar, Guy E. Blelloch |
Hierarchical memory management for parallel programs. |
ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Stefan K. Muller, Umut A. Acar |
Latency-Hiding Work Stealing: Scheduling Interacting Parallel Computations with Work Stealing. |
SPAA |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ezgi Çiçek, Deepak Garg 0001, Umut A. Acar |
Refinement Types for Incremental Computational Complexity. |
ESOP |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Umut A. Acar, Guy E. Blelloch, Matthew Fluet, Stefan K. Muller, Ram Raghunathan |
Coupling Memory and Computation for Locality Management. |
SNAPL |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Umut A. Acar, Arthur Charguéraud, Mike Rainey |
A work-efficient algorithm for parallel unordered depth-first search. |
SC |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Pramod Bhatotia, Pedro Fonseca 0001, Umut A. Acar, Björn B. Brandenburg, Rodrigo Rodrigues 0001 |
iThreads: A Threading Library for Parallel Incremental Computation. |
ASPLOS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | James Cheney, Amal Ahmed 0001, Umut A. Acar |
Database Queries that Explain their Work. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
1 | Yan Chen 0001, Jana Dunfield, Matthew A. Hammer, Umut A. Acar |
Implicit self-adjusting computation for purely functional programs. |
J. Funct. Program. |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Pramod Bhatotia, Alexander Wieder, Umut A. Acar, Rodrigo Rodrigues 0001 |
Incremental MapReduce Computations. |
Large Scale and Big Data |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Umut A. Acar, Arthur Charguéraud, Mike Rainey |
Theory and Practice of Chunked Sequences. |
ESA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yan Chen 0001, Umut A. Acar, Kanat Tangwongsan |
Functional programming for dynamic and large data with self-adjusting computation. |
ICFP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | James Cheney, Amal Ahmed 0001, Umut A. Acar |
Database Queries that Explain their Work. |
PPDP |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Pramod Bhatotia, Umut A. Acar, Flavio Paiva Junqueira, Rodrigo Rodrigues 0001 |
Slider: incremental sliding window analytics. |
Middleware |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Umut A. Acar, Andrew Cotter, Benoît Hudson, Duru Türkoglu |
Dynamic well-spaced point sets. |
Comput. Geom. |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Umut A. Acar, Amal Ahmed 0001, James Cheney, Roly Perera |
A Core Calculus for Provenance. |
CoRR |
2013 |
DBLP BibTeX RDF |
|
1 | Umut A. Acar, Amal Ahmed 0001, James Cheney, Roly Perera |
A core calculus for provenance. |
J. Comput. Secur. |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Umut A. Acar, Matthias Blume, Jacob Donham |
A consistent semantics of self-adjusting computation. |
J. Funct. Program. |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Umut A. Acar, Yan Chen 0001 |
Streaming big data with self-adjusting computation. |
DDFP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | James Cheney, Umut A. Acar, Roly Perera |
Toward a Theory of Self-explaining Computation. |
In Search of Elegance in the Theory and Practice of Computation |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Clemens 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 |
FHPC@ICFP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Umut A. Acar, Arthur Charguéraud, Mike Rainey |
Scheduling parallel programs by work stealing with private deques. |
PPoPP |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Umut A. Acar, Alexander T. Ihler, Ramgopal R. Mettu, Özgür Sümer |
Adaptive Inference on General Graphical Models |
CoRR |
2012 |
DBLP BibTeX RDF |
|
1 | Umut A. Acar, James Cheney, Stephanie Weirich |
Editorial - Special issue dedicated to ICFP 2010. |
J. Funct. Program. |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Umut A. Acar, Amal Ahmed 0001, 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 | Roly Perera, Umut A. Acar, James Cheney, Paul Blain Levy |
Functional programs that explain their work. |
ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Yan Chen 0001, Jana Dunfield, Umut A. Acar |
Type-directed automatic incrementalization. |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Umut A. Acar, Todd J. Green (eds.) |
4th Workshop on the Theory and Practice of Provenance, TaPP'12, Boston, MA, USA, June 14-15, 2012 |
TaPP |
2012 |
DBLP BibTeX RDF |
|
1 | Özgür Sümer, Umut A. Acar, Alexander T. Ihler, Ramgopal R. Mettu |
Adaptive Exact Inference in Graphical Models. |
J. Mach. Learn. Res. |
2011 |
DBLP BibTeX RDF |
|
1 | James Cheney, Amal Ahmed 0001, Umut A. Acar |
Provenance as dependency analysis. |
Math. Struct. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Umut A. Acar, Matthias Blume, Jacob Donham |
A Consistent Semantics of Self-Adjusting Computation |
CoRR |
2011 |
DBLP BibTeX RDF |
|
1 | Umut A. Acar, Guy E. Blelloch, Robert Harper 0001 |
Selective Memoization |
CoRR |
2011 |
DBLP BibTeX RDF |
|
1 | Matthew A. Hammer, Georg Neis, Yan Chen 0001, Umut A. Acar |
Self-Adjusting Stack Machines |
CoRR |
2011 |
DBLP 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 | Matthew A. Hammer, Georg Neis, Yan Chen 0001, Umut A. Acar |
Self-adjusting stack machines. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Pramod Bhatotia, Alexander Wieder, Istemi Ekin Akkus, Rodrigo Rodrigues 0001, Umut A. Acar |
Large-scale Incremental Data Processing with Change Propagation. |
HotCloud |
2011 |
DBLP BibTeX RDF |
|
1 | Umut A. Acar, Benoît Hudson, Duru Türkoglu |
Kinetic mesh refinement in 2D. |
SCG |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Yan Chen 0001, Jana Dunfield, Matthew A. Hammer, Umut A. Acar |
Implicit self-adjusting computation for purely functional programs. |
ICFP |
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. |
AAAI |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Pramod Bhatotia, Alexander Wieder, Rodrigo Rodrigues 0001, Umut A. Acar, Rafael Pasquini |
Incoop: MapReduce for incremental computations. |
SoCC |
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 | Umut A. Acar, Andrew Cotter, Benoît Hudson, Duru Türkoglu |
Dynamic well-spaced point sets. |
SCG |
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, 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, Peter Buneman, James Cheney, Jan Van den Bussche, Natalia Kwasnikowska, Stijn Vansummeren |
A Graph Model of Data and Workflow Provenance. |
TaPP |
2010 |
DBLP BibTeX RDF |
|
1 | Umut A. Acar, Guy E. Blelloch, Matthias Blume, Robert Harper 0001, Kanat Tangwongsan |
An experimental analysis of self-adjusting computation. |
ACM Trans. Program. Lang. Syst. |
2009 |
DBLP DOI BibTeX RDF |
|
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 | 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 | 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 | Matthew A. Hammer, Umut A. Acar, Yan Chen 0001 |
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 | James Cheney, Umut A. Acar, Amal Ahmed 0001 |
Provenance Traces |
CoRR |
2008 |
DBLP BibTeX RDF |
|
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 | Umut A. Acar, Amal Ahmed 0001, 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 | 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 | Umut A. Acar, Guy E. Blelloch, Kanat Tangwongsan, Duru Türkoglu |
Robust Kinetic Convex Hulls in 3D. |
ESA |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 122 (100 per page; Change: ) Pages: [ 1][ 2][ >>] |
|