On Tue, Jun 4, 2019 at 11:49 AM Omar Salvador Navarro Leija <
ole...@mozilla.com> wrote:
> 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
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 determin
2 matches
Mail list logo