• Corpus ID: 36249021

The Design and Construction of Flexible and Efficient Interactive Programming Systems

@inproceedings{Mitchell1970TheDA,
  title={The Design and Construction of Flexible and Efficient Interactive Programming Systems},
  author={James G. Mitchell},
  booktitle={Outstanding Dissertations in the Computer Sciences},
  year={1970}
}
Adaptive optimization for self: reconciling high performance with exploratory programming
TLDR
Four new techniques reconcile exploratory programming, ubiquitous abstraction, and high performance by allowing the compiler to inline message sends based on information extracted from the runtime system.
Implementation of an Interactive Programming System
  • M. Kahrs
  • Computer Science
    SIGPLAN '79
  • 1979
Design and implementation experience with an Interactive Programming System are described. Reflections are made on various design decisions and on the effect of using a Tree Factored Interpreter as
Forerunner: Constraint-based Speculative Transaction Execution for Ethereum
TLDR
Forerunner proposes a novel constraint-based approach for speculative execution on Ethereum that can leverage speculative results based on imperfect predictions whenever certain constraints are satisfied, and is substantially accelerated through a novel multi-trace program specialization enhanced by a new form of memoization.
HHVM JIT: a profile-guided, region-based compiler for PHP and Hack
  • Guilherme Ottoni
  • Computer Science
    Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation
  • 2018
TLDR
The design of the second generation of the HHVM JIT is described and how it addresses the challenges to efficiently execute PHP and Hack programs, and the benefits of this approach compared to the more popular method-based and trace-based approaches to compile dynamic languages.
Multiprocessor System-on-Chip Prototyping Using Dynamic Binary Translation
Fine-grained Language Composition: A Case Study
TLDR
A novel fine-grained syntactic composition of PHP and Python which allows users to embed each language inside the other, including referencing variables across languages, raises novel design and implementation challenges.
Making an Embedded DBMS JIT-friendly
TLDR
This paper shows that programs that interact with the popular embedded DBMS SQLite can be significantly optimized - by a factor of 3.4 in the authors' benchmarks - by inlining across the PL / DBMS boundary.
SQL-to-Opcode Compiler Tokenizer Parser Opcode Generator Query Planner Core Backend
TLDR
It is shown that programs that interact with the popular embedded DBMS SQLite can be significantly optimized – by a factor of 3.4 in the authors' benchmarks – by inlining across the PL / DBMS boundary.
Adaptive just-in-time value class optimization: transparent data structure inlining for fast execution
TLDR
This paper presents a technique to detect and compress commonly occurring patterns of value class usage to improve memory usage and performance and shows two to ten-fold speedup of a small prototypical implementation over the implementation of value classes in other object-oriented language implementations.
...
1
2
3
4
5
...