BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Czech Republic
1 × France
1 × Hungary
1 × India
1 × Italy
1 × Norway
1 × United Kingdom
7 × USA
Collaborated with:
S.F.Smith H.S.Zhu A.Canino G.Pinto T.Bartenstein F.Castor Y.Long H.Rajan H.Ribic K.Liu C.Lin A.Kulkarni X.Lu H.Masuhara P.Dexter K.Chiu M.Cohen E.E.Senem G.P.0001 G.(.Xu
Talks about:
energi (7) program (6) softwar (3) effect (3) applic (3) type (3) understand (2) stream (2) optim (2) data (2)

Person: Yu David Liu

DBLP DBLP: Liu:Yu_David

Contributed to:

ECOOP 20152015
FASE 20152015
ICSE 20152015
ASPLOS 20142014
MSR 20142014
OOPSLA 20142014
ECOOP 20132013
ICSE 20132013
OOPSLA 20122012
OOPSLA 20102010
CC 20082008
OOPSLA 20062006
OOPSLA 20052005
ECOOP 20042004
ASE 20172017
ESEC/FSE 20182018
Haskell 20162016
OOPSLA 20162016
PLDI 20172017

Wrote 20 papers:

ECOOP-2015-LongLR #morphism #polymorphism
Intensional Effect Polymorphism (YL, YDL, HR), pp. 346–370.
FASE-2015-LiuPL #energy #optimisation
Data-Oriented Characterization of Application-Level Energy Optimization (KL, GP, YDL), pp. 316–331.
ICSE-v1-2015-ZhuLL #programming
A Programming Model for Sustainable Software (HSZ, CL, YDL), pp. 767–777.
ASPLOS-2014-RibicY #energy
Energy-efficient work-stealing language runtimes (HR, YDL), pp. 513–528.
MSR-2014-PintoCL #energy #mining
Mining questions about software energy consumption (GP, FC, YDL), pp. 22–31.
OOPSLA-2014-BartensteinL #source code
Rate types for stream programs (TB, YDL), pp. 213–232.
OOPSLA-2014-PintoCL #behaviour #comprehension #concurrent #energy #thread
Understanding energy behaviors of thread management constructs (GP, FC, YDL), pp. 345–360.
ECOOP-2013-ZhuL #composition #linear #programming
Heap Decomposition Inference with Linear Programming (HSZ, YDL), pp. 104–128.
ICSE-2013-BartensteinL #data-driven
Green streams for data-intensive software (TB, YDL), pp. 532–541.
OOPSLA-2012-CohenZSL #energy
Energy types (MC, HSZ, EES, YDL), pp. 831–850.
OOPSLA-2010-KulkarniLS #pervasive
Task types for pervasive atomicity (AK, YDL, SFS), pp. 671–690.
CC-2008-LiuLS #concurrent #named
Coqa: Concurrent Objects with Quantized Atomicity (YDL, XL, SFS), pp. 260–275.
OOPSLA-2006-LiuS #component #deployment #framework
A formal framework for component deployment (YDL, SFS), pp. 325–344.
OOPSLA-2005-LiuS #programming
Interaction-based programming with classages (YDL, SFS), pp. 191–209.
ECOOP-2004-LiuS #communication #interface
Modules with Interfaces for Dynamic Linking and Communication (YDL, SFS), pp. 414–439.
ASE-2017-PintoCCXL #comprehension #parallel
Understanding and overcoming parallelism bottlenecks in ForkJoin applications (GP0, AC, FC, G(X, YDL), pp. 765–775.
ESEC-FSE-2018-CaninoLM #energy #mobile #optimisation #probability
Stochastic energy optimization for mobile GPS applications (AC, YDL, HM), pp. 703–713.
Haskell-2016-DexterLC #graph #haskell #lazy evaluation
Lazy graph processing in Haskell (PD, YDL, KC), pp. 182–192.
OOPSLA-2016-LongLR #programming
First-class effect reflection for effect-guided programming (YL, YDL, HR), pp. 820–837.
PLDI-2017-CaninoL #adaptation #energy #programming
Proactive and adaptive energy-aware programming with mixed typechecking (AC, YDL), pp. 217–232.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.