publication venue for PLP: Protecting Location Privacy Against Correlation-Analysis Attack in Crowdsensing 2015 NetMaster: Taming Energy Devourers on Smartphones 2014 A Dynamic Moldable Job Scheduling Based Parallel SAT Solver 2013 On the semantics of priority systems 1988