/application-info/ / /publications/ /search.html /tags.html /assets/cv.pdf 2025-09-19T17:36:50+00:00 /assets/resume.pdf 2025-09-19T17:36:50+00:00 /assets/resume/application-resume.pdf 2025-09-19T17:36:50+00:00 /assets/statement/personal-statement-cmu.pdf 2025-09-19T17:36:50+00:00 /assets/transcripts/PVCC_transcript.pdf 2025-09-19T17:36:50+00:00 /assets/transcripts/RIT_transcript.pdf 2025-09-19T17:36:50+00:00 /assets/transcripts/UVA_transcript.pdf 2025-09-19T17:36:50+00:00 /materials/AfzalTuringTest2018.pdf 2025-09-19T17:36:50+00:00 /materials/ChenDIRTY2022.pdf 2025-09-19T17:36:50+00:00 /materials/ChenVarCLR2022.pdf 2025-09-19T17:36:50+00:00 /materials/DornPowerGAUGE2017.pdf 2025-09-19T17:36:50+00:00 /materials/DramkoDIREData2022.pdf 2025-09-19T17:36:50+00:00 /materials/DramkoTaxonomy2024.pdf 2025-09-19T17:36:50+00:00 /materials/JaffeDecompiledNames2019.pdf 2025-09-19T17:36:50+00:00 /materials/LacomisAutomaticallyReducing2019.pdf 2025-09-19T17:36:50+00:00 /materials/LacomisDIRE2019.pdf 2025-09-19T17:36:50+00:00 /materials/LacomisDIRE2019Slides.pdf 2025-09-19T17:36:51+00:00 /materials/LacomisSMTRenaming2018.pdf 2025-09-19T17:36:51+00:00 /materials/LacomisThesis.pdf 2025-09-19T17:36:51+00:00 /materials/LacomisTypeConstraints2018Slides.pdf 2025-09-19T17:36:51+00:00 /materials/ShypulaSuperoptimization2022.pdf 2025-09-19T17:36:51+00:00 /materials/YangHumanStudy2025.pdf 2025-09-19T17:36:51+00:00