Kuei (Jack) Sun

Department of Electrical & Computer Engineering

Faculty of Applied Science & Engineering

University of Toronto

During my Masters and Ph.D (ABD) at the Department of Electrical and Computer Engineering, University of Toronto, under the supervision of Prof. Ashvin Goel and Prof. Angela Demke Brown, my research focused on simplifying the development of file-system aware applications, as well as improving the robustness of these applications. The grand vision is to allow these applications to be written only once and be able to work across multiple file systems with little to no additional efforts required.

PUBLICATIONS

• 2020
  • Spiffy: Enabling File-System Aware Storage Applications [ACM Link]
    Kuei Sun, Daniel Fryer, Russell Wang, Sagar Patel, Joseph Chu, Matthew Lakier, Angela Demke Brown, and Ashvin Goel
    In ACM Transactions on Storage: Volume 16, Issue 3 (TOS), August 2020.

• 2018
  • Breaking Apart the VFS for Managing File Systems [PDF Link]
    Kuei Sun, Matthew Lakier, Angela Demke Brown and Ashvin Goel
    10th USENIX Workshop on Hot Topics in Storage and File Systems (HotStorage'18), Boston, MA, July 2018.
  • Spiffy: Enabling File-System Aware Storage Applications [PDF Link]
    Kuei Sun, Daniel Fryer, Joseph Chu, Matthew Lakier, Angela Demke Brown and Ashvin Goel
    16th USENIX conference on File and Storage Technologies (FAST'18), Oakland, CA, February 2018.

• 2014
  • Robust Consistency Checking for Modern Filesystems [PDF Link]
    Kuei Sun, Daniel Fryer, Dai Qin, Angela Demke Brown and Ashvin Goel
    14th International Conference on Runtime Verification (RV'14), Toronto, ON, September 2014.
  • Checking the Integrity of Transactional Mechanisms [PDF Link]
    Daniel Fryer, Dai Qin, Kuei Sun, Kah Wai Lee, Angela Demke Brown and Ashvin Goel
    12th USENIX conference on File and Storage Technologies (FAST'14), Santa Clara, CA, February 2014.

• 2013
  • Annotation for Automation: Rapid Generation of File System Tools [PDF Link]
    Kuei Sun, Daniel Fryer, Angela Demke Brown, Ashvin Goel
    7th Workshop on Programming Languages and Operating Systems (PLOS 2013), Nemacolin, Pennsylvania, November 2013.
  • Robust Consistency Checking for Modern Filesystems [PDF Link]
    Kuei Sun
    M.A.Sc thesis, Dept. of Electrical and Computer Engineering, University of Toronto, Toronto, Ontario, 2013.
• 2012
  • Recon: Verifying File System Consistency at Runtime [PDF Link]
    Daniel Fryer, Kuei Sun, Rahat Mahmood, Ting-Hao Cheng, Shaun Benjamin, Ashvin Goel, Angela Demke Brown
    10th USENIX Conference on File and Storage Technologies (FAST'12), San Jose, CA, February 2012
• 2011 and earlier
  • Using Declarative Invariants for Protecting File-System Integrity [PDF Link]
    Kuei Sun, Daniel Fryer, Ashvin Goel, Angela Demke Brown
    6th Workshop on Programming Languages and Operating Systems (PLOS 2011), Cascais, Portugal, October 2011
  • Replicate, Reduce, Recycle: Extending the Lifetime of Flash Memory
    Kuei Sun, Jamie Liu, Ryan Yang, Angela Demke Brown, Ashvin Goel
    Poster at 9th USENIX Symposium on Operating System Design and Implementation (OSDI'10), Vancouver, B.C. Canada, October 2010
  • Inside Vertical-Cavity Surface-Emitting Lasers: Extracting the Refractive Index From Spatial-Spectral Mode Images [IEEE Link]
    De Lange, V.; Kuei Sun; Gordon, R.,
    Quantum Electronics, IEEE Journal of , vol.43, no.3, pp.225,229, March 2007