COPA 2025 CONFERENCE PROGRAM

2025 Concurrent Processes Architectures and Embedded Systems 

Hybrid Virtual Conference

April 21-24, 2025

SAN DIEGO, CALIFORNIA USA Pacific Time Zone AM, Morning COPA 2025 CONFERENCE PROGRAM

April 21-24, 2025

Registration Open link (All Attendees including Authors)

https://buy.stripe.com/28oeX02VQbzv4RG144

Days: Monday April 21, Monday April 21, Tuesday April 22, Wednesday April 23, Thursday April 24

Monday April 21: DAY 1 BEGINS

08:30-9:30 KEYNOTE: “Real Intelligence” (RI) the juxtaposition between AI, including new developments in Artificial General Intelligence (AGI), “Agentic AI” and physical reality in the new dawn of Practical Artificial Intelligence and Quantum Computing. Guardrails and Opportunities using Communicating Sequential Processes (CSP).

Prof. Dr. Lindsay O’Brien Quarrie, National University, Chief Engineering and Technical Officer (CETO) Space Sciences Corporation, FRAISOS, CHIPACT

Session 1: Chair, Prof. Dr. Lindsay O. Quarrie

9:35-10:05 Methods for Modeling, Detecting and Containment of Rogue AI

10:05-10:35 A Cross-Layer Threat Model for Automated AI Accelerator Design Platforms: Leveraging Hardware Trojans and Bit-Level Parameter Attacks, Apeksha Bhuekar.

Session 2: Chair, Dr. Jeremy Martin, GSK, University of Buckingham Senior Research Fellow

10:40-11:00 OPEN DISCUSSION ON AI GUARDRAILS & TAKEAWAYS

Session 3 Chair: Dr. Lawrence J. Dickson, Space Sciences Corporation, Oyvind Teig,

11:00-11:30 Session 3: FRINGE TALKS & DEMO

11:00-11:40 Can gears that engage only so good make the machine run? Øyvind Teig, Trondheim, Norway

END OF DAY 1

Tuesday, April 22: DAY 2 BEGINS

Session 4 Chair: Herman Roebbers, CapGemini

08:00-12:00 Session 4: WORKSHOP: ASIC & FPGAs Applications and Increased Power Utilization in the Age of Artificial Intelligence.

08:00-9:00 Optimizing Ultra Low Power Consumption in Embedded Systems, Herman Roebbers, CapGemini

Session 5 Chair: Dr. Bill Roscoe, University of Oxford, Emeritus Professor

09:05-10:05 Modelling and analysing a simple blockchain using CSP and FDR

10:10-10:40 BlockShare: A Privacy-Preserving Blockchain System for Secure Data Sharing, Apeksha Bhuekar.

10:45-11:15 Modelling Serendipity in a Computational Context, Krishna Kumar.

11:15-12:15 WORKSHOP

Link input in Alternation Implementation details in occam Pseudocode

Dr. Lawrence J. Dickson, Space Sciences Corporation

12:15-1:00 Eye-Tracking Insights into Human-Robot Interaction: Assessing Cognitive Mechanisms and Performance Impacts, Venkat Reddy Annapureddy

END OF DAY 2

Wednesday, April 23: DAY 3 BEGINS

Session 6: Chair: Dr. Lindsay O’Brien Quarrie, Robert Montgomery Fryer, Dr. Lawrence John Dickson, Space Sciences Corporation

8:00-8:30 Coexistence of LTE-U and WiFi in 5GHz: Challenges and Solutions, Sneha Vinayak Bhambure, Sneha Vinayak Bhambure.

8:30-9:00 Enhancing URLLC Performance in 5G Networks Through Hybrid ARQ Feedback for eMBB and URLLC Multiplexing in Grant-Free Resources, Sneha Vinayak Bhambure.

9:00-9:30 Enhancing MIMO Detection Efficiency with ScNet: A Neural Network Approach

9:30-10:00 Jovial: Astronomical Data Analysis Cloud Service, Sufiyan Ahmed Mohammed.

10:00-10:30 Cloud-Driven Drone Logistics: Optimizing Package Delivery with Real-Time Monitoring and Scalable Fleet Management, Venkat Reddy Annapureddy

