T. Bultan

Papers on Lattice

Total citations

Topics

h-index

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (1)Tool Use & Agents (1)

Frequent co-authors

Md Shafiuzzaman (1)Achintya Desai (1)Wenbo Guo (1)

Papers (1)

Apr 7, 2026

Md Shafiuzzaman +3Apr 7, 2026

Guiding Symbolic Execution with Static Analysis and LLMs for Vulnerability Discovery

Forget manual harness creation: SAILOR leverages static analysis and LLMs to automatically find 379 previously unknown memory-safety vulnerabilities in C/C++ code.

Md Shafiuzzaman, Achintya Desai, Wenbo Guo +1

Code Generation & Program Synthesis Tool Use & Agents

Search

T. Bultan

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)