John Wiegley

According to our database, John Wiegley authored at least 6 papers between 2017 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code.

Joachim Breitner, Antal Spector-Zabusky, Yao Li, Christine Rizkallah, John Wiegley, Joshua M. Cohen, Stephanie Weirich

J. Funct. Program., 2021

2018

Ready, set, verify! applying hs-to-coq to real-world Haskell code (experience report).

Joachim Breitner, Antal Spector-Zabusky, Yao Li, 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, Christine Rizkallah, John Wiegley, Stephanie Weirich

CoRR, 2018

Correct-by-Construction Implementation of Runtime Monitors Using Stepwise Refinement.

Teng Zhang, John Wiegley, Theophilos Giannakopoulos, Gregory Eakman, Clément Pit-Claudel, Insup Lee, Oleg Sokolsky

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2018

2017

Monitoring Time Intervals.

Teng Zhang, John Wiegley, Insup Lee, Oleg Sokolsky

Proceedings of the Runtime Verification - 17th International Conference, 2017

Using Coq to write fast and correct Haskell.

John Wiegley, Benjamin Delaware

Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 2017