DITTO: Automatic incrementalization of data structure invariant checks (in Java)

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Volumn , Issue , 2007, Pages 310-319

  Shankar, Ajeet ^a   Bodík, Rastislav ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Automatic; Data structure invariants; Dynamic optimization; Incrementalization; Optimistic memoization; Program analysis

Indexed keywords

DATA STRUCTURE INVARIANTS; DYNAMIC OPTIMIZATION; INCREMENTALIZATION; OPTIMISTIC MEMOIZATION; PROGRAM ANALYSIS;

AUTOMATION; COMPUTER SOFTWARE; INVARIANCE; JAVA PROGRAMMING LANGUAGE; OPTIMIZATION;

DATA STRUCTURES;

EID: 35448968694     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1250734.1250770     Document Type: Conference Paper

References (22)

1. Umut A. Acar, Guy E. Blelloch, Matthias Blume, and Kanat Tangwongsan. An experimental analysis of self-adjusting computation. In PLDI '06: Proceedings of the 2006 ACM SIGPLAN conference on Programming Language Design and Implementation, pages 96-107, New York, NY, USA, 2006. ACM Press.
2. Umut A. Acar, Guy E. Blelloch, and Robert Harper. Adaptive functional programming. In Symposium on Principles of Programming Languages, pages 247-259, 2002.
3. Thomas Ball, Rupak Majumdar, Todd D. Millstein, and Sriram K. Rajamani. Automatic predicate abstraction of c programs. In SIGPLAN Conference on Programming Language Design and Implementation, pages 203-213, 2001.
4. Mike Bamett, K. Rustan M. Leino, and Wolfram Schulte. The spec-sharp programming system: An overview, http://research.microsoft.com/specsharp/papers/ krml136.pdf.
5. M. Bender, R. Cole, E. Demaine, M. Farach-Colton, and J. Zito. Two simplified algorithms for maintaining order in a list. In Proceedings of the 10th Annual European Symposium on Algorithms (ESA. 2002), 2002.
6. Yoonsik Cheon and Gary T. Leavens. A runtime assertion checker for the Java Modeling Language (JML). In Hamid R. Arabnia and Youngsong Mun, editors, Proceedings of the International Conference on Software Engineering Research and Practice (SERP '02), Las Vegas, Nevada, USA, June 24-27, 2002, pages 322-328. CSREA Press, June 2002.
7. S. Chiba and M. Nishizawa. An easy-to-use toolkit for efficient java bytecode translators. In Proceedings of the second International Conference on Generative Programming and Component Engineering (GPCE'03), Erfurt, Germany, volume 2830 of ZJVCS, pages 364-376, September 2003.
8. Paul T. Darga and Chandrasekhar Boyapati. Efficient software model checking of data structure properties. SIGPLANNot., 41(10):363-382, 2006.
9. Alan Demers, Thomas Reps, and Tim Teitelbaum. Incremental evaluation for attribute grammars with application to syntax-directed editors. In POPL '81: Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 105-116, New York, NY, USA, 1981. ACM Press.
10. Matthew B. Dwyer, John Hatcliff, Roby Joehanes, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng, and W Visser. Tool-supported program abstraction for finite-state verification. In International Conference on Software Engineering, pages 177-187, 2001.
11. Hotjava 1.0 signature bug, 1997. http://www.cs.princeton.edu/sip/news/ april29.html.
12. Allan Heydon, Roy Levin, and Yuan Yu. Caching function calls using precise dependencies. ACM SIGPLAN Notices, 35(5):311-320, 2000.
13. Jso. http://shaneng.awardspace.eom/#jso_description.
14. Gary T. Leavens, Albert L. Baker, and Clyde Ruby. JML: A notation for detailed design. In Haim Kilov, Bernhard Rumpe, and Ian Simmonds, editors, Behavioral Specifications of Businesses and Systems, pages 175-188. Kluwer Academic Publishers, 1999.
15. Yanhong A. Liu, Scott D. Stoller, Michael Gorbovitski, Tom Rothamel, and Yanni Ellen Liu. Incrementalization across object abstraction. In OOPSLA '05: Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications, pages 473-486, New York, NY, USA, 2005. ACM Press.
16. Yanhong A. Liu and Tim Teitelbaum, Systematic derivation of incremental programs. Science of Computer Programming, 24(1): 1-39, 1995.
17. Bob Paige and J. T. Schwartz. Expression continuity and the formal differentiation of algorithms. In POPL '77: Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, pages 58-71, New York, NY, USA, 1977. ACM Press.
18. Robert Paige and Shaye Koenig. Finite differencing of computable expressions. ACM Trans. Program. Lang. Syst., 4(3):402-454, 1982.
19. W. Pugh and T. Teitelbaum. Incremental computation via function caching. In POPL '89: Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 315-328, New York, NY, USA, 1989. ACM Press.
20. G. Ramalingam, Bounded incremental computation. Technical Report 1172, Univ. of Wisconsin, Madison, Computer Sciences Dept., 1210 West Dayton St., Madison, WI53706, USA, 1993.
21. G. Ramalingam and Thomas Reps. A categorized bibliography on incremental computation. In POPZ, '93: Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 502-510, New York, NY, USA, 1993. ACM Press.
22. S. Graf and H. Saidi. Construction of abstract state graphs with PVS. In O. Gramberg, editor, Proc. 9th International Conference on Computer Aided Verification (CAV'97), volume 1254, pages 72-83. Springer Verlag, 1997.