Yatin Manerkar

Assistant Professor @UMichCSE. Formerly postdoc @Berkeley_EECS. PhD @PrincetonCS. Views my own. RTs/likes are not endorsements.

[Yatin Manerkar @ymanerkar]

And congratulations to all the other awardees @PLDI this year!

[Yatin Manerkar @ymanerkar]

Honoured to be a distinguished reviewer ⁦@PLDI⁩ '24!

I'd like to publish more cool PL papers instead of just getting awards for reviewing them. If you're applying for PhDs & are interested in PL techniques to improve hardware design, come work with me ⁦@UMichCSE⁩!

[Yatin Manerkar @ymanerkar]

I'm recruiting PhD students (again) this year! If you're interested in hardware security, formal synthesis, or the intersection of formal methods and computer architecture in general, please apply to @UMichCSE's PhD program and mention me in your app!

RTs greatly appreciated🙏.

[Yatin Manerkar @ymanerkar]

Formal hardware models are hard to write by hand. Our @ASPLOSConf paper, PipeSynth, shows how to automatically synthesize microarchitectural ordering models from common inputs like test programs and simulator traces. Come to our talk tomorrow in session 1B to see how we do it!

[Yatin Manerkar @ymanerkar]

@SundayAdelodun4 Yes it is!

[Yatin Manerkar @ymanerkar]

I am recruiting PhD students! If you're interested in the intersection of formal methods and computer architecture/systems research, please apply to @UMichCSE's PhD program and mention my name in your application!

RTs to spread the word would be greatly appreciated🙏.

[SIGARCH @sigarch]

Check out Prof. @ymanerkar’s summary of ISCA 2022, from the awards to the business meeting. https://t.co/GCSCfyDZnU

[Stefan Saroiu @tzoompy]

On multi-socket Intel workloads, normal cloud workloads can access memory at rates approaching (and even bypassing) today DRAM's Rowhammer thresholds. Why? (1/2)

[Yatin Manerkar @ymanerkar]

@Ognyanova @WeEasyChair @WebSciConf @confCAV Aaand it's back! Not a moment too soon, either...

[Yatin Manerkar @ymanerkar]

@Ognyanova @WeEasyChair @WebSciConf It's not just you; I'm experiencing the same error with @confCAV rebuttals. Not sure exactly what's going on though.

[Baris Kasikci @bariskasikci]

Kevin's paper is about a new phenomenon that he discovered that causes commodity workloads to induce DRAM hammering, leading to potential reliability and security issues. Kevin's paper rethinks memory coherency to alleviate this problem. Joint with @tzoompy @AlecWolman @ymanerkar

[ISCA @ISCAConfOrg]

Prof. @nenrightjerger presents the TCCA Outstanding Dissertation Award to Dimitrios Skarlatos! 🎉👏 And honorable mentions to Yatin Manerkar and Hyoukjun Kwon! 🎊 #isca2021

[Yatin Manerkar @ymanerkar]

@margmartonosi Likewise, Margaret! It was indeed wonderful seeing you and so many of my fellow MRMGroupers again🙂.

[Yatin Manerkar @ymanerkar]

Greatest Indian series win of all time IMO. Well done team! 🇮🇳

[Cricinfo @cricinfo]

✍️ "Not only have you - and I do not use these words lightly - created the greatest moment in India's Test history, you have provided a glorious hurrah to the most epic, the most layered, form of sport known to us"

@sambitbal writes on India's historic win down under

#AUSvIND

[Yatin Manerkar @ymanerkar]

@Jim_in_Oregon I am saddened to hear this 😞. Ed will always be a legend in formal verification. The list of his students, postdocs, and collaborators was almost a "who's who" of model checking.

May his soul rest in peace, and my condolences to you and your family.

[Yatin Manerkar @ymanerkar]

@margmartonosi Many thanks for all your help and advice over the past 6 years. I will always be proud to be a @MartonosiGroup alum 🙂.

[Yatin Manerkar @ymanerkar]

@notypes @CompArchSA @JBalkind @AkshithaSriram1 Yes, let's do this! It has many potential upsides, and I'm happy to help organise.

Also, I second @AkshithaSriram1's suggestion to use Gather. I thought it was the best "hallway interaction" experience I've had during the pandemic based on my using it during @PLDI 2020.

[Yatin Manerkar @ymanerkar]

@ARHmahmoud Congratulations!

[Yatin Manerkar @ymanerkar]

@Hello_KayT @JBalkind Tell her to beware of the British shorthair named Lawrence.🙂

[Yatin Manerkar @ymanerkar]

@ShriramKMurthi I also humbly recommend V. P. Menon's "The Integration of the Indian States" for more on how the princely states were masterfully integrated into the union.