Systems and Security Publications and Research Projects

Walsh, J., Kesa, Oluwafunmilola, Wang, A., Ilas, M., O'Hara, P., Giles, O., Dhir, N., Girolami, M., Damoulas, Theodoros, 2024. Near real-time social distancing estimation in London. The Computer Journal, 67 (1), pp. 95-109
Zachos, Ioannis, Damoulas, Theodoros, Girolami, Mark, 2024. Table inference for combinatorial origin-destination choices in agent-based population synthesis. Stat, 13 (1)
Siklósi, Bálint, Mudalige, Gihan R., Reguly, István Z., 2024. Enabling Bitwise reproducibility for the unstructured computational motif. Applied Sciences, 14 (2)
Wright, Steven A., Ridgers, Christopher, Mudalige, Gihan R., Lantra, Zaman, Williams, Josh, Sunderland, Andrew, Thorne, Sue, Arter, Wayne, 2024. Developing performance portable plasma edge simulations : a survey. Computer Physics Communications, 298
Wang, Shen, Delavar, Mahshid, Azad, Muhammad Ajmal, Nabizadeh, Farshad, Smith, Steve, Hao, Feng, 2024. Spoofing against spoofing : towards caller ID verification in heterogeneous telecommunication systems. ACM Transactions on Privacy and Security, 27 (1), pp. 1-25
Druliac, Horia, Bardsley, Matthew, Riches, Chris, Dunn, Christian, Harrison, Luke, Roy, Bimal, Hao, Feng, 2024. On the feasibility of E2E verifiable online voting ? a case study from Durga Puja trial. Journal of Information Security and Applications, 81
Zhou, Yujue, Jiang, Jie, Yang, Shuang-Hua, He, Ligang, Ding, Yulong, Liu, Kai, Zhu, Guozhong, Qing, Yali, 2024. A data distillation enhanced autoencoder for detecting anomalous gas consumption. IEEE Internet of Things Journal, 11 (2), pp. 3473-3483
Lin, Wenjun, Lin, Weiwei, Lin, Jianpeng, Zhong, Haocheng, Wang, Jiangtao, He, Ligang, 2024. A multi-agent reinforcement learning-based method for server energy efficiency optimization combining DVFS and dynamic fan control. Sustainable Computing: Informatics and Systems, 42
Zhang, Ying, Akyildiz, Ömer Deniz, Damoulas, Theodoros, Sabanis, Sotirios, 2023. Nonasymptotic estimates for Stochastic Gradient Langevin Dynamics under local conditions in nonconvex optimization. Applied Mathematics and Optimization, 87
Perera, Shanaka, Aglietti, Virginia, Damoulas, Theodoros, 2023. On the competitive facility location problem with a Bayesian spatial interaction model. Journal of the Royal Statistical Society Series C: Applied Statistics, 72 (1), pp. 165-187
Wu, Wentai, He, Ligang, Lin, Weiwei, Maple, Carsten, 2023. FedProf : selective federated learning based on distributional representation profiling. IEEE Transactions on Parallel and Distributed Systems, 34 (6), pp. 1942-1953
Zhao, J., Zhang, Y., He, Ligang, Li, Q., Zhang, X., Jiang, X., Yu, H., Liao, X., Jin, H., Gu, L., Liu, H., He, B., Zhang, J., Song, X., Wang, L., Zhou, J., 2023. GraphTune : an efficient dependency-aware substrate to alleviate irregularity in concurrent graph processing. ACM Transactions on Architecture and Code Optimization (TACO), 20 (3)
Lin, Xufeng, Li, Chang-Tsun, Adams, Scott, Kouzani, Abbas Z., Jiang, Richard, He, Ligang, Hu, Yongjian, Vernon, Michael, Doeven, Egan, Webb, Lawrence, Mcclellan, Todd, Guskich, Adam, 2023. Self-supervised leaf segmentation under complex lighting conditions. Pattern Recognition, 135
Zhao, Rong, Gu, Zhuoer, Han, Xie, He, Ligang, Sun, Fusheng, Jiao, Shichao, 2023. Multi-view stereo network with point attention. Applied Intelligence, 53 (22), pp. 26622-26636
Alghamdi, Mohammed H., He, Ligang, Ren, Shenyuan, Maray, Mohammed, 2023. Efficient parallel processing of all-pairs shortest paths on multicore and GPU systems. IEEE Transactions on Consumer Electronics
Wu, W., Shi, X., He, Ligang, Jin, H., 2023. TurboGNN : improving the end-to-end performance for sampling-based GNN training on GPUs. IEEE Transactions on Computers, 72 (9), pp. 2571-2584
Shi, Xuanhua, Peng, Xuan, He, Ligang, Zhao, Yunfei, Jin, Hai, 2023. Waterwave : a GPU memory flow engine for concurrent DNN training. IEEE Transactions on Computers, 72 (10), pp. 2938-2950
'Jaskari, Joel, 'Sahlsten, Jaakko, 'Damoulas, Theodoros, 'Knoblauch, Jeremias, 'Sarkka, Simo, 'Karkkainen, Leo, 'Hietala, Kustaa, 'Kaski, Kimmo K., 2022. 'Uncertainty-aware deep learning methods for robust diabetic retinopathy classification. IEEE Access, 10, pp. 76669-76681
Knoblauch, Jeremias, Jewson, Jack E., Damoulas, Theodoros, 2022. An optimization-centric view on Bayes? rule : reviewing and generalizing variational inference. Journal of Machine Learning Research, 23 (123), pp. 1-109
Balogh, G. D., Flynn, T., Laizet, S., Mudalige, Gihan R., Reguly, Istvan Zoltan, 2022. Scalable many-core algorithms for tridiagonal solvers. Computing in Science and Engineering, 24 (1), pp. 26-35
'Tu, Zezhong, 'Xue, Yongkang, 'Ren, Pengpeng, 'Hao, Feng, 'Wang, Runsheng, 'Li, Meng, 'Zhang, Jianfu, 'Ji, Zhigang, 'Huang, Ru, 2022. 'A probability-based strong physical unclonable function with strong machine learning immunity. IEEE Electron Device Letters, 43 (1), pp. 138-141
'Zhang, Liang, 'Qiu, Feiyang, 'Hao, Feng, 'Kan, Haibin, 2022. '1-round distributed key generation with efficient reconstruction using decentralized CP-ABE. IEEE Transactions on Information Forensics and Security, 17, pp. 894-907
'Li, Luyang, 'He, Ligang, 'Gao, Jinjin, 'Han, Xie, 2022. 'PSNet : fast data structuring for hierarchical deep learning on point cloud. IEEE Transactions on Circuits and Systems for Video Technology
'Sthapit, Saurav, 'Lakshminarayana, Subhash, 'He, Ligang, 'Epiphaniou, Gregory, 'Maple, Carsten, 2022. 'Reinforcement learning for security aware computation offloading in satellite networks. IEEE Internet of Things Journal, 9 (14), pp. 12351-12363
'Jiao, Shichao, 'Han, Xie, 'Xiong, Fengguang, 'Yang, Xiaowen, 'Han, Huiyan, 'He, Ligang, 'Kuang, Liqun, 2022. 'Deep cross-modal discriminant adversarial learning for zero-shot sketch-based image retrieval. Neural Computing and Applications, 34 (16), pp. 13469-13483
Wu, Wentai, He, Ligang, Lin, Weiwei, Su, Yi, Cui, Yuhua, Maple, Carsten, Jarvis, Stephen A., 2022. Developing an unsupervised real-time anomaly detection scheme for time series with multi-seasonality. IEEE Transactions on Knowledge and Data Engineering, 34 (9), pp. 4147-4160
Armstrong, David J., Gamper, Jevgenij, Damoulas, Theodoros, 2021. Exoplanet validation with machine learning : 50 new validated Kepler planets. Monthly Notices of the Royal Astronomical Society, 504 (4), pp. 5327-5344
Tu, Zezhong, Xue, Yongkang, Ren, Pengpeng, Hao, Feng, Wang, Runsheng, Li, Meng, Zhang, Jianfu, Ji, Zhigang, Huang, Ru, Tu, Zezhong, Xue, Yongkang, Ren, Pengpeng, Hao, Feng, Wang, Runsheng, Li, Meng, Zhang, Jianfu, Ji, Zhigang, Huang, Ru, 2021. A probability-based strong physical unclonable function with strong machine learning immunity. IEEE Electron Device Letters, pp. 1-1
'Hao, Feng, 2021. 'Prudent practices in security standardization. IEEE Communications Standards Magazine, 5 (3), pp. 40-47
McCorry, Patrick, Mehrnezhad, Maryam, Toreini, Ehsan, Shahandashti, Siamak F., Hao, Feng, 2021. On secure E-voting over blockchain. Digital Threats : Research and Practice, 2 (4)
'Modesti, Paolo, 'Shahandashti, Siamak F., 'McCorry, Patrick, 'Hao, Feng, 2021. 'Formal modelling and security analysis of Bitcoin?s payment protocol. Computers & Security, 107
Wang, Shen, Toreini, Ehsan, Hao, Feng, 2021. Anti-counterfeiting for polymer banknotes based on polymer substrate fingerprinting. IEEE Transactions on Information Forensics and Security, 16, pp. 2823-2835
Zhou, Yujue, Jiang, Jie, Yang, Shuang-Hua, He, Ligang, Ding, Yulong, 2021. MuSDRI : Multi-seasonal decomposition based recurrent imputation for time series. IEEE Sensors Journal, 21 (20), pp. 23213-23223
'Zhou, Yujue, 'Jiang, Jie, 'Qian, Kai, 'Ding, Yulong, 'Yang, Shuang-Hua, 'He, Ligang, 2021. 'Graph convolutional networks based contamination source identification across water distribution networks. Process Safety and Environmental Protection, 155, pp. 317-324
Wu, Wentai, Lin, Weiwei, He, Ligang, Wu, Guangxin, Hsu, Ching-Hsien, 2021. A power consumption model for cloud servers based on Elman Neural Network. IEEE Transactions on Cloud Computing, 9 (4), pp. 1268-1277
Zheng, Zhigao, Shi, Xuanhua, He, Ligang, Jin, Hai, Wei, Shuo, Dai, Hulin, Peng, Xuan, 2021. Feluca : A two-stage graph coloring algorithm with color-centric paradigm on GPU. IEEE Transactions on Parallel and Distributed Systems, 32 (1), pp. 160-173
Zhou, Yujue, He, Ligang, Yang, Shuang?Hua, 2021. Developing normalization schemes for data isolated distributed deep learning. IET Cyber-Physical Systems: Theory & Applications, 6 (3), pp. 105-115
Wu, Wentai, He, Ligang, Lin, Weiwei, Mao, Rui, Maple, Carsten, Jarvis, Stephen A., 2021. SAFA : a semi-asynchronous protocol for fast federated learning with low overhead. IEEE Transactions on Computers, 70 (5)
Azad, Muhammad Ajmal, Bag, Samiran, Perera, Charith, Barhamgi, Mahmoud, Hao, Feng, 2020. Authentic-caller : self-enforcing authentication in a next generation network. IEEE Transactions on Industrial Informatics, 16 (5), pp. 3606-3615
Hao, Feng, Wang, Shen, Bag, Samiran, Procter, Rob, Shahandashti, Siamak, Mehrnezhad, Maryam, Toreini, Ehsan, Metere, Roberto, Liu, Lana, 2020. End-to-end verifiable E-voting trial for Polling Station voting. IEEE Security & Privacy, 18 (6), pp. 6-13
Azad, Muhammad Ajmal, Bag, Samiran, Hao, Feng, Shalaginov, Andrii, 2020. Decentralized self-enforcing trust management system for social Internet of Things. IEEE Internet of Things Journal, 7 (4), pp. 2690-2703
Panja, Somnath, Bag, Samiran, Hao, Feng, Roy, Bimal, 2020. A smart contract system for decentralized borda count voting. IEEE Transactions on Engineering Management, 67 (4), pp. 1323-1339
Monterrubio-Gomez, Karla, Roininen, Lassi, Wade, Sara, Damoulas, Theodoros, Girolami, Mark, 2020. Posterior inference for sparse hierarchical non-stationary models. Computational Statistics & Data Analysis, 148
Mckay, H., Griffiths, Nathan, Taylor, Phillip M., Damoulas, Theodoros, Xu, Zhou, 2020. Bi-directional online transfer learning : a framework. Annals of Telecommunications, 75, pp. 523-547
Zhu, Huanzhou, He, Ligang, Leeke, Matthew, Mao, Rui, 2020. WolfGraph : the edge-centric graph processing on GPU. Future Generation Computer Systems, 111, pp. 552-569
Leeke, Matthew, 2020. Simultaneous fault models for the generation and location of efficient error detection mechanisms. The Computer Journal, 63 (5), pp. 758-773
Reguly, Istvan Z., Mudalige, Gihan R., 2020. Productivity, performance, and portability for computational fluid dynamics applications. Computers & Fluids, 199
Ajmal, Muhammad, Bag, Samiran, Tabassum, Shazia, Hao, Feng, 2020. privy : privacy preserving collaboration across multiple service providers to combat telecoms spam. IEEE Transactions on Emerging Topics in Computing, 8 (2), pp. 313-327
Bag, Samiran, Hao, Feng, Shahandashti, Siamak F., Ray, Indranil G., 2019. SEAL : sealed-bid auction without auctioneers. IEEE Transactions on Information Forensics and Security, 15, pp. 2042-2052
Azad, Muhammad Ajmal, Bag, Samiran, Parkinson, Simon, Hao, Feng, 2019. TrustVote : privacy-preserving node ranking in vehicular networks. IEEE Internet of Things Journal, 6 (4), pp. 5878-5891
Bag, Samiran, Azad, Muhammad Ajmal, Hao, Feng, 2019. PriVeto : a fully private two round veto protocol. IET Control Theory and Applications, 13 (4), pp. 311-320
Crosby, Henry James, Damoulas, Theodoros, Jarvis, Stephen A., 2019. Road and travel time cross-validation for urban modelling. International Journal of Geographical Information Science, 34 (1), pp. 98-118
Sulyok, A. A, Balogh, G. D., Reguly, I. Z., Mudalige, Gihan R., 2019. Locality optimized unstructured mesh algorithms on GPUs. Journal of Parallel and Distributed Computing, 134, pp. 50-64
Reguly, Istvan Z., Mudalige, Gihan R., Giles, Mike B., Maheswaran, Satheesh, 2019. Improving resilience of scientific software through a domain-specific approach. Journal of Parallel and Distributed Computing, 128, pp. 99-114
Mudalige, Gihan R., Reguly, I. Z., Jammy, S. P., Jacobs, C. T., Giles, M. B., Sandham, Neil D., 2019. Large-scale performance of a DSL-based multi-block structured-mesh application for direct numerical simulation. Journal of Parallel and Distributed Computing, 131, pp. 130-146
Yi, Xun, Tari, Zahir, Hao, Feng, Chen, Liqun, Liu, Joseph K., Yang, Xuechao, Lam, Kwok-Yan, Khalil, Ibrahim, Zomaya, Albert Y., 2019. Efficient threshold password-authenticated secret sharing protocols for cloud computing. Journal of Parallel and Distributed Computing, 128, pp. 57-70
Toreini, Ehsan, Shahandashti, Siamak F., Mehrnezhad, Maryam, Hao, Feng, 2019. DOMtegrity : ensuring web page integrity against malicious browser extensions. International Journal of Information Security, 18, pp. 801-814
Ali, Mohammed Aamir, Parrreno Centeno, Mario, Azad, Muhammad Ajmal, Hao, Feng, van Moorsel, Aad, 2019. Consumer-facing technology fraud : economics, attack methods and potential solutions. Future Generation Computer Systems, 100, pp. 408-427
Zhang, Yu, Zhao, Jin, Liao, Xiaofei, Jin, Hai, Gu, Lin, Liu, Haikun, He, Bingsheng, He, Ligang, 2019. CGraph: A Distributed Storage and Processing System for Concurrent Iterative Graph Analysis Jobs. ACM Transactions on Storage, 15 (2), pp. 1-26
Ren, Shenyuan, He, Ligang, Li, Junyu, Chen, Zhiyan, Jiang, Peng, Li, Chang-Tsun, 2019. Contention-aware prediction for performance impact of task co-running in multicore computers. Wireless Networks, pp. 1-8
Jiang, Peng, He, Ligang, Ren, Shenyuan, Chen, Zhiyan, Mao, Rui, 2019. vChecker : an application-level demand-based co-scheduler for improving the performance of parallel jobs in Xen. Wireless Networks, pp. 1-7
Shi, Xuanhua, Ke, Zhixiang, Zhou, Yongluan, Jin, Hai, Lu, Lu, Zhang, Xiong, He, Ligang, Hu, Zhenyu, Wang, Fei, 2019. Deca : a garbage collection optimizer for in-memory data processing. ACM Transactions on Computer Systems, 36 (1), pp. 1-47
Crosby, Henry James, Damoulas, Theodoros, Caton, Alexander, Davis, Paul, Albuquerque, Joa~o Porto de, Jarvis, Stephen A., 2018. Road distance and travel time for an improved house price Kriging predictor. Geo-spatial Information Science, 21 (3), pp. 185-194
Crosby, Henry James, Damoulas, Theodoros, Jarvis, Stephen A., 2018. Embedding road networks and travel time into distance metrics for urban modelling. International Journal of Geographical Information Science, 33 (3), pp. 512-536
Bradbury, Matthew S., Jhumka, Arshad, Leeke, Matthew, 2018. Hybrid online protocols for source location privacy in wireless sensor networks. Journal of Parallel and Distributed Computing, 115, pp. 67-81
Reguly, Istvan Zoltan, Mudalige, Gihan R., Giles, Mike, 2018. Loop tiling in large-scale stencil codes at run-time with OPS. IEEE Transactions on Parallel and Distributed Systems, 29 (4), pp. 873-886
Hao, Feng, Clarke, Dylan, Randell, Brian, Shahandashti, Siamak F., 2018. Verifiable classroom voting in practice. IEEE Security & Privacy, 16 (1), pp. 72-81
Hao, Feng, Metere, Roberto, Shahandashti, Siamak F., Dong, Changyu, 2018. Analyzing and patching SPEKE in ISO/IEC. IEEE Transactions on Information Forensics and Security, 13 (11), pp. 2844-2855
Li, Chengqing, Lin, Dongdong, Feng, Bingbing, Lü, Jinhu, Hao, Feng, 2018. Cryptanalysis of a chaotic image encryption algorithm based on information entropy. IEEE Access, 6, pp. 75834-75842
Li, Chengqing, Lin, Dongdong, Lü, Jinhu, Hao, Feng, 2018. Cryptanalyzing an image encryption algorithm based on autoblocking and electrocardiography. IEEE MultiMedia, 25 (4), pp. 46-56
Perrotta, Raffaello, Hao, Feng, 2018. Botnet in the browser : understanding threats caused by malicious browser extensions. IEEE Security & Privacy, 16 (4), pp. 66-81
Azad, Muhammad Ajmal, Bag, Samiran, Hao, Feng, Salah, Khaled, 2018. M2M-REP : reputation system for machines in the internet of things. Computers & Security, 79, pp. 1-16
Bag, Samiran, Azad, Muhammad Ajmal, Hao, Feng, 2018. A privacy-aware decentralized and personalized reputation system. Computers & Security, 77, pp. 514-530
Ali, Syed Taha, McCorry, Patrick, Lee, Peter Hyun-Jeen, Hao, Feng, 2018. ZombieCoin 2.0 : managing next-generation botnets using Bitcoin. International Journal of Information Security, 17 (4), pp. 411-422
Mehrnezhad, Maryam, Toreini, Ehsan, Shahandashti, Siamak F., Hao, Feng, 2018. Stealing PINs via mobile sensors : actual risk versus user perception. International Journal of Information Security, 17 (3), pp. 291-313
Azad, Muhammad Ajmal, Bag, Samiran, Hao, Feng, 2018. PrivBox : verifiable decentralized reputation system for online marketplaces. Future Generation Computer Systems, 89, pp. 44-57
Chen, Zhiwen, He, Xin, Sun, Jianhua, Chen, Hao, He, Ligang, 2018. Concurrent hash tables on multicore machines : comparison, evaluation and implications. Future Generation Computer Systems, 82, pp. 127-141
Zhu, H., Gu, Z., Zhao, H., Chen, K., Li, Chang-Tsun, He, Ligang, 2018. Developing a pattern discovery method in time series data and its GPU acceleration. Big Data Mining and Analytics, 1 (4), pp. 266-283
Jiang, Peng, He, Ligang, Ren, Shenyuan, Chen, Zhiyan, Mao, Rui, 2018. vPlacer : a co-scheduler for optimizing the performance of parallel jobs in Xen. ICA3PP 2018: Algorithms and Architectures for Parallel Processing, 11334, pp. 19-33
Ren, Shenyuan, He, Ligang, Li, Junyu, Chen, Chao, Gu, Zhuoer, Chen, Zhiyan, 2018. Scheduling DAG Applications for Time Sharing Systems. ICA3PP 2018: Algorithms and Architectures for Parallel Processing, 11335, pp. 272-286
Toreini, Ehsan, Shahandashti, Siamak F., Hao, Feng, 2017. Texture to the rescue : practical paper fingerprinting based on texture patterns. ACM Transactions on Privacy and Security, 20 (3), pp. 1-29
Ren, Shenyuan, He, Ligang, Zhu, Huanzhou, Gu, Zhuoer, Song, Wei, Shang, Jiandong, 2017. Developing power-aware scheduling mechanisms for computing systems virtualized by Xen. Concurrency and Computation: Practice and Experience, 29 (3)
Zhu, Huanzhou, He, Ligang, Fu, Songling, Li, Rui, Han, Xie, Fu, Zhangjie, Hu, Yongjian, Li, Chang-Tsun, 2017. WolfPath : accelerating iterative traversing-based graph processing algorithms on GPU. International Journal of Parallel Programming
Chang, Cheng, He, Ligang, Chaudhary, Nadeem, Fu, Songling, Chen, Hao, Sun, Jianhua, Li, Kenli, Fu, Zhangjie, Xu, Ming-Liang, 2017. Performance analysis and optimization for workflow authorization. Future Generation Computer Systems, 67, pp. 194-205
Reguly, I Z., László, Endre, Mudalige, Gihan R., Giles, Mike B., 2016. Vectorizing unstructured mesh computations for many-core architectures.. Concurrency and Computation: Practice and Experience, 28 (2), pp. 557-577
Reguly, Istvan Z., Mudalige, Gihan R., Bertolli, Carlo, Giles, Michael B., Betts, Adam, Kelly, Paul H. J., Radford, David, 2016. Acceleration of a full-scale industrial CFD application with OP2. IEEE Transactions on Parallel and Distributed Systems, 27 (5), pp. 1265-1278
Jammy, Satya P., Mudalige, Gihan R., Reguly, Istvan Z., Sandham, Neil D., Giles, Mike, 2016. Block-structured compressible Navier?Stokes solution using the OPS high-level abstraction. International Journal of Computational Fluid Dynamics, 30 (6), pp. 450-454
Hao, Feng, Clarke, Dylan, Zorzo, Avelino Francisco, 2016. Deleting secret data with public verifiability. IEEE Transactions on Dependable and Secure Computing, 13 (6), pp. 617-629
Yi, Xun, Rao, Fang-Yu, Tari, Zahir, Hao, Feng, Bertino, Elisa, Khalil, Ibrahim, Zomaya, Albert Y., 2016. ID2S password-authenticated key exchange protocols. IEEE Transactions on Computers, 65 (12), pp. 3687-3701
Mehrnezhad, Maryam, Toreini, Ehsan, Shahandashti, Siamak F., Hao, Feng, 2016. TouchSignatures : identification of user touch actions and PINs based on mobile sensor data via JavaScript. Journal of Information Security and Applications, 26, pp. 23-38
He, Ligang, Zhu, Huanzhou, Jarvis, Stephen A., 2016. Developing graph-based co-scheduling algorithms on multicore computers. IEEE Transactions on Parallel and Distributed Systems, 27 (6), pp. 1617-1632
Gao, Bo, He, Ligang, Jarvis, Stephen A., 2016. Offload decision models and the price of anarchy in mobile cloud application ecosystems. IEEE Access, 3, pp. 3125-3137
Jhumka, Arshad, Bradbury, Matthew S., Leeke, Matthew, 2015. Fake source-based source location privacy in wireless sensor networks. Concurrency and Computation: Practice and Experience, 27 (12), pp. 2999-3020
Shi, Xuanhua, Chen, Ming, He, Ligang, Xie, Xu, Lu, Lu, Jin, Hai, Chen, Yong, Wu, Song, 2015. Mammoth : gearing Hadoop towards memory-intensive MapReduce applications. IEEE Transactions on Parallel and Distributed Systems, 26 (8), pp. 2300-2315
Xu, Yuming, Li, Kenli, He, Ligang, Zhang, Longxin, Li, Keqin, 2015. A hybrid chemical reaction optimization scheme for task scheduling on heterogeneous computing systems. IEEE Transactions on Parallel and Distributed Systems, 26 (12), pp. 3208-3222
Fu, Songling, He, Ligang, Huang, Chenlin, Liao, Xiangke, Li, Kenli, 2015. Performance optimization for managing massive numbers of small files in distributed file systems. IEEE Transactions on Parallel and Distributed Systems, 26 (12), pp. 3433-3448
Sullivan, Brian L., Aycrigg, Jocelyn L., Barry, Jessie H., Bonney, Rick E., Bruns, Nicholas, Cooper, Caren B., Damoulas, Theodoros, Dhondt, André A., Dietterich, Tom, Farnsworth, Andrew, Fink, Daniel, Fitzpatrick, John W., Fredericks, Thomas, Gerbracht, Jeff, Gomes, Carla, Hochachka, Wesley M., Iliff, Marshall J., Lagoze, Carl, La Sorte, Frank A., Merrifield, Matthew et al (Select to open full list), 2014.

