Search Results for author:
Found 2 papers, 0 papers with code
Transfer Attacks and Defenses for Large Language Models on Coding Tasks
They improve upon previous neural network models of code, such as code2seq or seq2seq, that already demonstrated competitive results when performing tasks such as code summarization and identifying code vulnerabilities.
First-order Gradual Information Flow Types with Gradual Guarantees
Prior work on gradual information flow typing uncovered tensions between noninterference and the dynamic gradual guarantee -- the property that less precise security type annotations in a program should not cause more runtime errors.
Programming Languages
Cannot find the paper you are looking for? You can
Submit a new open access paper.
