List of publications about or closely related to Interaction Trees.

show all coq isabelle vst monads coinduction testing concurrency plclub

2019

• by Nicolas Koh, Yao Li, Yishuai Li, Li-yao Xia, Lennart Beringer, Wolf Honoré, William Mansky, Benjamin C. Pierce, Steve Zdancewic

  CPP 2019 coq vst testing plclub

2020

• by Li-yao Xia, Yannick Zakowski, Paul He, Chung-Kil Hur, Gregory Malecha, Benjamin C. Pierce, Steve Zdancewic

  POPL 2020 coq monads coinduction plclub

• CPP 2020 coq coinduction plclub

• by William Mansky, Wolf Honoré, Andrew W. Appel

  ESOP 2020 coq vst

2021

• by Lucas Silver, Steve Zdancewic

  POPL 2021 coq monads coinduction plclub

• by Yishuai Li, Benjamin C. Pierce, Steve Zdancewic

  ISSTA 2021 coq testing plclub

• by Hengchu Zhang, Wolf Honoré, Nicolas Koh, Yao Li, Yishuai Li, Li-yao Xia, Lennart Beringer, William Mansky, Benjamin C. Pierce, Steve Zdancewic

  ITP 2021 coq vst testing plclub

• by Paul He, Eddy Westbrook, Brent Carmer, Chris Phifer, Valentin Robert, Karl Smeltzer, Andrei Ştefănescu, Aaron Tomb, Adam Wick, Matthew Yacavone, Steve Zdancewic

  OOPSLA 2021 coq plclub

• by Yannick Zakowski, Calvin Beck, Irene Yoon, Ilia Zaichuk, Vadim Zaliva, Steve Zdancewic

  ICFP 2021 coq monads plclub

• by Simon Foster, Chung-Kil Hur, Jim Woodlock

  CONCUR 2021 isabelle concurrency

2022

• by Mohsen Lesani, Li-yao Xia, Anders Kaseorg, Christian J. Bell, Adam Chlipala, Benjamin C. Pierce, Steve Zdancewic

  OOPSLA 2022 coq concurrency plclub

• by Yao Li, Stephanie Weirich

  ICFP 2022 coq plclub

• by Irene Yoon, Yannick Zakowski, Steve Zdancewic

  ICFP 2022 coq monads plclub

• by Kangfeng Ye, Simon Foster, Jim Woodcock

  ICFEM 2022 isabelle concurrency

• by Youngju Song, Minki Cho, Dongjae Lee, Chung-Kil Hur

  Draft coq concurrency

• by Nicolas Chappe, Paul He, Ludovic Henrio, Yannick Zakowski, Steve Zdancewic

  Draft coq concurrency plclub