Travelled to:
2 × USA
Collaborated with:
C.Pu ∅
Talks about:
kernel (2) multiprocessor (1) superoptim (1) synthesi (1) smallest (1) program (1) thread (1) output (1) input (1) look (1)
Person: Henry Massalin
DBLP: Massalin:Henry
Contributed to:
Wrote 3 papers:
- SOSP-WIP-1991-MassalinP92 #kernel #multi
- A Lock-Free Multiprocessor OS Kernel (HM, CP), p. 8.
- SOSP-1989-MassalinP #kernel #synthesis #thread
- Threads and Input/Output in the Synthesis Kernel (HM, CP), pp. 191–201.
- ASPLOS-1987-Massalin #named
- Superoptimizer — A Look at the Smallest Program (HM), pp. 122–126.