• Publications
  • Influence
TurKit: Tools for iterative tasks on mechanical turk
TLDR
Mechanical Turk (MTurk) is an increasingly popular web service for paying people small rewards to do human computation tasks. Expand
  • 278
  • 23
  • PDF
TurKit: human computation algorithms on mechanical turk
TLDR
Mechanical Turk (MTurk) provides an on-demand source of human computation. Expand
  • 332
  • 21
  • PDF
Exploring iterative and parallel human computation processes
TLDR
We present a series of experiments exploring tradeoffs between each approach in several problem domains: writing, brainstorming, and transcription. Expand
  • 204
  • 17
  • PDF
Collabode: collaborative coding in the browser
TLDR
This paper describes Collabode, a web-based Java integrated development environment built to support close, synchronous collaboration between programmers. Expand
  • 62
  • 6
MAVEN: Modular Aspect Verification
TLDR
The MAVEN tool verifies the correctness of an aspect relative to its specification, independently of any underlying system to which it may be woven. Expand
  • 39
  • 6
  • PDF
Codetrail: Connecting source code and web resources
TLDR
We present Codetrail, a system that demonstrates how the developer's use of web resources can be improved by connecting the Eclipse integrated development environment (IDE) and the Firefox web browser. Expand
  • 37
  • 6
Real-time collaborative coding in a web IDE
TLDR
This paper describes Collabode, a web-based Java integrated development environment designed to support close, synchronous collaboration between programmers. Expand
  • 96
  • 4
  • PDF
Codetrail: Connecting source code and web resources
  • M. Goldman, R. Miller
  • Computer Science
  • IEEE Symposium on Visual Languages and Human…
  • 15 September 2008
TLDR
We present Codetrail, a system that demonstrates how the developerpsilas use of Web resources can be improved by connecting the Eclipse IDE and the Firefox Web browser in order to make use of web resources. Expand
  • 33
  • 2
  • PDF
Modular Generic Verification of LTL Properties for Aspects
Aspects are separate code modules that can be bound (“woven”) to a base program at joinpoints to provide an augmented program. A novel approach is defined to verify that an aspect state machine willExpand
  • 28
  • 2
  • PDF
MAVEN: modular aspect verification and interference analysis
TLDR
Aspects are program modules that include descriptions of key events (called join-points) and code segments (called advice) to be executed at those key events when the aspect is bound (woven) to an underlying system. Expand
  • 20
  • 2
  • PDF
...
1
2
3
...