A symbolic verifier for CUDA programs
- 期刊名称ACM SIGPLAN Notices
- 作者Li, Guodong; Gopalakrishnan, Ganesh; Kirby, Robert M.; Quinlan, Dan
- 卷第45卷
- 期第5期
- 印刷ISSN0362-1340
- 文件大小303.00KB
- 发表时间2010-05-01
- DOI10.1145/1837853.1693512
Total synthesis of (.+-.)-isocomenePirrung, Michael C. · Journal of the American Chemical Society · 1979
Decomposition of Malonic AnhydridesPerrin, Charles L.; Flach, Agnes; Manalo, Marlon N. · Journal of the American Chemical Society · 2012
Emissive RNA AlphabetShin, Dongwon; Sinkeldam, Renatus W.; Tor, Yitzhak · Journal of the American Chemical Society · 2011
Total Synthesis of (−)-IsoschizogamineMiura, Yusuke; Hayashi, Noriyuki; Yokoshima, Satoshi; Fukuyama, Tohru · Journal of the American Chemical Society · 2012
A Concise Synthesis of (+)-ArtemisininZhu, Chunyin; Cook, Silas P. · Journal of the American Chemical Society · 2012
Janus Colloidal MatchsticksChaudhary, Kundan; Chen, Qian; Juárez, Jaime J.; Granick, Steve; Lewis, Jennifer A. · Journal of the American Chemical Society · 2012
Trifluoromethylation of α-HaloketonesNovák, Petr; Lishchynskyi, Anton; Grushin, Vladimir V. · Journal of the American Chemical Society · 2012
Spotlights on Recent <i>JACS</i> PublicationsHayashi, Shinji; Okamoto, Takayuki · Journal of the American Chemical Society · 2012