Elliot Linzer, M. Vetterli
Computing
This paper describes how authors have combined a number of tools (most of which are tailored to a particular programming language) into a single system to aid in the reading, writing, and running of programs. Discussed is the efficacy and the structure of two such systems, one of which has been used to build several large application programs.
Elliot Linzer, M. Vetterli
Computing
Ziyang Liu, Sivaramakrishnan Natarajan, et al.
VLDB
Robert C. Durbeck
IEEE TACON
Eric Price, David P. Woodruff
FOCS 2011