Refactoring for reentrancy

ESEC-FSE'09 - Proceedings of the Joint 12th European Software Engineering Conference and 17th ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn , Issue , 2009, Pages 173-182

  Wloka, Jan ^a   Sridharan, Manu ^b   Tip, Frank ^b  

^a RUTGERS UNIVERSITY   (United States)

^b IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

Program transformation; Reentrant code; Refactoring

Indexed keywords

CODE MODIFICATIONS; CODE RE-FACTORING; GLOBAL STATE; JAVA PROGRAM; LOCAL STATE; MULTI CORE; PARALLEL EXECUTIONS; PARALLEL MACHINE; PROGRAM TRANSFORMATIONS; REFACTORINGS; SINGLE-THREADED;

COMPUTER SOFTWARE; JAVA PROGRAMMING LANGUAGE;

CONCURRENCY CONTROL;

EID: 77949380608     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1595696.1595723     Document Type: Conference Paper

References (23)

1. BCEL: The Byte Code Engineering Library. http://jakarta.apache.org/bcel/.
2. Static version of Coco/R. http://www.ssw.unilinz.ac.at/coco/static.html.
3. C# language specification, 2006. http://www.ecmainternational.org/ publications/les/ECMA-ST/Ecma-334.pdf.
4. D. Dig. Automated upgrading of component-based applications. PhD thesis, University of Illinois at Urbana-Champaign, 2007.
5. D. Dig, J. Marrero, and M. Ernst. Refactoring sequential Java code for concurrency. In Proc. ICSE'09, 2009.
6. D. Dig, J. Marrero, and M. D. Ernst. How do programs become more concurrent? a story of program transformations. Technical Report MIT-CSAIL-TR-2008-053, MIT CSAIL, Cambridge, MA, Sept. 5, 2008.
7. H. Do, S. Elbaum, and G. Rothermel. Supporting controlled experimentation with testing techniques: An infrastructure and its potential impact. Empirical Soft. Eng., 10(4), 2005.
8. M. Fähndrich, D. Garbervetsky, and W. Schulte. A static analysis to detect re-entrancy in object oriented programs. J. Object Technology, 7(5), 2008.
9. M. Fowler. Refactoring. Improving the Design of Existing Code. Addison-Wesley, 1999.
10. M. Frigo, P. Halpern, C. E. Leiserson, and S. Lewin-Berlin. Reducers and other Cilk++ hyperobjects. In Symposium on Parallelism in Algorithms and Architectures (SPAA), 2009.
11. R. Fuhrer, F. Tip, A. Kieżun, J. Dolby, and M. Keller. Efficiently refactoring Java applications to use generic libraries. In Proc. ECOOP'05, pages 71-96, Glasgow, Scotland, 2005.
12. W. G. Griswold. Program Restructuring as an Aid to Software Maintenance. PhD thesis, University ofWashington, 1991. Tech. Rep. 91-08-04.
13. JavaCC. https://javacc.dev.java.net/.
14. M. Jordan, G. Czajkowski, K. Kouklinski, and G. Skinner. Extending a J2EE server with dynamic and exible resource management. In Proc. 5th ACM/IFIP/USENIX Int. Conf. on Middleware (Middleware'04), pages 439-458, 2004.
15. D. H. Ken Arnold, James Gosling. The Java Language Specification. Prentice Hall, 3rd edition, 2005.
16. T. Mens and T. Tourwé. A survey of software refactoring. IEEE Trans. on Softw. Eng., 30(2):126-139, Feb. 2004.
17. W. F. Opdyke. Refactoring Object-Oriented Frameworks. PhD thesis, University Of Illinois at Urbana-Champaign, 1992.
18. J. Quinonez, M. S. Tschantz, and M. D. Ernst. Inference of reference immutability. In Proc. ECOOP'08, pages 616{641, Paphos, Cyprus, 2008.
19. W. Stallings. Operating Systems: Internals and Design Principles. Prentice Hall, 2008.
20. M. S. Tschantz and M. D. Ernst. Javari: Adding reference immutability to Java. In Proc. OOPSLA'05, San Diego, CA, 2005.
21. T.J. Watson Libraries for Analysis (WALA). http://wala.sf.net.
22. Apache XML Security. http://santuario.apache.org/.
23. Y. Zibin, A. Potanin, M. Ali, S. Artzi, A. Kie-zun, and M. D. Ernst. Object and reference immutability using Java generics. In Proc. ESEC/FSE'07, 2007.