Weir: a streaming language for performance analysis. - Anton Burtsev; Nikhil Mishrikoti; Eric Eide; Robert Ricci (ACM SIGOPS Oper. Syst. Rev., 2014)