Yu David Liu

Orcid: 0000-0002-2768-3898

Affiliations:
  • Binghamton University, Vestal, NY, USA


According to our database1, Yu David Liu authored at least 49 papers between 2004 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Vincent: Green hot methods in the JVM.
Sci. Comput. Program., August, 2023

Tensor-Aware Energy Accounting.
CoRR, 2023

Verifiable Sustainability in Data Centers.
CoRR, 2023

2022
The essence of online data processing.
Proc. ACM Program. Lang., 2022

Preface to the JOT special issue on ECOOP 2021: selected workshop papers.
J. Object Technol., 2022

A quantitative analysis of system bottlenecks in visual SLAM.
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.
Proceedings of the 31st USENIX Security Symposium, 2022

A modular, extensible framework for modern visual SLAM systems.
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.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Vincent: Green Hot Methods in the JVM (Extended Abstract).
Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2021
JCopter: Reliable UAV Software Through Managed Languages.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

Understanding Bounding Functions in Safety-Critical UAV Software.
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

2020
Calm energy accounting for multithreaded Java applications.
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.
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).
Sci. Comput. Program., 2019

A Foundation of Lazy Streaming Graphs.
CoRR, 2019

Toward a language design for energy prediction.
Proceedings of the Conference Companion of the 3rd International Conference on Art, 2019

2018
Stochastic energy optimization for mobile GPS applications.
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.
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

Understanding and overcoming parallelism bottlenecks in ForkJoin applications.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Toward Energy-Aware Programming for Unmanned Aerial Vehicles.
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.
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".
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.
Proceedings of the 2016 IEEE International Conference on Software Maintenance and Evolution, 2016

AEQUITAS: Coordinated Energy Management Across Parallel Applications.
Proceedings of the 2016 International Conference on Supercomputing, 2016

Lazy graph processing in Haskell.
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.
Proceedings of the 2015 USENIX Annual Technical Conference, 2015

Toward a Java based infrastructure for unmanned aerial vehicles.
Proceedings of the Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, 2015

A Programming Model for Sustainable Software.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Data-Oriented Characterization of Application-Level Energy Optimization.
Proceedings of the Fundamental Approaches to Software Engineering, 2015

Intensional Effect Polymorphism.
Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

2014
Understanding energy behaviors of thread management constructs.
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

Rate types for stream programs.
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

Mining questions about software energy consumption.
Proceedings of the 11th Working Conference on Mining Software Repositories, 2014

Improving energy efficiency of work-stealing parallel languages (invited talk abstract).
Proceedings of the 2014 Joint International Workshop on Dynamic Analysis (WODA) and Software and System Performance Testing, 2014

Energy-efficient work-stealing language runtimes.
Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2014

2013
Green streams for data-intensive software.
Proceedings of the 35th International Conference on Software Engineering, 2013

Heap Decomposition Inference with Linear Programming.
Proceedings of the ECOOP 2013 - Object-Oriented Programming, 2013

2012
Variant-Frequency Semantics for Green Futures
Proceedings of the Proceedings Fifth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2012

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

Energy-efficient synchronization through program patterns.
Proceedings of the First International Workshop on Green and Sustainable Software, 2012

JATO: Native Code Atomicity for Java.
Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012

2011
Type-specialized staged programming with process separation.
High. Order Symb. Comput., 2011

Toward a unified object model for cyber-physical systems.
Proceedings of the 2nd Workshop on Software Engineering for Sensor Network Applications, 2011

2010
Task types for pervasive atomicity.
Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

2008
Coqa: Concurrent Objects with Quantized Atomicity.
Proceedings of the Compiler Construction, 17th International Conference, 2008

2006
A formal framework for component deployment.
Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

2005
Interaction-based programming with classages.
Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

2004
Modules with Interfaces for Dynamic Linking and Communication.
Proceedings of the ECOOP 2004, 2004


  Loading...