BibTeX records: Yu David Liu

download as .bib file

@article{DBLP:journals/scp/LiuMYL23,
  author       = {Kenan Liu and
                  Khaled Mahmoud and
                  Joonhwan Yoo and
                  Yu David Liu},
  title        = {Vincent: Green hot methods in the {JVM}},
  journal      = {Sci. Comput. Program.},
  volume       = {230},
  pages        = {102962},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.scico.2023.102962},
  doi          = {10.1016/J.SCICO.2023.102962},
  timestamp    = {Sat, 28 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/LiuMYL23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-11993,
  author       = {Syed Rafiul Hussain and
                  Patrick D. McDaniel and
                  Anshul Gandhi and
                  Kanad Ghose and
                  Kartik Gopalan and
                  Dongyoon Lee and
                  Yu David Liu and
                  Zhenhua Liu and
                  Shuai Mu and
                  Erez Zadok},
  title        = {Verifiable Sustainability in Data Centers},
  journal      = {CoRR},
  volume       = {abs/2307.11993},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2307.11993},
  doi          = {10.48550/ARXIV.2307.11993},
  eprinttype    = {arXiv},
  eprint       = {2307.11993},
  timestamp    = {Tue, 01 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-11993.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-11424,
  author       = {Timur Babakol and
                  Yu David Liu},
  title        = {Tensor-Aware Energy Accounting},
  journal      = {CoRR},
  volume       = {abs/2311.11424},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2311.11424},
  doi          = {10.48550/ARXIV.2311.11424},
  eprinttype    = {arXiv},
  eprint       = {2311.11424},
  timestamp    = {Thu, 23 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2311-11424.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/AnconaFFHILMSW22,
  author       = {Davide Ancona and
                  Olivier Fl{\"{u}}ckiger and
                  Adrian Francalanza and
                  Robert Hirschfeld and
                  Atsushi Igarashi and
                  Yu David Liu and
                  Hidehiko Masuhara and
                  Chris Seaton and
                  Harumi Watanabe},
  title        = {Preface to the {JOT} special issue on {ECOOP} 2021: selected workshop
                  papers},
  journal      = {J. Object Technol.},
  volume       = {21},
  number       = {2},
  year         = {2022},
  url          = {https://doi.org/10.5381/jot.2022.21.2.e1},
  doi          = {10.5381/JOT.2022.21.2.E1},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jot/AnconaFFHILMSW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/DexterLC22,
  author       = {Philip Dexter and
                  Yu David Liu and
                  Kenneth Chiu},
  title        = {The essence of online data processing},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {6},
  number       = {{OOPSLA2}},
  pages        = {899--928},
  year         = {2022},
  url          = {https://doi.org/10.1145/3563320},
  doi          = {10.1145/3563320},
  timestamp    = {Mon, 05 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/DexterLC22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/LiuMYL22,
  author       = {Kenan Liu and
                  Khaled Mahmoud and
                  Joonhwan Yoo and
                  Yu David Liu},
  editor       = {Karim Ali and
                  Jan Vitek},
  title        = {Vincent: Green Hot Methods in the {JVM} (Extended Abstract)},
  booktitle    = {36th European Conference on Object-Oriented Programming, {ECOOP} 2022,
                  June 6-10, 2022, Berlin, Germany},
  series       = {LIPIcs},
  volume       = {222},
  pages        = {32:1--32:30},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/LIPIcs.ECOOP.2022.32},
  doi          = {10.4230/LIPICS.ECOOP.2022.32},
  timestamp    = {Thu, 23 Jun 2022 13:54:05 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/LiuMYL22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BabakolCL22,
  author       = {Timur Babakol and
                  Anthony Canino and
                  Yu David Liu},
  title        = {Eflect: Porting Energy-Aware Applications to Shared Environments},
  booktitle    = {44th {IEEE/ACM} 44th International Conference on Software Engineering,
                  {ICSE} 2022, Pittsburgh, PA, USA, May 25-27, 2022},
  pages        = {823--834},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3510003.3510145},
  doi          = {10.1145/3510003.3510145},
  timestamp    = {Mon, 18 Jul 2022 16:47:42 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/BabakolCL22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobisys/SemenovaMCKLZD22,
  author       = {Sofiya Semenova and
                  Pranay Meshram and
                  Timothy Chase and
                  Steven Y. Ko and
                  Yu David Liu and
                  Lukasz Ziarek and
                  Karthik Dantu},
  editor       = {Nirupama Bulusu and
                  Ehsan Aryafar and
                  Aruna Balasubramanian and
                  Junehwa Song},
  title        = {A modular, extensible framework for modern visual {SLAM} systems},
  booktitle    = {MobiSys '22: The 20th Annual International Conference on Mobile Systems,
                  Applications and Services, Portland, Oregon, 27 June 2022 - 1 July
                  2022},
  pages        = {579--580},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3498361.3538793},
  doi          = {10.1145/3498361.3538793},
  timestamp    = {Wed, 22 Jun 2022 14:39:26 +0200},
  biburl       = {https://dblp.org/rec/conf/mobisys/SemenovaMCKLZD22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/TownleyAL0E22,
  author       = {Daniel Townley and
                  Kerem Arikan and
                  Yu David Liu and
                  Dmitry Ponomarev and
                  Oguz Ergin},
  editor       = {Kevin R. B. Butler and
                  Kurt Thomas},
  title        = {Composable Cachelets: Protecting Enclaves from Cache Side-Channel
                  Attacks},
  booktitle    = {31st {USENIX} Security Symposium, {USENIX} Security 2022, Boston,
                  MA, USA, August 10-12, 2022},
  pages        = {2839--2856},
  publisher    = {{USENIX} Association},
  year         = {2022},
  url          = {https://www.usenix.org/conference/usenixsecurity22/presentation/townley},
  timestamp    = {Tue, 18 Oct 2022 17:10:36 +0200},
  biburl       = {https://dblp.org/rec/conf/uss/TownleyAL0E22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wmcsa/SemenovaKLZD22,
  author       = {Sofiya Semenova and
                  Steven Y. Ko and
                  Yu David Liu and
                  Lukasz Ziarek and
                  Karthik Dantu},
  editor       = {Robert LiKamWa and
                  Urs Hengartner},
  title        = {A quantitative analysis of system bottlenecks in visual {SLAM}},
  booktitle    = {HotMobile '22: The 23rd International Workshop on Mobile Computing
                  Systems and Applications, Tempe, Arizona, USA, March 9 - 10, 2022},
  pages        = {74--80},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3508396.3512882},
  doi          = {10.1145/3508396.3512882},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wmcsa/SemenovaKLZD22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/LiangBSDZL21,
  author       = {Xiaozhou Liang and
                  John Henry Burns and
                  Joseph Sanchez and
                  Karthik Dantu and
                  Lukasz Ziarek and
                  Yu David Liu},
  title        = {Understanding Bounding Functions in Safety-Critical {UAV} Software},
  booktitle    = {43rd {IEEE/ACM} International Conference on Software Engineering,
                  {ICSE} 2021, Madrid, Spain, 22-30 May 2021},
  pages        = {1311--1322},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/ICSE43902.2021.00119},
  doi          = {10.1109/ICSE43902.2021.00119},
  timestamp    = {Mon, 07 Jun 2021 14:59:31 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/LiangBSDZL21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/CzerniejewskiBG21,
  author       = {Adam Czerniejewski and
                  John Henry Burns and
                  Farshad Ghanei and
                  Karthik Dantu and
                  Yu David Liu and
                  Lukasz Ziarek},
  title        = {JCopter: Reliable {UAV} Software Through Managed Languages},
  booktitle    = {{IEEE/RSJ} International Conference on Intelligent Robots and Systems,
                  {IROS} 2021, Prague, Czech Republic, September 27 - Oct. 1, 2021},
  pages        = {4282--4289},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/IROS51168.2021.9636617},
  doi          = {10.1109/IROS51168.2021.9636617},
  timestamp    = {Wed, 22 Dec 2021 12:36:19 +0100},
  biburl       = {https://dblp.org/rec/conf/iros/CzerniejewskiBG21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2021cop,
  editor       = {Yu David Liu and
                  Harumi Watanabe and
                  Robert Hirschfeld and
                  Atsushi Igarashi and
                  Hidehiko Masuhara},
  title        = {COP@ECOOP 2021: Proceedings of the 13th {ACM} International Workshop
                  on Context-Oriented Programming and Advanced Modularity, Virtual Event,
                  Denmark, July 12, 2021},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3464970},
  doi          = {10.1145/3464970},
  isbn         = {978-1-4503-8542-8},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/2021cop.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-07020,
  author       = {Xiaozhou Liang and
                  John Henry Burns and
                  Joseph Sanchez and
                  Karthik Dantu and
                  Lukasz Ziarek and
                  Yu David Liu},
  title        = {Understanding Bounding Functions in Safety-Critical {UAV} Software},
  journal      = {CoRR},
  volume       = {abs/2102.07020},
  year         = {2021},
  url          = {https://arxiv.org/abs/2102.07020},
  eprinttype    = {arXiv},
  eprint       = {2102.07020},
  timestamp    = {Thu, 18 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2102-07020.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BurnsLL20,
  author       = {John Henry Burns and
                  Xiaozhou Liang and
                  Yu David Liu},
  title        = {Adaptive Variables for Declarative {UAV} Planning},
  booktitle    = {{COP} '20: Proceedings of the 12th International Workshop on Context-Oriented
                  Programming and Advanced Modularity, COP@ECOOP 2020, Virtual Event,
                  21 July 2020},
  pages        = {1:1--1:7},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3422584.3422763},
  doi          = {10.1145/3422584.3422763},
  timestamp    = {Wed, 02 Feb 2022 16:01:45 +0100},
  biburl       = {https://dblp.org/rec/conf/ecoop/BurnsLL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BabakolCMSL20,
  author       = {Timur Babakol and
                  Anthony Canino and
                  Khaled Mahmoud and
                  Rachit Saxena and
                  Yu David Liu},
  editor       = {Prem Devanbu and
                  Myra B. Cohen and
                  Thomas Zimmermann},
  title        = {Calm energy accounting for multithreaded Java applications},
  booktitle    = {{ESEC/FSE} '20: 28th {ACM} Joint European Software Engineering Conference
                  and Symposium on the Foundations of Software Engineering, Virtual
                  Event, USA, November 8-13, 2020},
  pages        = {976--988},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3368089.3409703},
  doi          = {10.1145/3368089.3409703},
  timestamp    = {Tue, 10 Nov 2020 10:30:27 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/BabakolCMSL20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/CastorL19,
  author       = {Fernando Castor and
                  Yu David Liu},
  title        = {Selected papers of the Brazilian Symposium on Programming Languages
                  (SBLP'15+16)},
  journal      = {Sci. Comput. Program.},
  volume       = {173},
  pages        = {1--2},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.scico.2018.11.003},
  doi          = {10.1016/J.SCICO.2018.11.003},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/CastorL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programming/CaninoL19,
  author       = {Anthony Canino and
                  Yu David Liu},
  editor       = {Stefan Marr and
                  Walter Cazzola},
  title        = {Toward a language design for energy prediction},
  booktitle    = {Conference Companion of the 3rd International Conference on Art, Science,
                  and Engineering of Programming, Genova, Italy, April 1-4, 2019},
  pages        = {11:1--11:5},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3328433.3328445},
  doi          = {10.1145/3328433.3328445},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/programming/CaninoL19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2019vmil,
  editor       = {Daniele Bonetta and
                  Yu David Liu},
  title        = {Proceedings of the 11th {ACM} {SIGPLAN} International Workshop on
                  Virtual Machines and Intermediate Languages, VMIL@SPLASH 2019, Athens,
                  Greece, October 22, 2019},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3358504},
  doi          = {10.1145/3358504},
  isbn         = {978-1-4503-6987-9},
  timestamp    = {Fri, 18 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/2019vmil.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-10982,
  author       = {Philip Dexter and
                  Yu David Liu and
                  Kenneth Chiu},
  title        = {A Foundation of Lazy Streaming Graphs},
  journal      = {CoRR},
  volume       = {abs/1911.10982},
  year         = {2019},
  url          = {http://arxiv.org/abs/1911.10982},
  eprinttype    = {arXiv},
  eprint       = {1911.10982},
  timestamp    = {Tue, 03 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1911-10982.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/CaninoLM18,
  author       = {Anthony Canino and
                  Yu David Liu and
                  Hidehiko Masuhara},
  editor       = {Gary T. Leavens and
                  Alessandro Garcia and
                  Corina S. Pasareanu},
  title        = {Stochastic energy optimization for mobile {GPS} applications},
  booktitle    = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering
                  Conference and Symposium on the Foundations of Software Engineering,
                  {ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09,
                  2018},
  pages        = {703--713},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3236024.3236076},
  doi          = {10.1145/3236024.3236076},
  timestamp    = {Tue, 01 Feb 2022 10:45:16 +0100},
  biburl       = {https://dblp.org/rec/conf/sigsoft/CaninoLM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/LiuZ17,
  author       = {Yu David Liu and
                  Lukasz Ziarek},
  title        = {Toward Energy-Aware Programming for Unmanned Aerial Vehicles},
  booktitle    = {3rd {IEEE/ACM} International Workshop on Software Engineering for
                  Smart Cyber-Physical Systems, SEsCPS@ICSE 2017, Buenos Aires, Argentina,
                  May 21, 2017},
  pages        = {30--33},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/SEsCPS.2017.8},
  doi          = {10.1109/SESCPS.2017.8},
  timestamp    = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/LiuZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/PintoCCXL17,
  author       = {Gustavo Pinto and
                  Anthony Canino and
                  Fernando Castor and
                  Guoqing Xu and
                  Yu David Liu},
  editor       = {Grigore Rosu and
                  Massimiliano Di Penta and
                  Tien N. Nguyen},
  title        = {Understanding and overcoming parallelism bottlenecks in ForkJoin applications},
  booktitle    = {Proceedings of the 32nd {IEEE/ACM} International Conference on Automated
                  Software Engineering, {ASE} 2017, Urbana, IL, USA, October 30 - November
                  03, 2017},
  pages        = {765--775},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/ASE.2017.8115687},
  doi          = {10.1109/ASE.2017.8115687},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/PintoCCXL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/CaninoL17,
  author       = {Anthony Canino and
                  Yu David Liu},
  editor       = {Albert Cohen and
                  Martin T. Vechev},
  title        = {Proactive and adaptive energy-aware programming with mixed typechecking},
  booktitle    = {Proceedings of the 38th {ACM} {SIGPLAN} Conference on Programming
                  Language Design and Implementation, {PLDI} 2017, Barcelona, Spain,
                  June 18-23, 2017},
  pages        = {217--232},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3062341.3062356},
  doi          = {10.1145/3062341.3062356},
  timestamp    = {Wed, 23 Jun 2021 15:34:31 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/CaninoL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/DexterLC16,
  author       = {Philip Dexter and
                  Yu David Liu and
                  Kenneth Chiu},
  editor       = {Geoffrey Mainland},
  title        = {Lazy graph processing in Haskell},
  booktitle    = {Proceedings of the 9th International Symposium on Haskell, Haskell
                  2016, Nara, Japan, September 22-23, 2016},
  pages        = {182--192},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2976002.2976014},
  doi          = {10.1145/2976002.2976014},
  timestamp    = {Tue, 06 Nov 2018 16:58:22 +0100},
  biburl       = {https://dblp.org/rec/conf/haskell/DexterLC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ics/RibicL16,
  author       = {Haris Ribic and
                  Yu David Liu},
  editor       = {Ozcan Ozturk and
                  Kemal Ebcioglu and
                  Mahmut T. Kandemir and
                  Onur Mutlu},
  title        = {{AEQUITAS:} Coordinated Energy Management Across Parallel Applications},
  booktitle    = {Proceedings of the 2016 International Conference on Supercomputing,
                  {ICS} 2016, Istanbul, Turkey, June 1-3, 2016},
  pages        = {4:1--4:12},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2925426.2926260},
  doi          = {10.1145/2925426.2926260},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ics/RibicL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/PintoLCL16,
  author       = {Gustavo Pinto and
                  Kenan Liu and
                  Fernando Castor and
                  Yu David Liu},
  title        = {A Comprehensive Study on the Energy Efficiency of Java's Thread-Safe
                  Collections},
  booktitle    = {2016 {IEEE} International Conference on Software Maintenance and Evolution,
                  {ICSME} 2016, Raleigh, NC, USA, October 2-7, 2016},
  pages        = {20--31},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICSME.2016.34},
  doi          = {10.1109/ICSME.2016.34},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icsm/PintoLCL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/PintoLCL16a,
  author       = {Gustavo Pinto and
                  Kenan Liu and
                  Fernando Castor and
                  Yu David Liu},
  title        = {Artifacts for "A Comprehensive Study on the Energy Efficiency
                  of Java's Thread-Safe Collections"},
  booktitle    = {2016 {IEEE} International Conference on Software Maintenance and Evolution,
                  {ICSME} 2016, Raleigh, NC, USA, October 2-7, 2016},
  pages        = {614--615},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICSME.2016.86},
  doi          = {10.1109/ICSME.2016.86},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icsm/PintoLCL16a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/LongLR16,
  author       = {Yuheng Long and
                  Yu David Liu and
                  Hridesh Rajan},
  editor       = {Eelco Visser and
                  Yannis Smaragdakis},
  title        = {First-class effect reflection for effect-guided programming},
  booktitle    = {Proceedings of the 2016 {ACM} {SIGPLAN} International Conference on
                  Object-Oriented Programming, Systems, Languages, and Applications,
                  {OOPSLA} 2016, part of {SPLASH} 2016, Amsterdam, The Netherlands,
                  October 30 - November 4, 2016},
  pages        = {820--837},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2983990.2984037},
  doi          = {10.1145/2983990.2984037},
  timestamp    = {Wed, 23 Jun 2021 15:34:31 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/LongLR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sblp/2016,
  editor       = {Fernando Castor and
                  Yu David Liu},
  title        = {Programming Languages - 20th Brazilian Symposium, {SBLP} 2016, Maring{\'{a}},
                  Brazil, September 22-23, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9889},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-45279-1},
  doi          = {10.1007/978-3-319-45279-1},
  isbn         = {978-3-319-45278-4},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sblp/2016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/LongLR15,
  author       = {Yuheng Long and
                  Yu David Liu and
                  Hridesh Rajan},
  editor       = {John Tang Boyland},
  title        = {Intensional Effect Polymorphism},
  booktitle    = {29th European Conference on Object-Oriented Programming, {ECOOP} 2015,
                  July 5-10, 2015, Prague, Czech Republic},
  series       = {LIPIcs},
  volume       = {37},
  pages        = {346--370},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.ECOOP.2015.346},
  doi          = {10.4230/LIPICS.ECOOP.2015.346},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/LongLR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/LiuPL15,
  author       = {Kenan Liu and
                  Gustavo Pinto and
                  Yu David Liu},
  editor       = {Alexander Egyed and
                  Ina Schaefer},
  title        = {Data-Oriented Characterization of Application-Level Energy Optimization},
  booktitle    = {Fundamental Approaches to Software Engineering - 18th International
                  Conference, {FASE} 2015, Held as Part of the European Joint Conferences
                  on Theory and Practice of Software, {ETAPS} 2015, London, UK, April
                  11-18, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9033},
  pages        = {316--331},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-662-46675-9\_21},
  doi          = {10.1007/978-3-662-46675-9\_21},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/LiuPL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/ZhuLL15,
  author       = {Haitao Steve Zhu and
                  Chaoren Lin and
                  Yu David Liu},
  editor       = {Antonia Bertolino and
                  Gerardo Canfora and
                  Sebastian G. Elbaum},
  title        = {A Programming Model for Sustainable Software},
  booktitle    = {37th {IEEE/ACM} International Conference on Software Engineering,
                  {ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 1},
  pages        = {767--777},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/ICSE.2015.89},
  doi          = {10.1109/ICSE.2015.89},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/ZhuLL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/LiuZ15,
  author       = {Yu David Liu and
                  Lukasz Ziarek},
  editor       = {Jonathan Aldrich and
                  Patrick Eugster},
  title        = {Toward a Java based infrastructure for unmanned aerial vehicles},
  booktitle    = {Companion Proceedings of the 2015 {ACM} {SIGPLAN} International Conference
                  on Systems, Programming, Languages and Applications: Software for
                  Humanity, {SPLASH} 2015, Pittsburgh, PA, USA, October 25-30, 2015},
  pages        = {56--57},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2814189.2817276},
  doi          = {10.1145/2814189.2817276},
  timestamp    = {Mon, 12 Jul 2021 15:34:15 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/LiuZ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/WangXSL15,
  author       = {Kai Wang and
                  Guoqing Xu and
                  Zhendong Su and
                  Yu David Liu},
  editor       = {Shan Lu and
                  Erik Riedel},
  title        = {GraphQ: Graph Query Processing with Abstraction Refinement - Scalable
                  and Programmable Analytics over Very Large Graphs on a Single {PC}},
  booktitle    = {2015 {USENIX} Annual Technical Conference, {USENIX} {ATC} '15, July
                  8-10, Santa Clara, CA, {USA}},
  pages        = {387--401},
  publisher    = {{USENIX} Association},
  year         = {2015},
  url          = {https://www.usenix.org/conference/atc15/technical-session/presentation/wang-kai},
  timestamp    = {Thu, 02 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/usenix/WangXSL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/RibicY14,
  author       = {Haris Ribic and
                  Yu David Liu},
  editor       = {Rajeev Balasubramonian and
                  Al Davis and
                  Sarita V. Adve},
  title        = {Energy-efficient work-stealing language runtimes},
  booktitle    = {Architectural Support for Programming Languages and Operating Systems,
                  {ASPLOS} 2014, Salt Lake City, UT, USA, March 1-5, 2014},
  pages        = {513--528},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2541940.2541971},
  doi          = {10.1145/2541940.2541971},
  timestamp    = {Wed, 07 Jul 2021 13:23:08 +0200},
  biburl       = {https://dblp.org/rec/conf/asplos/RibicY14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Liu14,
  author       = {Yu David Liu},
  editor       = {Harry Xu and
                  Tao Xie and
                  Shan Lu and
                  Dongmei Zhang and
                  Santosh Nagarakatte and
                  Christoph Csallner},
  title        = {Improving energy efficiency of work-stealing parallel languages (invited
                  talk abstract)},
  booktitle    = {Proceedings of the 2014 Joint International Workshop on Dynamic Analysis
                  {(WODA)} and Software and System Performance Testing, Debugging, and
                  Analytics (PERTEA), {WODA+PERTEA} 2014, San Jose, CA, USA, July 22,
                  2014},
  pages        = {14},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2632168.2638836},
  doi          = {10.1145/2632168.2638836},
  timestamp    = {Fri, 14 Apr 2023 23:05:44 +0200},
  biburl       = {https://dblp.org/rec/conf/issta/Liu14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msr/PintoCL14,
  author       = {Gustavo Pinto and
                  Fernando Castor and
                  Yu David Liu},
  editor       = {Premkumar T. Devanbu and
                  Sung Kim and
                  Martin Pinzger},
  title        = {Mining questions about software energy consumption},
  booktitle    = {11th Working Conference on Mining Software Repositories, {MSR} 2014,
                  Proceedings, May 31 - June 1, 2014, Hyderabad, India},
  pages        = {22--31},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2597073.2597110},
  doi          = {10.1145/2597073.2597110},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/msr/PintoCL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/BartensteinL14,
  author       = {Thomas Bartenstein and
                  Yu David Liu},
  editor       = {Andrew P. Black and
                  Todd D. Millstein},
  title        = {Rate types for stream programs},
  booktitle    = {Proceedings of the 2014 {ACM} International Conference on Object Oriented
                  Programming Systems Languages {\&} Applications, {OOPSLA} 2014,
                  part of {SPLASH} 2014, Portland, OR, USA, October 20-24, 2014},
  pages        = {213--232},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2660193.2660225},
  doi          = {10.1145/2660193.2660225},
  timestamp    = {Thu, 24 Jun 2021 16:19:30 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/BartensteinL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/PintoCL14,
  author       = {Gustavo Pinto and
                  Fernando Castor and
                  Yu David Liu},
  editor       = {Andrew P. Black and
                  Todd D. Millstein},
  title        = {Understanding energy behaviors of thread management constructs},
  booktitle    = {Proceedings of the 2014 {ACM} International Conference on Object Oriented
                  Programming Systems Languages {\&} Applications, {OOPSLA} 2014,
                  part of {SPLASH} 2014, Portland, OR, USA, October 20-24, 2014},
  pages        = {345--360},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2660193.2660235},
  doi          = {10.1145/2660193.2660235},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/oopsla/PintoCL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/ZhuL13,
  author       = {Haitao Steve Zhu and
                  Yu David Liu},
  editor       = {Giuseppe Castagna},
  title        = {Heap Decomposition Inference with Linear Programming},
  booktitle    = {{ECOOP} 2013 - Object-Oriented Programming - 27th European Conference,
                  Montpellier, France, July 1-5, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7920},
  pages        = {104--128},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39038-8\_5},
  doi          = {10.1007/978-3-642-39038-8\_5},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/ZhuL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BartensteinL13,
  author       = {Thomas Bartenstein and
                  Yu David Liu},
  editor       = {David Notkin and
                  Betty H. C. Cheng and
                  Klaus Pohl},
  title        = {Green streams for data-intensive software},
  booktitle    = {35th International Conference on Software Engineering, {ICSE} '13,
                  San Francisco, CA, USA, May 18-26, 2013},
  pages        = {532--541},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ICSE.2013.6606599},
  doi          = {10.1109/ICSE.2013.6606599},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/BartensteinL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/LiLT12,
  author       = {Siliang Li and
                  Yu David Liu and
                  Gang Tan},
  editor       = {Ranjit Jhala and
                  Atsushi Igarashi},
  title        = {{JATO:} Native Code Atomicity for Java},
  booktitle    = {Programming Languages and Systems - 10th Asian Symposium, {APLAS}
                  2012, Kyoto, Japan, December 11-13, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7705},
  pages        = {2--17},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35182-2\_2},
  doi          = {10.1007/978-3-642-35182-2\_2},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aplas/LiLT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/greens/Liu12,
  author       = {Yu David Liu},
  editor       = {Rick Kazman and
                  Patricia Lago and
                  Niklaus Meyer and
                  Maurizio Morisio and
                  Hausi A. M{\"{u}}ller and
                  Frances Paulisch and
                  Giuseppe Scanniello and
                  Olaf Zimmermann},
  title        = {Energy-efficient synchronization through program patterns},
  booktitle    = {First International Workshop on Green and Sustainable Software, {GREENS}
                  2012, Zurich, Switzerland, June 3, 2012},
  pages        = {35--40},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/GREENS.2012.6224253},
  doi          = {10.1109/GREENS.2012.6224253},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/greens/Liu12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/CohenZSL12,
  author       = {Michael Cohen and
                  Haitao Steve Zhu and
                  Senem Ezgi Emgin and
                  Yu David Liu},
  editor       = {Gary T. Leavens and
                  Matthew B. Dwyer},
  title        = {Energy types},
  booktitle    = {Proceedings of the 27th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
                  Programming, Systems, Languages, and Applications, {OOPSLA} 2012,
                  part of {SPLASH} 2012, Tucson, AZ, USA, October 21-25, 2012},
  pages        = {831--850},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2384616.2384676},
  doi          = {10.1145/2384616.2384676},
  timestamp    = {Thu, 24 Jun 2021 16:19:30 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/CohenZSL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1302-6328,
  author       = {Yu David Liu},
  editor       = {Simon J. Gay and
                  Paul Kelly},
  title        = {Variant-Frequency Semantics for Green Futures},
  booktitle    = {Proceedings Fifth Workshop on Programming Language Approaches to Concurrency-
                  and Communication-cEntric Software, {PLACES} 2012, Tallinn, Estonia,
                  31 March 2012},
  series       = {{EPTCS}},
  volume       = {109},
  pages        = {1--6},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.109.1},
  doi          = {10.4204/EPTCS.109.1},
  timestamp    = {Wed, 12 Sep 2018 01:05:15 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1302-6328.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/LiuSS11,
  author       = {Yu David Liu and
                  Christian Skalka and
                  Scott F. Smith},
  title        = {Type-specialized staged programming with process separation},
  journal      = {High. Order Symb. Comput.},
  volume       = {24},
  number       = {4},
  pages        = {341--385},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10990-012-9089-0},
  doi          = {10.1007/S10990-012-9089-0},
  timestamp    = {Thu, 05 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lisp/LiuSS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Liu11,
  author       = {Yu David Liu},
  editor       = {Kurt Geihs and
                  Kay R{\"{o}}mer and
                  Luca Mottola and
                  Gian Pietro Picco},
  title        = {Toward a unified object model for cyber-physical systems},
  booktitle    = {Proceedings of the 2nd Workshop on Software Engineering for Sensor
                  Network Applications, {SESENA} 2011, Waikiki, Honolulu, HI, USA, May
                  22, 2011},
  pages        = {65--66},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/1988051.1988066},
  doi          = {10.1145/1988051.1988066},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/Liu11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/KulkarniLS10,
  author       = {Aditya Kulkarni and
                  Yu David Liu and
                  Scott F. Smith},
  editor       = {William R. Cook and
                  Siobh{\'{a}}n Clarke and
                  Martin C. Rinard},
  title        = {Task types for pervasive atomicity},
  booktitle    = {Proceedings of the 25th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
                  Programming, Systems, Languages, and Applications, {OOPSLA} 2010,
                  October 17-21, 2010, Reno/Tahoe, Nevada, {USA}},
  pages        = {671--690},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1869459.1869514},
  doi          = {10.1145/1869459.1869514},
  timestamp    = {Tue, 22 Jun 2021 17:10:56 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/KulkarniLS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/LiuSS09,
  author       = {Yu David Liu and
                  Christian Skalka and
                  Scott F. Smith},
  editor       = {Patrik Jansson and
                  Sibylle Schupp},
  title        = {Type-specialized staged programming with process separation},
  booktitle    = {Proceedings of the 2009 {ACM} {SIGPLAN} workshop on Generic programming,
                  WGP@ICFP 2009, Edinburgh, United Kingdom, August 31 - September 2,
                  2009},
  pages        = {49--60},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1596614.1596622},
  doi          = {10.1145/1596614.1596622},
  timestamp    = {Tue, 06 Nov 2018 16:59:25 +0100},
  biburl       = {https://dblp.org/rec/conf/icfp/LiuSS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/LiuLS08,
  author       = {Yu David Liu and
                  Xiaoqi Lu and
                  Scott F. Smith},
  editor       = {Laurie J. Hendren},
  title        = {Coqa: Concurrent Objects with Quantized Atomicity},
  booktitle    = {Compiler Construction, 17th International Conference, {CC} 2008, Held
                  as Part of the Joint European Conferences on Theory and Practice of
                  Software, {ETAPS} 2008, Budapest, Hungary, March 29 - April 6, 2008.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4959},
  pages        = {260--275},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-78791-4\_18},
  doi          = {10.1007/978-3-540-78791-4\_18},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/cc/LiuLS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/LiuS06,
  author       = {Yu David Liu and
                  Scott F. Smith},
  editor       = {Peri L. Tarr and
                  William R. Cook},
  title        = {A formal framework for component deployment},
  booktitle    = {Proceedings of the 21th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
                  Programming, Systems, Languages, and Applications, {OOPSLA} 2006,
                  October 22-26, 2006, Portland, Oregon, {USA}},
  pages        = {325--344},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1167473.1167502},
  doi          = {10.1145/1167473.1167502},
  timestamp    = {Fri, 25 Jun 2021 14:48:54 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/LiuS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/LiuS05,
  author       = {Yu David Liu and
                  Scott F. Smith},
  editor       = {Ralph E. Johnson and
                  Richard P. Gabriel},
  title        = {Interaction-based programming with classages},
  booktitle    = {Proceedings of the 20th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
                  Programming, Systems, Languages, and Applications, {OOPSLA} 2005,
                  October 16-20, 2005, San Diego, CA, {USA}},
  pages        = {191--209},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1094811.1094827},
  doi          = {10.1145/1094811.1094827},
  timestamp    = {Fri, 25 Jun 2021 14:48:54 +0200},
  biburl       = {https://dblp.org/rec/conf/oopsla/LiuS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/LiuS04,
  author       = {Yu David Liu and
                  Scott F. Smith},
  editor       = {Martin Odersky},
  title        = {Modules with Interfaces for Dynamic Linking and Communication},
  booktitle    = {{ECOOP} 2004 - Object-Oriented Programming, 18th European Conference,
                  Oslo, Norway, June 14-18, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3086},
  pages        = {414--439},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-24851-4\_19},
  doi          = {10.1007/978-3-540-24851-4\_19},
  timestamp    = {Sun, 02 Jun 2019 21:16:57 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/LiuS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics