| 2024 | ICRA | A Compiler Framework for Proactive UAV Regulation Enforcement. | Huaxin Tang, John Henry Burns, Alexander Strong, Yu David Liu |
| 2024 | ICSE | Tensor-Aware Energy Accounting. | Timur Babakol, Yu David Liu |
| 2024 | NDSS | TEE-SHirT: Scalable Leakage-Free Cache Hierarchies for TEEs. | Kerem Arikan, Abraham Farrell, Williams Zhang Cen, Jack McMahon, Barry Williams, Yu David Liu, Nael B. Abu-Ghazaleh, Dmitry Ponomarev |
| 2022 | ECOOP | Vincent: Green Hot Methods in the JVM (Extended Abstract). | Kenan Liu, Khaled Mahmoud, Joonhwan Yoo, Yu David Liu |
| 2022 | ICSE | Eflect: Porting Energy-Aware Applications to Shared Environments. | Timur Babakol, Anthony Canino, Yu David Liu |
| 2022 | Mobisys | A modular, extensible framework for modern visual SLAM systems. | Sofiya Semenova, Pranay Meshram, Timothy Chase Jr., Steven Y. Ko, Yu David Liu, Lukasz Ziarek, Karthik Dantu |
| 2021 | IROS | JCopter: Reliable UAV Software Through Managed Languages. | Adam Czerniejewski, John Henry Burns, Farshad Ghanei, Karthik Dantu, Yu David Liu, Lukasz Ziarek |
| 2021 | ICSE | Understanding Bounding Functions in Safety-Critical UAV Software. | Xiaozhou Liang, John Henry Burns, Joseph Sanchez, Karthik Dantu, Lukasz Ziarek, Yu David Liu |
| 2020 | ECOOP | Adaptive Variables for Declarative UAV Planning. | John Henry Burns, Xiaozhou Liang, Yu David Liu |
| 2017 | ICSE | Toward Energy-Aware Programming for Unmanned Aerial Vehicles. | Yu David Liu, Lukasz Ziarek |
| 2017 | PLDI | Proactive and adaptive energy-aware programming with mixed typechecking. | Anthony Canino, Yu David Liu |
| 2016 | HASKELL | Lazy graph processing in Haskell. | Philip Dexter, Yu David Liu, Kenneth Chiu |
| 2016 | ICS | AEQUITAS: Coordinated Energy Management Across Parallel Applications. | Haris Ribic, Yu David Liu |
| 2016 | OOPSLA | First-class effect reflection for effect-guided programming. | Yuheng Long, Yu David Liu, Hridesh Rajan |
| 2015 | ECOOP | Intensional Effect Polymorphism. | Yuheng Long, Yu David Liu, Hridesh Rajan |
| 2015 | FASE | Data-Oriented Characterization of Application-Level Energy Optimization. | Kenan Liu, Gustavo Pinto, Yu David Liu |
| 2015 | ICSE | A Programming Model for Sustainable Software. | Haitao Steve Zhu, Chaoren Lin, Yu David Liu |
| 2015 | OOPSLA | Toward a Java based infrastructure for unmanned aerial vehicles. | Yu David Liu, Lukasz Ziarek |
| 2015 | USENIX | GraphQ: Graph Query Processing with Abstraction Refinement - Scalable and Programmable Analytics over Very Large Graphs on a Single PC. | Kai Wang, Guoqing Xu, Zhendong Su, Yu David Liu |
| 2014 | ASPLOS | Energy-efficient work-stealing language runtimes. | Haris Ribic, Yu David Liu |
| 2014 | ISSTA | Improving energy efficiency of work-stealing parallel languages (invited talk abstract). | Yu David Liu |
| 2014 | MSR | Mining questions about software energy consumption. | Gustavo Pinto, Fernando Castor, Yu David Liu |
| 2014 | OOPSLA | Rate types for stream programs. | Thomas Bartenstein, Yu David Liu |
| 2014 | OOPSLA | Understanding energy behaviors of thread management constructs. | Gustavo Pinto, Fernando Castor, Yu David Liu |
| 2013 | ECOOP | Heap Decomposition Inference with Linear Programming. | Haitao Steve Zhu, Yu David Liu |
| 2013 | ICSE | Green streams for data-intensive software. | Thomas Bartenstein, Yu David Liu |
| 2012 | APLAS | JATO: Native Code Atomicity for Java. | Siliang Li, Yu David Liu, Gang Tan |
| 2012 | OOPSLA | Energy types. | Michael Cohen, Haitao Steve Zhu, Senem Ezgi Emgin, Yu David Liu |
| 2011 | ICSE | Toward a unified object model for cyber-physical systems. | Yu David Liu |
| 2010 | OOPSLA | Task types for pervasive atomicity. | Aditya Kulkarni, Yu David Liu, Scott F. Smith |
| 2009 | ICFP | Type-specialized staged programming with process separation. | Yu David Liu, Christian Skalka, Scott F. Smith |
| 2008 | CC | Coqa: Concurrent Objects with Quantized Atomicity. | Yu David Liu, Xiaoqi Lu, Scott F. Smith |
| 2006 | OOPSLA | A formal framework for component deployment. | Yu David Liu, Scott F. Smith |
| 2005 | OOPSLA | Interaction-based programming with classages. | Yu David Liu, Scott F. Smith |
| 2004 | ECOOP | Modules with Interfaces for Dynamic Linking and Communication. | Yu David Liu, Scott F. Smith |