Skip to content
@kcsl

Knowledge-Centric Software Lab

A group of researchers interested in solving hard problems in program analysis

Pinned Loading

  1. se-course Public

    A Course on Managing Complexity, Security, and Safety of Large Software

    Java

Repositories

Showing 10 of 23 repositories
  • sidis-toolbox Public

    A toolbox for performing both Statically-Informed Dynamic (SID) analysis and Dynamically-Informed Static (DIS) analysis

    HTML 1 MIT 1 0 0 Updated Mar 1, 2024
  • jep Public Forked from ninia/jep

    Embed Python in Java

    C 0 193 0 0 Updated Jan 11, 2024
  • L-SAP Public

    Scalable and Accurate Lock/Unlock Pairing for Linux Kernel

    Java 0 0 0 0 Updated Dec 20, 2023
  • Mockingbird Public

    Operation: To Fuzz A Mockingbird

    Java 3 0 0 0 Updated Dec 11, 2023
  • seL4-Atlas Public

    An seL4 kernel as an Atlas project

    C 0 0 0 0 Updated May 3, 2023
  • LoopModel Public
    Java 0 MIT 0 0 0 Updated Aug 10, 2022
  • math-puzzles-app Public
    JavaScript 0 0 0 0 Updated Jun 30, 2021
  • math-puzzle-server Public
    JavaScript 0 0 0 0 Updated Jun 29, 2021
  • se-course Public

    A Course on Managing Complexity, Security, and Safety of Large Software

    Java 0 0 0 0 Updated May 9, 2020
  • chpg Public Forked from benjholla/chpg

    Compound Hierarchal Property Graph and Query Language

    CSS 1 MIT 2 0 0 Updated Apr 26, 2020
View all repositories

Top languages

Loading…

Most used topics

Loading…