| Synthesizing configuration file specifications with association rule learning M Santolucito, E Zhai, R Dhodapkar, A Shim, R Piskac Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-20, 2017 | 55 | 2017 |
| Temporal stream logic: Synthesis beyond the bools B Finkbeiner, F Klein, R Piskac, M Santolucito International Conference on Computer Aided Verification, 609-629, 2019 | 49 | 2019 |
| Probabilistic automated language learning for configuration files M Santolucito, E Zhai, R Piskac Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016 | 35 | 2016 |
| Can reactive synthesis and syntax-guided synthesis be friends? W Choi, B Finkbeiner, R Piskac, M Santolucito Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022 | 22 | 2022 |
| Synthesizing functional reactive programs B Finkbeiner, F Klein, R Piskac, M Santolucito Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 162-175, 2019 | 22 | 2019 |
| Live programming by example M Santolucito, WT Hallahan, R Piskac Extended abstracts of the 2019 CHI conference on human factors in computing …, 2019 | 19 | 2019 |
| Vehicle platooning simulations with functional reactive programming B Finkbeiner, F Klein, R Piskac, M Santolucito Proceedings of the 1st International Workshop on Safe Control of Connected …, 2017 | 18 | 2017 |
| Grammar filtering for syntax-guided synthesis K Morton, W Hallahan, E Shum, R Piskac, M Santolucito Proceedings of the AAAI Conference on Artificial Intelligence 34 (02), 1611-1618, 2020 | 17 | 2020 |
| Analyzing infrastructure as code to prevent intra-update sniping vulnerabilities J Lepiller, R Piskac, M Schäf, M Santolucito Tools and Algorithms for the Construction and Analysis of Systems: 27th …, 2021 | 13 | 2021 |
| Designing a community to support long-term interest in programming for middle school children KJ Harms, JH Kerr, M Ichinco, M Santolucito, A Chuck, T Koscik, M Chou, ... Proceedings of the 11th International Conference on Interaction Design and …, 2012 | 13 | 2012 |
| Learning CI configuration correctness for early build feedback M Santolucito, J Zhang, E Zhai, J Cito, R Piskac 2022 IEEE International Conference on Software Analysis, Evolution and …, 2022 | 10 | 2022 |
| Programming by Example: Efficient, but Not" Helpful" M Santolucito, D Goldman, A Weseley, R Piskac 9th Workshop on Evaluation and Usability of Programming Languages and Tools …, 2018 | 10 | 2018 |
| Statically verifying continuous integration configurations M Santolucito, J Zhang, E Zhai, R Piskac arXiv preprint arXiv:1805.04473, 2018 | 9 | 2018 |
| Real-time interactive music in haskell P Hudak, D Quick, M Santolucito, D Winograd-Cort Proceedings of the 3rd ACM SIGPLAN International Workshop on Functional Art …, 2015 | 9 | 2015 |
| Programming-by-example for audio: synthesizing digital signal processing programs M Santolucito, K Rogers, A Lombardo, R Piskac Proceedings of the 6th ACM SIGPLAN International Workshop on Functional Art …, 2018 | 7 | 2018 |
| Program synthesis for musicians: A usability testbed for temporal logic specifications W Choi, M Vazirani, M Santolucito Programming Languages and Systems: 19th Asian Symposium, APLAS 2021, Chicago …, 2021 | 6 | 2021 |
| Formal methods and computing identity-based mentorship for early stage researchers M Santolucito, R Piskac Proceedings of the 51st ACM technical symposium on computer science …, 2020 | 6 | 2020 |
| Towards the Usability of Reactive Synthesis: Building Blocks of Temporal Logic R Rothkopf, AL Cui, HT Zeng, A Sinha, M Santolucito Plateau Workshop, 2023 | 4 | 2023 |
| Human-in-the-loop program synthesis for live coding M Santolucito Proceedings of the 9th ACM SIGPLAN International Workshop on Functional Art …, 2021 | 4 | 2021 |
| Media modules: Intermedia systems in a pure functional paradigm M Santolucito, D Quick, P Hudak ICMC, 2015 | 3 | 2015 |
Ruzica PiskacAssociate Professor在 yale.edu 的电子邮件经过验证
