Greg Sullivan

According to our database, Greg Sullivan authored at least 3 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Pipe-Cleaner: Flexible Fuzzing Using Security Policies.

Allison Naaktgeboren, Sean Noble Anderson, Andrew Tolmach, Greg Sullivan

CoRR, 2024

2012

Hardware Support for Safety Interlocks and Introspection.

Udit Dhawan, Albert Kwon, Edin Kadric, Catalin Hritcu, Benjamin C. Pierce, Jonathan M. Smith, André DeHon, Gregory Malecha, Greg Morrisett, Thomas F. Knight Jr., Andrew Sutherland, Tom Hawkins, Amanda Zyxnfryx, David K. Wittenberg, Peter Trei, Sumit Ray, Greg Sullivan

Proceedings of the Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2012

2011

Preliminary design of the SAFE platform.

André DeHon, Ben Karel, Thomas F. Knight Jr., Gregory Malecha, Benoît Montagu, Robin Morisset, Greg Morrisett, Benjamin C. Pierce, Randy Pollack, Sumit Ray, Olin Shivers, Jonathan M. Smith, Gregory Sullivan

Proceedings of the 6th Workshop on Programming Languages and Operating Systems, 2011