PhD student at Tufts University. My research focuses on formal verification, most recently on verification of concurrent MPI programs.
Pinned Loading
-
-
-
JavaImportPrediction
JavaImportPrediction PublicCode that allows predicting imports in Java code with GGNNs
Jupyter Notebook 4
-
ConvexCovers
ConvexCovers PublicThis repository contains code that illustrates a baseline solution for the CG:SHOP 2023 competition, which involved computing smallest convex covers of arbitrary polygons with holes. This is also m…
Java
-
-
acrostics/acrostic-sleuth
acrostics/acrostic-sleuth PublicAcrosticSleuth is a program for identifying and ranking acrostics.
Java
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.




