Arjun Guha

Associate Professor

Arjun Guha
  • Programming languages
  • PhD in Computer Science, Brown University
  • BA in Computer Science, Grinnell College

Arjun Guha is an associate professor in the Khoury College of Computer Sciences at Northeastern University, based in Boston.

Using the tools and techniques of programming languages, Guha researches security and reliability problems in web programming, systems, and robotics. For example, one recent project aims to make serverless computing more cost-effective, reliable, and applicable. Guha is a member of the Programming Research Laboratory.

Prior to joining Northeastern, Guha was an associate professor at the University of Massachusetts Amherst and a postdoctoral research associate at Cornell University. His work has received several awards, including an OOPSLA Most Influential Paper Award, a PLDI Distinguished Paper Award, and a PACT Best Paper Award.

In his free time, Guha enjoys running, cooking, and reading.

  • Solver-based gradual type migration

    Citation: Luna Phipps-Costin, Carolyn Jane Anderson, Michael Greenberg, and Arjun Guha. 2021. “Solver-based gradual type migration”. Proc. ACM Program. Lang. 5, OOPSLA, Article 111 (October 2021), 27 pages. DOI: 10.1145/3485488

  • Iterative Program Synthesis for Adaptable Social Navigation

    Citation: J. Holtz, S. Andrews, A. Guha and J. Biswas, "Iterative Program Synthesis for Adaptable Social Navigation," 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2021, pp. 6256-6261. DOI: 10.1109/IROS51168.2021.9636540

  • Accelerating graph sampling for graph machine learning using GPUs

    Citation: Abhinav Jangda, Sandeep Polisetty, Arjun Guha, and Marco Serafini. 2021. Accelerating graph sampling for graph machine learning using GPUs. In Proceedings of the Sixteenth European Conference on Computer Systems (EuroSys ’21). Association for Computing Machinery, New York, NY, USA, 311–326. DOI: 10.1145/3447786.3456244

  • TacTok: semantics-aware proof synthesis

    Citation: Emily First, Yuriy Brun, and Arjun Guha. "TacTok: semantics-aware proof synthesis." Proceedings of the ACM on Programming Languages, v.4 , 2020. DOI: 10.1145/3428299

  • Wasm/k: delimited continuations for WebAssembly

    Citation: Donald Pinckney, Arjun Guha, and Yuriy Brun. 2020. Wasm/k: delimited continuations for WebAssembly. In Proceedings of the 16th ACM SIGPLAN International Symposium on Dynamic Languages(DLS 2020). Association for Computing Machinery, New York, NY, USA, 16–28. DOI: 10.1145/3426422.3426978

  • Formal Foundations of Serverless Computing

    Citation: Abhinav Jangda, Donald Pinckney, Yuriy Brun, and Arjun Guha. Formal Foundations of Serverless Computing. ACM SIGPLAN Conference on Object Oriented Programming, Systems, Languages and Applications (OOPSLA), 2019. Distinguished Paper Award

  • Interactive Robot Transition Repair With SMT

    Citation: Jarrett Holtz, Arjun Guha, and Joydeep Biswas. Interactive Robot Transition Repair with SMT. International Joint Conference on Artificial Intelligence and the European Conference on Artificial Intelligence (IJCAI-ECAI), 2018

  • Rehearsal: A Configuration Verification Tool for Puppet

    Citation: Rian Shambaugh, Aaron Weiss, and Arjun Guha. Rehearsal: A Configuration Verification Tool for Puppet. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2016

  • Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs

    Citation: Federico Cassano, John Gouwar, Francesca Lucchetti, Claire Schlesinger, Anders Freeman, Carolyn Jane Anderson, Molly Q. Feldman, Michael Greenberg , Abhinav Jangda, Arjun Guha. (2024). Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs Proc. ACM Program. Lang., 8, 677-708. https://doi.org/10.1145/3689735

Related News

Explore all news

Current PhD students