Skip to content
@PLaSSticity

PLaSSticity

Programming Languages and Software Systems (PLaSS) at Ohio State University

Popular repositories Loading

  1. Cocoon-implementation Cocoon-implementation Public

    Rust 11

  2. Vindicator Vindicator Public

    Java 6 2

  3. Crafty Crafty Public

    Public implementation of Crafty, published in PLDI 2020. https://arxiv.org/abs/2004.00262

    C 4 3

  4. SmartTrack-pldi20 SmartTrack-pldi20 Public

    SmartTrack: A highly-optimized predictive data race detection analysis implementation.

    Java 2 1

  5. Raptor Raptor Public

    Public open source prototype implementation of Raptor analysis, an Online Set-Based Dynamic Analysis for Sound Predictive Race Detection

    Java 1 2

  6. SDP-WDP-implementation SDP-WDP-implementation Public

    Public implementation of SDP and WDP analyses, published in OOPSLA 2019. https://arxiv.org/abs/1904.13088

    Java 1

Repositories

Showing 10 of 14 repositories
  • servo-ifc Public Forked from servo/servo

    The Servo Browser Engine

    PLaSSticity/servo-ifc’s past year of commit activity
    1 MPL-2.0 3,158 0 0 Updated Jan 17, 2025
  • mk48-ifc Public Forked from vbeardsley/mk48

    Mk48.io ship combat game

    PLaSSticity/mk48-ifc’s past year of commit activity
    Rust 0 AGPL-3.0 66 0 0 Updated Sep 13, 2024
  • IsoPredict-implementation Public
    PLaSSticity/IsoPredict-implementation’s past year of commit activity
    Java 1 MIT 0 0 0 Updated Apr 5, 2024
  • Cocoon-implementation Public
    PLaSSticity/Cocoon-implementation’s past year of commit activity
    Rust 11 MIT 0 0 0 Updated Mar 20, 2024
  • Crafty Public

    Public implementation of Crafty, published in PLDI 2020. https://arxiv.org/abs/2004.00262

    PLaSSticity/Crafty’s past year of commit activity
    C 4 3 0 8 Updated Aug 23, 2022
  • Cape-implementation Public

    The Cape security analyzer and enforcer for the CC 2022 paper "Cape: Compiler-Aided Program Transformation for HTM-Based Cache Side-Channel Defense"

    PLaSSticity/Cape-implementation’s past year of commit activity
    C++ 1 MIT 1 1 0 Updated Mar 3, 2022
  • cape-dg Public Forked from mchalupa/dg

    Cape, LLVM IR analysis and instrumentation for strong security. Based on the latest dg project.

    PLaSSticity/cape-dg’s past year of commit activity
    Assembly 0 MIT 145 0 0 Updated Feb 27, 2022
  • SDP-WDP-implementation Public

    Public implementation of SDP and WDP analyses, published in OOPSLA 2019. https://arxiv.org/abs/1904.13088

    PLaSSticity/SDP-WDP-implementation’s past year of commit activity
    Java 1 0 1 0 Updated Apr 20, 2021
  • phoenix Public Forked from kozyraki/phoenix

    an API and runtime environment for data processing with MapReduce for shared-memory multi-core & multiprocessor systems.

    PLaSSticity/phoenix’s past year of commit activity
    C 0 61 0 0 Updated Oct 17, 2020
  • SmartTrack-pldi20 Public

    SmartTrack: A highly-optimized predictive data race detection analysis implementation.

    PLaSSticity/SmartTrack-pldi20’s past year of commit activity
    Java 2 1 0 0 Updated Apr 7, 2020
View all repositories

Top languages

Loading…

Most used topics

Loading…