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 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

    kcsl/sidis-toolbox’s past year of commit activity
    HTML 1 MIT 1 0 0 Updated Mar 1, 2024
  • jep Public Forked from ninia/jep

    Embed Python in Java

    kcsl/jep’s past year of commit activity
    C 0 191 0 0 Updated Jan 11, 2024
  • L-SAP Public

    Scalable and Accurate Lock/Unlock Pairing for Linux Kernel

    kcsl/L-SAP’s past year of commit activity
    Java 0 0 0 0 Updated Dec 20, 2023
  • Mockingbird Public

    Operation: To Fuzz A Mockingbird

    kcsl/Mockingbird’s past year of commit activity
    Java 3 0 0 0 Updated Dec 11, 2023
  • seL4-Atlas Public

    An seL4 kernel as an Atlas project

    kcsl/seL4-Atlas’s past year of commit activity
    C 0 0 0 0 Updated May 3, 2023
  • LoopModel Public
    kcsl/LoopModel’s past year of commit activity
    Java 0 MIT 0 0 0 Updated Aug 10, 2022
  • math-puzzles-app Public
    kcsl/math-puzzles-app’s past year of commit activity
    JavaScript 0 0 0 0 Updated Jun 30, 2021
  • math-puzzle-server Public
    kcsl/math-puzzle-server’s past year of commit activity
    JavaScript 0 0 0 0 Updated Jun 29, 2021
  • se-course Public

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

    kcsl/se-course’s past year of commit activity
    Java 0 0 0 0 Updated May 9, 2020
  • chpg Public Forked from benjholla/chpg

    Compound Hierarchal Property Graph and Query Language

    kcsl/chpg’s past year of commit activity
    CSS 1 MIT 2 0 0 Updated Apr 26, 2020
View all repositories

Top languages

Loading…

Most used topics

Loading…