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 Washington
  • Sept 2019 - Jun 2021Bachelor of Science in Computer Science

    University of Washington
  • Sept 2016 - Jun 2019Associate of Science in Computer and Electrical Engineering

    Tacoma Community College

EXPERIENCE

  • 2023Adobe

    Research Scientist Intern
  • 2023AWS: CodeWhisperer

    SDE Intern
  • 2022AWS: CodeGuru Security

    SDE Intern
  • 2021AWS: 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)

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)