Select Publications
Conference Papers
, 2002, 'Let`s Study Whole-Program Cache Behaviour Analytically', in 8th International Symposium on High-Performance Computer Architecture, Cambridge, Massachusetts, USA, presented at 8th International Symposium on High-Performance Computer Architecture, Cambridge, Massachusetts, USA, 02 February 2002 - 06 February 2002
, 2001, 'On Nonsingular Loop Transformations Using SUIF`s Dependence Abstraction', in 2nd international conference on parallel and distributed computing, applications and technologies, TAIWAN, presented at 2nd international conference on parallel and distributed computing, applications and technologies, TAIWAN, 09 July 2001
, 2000, 'Time-Minimal and Processor-Time-Minimal Loop Tiling', in 4th International Conference on Algorithms and Architectures for Parallel Processing, Hong Kong, presented at 4th International Conference on Algorithms and Architectures for Parallel Processing, Hong Kong, 11 December 2000 - 13 December 2000
, 2000, 'Optimal tiling for loops with parallelogram iteration spaces', in 1st International Conference on Parallel and Distributed Applications and Technologies, Hong Kong, presented at 1st International Conference on Parallel and Distributed Applications and Technologies, Hong Kong, 22 May 2000 - 24 May 2000
, 1999, 'Communication Overhead on Distributed Memory Machines', in 4th Australasian Computer Architecture Conference, Auckland, New Zealand, presented at 4th Australasian Computer Architecture Conference, Auckland, New Zealand, 18 January 1999 - 21 January 1999
, 1998, 'Issues of tiling double loops on distributed memory machines', in he 5th Australasian Conference on Parallel and real-time systems, Springer, Adelaide, pp. 377 - 388, presented at PART'98, Adelaide, 28 September 1998 - 29 September 1998
, 1998, 'An expert control system for gas furnace pressure', in proceedings of the Second IEEE International Conference on Intelligent Processing, Gold Coast : Griffith University, 1998, Gold Coast, presented at ICIPS'98, Gold Coast, 04 August 1998 - 07 August 1998, http://trove.nla.gov.au/work/35729463?versionId=44536315
, 1997, 'Eigenvectors-based parallelisation of nested loops with affine dependences', in Algorithms and Architectures for Parallel Processing, 1997. ICAPP 97., 1997 3rd International Conference on, IEEE, Melbourne, pp. 357 - 366, presented at ICA3PP'97, Melbourne, 10 December 1997 - 12 December 1997, http://dx.doi.org/10.1109/ICAPP.1997.651504
, 1997, 'Reuse-driven tiling for data locality', in Lecture Notes in Computer Science, Springer, Minnesota, pp. 16 - 33, presented at Languages and Compilers for Parallel Computing, Minnesota, 07 August 1997 - 09 August 1997, http://dx.doi.org/10.1007/BFb0032681
, 1996, 'Communication-minimal tiling of uniform dependence loops', in Lecture Notes in Computer Science, Springer, San Jose, pp. 330 - 349, presented at LCPC'96, San Jose, 08 August 1996 - 10 August 1996, http://dx.doi.org/10.1007/BFb0017262
, 1996, 'On loop restructuring by converting imperfect to perfect loop nests', in IEEE 2nd International Conference on Algorithms and Architectures for Parallel Processing, IEEE, Singapore, pp. 421 - 429, presented at ICA3PP'96, Singapore, 11 June 1996 - 13 June 1996, http://dx.doi.org/10.1109/ICAPP.1996.562904
, 1996, 'Affine-by-Statement Transformations of Imperfectly Nested Loops', in Proceedings of the 10th International Parallel Processing Symposium, Hawaii, presented at IPPS'96, Hawaii, 15 April 1996 - 19 April 1996, http://dl.acm.org/citation.cfm?id=661021
, 1995, 'Constructing DO loops for non-convex iteration spaces in compiling for parallel machines', in 9th international Parallel Processing Symposium, IEEE, Santa Barbara, pp. 364 - 368, presented at IPPS'95, Santa Barbara, 25 April 1995 - 28 April 1995, http://dx.doi.org/10.1109/IPPS.1995.395957
, 1995, 'Non-unimodular code generation for parallel machines', in International Conference on Algorithms and Architectures for Parallel Processing, IEEE, Brisbane, pp. 181 - 184, presented at ICA3PP'95, Brisbane, 19 April 1995 - 21 April 1995, http://dx.doi.org/10.1109/ICAPP.1995.472184
, 1994, 'Avoiding data link and computational conflicts in mapping nested loop algorithms to lower-dimensional processor arrays', in Proceedings of the Internatoinal Conference on Parallel and Distributed Systems ICPADS, pp. 567 - 572
, 1994, 'SysPar: a software package for systolising and parallelising nested loop algorithms', in TENCON '94. IEEE Region 10's Ninth Annual International Conference. Theme: Frontiers of Computer Technology. Proceedings of 1994, IEEE, Singapore, pp. 551 - 555, presented at TENCON'94, Singapore, 22 August 1994 - 26 August 1994, http://dx.doi.org/10.1109/TENCON.1994.369239
, 1993, 'An algorithm to automate non-unimodular transformations of loop nests', Dallas, pp. 512 - 519, presented at IEEE Symposium on Parallel and Distributed Systems, Dallas, 01 December 1993 - 04 December 1993, http://dx.doi.org/10.1109/SPDP.1993.395490
, 1993, 'A new formulation of the mapping conditions for the synthesis of linear systolic arrays', in International conference on Application-Specific Array Processors, IEEE, Venice, pp. 297 - 308, presented at ASAP'93, Venice, 25 October 1993 - 27 October 1993, http://dx.doi.org/10.1109/ASAP.1993.397153
, 1992, 'On the loading, recovery and access of stationary data in systolic arrays', in Lecture Notes in Computer Science, Lyon, pp. 259 - 664, presented at Parallel Processing: CONPAR 92—VAPP V, Lyon, 01 May 1992 - 03 May 1992, http://dx.doi.org/10.1007/3-540-55895-0_420
Conference Proceedings (Editor of)
, 2011, 'EmbeddedCom 2011: Message from the chairs', http://dx.doi.org/10.1109/DASC.2011.9
, 2010, 'Message from the IWVT-2010 workshop chairs', http://dx.doi.org/10.1109/CIT.2010.27
, 2009, 'Message from the EPS 2009 symposium chairs', Vol. 2, http://dx.doi.org/10.1109/CSE.2009.522
, 2009, 'Message from the EUC 2009 program chairs', Vol. 2, http://dx.doi.org/10.1109/CSE.2009.518
, 2008, 'Advances in high performance computing', Kluwer Academic Publ, Vol. 43, http://dx.doi.org/10.1007/s11227-007-0127-3
, 2005, 'Journal of Computer Science and Technology: Forword', Vol. 20, http://dx.doi.org/10.1007/s11390-005-0575-2
, 2005, 'Special section on advanced computer systems architecture - Forward', Science China Press, Vol. 20
Preprints
, 2022, Hybrid Inlining: A Compositional and Context Sensitive Static Analysis Framework, http://arxiv.org/abs/2210.14436v1
, 2020, Fusion-Catalyzed Pruning for Optimizing Deep Learning on Intelligent Edge Devices, http://dx.doi.org/10.48550/arxiv.2010.16165
, 2019, A Feature-Oriented Corpus for Understanding, Evaluating and Improving Fuzz Testing, http://dx.doi.org/10.48550/arxiv.1905.01405