TS: an optimizing compiler for smalltalk

Authors:
Ralph E. Johnson;Justin O. Graver;Laurance W. Zurawski
Affiliations:
Department of Computer Science, University of Illinois, Urbana-Champaign;Department of Computer Science, University of Illinois, Urbana-Champaign;Department of Computer Science, University of Illinois, Urbana-Champaign
Venue:
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
Year:
1988

Citing 9
Cited 42

Smalltalk-80: the language and its implementation

Smalltalk-80: the language and its implementation
SMALLTALK-80: the interactive programming environment

SMALLTALK-80: the interactive programming environment
SOAR: Smalltalk without bytecodes

OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
A third generation Smalltalk-80 implementation

OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
QUICKTALK: a Smalltalk-80 dialect for defining primitive methods

OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Hurricane: an optimizing compiler for Smalltalk

OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Type-checking Smalltalk

OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
The Design and Application of a Retargetable Peephole Optimizer

ACM Transactions on Programming Languages and Systems (TOPLAS)
Efficient implementation of the smalltalk-80 system

POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

Customization: optimizing compiler technology for SELF, a dynamically-typed object-oriented programming language

PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
An efficient implementation of SELF a dynamically-typed object-oriented language based on prototypes

OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Good news, bad news: experience building software development environment using the object-oriented paradigm

OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Strategies for scientific prototyping in Smalltalk

OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Reflective facilities in Smalltalk-80

OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Interfaces for strongly-typed object-oriented programming

OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Surveying current research in object-oriented design

Communications of the ACM
Interactive type analysis and extended message splitting; optimizing dynamically-typed object-oriented programs

PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
Inheritance is not subtyping

POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A type system for Smalltalk

POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
F-bounded polymorphism for object-oriented programming

FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
Making pure object-oriented languages practical

OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
Cluster: an informal report

ACM SIGPLAN Notices
Global tagging optimization by type inference

LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
Interfaces and specifications for the Smalltalk-80 collection classes

OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
Debugging optimized code with dynamic deoptimization

PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation
Using static single assignment form in a code optimizer

ACM Letters on Programming Languages and Systems (LOPLAS)
Strongtalk: typechecking Smalltalk in a production environment

OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Optimizing multi-method dispatch using compressed dispatch tables

OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
Type feedback vs. concrete type inference: a comparison of optimization techniques for object-oriented languages

Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
Vortex: an optimizing compiler for object-oriented languages

Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A framework for run-time systems and its visual programming language

Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
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
Call graph construction in object-oriented languages

Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Fast interprocedural class analysis

POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Fast algorithms for compressed multimethod dispatch table generation

ACM Transactions on Programming Languages and Systems (TOPLAS)
Efficient multiple and predicated dispatching

Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Efficient implementation of Java interfaces: Invokeinterface considered harmless

OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A framework for call graph construction algorithms

ACM Transactions on Programming Languages and Systems (TOPLAS)
Object, Message, and Performance: How they Coexist in Self

Computer
SPiCE: A System for Translating Smalltalk Programs Into a C Environment

IEEE Transactions on Software Engineering
Derivation of Safety Requirements for Safety Analysis of Object-Oriented Design Documents

COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Attaching Second-Order Types to Methods in an Object-Oriented Language

ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Adaptive online context-sensitive inlining

Proceedings of the international symposium on Code generation and optimization: feedback-directed and runtime optimization
A comparison of algorithms for interprocedural class analysis

CASCON '96 Proceedings of the 1996 conference of the Centre for Advanced Studies on Collaborative research
A retrospective on: "customization: optimizing compiler technology for self, a dynamically-typed object-oriented programming language"

ACM SIGPLAN Notices - Best of PLDI 1979-1999
Self

Proceedings of the third ACM SIGPLAN conference on History of programming languages
Dynamic type checking in jalapeño

JVM'01 Proceedings of the 2001 Symposium on JavaTM Virtual Machine Research and Technology Symposium - Volume 1
Supporting simultaneous versions for software evolution assessment

Science of Computer Programming
Counting messages as a proxy for average execution time in pharo

Proceedings of the 25th European conference on Object-oriented programming
Efficient multimethods in a single dispatch language

ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
Cast insertion strategies for gradually-typed objects

Proceedings of the 9th symposium on Dynamic languages

Quantified Score

Hi-index	0.02

Visualization

Abstract

TS (Typed Smalltalk) is a portable optimizing compiler that produces native machine code for a typed variant of Smalltalk, making Smalltalk programs much faster. This paper describes the structure of TS, the kinds of optimizations that it performs, the constraints that it places upon Smalltalk, the constraints placed upon it by an interactive programming environment, and its performance.