Greenberg, Michael
- Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs
2023/08/19 by Federico Cassano, Cassano, Federico, John Gouwar +17 · 2 voices · 18 citations
Computer Science · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Programming Languages (cs.PL) #Software Engineering Research #Software Reliability and Analysis Research #Software Testing and Debugging Techniques #cs.LG #cs.PL
- MultiPL-E: A Scalable and Extensible Approach to Benchmarking Neural Code Generation
2022/08/17 by Federico Cassano, John Gouwar, Cassano, Federico +23 · 29 citations
Computer Science · Materials Science · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning in Materials Science #Programming Languages (cs.PL) #Software Engineering Research #Topic Modeling
- Executable formal semantics for the POSIX shell
2019/07/11 by Michael Greenberg, Austin J. Blatt, Greenberg, Michael +1 · 2 voices
#cs.PL #cs.OS
- SNAP: Stateful Network-Wide Abstractions for Packet Processing
2015/12/02 by Mina Tahmasbi Arashloo, Yaron Koral, Arashloo, Mina Tahmasbi +7 · 2 citations
Computer Science · #Software-Defined Networks and 5G #Network Packet Processing and Optimization #Network Security and Intrusion Detection
- Formulog: Datalog for SMT-Based Static Analysis (Extended Version)
2020/09/17 by Bembenek, Aaron, Greenberg, Michael, Chong, Stephen · 1 citation
#FOS: Computer and information sciences #Programming Languages (cs.PL)
- Solver-based Gradual Type Migration
2021/09/10 by Phipps-Costin, Luna, Anderson, Carolyn Jane, Greenberg, Michael +1 · 1 citation
#FOS: Computer and information sciences #Programming Languages (cs.PL)
- Report on the "The Future of the Shell" Panel at HotOS 2021
2021/09/22 by Michael Greenberg, Konstantinos Kallas, Greenberg, Michael +6 · 1 voice
Computer Science · Decision Sciences · Engineering · #Distributed and Parallel Computing Systems #FOS: Computer and information sciences #Modular Robots and Swarm Intelligence #Operating Systems (cs.OS) #Programming Languages (cs.PL) #Scientific Computing and Data Management #cs.OS #cs.PL
- Making Formulog Fast: An Argument for Unconventional Datalog Evaluation (Extended Version)
2024/08/26 by Aaron Bembenek, Michael Greenberg, Bembenek, Aaron +3 · 1 citation
Business, Management and Accounting · Computer Science · #Business Process Modeling and Analysis #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Programming Languages (cs.PL)