Yatin Manerkar
@ymanerkarAssistant Professor @UMichCSE. Formerly postdoc @Berkeley_EECS. PhD @PrincetonCS. Views my own. RTs/likes are not endorsements.
Similar User
@samiramanabi
@ISCAConfOrg
@MicroArchConf
@ACMSIGMICRO
@CompArchSA
@Tyler_UCSC
@djimeneth
@heyelbs
@Joel_Emer
@nenrightjerger
@roopshasamanta
@Prashxnt_Nair
@ARHmahmoud
@PLDI
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🙏.
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!
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🙏.
Check out Prof. @ymanerkar’s summary of ISCA 2022, from the awards to the business meeting. sigarch.org/isca-2022-trip…
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)
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
Prof. @nenrightjerger presents the TCCA Outstanding Dissertation Award to Dimitrios Skarlatos! 🎉👏 And honorable mentions to Yatin Manerkar and Hyoukjun Kwon! 🎊 #isca2021
Greatest Indian series win of all time IMO. Well done team! 🇮🇳
✍️ "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
MRMGroup’s @ymanerkar is working to bring automated formal verification to scale, his latest work with Daniel Lustig and @margmartonosi enables modular memory consistency verification for hardware design — preprint on arXiv now! arxiv.org/abs/2003.04892
“RealityCheck: Bringing Modularity, Hierarchy, and Abstraction to Automated Microarchitectural Memory Consistency Verification” (@YManerkar, Daniel Lustig, @MargMartonosi; 2020) 📄 arxiv.org/pdf/2003.04892… #MemoryConsistency #RISCV #WeakMemoryOrdering #TotalScoreOrdering
I’ve invented a game of “cat cricket”. 🏏My cat has to defend the box from my ping pong ball. 🏏If the ball hits the cardboard, that’s a point to me. 🤷🏻♂️ 🏏If she bats it away that’s a point to her. 😺 First to ten wins. 🙌🏼 Just look at that leg glance... 🏏 #Caturday
We were asked to make a trailer for the #LVI @IEEESSP paper. Here it is ;) "We turn #Meltdown around." youtube.com/watch?v=baKHSX… twitter.com/jovanbulck/sta… lviattack.eu cc @jovanbulck @danielmgmi @misc0110 @mlqxyz
We present Load Value Injection #LVI: a new transient-execution attack class; defeats defenses; turns around #Meltdown #Foreshadow #ZombieLoad #RIDL #Fallout to *inject* attacker data into victim loads. lviattack.eu cc @danielmgmi @mlqxyz @misc0110 @lavados @IEEESSP
Air-safety regulators are poised to order electrical wires relocated inside Boeing 737 MAX jets in the latest complication and potential delay for their return to commercial service on.wsj.com/2PYmvq5
A fascinating retrospective from Andy Gavin about Crash Bandicoot, covering topics such as how they got the hardware to perform to the level they wanted. I loved the game as a kid (and still do!).
War Stories: How Crash Bandicoot hacked the original PlayStation arstechnica.com/gaming/2020/02… by @KyleOrl
Boeing acknowledges “gaps” in its Starliner software testing arstechnica.com/science/2020/0… by @SciGuySpace
Why fixing security vulnerabilities in medical devices, IoT is so hard arstechnica.com/information-te…
“I was just shaking”—new documents reveal details of fatal Tesla crash arstechnica.com/cars/2020/02/i… by @binarybits
Lax FAA oversight allowed Southwest to put millions of passengers at risk, IG says wapo.st/37mT2Ma
United States Trends
- 1. Bama 12,5 B posts
- 2. #AEWFullGear 43,5 B posts
- 3. Milroe 5.484 posts
- 4. Oklahoma 30,9 B posts
- 5. Auburn 10,1 B posts
- 6. $CUTO 5.671 posts
- 7. Kansas 38 B posts
- 8. Notre Dame 21,2 B posts
- 9. Colorado 66 B posts
- 10. Big 12 20,5 B posts
- 11. Sooners 3.753 posts
- 12. Vandy 4.989 posts
- 13. Devin Neal 6.810 posts
- 14. #NWSLChampionship 2.068 posts
- 15. Xavier Robinson N/A
- 16. Ryan Williams 1.007 posts
- 17. #RollTide 2.363 posts
- 18. #MostRequestedLive 22,5 B posts
- 19. Arizona State 9.870 posts
- 20. Army 359 B posts
Who to follow
-
Samira Khan
@samiramanabi -
ISCA
@ISCAConfOrg -
MICRO 2024
@MicroArchConf -
SIGMICRO
@ACMSIGMICRO -
Computer Architecture Student Association (CASA)
@CompArchSA -
Tyler Sorensen
@Tyler_UCSC -
Daniel A. Jiménez
@djimeneth -
Elba Garza
@heyelbs -
Joel Emer
@Joel_Emer -
Natalie Enright Jerger
@nenrightjerger -
Roopsha Samanta
@roopshasamanta -
Prashant Nair (praśānt nāyar)
@Prashxnt_Nair -
Abdulrahman Mahmoud
@ARHmahmoud -
PLDI
@PLDI
Something went wrong.
Something went wrong.