Umut A. Acar

Proc. ACM Program. Lang., 2021

Efficient Parallel Self-Adjusting Computation.

[BibT_eX]

[DOI]

Proceedings of the SPAA '21: 33rd ACM Symposium on Parallelism in Algorithms and Architectures, 2021

Task parallel assembly language for uncompromising parallelism.

[BibT_eX]

[DOI]

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020

Disentanglement in nested-parallel programs.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2020

Program equivalence for assisted grading of functional programs.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2020

Program Equivalence for Assisted Grading of Functional Programs (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2020

Batch-dynamic Algorithms via Parallel Change Propagation and Applications to Dynamic Trees.

[BibT_eX]

[DOI]

CoRR, 2020

Priority Scheduling for Interactive Applications.

[BibT_eX]

[DOI]

Proceedings of the SPAA '20: 32nd ACM Symposium on Parallelism in Algorithms and Architectures, 2020

Responsive parallelism with futures and state.

[BibT_eX]

[DOI]

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Parallel Batch-Dynamic Trees via Change Propagation.

[BibT_eX]

[DOI]

Proceedings of the 28th Annual European Symposium on Algorithms, 2020

Analyzing Student Strategies In Blended Courses Using Clickstream Data.

[BibT_eX]

[DOI]

Nil-Jana Akpinar

Aaditya Ramdas

Proceedings of the 13th International Conference on Educational Data Mining, 2020

2019

Incremental Sliding Window Analytics.

[BibT_eX]

[DOI]

Pramod Bhatotia

Flavio Paiva Junqueira

Rodrigo Rodrigues

Proceedings of the Encyclopedia of Big Data Technologies., 2019

Fairness in responsive parallelism.

[BibT_eX]

[DOI]

Sam Westrick

Proc. ACM Program. Lang., 2019

A Parallel Algorithm for Subgraph Isomorphism (Brief Announcement).

[BibT_eX]

[DOI]

Rohan Yadav

Proceedings of the 31st ACM on Symposium on Parallelism in Algorithms and Architectures, 2019

Parallel Batch-Dynamic Graph Connectivity.

[BibT_eX]

[DOI]

Proceedings of the 31st ACM on Symposium on Parallelism in Algorithms and Architectures, 2019

Provably and practically efficient granularity control.

[BibT_eX]

[DOI]

Proceedings of the 24th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2019

2018

Competitive parallelism: getting your priorities right.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2018

Hierarchical memory management for mutable state.

[BibT_eX]

[DOI]

Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2018

Performance challenges in modular parallel programs.

[BibT_eX]

[DOI]

Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2018

Heartbeat scheduling: provable efficiency for nested parallelism.

[BibT_eX]

[DOI]

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

2017

Parallel Work Inflation, Memory Effects, and their Empirical Analysis.

[BibT_eX]

[DOI]

CoRR, 2017

Brief Announcement: Parallel Dynamic Tree Contraction via Self-Adjusting Computation.

[BibT_eX]

[DOI]

Vitaly Aksenov

Sam Westrick

Proceedings of the 29th ACM Symposium on Parallelism in Algorithms and Architectures, 2017

Contention in Structured Concurrency: Provably Efficient Dynamic Non-Zero Indicators for Nested Parallelism.

[BibT_eX]

[DOI]

Naama Ben-David

Proceedings of the 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2017

Responsive parallel computation: bridging competitive and cooperative threading.

[BibT_eX]

[DOI]

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

2016

Oracle-guided scheduling for controlling granularity in implicitly parallel languages.

[BibT_eX]

[DOI]

J. Funct. Program., 2016

Latency-Hiding Work Stealing: Scheduling Interacting Parallel Computations with Work Stealing.

[BibT_eX]

[DOI]

Proceedings of the 28th ACM Symposium on Parallelism in Algorithms and Architectures, 2016

Hierarchical memory management for parallel programs.

[BibT_eX]

[DOI]

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

Dag-calculus: a calculus for parallel computation.

[BibT_eX]

[DOI]

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

Automatically Splitting a Two-Stage Lambda Calculus.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2016

2015

Coupling Memory and Computation for Locality Management.

[BibT_eX]

[DOI]

Proceedings of the 1st Summit on Advances in Programming Languages, 2015

A work-efficient algorithm for parallel unordered depth-first search.

[BibT_eX]

[DOI]

Proceedings of the International Conference for High Performance Computing, 2015

Refinement Types for Incremental Computational Complexity.

[BibT_eX]

[DOI]

Ezgi Çiçek

Deepak Garg

Proceedings of the Programming Languages and Systems, 2015

iThreads: A Threading Library for Parallel Incremental Computation.

[BibT_eX]

[DOI]

Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 2015

2014

Implicit self-adjusting computation for purely functional programs.

[BibT_eX]

[DOI]

J. Funct. Program., 2014

Database Queries that Explain their Work.

[BibT_eX]

[DOI]

Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014

Slider: incremental sliding window analytics.

[BibT_eX]

[DOI]

Pramod Bhatotia

Flavio Paiva Junqueira

Rodrigo Rodrigues

Proceedings of the 15th International Middleware Conference, 2014

Functional programming for dynamic and large data with self-adjusting computation.

[BibT_eX]

[DOI]

Kanat Tangwongsan

Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, 2014

Theory and Practice of Chunked Sequences.

[BibT_eX]

[DOI]

Proceedings of the Algorithms - ESA 2014, 2014

Incremental MapReduce Computations.

[BibT_eX]

[DOI]

Proceedings of the Large Scale and Big Data - Processing and Management., 2014

2013

A consistent semantics of self-adjusting computation.

[BibT_eX]

[DOI]

Jacob Donham

J. Funct. Program., 2013

A core calculus for provenance.

[BibT_eX]

[DOI]

J. Comput. Secur., 2013

Dynamic well-spaced point sets.

[BibT_eX]

[DOI]

Comput. Geom., 2013

Scheduling parallel programs by work stealing with private deques.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2013

Streaming big data with self-adjusting computation.

[BibT_eX]

[DOI]

Proceedings of the 2013 Workshop on Data Driven Functional Programming, 2013

Toward a Theory of Self-explaining Computation.

[BibT_eX]

[DOI]

Roly Perera

Proceedings of the In Search of Elegance in the Theory and Practice of Computation, 2013

2012

Editorial - Special issue dedicated to ICFP 2010.

[BibT_eX]

[DOI]

Stephanie Weirich

J. Funct. Program., 2012

Type-directed automatic incrementalization.

[BibT_eX]

[DOI]

Jana Dunfield

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

Functional programs that explain their work.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012

Non-monotonic Self-Adjusting Computation.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2012

2011

Provenance as dependency analysis.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2011

Adaptive Exact Inference in Graphical Models.

[BibT_eX]

[DOI]

J. Mach. Learn. Res., 2011

Parallelism in dynamic well-spaced point sets.

[BibT_eX]

[DOI]

Proceedings of the SPAA 2011: Proceedings of the 23rd Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2011

Self-adjusting stack machines.

[BibT_eX]

[DOI]

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Oracle scheduling: controlling granularity in implicitly parallel languages.

[BibT_eX]

[DOI]

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Large-scale Incremental Data Processing with Change Propagation.

[BibT_eX]

[DOI]

Proceedings of the 3rd USENIX Workshop on Hot Topics in Cloud Computing, 2011

Kinetic mesh refinement in 2D.

[BibT_eX]

[DOI]

Benoît Hudson

Duru Türkoglu

Proceedings of the 27th ACM Symposium on Computational Geometry, 2011

Incoop: MapReduce for incremental computations.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Cloud Computing in conjunction with SOSP 2011, 2011

Fast Parallel and Adaptive Updates for Dual-Decomposition Solvers.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010

A Graph Model of Data and Workflow Provenance.

[BibT_eX]

[DOI]

Proceedings of the 2nd Workshop on the Theory and Practice of Provenance, 2010

Traceable data types for self-adjusting computation.

[BibT_eX]

[DOI]

Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

2009

An experimental analysis of self-adjusting computation.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2009

Speculative N-Way barriers.

[BibT_eX]

[DOI]

Proceedings of the POPL 2009 Workshop on Declarative Aspects of Multicore Programming, 2009

A cost semantics for self-adjusting computation.

[BibT_eX]

[DOI]

Matthew Fluet

Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

CEAL: a C-based language for self-adjusting computation.

[BibT_eX]

[DOI]

Matthew A. Hammer

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

Self-adjusting computation: (an overview).

[BibT_eX]

[DOI]

Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2009

2008

Provenance Traces

[BibT_eX]

[DOI]

CoRR, 2008

Adaptive inference on general graphical models.

[BibT_eX]

[DOI]

Proceedings of the UAI 2008, 2008

Imperative self-adjusting computation.

[BibT_eX]

[DOI]

Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

Memory management for self-adjusting computation.

[BibT_eX]

[DOI]

Matthew A. Hammer

Proceedings of the 7th International Symposium on Memory Management, 2008

Compiling self-adjusting programs with continuations.

[BibT_eX]

[DOI]

Matthew Fluet

Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

Robust Kinetic Convex Hulls in 3D.

[BibT_eX]

[DOI]

Proceedings of the Algorithms, 2008

Exception Handlers as Extensible Cases.

[BibT_eX]

[DOI]

Wonseok Chae

Proceedings of the Programming Languages and Systems, 6th Asian Symposium, 2008

Self-adjusting Computation with Delta ML.

[BibT_eX]

[DOI]

Proceedings of the Advanced Functional Programming, 6th International School, 2008

2007

A proposal for parallel self-adjusting computation.

[BibT_eX]

[DOI]

Proceedings of the POPL 2007 Workshop on Declarative Aspects of Multicore Programming, 2007

Efficient Bayesian Inference for Dynamically Changing Graphs.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 20, 2007

SVR: Practical Engineering of a Fast 3D Meshing Algorithm*.

[BibT_eX]

[DOI]

Proceedings of the 16th International Meshing Roundtable, 2007

A novel SoC design methodology combining adaptive software and reconfigurable hardware.

[BibT_eX]

[DOI]

Marco D. Santambrogio

Proceedings of the 2007 International Conference on Computer-Aided Design, 2007

Kinetic 3D convex hulls via self-adjusting computation.

[BibT_eX]

[DOI]

Kanat Tangwongsan

Proceedings of the 23rd ACM Symposium on Computational Geometry, 2007

2006

Adaptive functional programming.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2006

An experimental analysis of self-adjusting computation.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 2006

Extensible programming with first-class cases.

[BibT_eX]

[DOI]

Wonseok Chae

Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, 2006

Kinetic Algorithms Via Self-adjusting Computation.

[BibT_eX]

[DOI]

Proceedings of the Algorithms, 2006

2005

A Library for Self-Adjusting Computation.

[BibT_eX]

[DOI]

Proceedings of the ACM-SIGPLAN Workshop on ML, 2005

An Experimental Analysis of Change Propagation in Dynamic Trees.

[BibT_eX]

[DOI]

Jorge L. Vittes

Proceedings of the Seventh Workshop on Algorithm Engineering and Experiments and the Second Workshop on Analytic Algorithmics and Combinatorics, 2005

2004

Dynamizing static algorithms, with applications to dynamic trees and history independence.

[BibT_eX]

[DOI]

Shan Leung Maverick Woo

Proceedings of the Fifteenth Annual ACM-SIAM Symposium on Discrete Algorithms, 2004

2003

Selective memoization.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2003

2002

The Data Locality of Work Stealing.

[BibT_eX]

[DOI]