I am Saahil.

Ph.D. student in Software Engineering at Technical University of Munich. My research interests are fuzzing, symbolic execution and compositional analysis of large-scale software using smart combinations of both. Some of my publications are listed here. Three of my popular testing-related repositories are at

  1. Macke
  2. Munch
  3. KLEE22 (with targeted-search for symbolic execution)

I'm interested in artificial intelligence, empirical software engineering, open-access publishing and the intersection of technology+journalism. I like kickboxing, bouldering, fruit cakes, films, hip-hop and books.

I am on goodreads, github, twitter, instagram and sometimes I blog. My updated CV can be found here.