Stem tao$ (all stems)

7 papers:

SIGMOD-2012-VenkataramaniABCCDDFGHKLMPP #facebook #graph #how #named #social

TAO: how facebook serves the social graph (VV, ZA, NB, GCI, PC, PD, HD, JF, AG, JH, SK, NL, MM, DP, LP), pp. 791–792.

PLDI-2011-PingaliNKBHKLLMMPS #algorithm #parallel

The tao of parallelism in algorithms (KP, DN, MK, MB, MAH, RK, THL, AL, RM, MML, DP, XS), pp. 12–25.

CGO-2010-BorinWWLBHNRR #named #optimisation

TAO: two-level atomicity for dynamic binary optimizations (EB, YW, CW, WL, MBJ, SH, EN, SR, RR), pp. 12–21.

SAT-2010-Kullmann #satisfiability

Green-Tao Numbers and SAT (OK), pp. 352–362.

ISSTA-1994-Richardson #analysis #named #testing

TAOS: Testing with Analysis and Oracle Support (DJR), pp. 138–153.

SOSP-1993-WobberABL #authentication #operating system

Authentication in the Taos Operating System (EW, MA, MB, BWL), pp. 256–269.

LFP-1984-OkunoTOHW #lisp #named

TAO: Afst Interpreter-Centered Lisp System on Lisp Machine ELIS (HGO, IT, NO, YH, KW), pp. 140–149.