Research output
Publications
Papers by RAISE members, with PDFs, code, slides and BibTeX where available. For the lab head's complete record, see his homepage.
Showing 11 of 84 publications
2026 3 papers
Source-Obligation-Guided Validation of LLM-Based Code Translation
CSoNet 2026, Ho Chi Minh City, Vietnam · November 2026
To appearVerified AIFrom Natural-Language Hypotheses to Verified Data-Mining Discoveries
ICDM 2026 (Research Track, CORE Rank A*, Acceptance Rate: 392/1966, 20%), Shenyang, China · November 2026
Distributional Program Analysis: Treating Large Language Models as Program Samplers
ASE 2026 (NIER Track, CORE Rank A*, Acceptance Rate: 23/89, 25%), Munich, Germany · November 2026
2021 1 paper
2019 1 paper
Monadic Decomposability of Regular Relations
ICALP 2019 (CORE Rank A*), Patras, Greece · July 2019
CORE A*Verified AI
2018 2 papers
Complexity Analysis of Tree Share Structure
APLAS 2018, Wellington, New Zealand · December 2018
Logical Reasoning for Disjoint Permissions
ESOP 2018 (CORE Rank A), Thessaloniki, Greece · April 2018
CORE AVerified AI
2017 2 papers
A Certified Decision Procedure for Tree Shares
ICFEM 2017, Xi'an, China · November 2017
Disjoint Fractional Permissions in Verification: Applications, Systems and Theory
PhD Thesis, submitted September 2017
2016 1 paper
Decidability and Complexity of Tree Share Formulas
FSTTCS 2016, Chennai, India · December 2016
2012 1 paper
Decision Procedures Over Sophisticated Fractional Permissions
APLAS 2012, Kyoto, Japan · December 2012