Publications

(2025). Does In-IDE Calibration of Large Language Models Work at Scale?. arXiv preprint arXiv:2510.22614.
PDF
(2025). Code4MeV2: A Research-oriented Code-completion Platform. arXiv preprint arXiv:2510.03755.
PDF
(2025). Are Agents Just Automata? On the Formal Equivalence Between Agentic AI and the Chomsky Hierarchy. arXiv preprint arXiv:2510.23487.
PDF
(2025). AgentGuard: Runtime Verification of AI Agents. arXiv preprint arXiv:2509.23864.
PDF
(2025). Benchmarking AI Models in Software Engineering: A Review, Search Tool, and Enhancement Protocol. arXiv preprint arXiv:2503.05860.
PDF
(2025). Rethinking IDE Customization for Enhanced HAX: A Hyperdimensional Perspective. IDE 2025 Workshop.
(2025). IDE 2025. IDE 2025.
(2025). HyperSeq: A Hyper-Adaptive Representation for Predictive Sequencing of States. FSE 2025.
(2024). Leveraging Large Language Models for Enhancing the Understandability of Generated Unit Tests. arXiv preprint arXiv:2408.11710.
PDF