10:30-11:00 Evaluating the Effectiveness of the Mining Android Sandbox (MAS) Approach for Malicious App Detection in Large Datasets, Apeksha Bhuekar.

11:00-11:30 TREX: A Visualization Tool for Linear Regression Experiments to Support Novice Programmers, Jyoti Singh

11:30-12:00 VMPlaceS: Enhancing Virtual Machine Placement through Advanced Simulation Frameworks, Apeksha Bhuekar.

12:00-12:30 Tighter Privacy Auditing of Differentially Private Stochastic Gradient Descent in the Hidden State Threat Model, Apeksha Bhuekar.

END OF DAY 3

Thursday, April 24: DAY 4 WORKSHOP

8:00 -8:30 OPEN DISCUSSION: AI-OCCAM TRANSLATIONS AND THE LAWS OF OCCAM,

8:30-9:00 SEEDBANK: DISCONNECTED STAND ALONE ON-PREM AI

09:00-10:00 Session 7: Current Research Opportunities and Collaborations Advancing Concurrency in Reliable Computing

10:00-11:00 Session 8: Program Committee Plan Meeting for COPA 2026

CHAIR: Lindsay O’Brien Quarrie, Bill Roscoe

END OF DAY 4

*******************END OF COPA 2025****************

COPA 2024 PAST CONFERENCE PROGRAM

DAY 1 Agenda (TIMES ARE USA CALIFORNIA PACIFIC TIME ZONE)
OPENING REMARKS: Dr. Lindsay O’Brien Quarrie, COPA 2024 Part I Chair
07:00-8:30 AM JULY 8, 2024

KEYNOTE, Fundamentals of Blockchain, a Model of Concurrency and Understanding Decentralised Systems
Keynote: Prof. William Roscoe, University of Oxford (Ret.), Cocotec
Fundamentals of Blockchain, a model of Concurrency and Understanding Decentralised System. The state of the art in the CSP style of verification, and the “Cocotec” success story.
Includes: “Challenges and triumphs of verification in the CSP style” Authors Andrew William Roscoe and Pedro Antonino, University of Oxford
” I have been doing practical verification in CSP, its tools and models for 40 years. The main challenge has been packaging this for the industrial engineer. I will discuss how this has been solved in the Coco System www.cocotec.io, which is used for object-based development of massive systems in industry. Separately I will show how I have used it to underpin a highly innovative blockchain consensus protocol by using it to model decentralized, partly malevolent systems.”
Q&A: 15 minutes
Session 1: Chair, Prof. Dr. Lindsay O. Quarrie, Space Sciences Corporation
8:45-9:30 AM Modeling a GuardRail for an AI Control System Using CSP, Author Dr. Jeremy Martin, Lloyds London University of Buckingham Senior Research Fellow
Q&A: 15 minutes
9:45-10:30 AM Panel Open Discussion: Methods for Modeling, Detecting and Containment of Rogue AI
Motivations, Techniques, and the Future
Session 2: Chair, Dr. Jeremy Martin, Lloyds of London, University of Buckingham Senior Research Fellow
10:30-11:20 AM Could Communicating Sequential Processes be Used to Make Quantum Computing More Tractable?
11:20 AM-11:50 AM Q&A and Panel Open Discussion: Applications of CSP and Concurrency to more tractable Modeling of Quantum Computing, Quantum and the Future of Blockchain
11:50 AM-12:30 PM OPEN FRINGE SESSION:
Chairs: Dr. Lawrence J. Dickson, Space Sciences Corporation; Øyvind Teig External examiner at Norwegian University of Science and Technology (NTNU), Robert Montgomery Fryer, Space Sciences Corporation
AI to OCCAM Translators and Large Language Models (LLMs), Occam Code Generators, Applications in Cyberphysical Systems, Practical Verification and other topics welcome

12: 30 PM Pacific Time END OF DAY 1

DAY 2 Agenda

  • Session 3: Approaches to Eliminating Hardware-Software Version Skew to Allow Continuity of Form and Function without Obsolescence

Chair: Dr. Lawrence John Dickson, Space Sciences Corporation

