Michael Greenberg

Research output

Research output per year 2004 2010 2015 2016 2020 2021 2022 2023 2024

• 22 Conference contribution
• 17 Article
• 2 Conference article
• 1 Paper

Research output per year

Research output per year

Search results

• 2023

  Executing Shell Scripts in the Wrong Order, Correctly

  Liargkovas, G., Kallas, K., Greenberg, M. & Vasilakis, N., 22 Jun 2023, HotOS 2023 - Proceedings of the 19th Workshop on Hot Topics in Operating Systems. p. 103-109 7 p. (HotOS 2023 - Proceedings of the 19th Workshop on Hot Topics in Operating Systems).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

  • Shell Script 100%
  • External Command 66%
  • Compiler Optimization 33%
  • Out-of-Order Execution 33%
  • Bioinformatics 33%

• Reasoning About Paths in the Interface Graph

  Greenberg, M., 1 Mar 2023, Eelco Visser Commemorative Symposium, EVCS 2023. Lammel, R., Mosses, P. D. & Steimann, F. (eds.). 11. (OpenAccess Series in Informatics; vol. 109).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Alternative Semantics 100%
  • Running Program 50%
• 2022

  Kleene algebra modulo theories: a framework for concrete KATs

  Greenberg, M., Beckett, R. & Campbell, E., 9 Jun 2022, PLDI 2022 - Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. Jhala, R. & Dillig, I. (eds.). p. 594-608 15 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

  • Equational Theory 100%
  • And-States 50%
  • Computer Network 50%
  • Temporal Logic 50%
  • Weakest Precondition 50%
  5 Scopus citations

• Practically Correct, Just-in-Time Shell Script Parallelization

  Kallas, K., Mustafa, T., Bielak, J., Karnikis, D., Dang, T. H. Y., Greenberg, M. & Vasilakis, N., 2022, Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2022. p. 769-785 17 p. (Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2022).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Parallelization 100%
  • Just-in-Time 100%
  • Shell Script 100%
  • Execution Time 14%
  • Evaluation 14%
  4 Scopus citations
• 2021

  Files-as-Filesystems for POSIX Shell Data Processing

  Greenberg, M., 25 Oct 2021, PLOS 2021 - Proceedings of the 2021 11th Workshop on Programming Languages and Operating Systems. p. 17-23 7 p. (PLOS 2021 - Proceedings of the 2021 11th Workshop on Programming Languages and Operating Systems).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

  • Data Processing 100%
  • Filesystems 100%
  • Tree 100%
  • Language 100%
  • Data Type 40%
  1 Scopus citations

• The future of the shell: Unix and beyond

  Greenberg, M., Kallas, K. & Vasilakis, N., 1 Jun 2021, HotOS 2021 - Proceedings of the 2021 Workshop on Hot Topics in Operating Systems. p. 240-241 2 p. (HotOS 2021 - Proceedings of the 2021 Workshop on Hot Topics in Operating Systems).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

  • Command Line Interface 100%
  • Configure 100%
  • Unix 100%
  • System Language 100%
  • Weakness 100%
  3 Scopus citations

• Unix shell programming: The next 50 years

  Greenberg, M., Kallas, K. & Vasilakis, N., 1 Jun 2021, HotOS 2021 - Proceedings of the 2021 Workshop on Hot Topics in Operating Systems. p. 104-111 8 p. (HotOS 2021 - Proceedings of the 2021 Workshop on Hot Topics in Operating Systems).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

  • Development 100%
  • Data Processing 100%
  9 Scopus citations
• 2019

  Space-Efficient Latent Contracts

  Greenberg, M., 2019, Trends in Functional Programming - 17th International Conference, TFP 2016, Revised Selected Papers. Van Horn, D. & Hughes, J. (eds.). p. 3-23 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10447 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

  • Programs 100%
  • Efficiency 100%
  • Recursion 66%
  • Standards 50%
  • Semantics 50%
  1 Scopus citations

• The dynamic practice and static theory of gradual typing

  Greenberg, M., 1 Jul 2019, 3rd Summit on Advances in Programming Languages, SNAPL 2019. Lerner, B. S., Bodik, R. & Krishnamurthi, S. (eds.). 6. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 136).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Type Systems 100%
  • Interoperation 100%
  • Lineages 100%
  • Computer Language 40%
  10 Scopus citations
• 2018

  Word expansion supports POSIX shell interactivity

  Greenberg, M., 9 Apr 2018, Programming 2018 Companion - Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming. Sartor, J. B. & Marr, S. (eds.). p. 153-160 8 p. (ACM International Conference Proceeding Series; vol. Part F137691).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Word Expansion 100%
  • Standards 50%
  • System 33%
  • Utilities 25%
  • Control 25%
  6 Scopus citations
