Unipycation: a case study in cross-language tracing

Authors:
Edd Barrett;Carl Friedrich Bolz;Laurence Tratt
Affiliations:
Software Development Team, Informatics, King's College London, London, United Kingdom;Software Development Team, Informatics, King's College London, London, United Kingdom;Software Development Team, Informatics, King's College London, London, United Kingdom
Venue:
Proceedings of the 7th ACM workshop on Virtual machines and intermediate languages
Year:
2013

Citing 26
Cited 0

A tractable Scheme implementation

Lisp and Symbolic Computation
Building domain-specific embedded languages

ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
Back to the future: the story of Squeak, a practical Smalltalk written in itself

Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A meta-language and system for nonlocal incremental attribute evaluation in language-based editors

POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Dynamo: a transparent dynamic optimization system

PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation
Prolog (3rd ed.): programming for artificial intelligence

Prolog (3rd ed.): programming for artificial intelligence
Experience with an extensible language

Communications of the ACM
Growing a Language

Higher-Order and Symbolic Computation
tu Prolog: A Light-Weight Prolog for Internet Applications and Infrastructures

PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Extensible Grammars for Language Specialization

DBLP-4 Proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and Languages
Dynamic native optimization of interpreters

Proceedings of the 2003 workshop on Interpreters, virtual machines and emulators
The Alpha-Beta Heuristic

The Alpha-Beta Heuristic
Seamless integration of rule-based knowledge and object-oriented functionality with linguistic symbiosis

Proceedings of the 2004 ACM symposium on Applied computing
Concrete syntax for objects: domain-specific language embedding and assimilation without restrictions

OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Motivation for extensible languages

ACM SIGPLAN Notices
HotpathVM: an effective JIT compiler for resource-constrained devices

Proceedings of the 2nd international conference on Virtual execution environments
PyPy's approach to virtual machine construction

Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
Domain specific language implementation via compile-time meta-programming

ACM Transactions on Programming Languages and Systems (TOPLAS)
Trace-based just-in-time type specialization for dynamic languages

Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation
Tracing the meta-level: PyPy's tracing JIT compiler

Proceedings of the 4th workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages and Programming Systems
Optimization of dynamic languages using hierarchical layering of virtual machines

DLS '09 Proceedings of the 5th symposium on Dynamic languages
Towards a jitting VM for prolog execution

Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming
SPUR: a trace-based JIT compiler for CIL

Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Allocation removal by partial evaluation in a tracing JIT

Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation
Runtime feedback in a meta-tracing JIT for efficient dynamic languages

Proceedings of the 6th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems
Adding dynamically-typed language support to a statically-typed language compiler: performance evaluation, analysis, and tradeoffs

VEE '12 Proceedings of the 8th ACM SIGPLAN/SIGOPS conference on Virtual Execution Environments

Quantified Score

Hi-index	0.00

Visualization

Abstract

Language composition approaches have traditionally suffered from poor performance. In this paper we hypothesise that meta-tracing provides a means to compose independent language interpreters while retaining the performance levels of each. To study this approach, we compose Python and Prolog interpreters to form Unipycation. We present a case study of its use and a suite of micro-benchmarks which give us some understanding of its cross-language performance.