| 11977606 |
Pattern base configuration verifier |
Ranjita Bhagwan, Sonu Mehta, Sahil Garg |
2024-05-07 |
| 11941372 |
Edit automation using an anchor target list |
Titus Barik, Gustavo Araujo Soares, Piyush Arora, Peter GROENEWEGEN, Sumit Gulwani +7 more |
2024-03-26 |
| 11934801 |
Multi-modal program inference |
Kiarash Rahmani, Mohammad H. Raza, Sumit Gulwani, Vu Minh Le, Daniel James Morris +2 more |
2024-03-19 |
| 11875136 |
Edit automation using a temporal edit pattern |
Gustavo Araujo Soares, Piyush Arora, Titus Barik, Peter GROENEWEGEN, Sumit Gulwani +7 more |
2024-01-16 |
| 11775293 |
Deploying a static code analyzer based on program synthesis from input-output examples |
Peter GROENEWEGEN, Gustavo Araujo Soares, Mark Alistair WILSON-THOMAS, Jonathan Keith SIMMONS |
2023-10-03 |
| 11714613 |
Surfacing underutilized tool features |
Peter GROENEWEGEN, Gustavo Araujo Soares, Mark Alistair WILSON-THOMAS, Piyush Arora, Aaron Chak Hei YIM +4 more |
2023-08-01 |
| 11513773 |
Feedback-driven semi-supervised synthesis of program transformations |
Shraddha Govind Barke, Xiang Gao, Sumit Gulwani, Alan Thomas Leung, Nachiappan Nagappan +3 more |
2022-11-29 |
| 11074048 |
Autosynthesized sublanguage snippet presentation |
Mark Alistair WILSON-THOMAS, Ivan Radicek, Ashish Tiwari, Sumit Gulwani, Titus Barik |
2021-07-27 |
| 10983813 |
Automatic repetition of context-specific code edits |
Sumit Gulwani, Abhishek Udupa, Gustavo Araujo Soares, Vu Minh Le, Anders Miltner +1 more |
2021-04-20 |
