John Wiegley

Publication Activity (10 Years)

Years Active: 2017-2021
Publications (10 Years): 6

Top Topics

Functional Programming

Top Venues

Proc. ACM Program. Lang.

J. Funct. Program.

Publications

Joachim Breitner, Antal Spector-Zabusky, Yao Li, Christine Rizkallah, John Wiegley, Joshua Cohen, Stephanie Weirich
Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code. J. Funct. Program. 31 (2021)
Teng Zhang, John Wiegley, Theophilos Giannakopoulos, Gregory Eakman, Clément Pit-Claudel, Insup Lee, Oleg Sokolsky
Correct-by-Construction Implementation of Runtime Monitors Using Stepwise Refinement. SETTA (2018)
Joachim Breitner, Antal Spector-Zabusky, Yao Li, Christine Rizkallah, John Wiegley, Stephanie Weirich
Ready, set, verify! applying hs-to-coq to real-world Haskell code (experience report). Proc. ACM Program. Lang. 2 (ICFP) (2018)
Joachim Breitner, Antal Spector-Zabusky, Yao Li, Christine Rizkallah, John Wiegley, Stephanie Weirich
Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code. CoRR (2018)
John Wiegley, Benjamin Delaware
Using Coq to write fast and correct Haskell. Haskell (2017)
Teng Zhang, John Wiegley, Insup Lee, Oleg Sokolsky
Monitoring Time Intervals. RV (2017)