All authors for The eBird enterprise : an integrated approach to development and application of citizen science

Sullivan, Brian L., Aycrigg, Jocelyn L., Barry, Jessie H., Bonney, Rick E., Bruns, Nicholas, Cooper, Caren B., Damoulas, Theodoros, Dhondt, André A., Dietterich, Tom, Farnsworth, Andrew, Fink, Daniel, Fitzpatrick, John W., Fredericks, Thomas, Gerbracht, Jeff, Gomes, Carla, Hochachka, Wesley M., Iliff, Marshall J., Lagoze, Carl, La Sorte, Frank A., Merrifield, Matthew, Morris, Will, Phillips, Tina B., Reynolds, Mark, Rodewald, Amanda D., Rosenberg, Kenneth V., Trautmann, Nancy M., Wiggins, Andrea, Winkler, David W., Wong, Weng-Keen, Wood, Christopher L., Yu, Jun, Kelling, Steve

The eBird enterprise : an integrated approach to development and application of citizen science. Biological Conservation, 169, pp. 31-40
Doraiswamy, Harish, Ferreira, Nivan, Damoulas, Theodoros, Freire, Juliana, Silva, Claudio T., 2014. Using topological analysis to support event-guided exploration in urban data. IEEE Transactions on Visualization and Computer Graphics, 20 (12), pp. 2634-2643
Fink, Daniel, Damoulas, Theodoros, Bruns, Nicholas E., La Sorte, Frank A., Hochanchka, Wesley M., Gomes, Carla P., Kelling, Steve, 2014. Crowdsourcing meets ecology : hemisphere-wide spatiotemporal species distribution models. AI Magazine, 35 (2), pp. 19-30
Coetzee, Peter, Leeke, Matthew, Jarvis, Stephen A., 2014. Towards unified secure on- and off-line analytics at scale. Parallel Computing, 40 (10), pp. 738-753
Satvat, Kiavash, Forshaw, Matthew, Hao, Feng, Toreini, Ehsan, 2014. On the privacy of private browsing ? a forensic approach. Journal of Information Security and Applications, 19 (1), pp. 88-100
Hao, Feng, Kreeger, Matthew N., Randell, Brian, Clarke, Dylan, Shahandashti, Siamak F., Lee, Peter Hyun-Jeen, 2014. Every vote counts : ensuring integrity in large-scale electronic voting. USENIX Journal of Election Technology and Systems (JETS), 2 (3), pp. 1-25
Clarke, Dylan, Hao, Feng, 2014. Cryptanalysis of the dragonfly key exchange protocol. IET Information Security, 8 (6), pp. 283-289
Chen, Hao, Sun, Jianhua, He, Ligang, Li, Kenli, Tan, Huailiang, 2014. BAG : Managing GPU as buffer cache in operating systems. IEEE Transactions on Parallel and Distributed Systems, 25 (6), pp. 1393-1402
Fu, Songling, He, Ligang, Liao, Xiangke, Li, Kenli, Huang, Chenlin, 2014. Analyzing the impact of storage shortage on data availability in decentralized online social networks. The scientific world journal, 2014, pp. 1-14
He, Ligang, Zou, Deqing, Zhang, Zhang, Chen, Chao, Jin, Hai, Jarvis, Stephen A., 2014. Developing resource consolidation frameworks for moldable virtual machines in clouds. Future Generation Computer Systems, 32, pp. 69-81
He, Ligang, Chaudhary, Nadeem, Jarvis, Stephen A., 2014. Developing security-aware resource management strategies for workflows. Future Generation Computer Systems, 38 (9), pp. 61-68
Leeke, Matthew, Jhumka, Arshad, Anand, Sarabjot Singh, 2013. Towards the design of efficient error detection mechanisms for transient data errors. Computer Journal, 56 (6), pp. 674-692
Shi, X., Jiang, H., He, Ligang, Jin, H., Wang, C., Yu, B., Wang, F., 2013. Developing an optimized application hosting framework in Clouds. Journal of Computer and System Sciences, 179 (8), pp. 1214-1229
Xu, Yuming, Li, Kenli, He, Ligang, Truong, Tung Khac, 2013. A DAG scheduling scheme on heterogeneous computing systems using double molecular structure-based chemical reaction optimization. Journal of Parallel and Distributed Computing, 73 (9), pp. 1306-1322
Chen, Hao, Shi, Lin, Sun, Jianhua, Li, Kenli, He, Ligang, 2013. A fast RPC system for virtual machines. IEEE Transactions on Parallel and Distributed Systems, 24 (7), pp. 1267-1276
Perks, O. F. J., Beckingsale, David A., Hammond, Simon D., Miller, I., Herdman, J. A., Vadgama, A., Bhalerao, Abhir, He, Ligang, Jarvis, Stephen A., 2013. Towards automated memory model generation via event tracing. Computer Journal, 56 (2), pp. 156-174
Shao, Zhiyuan, He, Ligang, Lu, Zhiqiang, Jin, Hai, 2013. VSA : an offline scheduling analyzer for Xen virtual machine monitor. Future Generation Computer Systems, 29 (8), pp. 2067-2076
Pennycook, Simon J., Hammond, Simon D., Mudalige, Gihan R., Wright, Steven A., Jarvis, Stephen A., 2012. On the acceleration of wavefront applications using distributed many-core architectures. Computer Journal, 55 (2), pp. 138-153
Liu, Limin, He, Ligang, Jarvis, Stephen A., 2012. Performance analysis for workflow management systems under role-based authorization control. Lecture Notes in Computer Science, Vol.7296, pp. 323-337
He, Ligang, Huang, Chenlim, Duan, Kewei, Li, Kenli, Chen, Hao, Sun, Jianhua, Jarvis, Stephen A., 2012. Modeling and analyzing the impact of authorization on workflow executions. Future Generation Computer Systems, 28 (8), pp. 1177-1193
Jhumka, Arshad, Leeke, Matthew, Shrestha, Sambid, 2011. On the use of fake sources for source location privacy : trade-offs between energy and privacy. The Computer Journal, 54 (6), pp. 860-874
Davis, J. A., Mudalige, Gihan R., Hammond, Simon D., Herdman, J. A., Miller, I., Jarvis, Stephen A., 2011. Predictive analysis of a hydrodynamics application on large-scale CMP clusters. Computer Science - Research and Development, 26 (3-4), pp. 175-185
Bacigalupo, David A., van Hemert, J., Chen, Xiaoyu, Usmani, A., Chester, Adam P., He, Ligang, Dillenberger, D. N., Wills, G. B., Gilbert, L., Jarvis, Stephen A., 2011. Managing dynamic enterprise and urgent workloads on clouds using layered queuing and historical performance models. Simulation Modelling Practice and Theory, 19 (6), pp. 1479-1495
Xu, Wenping, Hong, Liu, He, Ligang, Wang, Shuliang, Chen, Xueguang, 2011. Supply-driven dynamic inoperability input-output price model for interdependent infrastructure systems. Journal of Infrastructure Systems, Vol.17 (No.4), pp. 151-162
Hammond, Simon D., Mudalige, Gihan R., Smith, J. A., Davis, J. A., Mills, A. B., Jarvis, Stephen A., Holt, J., Miller, I., Herdman, J. A., Vadgama, A., 2009. Performance prediction and procurement in practice : assessing the suitability of commodity cluster components for wavefront codes. IET Software, 3 (6), pp. 509-521
Spooner, Daniel P., Cao, J., Jarvis, Stephen A., He, Ligang, Nudd, G. R., 2005. Performance-aware workflow management for grid computing. Computer Journal, 48 (3), pp. 347-357
Bacigalupo, David A., Jarvis, Stephen A., He, Ligang, Spooner, Daniel P., Dillenberger, D. N., Nudd, G. R., 2005. An investigation into the application of different performance prediction methods to distributed enterprise applications. The Journal of Supercomputing, 34 (2), pp. 93-111
Jarvis, Stephen A., He, Ligang, Spooner, Daniel P., Nudd, G. R., 2005. The impact of predictive inaccuracies on execution scheduling. Performance Evaluation, 60 (1-4), pp. 127-139
He, Ligang, Jarvis, Stephen A., Spooner, Daniel P., Nudd, G. R., 2004. Dynamic, capability-driven scheduling of DAG-based real-time jobs in heterogeneous cluster. International Journal of High Performance Computing and Networking (IJHPCN), 2 (2-4), pp. 165-177

