Parnian's profile photo

Welcome to My Personal Website

I am a PhD student in the Department of Electrical and Computer Engineering University of California, Davis.

I am interested in developing reliable and verifiable systems, particularly in the realm of code language models. I am dedicated to ensuring these models generate programs that align with their intended purpose, enabling users to leverage technology effectively and confidently. If you share a passion for verifying systems and trustworthy LLMs and would love to chat or connect, I’d be happy to hear from you! Please don’t hesitate to reach out!

Machine Learning, Programming languages, Formal Methods, LLMs, Open Source Software Static and Dynamic Analysis

Publications

Paper Thumbnail
Vision Paper: Proof-Carrying Code Completions
Parnian Kamran, Premkumar Devanbu, and Caleb Stanford
ASYDE workshop co-located with ASE, 2024
SmartNets Image
On the Performance of Malware Detection Classifiers Using Hardware Performance Counters
Alireza Abolhasani Zeraatkar, Parnian Shabani Kamran, Inderpreet Kaur, Nagabindu Ramu, Tyler Sheaves, Hussain Al-Asaad
International Conference on Smart Applications, Communications and Networking (SmartNets), 2024
CCWC Image
Advancements in Secure Computing: Exploring Automated Repair Debugging and Verification Techniques for Hardware Design
Alireza Abolhasani Zeraatkar, Parnian Shabani Kamran, Hussain Al-Asaad
IEEE 14th Annual Computing and Communication Workshop and Conference (CCWC), 2024

Projects

Academic Services

Work Experience

Teaching Experience

Volunteer Experience