Abhik Roychoudhury

Papers

Total Citations

H-Index

About

Abhik Roychoudhury is a leading figure in software engineering, cybersecurity, and real-time embedded systems. His pioneering work bridges the gap between theoretical verification and practical software reliability. Roychoudhury is best known for his foundational contributions to timing analysis for safety-critical systems, where he developed methods to guarantee the execution time of software running on complex, modern processors with operating system layers. His highly cited paper, "Integrated Timing Analysis of Application and Operating Systems Code," addresses the critical challenge of accounting for OS interference—such as system calls and interrupts—when predicting real-time behavior, a problem essential for autonomous vehicles and avionics. With over 9,000 citations, his research has profoundly influenced both academic tools and industrial practice. Notably, he has also made seminal advances in automated program repair and security patch generation, earning him accolades like the ACM SIGSOFT Outstanding Research Award. Roychoudhury’s work empowers engineers to build safer, more predictable software, making him a pivotal thinker in the quest for dependable computing.