7:00 -7:45 AM Varied timing, OCCAM modeling, and hardware-software equivalence in a worked IoT example, Author

Dr. Lawrence J. Dickson, Space Sciences Corporation

Q&A 15 Minutes

8:00-8:45 AM Benchmarking Python Deep Learning Frameworks for Language Modeling on GPUs. Author Vijaya Laxmi Pachva

Q&A 15 Minutes

9:00-9:45 AM Adaptive Multi-Layered Non-Terrestrial Network for Deep Learning-Enhanced Global Connectivity, Osei Wusu Brempong Jnr, Junaid Hussain Muzamal, Okechukwu Clement Agomuo and Zohaib Khan

Q&A 15 Minutes

  • Session 4: Emerging trends in parallel processing/AI architectures, Energy, performance and tradeoffs

Chair: Herman Roebbers, Lead Embedded Software Engineer | Unit Embedded SW 5 | Division Embedded & Systems Cap Gemini Engineering

10:00-10:45 AM Presentation and Open Discussion, AI Energy consumption and other architecture impacts

Q&A 15 Minutes

11:00-11:45 AM Building Towards a Distributed, Dynamic Solution to the Santa Problem. Author, Mahmood Mohammed Seoud and David Gray Marchant

Q&A 15 Minutes

12:00 PM END COPA 2024 Part I DAY 2

DAY 3 Agenda

  • Current and Upcoming Research Opportunities & Collaborations

07:00-9:00 AM Session 4: Current Research Opportunities and Collaborations Advancing Concurrency in Reliable Computing

9:00-10:00 AM Session 5: Program Committee Plan Meeting for COPA 2025

CHAIR: Lindsay Quarrie, Lawrence Dickson, Bill Roscoe

10:00 AM END OF DAY 3

****************END COPA 2024***********************************

COPA 2023 PAST CONFERENCE PROGRAM

Days: Monday, September 25, Tuesday September 26, Wednesday September 27

Monday, September 25th: DAY 1

Session 1: Chair, Dr. Jeremy Martin

07:00-8:30 KEYNOTE, Concurrency and Models of Abstraction: Past, Present and Future

Dr. Jeremy Martin, Senior Research Fellow, University of Buckingham Lloyd’s of London

8:30-9:30 Accelerating Scientific and Engineering Applications through Cloud-based GPU Computing

Dipesh Rawat, Department of Information Technology, Guru Gobind Singh Indraprastha University, New Delhi, India

Kopal Chakravarty, Department of Computer Science
LNM Institute of Information Technology, Jaipur, India

Neelaksh Singh, Department of Computer Science
Birla Institute of Technology, Mesra, Jharkhand, India

Vijaya Laxmi Pachva, Department of Computer Science
Kakatiya University, Warangal, India

Rakshit Anand Bhootham, Department of Computer Science
Jawaharlal Nehru Technological University, Hyderabad, India

Session 2 Chair: Dr. Lawrence J. Dickson

09:30-11:30 Session 2: FRINGE TALKS

Race-Condition-Robust Hardware-Software Equivalence in *n*x

Dr. Lawrence J. Dickson, Space Sciences Corporation

END OF DAY 1

Tuesday, September 26th: DAY 2

Session 3 Chair: Dr. Carl-Johannes Johnsen

07:00-11:00 Session 5: Formal Verification Tools, Updates on Synchronous Message Exchange (SME),Translators and FPGAs

07:00-8:00 Slurm Scheduling From Rules-Based Systems

Mark Blomqvist and David Marchant, Department of Computer Science,

University of Copenhagen, Copenhagen, Denmark

08:00-9:00 IS IT FEASIBLE TO IDENTIFY OUTPUTS OF AN ARBITRARY PROCESS AT RUN TIME WITHOUT EXCESSIVELY SLOWING DOWN WORKFLOWS?

1st Philip Shun B. Jensen, Department of Computer Science
University of Copenhagen, Virum, Denmark

2nd Iben Lilholm, 3rd David Marchant, Department of Computer Science
University of Copenhagen, Copenhagen, Denmark

