Aseem Rastogi's repositories
llm-assistance-for-memory-safety
Repository accompanying the ICSE'25 paper titled "Using Large Language Models for inferring Checked C annotations"
MIT000
Repository accompanying the ICSE'25 paper titled "Using Large Language Models for inferring Checked C annotations"