cmu-pasta/fray

Issues

• Support `Thread.onSpinWait`

  #39 opened 2 months ago by aoli-al
  0

• Add tests to the bin wrapper

  #37 opened 3 months ago by aoli-al
  0

• Automate the release process

  #36 opened 3 months ago by aoli-al
  0

• Do not classify daemon threads deadlocks.

  #33 opened 3 months ago by aoli-al
  0

• Non-determinism introduced by Object.hashCode()

  #29 opened 3 months ago by aoli-al
  0

• Instrument all unsupported classes from util.concurrent.* to throw unsupported exception

  #8 opened 3 months ago by ShreyTiwari
  0

• Look at the concurrent data structures in languages that execute on the JVM.

  #15 opened 3 months ago by ShreyTiwari
  0

• Dacapo Metrics

  #2 opened 3 months ago by ShreyTiwari
  0

• Create Markdown Document in Repo for Formal Proofs

  #5 opened 3 months ago by ShreyTiwari
  0

• Dacapo performance diff when we also instrument all memory accesses.

  #10 opened 3 months ago by ShreyTiwari
  0

• Document Document Document!!!

  #11 opened 3 months ago by ShreyTiwari
  0

• Add unit and integration tests to SFuzz

  #13 opened 3 months ago by ShreyTiwari
  0

• Identify benchmark methodology in JaConTeBe

  #24 opened 3 months ago by vasumv
  0

• Put together the related work for the paper

  #25 opened 3 months ago by ShreyTiwari
  0

• Translate string buffer / work steal queue from SCTBench

  #26 opened 3 months ago by vasumv
  0

• Document instrumentation decisions.

  #6 opened 7 months ago by aoli-al
  0

• Convert SCTBench CS to Java

  #3 opened 7 months ago by ShreyTiwari
  1

• Implement RFF in our framework

  #27 opened 7 months ago by vasumv
  0

• Test POS Implementation

  #9 opened 7 months ago by ShreyTiwari
  0

• Add support for concurrency primitives that are used in SCTBench.

  #16 opened 7 months ago by ShreyTiwari
  0

• Get SFuzz to work on Mac

  #14 opened 8 months ago by ShreyTiwari
  0

• Add instrumentation for `Condition.await` and `Condition.signal`

  #12 opened 8 months ago by vasumv
  0

• Maybe separate JDK instrumentation passes and Application instrumentation passes

  #17 opened 8 months ago by aoli-al
  0

• Implement POS in SFuzz

  #4 opened 8 months ago by ShreyTiwari
  0

• Instrumented jdk fails with -Xverify:all

  #7 opened 8 months ago by aoli-al
  0