Eliot Moss's lab at UMass Amherst

Popular repositories Loading

1. cache-miss-rate-dataset cache-miss-rate-dataset Public

   1

2. persistent-mu persistent-mu Public

   Stores code, data, for the Persistent Mu project, which aims to provide flexible language-independent run-time support for persistence in managed languages (languages with automatic storage managem…

   1

3. Cache-Miss-Rate-Predictability Cache-Miss-Rate-Predictability Public

   Code and Dataset for Cache Miss Rate Predictability via Neural Networks

4. HOL4-safe-machine-learning HOL4-safe-machine-learning Public

   HOL4 scripts (proofs) related to the safe machine learning project

   Standard ML

5. demo-tags demo-tags Public