projects

  • Blossom: A framework for fuzzing numerical programs

  • Magneto: A mutation testing library from real-valued specification in Julia

  • Mixed-Radix Arithmetic: A correctly rounded mixed-radix fused-multiply-add

  • MPDI: A decimal multiple-precision interval arithmetic library