@InProceedings{HuLHKCS2019,
  author = 	 {Jingmei Hu and Eric Lu and David A. Holland and Ming Kawaguchi and Stephen Chong and Margo I. Seltzer},
  title = 	 {Trials and Tribulations in Synthesizing Operating Systems},
  booktitle =    {Proceedings of the 10th Workshop on Programming Languages and Operating Systems},
  year = 	 2019,
  month = 	 oct,
  publisher =    {ACM},
  address = 	 {New York, NY, USA}
}