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: Liu:Yu_David
Contributed to:
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.