 | 2011 |
| 11 |  | Max Goldman,
Greg Little,
Robert C. Miller:
Real-time collaborative coding in a web IDE.
UIST 2011: 155-164 |
| 10 |  | Max Goldman:
Role-based interfaces for collaborative software development.
UIST (Adjunct Volume) 2011: 23-26 |
| 2010 |
| 9 |  | Max Goldman:
Test-driven roles for pair programming.
ICSE (2) 2010: 515-516 |
| 8 |  | Greg Little,
Lydia B. Chilton,
Max Goldman,
Robert C. Miller:
TurKit: human computation algorithms on mechanical turk.
UIST 2010: 57-66 |
| 7 |  | Robert C. Miller,
Greg Little,
Michael S. Bernstein,
Jeffrey P. Bigham,
Lydia B. Chilton,
Max Goldman,
John Joseph Horton,
Rajeev Nayak:
Heads in the cloud.
ACM Crossroads 17(2): 27-31 (2010) |
| 6 |  | Max Goldman,
Emilia Katz,
Shmuel Katz:
MAVEN: modular aspect verification and interference analysis.
Formal Methods in System Design 37(1): 61-92 (2010) |
| 2009 |
| 5 |  | Greg Little,
Lydia B. Chilton,
Max Goldman,
Robert C. Miller:
TurKit: tools for iterative tasks on mechanical Turk.
KDD Workshop on Human Computation 2009: 29-30 |
| 4 |  | Lydia B. Chilton,
Clayton T. Sims,
Max Goldman,
Greg Little,
Robert C. Miller:
Seaweed: a web application for designing economic games.
KDD Workshop on Human Computation 2009: 34-35 |
| 3 |  | Max Goldman,
Robert C. Miller:
Codetrail: Connecting source code and web resources.
J. Vis. Lang. Comput. 20(4): 223-235 (2009) |
| 2008 |
| 2 |  | Max Goldman,
Robert C. Miller:
Codetrail: Connecting source code and web resources.
VL/HCC 2008: 65-72 |
| 2007 |
| 1 |  | Max Goldman,
Shmuel Katz:
MAVEN: Modular Aspect Verification.
TACAS 2007: 308-322 |