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!
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🙏.
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
✍️ "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
@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.
@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.
@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.