A cost semantics for self-adjusting computation

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 2009, Pages 186-199

  Ley Wild, Ruy ^a   Acar, Umut A ^b   Fluet, Matthew ^b  

^a CARNEGIE MELLON UNIVERSITY   (United States)

^b TOYOTA TECHNOLOGICAL INSTITUTE AT CHICAGO   (United States)

Author keywords

Cost semantics; Self adjusting computation

Indexed keywords

APPLICATION AREA; CHANGE PROPAGATION; COST SEMANTICS; EVALUATION MODELS; INPUT DATA; PROPAGATION MECHANISM; RELATIVE DISTANCES; SELF-ADJUSTING; SELF-ADJUSTING COMPUTATION; SOURCE LANGUAGE; TARGET LANGUAGE; TRACE DISTANCES; UPPER AND LOWER BOUNDS;

ASYMPTOTIC ANALYSIS; CONTROL THEORY; COSTS; LINGUISTICS; PROGRAM TRANSLATORS; QUERY LANGUAGES; TRACE ANALYSIS;

SEMANTICS;

EID: 67649838599     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1480881.1480907     Document Type: Conference Paper

References (36)

1. Martín Abadi, Butler W. Lampson, and Jean-Jacques Lévy. Analysis and Caching of Dependencies. In Proceedings of the International Conference on Functional Programming (ICFP), pages 83-91, 1996. (Pubitemid 126669211)
2. Umut A. Acar. Self-Adjusting Computation. PhD thesis, Department of Computer Science, Carnegie Mellon University, May 2005.
3. 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.
4. 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. (Pubitemid 43206497)
5. 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), 2006a. (Pubitemid 44074924)
6. Umut A. Acar, Guy E. Blelloch, and Robert Harper. Adaptive functional programming. ACM Transactions on Programming Languages and Systems (TOPLAS), 28(6):990-1034, 2006b. (Pubitemid 44923792)
7. 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 2006c. (Pubitemid 44699686)
8. Umut A. Acar, Alexander Ihler, Ramgopal Mettu, and Özgür Sümer. Adaptive Bayesian Inference. In Neural Information Processing Systems (NIPS), 2007.
9. 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), 2008a.
10. 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 2008b.
11. Umut A. Acar, Alexander Ihler, Ramgopal Mettu, and Özgür Sümer. Adaptive Inference on General Graphical Models. In Uncertainty in Artificial Intelligence (UAI), 2008c.
12. 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 OuriWolefson. Algorithmic issues in modeling motion. ACM Comput. Surv., 34(4):550-572, 2002. (Pubitemid 44159298)
13. Guy Blelloch and John Greiner. Parallelism in sequential functional languages. In FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture, pages 226-237, 1995. ISBN 0-89791-719-7.
14. Guy E. Blelloch and John Greiner. A provable time and space efficient implementation of nesl. In ICFP '96: Proceedings of the first ACM SIGPLAN international conference on Functional programming, pages 213-225. ACM, 1996. (Pubitemid 126669223)
15. Magnus Carlsson. Monads for Incremental Computing. In Proceedings of the 7th ACM SIGPLAN International Conference on Functional programming (ICFP), pages 26-35. ACM Press, 2002.
16. Y.-J. Chiang and R. Tamassia. Dynamic algorithms in computational geometry. Proceedings of the IEEE, 80(9):1412-1434, 1992. (Pubitemid 23568843)
17. Gregory H. Cooper and Shriram Krishnamurthi. Embedding Dynamic Dataflow in a Call-by-Value Language. In Proceedings of the 15th Annual European Symposium on Programming (ESOP), 2006. (Pubitemid 44019566)
18. Alan Demers, Thomas Reps, and Tim Teitelbaum. Incremental Evaluation of Attribute Grammars with Application to Syntax-directed Editors. In Proceedings of the 8th Annual ACM Symposium on Principles of Programming Languages, pages 105-116, 1981.
19. Conal Elliott and Paul Hudak. Functional Reactive Animation. In ICFP '97: Proceedings of the second ACM SIGPLAN international conference on Functional programming, pages 263-273. ACM, 1997. (Pubitemid 127455585)
20. 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.
21. Leonidas J. Guibas. Kinetic data structures: a state of the art report. In WAFR '98: Proceedings of the third workshop on the algorithmic foundations of robotics, pages 191-209, 1998.
22. Matthew Hammer and Umut A. Acar. Memory Management for Self- Adjusting Computation. In The 2008 International Symposium on Memory Management, 2008.
23. Allan Heydon, Roy Levin, and Yuan Yu. Caching Function Calls Using Precise Dependencies. In Proceedings of the 2000 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 311-320, 2000. (Pubitemid 32394104)
24. Ruy Ley-Wild, Umut A. Acar, and Matthew Fluet. A Cost Semantics for Self-Adjusting Computation. Technical Report CMU-CS-08-141, Department of Computer Science, Carnegie Mellon University, July 2008a.
25. 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), 2008b.
26. William Pugh and Tim Teitelbaum. Incremental computation via function caching. In Proceedings of the 16th Annual ACM Symposium on Principles of Programming Languages, pages 315-328, 1989.
27. 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.
28. Thomas Reps. Optimal-time incremental semantic analysis for syntaxdirected editors. In Proceedings of the 9th Annual Symposium on Principles of Programming Languages (POPL), pages 169-176, 1982.
29. Mads Rosendahl. Automatic complexity analysis. In FPCA '89: Proceedings of the fourth international conference on Functional programming languages and computer architecture, pages 144-156. ACM, 1989.
30. David Sands. Calculi for Time Analysis of Functional Programs. PhD thesis, University of London, Imperial College, September 1990a.
31. David Sands. Complexity analysis for a lazy higher-order language. In ESOP '90: Proceedings of the 3rd European Symposium on Programming, pages 361-376. Springer-Verlag, 1990b.
32. Patrick M. Sansom and Simon L. Peyton Jones. Time and space profiling for non-strict, higher-order functional languages. In POPL '95: Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 355-366, 1995.
33. Ajeet Shankar and Rastislav Bodik. DITTO: Automatic Incrementalization of Data Structure Invariant Checks (in Java). In Proceedings of the ACM SIGPLAN 2007 Conference on Programming language Design and Implementation (PLDI), 2007. (Pubitemid 47630698)
34. Daniel Spoonhower, Guy E. Blelloch, Robert Harper, and Phillip B. Gibbons. Space profiling for parallel functional programs. In Proceedings of the International Conference on Functional Programming (ICFP), 2008.
35. Philip Wadler and R. J. M. Hughes. Projections for strictness analysis. In Proc. of Functional programming languages and computer architecture, pages 385-407. Springer-Verlag, 1987.
36. D. M. Yellin and R. E. Strom. INC: A Language for Incremental Computations. ACM Transactions on Programming Languages and Systems, 13 (2):211-236, April 1991.