Modules with Interfaces for Dynamic Linking and Communication. - Yu David Liu; Scott F. Smith 001 (ECOOP, 2004)

Interaction-based programming with classages. - Yu David Liu; Scott F. Smith 001 (OOPSLA, 2005)

A formal framework for component deployment. - Yu David Liu; Scott F. Smith 001 (OOPSLA, 2006)

Coqa: Concurrent Objects with Quantized Atomicity. - Yu David Liu; Xiaoqi Lu; Scott F. Smith 001 (CC, 2008)

Task types for pervasive atomicity. - Aditya Kulkarni; Yu David Liu; Scott F. Smith 001 (OOPSLA, 2010)

Toward a unified object model for cyber-physical systems. - Yu David Liu (SESENA@ICSE, 2011)

Type-specialized staged programming with process separation. - Yu David Liu; Christian Skalka; Scott F. Smith 001 (High. Order Symb. Comput., 2011)

JATO: Native Code Atomicity for Java. - Siliang Li; Yu David Liu; Gang Tan (APLAS, 2012)

Energy-efficient synchronization through program patterns. - Yu David Liu (GREENS, 2012)

Energy types. - Michael Cohen; Haitao Steve Zhu; Senem Ezgi Emgin; Yu David Liu (OOPSLA, 2012)

Variant-Frequency Semantics for Green Futures - Yu David Liu (PLACES, 2012)

Heap Decomposition Inference with Linear Programming. - Haitao Steve Zhu; Yu David Liu (ECOOP, 2013)

Green streams for data-intensive software. - Thomas Bartenstein; Yu David Liu (ICSE, 2013)

Energy-efficient work-stealing language runtimes. - Haris Ribic; Yu David Liu (ASPLOS, 2014)

Improving energy efficiency of work-stealing parallel languages (invited talk abstract). - Yu David Liu (WODA+PERTEA@ISSTA, 2014)

Mining questions about software energy consumption. - Gustavo Pinto 001; Fernando Castor; Yu David Liu (MSR, 2014)

Rate types for stream programs. - Thomas Bartenstein; Yu David Liu (OOPSLA, 2014)

Understanding energy behaviors of thread management constructs. - Gustavo Pinto 001; Fernando Castor; Yu David Liu (OOPSLA, 2014)

Intensional Effect Polymorphism. - Yuheng Long; Yu David Liu; Hridesh Rajan (ECOOP, 2015)

Data-Oriented Characterization of Application-Level Energy Optimization. - Kenan Liu; Gustavo Pinto 001; Yu David Liu (FASE, 2015)

A Programming Model for Sustainable Software. - Haitao Steve Zhu; Chaoren Lin; Yu David Liu (ICSE (1), 2015)

Toward a Java based infrastructure for unmanned aerial vehicles. - Yu David Liu; Lukasz Ziarek (SPLASH (Companion Volume), 2015)

GraphQ: Graph Query Processing with Abstraction Refinement - Scalable and Programmable Analytics over Very Large Graphs on a Single PC. - Kai Wang 029; Guoqing Xu 001; Zhendong Su 001; Yu David Liu (USENIX ATC, 2015)

Lazy graph processing in Haskell. - Philip Dexter; Yu David Liu; Kenneth Chiu (Haskell, 2016)

AEQUITAS: Coordinated Energy Management Across Parallel Applications. - Haris Ribic; Yu David Liu (ICS, 2016)

A Comprehensive Study on the Energy Efficiency of Java's Thread-Safe Collections. - Gustavo Pinto 001; Kenan Liu; Fernando Castor; Yu David Liu (ICSME, 2016)

Artifacts for "A Comprehensive Study on the Energy Efficiency of Java's Thread-Safe Collections". - Gustavo Pinto 001; Kenan Liu; Fernando Castor; Yu David Liu (ICSME, 2016)

First-class effect reflection for effect-guided programming. - Yuheng Long; Yu David Liu; Hridesh Rajan (OOPSLA, 2016)

Toward Energy-Aware Programming for Unmanned Aerial Vehicles. - Yu David Liu; Lukasz Ziarek (SEsCPS@ICSE, 2017)

Understanding and overcoming parallelism bottlenecks in ForkJoin applications. - Gustavo Pinto 001; Anthony Canino; Fernando Castor; Guoqing Xu 001; Yu David Liu (ASE, 2017)

Proactive and adaptive energy-aware programming with mixed typechecking. - Anthony Canino; Yu David Liu (PLDI, 2017)

