[dev-servo] Omar Mozilla Intern Introduction

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

Re: [dev-servo] Omar Mozilla Intern Introduction

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