![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Yu David Liu
Person information
- affiliation: Binghamton University, Vestal, NY, USA
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j6]Joseph Raskind
, Timur Babakol
, Khaled Mahmoud
, Yu David Liu
:
VESTA: Power Modeling with Language Runtime Events. Proc. ACM Program. Lang. 8(PLDI): 621-646 (2024) - [c44]Huaxin Tang, John Henry Burns, Alexander Strong, Yu David Liu:
A Compiler Framework for Proactive UAV Regulation Enforcement. ICRA 2024: 11781-11788 - [c43]Timur Babakol
, Yu David Liu
:
Tensor-Aware Energy Accounting. ICSE 2024: 93:1-93:12 - 2023
- [j5]Kenan Liu, Khaled Mahmoud, Joonhwan Yoo, Yu David Liu
:
Vincent: Green hot methods in the JVM. Sci. Comput. Program. 230: 102962 (2023) - [i4]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 abs/2307.11993 (2023) - [i3]Timur Babakol, Yu David Liu:
Tensor-Aware Energy Accounting. CoRR abs/2311.11424 (2023) - 2022
- [j4]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) - [j3]Philip Dexter
, Yu David Liu
, Kenneth Chiu
:
The essence of online data processing. Proc. ACM Program. Lang. 6(OOPSLA2): 899-928 (2022) - [c42]Kenan Liu, Khaled Mahmoud, Joonhwan Yoo, Yu David Liu:
Vincent: Green Hot Methods in the JVM (Extended Abstract). ECOOP 2022: 32:1-32:30 - [c41]Timur Babakol
, Anthony Canino, Yu David Liu:
Eflect: Porting Energy-Aware Applications to Shared Environments. ICSE 2022: 823-834 - [c40]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: 579-580 - [c39]Daniel Townley, Kerem Arikan, Yu David Liu, Dmitry Ponomarev, Oguz Ergin:
Composable Cachelets: Protecting Enclaves from Cache Side-Channel Attacks. USENIX Security Symposium 2022: 2839-2856 - [c38]Sofiya Semenova
, Steven Y. Ko, Yu David Liu, Lukasz Ziarek, Karthik Dantu:
A quantitative analysis of system bottlenecks in visual SLAM. HotMobile 2022: 74-80 - 2021
- [c37]Xiaozhou Liang, John Henry Burns, Joseph Sanchez, Karthik Dantu, Lukasz Ziarek, Yu David Liu:
Understanding Bounding Functions in Safety-Critical UAV Software. ICSE 2021: 1311-1322 - [c36]Adam Czerniejewski, John Henry Burns, Farshad Ghanei, Karthik Dantu, Yu David Liu, Lukasz Ziarek:
JCopter: Reliable UAV Software Through Managed Languages. IROS 2021: 4282-4289 - [e3]Yu David Liu, Harumi Watanabe, Robert Hirschfeld, Atsushi Igarashi
, Hidehiko Masuhara:
COP@ECOOP 2021: Proceedings of the 13th ACM International Workshop on Context-Oriented Programming and Advanced Modularity, Virtual Event, Denmark, July 12, 2021. ACM 2021, ISBN 978-1-4503-8542-8 [contents] - [i2]Xiaozhou Liang, John Henry Burns, Joseph Sanchez, Karthik Dantu, Lukasz Ziarek, Yu David Liu:
Understanding Bounding Functions in Safety-Critical UAV Software. CoRR abs/2102.07020 (2021) - 2020
- [c35]John Henry Burns, Xiaozhou Liang, Yu David Liu:
Adaptive Variables for Declarative UAV Planning. COP@ECOOP 2020: 1:1-1:7 - [c34]Timur Babakol
, Anthony Canino, Khaled Mahmoud, Rachit Saxena, Yu David Liu:
Calm energy accounting for multithreaded Java applications. ESEC/SIGSOFT FSE 2020: 976-988
2010 – 2019
- 2019
- [j2]Fernando Castor
, Yu David Liu:
Selected papers of the Brazilian Symposium on Programming Languages (SBLP'15+16). Sci. Comput. Program. 173: 1-2 (2019) - [c33]Anthony Canino, Yu David Liu
:
Toward a language design for energy prediction. Programming 2019: 11:1-11:5 - [e2]Daniele Bonetta, Yu David Liu:
Proceedings of the 11th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, VMIL@SPLASH 2019, Athens, Greece, October 22, 2019. ACM 2019, ISBN 978-1-4503-6987-9 [contents] - [i1]Philip Dexter, Yu David Liu, Kenneth Chiu:
A Foundation of Lazy Streaming Graphs. CoRR abs/1911.10982 (2019) - 2018
- [c32]Anthony Canino, Yu David Liu, Hidehiko Masuhara:
Stochastic energy optimization for mobile GPS applications. ESEC/SIGSOFT FSE 2018: 703-713 - 2017
- [c31]Yu David Liu, Lukasz Ziarek:
Toward Energy-Aware Programming for Unmanned Aerial Vehicles. SEsCPS@ICSE 2017: 30-33 - [c30]Gustavo Pinto, Anthony Canino, Fernando Castor
, Guoqing Xu, Yu David Liu:
Understanding and overcoming parallelism bottlenecks in ForkJoin applications. ASE 2017: 765-775 - [c29]Anthony Canino, Yu David Liu:
Proactive and adaptive energy-aware programming with mixed typechecking. PLDI 2017: 217-232 - 2016
- [c28]Philip Dexter, Yu David Liu, Kenneth Chiu:
Lazy graph processing in Haskell. Haskell 2016: 182-192 - [c27]Haris Ribic, Yu David Liu:
AEQUITAS: Coordinated Energy Management Across Parallel Applications. ICS 2016: 4:1-4:12 - [c26]Gustavo Pinto, Kenan Liu, Fernando Castor
, Yu David Liu:
A Comprehensive Study on the Energy Efficiency of Java's Thread-Safe Collections. ICSME 2016: 20-31 - [c25]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: 614-615 - [c24]Yuheng Long, Yu David Liu, Hridesh Rajan
:
First-class effect reflection for effect-guided programming. OOPSLA 2016: 820-837 - [e1]Fernando Castor, Yu David Liu:
Programming Languages - 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings. Lecture Notes in Computer Science 9889, Springer 2016, ISBN 978-3-319-45278-4 [contents] - 2015
- [c23]Yuheng Long, Yu David Liu, Hridesh Rajan
:
Intensional Effect Polymorphism. ECOOP 2015: 346-370 - [c22]Kenan Liu, Gustavo Pinto, Yu David Liu:
Data-Oriented Characterization of Application-Level Energy Optimization. FASE 2015: 316-331 - [c21]Haitao Steve Zhu, Chaoren Lin, Yu David Liu:
A Programming Model for Sustainable Software. ICSE (1) 2015: 767-777 - [c20]Yu David Liu, Lukasz Ziarek:
Toward a Java based infrastructure for unmanned aerial vehicles. SPLASH (Companion Volume) 2015: 56-57 - [c19]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 ATC 2015: 387-401 - 2014
- [c18]Haris Ribic, Yu David Liu:
Energy-efficient work-stealing language runtimes. ASPLOS 2014: 513-528 - [c17]Yu David Liu:
Improving energy efficiency of work-stealing parallel languages (invited talk abstract). WODA+PERTEA@ISSTA 2014: 14 - [c16]Gustavo Pinto, Fernando Castor
, Yu David Liu:
Mining questions about software energy consumption. MSR 2014: 22-31 - [c15]Thomas Bartenstein, Yu David Liu:
Rate types for stream programs. OOPSLA 2014: 213-232 - [c14]Gustavo Pinto, Fernando Castor
, Yu David Liu:
Understanding energy behaviors of thread management constructs. OOPSLA 2014: 345-360 - 2013
- [c13]Haitao Steve Zhu, Yu David Liu:
Heap Decomposition Inference with Linear Programming. ECOOP 2013: 104-128 - [c12]Thomas Bartenstein, Yu David Liu:
Green streams for data-intensive software. ICSE 2013: 532-541 - 2012
- [c11]Siliang Li, Yu David Liu, Gang Tan
:
JATO: Native Code Atomicity for Java. APLAS 2012: 2-17 - [c10]Yu David Liu:
Energy-efficient synchronization through program patterns. GREENS 2012: 35-40 - [c9]Michael Cohen, Haitao Steve Zhu, Senem Ezgi Emgin, Yu David Liu:
Energy types. OOPSLA 2012: 831-850 - [c8]Yu David Liu:
Variant-Frequency Semantics for Green Futures. PLACES 2012: 1-6 - 2011
- [j1]Yu David Liu, Christian Skalka, Scott F. Smith:
Type-specialized staged programming with process separation. High. Order Symb. Comput. 24(4): 341-385 (2011) - [c7]Yu David Liu:
Toward a unified object model for cyber-physical systems. SESENA@ICSE 2011: 65-66 - 2010
- [c6]Aditya Kulkarni, Yu David Liu, Scott F. Smith:
Task types for pervasive atomicity. OOPSLA 2010: 671-690
2000 – 2009
- 2009
- [c5]Yu David Liu, Christian Skalka, Scott F. Smith:
Type-specialized staged programming with process separation. WGP@ICFP 2009: 49-60 - 2008
- [c4]Yu David Liu, Xiaoqi Lu, Scott F. Smith:
Coqa: Concurrent Objects with Quantized Atomicity. CC 2008: 260-275 - 2006
- [c3]Yu David Liu, Scott F. Smith:
A formal framework for component deployment. OOPSLA 2006: 325-344 - 2005
- [c2]Yu David Liu, Scott F. Smith:
Interaction-based programming with classages. OOPSLA 2005: 191-209 - 2004
- [c1]Yu David Liu, Scott F. Smith:
Modules with Interfaces for Dynamic Linking and Communication. ECOOP 2004: 414-439
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-20 22:55 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint