ARDI
MADADI
Computer Scientist
ABOUT ME
ARDI MADADI
I’m a combined BS/MS student at the University of Washington Paul G. Allen School of Computer Science & Engineering. I have been fortunate to live in multiple countries and learn several languages (see map below). Currently, I am researching mutation testing at the PLSE lab as part of René Just's team. My focus is on software engineering, programming languages, and human-computer interaction. I also work with Maya Çakmak as a teaching assistant for the undergraduate research sequence (CSE390R/CSE492R).
Countries I have visited
EDUCATION
January 2022 - PresentMaster of Science in Computer Science
University of WashingtonSept 2019 - Jun 2021Bachelor of Science in Computer Science
University of WashingtonSept 2016 - Jun 2019Associate of Science in Computer and Electrical Engineering
Tacoma Community College
EXPERIENCE
2023Adobe
Research Scientist Intern2023AWS: CodeWhisperer
SDE Intern2022AWS: CodeGuru Security
SDE Intern2021AWS: CodeGuru Reviewer
SDE Intern
PUBLICATIONS
09.05.2023Quantifying Developer Effort in Mutant Detection (Poster)
05.12.2022Contextualized Programming Language Documentation
“Contextualized Programming Language Documentation” by Hannah Potter, Ardi Madadi, René Just, and Cyrus Omar. In Proceedings of the ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!), December 5-10 2022. Download
ACKNOWLEDGMENTS
01.07.2023Notes on Program Analysis - Michael D. Ernst
PROJECTS
Mutation Testing for Halide (Adobe)
Mutation testing could be highly beneficial for Halide, a programming language designed for high-performance image processing. Firstly, mutation testing allows for the evaluation of the effectiveness […]Hazel (explainthis)
Hazel features typed holes in the text, allowing users to typecheck, manipulate, and run programs even when they are syntactically malformed. This work was published in […]
TEACHING
Software Design and Implementation (CSE331)
Winter 2022Hal Perkins
Summer 2021Ardi Madadi
Spring 2021Kevin Zatloukal
Winter 2021Hal Perkins
Autumn 2020Kevin Zatloukal
Summer 2020Alexey Beall
INTRODUCTION TO RESEARCH IN COMPUTER SCIENCE & ENGINEERING (CSE390R/CSE492R)
Winter 2024 Maya Çakmak
Fall 2023 Maya Çakmak
Spring 2023 Maya Çakmak
Winter 2023Maya Çakmak
Autumn 2022Maya Çakmak
Software Engineering (CSE403)
Spring 2022René Just
ONLINE
PROFILES
WEBSITE PORTFOLIO
This is an ever-shrinking list of websites that I made before 2016, but I have since handed over the maintenance to others.