1![KRust: A Formal Executable Semantics of Rust Feng Wang∗ , Fu Song∗ , Min Zhang† , Xiaoran Zhu† and Jun Zhang∗ ∗ School † Shanghai of Information Science and Technology, ShanghaiTech University, Shanghai, C KRust: A Formal Executable Semantics of Rust Feng Wang∗ , Fu Song∗ , Min Zhang† , Xiaoran Zhu† and Jun Zhang∗ ∗ School † Shanghai of Information Science and Technology, ShanghaiTech University, Shanghai, C](https://www.pdfsearch.io/img/d3ecec75324c9d6c46e7c40c6d895671.jpg) | Add to Reading ListSource URL: sist.shanghaitech.edu.cnLanguage: English - Date: 2018-07-06 22:20:16
|
---|
2![KRust: A Formal Executable Semantics of Rust Feng Wang∗, Fu Song∗, Min Zhang† , Xiaoran Zhu† and Jun Zhang∗ ∗ School arXiv:1804.10806v1 [cs.PL] 28 Apr 2018 KRust: A Formal Executable Semantics of Rust Feng Wang∗, Fu Song∗, Min Zhang† , Xiaoran Zhu† and Jun Zhang∗ ∗ School arXiv:1804.10806v1 [cs.PL] 28 Apr 2018](https://www.pdfsearch.io/img/e5e2385a87240df969ab166faebd54b5.jpg) | Add to Reading ListSource URL: arxiv.orgLanguage: English - Date: 2018-04-30 20:45:20
|
---|
3![Onix: A Distributed Control Platform for Large-scale Production Networks Teemu Koponen∗ , Martin Casado∗ , Natasha Gude∗ , Jeremy Stribling∗ , Leon Poutievski† , Min Zhu† , Rajiv Ramanathan† , Yuichiro Iwat Onix: A Distributed Control Platform for Large-scale Production Networks Teemu Koponen∗ , Martin Casado∗ , Natasha Gude∗ , Jeremy Stribling∗ , Leon Poutievski† , Min Zhu† , Rajiv Ramanathan† , Yuichiro Iwat](https://www.pdfsearch.io/img/81257e27e5e1bc4a2365f832bb85040d.jpg) | Add to Reading ListSource URL: static.usenix.orgLanguage: English - Date: 2010-09-23 11:16:30
|
---|
4![Different Users, Different Opinions: Predicting Search Satisfaction with Mouse Movement Information Yiqun Liu† , Ye Chen† , Jinhui Tang‡ , Jiashen Sun? , Min Zhang† , Shaoping Ma† , Xuan Zhu? † Tsinghua Nati Different Users, Different Opinions: Predicting Search Satisfaction with Mouse Movement Information Yiqun Liu† , Ye Chen† , Jinhui Tang‡ , Jiashen Sun? , Min Zhang† , Shaoping Ma† , Xuan Zhu? † Tsinghua Nati](https://www.pdfsearch.io/img/b2cfbca071482d3ef96773f4d5cf21dd.jpg) | Add to Reading ListSource URL: www.thuir.cnLanguage: English - Date: 2015-05-11 02:47:41
|
---|
5![GSA General Assembly Minutes of Dec 4th, The meeting was called to order at 4:35pm by GSA President Zhe He. 2) Attendees: E–board: Zhe He, Kirtan Shah, Min Zhang, Heng Wang, Yalin Zhu, Tejas Agarwal Voting Memb GSA General Assembly Minutes of Dec 4th, The meeting was called to order at 4:35pm by GSA President Zhe He. 2) Attendees: E–board: Zhe He, Kirtan Shah, Min Zhang, Heng Wang, Yalin Zhu, Tejas Agarwal Voting Memb](https://www.pdfsearch.io/img/97c5c63a01efc653f1d7b5c0bbfe9ce3.jpg) | Add to Reading ListSource URL: gsa.njit.eduLanguage: English - Date: 2015-09-30 14:13:36
|
---|
6![GSA General Assembly Minutes of September 26th , The meeting was called to order at 4:35pm by GSA President Zhe He 2) Attendees: E–board: Zhe He, Kirtan Shah, Min Zhang, Heng Wang, Yalin Zhu, Tejas Agarwal Voti GSA General Assembly Minutes of September 26th , The meeting was called to order at 4:35pm by GSA President Zhe He 2) Attendees: E–board: Zhe He, Kirtan Shah, Min Zhang, Heng Wang, Yalin Zhu, Tejas Agarwal Voti](https://www.pdfsearch.io/img/4e7b1a2d94c5a78d33594821e4b7c6ac.jpg) | Add to Reading ListSource URL: gsa.njit.eduLanguage: English - Date: 2015-09-30 14:13:36
|
---|
7![Detecting Promotion Campaigns in Community Question Answering Xin Li† , Yiqun Liu† , Min Zhang† , Shaoping Ma† , Xuan Zhu‡ , Jiashen Sun‡ † State Key Lab of Intelligent Technology & Systems; Tsinghua Nation Detecting Promotion Campaigns in Community Question Answering Xin Li† , Yiqun Liu† , Min Zhang† , Shaoping Ma† , Xuan Zhu‡ , Jiashen Sun‡ † State Key Lab of Intelligent Technology & Systems; Tsinghua Nation](https://www.pdfsearch.io/img/0cfcfcc50bc9896bcc50ed20038fcc04.jpg) | Add to Reading ListSource URL: www.thuir.cnLanguage: English - Date: 1969-12-31 19:00:00
|
---|
8![B4: Experience with a Globally-Deployed Software Defined WAN Sushant Jain, Alok Kumar, Subhasree Mandal, Joon Ong, Leon Poutievski, Arjun Singh, Subbaiah Venkata, Jim Wanderer, Junlan Zhou, Min Zhu, Jonathan Zolla, Urs H B4: Experience with a Globally-Deployed Software Defined WAN Sushant Jain, Alok Kumar, Subhasree Mandal, Joon Ong, Leon Poutievski, Arjun Singh, Subbaiah Venkata, Jim Wanderer, Junlan Zhou, Min Zhu, Jonathan Zolla, Urs H](https://www.pdfsearch.io/img/b4041e483a42f90c13040166be64584c.jpg) | Add to Reading ListSource URL: conferences.sigcomm.orgLanguage: English - Date: 2013-07-12 10:10:00
|
---|
9![ImageNet classification: fast descriptor coding and large-scale SVM training Yuanqing Lin, Fengjun Lv, Shenghuo Zhu, Ming Yang, Timothee Cour, Kai Yu LiangLiang Cao, Zhen Li, Min-Hsuan Tsai, ImageNet classification: fast descriptor coding and large-scale SVM training Yuanqing Lin, Fengjun Lv, Shenghuo Zhu, Ming Yang, Timothee Cour, Kai Yu LiangLiang Cao, Zhen Li, Min-Hsuan Tsai,](https://www.pdfsearch.io/img/7557b88a538abe439fabfc9aa31a889c.jpg) | Add to Reading ListSource URL: www.linyq.comLanguage: English - Date: 2010-11-04 13:32:00
|
---|
10![COSMETIC Comparison of Three Different Fat Graft Preparation Methods: Gravity Separation, Centrifugation, and Simultaneous Washing with Filtration in a Closed System Min Zhu, M.D. COSMETIC Comparison of Three Different Fat Graft Preparation Methods: Gravity Separation, Centrifugation, and Simultaneous Washing with Filtration in a Closed System Min Zhu, M.D.](https://www.pdfsearch.io/img/daf2c4bfc9e08a8ff08eb5b1d51644bc.jpg) | Add to Reading ListSource URL: www.biyougeka.comLanguage: English - Date: 2014-11-28 02:33:57
|
---|