LLMDebugger. LDB: A Large Language Model Debugger via Verifying Runtime Execution Step by Step (ACL'24)
588RobustAPI. The official repo for the paper Can ChatGPT replace StackOverflow? A Study on Robustness and Reliability of Large Language Model Code Generation (AAAI'24).
20ValueCheck. Code release of our paper "Effective Bug Detection with Unused Definitions" in EuroSys 2024
5os-experiment-4. os experiment 4 CVE-2016-5195
2oshi. Native Operating System and Hardware Information
1nfs-ganesha. NFS-Ganesha is an NFSv3,v4,v4.1 fileserver that runs in user mode on most UNIX/Linux systems
1cse291_dependable_system.
1Awesome-Code-LLM. 👨💻 An awesome and curated list of best code-LLM for research.
1glusterfs. Gluster Filesystem : Build your storage in minutes
1os-experiment-2. os-experiment-3 kernel cuts
1os-experiment-3. three ways of the process interaction
1active-directory-python-flask-graphapi-web-v2. Demonstrates how you can use a third party library to build a Python-Flask application that signs in users and gets an Access Token for the Microsoft Graph.
1