SANJAY: Automatically synthesizing visualizations of flow cytometry data using decision procedures | IEEE Conference Publication | IEEE Xplore