Self-Adjusting computation: An overview

Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09

Volumn , Issue , 2009, Pages 1-5

  Acar, Umut A ^a  

^a TOYOTA TECHNOLOGICAL INSTITUTE AT CHICAGO   (United States)

Author keywords

Compilers; Computational; Computational biology; Incremental computation; Machine learning; Memory management; Run Time systems; Scientific computing; Self adjusting computation

Indexed keywords

COMPILERS; COMPUTATIONAL; COMPUTATIONAL BIOLOGY; INCREMENTAL COMPUTATION; MACHINE LEARNING; MEMORY MANAGEMENT; RUN-TIME SYSTEMS; SCIENTIFIC COMPUTING; SELF-ADJUSTING COMPUTATION;

BIOINFORMATICS; BIOLOGY; COMPUTER SCIENCE; PARALLEL ARCHITECTURES; ROBOT LEARNING;

PROGRAM COMPILERS;

EID: 67650680024     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1480945.1480946     Document Type: Conference Paper

References (25)

1. MLton. http://mlton.org/.
2. Umut A. Acar. Self-Adjusting Computation. PhD thesis, Department of Computer Science, Carnegie Mellon University, May 2005.
3. Umut A. Acar, Amal Ahmed, and Matthias Blume. Imperative selfadjusting computation. In Proceedings of the 25th Annual ACM Symposium on Principles of Programming Languages (POPL), 2008.
4. Umut A. Acar, Guy E. Blelloch, Matthias Blume, and Kanat Tangwongsan. An experimental analysis of self-adjusting computation. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2006.
5. Umut A. Acar, Guy E. Blelloch, and Robert Harper. Adaptive Functional Programming. In Proceedings of the 29th Annual ACM Symposium on Principles of Programming Languages, pages 247- 259, 2002.
6. Umut A. Acar, Guy E. Blelloch, Robert Harper, Jorge L. Vittes, and Maverick Woo. Dynamizing static algorithms with applications to dynamic trees and history independence. In ACM-SIAM Symposium on Discrete Algorithms (SODA), 2004.
7. Umut A. Acar, Guy E. Blelloch, Kanat Tangwongsan, and Duru Türkoǧlu. Robust Kinetic Convex Hulls in 3D. In Proceedings of the 16th Annual European Symposium on Algorithms (ESA), September 2008.
8. Umut A. Acar, Guy E. Blelloch, Kanat Tangwongsan, and Jorge L. Vittes. Kinetic Algorithms via Self-Adjusting Computation. In Proceedings of the 14th Annual European Symposium on Algorithms (ESA), pages 636-647, September 2006.
9. Umut A. Acar, Guy E. Blelloch, and Jorge L. Vittes. An experimental analysis of change propagation in dynamic trees. In Workshop on Algorithm Engineering and Experimentation (ALENEX), 2005.
10. Umut A. Acar, Matthias Blume, and Jacob Donham. A consistent semantics of self-adjusting computation. In Proceedings of the 16th Annual European Symposium on Programming (ESOP), 2007.
11. Umut A. Acar, Benoit Hudson, Kanat Tangwongsan, and Duru Türko?glu. Maintaining well-spaced point sets under dynamic changes, November 2008. In preparation.
12. Umut A. Acar, Alexander Ihler, Ramgopal Mettu, and Özgür Sümer. Adaptive Bayesian Inference. In Neural Information Processing Systems (NIPS), 2007.
13. Umut A. Acar, Alexander Ihler, Ramgopal Mettu, and Özgür Sümer. Adaptive Inference on General Graphical Models. In Uncertainty in Artificial Intelligence (UAI), 2008.
14. Pankaj K. Agarwal, Leonidas J. Guibas, Herbert Edelsbrunner, Jeff Erickson, Michael Isard, Sariel Har-Peled, John Hershberger, Christian Jensen, Lydia Kavraki, Patrice Koehl, Ming Lin, Dinesh Manocha, Dimitris Metaxas, Brian Mirtich, David Mount, S. Muthukrishnan, Dinesh Pai, Elisha Sacks, Jack Snoeyink, Subhash Suri, and Ouri Wolefson. Algorithmic issues in modeling motion. ACM Comput. Surv., 34(4):550-572, 2002.
15. David Eppstein, Zvi Galil, and Giuseppe F. Italiano. Dynamic graph algorithms. In Mikhail J. Atallah, editor, Algorithms and Theory of Computation Handbook, chapter 8. CRC Press, 1999.
16. Matthew Hammer, Umut A. Acar, Mohan Rajagopalan, and Anwar Ghuloum. A proposal for parallel self-adjusting computation. In DAMP '07: Proceedings of the first workshop on Declarative Aspects of Multicore Programming, 2007.
17. Matthew A. Hammer and Umut A. Acar. Memory management for self-adjusting computation. In ISMM '08: Proceedings of the 7th international symposium on Memory management, pages 51-60, 2008.
18. Matthew A. Hammer, Umut A. Acar, and Yan Chen. CEAL: A C-based language for self-adjusting computation. Technical report, Toyota Technological Institute, November 2008.
19. Benôit Hudson. Dynamic Mesh Refinement. PhD thesis, Carnegie Mellon University Computer Science Department, December 2007.
20. Ruy Ley-Wild, Umut A. Acar, and Matthew Fluet. A cost semantics for self-adjusting computation. In Proceedings of the 26th Annual ACM Symposium on Principles of Programming Languages (POPL), 2009.
21. Ruy Ley-Wild, Matthew Fluet, and Umut A. Acar. Compiling self-adjusting programs with continuations. In Proceedings of the International Conference on Functional Programming (ICFP), 2008.
22. Gary L. Miller and John H. Reif. Parallel tree contraction and its application. In Proceedings of the 26th Annual IEEE Symposium on Foundations of Computer Science, pages 487-489, 1985.
23. George C. Necula, Scott Mcpeak, S. P. Rahul, and Westley Weimer. Cil: Intermediate language and tools for analysis and transformation of C programs. In In International Conference on Compiler Construction, pages 213-228, 2002.
24. G. Ramalingam and T. Reps. A Categorized Bibliography on Incremental Computation. In Proceedings of the 20th Annual ACM Symposium on Principles of Programming Languages (POPL), pages 502-510, 1993.
25. Daniel D. Sleator and Robert Endre Tarjan. A data structure for dynamic trees. Journal of Computer and System Sciences, 26(3):362-391, 1983.