Bio
Mr. Perkins is an expert in automatic program repair, dynamic invariant detection, automatic test generation, type inference, and dynamic instrumentation. Before Aarno Labs, Jeff was a full-time research scientist at MIT CSAIL. At MIT, he was the program manager and lead researcher for DARPA's Application Communities and IARPA's STONESOUP. He has over 20 years of experience designing, developing, and managing software and systems. Jeff has published dozens of works in major research conferences.
Papers
- Tunable Cyber Defensive Mechanisms: Final Report. Aarno Labs Technical Report, 2022
- Practically Correct, Just-in-Time Shell Script Parallelization. OSDI, 2022
- SARAN: A System for Android Application Interposition. Aarno Labs Technical Report, 2021
- Precise and Comprehensive Provenance Tracking for Android Devices. MIT Technical Report Report, 2019
- Automatic Exploitation of Fully Randomized Executables. MIT Technical Report, 2019
- DroidSafe: Final Report. Aarno Labs Technical Report, 2019
- Concord - Verifying Memory Safety. Aarno Labs Technical Report, 2019