Yu David Liu - RankMe

63 papers A* 11A 17B 3C 1Misc 1Journal 14Unranked 13

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A Comprehensive Study of Systems Challenges in Visual Simultaneous Localization and Mapping Systems. ACM Trans. Embed. Comput. Syst. Sofiya Semenova, Steven Y. Ko, Yu David Liu, Lukasz Ziarek, Karthik Dantu
2025	A*	`conf`	Secure Caches for Compartmentalized Software. USENIX Security Symposium Kerem Arikan, Huaxin Tang, Williams Zhang Cen, Yu David Liu, Nael B. Abu-Ghazaleh, Dmitry Ponomarev
2025	J	`jnl`	ShadowScope: GPU Monitoring and Validation via Composable Side Channel Signals. CoRR Ghadeer Almusaddar, Yicheng Zhang, Saber Ganjisaffar, Barry Williams, Yu David Liu, Dmitry V. Ponomarev, Nael B. Abu-Ghazaleh
2024	A*	`conf`	A Compiler Framework for Proactive UAV Regulation Enforcement. ICRA Huaxin Tang, John Henry Burns, Alexander Strong, Yu David Liu
2024	J	`jnl`	A Runtime System for Interruptible Query Processing: When Incremental Computing Meets Fine-Grained Parallelism. Proc. ACM Program. Lang. Jeff Eymer, Philip Dexter, Joseph Raskind, Yu David Liu
2024	A*	`conf`	TEE-SHirT: Scalable Leakage-Free Cache Hierarchies for TEEs. NDSS Kerem Arikan, Abraham Farrell, Williams Zhang Cen, Jack McMahon, Barry Williams, Yu David Liu, Nael B. Abu-Ghazaleh, Dmitry Ponomarev
2024	A*	`conf`	Tensor-Aware Energy Accounting. ICSE Timur Babakol, Yu David Liu
2024	J	`jnl`	VESTA: Power Modeling with Language Runtime Events. Proc. ACM Program. Lang. Joseph Raskind, Timur Babakol, Khaled Mahmoud, Yu David Liu
2024	J	`jnl`	Verifiable Sustainability in Data Centers. IEEE Secur. Priv. Syed Rafiul Hussain, Patrick D. McDaniel, Anshul Gandhi, Kanad Ghose, Kartik Gopalan, Dongyoon Lee, Yu David Liu, Zhenhua Liu, Shuai Mu, Erez Zadok
2023	J	`jnl`	Tensor-Aware Energy Accounting. CoRR Timur Babakol, Yu David Liu
2023	J	`jnl`	Verifiable Sustainability in Data Centers. CoRR Syed Rafiul Hussain, Patrick D. McDaniel, Anshul Gandhi, Kanad Ghose, Kartik Gopalan, Dongyoon Lee, Yu David Liu, Zhenhua Liu, Shuai Mu, Erez Zadok
2023	J	`jnl`	Vincent: Green hot methods in the JVM. Sci. Comput. Program. Kenan Liu, Khaled Mahmoud, Joonhwan Yoo, Yu David Liu
2022	A	`conf`	A modular, extensible framework for modern visual SLAM systems. MobiSys Sofiya Semenova, Pranay Meshram, Timothy Chase Jr., Steven Y. Ko, Yu David Liu, Lukasz Ziarek, Karthik Dantu
2022	Misc	`conf`	A quantitative analysis of system bottlenecks in visual SLAM. HotMobile Sofiya Semenova, Steven Y. Ko, Yu David Liu, Lukasz Ziarek, Karthik Dantu
2022	A*	`conf`	Composable Cachelets: Protecting Enclaves from Cache Side-Channel Attacks. USENIX Security Symposium Daniel Townley, Kerem Arikan, Yu David Liu, Dmitry Ponomarev, Oguz Ergin
2022	A*	`conf`	Eflect: Porting Energy-Aware Applications to Shared Environments. ICSE Timur Babakol, Anthony Canino, Yu David Liu
2022	J	`jnl`	Preface to the JOT special issue on ECOOP 2021: selected workshop papers. J. Object Technol. Davide Ancona, Olivier Flückiger, Adrian Francalanza, Robert Hirschfeld, Atsushi Igarashi, Yu David Liu, Hidehiko Masuhara, Chris Seaton, Harumi Watanabe
2022	J	`jnl`	The essence of online data processing. Proc. ACM Program. Lang. Philip Dexter, Yu David Liu, Kenneth Chiu
2022	A	`conf`	Vincent: Green Hot Methods in the JVM (Extended Abstract). ECOOP Kenan Liu, Khaled Mahmoud, Joonhwan Yoo, Yu David Liu
2021	—	`ed.`	COP@ECOOP 2021: Proceedings of the 13th ACM International Workshop on Context-Oriented Programming and Advanced Modularity, Virtual Event, Denmark, July 12, 2021. COP@ECOOP Yu David Liu, Harumi Watanabe, Robert Hirschfeld, Atsushi Igarashi, Hidehiko Masuhara
2021	A	`conf`	JCopter: Reliable UAV Software Through Managed Languages. IROS Adam Czerniejewski, John Henry Burns, Farshad Ghanei, Karthik Dantu, Yu David Liu, Lukasz Ziarek
2021	A*	`conf`	Understanding Bounding Functions in Safety-Critical UAV Software. ICSE Xiaozhou Liang, John Henry Burns, Joseph Sanchez, Karthik Dantu, Lukasz Ziarek, Yu David Liu
2021	J	`jnl`	Understanding Bounding Functions in Safety-Critical UAV Software. CoRR Xiaozhou Liang, John Henry Burns, Joseph Sanchez, Karthik Dantu, Lukasz Ziarek, Yu David Liu
2020	—	`conf`	Adaptive Variables for Declarative UAV Planning. COP@ECOOP John Henry Burns, Xiaozhou Liang, Yu David Liu
2020	—	`conf`	Calm energy accounting for multithreaded Java applications. ESEC/SIGSOFT FSE Timur Babakol, Anthony Canino, Khaled Mahmoud, Rachit Saxena, Yu David Liu
2019	J	`jnl`	A Foundation of Lazy Streaming Graphs. CoRR Philip Dexter, Yu David Liu, Kenneth Chiu
2019	—	`ed.`	Proceedings of the 11th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, VMIL@SPLASH 2019, Athens, Greece, October 22, 2019. VMIL@SPLASH Daniele Bonetta, Yu David Liu
2019	J	`jnl`	Selected papers of the Brazilian Symposium on Programming Languages (SBLP'15+16). Sci. Comput. Program. Fernando Castor, Yu David Liu
2019	—	`conf`	Toward a language design for energy prediction. Programming Anthony Canino, Yu David Liu
2018	—	`conf`	Stochastic energy optimization for mobile GPS applications. ESEC/SIGSOFT FSE Anthony Canino, Yu David Liu, Hidehiko Masuhara
2017	A*	`conf`	Proactive and adaptive energy-aware programming with mixed typechecking. PLDI Anthony Canino, Yu David Liu
2017	—	`conf`	Toward Energy-Aware Programming for Unmanned Aerial Vehicles. SEsCPS@ICSE Yu David Liu, Lukasz Ziarek
2017	A*	`conf`	Understanding and overcoming parallelism bottlenecks in ForkJoin applications. ASE Gustavo Pinto, Anthony Canino, Fernando Castor, Guoqing Xu, Yu David Liu
2016	A	`conf`	A Comprehensive Study on the Energy Efficiency of Java's Thread-Safe Collections. ICSME Gustavo Pinto, Kenan Liu, Fernando Castor, Yu David Liu
2016	A	`conf`	AEQUITAS: Coordinated Energy Management Across Parallel Applications. ICS Haris Ribic, Yu David Liu
2016	A	`conf`	Artifacts for "A Comprehensive Study on the Energy Efficiency of Java's Thread-Safe Collections". ICSME Gustavo Pinto, Kenan Liu, Fernando Castor, Yu David Liu
2016	A	`conf`	First-class effect reflection for effect-guided programming. OOPSLA Yuheng Long, Yu David Liu, Hridesh Rajan
2016	C	`conf`	Lazy graph processing in Haskell. Haskell Philip Dexter, Yu David Liu, Kenneth Chiu
2016	—	`ed.`	Programming Languages - 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings SBLP Fernando Castor, Yu David Liu
2015	—	`conf`	A Programming Model for Sustainable Software. ICSE (1) Haitao Steve Zhu, Chaoren Lin, Yu David Liu
2015	B	`conf`	Data-Oriented Characterization of Application-Level Energy Optimization. FASE Kenan Liu, Gustavo Pinto, Yu David Liu
2015	—	`conf`	GraphQ: Graph Query Processing with Abstraction Refinement - Scalable and Programmable Analytics over Very Large Graphs on a Single PC. USENIX ATC Kai Wang, Guoqing Xu, Zhendong Su, Yu David Liu
2015	A	`conf`	Intensional Effect Polymorphism. ECOOP Yuheng Long, Yu David Liu, Hridesh Rajan
2015	—	`conf`	Toward a Java based infrastructure for unmanned aerial vehicles. SPLASH (Companion Volume) Yu David Liu, Lukasz Ziarek
2014	A*	`conf`	Energy-efficient work-stealing language runtimes. ASPLOS Haris Ribic, Yu David Liu
2014	—	`conf`	Improving energy efficiency of work-stealing parallel languages (invited talk abstract). WODA+PERTEA@ISSTA Yu David Liu
2014	A	`conf`	Mining questions about software energy consumption. MSR Gustavo Pinto, Fernando Castor, Yu David Liu
2014	A	`conf`	Rate types for stream programs. OOPSLA Thomas Bartenstein, Yu David Liu
2014	A	`conf`	Understanding energy behaviors of thread management constructs. OOPSLA Gustavo Pinto, Fernando Castor, Yu David Liu
2013	A*	`conf`	Green streams for data-intensive software. ICSE Thomas Bartenstein, Yu David Liu
2013	A	`conf`	Heap Decomposition Inference with Linear Programming. ECOOP Haitao Steve Zhu, Yu David Liu
2012	A	`conf`	Energy types. OOPSLA Michael Cohen, Haitao Steve Zhu, Senem Ezgi Emgin, Yu David Liu
2012	—	`conf`	Energy-efficient synchronization through program patterns. GREENS Yu David Liu
2012	B	`conf`	JATO: Native Code Atomicity for Java. APLAS Siliang Li, Yu David Liu, Gang Tan
2012	—	`conf`	Variant-Frequency Semantics for Green Futures PLACES Yu David Liu
2011	—	`conf`	Toward a unified object model for cyber-physical systems. SESENA@ICSE Yu David Liu
2011	J	`jnl`	Type-specialized staged programming with process separation. High. Order Symb. Comput. Yu David Liu, Christian Skalka, Scott F. Smith
2010	A	`conf`	Task types for pervasive atomicity. OOPSLA Aditya Kulkarni, Yu David Liu, Scott F. Smith
2009	—	`conf`	Type-specialized staged programming with process separation. WGP@ICFP Yu David Liu, Christian Skalka, Scott F. Smith
2008	B	`conf`	Coqa: Concurrent Objects with Quantized Atomicity. CC Yu David Liu, Xiaoqi Lu, Scott F. Smith
2006	A	`conf`	A formal framework for component deployment. OOPSLA Yu David Liu, Scott F. Smith
2005	A	`conf`	Interaction-based programming with classages. OOPSLA Yu David Liu, Scott F. Smith
2004	A	`conf`	Modules with Interfaces for Dynamic Linking and Communication. ECOOP Yu David Liu, Scott F. Smith