Hao, Feng, Ryan, Peter, 2017. Real-world electronic voting : design, analysis and deployment. Boca Raton, FL, CRC Press
Hao, Feng, 2017. DRE-i and self-enforcing e-voting. Hao, Feng; Ryan, Peter (eds.), Real-world electronic voting : design, analysis and deployment, Boca Raton, FL, CRC Press
Shahandashti, Siamak F., Hao, Feng, 2016. DRE-ip : a verifiable e-voting scheme without tallying authorities. In Askoxylakis, I.; Ioannidis, S.; Katsikas, S.; Meadows, C. (eds.), Computer Security ? ESORICS 2016, Springer, pp. 223-240
McCorry, Patrick, Möser, Malte, Shahandasti, Siamak F., Hao, Feng, 2016. Towards bitcoin payment networks. In Information Security and Privacy, Cham, Springer, pp. 57-76
Mehrnezhad, Maryam, Ali, Mohammed Aamir, Hao, Feng, Moorsel, Aad P.A. van, 2016. NFC Payment Spy : a privacy attack on contactless payments. In Security Standardisation Research, Cham, Springer, pp. 92-111
Thomason, Alasdair, Griffiths, Nathan, Leeke, Matthew, 2015. Extracting meaningful user locations from temporally annotated geospatial data. In Giaffreda, Raffaele; Cagánová, Dagmar; Li, Yong; Riggio, Roberto; Voisard, Agnès (eds.), Internet of things : IoT infrastructures : first International Summit, IoT360 2014, Rome, Italy, October 27-28, 2014, Revised Selected Papers. Part II, Springer International Publishing, pp. 84-90
Thomason, Alasdair, Leeke, Matthew, Griffiths, Nathan, 2015. Understanding the impact of data sparsity and duration for location prediction applications. In Giaffreda, Raffaele; Cagánová, Dagmar; Li, Yong; Riggio, Roberto; Voisard, Agnès (eds.), Internet of things : IoT infrastructures : first International Summit, IoT360 2014, Rome, Italy, October 27-28, 2014, Revised Selected Papers. Part II, Springer International Publishing, pp. 192-197
He, Ligang, Jarvis, Stephen A., Bacigalupo, David A., Spooner, Daniel P., Nudd, G. R., 2005. Performance-aware load balancing for multiclusters. In Cao, J.; Yang, L. T.; Guo, M.; Lau, F. (eds.), Parallel and Distributed Processing and Applications, Springer Berlin Heidelberg, pp. 635-647
He, Ligang, Jarvis, Stephen A., Spooner, Daniel P., Nudd, G. R., 2003. Performance-based dynamic scheduling of hybrid real-time applications on a cluster of heterogeneous workstations. In Kosch, Harald; Böszörményi, László, 1949-; Hellwagner, Hermann (eds.), Euro-Par 2003 Parallel Processing : 9th International Euro-Par Conference Klagenfurt, Austria, August 26-29, 2003 Proceedings, Berlin ; London, Springer-Verlag, pp. 195-200

