Xun Li
taken in a tanker airplane, fleet week in San Diego, 2010
Contact info
Xun Li (李寻)
PhD student, Architecture Lab
Computer Science Department, University of California, Santa Barbara
Advisor: Prof. Fred Chong
Office: HFH 5120
Email: xun at cs dot ucsb dot edu
Adademic
2004-2008 Joint Bachelor Degree (Major GPA: 3.8/4.0)
Software Engineering at Fudan University, Shanghai, China
Computer Science at University College Dublin, Ireland
2008-current PhD Student (GPA: 3.93/4.0)
Computer Science, Universty of California at Santa Barbara
Awards
Outstanding Teaching Assistant Award selected by graduate seniors, 2010-2011
Outstanding Teaching Assistant Award selected by graduate seniors, 2009-2010
Outstanding Teaching Assistant Award, Winter 2009
Publications
Conference Papers- Caisson: A Hardware Description Language for Secure Information Flow,
Xun Li, Mohit Tiwari, Jason Oberg, Vineeth Kashyap, Frederic T. Chong, Timothy Sherwood, Ben Hardekopf.
32nd ACM Conference on Programming Language Design and Implementation. (PLDI) June 2011. San Jose, California. (Caisson-Compiler)
- Crafting a Usable Microkernel, Processor, and I/O System with Strict and Provable Information Flow Security,
Mohit Tiwari, Jason Oberg, Xun Li, Jonathan Valamehr, Timothy Levin, Ben Hardekopf, Frederic T. Chong, Ryan Kastner, Timothy Sherwood.
38th International Symposium on Computer Architecture (ISCA) June 2011. San Jose, California.
- Function Flattening for Lease-Based, Information-Leak-Free Systems,
Xun Li, Mohit Tiwari, Timothy Sherwood, Frederic T. Chong.
21st IEEE International Conference on Application-specific Systems, Architectures and Processors(ASAP), July 2010, Rennes, France.
- Tracking Information Flow at the Gate-Level for Secure Architectures,
Mohit Tiwari, Xun Li, Hassan Wassel, Bita Mazloom, Shashidhar Mysore, Frederic T. Chong, and Timothy Sherwood.
IEEE Micro: Micro's Top Picks from Computer Architecture Conferences (IEEE Micro - top pick), January-February 2010.
- Execution Leases: A Hardware Supported Mechanism for Strong Non-Interference,
Mohit Tiwari, Xun Li, Hassan M G Wassel, Frederic T. Chong, Timothy Sherwood
in The 42nd Annual IEEE/ACM International Symposium on Microarchitecture (Micro), December 2009, New York.
-
Journals
- A Study of Reusing Smartphones to Augment Elementary School Education,
Xun Li, Pablo J. Ortiz, Jeffery Browne, Diana Franklin, John Y. Oliver, Roland Geyer, Yuanyuan Zhou, Frederic T. Chong.
International Journal of Handheld Computing Research (IJHCR), 2011 - Mitigating the Environmental Impact of Smartphones with Device Reuse,
Xun Li, Pablo J. Ortiz, Brandon Kuczenski, Diana Franklin, Frederic T. Chong.
in book "Sustainable Green Computing: Practices, Methodologies and Technologies", IGC Global, 2011 - Smartphone Evolution and Reuse: Establishing a more Sustainable Model,
Xun Li, Pablo J. Ortiz, Jeffery Browne, Diana Franklin, John Y. Oliver, Roland Geyer, Yuanyuan Zhou, Frederic T. Chong.
Second International Workshop on Green Computing (GreenCom), in conjunction with ICPP'10, September 2010, San Diego. - A Case for Smartphone Reuse to Augment Elementary School Education,
Xun Li, Pablo J. Ortiz, Jeffery Browne, Diana Franklin, John Y. Oliver, Roland Geyer, Yuanyuan Zhou, Frederic T. Chong.
The Work in Progress in Green Computing(WIPGC), in conjunction with IGCC'10, August 2010, Chicago. - Secure Information Flow Analysis for Hardware Design: Using the Right Abstraction for the Job,
Xun Li, Mohit Tiwari, Ben Hardekopf, Timothy Sherwood, Frederic T. Chong.
The Fifth ACM SIGPLAN Workshop on Programming Languages and Analysis for Security(PLAS), in conjunction with PLDI'10, June 2010, Toronto, Canada.