Prof. David Garlan — Research Profile
Carnegie Mellon University · Computer Science Department
About
Prof. David Garlan at Carnegie Mellon University Computer Science Department lists Programming Languages, Software Engineering, Formal Methods as their registered research area.
Research keywords
Recent papers
From OpenAlex · papers whose author affiliation matches this university
Labs doing related research
Labs that recently published on topics this lab's recent papers share
Shared topic: Natural Language Processing Techniques
Sanmi Koyejo 교수 연구실
Stanford University · Computer Science
AlphaDiana: A Measurement System for Agents in Verifiable Reasoning TasksNewPreprintarXiv (Cornell University) · Oct 14Sergey Levine 교수 연구실
University of California, Berkeley · Electrical Engineering and Computer Sciences
Long-Horizon Language Model Reinforcement Learning via Progressive Point MatchingPreprintarXiv (Cornell University) · Sep 7Song Han 교수 연구실
Massachusetts Institute of Technology · Department of Electrical Engineering and Computer Science
Parason: Revealing Subtask and Trial Parallelism in LLM ReasoningPreprintarXiv (Cornell University) · Aug 25
Other labs in this department
- Aayush Jain 교수 연구실
Theory, Cryptography
- Aditi Raghunathan 교수 연구실
Artificial Intelligence, Machine Learning
- Andrew Pavlo 교수 연구실
Systems, Databases, Distributed Systems
- Aviral Kumar 교수 연구실
Artificial Intelligence, Machine Learning, Robotics
- Chris Donahue 교수 연구실
Artificial Intelligence, Machine Learning
- Christos Faloutsos 교수 연구실
Artificial Intelligence, Systems, Databases, Data Mining