Monadic effects and equational reasonig in Coq
A library for testing concurrent C++ code and deterministically reproducing bugs.
A fast and dirty checker based on libclang which detects non-deterministic iteration
For our ASE20 paper 🏆 "Problems and Opportunities in Training Deep Learning Software Systems: An Analysis of Variance" (🏆 Distinguished Paper Award!) by Hung Viet Pham, Shangshu Qian, Jiannan Wang, Thibaud Lutellier, Jonathan Rosenthal, Lin Tan, Yaoliang Yu, and Nachiappan Nagappan
For our NeurIPS21 paper "Are My Deep Learning Systems Fair? An Empirical Study of Fixed-Seed Training" by Shangshu Qian, Hung Viet Pham, Thibaud Lutellier, Zeou Hu, Jungwon Kim, Lin Tan, Yaoliang Yu, Jiahao Chen, and Sameena Shah
For our ASE21 tool paper "DEVIATE: A Deep Learning Variance Testing Framework" by Hung Viet Pham, Mijung Kim, Lin Tan, Yaoliang Yu, and Nachiappan Nagappan.
Finite state automata and regular expressions. Context-free grammars and pushdown automata. Turing machines. Models of computable functions and undecidable problems. The course emphasis is on the theory of computability, especially on showing limits of computation. May be taken for graduate credit.
A Python library for nondeterministic algorithms
Monad instances for a rose-tree-like data structure used for nondeterministic computations.
The infinite unnecessary expansion, Negative Zero
Add a description, image, and links to the nondeterminism topic page so that developers can more easily learn about it.
To associate your repository with the nondeterminism topic, visit your repo's landing page and select "manage topics."