Carson Harmon

According to our database, Carson Harmon authored at least 4 papers between 2020 and 2024.

Collaborative distances:

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

2024

PolyTracker: Whole-Input Dynamic Information Flow Tracing.

Evan Sultanik, Marek Surovic, Henrik Brodin, Kelly Kaoudis, Facundo Tuesca, Carson Harmon, Lisa Overall, Joseph Sweeney, Bradford Larsen

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

2020

PMP: Cost-effective Forced Execution with Probabilistic Memory Pre-planning.

Wei You, Zhuo Zhang, Yonghwi Kwon, Yousra Aafer, Fei Peng, Yu Shi, Carson Harmon, Xiangyu Zhang

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

Toward Automated Grammar Extraction via Semantic Labeling of Parser Implementations.

Carson Harmon, Bradford Larsen, Evan A. Sultanik

Proceedings of the 2020 IEEE Security and Privacy Workshops, 2020

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

Proceedings of the 2020 IEEE Security and Privacy Workshops, 2020