• 2016

  SNAP: Stateful network-wide abstractions for packet processing

  Arashloo, M. T., Koral, Y., Greenberg, M., Rexford, J. & Walker, D., 22 Aug 2016, SIGCOMM 2016 - Proceedings of the 2016 ACM Conference on Special Interest Group on Data Communication. p. 29-43 15 p. 2934892. (SIGCOMM 2016 - Proceedings of the 2016 ACM Conference on Special Interest Group on Data Communication).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Programs 100%
  • Packet Processing 100%
  • Compiler 75%
  • Software-Defined Networking 50%
  • Internal Representation 50%
  150 Scopus citations

• Temporal NetKAT

  Beckett, R., Greenberg, M. & Walker, D., 2 Jun 2016, PLDI 2016 - Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation. Krintz, C. & Berger, E. (eds.). p. 386-401 16 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI); vol. 13-17-June-2016).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

  • Debugging 100%
  • Programs 66%
  • Semantics 33%
  • Classes 33%
  • Access Control 33%
  15 Scopus citations
• 2015

  Space-Efficient manifest contracts

  Greenberg, M., 14 Jan 2015, POPL 2015 - Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. p. 181-194 14 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages; vol. 2015-January).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

  • Acoustics 100%
  • Behavior 50%
  • Standard 50%
  22 Scopus citations

• Tracking the flow of ideas through the programming languages literature

  Greenberg, M., Fisher, K. & Walker, D., 1 May 2015, 1st Summit on Advances in Programming Languages, SNAPL 2015. Ball, T., Bodik, R., Lerner, B. S., Morrisett, G. & Krishnamurthi, S. (eds.). p. 140-155 16 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 32).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Programming Language 100%
  • Programs 33%
  • Machine Learning 33%
  • Topic Modeling 33%
  2 Scopus citations
• 2014

  Concurrent NetCore: From policies to pipelines

  Schlesinger, C., Greenberg, M. & Walker, D., 2014, ICFP 2014 - Proceedings of the 2014 ACM SIGPLAN International Conference on Functional Programming. p. 11-24 14 p. (Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Packet Processing 100%
  • Software-Defined Network 60%
  • Programs 40%
  • Control Flow 20%
  • Algorithms 20%
  24 Scopus citations
• 2013

  All your IFCException are belong to us

  Hriţcu, C., Greenberg, M., Karel, B., Pierce, B. C. & Morrisett, G., 2013, Proceedings - 2013 IEEE Symposium on Security and Privacy, SP 2013. p. 3-17 15 p. 6547098. (Proceedings - IEEE Symposium on Security and Privacy).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

  • Information Flow Control 100%
  • Flow 100%
  • Standards 50%
  • Design 50%
  • Models 50%
  51 Scopus citations
• 2011

  Measure transformer semantics for Bayesian machine learning

  Borgström, J., Gordon, A. D., Greenberg, M., Margetson, J. & Van Gael, J., 2011, Programming Languages and Systems - 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Proceedings. p. 77-96 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6602 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

  • Machine Learning 100%
  • Programs 25%
  • Algorithms 25%
  • Data Structure 25%
  • Imperative Language 25%
  43 Scopus citations

• Polymorphic contracts

  Belo, J. F., Greenberg, M., Igarashi, A. & Pierce, B. C., 2011, Programming Languages and Systems - 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Proceedings. p. 18-37 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6602 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

  • Models 100%
  • Evaluation 100%
  • Soundness 100%
  • Implementation Detail 100%
  • Syntactics 100%
  17 Scopus citations
• 2010

  Contracts made manifest

  Greenberg, M., Pierce, B. C. & Weirich, S., 2010, POPL'10 - Proceedings of the 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. p. 353-364 12 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Type Systems 100%
  • Soundness 50%
  • Records 50%
  • System 50%
  • Translation 50%
  37 Scopus citations

• Matching lenses: Alignment and view update

  Barbosa, D. M. J., Cretin, J., Foster, N., Greenberg, M. & Pierce, B. C., 2010, ICFP'10 - Proceedings of the 2010 ACM SIGPLAN International Conference on Functional Programming. p. 193-204 12 p. (Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Programs 100%
  • Design 50%
  • Heuristics 50%
  • Programming Language 50%
  • Practical Interest 50%
  37 Scopus citations
• 2009

  Flapjax: A programming language for Ajax applications

  Meyerovich, L. A., Guha, A., Baskin, J., Cooper, G. H., Greenberg, M., Bromfield, A. & Krishnamurthi, S., 2009, OOPSLA 2009 - 24th Annual ACM Conference on Object-Oriented Programming, Systems, Languages and Applications, OOPSLA 2009. p. 1-20 20 p. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Application 100%
  • Programming Language 100%
  • Ajax Application 100%
  • Programs 33%
  • Design 33%
  98 Scopus citations
• 2007

  A generic programming toolkit for PADS/ML: First-class upgrades for third-party developers

  Fernández, M., Fisher, K., Nathan Foster, J., Greenberg, M. & Mandelbaum, Y., 2007, Practical Aspects of Declarative Languages - 10th International Symposium, PADL 2008, Proceedings. p. 133-149 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4902 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Machine Learning 100%
  • Data Structure 16%
  • Data Source 16%
  • Printer 16%
  • Data Management 16%
  5 Scopus citations