Alenkruth Krishnan Murali

Second 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 · LinkedIn · GitHub · Twitter · Checkout CASA

Research · Teaching · Experience · Talks · Service · Personal

📰   News

• April 2024: I will be joining Intel Processor Architecture Research Lab, India as a research intern in June. I am excited to be a part of the exciting research they do.
• 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.