About
I am a computer science student at UC Berkeley focused on program analysis, developer tooling, and software engineering.
I conducted research at NJIT in practical static program analysis: reducing Java programs, reproducing typechecker bugs, and mining false-positive patterns from real-world repositories.
I co-authored a ISSTA 2025 paper introducing type-directed slicing and later rewrote Specimin, its Java program-reduction implementation.
I also created and maintain Tailwind CSS for Visual Studio, the first open-source Tailwind CSS tooling extension for Visual Studio 2022/2026, now 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 · New Jersey Institute of Technology
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 · New Jersey Institute of Technology
Rewrote Specimin from scratch to faithfully implement the type-directed slicing algorithm described in our ISSTA 2025 paper. Replaced the original prototype's dependence on javac with a maintainable JavaParser-based architecture and added alternate output programs to resolve ambiguities discovered during evaluation.
Researcher · New Jersey Institute of Technology
Extended Java program slicer Specimin with support for annotations, method references, and anonymous methods. Benchmarked it on 8 real-world NullAway bugs and co-authored the resulting ISSTA 2025 paper.
Software Engineer (Part-time) · YDD Shipping
Built and launched an ASP.NET Blazor order-management platform for a group-buy service, processing over $300K in merchandise for 1K+ customers. Added multi-tenant authentication, role-based access control, automated SMS workflows, and Excel import/export.
Projects
Tailwind CSS for Visual Studio
27K+ users · Open Source
Built and maintain the first open-source Tailwind CSS tooling extension for Visual Studio 2022/2026, providing IntelliSense, diagnostics, build integration, class sorting, and editor tooling. It holds a 5-star average rating and 149 GitHub stars; I have resolved 134 issues and attracted 6 sponsors.
Edunomix Institute · Co-Founder & Dir. of Tech
Built a free economics education platform using ASP.NET Blazor, reaching 18K+ users across 16+ countries. Developed newsletter automation and interactive educational games to support its learning content.
Education
University of California, Berkeley
B.A. in Computer Science · Expected May 2030
Technical Skills
Java, Python, C#, TypeScript, SQL, HTML, CSS
ASP.NET Core, Blazor, Tailwind CSS, Dapper, JavaParser, Pydantic AI
Program Analysis
xUnit, JUnit, Differential Fuzzing, Static Analysis, Program Slicing, Checker Framework, NullAway, Error Prone
SQL Server, Git, Docker, GitHub Actions, Microsoft Azure, Maven, Gradle, Visual Studio SDK