Hello everyone! My name is Omar Navarro Leija. I am interning for the summer at Mozilla SF as part of the Servo group.
I am a 4th year PhD student at the University of Pennsylvania. I am interested in systems programming, operating systems, and concurrency. My current research focuses on deterministic parallelism and dynamic determinism enforcement. This summer, I will be looking at taming a small piece of the difficulty with debugging parallel systems. Specifically, implementing record-and-replay for Rust channels. This will hopefully make servo a little easier to debug and a little more deterministic :) I look forward to contributing to Servo and learning a lot! Omar _______________________________________________ dev-servo mailing list dev-servo@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-servo