09:00-10:00 Evaluation of FPGA Acceleration of Neural Networks?

1st Emil Stevnsborg, 2nd Sture Oksholm, 3rd Carl-Johannes Johnsen

Department of Computer Science, University of Copenhagen, Denmark

Session 4 Chair: Dr. Lindsay O’Brien Quarrie

10:00-11:00 FRINGE WORKSHOP DEMO MODE: Race-Condition-Robust Hardware-Software Equivalence in *n*x

Dr. Lindsay O’Brien Quarrie, National University, Space Sciences Corporation

Dr. Lawrence J. Dickson, Space Sciences Corporation

END OF DAY 2

Wednesday, September 27th: DAY 3

07:00-9:00 Session 5: Current Research Opportunities and Collaborations Advancing Concurrency in Reliable Computing

9:00-10:00 Session 6: Program Committee Plan Meeting for COPA 2024

CHAIR: Lindsay O Quarrie, Lawrence J Dickson

END OF DAY 3

IEEE COPA 2021 PAST CONFERENCE PROGRAM:

Days: Sunday, April 25th Monday, April 26th Tuesday, April 27th Wednesday, April 28th

Sunday, April 25th

07:00-09:00 Session 1: FRINGE TALKS

CHAIR: Kenneth Skovhede,

07:00Øyvind Teig and Lawrence John DicksonFRINGE: Torus heat equations to get dizzy from. Hooping with xC (abstract)PRESENTER: Øyvind Teig
08:00Robert FryerLindsay Quarrie and Lawrence DicksonPizza Model – FPGA SME Transputer platform and the Path Forward (abstract)PRESENTER: Robert Fryer

09:00-12:00 Session 2: Power, Image Recognition and Language Processing Applications

CHAIR: Lindsay Quarrie

09:00Anchal YadavHarmonic Elimination based on selective optimization for Capacitor Voltages Balancing in Multilevel Inverters with Considering Load power factor (abstract)
10:00Oladapo IbitoyeReal-Time Localization of Vehicle License Plate using Improved Faster Region-Based Convolutional Neural Network (abstract)
11:00Vrushali LanjewarTransfer learning using Pre-trained AlexNet for Marathi Handwritten Compound Character Image Classification (abstract)

Monday, April 26th

07:00-10:00 Session 3: KEYNOTE, Microservices and VPN Applications

CHAIR:Lawrence Dickson

07:00Lawrence DicksonKEYNOTE: Reliable Computing, Scientific and Technological Seedbank (abstract)
08:00Jeremy MartinDesigning and Verifying Microservices Using CSP (abstract)
09:00Abhishek GuptaDeep Reinforcement Learning and Fuzzy K-means based VPN-nonVPN Traffic Classification and Characterization (abstract)

Tuesday, April 27th

07:00-10:00 Session 4: Object Recognition, Medical and Wireless Applications

CHAIR: Jeremy Martin

07:00Oladapo IbitoyeA Brief Review of Convolutional Neural Network Techniques for Masked Face Recognition (abstract
08:00Anurag TripathiAditya Arora and Anupama BhanClassification of cervical cancer using Deep Learning Algorithms (abstract)PRESENTER: Anurag Tripathi
09:00Archana RautSunanda Khandait and Snehlata Dongre
A Machine Learning based Mission Critical Data Transmission Protocol in Wireless Sensor Networks (abstract)PRESENTER: Archana Raut

Wednesday, April 28th

07:00-11:00 Session 5: Formal Verification Tools, Synchronous Message Exchange (SME),Translators

CHAIR: Brian Vinter

07:00Burkhart Wolff HOL-CSP Version 2.0 for formal verification in Isabelle 
08:00Alberte TheglerCarl-Johannes JohnsenKenneth Skovhede and Brian VinterAccelerating Molecular Dynamics with the Lennard-Jones potential for FPGAs (abstract)PRESENTER: Alberte Thegler
09:00Matilde BroløsCarl-Johannes Johnsen and Kenneth SkovhedeOccam to Go translator (abstract)PRESENTER: Matilde Broløs
10:00Lawrence DicksonOCCAM-equivalent syntax with pure singleton descent structure (abstract)