Thomas Del Vecchio

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 3

Top Topics

Formal Specification Language

Test Generation

Foreign Language Learning

Top Venues

Proc. ACM Program. Lang.

Art Sci. Eng. Program.

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)
Tim Nelson, Elijah Rivera, Sam Soucie, Thomas Del Vecchio, John Wrenn, Shriram Krishnamurthi
Automated, Targeted Testing of Property-Based Testing Predicates. Art Sci. Eng. Program. 6 (2) (2022)
Tim Nelson, Elijah Rivera, Sam Soucie, Thomas Del Vecchio, John Wrenn, Shriram Krishnamurthi
Automated, Targeted Testing of Property-Based Testing Predicates. CoRR (2021)