Mark Tullsen

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 8

Top Topics

Encoding Schemes

Formal Verification

Top Venues

Publications

Mark Tullsen, Sam Cowger, Mike Dodds, Peter Wyatt
Research Report: An Optim (l) Approach to Parsing Random-Access Formats. SP (Workshops) (2024)
Mark Tullsen, William Harris, Peter Wyatt
Research Report: Strengthening Weak Links in the PDF Trust Chain. SP Workshops (2022)
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
Research Report: ICARUS: Understanding De Facto Formats by Way of Feathers and Wax. SP Workshops (2020)
Jennifer Paykin, Eric Mertens, Mark Tullsen, Luke Maurer, Benoît Razet, Alexander Bakst, Scott Moore
Weird Machines as Insecure Compilation. CoRR (2019)
Mark Tullsen
ASN.1 Encoding Schemes Done Right Using CMPCT. Bx@PLW (2019)
Mark Tullsen, Lee Pike, Nathan Collins, Aaron Tomb
Formal Verification of a Vehicle-to-Vehicle (V2V) Messaging System. CAV (2) (2018)
Lee Pike, Jamey Sharp, Mark Tullsen, Patrick C. Hickey, James Bielman
Secure Automotive Software: The Next Steps. IEEE Softw. 34 (3) (2017)
Mark Tullsen, Matthew J. Sottile
Array Types for a Graph Processing Language. IPDPS Workshops (2016)
Mark Tullsen
The Zip Calculus. MPC (2000)
Mark Tullsen
First Class Patterns. PADL (2000)
Mark Tullsen, Paul Hudak
Shifting Expression Procedures into Reverse. PEPM (1999)