Yu David Liu

According to our database, Yu David Liu authored at least 53 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

VESTA: Power Modeling with Language Runtime Events.

Joseph Raskind, Timur Babakol, Khaled Mahmoud, Yu David Liu

Proc. ACM Program. Lang., 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

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

Proceedings of the 31st Annual Network and Distributed System Security Symposium, 2024

Tensor-Aware Energy Accounting.

Timur Babakol, Yu David Liu

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

A Compiler Framework for Proactive UAV Regulation Enforcement.

Huaxin Tang, John Henry Burns, Alexander Strong, Yu David Liu

Proceedings of the IEEE International Conference on Robotics and Automation, 2024

2023

Vincent: Green hot methods in the JVM.

Kenan Liu, Khaled Mahmoud, Joonhwan Yoo, Yu David Liu

Sci. Comput. Program., August, 2023

Verifiable Sustainability in Data Centers.

Syed Rafiul Hussain, Patrick D. McDaniel, Anshul Gandhi, Kanad Ghose, Kartik Gopalan, Dongyoon Lee, Yu David Liu, Zhenhua Liu, Shuai Mu, Erez Zadok

CoRR, 2023

2022

The essence of online data processing.

Philip Dexter, Yu David Liu, Kenneth Chiu

Proc. ACM Program. Lang., 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

A quantitative analysis of system bottlenecks in visual SLAM.

Sofiya Semenova, Steven Y. Ko, Yu David Liu, Lukasz Ziarek, Karthik Dantu

Proceedings of the HotMobile '22: The 23rd International Workshop on Mobile Computing Systems and Applications, Tempe, Arizona, USA, March 9, 2022

Composable Cachelets: Protecting Enclaves from Cache Side-Channel Attacks.

Daniel Townley, Kerem Arikan, Yu David Liu, Dmitry Ponomarev, Oguz Ergin

Proceedings of the 31st USENIX Security Symposium, 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

Proceedings of the MobiSys '22: The 20th Annual International Conference on Mobile Systems, Applications and Services, Portland, Oregon, 27 June 2022, 2022

Eflect: Porting Energy-Aware Applications to Shared Environments.

Timur Babakol, Anthony Canino, Yu David Liu

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Vincent: Green Hot Methods in the JVM (Extended Abstract).

Kenan Liu, Khaled Mahmoud, Joonhwan Yoo, Yu David Liu

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2021

JCopter: Reliable UAV Software Through Managed Languages.

Adam Czerniejewski, John Henry Burns, Farshad Ghanei, Karthik Dantu, Yu David Liu, Lukasz Ziarek

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

Understanding Bounding Functions in Safety-Critical UAV Software.

Xiaozhou Liang, John Henry Burns, Joseph Sanchez, Karthik Dantu, Lukasz Ziarek, Yu David Liu

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

2020

Calm energy accounting for multithreaded Java applications.

Timur Babakol, Anthony Canino, Khaled Mahmoud, Rachit Saxena, Yu David Liu

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Adaptive Variables for Declarative UAV Planning.

John Henry Burns, Xiaozhou Liang, Yu David Liu

Proceedings of the COP '20: Proceedings of the 12th International Workshop on Context-Oriented Programming and Advanced Modularity, 2020

2019

