SAC-1 | ACM SIGSAM Bulletin | DeepDyve