Harrison, Luke, Bag, Samiran, Hao, Feng, 2024. Camel : E2E verifiable instant runoff voting without tallyingauthorities. The 19th ACM ASIA Conference on Computer and Communications Security (ACM ASIACCS 2024), Singapore, 1-5 Jul 2024
Felekis, Yorgos, Zennaro, Fabio Massimo, Branchini, Nicola, Damoulas, Theodoros, 2024. Causal optimal transport of abstractions. CLeaR (Causal Learning and Reasoning) 2024, Los Angeles, California, 01-03 Apr 2024, Published in Proceedings of CLeaR (Causal Learning and Reasoning) 2024
Flynn, T. S., Manson-Sawko, R., Mudalige, Gihan R., 2024. Performance-portable multiphase flow solutions with discontinuous Galerkin methods. 38th IEEE International Parallel and Distributed Processing Symposium (IPDPS 2024), San Francisco, CA USA, 27-31 May 2024
Branchini, N., Aglietti, Virginia, Dhir, N., Damoulas, Theodoros, 2023. Causal entropy optimization. 26th International Conference on Artificial Intelligence and Statistics (AISTATS), Valencia, Spain, 25 - 27 Apr 2023, Published in Proceedings of The 26th International Conference on Artificial Intelligence and Statistics, pp. 8586-8605
Zennaro, Fabio Massimo, Turrini, Paolo, Damoulas, Theodoros, 2023. Quantifying consistency and information loss for causal abstraction learning. Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI-23, Macao, S.A.R, 19-25 Aug 2023, Published in Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI-23, pp. 5750-5757
Dai, Zhihao, Leeke, Matthew, Ding, Yulong, Yang, Shuang-hua, 2023. A heterogeneous redundant architecture for industrial control system security. 2022 IEEE 27th Pacific Rim International Symposium on Dependable Computing (PRDC), Beijing, China, 28 Nov-1 Dec 2022, Published in 2022 IEEE 27th Pacific Rim International Symposium on Dependable Computing (PRDC), pp. 89-97
Ekanayake, Suneth D., Reguly, Istvan Z., Luporini, Fabio, Mudalige, Gihan R., 2023. Communication-avoiding optimizations for large-scale unstructured-mesh applications with OP2. International Conference on Parallel Processing (ICPP), Utah, USA, 07-10 Aug 2023, Published in Proceedings of 52nd International Conference on Parallel Processing (ICPP 2023), pp. 380-391
Powell, A., Mudalige, Gihan R., 2023. Predictive analysis of code optimisations on large-scale coupled CFD-combustion simulations using the CPX mini-app. 37th IEEE International Parallel & Distributed Processing Symposium (IPDPS 2023), St. Petersburg, Florida, USA, 15-19 May 2023, Published in 2023 IEEE International Parallel and Distributed Processing Symposium (IPDPS)
Herodotou, Samuel, Hao, Feng, 2023. Spying on the spy : security analysis of hidden cameras. NSS 2023: 17th International Conference on Network and System Security, University of Kent, Canterbury, UK, 14-16 Aug 2023, Published in Lecture Notes in Computer Science, pp. 345-362
Nezhad, Mahshid Mehr, Laidlaw, Elliot, Hao, Feng, 2023. Security analysis of mobile point-of-sale terminals. NSS 2023: 17th International Conference on Network and System Security, Canterbury, UK, 14-16 Aug 2023, Published in Network and System Security. NSS 2023
You, Shih-Chun, Kuhn, Markus G., Sarkar, Sumanta, Hao, Feng, 2023. Low trace-count template attacks on 32-bit implementations of ASCON AEAD. CHES 2023, Prague, Czech Republic, 10-14 Sep 2023, Published in IACR Transactions on Cryptographic Hardware and Embedded Systems (CHES), pp. 344-366
Wu, Yifei, Li, Chengxi, Ran, Li, Cao, Qinze, Gammon, Peter M., Feng, Hao, Li, Yun, Ng, Chong, Wu, Binbing, 2023. Evaluation of bipolar degradation in SiC MOSFETs for converter design. 2023 IEEE Energy Conversion Congress and Exposition (ECCE), Nashville, TN, USA, 29 Oct - 02 Nov 2023, Published in 2023 IEEE Energy Conversion Congress and Exposition (ECCE)
Qi, Hao, Zhang, Yu, He, Ligang, Luo, Kang, Huang, Jun, Lu, Haoyu, Zhao, Jin, Jin, Hai, 2023. PSMiner : A pattern-aware accelerator for high-performance streaming graph pattern mining. 2023 Design Automation Conference (DAC2023), San Francisco, CA, 9-13 Jul 2023, Published in 2023 60th ACM/IEEE Design Automation Conference (DAC)
Dai, Zhihao, He, Ligang, Yang, Shuang-Hua, Leeke, Matthew, 2023. Revealing ongoing sensor attacks in industrial control system via setpoint modification. 2023 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech), Abu Dhabi, United Arab Emirates, 14-17 Nov 2023, pp. 191-199
Mudalige, Gihan R., Reguly, I. Z., Prabhakar, A., Amirante, D., Lapworth, L., Jarvis, Stephen A., 2022. Towards virtual certification of gas turbine engines with performance-portable simulations. 2022 IEEE International Conference on Cluster Computing (CLUSTER), Heidelberg, Germany, 5-8 Sep 2022, Published in 2022 IEEE International Conference on Cluster Computing (CLUSTER)
Prabhakar, Arun, Goddard, Christopher R., Amirantec, Dario, Reguly, Istvan Z., Gerstenberger, Axel, Suhrmann, Jan-Friedrich, Jarvis, Stephen A., Lapworth, Leigh, Mudalige, Gihan R., 2022. Virtual certification of gas turbine engines - visualizing the DLR Rig250 compressor. Supercomputing 2022 - Scientific Visualization and Data Analytics Showcase, Dallas, TX US, 14?17 Nov 2022
'Harrison, Luke, 'Bag, Samiran, 'Luo, Hang, 'Hao, Feng, 2022. 'VERICONDOR : End-to-end verifiable condorcet voting without tallying authorities. 17th ACM ASIA Conference on Computer and Communications Security (ACM ASIACCS 2022), Nagasaki, Japan ; Virtual, 30 May ?3 Jun 2022, Published in ASIA CCS '22: Proceedings of the 2022 ACM on Asia Conference on Computer and Communications Security, pp. 1113-1125
'Dellaporta, Charita, 'Knoblauch, Jeremias, 'Damoulas, Theodoros, 'Briol, Fran?ois-Xavier, 2022. 'Robust Bayesian inference for simulator-based models via the MMD posterior bootstrap. 25th International Conference in Artificial Intelligence and Statistics (AISTATS), Virtual, 28-30 Mar 2022, Published in Proceedings of Machine Learning Research
Kamalakkannan, Kamalavasan, Mudalige, Gihan R., Reguly, Istvan Z., Fahmy, Suhaib A., 2022. High throughput multidimensional tridiagonal system solvers on FPGAs. ACM International Conference on Supercomputing, Virtual, 28-30 Jun 2022, Published in ICS '22: Proceedings of the 36th ACM International Conference on Supercomputing, pp. 1-12
Kamalakkannan, K., Mudalige, Gihan R., Reguly, I. Z., Fahmy, S. A., 2022. FPGA acceleration of structured-mesh-based explicit and implicit numerical solvers using SYCL. IWOCL and SYCLcon, Virtual, 10?12 May 2022, Published in IWOCL'22: International Workshop on OpenCL
'Hao, Feng, 'van Oorschot, Paul, 2022. 'SoK : password-authenticated key exchange - theory, practice, standardization and real-world lessons. 17th ACM ASIA Conference on Computer and Communications Security (ACM ASIACCS 2022), Nagasaki, Japan ; Virtual, 30 May - 3 Jun 2022, Published in ASIA CCS '22: Proceedings of the 2022 ACM on Asia Conference on Computer and Communications Security, pp. 697-711
'Chen, Zhiyan, 'He, Ligang, 2022. 'Modelling the offload of AI tasks in mobile clouds. 2022 Thirteenth International Conference on Ubiquitous and Future Networks (ICUFN), Barcelona, Spain, 5-8 Jul 2022, Published in 2022 Thirteenth International Conference on Ubiquitous and Future Networks (ICUFN)
Wu, Hao, He, Ligang, Li, Chang-Tsun, Li, Junyu, Wu, Wentai, Maple, Carsten, 2022. MGGAN : Improving sample generations of Generative Adversarial Networks. 2021 IEEE 23rd Int Conf on High Performance Computing & Communications; 7th Int Conf on Data Science & Systems; 19th Int Conf on Smart City; 7th Int Conf on Dependability in Sensor, Cloud & Big Data Systems & Application (HPCC/DSS/SmartCity/DependSys), Haikou, Hainan, China, 20-22 Dec 2021, Published in 2021 IEEE 23rd Int Conf on High Performance Computing & Communications; 7th Int Conf on Data Science & Systems; 19th Int Conf on Smart City; 7th Int Conf on Dependability in Sensor, Cloud & Big Data Systems & Application (HPCC/DSS/SmartCity/DependSys)
Powell, Archie, Choudry, Kabir, Prabhakar, A., Reguly, I. Z., Amirante, D., Jarvis, S. A., Mudalige, Gihan R., 2021. Predictive analysis of large-scale coupled CFD simulations with the CPX mini-app. IEEE International Conference on High Performance Computing, Data and Analytics (HiPC 2021), Bangalore, India, 17-20 Dec 2021, Published in 2021 IEEE 28th International Conference on High Performance Computing, Data, and Analytics (HiPC)
Bailey, Toby, Gale, Michael B., 2021. Chesskell : a two- player game at the type level. 14th ACM SIGPLAN International Haskell Symposium, Virtual conference, 26-27 Aug 2021, Published in Haskell 2021: Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell, pp. 110-121
Keating, Finnbar, Gale, Michael B., 2021. Graded monads and type-level programming for dependence analysis. 14th ACM SIGPLAN International Haskell Symposium, Virtual conference, 26-27 Aug 2021, Published in Haskell 2021: Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell, pp. 27-40
'Hamelijnck, Oliver, 'Wilkinson, William J., 'Loppi, Niki A., 'Solin, Arno, 'Damoulas, Theodoros, 2021. 'Spatio-temporal variational Gaussian processes. Thirty-fifth Conference on Neural Information Processing Systems (NeurIPS 2021), Virtual, 6-14 Dec 2021, Published in Advances in Neural Information Processing Systems 34 (NeurIPS 2021), pp. 23621-23633
'Salvi, Cristopher, 'Lemercier, Maud, 'Liu, Chong, 'Horvath, Blanka, 'Damoulas, Theodoros, 'Lyons, Terry, 2021. 'Higher order kernel mean embeddings to capture filtrations of stochastic processes. Thirty-fifth Conference on Neural Information Processing Systems (NeurIPS 2021), Virtual, 6-14 Dec 2021, Published in Advances in Neural Information Processing Systems 34 (NeurIPS 2021), pp. 16635-16647
'Aglietti, Virginia, 'Dhir, N., 'Gonzalez, J., 'Damoulas, Theodoros, 2021. 'Dynamic causal Bayesian optimisation. Thirty-fourth Conference on Neural Information Processing Systems (NeurIPS 2021), Virtual, 6-14 Dec 2021, Published in Advances in Neural Information Processing Systems, pp. 10549-10560
Maronas, Juan, Hamelijnck, Oliver, Knoblauch, Jeremias, Damoulas, Theodoros, 2021. Transforming Gaussian processes with normalizing flows. 24th International Conference on Artificial Intelligence and Statistics (AISTATS 2021), Virtual, 13-15 Apr 2021, Published in Proceedings of The 24th International Conference on Artificial Intelligence and Statistics, pp. 1081-1089
Lemercier, Maud, Salvi, Cristopher, Cass, Thomas, Bonilla, Edwin V., Damoulas, Theodoros, Lyons, Terry, 2021. SigGPDE : scaling sparse Gaussian processes on sequential data. ICML : 2021 Thirty-eighth International Conference on Machine Learning, Virtual, 18-24 Jul 2021, Published in Proceedings of the 38th International Conference on Machine Learning, pp. 6233-6242
Akyildiz, Ömer Deniz, van den Burg, Gerrit J. J., Damoulas, Theodoros, Steel, Mark F. J., 2021. Probabilistic sequential matrix factorization. The 24th International Conference on Artificial Intelligence and Statistics (AISTATS 2021), Virtual, 13-15 Apr 2021, Published in Proceedings of The 24th International Conference on Artificial Intelligence and Statistics, pp. 3484-3492
Lemercier, Maud, Salvi, Cristopher, Damoulas, Theodoros, Bonilla, Edwin V., Lyons, Terry, 2021. Distribution regression for sequential data. The 24th International Conference on Artificial Intelligence and Statistics (AISTATS 2021), Virtual, 13-15 Apr 2021, Published in Proceedings of the 24th International Conference on Artificial Intelligence and Statistics (AISTATS), pp. 3754-3762
Leeke, Matthew, 2021. Reducing model complexity and cost in the generation of efficient error detection mechanisms. 19th IEEE International Conference on Dependable, Autonomic and Secure Computing (DASC'21), Calgary, Canada, 25-28 Oct 2021, Published in Proceedings of the 19th IEEE International Conference on Dependable, Autonomic and Secure Computing (DASC'21), pp. 26-34
Robinson, Alistair, Brown, Frederick, Hall, Nathan, Jackson, Alexander, Kemp, Graham, Leeke, Matthew, 2021. CASTLEGUARD : anonymised data streams with guaranteed differential privacy. 18th IEEE International Conference on Dependable, Autonomic and Secure Computing (DASC'20), Calgary, Canada, 17-22 Aug 2020, Published in 2020 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech)
Lamzed-Short, Andrew, Law, Timothy R., Mallinson, Andrew, Mudalige, Gihan R., Jarvis, Stephen A., 2021. Towards automated kernel fusion for the optimisation of scientific applications. 2020 IEEE/ACM 6th Workshop on the LLVM Compiler Infrastructure in HPC (LLVM-HPC) and Workshop on Hierarchical Parallelism for Exascale Computing (HiPar), GA, USA, 12 Nov 2020, pp. 45-55
Chester, Dean G., Groves, Taylor L., Hammond, Simon D., Law, Timothy R., Wright, Steven A., Smedley-Stevenson, Richard P., Fahmy, Suhaib A., Mudalige, Gihan R., Jarvis, Stephen A., 2021. StressBench : a configurable full system network and I/O benchmark framework. ISC High Performance 2021 Digital, Virtual conference, 24 Jun-02 Jul 2021
Kamalakkannan, K., Mudalige, Gihan R., Reguly, Istvan Z., Fahmy, Suhaib A., 2021. High-level FPGA accelerator design for structured-mesh-based explicit numerical solvers. 35th IEEE International Parallel & Distributed Processing Symposium, Portland, Oregon, USA, 17-21 May 2021, Published in 2021 IEEE International Parallel and Distributed Processing Symposium (IPDPS)
Reguly, Istvan Z., Owenson, A. M. B, Powell, Archie, Jarvis, Stephen A., Mudalige, Gihan R., 2021. Under the hood of SYCL - an initial performance analysis with an unstructured-mesh CFD application. 36th International Conference, ISC High Performance 2021, Virtual conference, 24 Jun - 2 Jul 2021, Published in High Performance Computing. ISC High Performance 2021, pp. 391-410
Kirk, Richard, Nolten, Martin, Kevis, Robert, Law, Timothy R., Maheswaran, Satheesh, Wright, Steven A., Powell, Seimon, Mudalige, Gihan R., Jarvis, Stephen A., 2021. Warwick Data Store : a data structure abstraction library. 2020 IEEE/ACM Performance Modeling, Benchmarking and Simulation of High Performance Computer Systems (PMBS), Georgia, USA, 12 Nov 2020, pp. 71-85
Chester, Dean G., Groves, Taylor L., Hammond, Simon D., Law, Timothy R., Wright, Steven A., Smedley-Stevenson, Richard P., Fahmy, Suhaib A., Mudalige, Gihan R., Jarvis, Stephen A., 2021. StressBench : a configurable full system network and I/O benchmark framework. 2021 IEEE High Performance Extreme Computing Virtual Conference, Virtual, 20-24 Sep 2021
'Nezhad, Mahshid Mehr, 'Hao, Feng, 2021. 'OPay : an orientation-based contactless payment solution against passive attacks. ACSAC: Annual Computer Security Applications Conference, Online, 6-10 Dec 2021, Published in Annual Computer Security Applications Conference, pp. 375-384
Zhao, Jin, Zhang, Yu, Liao, Xiaofei, He, Ligang, He, Bingsheng, Jin, Hai, Liu, Haikun, Zhao, Jin, Zhang, Yu, Liao, Xiaofei, He, Ligang, He, Bingsheng, Jin, Hai, Liu, Haikun, 2021. LCCG : a locality-centric hardware accelerator for high throughput of concurrent graph processing. SC '21: The International Conference for High Performance Computing, Networking, Storage and Analysis, St. Louis Missouri, 14-19 Nov 2021, Published in Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis, pp. 1-14
Zhao, Jin, Zhang, Yu, Liao, Xiaofei, He, Ligang, He, Bingsheng, Jin, Hai, Liu, Haikun, 2021. LCCG : a locality-centric hardware accelerator for high throughput of concurrent graph processing. SC '21: The International Conference for High Performance Computing, Networking, Storage and Analysis, St. Louis Missouri, 14-19 Nov 2021, Published in Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis, pp. 1-14
Wang, Kangrui, Hamelijnck, Oliver, Damoulas, Theodoros, Steel, Mark F. J., 2020. Non-separable non-stationary random fields. 37th International Conference on Machine Learning, ICML 2020, Remote, 13-18 Jul 2020, Published in Proceedings of the 37th International Conference on Machine Learning, pp. 9887-9897
Aglietti, Virginia, Damoulas, Theodoros, Alvarez, Mauricio, Gonzalez, Javier, 2020. Multi-task causal learning with Gaussian processes. Thirty-fourth Conference on Neural Information Processing Systems, Virtual conference, 7-12 Dec 2020, Published in Advances in Neural Information Processing Systems 33 (NeurIPS 2020), pp. 6293-6304
Boustati, Ayman, Akyildiz, Omar Deniz, Damoulas, Theodoros, Johansen, Adam M., 2020. Generalised Bayesian filtering via sequential Monte Carlo. 34th Conference on Neural Information Processing Systems (NeurIPS 2020), Virtual conference, 7-12 Dec 2020, Published in Advances in Neural Information Processing Systems, pp. 418-429
Alghamdi, Mohammed, He, Ligang, Zhou, Yujue, Li, Junyu, 2020. Developing the parallelization methods for finding the all-pairs shortest paths in distributed memory architecture. 38th IEEE International Performance Computing and Communications Conference (IPCCC), London, UK, 29-31 Oct 2019
Li, Junyu, He, Ligang, Ren, Shenyuan, Mao, Rui, 2020. Developing a loss prediction-based asynchronous stochastic gradient descent algorithm for distributed training of deep neural networks. 49th International Conference on Parallel Processing (ICPP2020), Virtual conference, 17-20 Aug 2020, Published in ICPP '20: 49th International Conference on Parallel Processing - ICPP
Barnes, Kenton M., Gale, Michael, 2019. Meta-genetic programming for static quantum circuits. Genetic and Evolutionary Computation Conference Companion (GECCO ?19 Companion), Prague, Czech Republic, 13?17 Jul 2019, Published in GECCO '19 Proceedings of the Genetic and Evolutionary Computation Conference Companion, pp. 2016-2019
Mckay, H., Griffiths, Nathan, Taylor, Phillip M., Damoulas, Theodoros, Zhou, X., 2019. Online transfer learning for concept drifting data streams. 8th International Workshop on Big Data, IoT Streams and Heterogeneous Source Mining: Algorithms, Systems, Programming Models and Applications, Anchorage, Alaska, 4-8 Aug 2019, Published in Proceedings of the 8th International Workshop on Big Data, IoT Streams and Heterogeneous Source Mining: Algorithms, Systems, Programming Models and Applications Conference
Aglietti, Virginia, Theodoros, Damoulas, Bonilla, Edwin, 2019. Efficient inference in multi-task Cox process models. The 22nd International Conference on Artificial Intelligence and Statistics, AISTATS 2019, Naha, Okinawa, Japan, 16-18 Apr 2019, Published in Proceedings of Machine Learning Research, pp. 537-546
'Hamelijnck, Oliver, 'Damoulas, Theodoros, 'Wang, Kangrui, 'Girolami, Mark, 2019. 'Multi-resolution multi-task Gaussian processes. 33rd Conference on Neural Information Processing Systems, Canada, 8-14 Dec 2019, Published in 33nd Conference on Neural Information Processing Systems (NeurIPS 2019), pp. 14048-14058
Aglietti, Virginia, Bonilla, Edwin, Damoulas, Theodoros, Cripps, Sally, 2019. Structured variational inference in continuous Cox Process Models. NeurIPS 2019 : 33rd Conference on Neural Information Processing Systems, Canada, 8-14 Dec 2019, Published in 33nd Conference on Neural Information Processing Systems (NeurIPS 2019) Vancouver, Canada, 8-14 December 2019
Reguly, Istvan Z., Moore, Branden, Schmielau, Tim, du Toit, Jacques, Mudalige, Gihan R., 2019. Batch solution of small PDEs with the OPS DSL. International Conference on High Performance Computing, Frankfurt, Germany, 16-20 Jun 2019, Published in High Performance Computing, pp. 124-141
Balogh, G. D., Mudalige, Gihan R., Reguly, I. Z., Antao, S. F., Bertolli, C., 2019. OP2-Clang : a source-to-source translator using Clang/LLVM LibTooling. The Fifth Workshop on the LLVM Compiler Infrastructure in HPC Workshop, The International Conference for High Performance Computing, Networking, Storage and Analysis, November 2018, Dallas, Texas, USA, 12 Nov 2018, Published in 2018 IEEE/ACM 5th Workshop on the LLVM Compiler Infrastructure in HPC (LLVM-HPC)
Hui, Xia, He, Ligang, Wang, Bin, Chang, Cheng, Han, Xie, Maple, Carsten, 2019. Developing offloading-enabled application development frameworks for android mobile devices. The 20th IEEE International Conference on High Performance Computing and Communications (HPCC-2018), Exeter, UK, 28-30 Jun 2018, Published in 2018 IEEE 20th International Conference on High Performance Computing and Communications; IEEE 16th International Conference on Smart City; IEEE 4th International Conference on Data Science and Systems (HPCC/SmartCity/DSS)
Zhao, Jin, Zhang, Yu, Liao, Xiaofei, He, Ligang, He, Bingsheng, Jin, Hai, Liu, Haikun, Chen, Yicheng, 2019. GraphM : an efficient storage system for high throughput of concurrent graph processing. SC '19 International Conference for High Performance Computing, Networking, Storage and Analysis, Denver, Colorado, 17-19 Nov 2019, Published in SC '19 Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis, pp. 1-14
Knoblauch, Jeremias, Damoulas, Theodoros, 2018. Spatio-temporal Bayesian on-line changepoint detection with model selection. 35th International Conference on Machine Learning 2018, Stockholm, Sweden, 10-15 Jul 2018, Published in Proceedings of the 35th International Conference on Machine Learning 2018, pp. 2718-2727
Knoblauch, Jeremias, Jewson, Jack E., Damoulas, Theodoros, 2018. Doubly robust Bayesian inference for non-stationary streaming data with ß-divergences. Thirty-second Conference on Neural Information Processing Systems, Montréal, Canada, 3-8 Dec 2018, Published in Advances in Neural Information Processing Systems, pp. 64-75
Zhang, Yu, Liao, Xiaofei, Jin, Hai, Gu, Lin, Liu, Haikun, He, Bingsheng, He, Ligang, 2018. CGraph : a correlations-aware approach for efficient concurrent iterative graph processing. 2018 USENIX Annual Technical Conference (USENIX ATC 18), Boston, MA, 11?13 Jul 2018, Published in USENIX ATC '18: Proceedings of the 2018 USENIX Conference on Usenix Annual Technical Conference, pp. 441-452
Szamozvancev, Dmitrij, Gale, Michael, 2017. Well-typed music does not sound wrong (experience report). Haskell Symposium 2017, Oxford, United Kingdom, 7?8 Sep 2017, Published in Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, pp. 99-104
Chuah, Edward, Jhumka, Arshad, Alt, Samantha, Damoulas, Theodoros, Gurumdimma, Nentawe, Sawley, Marie-Christine, Barth, William L., Minyard, Tommy, Browne, James C., 2017. Enabling dependability-driven resource use and message log-analysis for cluster system diagnosis. 24th IEEE International Conference on High Performance Computing, Data, and Analytics, Jaipur, India, 18-21 Dec 2017, Published in 2017 IEEE 24th International Conference on High Performance Computing and Communications & 2013 IEEE International Conference on Embedded and Ubiquitous Computing (HPCC_EUC)
Chuah, Edward, Jhumka, Arshad, Alt, Samantha, Damoulas, Theodoros, Gurumdimma, Nentawe, Sawley, Marie-Christine, Barth, William L., Minyard, Tommy, Browne, James C., 2017. Case study of error recovery and error propagation on ranger. 24th IEEE International Conference on High Performance Computing, Data, and Analytics (HiPC 2017), Jaipur, India, 18-21 Dec 2017
Fairbrother, J., Leeke, Matthew, 2017. On basis sets variables for efficient error detection. 15th IEEE International Conference on Dependable, Autonomic and Secure Computing (DASC'17), Florida, USA, 6-11 Nov 2017
Leeke, Matthew, 2017. Simultaneous fault models for the generation of efficient error detection mechanisms. 2017 IEEE 28th International Symposium on Software Reliability Engineering (ISSRE'17), Toulouse, France, 23-26 Oct 2017, Published in 2017 IEEE 28th International Symposium on Software Reliability Engineering (ISSRE)
Balogh, G. D., Reguly, Istvan Z., Mudalige, Gihan R., 2017. Comparison of parallelisation approaches, languages, and compilers for unstructured mesh algorithms on GPUs. 8th IEEE International Workshop on Performance Modeling, Benchmarking and Simulation of High Performance Computer Systems (PMBS17), Denver CO. US, 13 Nov 2017, Published in Lecture Notes in Computer Science, pp. 22-43
Reguly, Istvan Z., Mudalige, Gihan R., Giles, Michael B., 2017. Beyond 16GB : out-of-core stencil computations. Workshop on Memory Centric Programming for HPC (MCHPC'17), Denver, CO, USA, 12-17 Nov 2017, Published in Proceedings of the Workshop on Memory Centric Programming for HPC (MCHPC'17), pp. 20-29
Kirk, Richard, Mudalige, Gihan R., Reguly, Istvan Z., Wright, Steven A., Martineau, Matt, Jarvis, Stephen A., 2017. Achieving performance portability for a heat conduction solver mini-application on modern multi-core systems. Second International Workshop on Representative Applications (WRAp 2017), Honolulu, Hawaii, USA, 05-08 Sep 2017, Published in 2017 IEEE International Conference on Cluster Computing (CLUSTER)
McCorry, Patrick, Shahandashti, Siamak F., Hao, Feng, 2017. A smart contract for boardroom voting with maximum voter privacy. 21st International Conference on Financial Cryptography and Data Security (FC17), Sliema, Malta, 3-7 Apr 2017, Published in Financial Cryptography and Data Security. FC 2017, pp. 357-375
Azad, Muhammad Ajmal, Bag, Samiran, Hao, Feng, 2017. M2M-REP : reputation of machines in the Internet of Things. ARES '17 Proceedings of the 12th International Conference on Availability, Reliability and Security, Reggio Calabria, Italy, 29 Aug - 01 Sep 2017
Tsakalidis, Adam, Liakata, Maria, Damoulas, Theodoros, Jellinek, Brigitte, Guo, Weisi, Cristea, Alexandra I., 2016. Combining heterogeneous user generated data to sense well-being. COLING 2016, Osaka, Japan, 11-16 Dec 2016
Chirigati, F., Doraiswamy, H., Damoulas, T., Freire, J., 2016. Data polygamy : the many-many relationships among urban spatio-temporal data sets. ACM SIGMOD International Conference on Management of Data (SIGMOD 2016), San Francisco, 26 Jun - 01 Jul 2016, Published in SIGMOD '16 Proceedings of the 2016 International Conference on Management of Data, pp. 1011-1025
Crosby, Henry James, Davis, Paul, Damoulas, Theodoros, Jarvis, Stephen A., 2016. A spatio-temporal, Gaussian Process Regression, real-estate price predictor. 24th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems (ACM SIGSPATIAL 2016), San Francisco, 31 Oct - 3 Nov 2016, Published in GIS '16 Proceedings of the 24th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems
Laikin, Joanna F., Bradbury, Matthew S., Gu, Chen, Leeke, Matthew, 2016. Towards fake sources for source location privacy in wireless sensor networks with multiple sources. 15th IEEE International Conference on Communication Systems (ICCS'16), Shenzhen, China, 14-16 Dec 2016, Published in 2016 IEEE International Conference on Communication Systems (ICCS)
Yi, Xun, Hao, Feng, Chen, Liqun, Liu, Joseph K., 2016. Practical threshold password-authenticated secret sharing protocol. 20th European Symposium on Research in Computer Security, Vienna, Austria, 21-25 Sep 2015, Published in Computer Security - ESORICS 2015, pp. 347-365
McCorry, Patrick, Shahandashti, Siamak F., Hao, Feng, 2016. Refund attacks on Bitcoin's payment protocol. 20th Financial Cryptography and Data Security (FC'16)
Ermon, Stefano, Xue, Yexiang, Toth, Russell, Dilkina, Bistra, Bernstein, Richard, Damoulas, Theodoros, Mude, Andrew G., Clark, Patrick, DeGloria, Steve, Barrett, Christopher, Gomes, Carla P., 2015. Learning large-scale dynamic discrete choice models of spatio-temporal preferences with application to migratory pastoralism in East Africa. 29th AAAI Conference on Artificial Intelligence, Austin, Texas, USA, 25?30 Jan 2015, Published in AAAI'15 Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, pp. 644-650
Chohlas-Wood, Alex, Merali, Aliya, Reed, Warren, Damoulas, Theodoros, 2015. Mining 911 calls in New York City : temporal patterns, detection and forecasting. 29th AAAI Conference on Artificial Intelligence, (AAAI 2015), Austin, Texas USA, 25?26 Jan 2015, pp. 4-10
Bradbury, Matthew S., Leeke, Matthew, Jhumka, Arshad, 2015. A dynamic fake source algorithm for source location privacy in wireless sensor networks. 2015 IEEE Trustcom/BigDataSE/ISPA, Helsinki, 20-22 Aug 2015, Published in 2015 IEEE Trustcom/BigDataSE/ISPA, pp. 531-538
Gu, Chen, Bradbury, Matthew S., Jhumka, Arshad, Leeke, Matthew, 2015. Assessing the performance of phantom routing on source location privacy in wireless sensor networks. 2015 IEEE 21st Pacific Rim International Symposium on Dependable Computing (PRDC), Zhangjiajie, China, 18-20 Nov 2015, Published in 2015 IEEE 21st Pacific Rim International Symposium on Dependable Computing (PRDC), pp. 99-108
Marchant, James M., Griffiths, Nathan, Leeke, Matthew, 2015. Manipulating conventions in a particle-based topology. Coordination, Organizations, Institutions and Norms in Agent Systems Workshop : A workshop of the 12th International Conference on Autonomous Agents and Multiagent Systems : AAMAS2015, Istanbul, Turkey, 4-5 May 2015, Published in Proceedings of the Coordination, Organizations, Institutions and Norms in Agent Systems Workshop
Marchant, James M., Griffiths, Nathan, Leeke, Matthew, 2015. Convention emergence and influence in dynamic topologies. 14th International Conference on Autonomous Agents and Multiagent Systems, Istanbul, Turkey, 4-8 May 2015, Published in Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems, pp. 1785-1786
Marchant, James M., Griffiths, Nathan, Leeke, Matthew, Franks, Henry P. W., 2015. Destabilising conventions using temporary interventions. The 17th International Workshop on Coordination, Organisations, Institutions and Norms (COIN 2014), Paris, France, 6 May 2014, pp. 148-163
Marchant, James M., Griffiths, Nathan, Leeke, Matthew, 2015. Destabilising conventions : characterising the cost. Eighth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, London, 8-12 Sep 2014, Published in 2014 IEEE Eighth International Conference on Self-Adaptive and Self-Organizing Systems (SASO), pp. 139-144
Mehrnezhad, Maryam, Hao, Feng, Shahandashti, Siamak F., 2015. Tap-tap and pay (TTP) : preventing the Mafia attack in NFC payment. Second International Conference, SSR 2015, Tokyo, Japan, 15-16 Dec 2015, Published in Security Standardisation Research, pp. 21-39
Ali, Syed Taha, McCorry, Patrick, Lee, Peter Hyun-Jeen, Hao, Feng, 2015. ZombieCoin : powering next-generation botnets with bitcoin. 2nd Workshop on Bitcoin Research, 19th International Conference - Financial Cryptography and Data Security, San Juan, Puerto Rico, 2015, Published in Financial Cryptography and Data Security, pp. 34-48
Hao, Feng, 2015. On the trust of trusted computing in the post-Snowden age. 8th IEEE CSF Workshop on Analysis of Security APIs, 13 Jul 2015
Mehrnezhad, Maryam, Toreini, Ehsan, Shahandashti, Siamak F., Hao, Feng, 2015. TouchSignatures : identification of user touch actions based on mobile sensors via JavaScript. 10th ACM Symposium on Information, Computer and Communications Security, Singapore, 2015, Published in ASIA CCS '15, pp. 673-673
Hao, Feng, Yi, Xun, Chen, Liqun, Shahandashti, Siamak Fayyaz, 2015. The fairy-ring dance : password authenticated key exchange in a group. IoTPTS '15, Singapore, 14 Apr 2015, Published in Proceedings of the 1st ACM Workshop on IoT Privacy, Trust, and Security, pp. 27-34
McCorry, Patrick, Shahandashti, Siamak F., Clarke, Dylan, Hao, Feng, 2015. Authenticated key exchange over bitcoin. Second International Conference, SSR 2015, Tokyo, Japan, 15-16 Dec 2015, Published in Security Standardisation Research, pp. 3-20
Damoulas, Theodoros, He, Jin, Bernstein, Richard, Gomes, Carla P., Arora, Anish, 2014. String kernels for complex time-series : counting targets from sensed movement. 22nd International Conference on Pattern Recognition (ICPR), 2014, Stockholm, 24-28 Aug 2014, Published in 22nd International Conference on Pattern Recognition (ICPR), 2014, pp. 4429-4434
Marchant, James M., Griffiths, Nathan, Leeke, Matthew, Franks, H., 2014. Destabilising conventions using temporary interventions. The 17th International Workshop on Coordination, Organisations, Institutions and Norms (COIN 2014), Paris, France, 6 May 2014
Hao, Feng, Kreeger, Matthew N., Randell, Brian, Clarke, Dylan, Shahandashti, Siamak F., Lee, Peter Hyun-Jeen, 2014. Every vote counts : ensuring integrity in large-scale electronic voting. 2014 Electronic Voting Technology Workshop/Workshop on Trustworthy Elections (EVT/WOTE 14), San Diego, CA, 18-19 Aug 2014, Published in USENIX Journal of Election Technology and Systems (JETS)
Hao, Feng, Shahandashti, Siamak F., 2014. The SPEKE protocol revisited. First International Conference, SSR 2014, Egham, United Kingdom, 16-17 Dec 2014, Published in Security Standardisation Research, pp. 26-38
Yi, Xun, Hao, Feng, Bertino, Elisa, 2014. ID-based two-server password-authenticated key exchange. 19th European Symposium on Research in Computer Security, Wroclaw, Poland, 7-11 Sep 2014, pp. 257-276
Thomason, Alasdair, Leeke, Matthew, Bradbury, Matthew S., Jhumka, Arshad, 2013. Evaluating the impact of broadcast rates and collisions on fake source protocols for source location privacy. 12th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom'13), Melbourne, Australia, 16-18 July 2013, Published in Proceedings: 12th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom 2013), pp. 667-674
Jhumka, Arshad, Bradbury, Matthew S., Leeke, Matthew, 2012. Towards understanding source location privacy in wireless sensor networks through fake sources. 11th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom'12), Liverpool, UK, 25-27 Jun 2012, pp. 760-768
He, Ligang, Chaudhary, Nadeem, Jarvis, Stephen A., Li, Kenli, 2012. Allocating resources for workflows running under authorization control. 13th International Conference on Grid Computing (GRID), 2012 ACM/IEEE, Beijing, 20-23 Sep 2012, Published in IEEE Digital Library, pp. 58-65
Gao, Bo, He, Ligang, Liu, Limin, Li, Kenli, Jarvis, Stephen A., 2012. From mobiles to clouds : developing energy-aware offloading strategies for workflows. 13th International Conference on Grid Computing (GRID), 2012 ACM/IEEE, Beijing, 20-23 Sep 2012, pp. 139-146
Jhumka, Arshad, Leeke, Matthew, 2011. The early identification of detector locations in dependable software. 22nd IEEE International Symposium on Software Reliability Engineering, Hiroshima, Japan, 29 Nov - 2 Dec 2011, Published in Proceedings of 22nd IEEE International Symposium on Software Reliability Engineering, pp. 40-49
Chester, Adam P., Leeke, Matthew, Al-Ghamdi, M., Jhumka, Arshad, Jarvis, Stephen A., 2011. A framework for data center scale dynamic resource allocation algorithms. 11th IEEE International Conference on Computer and Information Technology (CIT), Pafos, Cyprus, 31st August - 2nd September 2011, Published in Proceedings of the 11th IEEE International Conference on Scalable Computing and Communications (SCALCOM'11), pp. 67-74
'Leeke, Matthew, 'Jhumka, Arshad, 2011. 'An automated wrapper-based approach to the design of dependable software. 4th International Conference on Dependability (DEPEND'11), Nice, France, 21-27 August 2011
Leeke, Matthew, Arif, Saima, Jhumka, Arshad, Anand, Sarabjot Singh, 2011. A methodology for the generation of efficient error detection mechanisms. IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN), Hong Kong, 27-30 June 2011, Published in Proceedings of the 41st International Conference on Dependable Systems and Networks, pp. 25-36
Chester, Adam P., Leeke, Matthew, Al-Ghamdi, M., Jarvis, Stephen A., Jhumka, Arshad, 2011. A modular failure-aware resource allocation architecture for cloud computing. UK Performance Engineering Workshop (UKPEW'11), Bradford, United Kingdom, 7-8 July 2011
Shao, Zhiyuan, Wang, Qiang, Xie, Xuejiao, Jin, Hai, He, Ligang, 2011. Analyzing and improving MPI communication performance in overcommitted virtualized systems. 19th Annual Meeting of the IEEE Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS'11), Singapore, 25-27 July 2011, Published in Proceedings of the nineteenth IEEE International Symposium on Modeling, Analysis & Simulation of Computer and Telecommunication Systems (MASCOTS), pp. 381-389
He, Ligang, Zou, Deqing, Zhang, Zhang, Jin, Hai, Yang, Kai, Jarvis, Stephen A., 2011. Optimizing resource consumptions in clouds. 12th IEEE/ACM International Conference on Grid Computing, Lyon, France, 21-23 Sept 2011, Published in 12th IEEE/ACM International Conference on Grid Computing (GRID), pp. 42-49
He, Ligang, Duan, Kewei, Chen, Xueguang, Zou, Deqing, Han, Zongfen, Fadavinia, Ali, Jarvis, Stephen A., 2011. Modelling workflow executions under role-based authorisation control. 8th IEEE International Conference on Services Computing (ICSC'11), Washington DC, USA, 4-9 July 2011, Published in 2011 IEEE International Conference on Services Computing (SCC), pp. 200-208
Al-Ghamdi, M., Chester, Adam P., He, Ligang, Jarvis, Stephen A., 2011. Dynamic resource allocation and active predictive models for enterprise applications. 1st International Conference on Cloud Computing and Services Science (CLOSER10), Noordwijkerhout, The Netherlands, 7-9 May 2011
Al-Ghamdi, M., Chester, Adam P., He, Ligang, Jarvis, Stephen A., Xue , J. W. J., 2011. Dynamic active window management : a method for improving revenue generation in dynamic enterprise systems. Proceedings of the 11th IEEE International Conference on Scalable Computing and Communications (SCALCOM'11), Pafos, Cyprus, 31st August - 2nd September, 2011, Published in Computer and Information Technology (CIT), 2011 IEEE 11th International Conference on
He, Ligang, Huang, Chenlin, Li, Kenli, Chen, Hao, Sun, Jianhua, Gao, Bo, Duan, Kewei, Jarvis, Stephen A., 2011. Modelling and analyzing the authorization and execution of video workflows. 18th International Conference on High Performance Computing, HiPC 2011, Bangalore, India, 18-21 Dec 2011, Published in 18th International Conference on High Performance Computing, HiPC 2011, pp. 1-10
Leeke, Matthew, Jhumka, Arshad, 2010. Towards understanding the importance of variables in dependable software. 8th European Dependable Computing Conference (EDCC'10), Valencia, Spain, 28-30 April 2010, Published in 2010 European Dependable Computing Conference (EDCC), pp. 85-94
Shrestha, Sambid, Leeke, Matthew, Jhumka, Arshad, 2010. On the tradeoff between privacy and energy in wireless sensor networks. UK Performance Engineering Workshop (UKPEW'10), Coventry, UK, 9-10 July 2010, Published in Proceedings of the 26th UK Performance Engineering Workshop (UKPEW 2010), pp. 103-110
Hammond, Simon D., Mudalige, Gihan R., Smith, J. A., Davis, James A., Jarvis, Stephen A., Holt, J., Miller, I., Herdman, J. A., Vadgama, A., 2010. To upgrade or not to upgrade? : Catamount vs. Cray Linux environment. Large Scale Parallel Processing Workshop 2010 (LSPP10), Atlanta, Georgia, USA, 19-23 Apr 2010, Published in 2010 IEEE International Symposium on Parallel & Distributed Processing, Workshops and Phd Forum (IPDPSW), pp. 1-8
Pennycook, Simon J., Mudalige, Gihan R., Hammond, Simon D., Jarvis, Stephen A., 2010. Parallelising wavefront applications on general-purpose GPU devices. 26th UK Performance Engineering Workshop (UKPEW10), University of Warwick, Coventry, 8-9 July 2010, Published in Proceedings of the 26th UK Performance Engineering Workshop (UKPEW 2010), pp. 111-118
Pennycook, Simon J., Hammond, Simon D., Mudalige, Gihan R., Jarvis, Stephen A., 2010. Performance analysis of a hybrid MPI/CUDA implementation of the NAS-LU benchmark. 1st International Workshop on Performance Modeling, Benchmarking and Simulation of High Performance Computing Systems (PMBS 10), New Orleans, LA, USA, 13-19, Nov 2010, Published in ACM SIGMETRICS Performance Evaluation Review, pp. 23-29
Pennycook, Simon J., Hammond, Simon D., Mudalige, Gihan R., Jarvis, Stephen A., 2010. Experiences with porting and modelling wavefront algorithms on many-core architectures. Daresbury GPU Workshop 2010, Daresbury, UK, 28-29 Sept 2010
Leeke, Matthew, Jhumka, Arshad, 2009. Beyond the golden run : evaluating the use of reference run models in fault injection analysis. UK Performance Engineering Workshop (UKPEW 2009), Leeds, UK, 6-7 July 2009, Published in Proceedings of the 25th UK Performance Engineering Workshop, pp. 61-74
Leeke, Matthew, Jhumka, Arshad, 2009. Evaluating the use of reference run models in fault injection analysis. 15th Pacific Rim International Symposium on Dependable Computing, Shanghai, People's Republic of China, November 16-18, 2009, Published in IEEE 15th Pacific Rim International Symposium on Dependable Computing, Proceedings, pp. 121-124
Jhumka, Arshad, Leeke, Matthew, 2009. Issues on the design of efficient fail-safe fault tolerance. 20th International Symposium on Software Reliability Engineering, 2009. ISSRE '09, Mysuru, Karnataka, 16-19 Nov 2009, Published in International Symposium on Software Reliability Engineering. Proceedings, pp. 155-164
Hammond, Simon D., Mudalige, Gihan R., Smith, J. A., Jarvis, Stephen A., Herdman, J. A., Vadgama, A., 2009. WARPP : a toolkit for simulating high performance parallel scientific codes. 2nd International Conference on Simulation Tools and Techniques (SIMUTools09), Rome, Italy, 2-6 Mar 2009, Published in SIMUTools '09 2nd International Conference on Simulation Tools and Techniques
Smith, J. A., Hammond, Simon D., Mudalige, Gihan R., Davis, J. A., Mills, A. B., Jarvis, Stephen A., 2009. hpsgprof : a new profiling tool for large-scale parallel scientific codes. UK Performance Engineering Workshop (UKPEW 2009), Leeds, UK, 6-7 July 2009, Published in Proceedings of the 25th UK Performance Engineering Workshop
Hammond, Simon D., Mudalige, Gihan R., Smith, J. A., Jarvis, Stephen A., 2009. Performance prediction and procurement in practice : assessing the suitability of commodity cluster components for wavefront codes. 24th UK Performance Engineering Workshop (UKPEW 2008), London, UK, 3-4 Jul 2008, Published in 24th UK Performance Engineering Workshop 3?4 July 2008
Hammond, Simon D., Smith, J. A., Mudalige, Gihan R., Jarvis, Stephen A., 2009. Predictive simulation of HPC applications. 23rd International Conference on Advanced Information Networking and Applications Workshops, Bradford, England, 26-29 May 2009, Published in 2009 International Conference on Advanced Information Networking and Applications, pp. 33-40
Mudalige, Gihan R., Hammond, Simon D., Smith, J. A., Jarvis, Stephen A., 2009. Predictive analysis and optimisation of pipelined wavefront computations. 23rd IEEE International Parallel and Distributed Processing Symposium, Rome, Italy, 23-29 May 2009, Published in 2009 IEEE International Symposium on Parallel & Distributed Processing, Vols.1-5, pp. 1208-1215
Zou, Deqing, He, Ligang, Jin, Hai, Chen, Xueguang, 2009. CRBAC: imposing multi-grained constraints on the RBAC model in the multi-application environment. IFIP International Workshop on Network and System Security, Dalian, People's Republic of China, September 18-19, 2007, Published in Journal of Network and Computer Application, pp. 402-411
Xue, J. W. J., Chester, Adam P., He, Ligang, Jarvis, Stephen A., 2009. Model-driven server allocation in distributed enterprise systems. The 3rd International Conference on Adaptive Business Information Systems, Leipzig, Germany, 23-25 Mar 2009
He, Ligang, Calleja, Mark, Hayes, Mark, Jarvis, Stephen A., 2009. Performance prediction for running workflows under role-based authorization mechanisms. 23rd IEEE International Symposium on Parallel and Distributed Processing, Rome, Italy, 23-29 May 2009, Published in 2009 IEEE International Symposium on Parallel and Distributed Processing, pp. 2767-2774
Mudalige, Gihan R., Vernon, Mary K., Jarvis, Stephen A., 2008. A plug-and-play model for evaluating wavefront computations on parallel architectures. 22nd IEEE International Parallel and Distributed Processing Symposium (IPDPS 2008), Miami, FL, 14-18 Apr 2008, Published in Proceedings of the 2008 IEEE International Parallel and Distributed Processing Symposium, pp. 1089-1102
Xue, James W. J., Chester, Adam P., He, Ligang, Jarvis, Stephen A., 2008. Dynamic resource allocation in enterprise systems. 14th International Conference on Parallel and Distributed Systems, Melbourne, Australia, Dec 08-10, 2008, Published in 14th International Conference on Parallel and Distributed Systems (ICPADS 2008), pp. 203-212
Chester, Adam P., Xue, J. W. J., He, Ligang, Jarvis, Stephen A., 2008. A system for dynamic resource allocation in application server clusters. 24th UK Performance Engineering Workshop, Imperial College, London, UK, 3?4 July 2008, Published in 24th UK Performance Engineering Workshop 3?4 July 2008, pp. 199-216
Chester, Adam P., Xue, J. W. J., He, Ligang, Jarvis, Stephen A., 2008. A system for dynamic server allocation in application server clusters. IEEE International Symposium on Parallel and Distributed Processing with Applications, Sydney, Australia, Dec 10-12, 2008, Published in IEEE International Parallel and Distributed Processing with Applications Symposium. Proceedings, pp. 130-139
He, Ligang, Xue, James Wenjun, Jarvis, Stephen A., 2007. Partition-based profit optimisation for multi-class requests in clusters of servers. IEEE International Conference on e-Business Engineering, Hong Kong, China, 24-26 Oct 2007, Published in IEEE International Conference on e-Business Engineering, 2007. ICEBE 2007, pp. 131-138
Mudalige, Gihan R., Jarvis, Stephen A., Spooner, Daniel P., Nudd, G. R., 2006. Predictive performance analysis of a parallel pipelined synchronous wavefront application for commodity processor cluster systems. IEEE International Conference on Cluster Computing, Barcelona, Spain, 25-28 Sep 2006, Published in 2006 IEEE International Conference on Cluster Computing, pp. 467-478
He, Ligang, Jarvis, Stephen A., Spooner, Daniel P., Nudd, G. R., 2006. Performance evaluation of scheduling applications with DAG topologies on multiclusters with independent local schedulers. 5th International Workshop on Performance Modelling, Evaluation and Optimization of Parallel and Distributed Systems (PMEO'06), Rhodes Island, Greece, 25-29 Apr 2006, Published in 20th International Parallel and Distributed Processing Symposium, 2006. IPDPS 2006
Bacigalupo, David A., Jarvis, Stephen A., He, Ligang, Spooner, Daniel P., Nudd, G. R., 2006. A comparative evaluation of two techniques for predicting the performance of dynamic enterprise systems. Parallel Computing (ParCo) 2005, Malaga, Spain, 13-16 Sep 2005, Published in Parallel Computing : Current & Future Issues of High-End Computing, pp. 163-170
Chen, Xinuo, Jarvis, Stephen A., Tan, G., He, Ligang, Spooner, Daniel P., Nudd, G. R., 2005. An implementation of BLAST over peer-to-peer and its performance validation through simulation. 8th International Conference on Computer Modelling and Simulation, Oxford, UK, 6-8 Apr 2005
Bacigalupo, David A., Jarvis, Stephen A., He, Ligang, Spooner, Daniel P., Nudd, G. R., 2005. Comparing layered queuing and historical performance models of a distributed enterprise application. Proceedings of the International Conference on Parallel and Distributed Computing and Network (PDCN'05), Innsbruck, Austria, 15-17 Feb 2005
Tan, G., Jarvis, Stephen A., He, Ligang, Chen, Xinuo, Spooner, Daniel P., Nudd, G. R., 2005. Modelling web transfer performance over asymmetric networks. 11th International Conference on Parallel and Distributed Systems, 2005. Proceedings, Fukuoka, Japan, Jul 20-22 2005, Published in 11th International Conference on Parallel and Distributed Systems Workshops, Vol II, Proceedings, pp. 110-114
He, Ligang, Jarvis, Stephen A., Spooner, Daniel P., Bacigalupo, David A., Tan, G., Nudd, G. R., 2005. Mapping DAG-based applications to multiclusters with background workload. 5th IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2005), Cardiff, Wales, 09-12 May 2005, Published in IEEE International Symposium on Cluster Computing and the Grid, 2005. CCGrid 2005, pp. 855-862
He, Ligang, Jarvis, Stephen A., Spooner, Daniel P., Nudd, G. R., 2004. Optimising static workload allocation in multiclusters. Proceedings of the 18th IEEE International Parallel and Distributed Processing Symposium (IPDPS'04), Santa Fe, New Mexico, USA, 26-30 Apr 2004, Published in 18th International Parallel and Distributed Processing Symposium, 2004. Proceedings
Bacigalupo, David A., Jarvis, Stephen A., He, Ligang, Nudd, G. R., 2004. An investigation into the application of different performance techniques to e-commerce applications. Workshop on Performance Modelling, Evaluation and Optimization of Parallel and Distributed Systems (PMEO'04), Santa Fe, New Mexico, USA, 26-30 Apr 2004
He, Ligang, Jarvis, Stephen A., Spooner, Daniel P., Nudd, G. R., 2003. Dynamic scheduling of parallel real-time jobs by modelling spare capabilities in heterogeneous clusters. IEEE International Conference on Cluster Computing, Hong Kong, China, 01-04 Dec 2003, Published in 2003 IEEE International Conference on Cluster Computing, 2003. Proceedings, pp. 2-10

Hao, Feng, 2017. J-PAKE : password-authenticated key exchange by juggling. Request for Comments (RFC), IETF Trust
Hao, Feng, 2017. Schnorr non-interactive zero-knowledge proof. Request for Comments (RFC), IETF Trust
Leeke, Matthew, 2011. Towards the design of efficient error detection mechanisms.
Mudalige, Gihan R., 2009. Predictive analysis and optimisation of pipelined wavefront applications using reusable analytic models.
Jarvis, Stephen A., He, Ligang, Spooner, Daniel P., Nudd, G. R., 2004. The impact of predictive inaccuracies on execution scheduling. University of Warwick. Department of Computer Science

Title	Funder	Award start	Award end
National Edge AI Hub for Real Data	EPSRC	01 Feb 2024	31 Jan 2029
London Air Quality Impact Project	Alan Turing Institute	01 Jul 2024	30 Jun 2026
End to End Authentication of Caller ID in Heterogeneous Telephony Systems	EPSRC	01 Feb 2021	04 Jan 2026
ML Foundations of Digital Twins	EPSRC	01 Jan 2021	31 Dec 2025
ExCALIBUR Investigate high-priority use cases for exascale software call	EPSRC	01 Dec 2021	30 Nov 2025
SustainAIRA6G: Energy-Efficient Sustainable AI-driven Resource Allocation for 6Gempowered Edge-Fog-Cloud Continuum	EPSRC	24 Jul 2024	31 Mar 2025
Developing Adaptive Federated Learning Frameworks for Heterogenous and Dynamic Electronic Health Records (EHR)	British Council Saudi Arabia	01 Apr 2024	31 Mar 2025
CCP Turbulence	EPSRC	01 Mar 2020	28 Feb 2025
Expressing numerical algorithms in performance portable frameworks (iCASE studentship with IBM, voucher no. 19000085)	IBM	01 Jan 2020	30 Sep 2024
AI in the street: scoping everyday observatories for public engagement with connected and automated urban environments	AHRC	01 Feb 2024	30 Sep 2024
Digital twins of robust automation, planning and routing for environmental navigation optimisation and impact - Sir David Attenborough DT project - original record 72777	Alan Turing Institute	01 May 2023	30 Sep 2024
EPSRC Prosperity Partnership: Strategic Partnership in Computational Science for Advanced Simulation and Modelling of Engineering Systems	EPSRC	01 Oct 2018	31 Mar 2024
Royal Society International Exchange	Royal Society	31 Mar 2022	30 Mar 2024
T/AW088/22 -- FM-WP4 Code structure and coordination: Software support procurement ( NEPTUNE)	UK Atomic Energy Authority	05 Sep 2022	15 Feb 2024
Strengthening e-voting in India	Royal Society	31 Dec 2018	30 Jun 2023
ExCALIBUR Fusion Modeling System, WP4	UK Atomic Energy Authority	01 Sep 2021	31 Dec 2022
Towards High-Fidelity Eddy-Resolving Simulations on Multi-Core Accelerators for Multi-Phase Flows in Transport and Energy	EPSRC	01 Apr 2020	31 Aug 2022
Future-ready Massively-Parallel CFD Simulations for the Exascale	Royal Society	01 Sep 2018	31 Aug 2022
Uncertainty Quantification of multi-scale and multi-physics computer models: applications to hazard and climate models	Alan Turing Institute	01 Oct 2018	31 Dec 2021
Gen X: ExCALIBUR working group on Exascale continuum mechanics through code generation	EPSRC	01 Apr 2020	30 Nov 2021
Developing deep learning techniques for collaborative training of multi-sourced, distributed big data	Shandong Worldwide Byte Security Information Technology, Co., Ltd	01 May 2018	31 Oct 2021
NEPTUNE	UK Atomic Energy Authority	04 Jan 2021	30 Sep 2021
Turbulent Flow Simulations at the Exascale: Application to Wind Energy and Green Aviation	EPSRC	01 Apr 2020	30 Jun 2021
Turing Fellowship LRF funded	Alan Turing Institute	01 Jul 2019	30 Jun 2021
Causal Inference for Improved Cybersecurity Threat Detection Sequential Causal Inference with Applications TIL Award D&S Programme Neil Dihr is to be the project PI	Turing Innovations Ltd	01 Sep 2020	31 Mar 2021
Dynamics of Ambient Air Pollution	Alan Turing Institute	01 Oct 2019	30 Sep 2020
Turing Project 2018: Damoulas	Alan Turing Institute	01 Oct 2018	30 Sep 2020
Optimizing the I/O Performance of the Xen-based Cloud Platform	WinHong Information Technology Co. Ltd	15 Sep 2018	29 May 2019
Bayesian predictive models of violent extremist threat: the intelligent combination of expert judgements and observational data	Turing innovations Ltd	01 Oct 2018	31 Mar 2019
Verifiable electronic Voting Phase 3 project	Innovate UK	01 Oct 2018	31 Jan 2019
Self-Enforcing E-Voting system: Trustworthy Election in Presence of Corrupt Authorities	European Research Council	01 Oct 2018	31 Dec 2018
The Alan Turing Institute Faculty Fellow Award	Alan Turing Institute	01 Oct 2016	30 Sep 2018
The Alan Turing Institute Faculty Fellow Award	Alan Turing Institute	01 Oct 2016	31 Dec 2017
Future-proof massively-parallel execution of multi-block applications: EPSRC grant transfer from Oxford for Dr Gihan Mudalige	EPSRC	01 Oct 2016	28 Feb 2017
Bull / Warwick Premier Partnership(Richard Bunt & Robert Bird - Studentships)	Bull Information Systems Ltd	01 Oct 2012	30 Sep 2015
Predicting Performance for Applications Running Under Authorization Mechanisms	Leverhulme Trust	01 Jul 2011	30 Jun 2014