About
I am a CS student at UC Berkeley focused on software engineering and developer tooling.
My research work focuses on static program analysis with practical impact, including program minimization and techniques for improving static analysis tools.
I contributed to Specimin, a Java type-directed static program reduction tool developed at NJIT, with work published at ISSTA 2025.
I also created and maintain the Tailwind CSS for Visual Studio extension, an open-source IntelliSense tool for VS 2022/2026 used by 27K+ developers.
Publications
Static Program Reduction via Type-Directed Slicing
L. N. D. Nguyen, T. Islam, T. Wang, S. Lenz, M. Kellogg
Introduces type-directed slicing, a static technique for automatically reducing large Java codebases into minimal reproductions that preserve typechecker behavior. Evaluated on 28 historical bugs across the Java compiler, NullAway, and the Checker Framework, achieving an 89% success rate.
Experience
Researcher · NJIT, Dept. of Computer Science
Developed FPMiner, an end-to-end pipeline for mining typechecker false positive patterns from real Java repositories, implementing automatic checker configuration and AI-guided refactoring. Validated semantic equivalence of LLM-generated refactorings using differential fuzzing, enabling automated identification of likely false positives.
[GitHub]Researcher · NJIT, Dept. of Computer Science
Overhauled Specimin, removing dependence on javac (previously a major runtime bottleneck) and adding support for alternate output programs to resolve ambiguities discovered during evaluation. Redesigned core components for greater maintainability and efficiency, allowing Specimin to serve as a scalable platform for ongoing static analysis research.
Researcher · NJIT, Dept. of Computer Science
Extended Java program slicer Specimin, supporting annotations, method references, and anonymous methods. Benchmarking Specimin on 8 real-world NullAway bugs and co-authoring the resulting ISSTA 2025 paper.
Software Engineer · YDD Shipping
Built and launched a SaaS order management platform for a group-buy service, handling over $300K in transaction volume. Implemented SMS updates and improved operational workflows for 1K+ customers.
Projects
Tailwind CSS for Visual Studio
27K+ users · Open Source
Created the first open-source Tailwind CSS editor extension for Visual Studio 2022/2026, featuring autocompletion, build integration, error linting, and opinionated class sorting.
Edunomix Institute · Co-Founder & Dir. of Tech
Built a free economics education platform using ASP.NET Blazor, reaching 18K+ users across 16+ countries.
Education
University of California, Berkeley
B.A. Computer Science
Academy for Math, Science, and Engineering
GPA: 105.81 / 100