Posts by Collection

Portfolio item number 1

Portfolio item number 2

Metrinome: Path Complexity Predicts Symbolic Execution Path Explosion

Published in 2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), 2021

Link

Formalizing Path Explosion for Recursive Functions via Asymptotic Path Complexity

Published in 2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE), 2023

Link

Talk 1 on Relevant Topic in Your Field

Published: March 01, 2012

Tutorial 1 on Relevant Topic in Your Field

Published: March 01, 2013

Talk 2 on Relevant Topic in Your Field

Published: February 01, 2014

Conference Proceeding talk 3 on Relevant Topic in Your Field

Published: March 01, 2014

Teaching experience 1

Undergraduate course, University 1, Department, 2014

Teaching experience 2

Workshop, University 1, Department, 2015