Alexia Massalin (born Henry Massalin) is an American computer scientist and programmer. Massalin pioneered the concept of superoptimization, and designed the Synthesis kernel  , a small kernel with a Unix compatibility layer that makes heavy use of self-modifying code for efficiency.
- Massalin, Alexia Henry (1987). Randy Katz, ed. "Superoptimizer: a look at the smallest program". Proceedings of the second international conference on Architectural support for programming languages and operating systems: 122–126. doi:10.1145/36206.36194. ISBN 0-8186-0805-6. Retrieved 2012-04-25. Lay summary (1995-06-14).
Given an instruction set, the superoptimizer finds the shortest program to compute a function. Startling programs have been generated, many of them engaging in convoluted bit-fiddling bearing little resemblance to the source programs which defined the functions. The key idea in the superoptimizer is a probabilistic test that makes exhaustive searches practical for programs of useful size.
- Massalin, Alexia Henry (1992). Synthesis: An Efficient Implementation of Fundamental Operating System Services (Ph.D. thesis). Columbia University New York, NY, USA. UMI Order No. GAX92-32050. Retrieved 2012-04-25. Lay summary (2008-02-20).
[O]perating systems can provide fundamental services an order of magnitude more efficiently than traditional implementations.
- "Company: MicroUnity". Retrieved 11 May 2012.
- Gary Andrew Poole (December 1996). "Qua". Wired (4.12).
- Gary Andrew Poole (December 1998). "In the Land of the Weird, Standing Out Takes a Little Work". The New York Times.
|P ≟ NP||This biographical article relating to a computer scientist is a stub. You can help Wikipedia by expanding it.|