Parallelizing user-defined aggregations using symbolic execution

Article Details
Title:	Parallelizing user-defined aggregations using symbolic execution
Article URLs:	https://doi.org/10.1145/2815400.2815418
Alternative Article URLs:
Authors:	Veselin Raychev	ETH Zurich
	Madanlal Musuvathi	Microsoft Research
	Todd Mytkowicz	Microsoft Research
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:	http://githubarchive.org https://github.com/hapyrus/redshift-benchmark
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/sosp/RaychevMM15
Author Comments:

ACM Symposium on Operating Systems Principles, SOSP 2015