Michael Greenberg

Vanderbilt University — United States

Immunology and Microbiology · Life Sciences

51h-index9.4kcitations285works3.22yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

HIV Research and Treatment(53), HIV/AIDS drug development and treatment(30), Logic, programming, and type systems(28), Immune Cell Function and Interaction(21), Formal Methods in Verification(18)

Publications283 total

Developing a Process for Collaboration-Based Siting of a Federal Consolidated Interim Storage Facility in the United States: Learning from Communities Living with Legacy Waste
Nuclear Technology·2026
Did Not Wait Patients: Low‐Risk for Admission and Deterioration
Emergency Medicine Australasia·2025
From Ahead-of- to Just-in-Time and Back Again: Static Analysis for Unix Shell Programs
2025Open Access
Institute for Justice Amicus Brief in United States v. Niksich (Northern District of Georgia)
SSRN Electronic Journal·2025Open Access
Institute for Justice Amicus Brief in United States v. Hendler (Southern District of New York)
SSRN Electronic Journal·2025Open Access
Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs
Proceedings of the ACM on Programming Languages·2024· 24 citedOpen Access
Making Formulog Fast: An Argument for Unconventional Datalog Evaluation
Proceedings of the ACM on Programming Languages·2024· 3 citedOpen Access
Taurine But Not Proline Protects Cells from Cisplatin, Activates p21, and Fibronectin Expression
Journal of Student Research·2024Open Access
Making Formulog Fast: An Argument for Unconventional Datalog Evaluation (Extended Version)
arXiv (Cornell University)·2024Open Access
Modeling of Intracellular Taurine Levels Associated with Ovarian Cancer Reveals Activation of p53, ERK, mTOR and DNA-Damage-Sensing-Dependent Cell Protection
Nutrients·2024· 7 citedOpen Access
Pharmacological Treatment for Children and Adolescents with Trauma-Related Disorders
2024· 1 cited
Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs
arXiv (Cornell University)·2023· 3 citedOpen Access
Executing Shell Scripts in the Wrong Order, Correctly
2023· 3 citedOpen Access
MultiPL-E: A Scalable and Polyglot Approach to Benchmarking Neural Code Generation
IEEE Transactions on Software Engineering·2023· 89 citedOpen Access
Modeling of Intracellular Taurine Levels Associated with Ovarian Cancer Reveals Activation of p53, ERK, mTOR and DNA-damage-sensing-dependent Cell Protection
2023· 1 citedOpen Access
From SMT to ASP: Solver-Based Approaches to Solving Datalog Synthesis-as-Rule-Selection Problems
Proceedings of the ACM on Programming Languages·2023· 4 citedOpen Access
Artifact for How to Safely Use Extensionality in Liquid Haskell
Artifact Digital Object Group·2022· 1 cited
How to safely use extensionality in Liquid Haskell
2022· 4 citedOpen Access
MultiPL-E: A Scalable and Extensible Approach to Benchmarking Neural Code Generation
arXiv (Cornell University)·2022· 13 citedOpen Access
Kleene algebra modulo theories: a framework for concrete KATs
2022· 6 citedOpen Access
page 1 of 15Next →

Frequent Co-authors

Thomas J. Matthews(9), Kent J. Weinhold(7), Dani P. Bolognesi(7), Ralph DeMasi(6), Miklos Salgo(5), Georgia D. Tomaras(4), Prakash Sista(4), William A. Blattner(3), David C. Montefiori(3), Donna K. Davison(3), Charlene McDanal(3), Arjun Guha(3), Shriram Krishnamurthi(3), Sarah Mosier(3), Tom Melby(3), Thomas Melby(3), Benjamin C. Pierce(3), Robert Parks(2), Joseph J. Eron(2), Charles B. Hicks(2)