Search results
Alexia Massalin (formerly Henry Massalin) is an American computer scientist and programmer. She 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.
Jul 2, 2019 · Alexia Massalin’s 1992 PhD thesis has long been one of my favorites. It promotes the view that operating systems can be much more efficient than then-current operating systems via runtime code generation, lock-free synchronization, and fine-grained scheduling.
The term superoptimization was first coined by Alexia Massalin in the 1987 paper Superoptimizer: A Look at the Smallest Program. The label "program optimization" has been given to a field that does not aspire to optimize but only to improve.
Feb 20, 2008 · Massalin took advantage of the two-word compare-and-swap instruction available in the Motorola 68030 and expanded on Herlihy's work to implement lock-free and copy-free synchronization of queues, stacks, and linked lists.
Jul 31, 2019 · Alexia Massalin’s work on superoptimization and the Synthesis kernel are landmarks in this area, showing the early promise of synthesis techniques, and now might be a good time to revive them. The second wave of synthesis: inductive reasoning.
May 5, 2016 · Alexia Massalin has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).
Dec 24, 1998 · That is why you will see Alexia Massalin, an engineer at Micro Unity widely heralded as a technical genius, giving and receiving piggyback rides and collecting stuffed koalas.
