Yatin Manerkar

Registered user since Mon 6 May 2019

Name: Yatin Manerkar

Bio: I am a final-year PhD student in the Princeton Computer Science department, advised by Prof. Margaret Martonosi. My research develops automated formal methodologies and tools for thorough verification of computing systems. My specific interests include memory consistency models, cache coherence, dark silicon, and heterogeneous multicores.

Before joining Princeton, I completed my BASc in Computer Engineering at the University of Waterloo and a M.S. in Computer Science and Engineering at the University of Michigan. I also worked full-time at Qualcomm Research for one year.

I am a recipient of Princeton’s Wallace Memorial Fellowship for the 2018-2019 academic year. (The Wallace Memorial Fellowship is a Princeton Honorific Fellowship which provides funding to students displaying the highest scholarly excellence in graduate work during the year.) I was also selected for the 7th Heidelberg Laureate Forum to be held in September 2019.

Country: United States

Affiliation: Princeton University

Personal website: https://www.cs.princeton.edu/~manerkar/

Research interests: Formal verification, memory consistency models, cache coherence, computer architecture

Contributions

DeepSpec 2019Presenter of Automated Formal Memory Consistency Verification of Hardware within the DeepSpec 2019-track
Show activities from other conferences

PLDI 2019-profile
View general profile