This document provides a summary of Avinash Malik's education, employment history, projects, teaching experience, and publications. Some key details:
- Avinash Malik received his PhD in Electrical and Computer Engineering from the University of Auckland in 2010, with a thesis on a new system-level programming language called SystemJ.
- He is currently a Lecturer at the University of Auckland, where he has supervised several PhD and masters students. His projects include work on peer-to-peer lending portfolio optimization and heart modeling from ECG data.
- Previous positions include postdoctoral research roles at Trinity College Dublin, IBM Research Dublin, and INRIA Grenoble-Rhône
Towards the Next Generation of Reactive Model Transformations on Low-Code Pla...IncQuery Labs
Authors: Benedek Horváth(IncQuery Labs cPlc., Johannes Kepler University Linz, Linz, Austria), Ákos Horváth (IncQuery Labs cPlc.), Manuel Wimmer (Johannes Kepler University Linz, Linz, Austria)
Read the research here: https://dl.acm.org/doi/10.1145/3417990.3420199
AutomationML (Automation Markup Language) is a neutral data format based on XML for the storage and exchange of plant engineering information, which is provided as open standard. Goal of AutomationML is to interconnect the heterogeneous tool landscape of modern engineering tools in their different disciplines, e.g. mechanical plant engineering, electrical design, HMI development, PLC, robot control.
This presentation provides an overview on AutomationML and a model-driven engineering view on its integration capabilities.
Source-to-source transformations: Supporting tools and infrastructurekaveirious
Introduction to source-to-source transformation. Concept and overview. Basics of existing tools (TXL, ROSE, Cetus, EDG, C-to-C, Memphis); pros and cons. Part of an internal evaluation for selecting a source-to-source transformation tool.
Strategies and Tools for Model Reuse with CapellaObeo
How to manage libraries and building blocks?
Reusing models or parts of models with Capella
is not only conceptually appealing, it is a real productivity enabler.
But it is also a true challenge!
Technical solutions initially dedicated to simple duplication
and synchronisation of model parts have recently evolved
and now enable multiple, classical use cases of reusing models.
In this webinar, we will illustrate:
How the Capella technology of replicable elements (aka REC/RPL) both enables
flexible design workflows (including instance-driven modeling) and
makes possible the modeling of architectures by assembly of building blocks.
How Yuzu leverages Capella to help manage the life-cycle
of building blocks and model assets, their dependencies,
their versioning, their publication, etc.
Towards the Next Generation of Reactive Model Transformations on Low-Code Pla...IncQuery Labs
Authors: Benedek Horváth(IncQuery Labs cPlc., Johannes Kepler University Linz, Linz, Austria), Ákos Horváth (IncQuery Labs cPlc.), Manuel Wimmer (Johannes Kepler University Linz, Linz, Austria)
Read the research here: https://dl.acm.org/doi/10.1145/3417990.3420199
AutomationML (Automation Markup Language) is a neutral data format based on XML for the storage and exchange of plant engineering information, which is provided as open standard. Goal of AutomationML is to interconnect the heterogeneous tool landscape of modern engineering tools in their different disciplines, e.g. mechanical plant engineering, electrical design, HMI development, PLC, robot control.
This presentation provides an overview on AutomationML and a model-driven engineering view on its integration capabilities.
Source-to-source transformations: Supporting tools and infrastructurekaveirious
Introduction to source-to-source transformation. Concept and overview. Basics of existing tools (TXL, ROSE, Cetus, EDG, C-to-C, Memphis); pros and cons. Part of an internal evaluation for selecting a source-to-source transformation tool.
Strategies and Tools for Model Reuse with CapellaObeo
How to manage libraries and building blocks?
Reusing models or parts of models with Capella
is not only conceptually appealing, it is a real productivity enabler.
But it is also a true challenge!
Technical solutions initially dedicated to simple duplication
and synchronisation of model parts have recently evolved
and now enable multiple, classical use cases of reusing models.
In this webinar, we will illustrate:
How the Capella technology of replicable elements (aka REC/RPL) both enables
flexible design workflows (including instance-driven modeling) and
makes possible the modeling of architectures by assembly of building blocks.
How Yuzu leverages Capella to help manage the life-cycle
of building blocks and model assets, their dependencies,
their versioning, their publication, etc.
On The Evolution of CAEX: A Language Engineering PerspectiveLuca Berardinelli
CAEX is one of the most promising standards when it comes to data exchange between engineering tools in the production system automation domain. This is also reflected by the current emergence of AutomationML which uses CAEX as its core representation data format. Having such standards at hand, the question arises how to deal with the evolution of such standards as is currently happening with the transition from CAEX 2.15 to CAEX 3.0.
In this work, we take a language engineering point of view to the evolution of engineering data formats. In particular, we present how CAEX can be formulated in a model-based framework which allows to reason about evolution of the data format as well as its impact on the data stored in such evolving formats. By this, not only the migration process of existing data to the new format version is possible, but also a more theoretical investigation on information preservation is possible. We demonstrate the approach by the concrete case of the upcoming CAEX evolution.
On 18th September, our CEO, István Ráth, joined by Enrique Krajmalnik from Zuken, presented at the 2021 INCOSE Western States Regional Conference. Their talk concentrated on the current challenges of systems engineering, promoting a much-needed paradigm shift and a novel, holistic approach.
The conceptual framework underpinning this novel concept is the combination of light-weight bridge tools, such as the E3.GENESYS Connector from Zuken, and digital thread analytics powered by our flagship product, the IncQuery Suite. This framework provides discipline-specific views of multi-domain engineering data, and powerful structural and numerical analysis to ensure completeness, correctness and consistency throughout the entire design process.
Integrating Performance Modeling in Industrial Automation through AutomationM...Luca Berardinelli
Data exchange is a critical issue within the multi-disciplinary engineering process of cyber physical production systems (CPPS).
AutomationML (AML) is an emerging standard in the this field to represent and exchange artifacts between heterogeneous engineering tools used in different domains, such as mechanical, electrical, and software engineering. However, in addition, the interoperability of different exchange standards may be needed in order to integrate even further tools in current tool chains. For instance, the Performance Model Interchange Format (PMIF) is a common representation devised in the performance engineering domain for model-based system performance analysis and simulation based on Queueing Network Models (QNM). Of course, such aspects are also of particular interest when designing a CPPS.
This work investigates, with the help of a case study, the combination of AML and PMIF as an enabling step towards an early performance validation of CPPS. By this, we close the current gap between CPPS engineering and performance engineering standards.
[ Capella Day 2019 ] Providing early timing analysis of the system designObeo
When designing real-time systems, one issue is to grant that the system will always behave properly within the expected time constraints.
By capturing the design choices in Capella (periodic/sporadic events, precedence relation between tasks, network communication between resources, mutual exclusion resources, etc.), Tideal viewpoint not only allows to compute the worst-case execution time for end-to-end flows traversing the system but also provides some feedback to the architect to better understand the temporal behavior of the system.
Benoit Viaud, Artal
Benoit Viaud leads Artal’s System Engineering unit. He initiated the creation of Citrus, a one-stop-shop engineering framework for simulation and is deeply involved in its deployment in Airbus. He also carries out coaching and consulting activities around Capella.
[Capella Days 2020] Successful Capella landing on a CNES operational use caseObeo
by Jonathan Lasalle (Artal/Magellium)
The Space Variable Objects Monitor (SVOM) is a space system dedicated to gamma ray detection and study, under development by China National Space Administration (CNSA) and the French Space Agency (CNES), to be launched in 2021. The system shall be able to trigger alerts of Gamma Ray Burst (GRB) in real-time with a maximum of associated data. It is composed of a space segment (a set of various sensors embedded on a satellite) associated with a worldwide antenna ground network, all managed by the two agencies.
The design of this system was conducted within the framework of the CNES engineering process, based on a set of documents cascading the textual requirements from the high-level concept of operations to the technical specification of equipment. The validation of the obtained specification mainly relies on human expertise and on the validation campaign. The complexity of the system made it a perfect candidate for experimentation of MBSE using Capella. Two projects took place successively in this context: a first one was an R&T study, dedicated to the analysis of the current process and the evaluation of the potential benefits that MBSE could bring (restricted to some part of the system but spread on several engineering layers (architecture, simulation, satellite database definition...)). Due to promising results, a second project, based on the models realized during the first study, was dedicated to the operational capture of the system validation.
The smooth incursion of Capella in CNES engineering process was undeniably well received. The SVOM experts were converted to this new way of working. The building of an operational model-based toolchain to capture the system architecture and its associated V&V specification is an achievement which opens the door to a wider reach of MBSE within CNES.
I am Jagannath, a graduate student at the University of Texas at Dallas. I am majoring in computer science. I am looking for a software development internship in summer 2017.
On The Evolution of CAEX: A Language Engineering PerspectiveLuca Berardinelli
CAEX is one of the most promising standards when it comes to data exchange between engineering tools in the production system automation domain. This is also reflected by the current emergence of AutomationML which uses CAEX as its core representation data format. Having such standards at hand, the question arises how to deal with the evolution of such standards as is currently happening with the transition from CAEX 2.15 to CAEX 3.0.
In this work, we take a language engineering point of view to the evolution of engineering data formats. In particular, we present how CAEX can be formulated in a model-based framework which allows to reason about evolution of the data format as well as its impact on the data stored in such evolving formats. By this, not only the migration process of existing data to the new format version is possible, but also a more theoretical investigation on information preservation is possible. We demonstrate the approach by the concrete case of the upcoming CAEX evolution.
On 18th September, our CEO, István Ráth, joined by Enrique Krajmalnik from Zuken, presented at the 2021 INCOSE Western States Regional Conference. Their talk concentrated on the current challenges of systems engineering, promoting a much-needed paradigm shift and a novel, holistic approach.
The conceptual framework underpinning this novel concept is the combination of light-weight bridge tools, such as the E3.GENESYS Connector from Zuken, and digital thread analytics powered by our flagship product, the IncQuery Suite. This framework provides discipline-specific views of multi-domain engineering data, and powerful structural and numerical analysis to ensure completeness, correctness and consistency throughout the entire design process.
Integrating Performance Modeling in Industrial Automation through AutomationM...Luca Berardinelli
Data exchange is a critical issue within the multi-disciplinary engineering process of cyber physical production systems (CPPS).
AutomationML (AML) is an emerging standard in the this field to represent and exchange artifacts between heterogeneous engineering tools used in different domains, such as mechanical, electrical, and software engineering. However, in addition, the interoperability of different exchange standards may be needed in order to integrate even further tools in current tool chains. For instance, the Performance Model Interchange Format (PMIF) is a common representation devised in the performance engineering domain for model-based system performance analysis and simulation based on Queueing Network Models (QNM). Of course, such aspects are also of particular interest when designing a CPPS.
This work investigates, with the help of a case study, the combination of AML and PMIF as an enabling step towards an early performance validation of CPPS. By this, we close the current gap between CPPS engineering and performance engineering standards.
[ Capella Day 2019 ] Providing early timing analysis of the system designObeo
When designing real-time systems, one issue is to grant that the system will always behave properly within the expected time constraints.
By capturing the design choices in Capella (periodic/sporadic events, precedence relation between tasks, network communication between resources, mutual exclusion resources, etc.), Tideal viewpoint not only allows to compute the worst-case execution time for end-to-end flows traversing the system but also provides some feedback to the architect to better understand the temporal behavior of the system.
Benoit Viaud, Artal
Benoit Viaud leads Artal’s System Engineering unit. He initiated the creation of Citrus, a one-stop-shop engineering framework for simulation and is deeply involved in its deployment in Airbus. He also carries out coaching and consulting activities around Capella.
[Capella Days 2020] Successful Capella landing on a CNES operational use caseObeo
by Jonathan Lasalle (Artal/Magellium)
The Space Variable Objects Monitor (SVOM) is a space system dedicated to gamma ray detection and study, under development by China National Space Administration (CNSA) and the French Space Agency (CNES), to be launched in 2021. The system shall be able to trigger alerts of Gamma Ray Burst (GRB) in real-time with a maximum of associated data. It is composed of a space segment (a set of various sensors embedded on a satellite) associated with a worldwide antenna ground network, all managed by the two agencies.
The design of this system was conducted within the framework of the CNES engineering process, based on a set of documents cascading the textual requirements from the high-level concept of operations to the technical specification of equipment. The validation of the obtained specification mainly relies on human expertise and on the validation campaign. The complexity of the system made it a perfect candidate for experimentation of MBSE using Capella. Two projects took place successively in this context: a first one was an R&T study, dedicated to the analysis of the current process and the evaluation of the potential benefits that MBSE could bring (restricted to some part of the system but spread on several engineering layers (architecture, simulation, satellite database definition...)). Due to promising results, a second project, based on the models realized during the first study, was dedicated to the operational capture of the system validation.
The smooth incursion of Capella in CNES engineering process was undeniably well received. The SVOM experts were converted to this new way of working. The building of an operational model-based toolchain to capture the system architecture and its associated V&V specification is an achievement which opens the door to a wider reach of MBSE within CNES.
I am Jagannath, a graduate student at the University of Texas at Dallas. I am majoring in computer science. I am looking for a software development internship in summer 2017.
1. Avinash Malik <avinash.malik@auckland.ac.nz>
+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: rsinha@aut.ac.nz
• Dr. Partha Roop, Associate Professor, University of Auckland, Auckland, NZ
Email: p.roop@auckland.ac.nz
• Dr. David Gregg, Associate Professor, Trinity College Dublin, Ireland
Email: david.gregg@cs.tcd.ie
• Dr. Alain Girault, Senior Researcher, INRIA, France
Email: alain.girault@inria.fr