Xun Li

According to our database, Xun Li authored at least 13 papers between 2009 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

ReDHiP: Recalibrating Deep Hierarchy Prediction for Energy Efficiency.

Xun Li, Diana Franklin, Ricardo Bianchini, Frederic T. Chong

Proceedings of the 2014 IEEE 28th International Parallel and Distributed Processing Symposium, 2014

Sapper: a language for hardware-level security policy enforcement.

Xun Li, Vineeth Kashyap, Jason K. Oberg, Mohit Tiwari, Vasanth Ram Rajarathinam, Ryan Kastner, Timothy Sherwood, Ben Hardekopf, Frederic T. Chong

Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2014

2013

Position paper: Sapper - a language for provable hardware policy enforcement.

Xun Li, Vineeth Kashyap, Jason K. Oberg, Mohit Tiwari, Vasanth Ram Rajarathinam, Ryan Kastner, Timothy Sherwood, Ben Hardekopf, Frederic T. Chong

Proceedings of the 2013 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, 2013

A Case for Energy-Aware Security Mechanisms.

Xun Li, Frederic T. Chong

Proceedings of the 27th International Conference on Advanced Information Networking and Applications Workshops, 2013

2012

A Study of Reusing Smartphones to Augment Elementary School Education.

Xun Li, Pablo J. Ortiz, Jeffrey Browne, Diana Franklin, John Y. Oliver, Roland Geyer, Yuanyuan Zhou, Frederic T. Chong

Int. J. Handheld Comput. Res., 2012

2011

Caisson: a hardware description language for secure information flow.

Xun Li, Mohit Tiwari, Jason Oberg, Vineeth Kashyap, Frederic T. Chong, Timothy Sherwood, Ben Hardekopf

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

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 E. Levin, Ben Hardekopf, Ryan Kastner, Frederic T. Chong, Timothy Sherwood

Proceedings of the 38th International Symposium on Computer Architecture (ISCA 2011), 2011

2010

Gate-Level Information-Flow Tracking for Secure Architectures.

Mohit Tiwari, Xun Li, Hassan M. G. Wassel, Bita Mazloom, Shashidhar Mysore, Frederic T. Chong, Timothy Sherwood

IEEE Micro, 2010

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

Proceedings of the 2010 Workshop on Programming Languages and Analysis for Security, 2010

Smartphone Evolution and Reuse: Establishing a More Sustainable Model.

Xun Li, Pablo J. Ortiz, Jeffrey Browne, Diana Franklin, John Y. Oliver, Roland Geyer, Yuanyuan Zhou, Frederic T. Chong

Proceedings of the 39th International Conference on Parallel Processing, 2010

A case for smartphone reuse to augment elementary school education.

Xun Li, Pablo J. Ortiz, Jeffrey Browne, Diana Franklin, John Y. Oliver, Roland Geyer, Yuanyuan Zhou, Frederic T. Chong

Proceedings of the International Green Computing Conference 2010, 2010

Function flattening for lease-based, information-leak-free systems.

Xun Li, Mohit Tiwari, Timothy Sherwood, Frederic T. Chong

Proceedings of the 21st IEEE International Conference on Application-specific Systems Architectures and Processors, 2010

2009

Execution leases: a hardware-supported mechanism for enforcing strong non-interference.

Mohit Tiwari, Xun Li, Hassan M. G. Wassel, Frederic T. Chong, Timothy Sherwood

Proceedings of the 42st Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-42 2009), 2009