Gold Medal winner
Presented at ACM Student Research Competition, Programming Language Design and Implementation Conference 2020
Samatulyata2: Validation of Code Optimizing Transformations Involving Loops for Petri Net Based Models of Programs
Gold Medal winner
Presented at ACM Student Research Competition, Programming Language Design and Implementation Conference 2020