Using Coq to write fast and correct Haskell. - John Wiegley; Benjamin Delaware (Haskell, 2017)

Monitoring Time Intervals. - Teng Zhang; John Wiegley; Insup Lee 001; Oleg Sokolsky (RV, 2017)

Correct-by-Construction Implementation of Runtime Monitors Using Stepwise Refinement. - Teng Zhang; John Wiegley; Theophilos Giannakopoulos; Gregory Eakman; Clément Pit-Claudel; Insup Lee 001; Oleg Sokolsky (SETTA, 2018)

Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code. - Joachim Breitner; Antal Spector-Zabusky; Yao Li 004; Christine Rizkallah; John Wiegley; Stephanie Weirich (CoRR, 2018)

Ready, set, verify! applying hs-to-coq to real-world Haskell code (experience report). - Joachim Breitner; Antal Spector-Zabusky; Yao Li 004; Christine Rizkallah; John Wiegley; Stephanie Weirich (Proc. ACM Program. Lang., 2018)

Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code. - Joachim Breitner; Antal Spector-Zabusky; Yao Li 004; Christine Rizkallah; John Wiegley; Joshua M. Cohen; Stephanie Weirich (J. Funct. Program., 2021)