Binoy Ravindran
Associate Professor

Contact Information:

            Office: 2040-C Torgersen Hall
            Mailing Address:

The Bradley Department of Electrical and Computer Engineering                               Tel: (540) 231-3777

302 Whittemore Hall                                                                                                     Fax: (540) 231-3362

Virginia Tech                                                                                                                E-mail: binoy@vt.edu

Blacksburg, VA 24061-0111

 

Education:

Ph.D., Computer Science, The University of Texas at Arlington, 1998

 

Research Interests:

Real-time systems, embedded systems, operating systems, distributed systems, and networking. Real-time scheduling and resource management (single processors, multiprocessors, distributed systems), synchronization, memory management, energy optimization, and real-time networking (wired and wireless networks, ad hoc, mobile, and sensor networks)

 

Selected Publications:

 

  1. Scheduling Distributable Real-Time Threads in Networked Embedded Systems in the Presence of Crash Failures and Message Losses, S. Fahmy, B. Ravindran, and E. D. Jensen, ACM Symposium on Applied Computing, Track on Real-Time Systems, pages 294-301, March 2008
  2. Utility Accrual Real-Time Scheduling Under the Unimodal Arbitrary Arrival Model with Energy Bounds, H. Wu, B. Ravindran, and E. D. Jensen, IEEE Transactions on Computers, Volume 56, Number 10, pages 1358-1371, October 2007
  3. Space-Optimal Wait-Free Real-Time Synchronization, H. Cho, B. Ravindran, E. D. Jensen, IEEE Transactions on Computers, Volume 56, Number 3, pages 373-384, March 2007
  4. On Scheduling Garbage Collector in Dynamic Real-Time Systems with Statistical Timeliness Assurances, H. Cho, C. Na, B. Ravindran, and E. D. Jensen, Journal of Real-Time Systems, Volume 36, Number 1-2, pages 23-46, 2007
  5. An Optimal Real-Time Scheduling Algorithm for Multiprocessors, H. Cho, B. Ravindran, and E. D. Jensen, IEEE Real-Time Systems Symposium, pages 101-110, December 2006
  6. Energy-Efficient, Utility Accrual Scheduling under Resource Constraints for Mobile Embedded Systems, H. Wu, B. Ravindran, E. D. Jensen, and P. Li, ACM Transactions on Embedded Computing Systems, Volume 5, Number 3, pages 513-542, August 2006
  7. Lock-Free Synchronization for Dynamic Embedded Real-Time Systems, H. Cho, B. Ravindran, and E. D. Jensen, ACM Design Automation and Test in Europe (DATE), pages 438-443, March 2006
  8. A Formally Verified Application-Level Framework for Real-Time Scheduling on POSIX Real-Time Operating Systems, P. Li, B. Ravindran, S. Suhaib , and S. Feizabadi, IEEE Transactions on Software Engineering, Volume 30, Number 9, pages 613 - 629, September 2004
  9. Fast, Best-Effort Real-Time Scheduling Algorithms, P. Li and B. Ravindran, IEEE Transactions on Computers, Volume 53, Number 9, pages 1159 – 1175, September 2004

 

Further Information: