Skip to content

@ucla-pls ucla-pls

Change the repository type filter

All

    Repositories list

    16 repositories

    • jvm-binary

      Public
      A library for reading and writing Java class-files in Haskell
      Haskell
      •
      Other
      •1•3•1•0•Updated Oct 11, 2024Oct 11, 2024

    • jvmhs

      Public
      A haskell library for inspecting class-files
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •1•4•0•0•Updated Sep 17, 2024Sep 17, 2024

    • javaq

      Public
      A jvm class-file query tool
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•1•0•Updated Jul 21, 2023Jul 21, 2023

    • jreduce

      Public
      JReduce is a tool to reduce Java ByteCode
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •2•12•1•0•Updated Oct 12, 2021Oct 12, 2021

    • reduce

      Public
      Haskell reduction libraries
      Haskell
      •0•1•0•0•Updated Oct 10, 2021Oct 10, 2021

    • pldi21-artifact

      Public
      The Artifact for the PLDI'21 Logical Input Reduction Paper
      HTML
      •
      BSD 3-Clause "New" or "Revised" License
      •0•1•0•0•Updated Mar 5, 2021Mar 5, 2021

    • jbx

      Public
      Java Benchmark Expressions
      Nix
      •
      MIT License
      •2•4•1•0•Updated Jan 15, 2020Jan 15, 2020

    • wiretap-tools

      Public
      tools for working with wiretap histories
      Haskell
      •
      GNU General Public License v3.0
      •1•1•0•0•Updated Jan 15, 2020Jan 15, 2020

    • wiretap

      Public
      An instrumenter for dynamic logging for java bytecode programs
      Java
      •
      MIT License
      •1•5•4•0•Updated Jan 10, 2020Jan 10, 2020

    • middleman

      Public
      A tool for running nix scripts on multiple servers
      Haskell
      •
      Other
      •0•0•0•0•Updated Jul 14, 2019Jul 14, 2019

    • baseline

      Public
      Baseline of java programs with bugs.
      Java
      •0•0•0•0•Updated Jun 28, 2019Jun 28, 2019

    • wiretap-pointsto

      Public
      A PointsTo information reader
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Jun 24, 2019Jun 24, 2019

    • njr

      Public
      Python
      •0•0•0•0•Updated Sep 10, 2018Sep 10, 2018

    • petablox

      Public
      Main distribution of Petablox
      Java
      •
      Other
      •7•0•0•0•Updated Sep 13, 2017Sep 13, 2017

    • do-like-javac

      Public
      Python
      •
      Other
      •22•0•0•0•Updated Aug 31, 2016Aug 31, 2016

    • integration-test

      Public
      Big integration test of all tools
      Python
      •
      MIT License
      •5•0•0•0•Updated Feb 25, 2016Feb 25, 2016