Alenkruth Krishnan Murali

Third Year Ph.D. Student
Charles L. Brown Department of Electrical and Computer Engineering
School of Engineering and Applied Science
University of Virginia

<firstname>{at}virginia[dot]edu
CV · Google Scholar · LinkedIn · GitHub · Twitter · CASA

Research · Teaching · Experience · Talks · Service · Personal

📰   News

• January 2025 : I will returning as a Head TA to the CSO1 course taught by Prof. Graham at UVA.
• January 2025 : After 7 productive months working on Branch Prediction with Anant at PARL, Intel. I am returning to UVA to continue my PhD. More details on my internship work will be coming soon.
• September 2024 : Our work on Cache Security, Ceviche, has been accepted at IEEE S&P 2025. The full paper can be found here .
• June 2024: I am at Intel Processor Architecture Research Lab, India as a research intern working with Anant Nori on front-end optimizations.
• April 2024: We created a new homework in the Computer Systems Organization - 1 course. Check it out if you are interested in learning about a simple compiler.
• January 2024: I am one of the Head Teaching Assistants for the Computer Systems Organization - 1 course in Spring 2024.
• September 2023: I presented our work Core Fuzzing at SRC TECHCON. You can find the paper and slides here.
• August 2023: I am excited to be the Teaching Assistant for the Graduate Computer Architecture in Fall 2023.
• May 2023: The abstract of work Core Fuzzing has been accepted to be presented at SRC Techcon 2023.

🏰  Research overview

My research interests lie in the intersection of Computer Architecture, Hardware Security, and RTL Design. I am extremely fortunate to be a part of Dr. Ashish Venkat's group at UVA. I am currently building a security verification infrastructure that employs techniques from computer architecture and software verification to address the shortcomings in existing software verification solutions.

I am fascinated by the impact the computer architecture community has had on the modern world and I am proud to be a part of it. Nonetheless, I am perenially curious and I love learning about the ideas propelling humanity forward. Feel free to reach out via email to discuss mutual interests.

👩🏻‍🏫  Teaching

Teaching at the University of Virginia:

• Graduate Computer Architecture - CS6354
  Teaching Assistant to Dr. Adwait Jog in Fall 2023.

Miscellaneous:

I, with Srihari, created and taught a one-day hands-on workshop on using Texas Instruments MSP432 development boards during our 3rd year of undergrad. You can find more information here.

🛠  Experience

Before starting my Ph.D. in the US, I worked as a CPU Verification Engineer at Incore Semiconductors building a Python based functional verification infrastructure, UATG, with Purushothaman. I also interned as a RTL Design Engineer at Incore before joining them as a full time employee. I designed the initial version of their Packed SIMD accelerator which was also my bachelor's degree project.

I had my first research experience when I worked with Dr. Satyajit Das at IIT Palakkad on Cryptography Extensions for the RISC-V ISA.

📚  Education

• Bachelor of Engineering - Electrical and Electronics Engineering
  Graduated in 2021 with Distinction from Anna University, Chennai, India.

🖊️  Drafts

This section contains reports from my course projects. These are not being actively worked on and may be in disrepair.

• SoK: Hardware Specialization for AI/ML [Slides - PPTX | PDF]
  Khyati Kiyawat, Alenkruth Krishnan Murali and Sabiha Tajdari
  Submitted in CS6354, Fall 2022.

🎤  Talks

• CoreFuzzing: A Versatile Platform for Security Verification. [paper] [presentation]
  • Security - Verification Session, Techcon 2023, Austin, Texas, September 12, 2023.

️❤️  Service

I am passionate about mentoring and building student communities. I serve on the Computer Architecture Student Association steering committee and help maintain their social channels. If you are a undergrad or graduate who is not already a part of CASA, check us out. Moreover, CASA welcomes ideas to make the computer architecture community better. If you have any ideas reach out to us.
Artifact Evaluation Committees - HPCA 2024, ISCA 2024, CCS 2024.
I work with students from my alma mater helping them figure out the grad school application process. If you think I can be helpful, please send me an email.

🧍🏼  ‍Personal

When I am not recovering from an injury, you can find me running, hiking, or biking around Charlottesville. I try to read as much as possible and I also listen to a lot of music. I am a fan of Daft Punk.

I love learning about new languages and cultures. If you speak new language, I will probably ask you to teach me a few words.

🙏🏼  Credits

1. I would like to thank Dr. Lindsey Kuper for letting me use her website as a template to build mine. You can take a look at her interesting research on her website.

2. The idea to display my names in the languages I speak is from Dr. Karthik Abinav Sankararaman's website. You can find it here.

3. My headshot was taken by Amanda Maglione in an event organized by the UVA Latinx Graduate Student Alliance. Thank you LGSA team!