受强制性开放获取政策约束的文章 - Nadia Polikarpova了解详情
可在其他位置公开访问的文章：28 篇
Grounded copilot: How programmers interact with code-generating models
S Barke, MB James, N Polikarpova
Proceedings of the ACM on Programming Languages 7 (OOPSLA1), 85-111, 2023
强制性开放获取政策： US National Science Foundation
Program synthesis from polymorphic refinement types
N Polikarpova, I Kuraj, A Solar-Lezama
ACM SIGPLAN Notices 51 (6), 522-538, 2016
强制性开放获取政策： US National Science Foundation
Program synthesis by type-guided abstraction refinement
Z Guo, M James, D Justo, J Zhou, Z Wang, R Jhala, N Polikarpova
Proceedings of the ACM on Programming Languages 4 (POPL), 1-28, 2019
强制性开放获取政策： US National Science Foundation
Resource-guided program synthesis
T Knoth, D Wang, N Polikarpova, J Hoffmann
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
强制性开放获取政策： US National Science Foundation, US Department of Defense
What good are strong specifications?
N Polikarpova, CA Furia, Y Pei, Y Wei, B Meyer
2013 35th international conference on software engineering (icse), 262-271, 2013
强制性开放获取政策： Swiss National Science Foundation
Just-in-time learning for bottom-up enumerative synthesis
S Barke, H Peleg, N Polikarpova
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-29, 2020
强制性开放获取政策： US National Science Foundation
Liquid information flow control
N Polikarpova, D Stefan, J Yang, S Itzhaky, T Hance, A Solar-Lezama
Proceedings of the ACM on Programming Languages 4 (ICFP), 1-30, 2020
强制性开放获取政策： US National Science Foundation
Small-step live programming by example
K Ferdowsifard, A Ordookhanians, H Peleg, S Lerner, N Polikarpova
Proceedings of the 33rd Annual ACM Symposium on User Interface Software and …, 2020
强制性开放获取政策： US National Science Foundation
Flexible invariants through semantic collaboration
N Polikarpova, J Tschannen, CA Furia, B Meyer
FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16 …, 2014
强制性开放获取政策： Swiss National Science Foundation
Babble: Learning better abstractions with e-graphs and anti-unification
D Cao, R Kunkel, C Nandi, M Willsey, Z Tatlock, N Polikarpova
Proceedings of the ACM on Programming Languages 7 (POPL), 396-424, 2023
强制性开放获取政策： US National Science Foundation
A fully verified container library
N Polikarpova, J Tschannen, CA Furia
International Symposium on Formal Methods, 414-434, 2015
强制性开放获取政策： Swiss National Science Foundation, European Commission
Digging for fold: synthesis-aided API discovery for Haskell
MB James, Z Guo, Z Wang, S Doshi, H Peleg, R Jhala, N Polikarpova
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-27, 2020
强制性开放获取政策： US National Science Foundation
Perfect is the enemy of good: Best-effort program synthesis
H Peleg, N Polikarpova
34th European Conference on Object-Oriented Programming (ECOOP 2020), 2020
强制性开放获取政策： US National Science Foundation
Cyclic program synthesis
S Itzhaky, H Peleg, N Polikarpova, RNS Rowe, I Sergey
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
强制性开放获取政策： US National Science Foundation
To run what no one has run before: Executing an intermediate verification language
N Polikarpova, CA Furia, S West
International Conference on Runtime Verification, 251-268, 2013
强制性开放获取政策： Swiss National Science Foundation
LooPy: interactive program synthesis with control structures
K Ferdowsifard, S Barke, H Peleg, S Lerner, N Polikarpova
Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-29, 2021
强制性开放获取政策： US National Science Foundation
Synthesis of recursive ADT transformations from reusable templates
JP Inala, N Polikarpova, X Qiu, BS Lerner, A Solar-Lezama
Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017
强制性开放获取政策： US National Science Foundation
{STORM}: Refinement types for secure web applications
N Lehmann, R Kunkel, J Brown, J Yang, N Vazou, N Polikarpova, ...
15th {USENIX} Symposium on Operating Systems Design and Implementation …, 2021
强制性开放获取政策： US National Science Foundation
Searching entangled program spaces
J Koppel, Z Guo, E De Vries, A Solar-Lezama, N Polikarpova
Proceedings of the ACM on Programming Languages 6 (ICFP), 23-51, 2022
强制性开放获取政策： US National Science Foundation, US Department of Defense
Type-directed program synthesis for restful apis
Z Guo, D Cao, D Tjong, J Yang, C Schlesinger, N Polikarpova
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022
强制性开放获取政策： US National Science Foundation
出版信息和资助信息由计算机程序自动确定