Stars
Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
A new version of Soot with a completely overhauled architecture
A step-by-step tutorial for Soot (a Java static analysis framework)
An LLM-powered knowledge curation system that researches a topic and generates a full-length report with citations.
Collection of resources for research concerning Machine Learning and Formal Methods.
Debug, evaluate, and monitor your LLM applications, RAG systems, and agentic workflows with comprehensive tracing, automated evaluations, and production-ready dashboards.
Course to get into Large Language Models (LLMs) with roadmaps and Colab notebooks.
CS 704 course website - Principles of Programming Languages
The main development version of the PRISM model checker.
Inferring models of systems from observations of their behavior
📚 A curated list of papers for Software Engineers
Papers from the computer science community to read and discuss.
Developed at Lawrence Livermore National Laboratory (LLNL), ROSE is an open source compiler infrastructure to build source-to-source program transformation and analysis tools for large-scale C (C89…