Raju Halder -

Registered user since Wed 20 Feb 2019

Name:Raju Halder

Country:India

Affiliation:Indian Institute of Technology Patna

Personal website: https://www.iitp.ac.in/~halder

Research interests:Formal Methods, Blockchain, Programming Languages, Analysis and Verification

Contributions

2026

FM

Committee Member in Tutorial Track Committee within the Tutorials-track

2025

ISEC

Author of SolGen: Secure Smart Contract Code Generation Using Large Language Models Via Masked Prompting within the Research Papers-track

2019

ICSE

Author of Extending Abstract Interpretation to Dependency Analysis of Database Applications within the Journal-First Papers-track