sample-resume
- 1. Avinash Malik <[email protected]> +6421957581 https://unidirectory.auckland.ac.nz/profile/avinash-malik Department of Electrical and Computer Engineering, University of Auckland Auckland, NZ DATE OF BIRTH 22/10/1983 EDUCATION University of Auckland, New Zealand 2006-2010 Doctor of Electrical and Computer Engineering (PhD) • Thesis Topic: “Principia Lingua SystemJ”, designed a new system level language called SystemJ, which follows the Globally Asynchronous Locally Synchronous (GALS) model of computation. University of Auckland, New Zealand 2002-2006 Bachelor of Electrical and Electronic Engineering, First Class Honors • Final year project topic: “A Discrete Time Recurrent Neural Network”, dealt with a more efficient algorithm for learning and recall of time dependent activities such as robotic arm movement, and motion tracking. EMPLOYMENT University of Auckland May 2013 – Current Lecturer Projects: • Loan portfolio optimization for peer to peer lending: The aim of the project is to use statistical machine learning techniques to build viable investment portfolio for investing in peer to peer loans. This project is being carried out by a PhD student under my supervision. • Time series analysis for feature extraction from electro-cardiograms (ECG): The aim of the project is to build a real-time heart model for testing and verification of cyber-physical cardiac medical devices. Time series analysis is used to extract the parameters for the heart model from patient ECG. This project is being carried out in conjunction with a PhD student I am supervising. • Model checking safety critical software systems: The aim of the project was to develop a new pro- gramming language and associated tools for development of correct by construction safety critical software systems. This project was completed in conjunction with my PhD student in 2014. • Timing analysis and optimization of safety critical embedded systems: The aim of the project was to perform worst case execution time analysis on new multi-core processor architectures for real-time systems. This project was completed in conjunction with my PhD student in 2016. • Compiler development for hybrid control systems: The aim of the project was to develop the compiler and related tools for developing cyber-physical control software for competing with Matlab/Simulink from Mathworks. I developed the tool-set as a domain specific language in Haskell. IBM Research April 2012-May 2013 Research Staff Member Projects: • Graph based techniques for partitioning work loads onto Exascale architectures: In this project I consider workloads such as traffic monitoring systems in Dublin city and partitioning/executing them onto Exascale machines being developed in my team. • Performance improvements in IBM products such as IBM Infosphere: In this project I am involved with improving the performance of IBM’s streaming platform Infoshpere onto GPU architectures. • Evaluating and promoting use of IBM’s X10 programming infrastructure for Exascale machines: IBM’s new upcoming language X10 is targeted at programming next generation super-computers. I am involved in evaluating the performance and suitability for target workloads and the underlying, light based, reconfigurable system topology. Dept of computer science TCD, Ireland April 2012-Current Visiting Research Associate Projects:
- 2. • Developing new multi-paradigm programming languages combining streaming and data-parallel com- putations with effective dependent type systems. • Developing auto vectorization techniques for non-affine loop accesses using llvm compiler infrastruc- ture. Trinity College Dublin, Ireland and IBM Research, Dublin, Ireland November 2010-April 2012 Post-doctoral fellow and Researcher Projects: • Compiler optimizations for increased throughput of streaming applications on future Exascale com- puters. • Working on compilation of non standard high performance application for the next generation Exas- cale computer in design at IBM Research Ireland in collaboration with IBM T. J Watson Research Center, NY, USA. INRIA Grenoble-Rhône-Alpes, France December, 2009-October, 2010 Post-doctoral researcher Projects: • Compiling Parametrized reconfigurable DataFlow Graphs for distributed computing platforms in col- laboration with STMicroElectronics, Ottawa, Canada. • Code mobility and dynamic creation of processes in a Globally Asynchronous Locally Synchronous (GALS) model of computation. • Semantic and type analysis of mobile GALS programs. • Efficient and distributed implementation of GALS programs. • Formal verification of GALS programs. University of Auckland March, 2006-August, 2009 Doctoral candidate Projects: • Proposing formal semantics of GALS language SystemJ. • Implementing the compiler and runtime support for SystemJ. • Designing and implementing a new processor supporting execution of GALS languages. TEACHING, SUPERVISION AND WORK EXPERIENCE University of Auckland May, 2013 - current Lecturer • Supervised 1 post-doctoral fellow, 5 PhD students, 4 masters of engineering student, and more than 10 bachelor of engineering students. • Generating $196, 041 NZD in research income. • Teaching C++ and Java programming – class of 250 plus students. • Teaching real-time operating systems – class of 30 students. • Teaching formal verification of software systems – class of 30 students. • Teaching computer networking stack – class of 50 students. • Teaching computer architecture – class of 100 plus students. • Provided services as the research seminar enabler at the University of Auckland. • Provided professional services by arranging the 18th IEEE ISORC 2015 in Auckland, NZ. • Awarded recognition by the vice-chancellor of the University of Auckland, for participating in the mobile learning and teaching group at the university in 2014. University of Auckland 2005- November, 2010 Graduate Teaching Assistant/Invited Lecturer UniServices, Auckland September, 2009-July, 2010 Consultant • Writing funding applications for a start up (SystemJ Technologies) in collaboration with UniServices, based on my PhD. • Exhibiting SystemJ technology at various entrepreneurial conventions.
- 3. • Taking part in Voice of Market forum organized by Uniservices and Paragon Development, San Fran- cisco, California, USA. • Training and providing expert advice to clients using SystemJ, especially, at ITRI (Industrial and Technology Research Institute, Hsinchu, Taiwan), for their smart surveillance/tracking systems, April 2009. International Marine Services, Auckland, NZ September, 2005-January, 2006 Consultant Engineer • Developed analogue circuits for yacht stabilization. • Developed and implemented software for propellers and bow-thrusters using AVR micro-controllers and C. Wellington Drive Technology Ltd, Auckland, NZ November, 2003-January, 2004 Test Engineer • Assembled and tested small brush less DC-motors. SKILLS Programming Languages: • Proficient in C/C++, Java, LATEX, VHDL, Verilog, Shell scripting, x86 assembler, Esterel, Matlab, and Simulink, Integer Linear Programming (ILP), CPLEX solver, Uppaal Model checker, Ocaml, Haskell. Operating Systems: • Proficient in Linux and Windows. Scholarships and Prizes: • Awarded the Irish Government and Trinity College Fellowship for post-doctoral research at Trinity College in conjunction with IBM. • New Zealand smelters award for best performance in control systems engineering. • University of Auckland doctoral scholarship for the full course of my PhD. • Overall undergraduate class rank, 5/100, Dean’s list. Miscellaneous: • Proficient in TCP/IP networking, software configuration management systems (both central and dis- tributed). • Strong verbal and written communication skills, excellent troubleshooting and debugging skills. PUBLICATIONS Refereed (13 Journal and 19 Conference publications): 1. Zhenmin Li, HeeJong Park, Avinash Malik, Kevin I-Kai Wang, Zoran Salcic, Boris Kuzmin, Michael Glas, Jurgen Teich, Using Design Space Exploration for Finding Schedules with Guaranteed Reac- tion Times of Synchronous Programs on Multi-core Architecture, Journal of Systems Architecture, Elsevier, 2017 (in print). 2. Sidharta Andalam, Avinash Malik, Partha Roop and Mark Trew, Benchmark: Hybrid automata model of the heart for formal verification of pacemakers, Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH’ 2016). 3. Andrew Anderson, Avinash Malik, David Gregg: Automatic Vectorization of Interleaved Data Re- visited. ACM Transactions on Architecture and Code Optimization, TACO 12(4): 50:1-50:25 (2016) 4. Long Cheng, Avinash Malik, Spyros Kotoulas, Tomas E. Ward, Georgios Theodoropoulos: Fast Com- pression of Large Semantic Web Data Using X10. IEEE Transactions Parallel Distributed Systems, TPDS 27(9): 2603-2617 (2016) 5. HeeJong Park, Zhenmin Li, Avinash Malik, Zoran A. Salcic: Times Square-Marriage of Real-Time and Logical-Time in GALS and Synchronous Languages. Signal Processing Systems 84(1): 163-180, Springer (2016)
- 4. 6. Nathan Allen, Sidharta Andalam, Partha S. Roop, Avinash Malik, Mark Trew, Nitish Patel: Mod- ular code generation for emulating the electrical conduction system of the human heart. 19th IEEE International Design Automation and Test in Europe Conference, DATE 2016: 648-653, Dresden Germany. 7. Sidharta Andalam, Harshavardhan Ramanna, Avinash Malik, Partha S. Roop, Nitish Patel, Mark L. Trew: Hybrid automata models of cardiac ventricular electrophysiology for real-time computational applications. 38th IEEE Engineering in Medicine and Biology Society Conference, EMBC 2016: 5595-5598, Orlando, Florida. 8. HeeJong Park, Avinash Malik, Zoran A. Salcic: Compiling and verifying SC-SystemJ programs for safety-critical reactive systems. Computer Languages, Systems & Structures 44: 251-282 (2015) 9. Avinash Malik, David Gregg: Heuristics on Reachability Trees for Bicriteria Scheduling of Stream Graphs on Heterogeneous Multiprocessor Architectures. ACM Transactions Embedded Computing Systems, TECS 14(2): 23:1-23:26 (2015) 10. HeeJong Park, Avinash Malik, Zoran A. Salcic: Scheduling Globally Asynchronous Locally Syn- chronous Programs for Guaranteed Response Times. ACM Transactions Design Automation Elec- tronic Systems, TODAES 20(3): 40:1-40:25 (2015) 11. Jin Woo Ro, Partha S. Roop, Avinash Malik: Schedule Synthesis for Time-Triggered Multi-hop Wire- less Networks with Retransmissions. 18th IEEE International Symposium on Real-time Computing, ISORC 2015: 94-101, Auckland, NZ 12. Dez Packwood, Manu Sharma, Ding Ding, HeeJong Park, Zoran A. Salcic, Avinash Malik, Kevin I- Kai Wang: FPGA-based Mixed-Criticality Execution Platform for SystemJ and the Internet of Indus- trial Things. 18th IEEE International Symposium on Real-time Computing, ISORC 2015: 174-181, Auckland, NZ 13. Zhenmin Li, Avinash Malik, Zoran A. Salcic: Reducing Worst Case Reaction Time of Synchronous Programs on Chip-multiprocessors with Application-Specific TDMA Scheduling. 13th ACM Interna- tional Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2015: 11:1-11:9, Paris, France. 14. Wei-Tsun Sun, Zoran A. Salcic, Alain Girault, Avinash Malik: libDGALS: A library-based approach to design dynamic GALS systems. 9th IEEE International Symposium on Industrial Embedded Sys- tems, SIES 2014: 104-111, Pisa, Italy. 15. HeeJong Park, Avinash Malik, Zoran A. Salcic: Times square - marriage of real-time and logical- time in GALS and synchronous languages. 20th IEEE International Conference on Embedded and Real-time Computing Systems and Applications, RTCSA 2014: 1-10, Chongqing, China. 16. Zhenmin Li, Avinash Malik, Zoran A. Salcic: TACO: A scalable framework for timing analysis and code optimization of synchronous programs. 20th IEEE International Conference on Embedded and Real-time Computing Systems and Applications, RTCSA 2014: 1-8, Chongqing, China. 17. HeeJong Park, Avinash Malik, Muhammad Nadeem, Zoran A. Salcic: The Cardiac Pacemaker: Sys- temJ versus Safety Critical Java. 12th ACM International Workshop on Java Technologies for Real- time and Embedded Systems, JTRES 2014: 37, Niagara Falls, NY, USA. 18. Aravind Vasudevan, Avinash Malik, David Gregg: An improved simulated annealing heuristic for static partitioning of task graphs onto heterogeneous architectures. 20th IEEE International Confer- ence on Parallel and Distributed Systems, ICPADS 2014: 95-102, Hsinchu, Taiwan. 19. H.J. Park, Avinash Malik, Zoran A. Salcic: WYPIWYE automation systems - An intelligent manu- facturing system case study. 19th IEEE Emerging Technology and Factory Automation Conference, ETFA 2014: 1-8, Barcelona, Spain.
- 5. 20. H.J. Park, Z. Salcic, K-I. Wang, U. Atmojo, W-T. Sun, Avinash Malik, A New Design Paradigm for Designing Reactive Pervasive Concurrent Systems with an Ambient Intelligence Example. IEEE International Symposium on Distributed Processing with Applications (ISPA) 2013, Melbourne, Aus- tralia. 21. S. Muralidharan, A. Vasudevan, Avinash Malik, D. Gregg, A framework for design space exploration for HPC architectures. IEEE International Symposium on Distributed Processing with Applications (ISPA) 2013, Melbourne, Australia. 22. Avinash Malik, D. Gregg, Orchestrating stream graphs using model-checking, ACM Transactions on Architecture and Code Optimization (TACO), January, 2013. 23. Avinash Malik, Z. Salcic, S. Lee, A. Walker, GALS-HMP: A Heterogeneous Multiprocessor for Embedded Applications. ACM Transactions on Embedded Computing Systems (TECS), 12(1s): 58:1- 58:26 (2013). 24. Avinash Malik, A. Girault, Z. Salcic, Formal semantics, compilation and execution of the GALS programming language DSystemJ. IEEE Transactions on Parallel and Distributed Systems (TPDS), July 2012. 25. Avinash Malik, Z. Salcic, C. Chong, S. Javed, System-level approach to design of a smart distributed surveillance system using SystemJ. ACM Transactions on Embedded Computing Systems (TECS), in publication, June, 2011. 26. Avinash Malik, A. Girault, Z. Salcic, A GALS Language for Dynamic Distributed and Reactive Pro- grams. In 11th International Conference on Application of Concurrency to System Design (ACSD), Newcastle Upon Tyne, UK, June, 2011. 27. Avinash Malik, A. Girault, Z. Salcic, DSystemJ: A language for programming GALS dynamic sys- tems. Poster presentation, In 8th ACM/IEEE International Conference on Formal Methods and Mod- els for Codesign (MEMOCODE), Grenoble, France, July 2010. 28. W. Sun, Z. Salcic, Avinash Malik, LibGALS: A Library for GALS Systems Design and Modeling, In 15th Asia South Pacific Design Automation Conference (ASP-DAC), Taipei, Taiwan, January, 2010. 29. Avinash Malik, Z. Salcic, P. S. Roop, A. Girault, SystemJ: A GALS Language for System Level Design. In Computer Languages, Systems and Structures, Elsevier (COMLAN), 36(4), pp 317–344, 2010. 30. Avinash Malik, Z. Salcic, A. Girault, A. Walker, S. C. Lee, A customizable multiprocessor for Glob- ally Asynchronous Locally Synchronous execution. In ACM International Conference on Java Tech- nologies for Real Time and Embedded Systems (JTRES), Madrid, Spain, pp. 120-129, 2009. 31. Avinash Malik, Z. Salcic, P. S., Roop, SystemJ compilation using the Tandem Virtual Machine Ap- proach. ACM Transactions on Design Automation of Electronic Systems (TODAES), 14(3), pp 1–34, 2009. 32. Avinash Malik, Z. Salcic, P. S. Roop, Tandem virtual machine: An efficient execution platform for GALS language SystemJ, Computer Systems Architecture Conference, 2008. In 13th Asia-Pacific Conference (ACSAC), pp.1-8, 4-6 August, 2008. Non-refereed: 1. Eugene Yip, Sidharta Andalam, Partha S. Roop, Avinash Malik, Mark Trew, Weiwei Ai, Nitish Patel: Towards the Emulation of the Cardiac Conduction System for Pacemaker Testing. CoRR abs/1603.05315 (2016) 2. Avinash Malik, Partha S. Roop: A unified framework for modeling and implementation of hybrid systems with synchronous controllers. CoRR abs/1501.05936 (2015)
- 6. 3. Avinash Malik, Partha S. Roop, Sidharta Andalam, Eugene Yip, Mark Trew: A synchronous render- ing of hybrid systems for designing Plant-on-a-Chip (PoC). CoRR abs/1510.04336 (2015) 4. Long Cheng, Avinash Malik, Spyros Kotoulas, Tomas E. Ward, Georgios Theodoropoulos: Scalable RDF Data Compression using X10. CoRR abs/1403.2404 (2014) 5. Avinash Malik, A. Girault, Z. Salcic, Design and Implementation of GALS languages, SYNCHRON’2011, Melun, France. 6. Avinash Malik, Z. Salcic, P. S. Roop, SystemJ a GALS Language and its Operation Semantics, Tech- nical Report-TR656, University of Auckland, 2006 7. Avinash Malik, Z. Salcic, P. S. Roop, Efficient Compilation of GALS language SystemJ, Technical Report-TR655, University of Auckland, 2006 8. Avinash Malik, A. Girault, Z. Salcic, The DSystemJ programming language for dynamic GALS systems: it’s semantics, compilation, implementation, and run-time system, INRIA Research Report, RR – 7346, June, 2010. Under review: 1. Avinash Malik, Cameron Walker, Michael O’Sullivan, Oliver Sinnen, SMT Formulation for Optimal Scheduling of Task Graphs with Communication Delay, Elsevier Journal of Computers and Operations Research. 2. Ke Ran, Avinash Malik, Optimization of loan investment portfolio for peer to peer lending systems, Statistical Analysis and Data Mining, Wiley Journal. 3. Weiwei Ai, Nitish Patel, Partha Roop, Avinash Malik, MArk Trew, Sidhartha Andalam, Eugene Yip, Nathan Allen, A parametric computational model of the action potential of pacemaker cells, IEEE Transactions of Biomedical Engineering. 4. Avinash Malik, HeeJong Park, Muhammad Nadeem, Zoran Salcic, Compiler assisted memory man- agement for safety-critical hard real-time applications, Springer Real-time Systems Journal. 5. Avinash Malik, Partha Roop, Theo Steger, Nathan Allen, Emulation of cyber-physical systems using IEC-61499, IEEE Transactions on Industrial Informatics. 6. Eugene Yip, Sidhartha Andalam, Partha Roop, Avinash Malik, Mark Trew, Weiwei Ai, Nitish Patel, Towards the Emulation of the Cardiac Conduction System for Pacemaker Validation, ACM Transac- tions on Cyber-Physical Systems. REFEREES • Dr. Roopak Sinha, Senior Lecturer, AUT, Auckland, NZ Email: [email protected] • Dr. Partha Roop, Associate Professor, University of Auckland, Auckland, NZ Email: [email protected] • Dr. David Gregg, Associate Professor, Trinity College Dublin, Ireland Email: [email protected] • Dr. Alain Girault, Senior Researcher, INRIA, France Email: [email protected]