معرفی
Melissa E. O'Neill is a faculty member in the Department of Computer Science at Harvey Mudd College. Her research focuses on systems in computer science, particularly practical aspects of programming languages, aiming to reduce complexity and enhance reliability in parallel and functional programming paradigms.
- Doctoral Dissertation: Version Stamps for Functional Arrays and Determinacy Checking: Two Applications of Ordered Lists for Advanced Programming Languages
- Master's Thesis: A Data Structure for More Efficient Support of Truly Functional Arrays
Her work bridges theoretical and applied computer science, with key contributions including the fat-elements method for functional arrays and the LR-tags method for runtime determinacy checking in parallel programs. She also designed the Pthieves portable workstealing scheduler and Cotton thread-library interface.
Research interests span garbage collection strategies, dominance drawings for graph algorithms, and distributed systems. Teaching includes operating systems courses with projects on distributed task execution and shared memory. Her methods have implications for lock-free data access, runtime efficiency, and address Bernstein's conditions for parallelism.
