8 papers:
PLDI-2014-GreenawayLAK #c #verification- Don’t sweat the small stuff: formal verification of C code without the pain (DG, JL, JA, GK), p. 45.
CHI-2014-SchulerGMRJ #comprehension #coordination #social- The doing of doing stuff: understanding the coordination of social group-activities (RPS, SAG, JMM, STR, QJ), pp. 119–128.
WCRE-2012-TrudelFNMO #c- C to O-O Translation: Beyond the Easy Stuff (MT, CAF, MN, BM, MO), pp. 19–28.
- CHI-2011-BillmanAFLST
- Benefits of matching domain structure for planning software: the right stuff (DB, LA, MF, JL, AS, RT), pp. 2521–2530.
DUXU-v2-2011-Horvath #design #persuasion- Persuasive Design: It’s Not Just about Selling Stuff (JH), pp. 567–574.
- CHI-2009-FaureCR #tool support
- Power tools for copying and moving: useful stuff for your desktop (GF, OC, NR), pp. 1675–1678.
- CHI-2004-BoardmanS #information management #quote
- “Stuff goes into the computer and doesn’t come out”: a cross-tool study of personal information management (RB, MAS), pp. 583–590.
SIGIR-2003-DumaisCCJSR #information retrieval- Stuff I’ve seen: a system for personal information retrieval and re-use (STD, EC, JJC, GJ, RS, DCR), pp. 72–79.