Selected papers of the Brazilian Symposium on Programming Languages (SBLP'15+16).

Fernando Castor, Yu David Liu

Sci. Comput. Program., 2019

A Foundation of Lazy Streaming Graphs.

Philip Dexter, Yu David Liu, Kenneth Chiu

CoRR, 2019

Toward a language design for energy prediction.

Anthony Canino, Yu David Liu

Proceedings of the Conference Companion of the 3rd International Conference on Art, 2019

2018

Stochastic energy optimization for mobile GPS applications.

Anthony Canino, Yu David Liu, Hidehiko Masuhara

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

2017

Proactive and adaptive energy-aware programming with mixed typechecking.

Anthony Canino, Yu David Liu

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Understanding and overcoming parallelism bottlenecks in ForkJoin applications.

Gustavo Pinto, Anthony Canino, Fernando Castor, Guoqing Xu, Yu David Liu

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Toward Energy-Aware Programming for Unmanned Aerial Vehicles.

Yu David Liu, Lukasz Ziarek

Proceedings of the 3rd IEEE/ACM International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2017

2016

First-class effect reflection for effect-guided programming.

Yuheng Long, Yu David Liu, Hridesh Rajan

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Artifacts for "A Comprehensive Study on the Energy Efficiency of Java's Thread-Safe Collections".

Gustavo Pinto, Kenan Liu, Fernando Castor, Yu David Liu

Proceedings of the 2016 IEEE International Conference on Software Maintenance and Evolution, 2016

A Comprehensive Study on the Energy Efficiency of Java's Thread-Safe Collections.

Gustavo Pinto, Kenan Liu, Fernando Castor, Yu David Liu

Proceedings of the 2016 IEEE International Conference on Software Maintenance and Evolution, 2016

AEQUITAS: Coordinated Energy Management Across Parallel Applications.

Haris Ribic, Yu David Liu

Proceedings of the 2016 International Conference on Supercomputing, 2016

Lazy graph processing in Haskell.

Philip Dexter, Yu David Liu, Kenneth Chiu

Proceedings of the 9th International Symposium on Haskell, 2016

2015

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

Proceedings of the 2015 USENIX Annual Technical Conference, 2015

Toward a Java based infrastructure for unmanned aerial vehicles.

Yu David Liu, Lukasz Ziarek

Proceedings of the Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, 2015

A Programming Model for Sustainable Software.

Haitao Steve Zhu, Chaoren Lin, Yu David Liu

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Data-Oriented Characterization of Application-Level Energy Optimization.

Kenan Liu, Gustavo Pinto, Yu David Liu

Proceedings of the Fundamental Approaches to Software Engineering, 2015

Intensional Effect Polymorphism.

Yuheng Long, Yu David Liu, Hridesh Rajan

Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

2014

Understanding energy behaviors of thread management constructs.

Gustavo Pinto, Fernando Castor, Yu David Liu

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

Rate types for stream programs.

Thomas Bartenstein, Yu David Liu

Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

Mining questions about software energy consumption.

Gustavo Pinto, Fernando Castor, Yu David Liu

Proceedings of the 11th Working Conference on Mining Software Repositories, 2014

Improving energy efficiency of work-stealing parallel languages (invited talk abstract).

Yu David Liu

Proceedings of the 2014 Joint International Workshop on Dynamic Analysis (WODA) and Software and System Performance Testing, 2014

Energy-efficient work-stealing language runtimes.

Haris Ribic, Yu David Liu

Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2014

2013

Green streams for data-intensive software.

Thomas Bartenstein, Yu David Liu

Proceedings of the 35th International Conference on Software Engineering, 2013

Heap Decomposition Inference with Linear Programming.

Haitao Steve Zhu, Yu David Liu

Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013

2012

Variant-Frequency Semantics for Green Futures

Yu David Liu

Proceedings of the Proceedings Fifth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2012

Energy types.

Michael Cohen, Haitao Steve Zhu, Senem Ezgi Emgin, Yu David Liu

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

Energy-efficient synchronization through program patterns.

Yu David Liu

Proceedings of the First International Workshop on Green and Sustainable Software, 2012

JATO: Native Code Atomicity for Java.

Siliang Li, Yu David Liu, Gang Tan

Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012

2011

Type-specialized staged programming with process separation.

Yu David Liu, Christian Skalka, Scott F. Smith

High. Order Symb. Comput., 2011

Toward a unified object model for cyber-physical systems.

Yu David Liu

Proceedings of the 2nd Workshop on Software Engineering for Sensor Network Applications, 2011

2010

Task types for pervasive atomicity.

Aditya Kulkarni, Yu David Liu, Scott F. Smith

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

2008

Coqa: Concurrent Objects with Quantized Atomicity.

Yu David Liu, Xiaoqi Lu, Scott F. Smith

Proceedings of the Compiler Construction, 17th International Conference, 2008

2006

A formal framework for component deployment.

Yu David Liu, Scott F. Smith

Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

2005

Interaction-based programming with classages.

Yu David Liu, Scott F. Smith

Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

2004

Modules with Interfaces for Dynamic Linking and Communication.

Yu David Liu, Scott F. Smith

Proceedings of the ECOOP 2004, 2004