Automatic verification of LLVM optimizations

Awesome material(papers, tools, etc.) about testing machine learning system, including deep learning system.

A superoptimizer for LLVM IR

Pharo is a dynamic reflective pure object-oriented language supporting live programming inspired by Smalltalk.

A curated list of papers, theses, datasets, and tools related to the application of Machine Learning for Software Engineering

C++ standards drafts

Anonymous Github is a proxy server to support anonymous browsing of Github repositories for open-science code and data.

A curation of awesome tools, documents and projects about LLM Security.

A continuously updated collection of CodeLLM papers