thanhlecongg

Follow

Thanh Le-Cong thanhlecongg

Follow

I am a first-year PhD Student at the University of Melbourne. You can learn more about me at thanhlecongg.github.io

25 followers · 2 following

The University of Melbourne
Melbourne, Australia
thanhlecongg.github.io

Achievements

Achievements

Highlights

Pro

thanhlecongg/README.md

👋 Hi, I’m Thanh Le-Cong; I'm a PhD Student at University of Melbourne!

👀 I’m interested in Formal Verification and Software Engineering with a specific focus on Automated Software Debugging.
🌱 I’m currently working on Program Analysis and Repair!
📫 How to reach me: congthanh.le@student.unimelb.edu.au or thanhcls1316@gmail.com
📫 My google scholar: https://scholar.google.com/citations?user=0TJ2SI8AAAAJ&hl=en
📫 My homepage: https://thanhlecongg.github.io

Pinned Loading

soarsmu/AutoPruner soarsmu/AutoPruner Public

AutoPruner: Transformer-based Call Graph Pruning (ESEC/FSE 2022, Research Track)

Python 22 8
Invalidator Invalidator Public

Invalidator: Automated Patch Correctness Assessment via Semantic and Syntactic Reasoning (IEEE TSE)

Python 6 3
gai4se/LLM4SE gai4se/LLM4SE Public

Large Language Models for Software Engineering

Python 259 21
NaturalRobustnessNPR NaturalRobustnessNPR Public

An Empirical Study on Robustness of Neural Program Repair against Semantic Preserving Transformations

Python 5 1
FormalBench FormalBench Public

Evaluating Program Reasoning of LLMs via Formal Specification Inference (ACL 2025)

Python 10 2
PatchGuru PatchGuru Public

LLM-enabled Patch Oracles Inference for Just-in-time Bug Detection

Python