Representation-based just-in-time specialization and the psyco prototype for Python

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation

Volumn , Issue , 2004, Pages 15-26

  Rigo, Armin ^a  

^a UNIVERSITY OF SOUTHAMPTON   (United Kingdom)

Author keywords

Just In Time Specialization; Python; Representation; Unlift

Indexed keywords

DATA ACQUISITION; FUNCTIONS; IMAGE CODING; OPTIMIZATION; PROCESS CONTROL; PROGRAM INTERPRETERS; SYNCHRONIZATION;

CODE GENERATION; DATA-ORIENTED SPECIALIZATION; PSYCO; PYTHON;

SOFTWARE PROTOTYPING;

EID: 11244321485     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1014007.1014010     Document Type: Conference Paper

References (22)

1. J. Aycock. A brief history of just-in-time. ACM Comput. Surv., 35(2):97-113, 2003.
2. M. Braux and J. Noyé. Towards partially evaluating reflection in Java. In Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation, pages 2-11. ACM Press, 1999.
3. C. Chambers. Staged compilation. In Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation, pages 1-8. ACM Press, 2002.
4. C. D. Chambers. The design and implementation of the self compiler, an optimizing compiler for object-oriented programming languages. PhD thesis, 1992.
5. C. Consel and S. C. Khoo. Parameterized partial evaluation. ACM Trans. Program. Lang. Syst., 15(3):463-493, 1993.
6. J. Dean, C. Chambers, and D. Grove. Selective specialization for object-oriented languages. In Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation, pages 93-102. ACM Press, 1995.
7. D. R. Engler. Vcode: a retargetable, extensible, very fast dynamic code generation system. In Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation, pages 160-170. ACM Press, 1996.
8. A. Haraldsson. A program manipulation system based on partial evaluation. PhD thesis, Linköping Univ., Sweden, Linköping Studies in Science and Technology Dissertations 14, 1977.
9. U. Hölzle and D. Ungar. Reconciling responsiveness with performance in pure object-oriented languages. ACM Trans. Program. Lang. Syst., 18(4):355-400, 1996.
10. D. Ingalls, T. Kaehler, J. Maloney, S. Wallace, and A. Kay. Back to the future: The story of squeak, a practical Smalltalk written in itself. In Proceedings OOPSLA '97, pages 318-326, 1997.
11. N. D. Jones, C. K. Gomard, and P. Sestoft. Partial evaluation and automatic program generation. Prentice-Hall, Inc., 1993.
12. G. Kiczales, J. des Rivières, and D. G. Bobrow. The Art of the Meta-Object Protocol. MIT Press, 1991.
13. C. Lattner. LLVM: An Infrastructure for Multi-Stage Optimization. Master's thesis, Computer Science Dept., University of Illinois at Urbana-Champaign, Urbana, IL, Dec 2002. See http://llvm.cs.uiuc.edu.
14. P. Lee and M. Leone. Optimizing ml with run-time code generation. SIGPLAN Not., 39(4):540-553, 2004.
15. H. Masuhara, S. Matsuoka, K. Asai, and A. Yonezawa. Compiling away the meta-level in object-oriented concurrent reflective languages using partial evaluation. In Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications, pages 300-315. ACM Press, 1995.
16. I. Piumarta. J3 for squeak. http://www-sor.inria.fr/~piumarta/squeak/ unix/zip/j3-2.6.0/doc/j3/.
17. C. Pu, H. Massalin, and J. Ioannidis. The synthesis kernel. USENIX Association, editor, Computing Systems, 1(Winter):11-32, 1988.
18. A. Rigo. The ultimate psyco guide. http://psyco.sourceforge.net/ psycoguide.ps.gz.
19. M. Salib. Starkiller: A static type inferencer and compiler for python. In Proceedings of the EuroPython conference, 2004. http://web.mit.edu/msalib/ www/writings/talks/.
20. G. T. Sullivan. Dynamic partial evaluation. In Lecture Notes In Computer Science, Proceedings of the Second Symposium on Programs as Data Objects, pages 238-256. Springer-Verlag, 2001.
21. G. van Rossum. Python reference manual. http://docs.python.org/ref/ref. html.
22. J. Whaley. Partial method compilation using dynamic profile information. In Proceedings of the 16th ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications, pages 166-179. ACM Press, 2001.