
Yu David Liu
Person information
- affiliation: Binghamton University, Vestal, NY, USA
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
- [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
- [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 (Harry) 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 (Harry) 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: 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

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).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.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.
Tweets on dblp homepage
Show tweets from on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter account. At the same time, Twitter will persistently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2021-02-19 21:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint