Short Bio
I am currently an Embedded Software Engineer at Meta Reality Labs. Befort this, I worked at Verkada on the firmware of smart security cameras, at Zoox on the on-board system of self-driving cars, at Google on the Linux kernel for Google's data centers and on the firmware of Project Glass, and at MathWorks on Simulink Coder. I received my Ph.D. in Computer Science at University of North Carolina at Chapel Hill in 2013, under the supervision of Professor Sanjoy K. Baruah. My dissertation, Scheduling Mixed-Criticality Real-Time Systems, focuses on the scheduling theory and the resource allocation mechanisms in time-sensitive and integrated embedded systems. I was a member of the UNC Real-Time Systems Group. I received my B.E. at the Department of Computer Science and Engineering at Shanghai Jiao Tong University in 2008.
Publications
Journal Papers
- Sanjoy Baruah, Vincenzo Bonifaci, Gianlorenzo D'Angelo, Haohan Li, Alberto Marchetti-Spaccamela, Suzanne van der Ster and Leen Stougie. Preemptive uniprocessor scheduling of mixed-criticality sporadic task systems. Journal of the ACM (JACM), volume 62(2), pp. 14:1-14:33. May 2015. ACM Press.
- Sanjoy Baruah, Bipasa Chattopadhyay, Haohan Li and Insik Shin. Mixed-criticality scheduling on multiprocessors. Real-Time Systems, Special Issue on Multiprocessor and Mixed-Criticality Scheduling, volume 50(1), pp. 142-177. January 2014. Springer.
- Sanjoy Baruah, Vincenzo Bonifaci, Gianlorenzo D'Angelo, Haohan Li, Alberto Marchetti-Spaccamela, Nicole Megow and Leen Stougie. Scheduling real-time mixed-criticality jobs. IEEE Transactions on Computers (TC), volume 61(8), pp. 1140-1152. August 2012. IEEE Computer Society Press.
Conference Papers
- Haohan Li and Sanjoy Baruah. Global mixed-criticality scheduling on multiprocessors. Proceedings of the 24th EuroMicro Conference on Real-Time Systems (ECRTS), Pisa, Italy. July 2012. IEEE Computer Society Press. (Outstanding Paper Award) [presentation slides][an erratum]
- Sanjoy Baruah, Vincenzo Bonifaci, Gianlorenzo D'Angelo, Haohan Li, Alberto Marchetti-Spaccamela, Suzanne Van Der Ster and Leen Stougie. The preemptive uniprocessor scheduling of mixed-criticality implicit-deadline sporadic task systems. Proceedings of the 24th EuroMicro Conference on Real-Time Systems (ECRTS), Pisa, Italy. July 2012. IEEE Computer Society Press.
- Haohan Li and Sanjoy Baruah. An algorithm for scheduling certifiable mixed-criticality sporadic task systems. Proceedings of the 31th IEEE Real-Time Systems Symposium (RTSS), San Diego, CA. December 2010. IEEE Computer Society Press. [presentation slides]
- Haohan Li and Sanjoy Baruah. Load-based schedulability analysis of certifiable mixed-criticality systems. Proceedings of the 10th ACM International Conference on Embedded Software (EMSOFT), Scottsdale, AZ. October 2010. ACM Press.
- Sanjoy Baruah, Vincenzo Bonifaci, Gianlorenzo D'Angelo, Haohan Li, Alberto Marchetti-Spaccamela, Nicole Megow and Leen Stougie. Scheduling real-time mixed-criticality jobs. Proceedings of the 35th International Symposium on the Mathematical Foundations of Computer Science (MFCS), Brno, Czech Republic. August 2010. Springer-Verlag.
- Sanjoy Baruah, Haohan Li and Leen Stougie. Mixed-criticality scheduling: improved resource-augmentation results. Proceedings of the 25th ISCA International Confernece on Computers and Their Applications (CATA), Honolulu, Hawaii. March 2010.
- Sanjoy Baruah, Haohan Li and Leen Stougie. Towards the design of certifiable mixed-criticality systems. Proceedings of the 16th IEEE Real-Time Technology and Applications Symposium (RTAS), Stockholm, Sweden. April 2010. IEEE Computer Society Press. [presentation slides]
Workshop Papers
- Sanjoy Baruah, Vincenzo Bonifaci, Gianlorenzo D'Angelo, Haohan Li, Alberto Marchetti-Spaccamela, Suzanne van der Ster and Leen Stougie. Scheduling of mixed-criticality sporadic task systems with multiple levels. 12th Workshop on Models and Algorithms for Planning and Scheduling Problems (MAPSP), La Roche-en-Ardenne, Belgium. June 2015.
- Sanjoy Baruah, Vincenzo Bonifaci, Gianlorenzo D'Angelo, Haohan Li, Alberto Marchetti-Spaccamela, Nicole Megow and Leen Stougie. Mixed-criticality scheduling. 10th Workshop on Models and Algorithms for Planning and Scheduling Problems (MAPSP), Nymburk, Czech Republic. June 2011.
Thesis
Teaching
- Spring 2013: Sole instructor of COMP110-003: Introduction to Programming.
- Fall 2009: Teaching assistant of COMP116: Introduction to Scientific Programming.
- Spring 2009: Teaching assistant of COMP541: Digital Logic and Computer Design.
- Fall 2008: Teaching assistant of COMP110: Introduction to Programming (WWW based).
Awards
Professional Service
- Program committee member of:
- IEEE Real-Time Systems Symposium 2015, Workshop on Mixed Criticality Systems (RTSS-WMC 2015).
- IEEE International Conference on Embedded Software and Systems 2015 (ICESS 2015).
- IEEE Real-Time Technology and Applications Symposium 2015 (RTAS 2015).
- IEEE Real-Time Systems Symposium 2014, Workshop on Mixed Criticality Systems (RTSS-WMC 2014).
- IEEE Real-Time Systems Symposium 2013, Work-in-Progress Session (RTSS-WiP 2013).
- Editorial board member of International Journal of Embedded Systems.
- Reviewer for Real-Time System, ACM Transaction on Embedded Computing (TECS), Journal of Scheduling, IEEE Transactions on Parallel and Distributed Systems (TPDS), RTSS 2013, ECRTS 2013, RTCSA 2014, ICICIP 2014.
Selected Coursework
- Fall 2012: Advanced Topics in Real-time Systems, from Dr. Sanjoy K. Baruah.
- Spring 2011: Technical Communication in Computer Science, from Dr. Fred Brooks.
- Fall 2010: Avionics Software, from Dr. Jim Anderson.
- Fall 2010: Crafting a Research Paper/Talk, from Dr. Prasun Dewan (my presentations).
- Spring 2010: Real-time Systems, from Dr. Jim Anderson.
- Fall 2009: Parallel Computing, from Dr. Jan F. Prins.
- Fall 2009: Computational Geometry, from Dr. Jack Snoeyink.
- Spring 2009: Computer Architecture, from Dr. Montek Singh.
- Spring 2009: Computational Vision, from Dr. Svetlana Lazebnik.
- Spring 2009: Distributed and Concurrent Algorithms, from Dr. Jim Anderson.
- Fall 2008: Computational Photography, from Dr. Svetlana Lazebnik.
- Fall 2008: Algorithm Analysis, from Dr. Jim Anderson.
Miscellaneous
Last updated: July 2022
|
