Monitor-Guided Decoding of Code LMs with Static Analysis of Repository Context.
Lakshya A AgrawalAditya KanadeNavin GoyalShuvendu K. LahiriSriram K. RajamaniPublished in: NeurIPS (2023)
Keyphrases
- static analysis
- source code
- dynamic analysis
- malicious code
- symbolic execution
- java card
- abstract interpretation
- learning objects
- software repositories
- learning management systems
- contextual information
- data sets
- regular expressions
- data flow
- test generation
- network traffic
- conceptual model
- open source
- data model
- metadata
- e learning