Scheduled Maintenance Notice
Please note that Researcher Profiles will be undergoing scheduled maintenance on Wednesday 7th Oct, from 8:00am to 9:00am. During this time, the Researcher Profiles system will be unavailable. We apologise for any inconvenience and appreciate your understanding.
Select Publications
Book Chapters
, 2027, 'DACOS: Dependency-Aware Cross-Kernel Overlapping for Optimizing Short-Sequence Workloads in LLM Applications', in , pp. 409 - 422, http://dx.doi.org/10.1007/978-3-032-35251-4_28
, 2027, 'Holmes: Forensic-Aware Design and Evaluation of Large Language Models for Procedurally Constrained Digital Investigations', in , pp. 3 - 18, http://dx.doi.org/10.1007/978-981-92-2859-1_1
, 2021, 'Automatic Synthesis of Data-Flow Analyzers', in Static Analysis, pp. 453 - 478, http://dx.doi.org/10.1007/978-3-030-88806-0_22
, 2021, 'Selective Context-Sensitivity for k-CFA with CFL-Reachability', in Static Analysis, pp. 261 - 285, http://dx.doi.org/10.1007/978-3-030-88806-0_13
, 2006, 'Code tiling: one size fits all', in Yang L; Guo M (ed.), High-performance computing: paradigm and infrastructure, Wiley & Sons, USA, pp. 219 - 240
, 2005, 'Code tiling: One size fits all', in High Performance Computing Paradigm and Infrastructure, pp. 219 - 240, http://dx.doi.org/10.1002/0471732710.ch11
, 1994, 'Adapting a sequential algorithm for a systolic design', in Transformational Approaches to Systolic Design, Chapman & Hall, pp. 179 - 204, https://www.amazon.com/Transformational-Approaches-Systolic-Distributed-Computing/dp/0412448300?ie=UTF8&*Version*=1&*entries*=0
, 1991, 'Specifying control signals for one-dimensional systolic arrays by uniform recurrence equations', in Algorithms and Parallel VLSI Architectures II, Elsevier, pp. 181 - 187, https://books.google.com.au/books/about/Algorithms_and_parallel_VLSI_architectur.html?id=nZJQAAAAMAAJ&redir_esc=y