Stochastic energy optimization for mobile GPS applications. - Anthony Canino; Yu David Liu; Hidehiko Masuhara (ESEC/SIGSOFT FSE, 2018)

Toward a language design for energy prediction. - Anthony Canino; Yu David Liu (Programming, 2019)

A Foundation of Lazy Streaming Graphs. - Philip Dexter; Yu David Liu; Kenneth Chiu (CoRR, 2019)

Selected papers of the Brazilian Symposium on Programming Languages (SBLP'15+16). - Fernando Castor; Yu David Liu (Sci. Comput. Program., 2019)

Adaptive Variables for Declarative UAV Planning. - John Henry Burns; Xiaozhou Liang; Yu David Liu (COP@ECOOP, 2020)

Calm energy accounting for multithreaded Java applications. - Timur Babakol; Anthony Canino; Khaled Mahmoud; Rachit Saxena; Yu David Liu (ESEC/SIGSOFT FSE, 2020)

Understanding Bounding Functions in Safety-Critical UAV Software. - Xiaozhou Liang; John Henry Burns; Joseph Sanchez; Karthik Dantu; Lukasz Ziarek; Yu David Liu (ICSE, 2021)

JCopter: Reliable UAV Software Through Managed Languages. - Adam Czerniejewski; John Henry Burns; Farshad Ghanei; Karthik Dantu; Yu David Liu; Lukasz Ziarek (IROS, 2021)

Vincent: Green Hot Methods in the JVM (Extended Abstract). - Kenan Liu; Khaled Mahmoud; Joonhwan Yoo; Yu David Liu (ECOOP, 2022)

Eflect: Porting Energy-Aware Applications to Shared Environments. - Timur Babakol; Anthony Canino; Yu David Liu (ICSE, 2022)

A modular, extensible framework for modern visual SLAM systems. - Sofiya Semenova; Pranay Meshram; Timothy Chase; Steven Y. Ko; Yu David Liu; Lukasz Ziarek; Karthik Dantu (MobiSys, 2022)

Composable Cachelets: Protecting Enclaves from Cache Side-Channel Attacks. - Daniel Townley; Kerem Arikan; Yu David Liu; Dmitry Ponomarev 001; Oguz Ergin (USENIX Security Symposium, 2022)

A quantitative analysis of system bottlenecks in visual SLAM. - Sofiya Semenova; Steven Y. Ko; Yu David Liu; Lukasz Ziarek; Karthik Dantu (HotMobile, 2022)

Preface to the JOT special issue on ECOOP 2021: selected workshop papers. - Davide Ancona; Olivier Flückiger; Adrian Francalanza; Robert Hirschfeld; Atsushi Igarashi; Yu David Liu; Hidehiko Masuhara; Chris Seaton; Harumi Watanabe (J. Object Technol., 2022)

The essence of online data processing. - Philip Dexter; Yu David Liu; Kenneth Chiu (Proc. ACM Program. Lang., 2022)

Vincent: Green hot methods in the JVM. - Kenan Liu; Khaled Mahmoud; Joonhwan Yoo; Yu David Liu (Sci. Comput. Program., 2023)

A Compiler Framework for Proactive UAV Regulation Enforcement. - Huaxin Tang; John Henry Burns; Alexander Strong; Yu David Liu (ICRA, 2024)

Tensor-Aware Energy Accounting. - Timur Babakol; Yu David Liu (ICSE, 2024)

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 001 (NDSS, 2024)

Verifiable Sustainability in Data Centers. - Syed Rafiul Hussain; Patrick D. McDaniel; Anshul Gandhi; Kanad Ghose; Kartik Gopalan; Dongyoon Lee; Yu David Liu; Zhenhua Liu 002; Shuai Mu; Erez Zadok (IEEE Secur. Priv., 2024)

A Runtime System for Interruptible Query Processing: When Incremental Computing Meets Fine-Grained Parallelism. - Jeff Eymer; Philip Dexter; Joseph Raskind; Yu David Liu (Proc. ACM Program. Lang., 2024)

VESTA: Power Modeling with Language Runtime Events. - Joseph Raskind; Timur Babakol; Khaled Mahmoud; Yu David Liu (Proc. ACM Program. Lang., 2024)

A Comprehensive Study of Systems Challenges in Visual Simultaneous Localization and Mapping Systems. - Sofiya Semenova; Steven Y. Ko; Yu David Liu; Lukasz Ziarek; Karthik Dantu (ACM Trans. Embed. Comput. Syst., 2025)