Zhong Shao

发表

Andrew W. Appel, Zhong Shao, Zhong Shao, 1993, POPL '93.
Zhong Shao, Xiaojie Guo, Meng-qi Liu, 2019, CAV.
Zhong Shao, Christopher League, Valery Trifonov, 2003, CC.
Zhong Shao, 1998, ICFP '98.
Xinyu Feng, Zhong Shao, Gang Tan, 2009, APLAS.
Zhong Shao, Stefan Monnier, Zhong Shao, 2003 .
Yu Guo, Xinyu Feng, Zhong Shao, 2007, TLDI '07.
Peter Kazanzides, Zhong Shao, Anton Deguet, 2012, 2012 IEEE International Conference on Robotics and Automation.
Zhong Shao, Ronghui Gu, Hao Chen, 2016, Journal of Automated Reasoning.
Zhong Shao, Ronghui Gu, Hao Chen, 2017, Journal of Automated Reasoning.
Zhong Shao, Ji-Yong Shin, Hernán Vanzetto, 2019, SoCC.
Zhong Shao, Jan Hoffmann, 2015, J. Funct. Program..
Zhong Shao, Zhong Shao, 2013, Lecture Notes in Computer Science.
David Teller, Zhong Shao, Zhong Shao, 2000 .
Zhong Shao, Ronghui Gu, Vilhelm Sjöberg, 2019, Commun. ACM.
Zhong Shao, Ronghui Gu, Vilhelm Sjöberg, 2017, APLAS.
Zhong Shao, Antonis Stampoulis, Zhong Shao, 2010, ICFP '10.
Zhong Shao, Yuting Wang, Pierre Wilke, 2019, Proc. ACM Program. Lang..
Zhong Shao, Dachuan Yu, Nadeem Abdul Hamid, 2004, Sci. Comput. Program..
Yu Guo, Xinyu Feng, Zhong Shao, 2012, APLAS.
Zhong Shao, Zhaozhong Ni, 2006, POPL '06.
Zhong Shao, Hans-J. Boehm, 1993 .
Zhong Shao, Christopher League, Valery Trifonov, 2003, Foundations of Intrusion Tolerant Systems, 2003 [Organically Assured and Survivable Information Systems].
Zhong Shao, Nadeem Abdul Hamid, Stefan Monnier, 2004, Journal of Automated Reasoning.
Zhong Shao, Christopher League, Zhong Shao, 2002 .
Zhong Shao, Nadeem Abdul Hamid, Zhong Shao, 2004, TPHOLs.
Zhong Shao, David Costanzo, 2012, APLAS.
Zhong Shao, Man-Ki Yoon, Ronghui Gu, 2019, Proc. ACM Program. Lang..
Zhong Shao, Zongyan Qiu, Jinjiang Lei, 2014, 2014 Theoretical Aspects of Software Engineering Conference.
Xinyu Feng, Zhong Shao, Rodrigo Ferreira, 2010, ESOP.
Zhong Shao, Valery Trifonov, Bratin Saha, 2005 .
Yu Guo, Xinyu Feng, Zhong Shao, 2009, Journal of Automated Reasoning.
Zhong Shao, Jan Hoffmann, Quentin Carbonneaux, 2015, PLDI.
Zhong Shao, Valery Trifonov, Bratin Saha, 2003, TOPL.
Zhong Shao, Valery Trifonov, 1999, ESOP.
Zhong Shao, Christopher League, Valery Trifonov, 2002, TOPL.
Zhong Shao, 2000, SOEN.
Zhong Shao, Dachuan Yu, Valery Trifonov, 2002, Java Virtual Machine Research and Technology Symposium.
Xinyu Feng, Zhong Shao, Zhong Shao, 2008 .
Andrew W. Appel, Zhong Shao, Valery Trifonov, 2005 .
Zhong Shao, Dachuan Yu, Zhong Shao, 2004 .
Zhong Shao, Lars Birkedal, Derek Dreyer, 2015, Dagstuhl Reports.
Zhong Shao, Bratin Saha, 1998, Types in Compilation.
Zhong Shao, Stefan Monnier, Christopher League, 1998, ICFP '98.
Zhong Shao, Stefan Monnier, Bratin Saha, 2001, PLDI '01.
Zhong Shao, Tahina Ramananandro, Jan Hoffmann, 2014, PLDI.
Zhong Shao, Valery Trifonov, Bratin Saha, 2000, ICFP '00.
Zhong Shao, Stefan Monnier, 2003, J. Funct. Program..
Zhong Shao, Thomas W. Reps, Jan Hoffmann, 2017, CAV.
Zhong Shao, Nadeem Abdul Hamid, Stefan Monnier, 2002, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.
Zhong Shao, Dachuan Yu, Zhaozhong Ni, 2007, TPHOLs.
Andrew W. Appel, Zhong Shao, Zhong Shao, 1992, LISP Symb. Comput..
Zhong Shao, Tahina Ramananandro, Ronghui Gu, 2018, PLDI.
Zhong Shao, Man-Ki Yoon, Zhong Shao, 2019, 2019 IEEE 39th International Conference on Distributed Computing Systems (ICDCS).
Zhong Shao, 2010, Commun. ACM.
Zhong Shao, 2009, 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering.
Zhong Shao, Zhong Shao, 2015 .
Zhong Shao, 2001, Electron. Notes Theor. Comput. Sci..
Andrew W. Appel, Zhong Shao, 2000, TOPL.
Zhong Shao, Nikolaos S. Papaspyrou, Valery Trifonov, 2002, Foundations of Intrusion Tolerant Systems, 2003 [Organically Assured and Survivable Information Systems].
Yu Guo, Zhong Shao, Tahina Ramananandro, 2015, POPL.
Zhong Shao, Antonis Stampoulis, 2012, POPL '12.
Xinyu Feng, Zhong Shao, Yong Li, 2012, TAMC.
Zhong Shao, Dachuan Yu, Nadeem Abdul Hamid, 2003, Sci. Comput. Program..
Hao Chen, Zhong Shao, Chen Liang, 2019, Frontiers of Information Technology & Electronic Engineering.
Zhong Shao, 1997, ICFP '97.
Zhong Shao, Man-Ki Yoon, Valerie Chen, 2019, 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W).
Zhong Shao, Yuchen Fu, Tahina Ramananandro, 2015, CPP.
Xinyu Feng, Zhong Shao, Hongjin Liang, 2014 .
Zhong Shao, Valery Trifonov, 1998, Types in Compilation.
Andrew W. Appel, Zhong Shao, John H. Reppy, 1994, LFP '94.
Zhong Shao, Baijun Zhang, Jie Mo, 2014 .
Xinyu Feng, Zhong Shao, Gang Tan, 2010, New Generation Computing.
Zhong Shao, Vilhelm Sjöberg, Yuyang Sang, 2019, Proc. ACM Program. Lang..
Liang Gu, Zhong Shao, Bryan Ford, 2011, APSys.
Zhong Shao, Jan Hoffmann, 2015, ESOP.
Zhong Shao, Zhong Shao, 2014, Lecture Notes in Computer Science.
Long Li, Zhong Shao, Andrew McCreight, 2007, PLDI '07.
Zhong Shao, Christopher League, Valery Trifonov, 1999, ICFP '99.
Zhong Shao, Gregory D. Collins, Zhong Shao, 2002 .
Zhong Shao, Shigeji Miyazaki, Youji Nomura, 1995 .
Andrew W. Appel, Zhong Shao, 1994, LFP '94.
Zhong Shao, Jan Hoffmann, Michael Marmar, 2013, 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.
Yu Guo, Zhong Shao, Yiyun Chen, 2007, First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07).
Zhong Shao, Hongxu Cai, Alexander Vaynberg, 2007, PLDI '07.
Andrew W. Appel, Zhong Shao, 1995, PLDI '95.
Yu Guo, Zhong Shao, Wei Wang, 2011, 2011 Fifth International Conference on Theoretical Aspects of Software Engineering.
Zhong Shao, Alexander Vaynberg, 2012, CPP.
Zhong Shao, Jérémie Koenig, 2021, PLDI.
Zhong Shao, Jérémie Koenig, Zhong Shao, 2021, Artifact Digital Object Group.
Zhong Shao, Jung-Eun Kim, Man-Ki Yoon, 2021, USENIX Security Symposium.
Zhong Shao, Dachuan Yu, Valery Trifonov, 2002 .
Andrew W. Appel, Zhong Shao, Adam Chlipala, 2017, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.