cs.unc.edu

Haohan Li's Homepage

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

Haohan Li, Scheduling Mixed-Criticality Real-Time Systems. Ph.D. Dissertation, The University of North Carolina at Chapel Hill, August 2013.

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

UNC Computer Science Alumni Fellowship, 2012-2013.
Outstanding Paper Award of the EuroMicro Conference on Real-Time Systems (ECRTS), July 2012.

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

Please check my Google Scholar profile for more information about my paper citations, and my LinkedIN profile for more information about my industrial skills.
My Erdős number is 3, computed by Microsoft Academic Research.
My favorite hobby is soccer. I love both watching and playing soccer games.
Wolfram|Alpha: Computational Knowledge Engine. An extremely helpful mathematical engine.
Mathematics Genealogy Project. This website constructs a huge Ph.D. familiy tree (or forest, actually). Here is a PDF poster of my academic genealogy record.
PhD Comics. Every graduate student should read it. Here is my secret antidote to the possibly subsequent depressions.
Traveler IQ is a challenging game (to your mouse). My best score is 132.

Last updated: July 2022