Shifting Expression Procedures into Reverse. - Mark Tullsen; Paul Hudak (PEPM, 1999)

The Zip Calculus. - Mark Tullsen (MPC, 2000)

First Class Patterns. - Mark Tullsen (PADL, 2000)

Array Types for a Graph Processing Language. - Mark Tullsen; Matthew J. Sottile (IPDPS Workshops, 2016)

Secure Automotive Software: The Next Steps. - Lee Pike; Jamey Sharp; Mark Tullsen; Patrick C. Hickey; James Bielman (IEEE Softw., 2017)

Formal Verification of a Vehicle-to-Vehicle (V2V) Messaging System. - Mark Tullsen; Lee Pike; Nathan Collins; Aaron Tomb (CAV (2), 2018)

ASN.1 Encoding Schemes Done Right Using CMPCT. - Mark Tullsen (Bx@PLW, 2019)

Weird Machines as Insecure Compilation. - Jennifer Paykin; Eric Mertens; Mark Tullsen; Luke Maurer; Benoît Razet; Alexander Bakst; Scott Moore 001 (CoRR, 2019)

Research Report: ICARUS: Understanding De Facto Formats by Way of Feathers and Wax. - Sam Cowger; Yerim Lee; Nichole Schimanski; Mark Tullsen; Walter Woods; Richard Jones; E. W. Davis; William Harris; Trent Brunson; Carson Harmon; Bradford Larsen; Evan Sultanik (SP (Workshops), 2020)

Research Report: Strengthening Weak Links in the PDF Trust Chain. - Mark Tullsen; William Harris; Peter Wyatt (SP (Workshops), 2022)

Research Report: An Optim (l) Approach to Parsing Random-Access Formats. - Mark Tullsen; Sam Cowger; Mike Dodds; Peter Wyatt (SP (Workshops), 2024)