default search action
Michael Greenberg 0002
Person information
- affiliation: Stevens Institute of Technology, Hoboken, NJ, USA
- affiliation: Pomona College, Claremont, CA, USA
Other persons with the same name
- Michael Greenberg 0001 — University of Massachusetts, Amherst, MA, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [i13]Aaron Bembenek, Michael Greenberg, Stephen Chong:
Making Formulog Fast: An Argument for Unconventional Datalog Evaluation (Extended Version). CoRR abs/2408.14017 (2024) - 2023
- [j9]Aaron Bembenek
, Michael Greenberg
From SMT to ASP: Solver-Based Approaches to Solving Datalog Synthesis-as-Rule-Selection Problems. Proc. ACM Program. Lang. 7(POPL): 185-217 (2023) - [j8]Federico Cassano
MultiPL-E: A Scalable and Polyglot Approach to Benchmarking Neural Code Generation. IEEE Trans. Software Eng. 49(7): 3675-3691 (2023) - [c25]Michael Greenberg:
Reasoning About Paths in the Interface Graph. Eelco Visser Commemorative Symposium 2023: 11:1-11:11 - [c24]Georgios Liargkovas
Executing Shell Scripts in the Wrong Order, Correctly. HotOS 2023: 103-109 - [i12]Federico Cassano, John Gouwar, Francesca Lucchetti, Claire Schlesinger, Carolyn Jane Anderson, Michael Greenberg, Abhinav Jangda, Arjun Guha:
Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs. CoRR abs/2308.09895 (2023) - 2022
- [c23]Aaron Bembenek, Michael Greenberg, Stephen Chong:
Formulog: Datalog + SMT + FP. Datalog 2022: 48-53 - [c22]Niki Vazou, Michael Greenberg
How to safely use extensionality in Liquid Haskell. Haskell 2022: 13-26 - [c21]Konstantinos Kallas, Tammam Mustafa, Jan Bielak, Dimitris Karnikis, Thurston H. Y. Dang, Michael Greenberg
Practically Correct, Just-in-Time Shell Script Parallelization. OSDI 2022: 769-785 - [c20]Michael Greenberg
Kleene algebra modulo theories: a framework for concrete KATs. PLDI 2022: 594-608 - [i11]Federico Cassano, John Gouwar, Daniel Nguyen, Sydney Nguyen, Luna Phipps-Costin, Donald Pinckney, Ming-Ho Yee, Yangtian Zi, Carolyn Jane Anderson, Molly Q. Feldman, Arjun Guha, Michael Greenberg
A Scalable and Extensible Approach to Benchmarking NL2Code for 18 Programming Languages. CoRR abs/2208.08227 (2022) - 2021
- [j7]Stefan Malewski
Gradually structured data. Proc. ACM Program. Lang. 5(OOPSLA): 1-29 (2021) - [j6]Luna Phipps-Costin, Carolyn Jane Anderson
Solver-based gradual type migration. Proc. ACM Program. Lang. 5(OOPSLA): 1-27 (2021) - [c19]Michael Greenberg
Unix shell programming: the next 50 years. HotOS 2021: 104-111 - [c18]Michael Greenberg
The future of the shell: Unix and beyond. HotOS 2021: 240-241 - [c17]Michael Greenberg
Files-as-Filesystems for POSIX Shell Data Processing. PLOS@SOSP 2021: 17-23 - [i10]Niki Vazou, Michael Greenberg:
Functional Extensionality for Refinement Types. CoRR abs/2103.02177 (2021) - [i9]Eric Hayden Campbell, Michael Greenberg:
Injecting Finiteness to Prove Completeness for Finite Linear Temporal Logic. CoRR abs/2107.06045 (2021) - [i8]Luna Phipps-Costin, Carolyn Jane Anderson, Michael Greenberg, Arjun Guha:
Solver-based Gradual Type Migration. CoRR abs/2109.05049 (2021) - [i7]Michael Greenberg, Konstantinos Kallas, Nikos Vasilakis, Stephen Kell:
Report on the "The Future of the Shell" Panel at HotOS 2021. CoRR abs/2109.11016 (2021) - 2020
- [j5]Aaron Bembenek
Formulog: Datalog for SMT-based static analysis. Proc. ACM Program. Lang. 4(OOPSLA): 141:1-141:31 (2020) - [j4]Michael Greenberg
Executable formal semantics for the POSIX shell. Proc. ACM Program. Lang. 4(POPL): 43:1-43:30 (2020) - [i6]Aaron Bembenek
Formulog: Datalog for SMT-Based Static Analysis (Extended Version). CoRR abs/2009.08361 (2020)
2010 – 2019
- 2019
- [c16]Michael Greenberg
The Dynamic Practice and Static Theory of Gradual Typing. SNAPL 2019: 6:1-6:20 - [i5]Michael Greenberg, Austin J. Blatt:
Executable formal semantics for the POSIX shell. CoRR abs/1907.05308 (2019) - 2018
- [c15]Michael Greenberg
Word expansion supports POSIX shell interactivity. Programming 2018: 153-160 - 2017
- [j3]Taro Sekiyama, Atsushi Igarashi
Polymorphic Manifest Contracts, Revised and Resolved. ACM Trans. Program. Lang. Syst. 39(1): 3:1-3:36 (2017) - [i4]Ryan Beckett, Eric Hayden Campbell, Michael Greenberg:
Kleene Algebra Modulo Theories. CoRR abs/1707.02894 (2017) - 2016
- [c14]Ryan Beckett, Michael Greenberg
Temporal NetKAT. PLDI 2016: 386-401 - [c13]Michael Greenberg:
Space-Efficient Latent Contracts. TFP 2016: 3-23 - [c12]Mina Tahmasbi Arashloo, Yaron Koral, Michael Greenberg
SNAP: Stateful Network-Wide Abstractions for Packet Processing. SIGCOMM 2016: 29-43 - [i3]Michael Greenberg:
Space-Efficient Latent Contracts. CoRR abs/1604.02474 (2016) - 2015
- [c11]Michael Greenberg
Space-Efficient Manifest Contracts. POPL 2015: 181-194 - [c10]Michael Greenberg
Tracking the Flow of Ideas through the Programming Languages Literature. SNAPL 2015: 140-155 - [i2]Mina Tahmasbi Arashloo, Yaron Koral, Michael Greenberg, Jennifer Rexford, David Walker:
SNAP: Stateful Network-Wide Abstractions for Packet Processing. CoRR abs/1512.00822 (2015) - 2014
- [c9]Cole Schlesinger, Michael Greenberg
Concurrent NetCore: from policies to pipelines. ICFP 2014: 11-24 - [i1]Michael Greenberg:
Space-Efficient Manifest Contracts. CoRR abs/1410.2813 (2014) - 2013
- [j2]Johannes Borgström, Andrew D. Gordon, Michael Greenberg
Measure Transformer Semantics for Bayesian Machine Learning. Log. Methods Comput. Sci. 9(3) (2013) - [c8]Catalin Hritcu, Michael Greenberg
All Your IFCException Are Belong to Us. IEEE Symposium on Security and Privacy 2013: 3-17 - 2012
- [j1]Michael Greenberg
Contracts made manifest. J. Funct. Program. 22(3): 225-274 (2012) - 2011
- [c7]João Filipe Belo, Michael Greenberg, Atsushi Igarashi
Polymorphic Contracts. ESOP 2011: 18-37 - [c6]Johannes Borgström, Andrew D. Gordon, Michael Greenberg, James Margetson, Jurgen Van Gael:
Measure Transformer Semantics for Bayesian Machine Learning. ESOP 2011: 77-96 - 2010
- [c5]Davi M. J. Barbosa, Julien Cretin, Nate Foster, Michael Greenberg
Matching lenses: alignment and view update. ICFP 2010: 193-204 - [c4]Michael Greenberg
Contracts made manifest. POPL 2010: 353-364
2000 – 2009
- 2009
- [c3]Leo A. Meyerovich, Arjun Guha
Flapjax: a programming language for Ajax applications. OOPSLA 2009: 1-20 - 2008
- [c2]Mary F. Fernández, Kathleen Fisher, J. Nathan Foster, Michael Greenberg, Yitzhak Mandelbaum:
A Generic Programming Toolkit for PADS/ML: First-Class Upgrades for Third-Party Developers. PADL 2008: 133-149 - 2004
- [c1]Shriram Krishnamurthi, Kathi Fisler, Michael Greenberg
Verifying aspect advice modularly. SIGSOFT FSE 2004: 137-146
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-30 00:10 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: