Login / Signup
Qianfan Chen
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 2
Top Topics
Formal Methods
Top Venues
Proc. ACM Program. Lang.
Ars Math. Contemp.
</>
Publications
</>
Tim Nelson
,
Ben Greenman
,
Siddhartha Prasad
,
Tristan Dyer
,
Ethan Bove
,
Qianfan Chen
,
Charles Cutting
,
Thomas Del Vecchio
,
Sidney Levine
,
Julianne Rudner
,
Ben Ryjikov
,
Alexander Varga
,
Andrew Wagner
,
Luke West
,
Shriram Krishnamurthi
Forge: A Tool and Language for Teaching Formal Methods.
Proc. ACM Program. Lang.
8 (OOPSLA1) (2024)
Qianfan Chen
,
Siddhant Jajodia
,
Tibor Jordán
,
Kate Perkins
Redundantly globally rigid braced triangulations.
Ars Math. Contemp.
24 (1) (2023)