publications

2026

1. ACM TOPLAS

   Navigating Mixed-Typed Migration with Profilers

   N. Hejduk, B. Greenman, M. Felleisen, and C. Dimoulas

   Transactions on Programming Languages and Systems, 2026

   DOI Bib PDF as published Corrected PDF

   @article{navigating,
     title = {Navigating Mixed-Typed Migration with Profilers},
     author = {Hejduk, N. and Greenman, B. and Felleisen, M. and Dimoulas, C.},
     journal = {Transactions on Programming Languages and Systems},
     year = {2026},
     doi = {10.1145/3785004},
     publisher = {Association for Computing Machinery},
     doi_link = {https://doi.org/10.1145/3785004},
     pdf_as_published = {Navigating Mixed-Typed Migration with Profilers.pdf},
     correction = {Navigating Mixed-Typed Migration with Profilers [corrected].pdf},
     dimensions = {true}
   }

2023

1. Bioinformatics

   Joint embedding of biological networks for cross-species functional alignment

   L. Li, R. Dannenfelser, Y. Zhu, N. Hejduk, S. Segarra, and V. Yao

   Bioinformatics, 2023

   DOI Bib PDF

   @article{netembed,
     title = {Joint embedding of biological networks for cross-species functional alignment},
     author = {Li, L. and Dannenfelser, R. and Zhu, Y. and Hejduk, N. and Segarra, S. and Yao, V.},
     journal = {Bioinformatics},
     volume = {39},
     number = {9},
     year = {2023},
     doi = {10.1093/bioinformatics/btad529},
     publisher = {International Society for Computational Biology},
     doi_link = {https://doi.org/10.1093/bioinformatics/btad529},
     dimensions = {true}
   }