Yu David Liu

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 30

Top Topics

Energy Efficiency

Top Venues

ESEC/SIGSOFT FSE

Publications

Huaxin Tang, John Henry Burns, Alexander Strong, Yu David Liu
A Compiler Framework for Proactive UAV Regulation Enforcement. ICRA (2024)
Joseph Raskind, Timur Babakol, Khaled Mahmoud, Yu David Liu
VESTA: Power Modeling with Language Runtime Events. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Timur Babakol, Yu David Liu
Tensor-Aware Energy Accounting. ICSE (2024)
Kenan Liu, Khaled Mahmoud, Joonhwan Yoo, Yu David Liu
Vincent: Green hot methods in the JVM. Sci. Comput. Program. 230 (2023)
Syed Rafiul Hussain, Patrick D. McDaniel, Anshul Gandhi, Kanad Ghose, Kartik Gopalan, Dongyoon Lee, Yu David Liu, Zhenhua Liu, Shuai Mu, Erez Zadok
Verifiable Sustainability in Data Centers. CoRR (2023)
Timur Babakol, Yu David Liu
Tensor-Aware Energy Accounting. CoRR (2023)
Sofiya Semenova, Pranay Meshram, Timothy Chase, Steven Y. Ko, Yu David Liu, Lukasz Ziarek, Karthik Dantu
A modular, extensible framework for modern visual SLAM systems. MobiSys (2022)
Sofiya Semenova, Steven Y. Ko, Yu David Liu, Lukasz Ziarek, Karthik Dantu
A quantitative analysis of system bottlenecks in visual SLAM. HotMobile (2022)
Kenan Liu, Khaled Mahmoud, Joonhwan Yoo, Yu David Liu
Vincent: Green Hot Methods in the JVM (Extended Abstract). ECOOP (2022)
Timur Babakol, Anthony Canino, Yu David Liu
Eflect: Porting Energy-Aware Applications to Shared Environments. ICSE (2022)
Philip Dexter, Yu David Liu, Kenneth Chiu
The essence of online data processing. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Daniel Townley, Kerem Arikan, Yu David Liu, Dmitry Ponomarev, Oguz Ergin
Composable Cachelets: Protecting Enclaves from Cache Side-Channel Attacks. USENIX Security Symposium (2022)
Davide Ancona, Olivier Flückiger, Adrian Francalanza, Robert Hirschfeld, Atsushi Igarashi, Yu David Liu, Hidehiko Masuhara, Chris Seaton, Harumi Watanabe
Preface to the JOT special issue on ECOOP 2021: selected workshop papers. J. Object Technol. 21 (2) (2022)
Xiaozhou Liang, John Henry Burns, Joseph Sanchez, Karthik Dantu, Lukasz Ziarek, Yu David Liu
Understanding Bounding Functions in Safety-Critical UAV Software. CoRR (2021)
Xiaozhou Liang, John Henry Burns, Joseph Sanchez, Karthik Dantu, Lukasz Ziarek, Yu David Liu
Understanding Bounding Functions in Safety-Critical UAV Software. ICSE (2021)
Adam Czerniejewski, John Henry Burns, Farshad Ghanei, Karthik Dantu, Yu David Liu, Lukasz Ziarek
JCopter: Reliable UAV Software Through Managed Languages. IROS (2021)
John Henry Burns, Xiaozhou Liang, Yu David Liu
Adaptive Variables for Declarative UAV Planning. COP@ECOOP (2020)
Timur Babakol, Anthony Canino, Khaled Mahmoud, Rachit Saxena, Yu David Liu
Calm energy accounting for multithreaded Java applications. ESEC/SIGSOFT FSE (2020)
Fernando Castor, Yu David Liu
Selected papers of the Brazilian Symposium on Programming Languages (SBLP'15+16). Sci. Comput. Program. 173 (2019)
Philip Dexter, Yu David Liu, Kenneth Chiu
A Foundation of Lazy Streaming Graphs. CoRR (2019)
Anthony Canino, Yu David Liu
Toward a language design for energy prediction. Programming (2019)
Anthony Canino, Yu David Liu, Hidehiko Masuhara
Stochastic energy optimization for mobile GPS applications. ESEC/SIGSOFT FSE (2018)
Yu David Liu, Lukasz Ziarek
Toward Energy-Aware Programming for Unmanned Aerial Vehicles. SEsCPS@ICSE (2017)
Gustavo Pinto, Anthony Canino, Fernando Castor, Guoqing Xu, Yu David Liu
Understanding and overcoming parallelism bottlenecks in ForkJoin applications. ASE (2017)
Anthony Canino, Yu David Liu
Proactive and adaptive energy-aware programming with mixed typechecking. PLDI (2017)
Yuheng Long, Yu David Liu, Hridesh Rajan
First-class effect reflection for effect-guided programming. OOPSLA (2016)
Gustavo Pinto, Kenan Liu, Fernando Castor, Yu David Liu
A Comprehensive Study on the Energy Efficiency of Java's Thread-Safe Collections. ICSME (2016)
Haris Ribic, Yu David Liu
AEQUITAS: Coordinated Energy Management Across Parallel Applications. ICS (2016)
Philip Dexter, Yu David Liu, Kenneth Chiu
Lazy graph processing in Haskell. Haskell (2016)
Gustavo Pinto, Kenan Liu, Fernando Castor, Yu David Liu
Artifacts for "A Comprehensive Study on the Energy Efficiency of Java's Thread-Safe Collections". ICSME (2016)
Kenan Liu, Gustavo Pinto, Yu David Liu
Data-Oriented Characterization of Application-Level Energy Optimization. FASE (2015)
Haitao Steve Zhu, Chaoren Lin, Yu David Liu
A Programming Model for Sustainable Software. ICSE (1) (2015)
Yuheng Long, Yu David Liu, Hridesh Rajan
Intensional Effect Polymorphism. ECOOP (2015)
Kai Wang, Guoqing Xu, Zhendong Su, Yu David Liu
GraphQ: Graph Query Processing with Abstraction Refinement - Scalable and Programmable Analytics over Very Large Graphs on a Single PC. USENIX Annual Technical Conference (2015)
Yu David Liu, Lukasz Ziarek
Toward a Java based infrastructure for unmanned aerial vehicles. SPLASH (Companion Volume) (2015)
Gustavo Pinto, Fernando Castor, Yu David Liu
Understanding energy behaviors of thread management constructs. OOPSLA (2014)
Yu David Liu
Improving energy efficiency of work-stealing parallel languages (invited talk abstract). WODA+PERTEA@ISSTA (2014)
Haris Ribic, Yu David Liu
Energy-efficient work-stealing language runtimes. ASPLOS (2014)
Gustavo Pinto, Fernando Castor, Yu David Liu
Mining questions about software energy consumption. MSR (2014)
Thomas Bartenstein, Yu David Liu
Rate types for stream programs. OOPSLA (2014)
Haitao Steve Zhu, Yu David Liu
Heap Decomposition Inference with Linear Programming. ECOOP (2013)
Thomas Bartenstein, Yu David Liu
Green streams for data-intensive software. ICSE (2013)
Yu David Liu
Variant-Frequency Semantics for Green Futures PLACES (2012)
Siliang Li, Yu David Liu, Gang Tan
JATO: Native Code Atomicity for Java. APLAS (2012)
Michael Cohen, Haitao Steve Zhu, Senem Ezgi Emgin, Yu David Liu
Energy types. OOPSLA (2012)
Yu David Liu
Energy-efficient synchronization through program patterns. GREENS (2012)
Yu David Liu
Toward a unified object model for cyber-physical systems. SESENA@ICSE (2011)
Yu David Liu, Christian Skalka, Scott F. Smith
Type-specialized staged programming with process separation. High. Order Symb. Comput. 24 (4) (2011)
Aditya Kulkarni, Yu David Liu, Scott F. Smith
Task types for pervasive atomicity. OOPSLA (2010)
Yu David Liu, Christian Skalka, Scott F. Smith
Type-specialized staged programming with process separation. WGP@ICFP (2009)
Yu David Liu, Xiaoqi Lu, Scott F. Smith
Coqa: Concurrent Objects with Quantized Atomicity. CC (2008)
Yu David Liu, Scott F. Smith
A formal framework for component deployment. OOPSLA (2006)
Yu David Liu, Scott F. Smith
Interaction-based programming with classages. OOPSLA (2005)
Yu David Liu, Scott F. Smith
Modules with Interfaces for Dynamic Linking and Communication. ECOOP (2004)