8000 PLAI @ LMU Munich · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
@lmu-plai

PLAI @ LMU Munich

Chair for Programming Languages and Artificial Intelligence

Popular repositories Loading

  1. xfl xfl Public

    Supplementary Material for XFL

    Python 19 4

  2. diff-CodeQL diff-CodeQL Public

    Differential Static Analysis for Detecting Malicious Updates to Open Source Packages

    Python 9 3

  3. blens blens Public

    The implementation of BLens.

    Python 6

  4. Kaibyo Kaibyo Public

    Forked from hernanponcedeleon/Dat3M

    Cats vs. Spectre: An Axiomatic Approach to Modeling Speculative Execution Attacks

    Java 4 1

  5. TIP TIP Public

    Forked from cs-au-dk/TIP

    Static program analysis for TIP

    Scala 1 1

  6. fuzzingbook fuzzingbook Public

    Forked from uds-se/fuzzingbook

    The Book "Generating Software Tests"

    Jupyter Notebook

Repositories

Showing 10 of 10 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…
0