N. Polikarpova
发表
Armando Solar-Lezama,
N. Polikarpova,
I. Kuraj,
2016,
PLDI.
Arun Kumar,
Supun Nakandala,
Supun Nakandala,
2022,
SIGMOD Conference.
N. Polikarpova,
2019
.
J. Filliâtre,
Wojciech Mostowski,
Radu Grigore,
2011
.
N. Polikarpova,
Shraddha Barke,
M. James,
2022,
2206.15000.
N. Polikarpova,
Travis Hance,
2017
.
Armando Solar-Lezama,
N. Polikarpova,
I. Kuraj,
2016
.
N. Polikarpova,
Shraddha Barke,
M. James,
2022,
Proc. ACM Program. Lang..
Nadia Polikarpova,
Peter Schrammel,
Maria Christakis,
2020,
VSTTE.
Di Wang,
Nadia Polikarpova,
Jan Hoffmann,
2019,
PLDI.
Max Willsey,
N. Polikarpova,
Chandrakana Nandi,
2022,
Proc. ACM Program. Lang..
Armando Solar-Lezama,
Nadia Polikarpova,
Armando Solar-Lezama,
2015,
PLDI.
Sorin Lerner,
Hila Peleg,
Nadia Polikarpova,
2020,
UIST.
Hila Peleg,
Nadia Polikarpova,
Shraddha Barke,
2020,
Proc. ACM Program. Lang..
Edsko de Vries,
Armando Solar-Lezama,
N. Polikarpova,
2022,
Proc. ACM Program. Lang..
Ranjit Jhala,
Nadia Polikarpova,
Ziteng Wang,
2019,
Proc. ACM Program. Lang..
Sorin Lerner,
Hila Peleg,
Nadia Polikarpova,
2021,
Proc. ACM Program. Lang..
Zheng Guo,
Michael B. James,
Ziteng Wang,
2020,
Proc. ACM Program. Lang..
Gidon Ernst,
Radu Grigore,
Vladimir Klebanov,
2011,
FoVeOOS.
Tom Ridge,
Natarajan Shankar,
Frank Piessens,
2011,
FM.
Ilya Sergey,
Peter Müller,
N. Polikarpova,
2023
.
Michal Moskal,
Nadia Polikarpova,
Michal Moskal,
2012,
VSTTE.
Sorin Lerner,
N. Polikarpova,
M. James,
2023,
ArXiv.
K. Rustan M. Leino,
Nadia Polikarpova,
K. Leino,
2013,
VSTTE.
Nadia Polikarpova,
Carlo A. Furia,
Julian Tschannen,
2017
.
Hila Peleg,
Nadia Polikarpova,
Hila Peleg,
2020,
Dagstuhl Artifacts Ser..
Deian Stefan,
Ranjit Jhala,
Nadia Polikarpova,
2021,
OSDI.
Armando Solar-Lezama,
Deian Stefan,
Nadia Polikarpova,
2016,
Proc. ACM Program. Lang..
Reuben N. S. Rowe,
Hila Peleg,
Nadia Polikarpova,
2021,
PLDI.
Sorin Lerner,
Hila Peleg,
Nadia Polikarpova,
2021,
ESEC/SIGSOFT FSE.
Nadia Polikarpova,
Ilya Sergey,
Ilya Sergey,
2018,
Proc. ACM Program. Lang..
Armando Solar-Lezama,
Nadia Polikarpova,
Shachar Itzhaky,
2016
.
Reuben N. S. Rowe,
Hila Peleg,
Nadia Polikarpova,
2021,
CAV.
Bertrand Meyer,
Nadia Polikarpova,
Ilinca Ciupa,
2009,
ISSTA.
Bertrand Meyer,
Nadia Polikarpova,
Carlo A. Furia,
2013,
FM.
Bertrand Meyer,
Nadia Polikarpova,
Yi Wei,
2012,
2013 35th International Conference on Software Engineering (ICSE).
Armando Solar-Lezama,
Nadia Polikarpova,
Xiaokang Qiu,
2015,
TACAS.
Nadia Polikarpova,
Carlo A. Furia,
Martin Nordio,
2015,
International Journal on Software Tools for Technology Transfer.
Nadia Polikarpova,
Shraddha Barke,
Eric Meinhardt,
2019,
EMNLP.
Anatoly Shalyto,
N. I. Polikarpova,
V. N. Tochilin,
2010
.
Carlo A. Furia,
N. Polikarpova,
Julian Tschannen,
2015,
Formal Aspects of Computing.
Nadia Polikarpova,
Ilya Sergey,
Kiran Gopinathan,
2021,
Proc. ACM Program. Lang..
N. Polikarpova,
2014
.
Bertrand Meyer,
Nadia Polikarpova,
Carlo A. Furia,
2010,
VSTTE.
Cole Schlesinger,
Jean Yang,
N. Polikarpova,
2022,
PLDI.