# Abtin Molavi

I am a first year CS PhD student at the University of Wisconsin-Madison.

I earned a B.S. in Computer Science and Math at Harvey Mudd College, where I worked on quantatative program analysis with Lucas Bang and the ALPAQA group.

## Publications

[VSTTE20] |
“MCBAT: Model Counting for Constraints over Bounded Integer Arrays.” [pdf] Abtin Molavi, Thomas Schneider, Mara Downing, Lucas Bang |

[FSE20] |
“MCBAT: A Practical Tool for Model Counting Constraints on Bounded Integer Arrays” [pdf][video] Abtin Molavi, Thomas Schneider, Mara Downing, Lucas Bang |

[GandALF20] |
“Symbolic Execution + Model-Counting + Entropy Maximization = Automatic Search Synthesis.” [pdf] Mara Downing, Abtin Molavi, Lucas Bang |