William Mansky

发表

Joseph Devietti, Yuanfeng Peng, Christian DeLozier, 2018, 2018 IEEE International Parallel and Distributed Processing Symposium (IPDPS).

Steve Zdancewic, Joseph Devietti, Yuanfeng Peng, 2017, CPP.

Joseph Devietti, Yuanfeng Peng, Ariel Eizenberg, 2017, PLDI.

Benjamin C. Pierce, Lennart Beringer, Steve Zdancewic, 2018, CPP.

Elsa L. Gunter, Michael D. Adams, Dennis Griffith, 2016, Sci. Comput. Program..

Jeehoon Kang, Chung-Kil Hur, Viktor Vafeiadis, 2015, PLDI.

Steve Zdancewic, William Mansky, Dmitri Garbuzov, 2015, CAV.

Elsa L. Gunter, William Mansky, E. Gunter, 2010, ITP.

Elsa L. Gunter, Dennis Griffith, William Mansky, 2014, GRAPHITE.

Andrew W. Appel, William Mansky, Wolf Honoré, 2020, ESOP.

Steve Zdancewic, Christine Rizkallah, William Mansky, 2018, ArXiv.

Elsa L. Gunter, William Mansky, 2012, ITP.

Elsa L. Gunter, William Mansky, Liyi Li, 2014, ICTAC.

Andrew W. Appel, Aleksey Nogin, William Mansky, 2017, Proc. ACM Program. Lang..

Elsa L. Gunter, William Mansky, E. Gunter, 2014, WPTE@RTA/TLCA.

Karen M. Feigh, Ellen J. Bass, Matthew L. Bolton, 2011, 2011 IEEE International Conference on Systems, Man, and Cybernetics.

Benjamin C. Pierce, Lennart Beringer, Steve Zdancewic, 2021, ITP.

Elsa L. Gunter, William Mansky, Liyi Li, 2013 .