Sang Phan und Quoc-Sang - Info zur Person

(1 - 13 von 14

)

qsphan (Quoc-Sang Phan) · GitHub

github.com

qsphan has 23 repositories available. Follow their code on GitHub.

Quoc-Sang Phan

qsphan.github.io

Sang Phan. (in Vietnamese: Phan Quốc Sáng). Software Engineer at Facebook. email. I work at the WhatsApp security team in Menlo ...

Automated Technology for Verification and Analysis: 17th ...

books.google.com

209 Long H. Pham, Quang Loc Le, Quoc-Sang Phan, Jun Sun, and Shengchao Qin BUBEN: Automated Library Abstractions Enabling Scalable Bug Detection for Large ...

Symbolic Execution and Quantitative Reasoning: Applications ...

books.google.com

My post doctoral researchers, Kasper Luckow, Rody Kersten, and Quoc-Sang Phan, have also made major contributions to the complexity analysis and ...

Quoc-sang Phan, Postdoctoral researcher at Carnegie mellon university

www.slideshare.net

View all of Quoc-Sang Phan's Presentations.

Quoc-Sang Phan - SlideShare

de.slideshare.net

› ...

dblp: Quoc-Sang Phan

dblp.uni-trier.de

List of computer science publications by Quoc-Sang Phan

Quoc-Sang Phan - DBLPdblp.org › Persons

dblp.org

· List of computer science publications by Quoc-Sang Phan.

Alle Infos zum Namen "Sang Phan"

Quoc-Sang Phan - Senior Software Engineer - Synopsys Inc ...

www.linkedin.com

View Quoc-Sang Phan's profile on LinkedIn, the world's largest professional community. Quoc-Sang has 7 jobs listed on their profile. See the complete profile on ...