Software Technology Group
- 11 followers
- Technische Universität Darmstadt, Germany
- http://www.stg.tu-darmstadt.de
Popular repositories Loading
Repositories
- TAJS-xl Public Forked from cs-au-dk/TAJS
Type Analyzer for JavaScript extended for cross-language analysis
stg-tud/TAJS-xl’s past year of commit activity - ainf-compiling-with-arrays Public
stg-tud/ainf-compiling-with-arrays’s past year of commit activity - code-LLM-critical-evaluation Public
Code for ACL 2024 paper: A Critical Study of What Code-LLMs (Do not) Learn
stg-tud/code-LLM-critical-evaluation’s past year of commit activity - github-query-script Public Forked from anam-dodhy/github-query-script
[@akwick] Code to retrieve data from GitHub of thesis: Benchmarking of API-misuse Detectors for Parametric Cryptographic API-misuses
stg-tud/github-query-script’s past year of commit activity - python-crypto-misuses-study-results Public
Study results and scripts to obtain the results for our paper "Python Crypto Misuses in the Wild" [@akwick @gh0st42 @Breitfelder @miramezini]
stg-tud/python-crypto-misuses-study-results’s past year of commit activity - bp2022_netlab Public
The repository provides software that creates configuration files for the BonnMotion, CORE, coreemu-lab and The ONE programmes from a single TOML file.
stg-tud/bp2022_netlab’s past year of commit activity - CodeRL Public Forked from salesforce/CodeRL
This is the official code for the paper CodeRL: Mastering Code Generation through Pretrained Models and Deep Reinforcement Learning (NeurIPS22).
stg-tud/CodeRL’s past year of commit activity