COPA 2023: 2023 CONCURRENT PROCESSES ARCHITECTURES AND EMBEDDED SYSTEMS VIRTUAL CONFERENCE
September 25-27, 2023
SAN DIEGO, CALIFORNIA USA Pacific Time Zone AM, Morning COPA 2023 CONFERENCE PROGRAM
September 25-27, 2023
Registration Open link (All Attendees including Authors)
https://buy.stripe.com/28oeX02VQbzv4RG144
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-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
9:00-10:00 Session 6: Program Committee Plan Meeting for COPA 2024
CHAIR: Lindsay Quarrie, Lawrence Dickson
END OF DAY 3
*******************END OF COPA 2023****************
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:00 | Robert Fryer, Lindsay 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:00 | Anchal YadavHarmonic Elimination based on selective optimization for Capacitor Voltages Balancing in Multilevel Inverters with Considering Load power factor (abstract) |
| 10:00 | Oladapo IbitoyeReal-Time Localization of Vehicle License Plate using Improved Faster Region-Based Convolutional Neural Network (abstract) |
| 11:00 | Vrushali 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:00 | Lawrence DicksonKEYNOTE: Reliable Computing, Scientific and Technological Seedbank (abstract) |
| 08:00 | Jeremy MartinDesigning and Verifying Microservices Using CSP (abstract) |
| 09:00 | Abhishek 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:00 | Oladapo IbitoyeA Brief Review of Convolutional Neural Network Techniques for Masked Face Recognition (abstract) |
| 08:00 | Anurag Tripathi, Aditya Arora and Anupama BhanClassification of cervical cancer using Deep Learning Algorithms (abstract)PRESENTER: Anurag Tripathi |
| 09:00 | Archana Raut, Sunanda 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:00 | Burkhart Wolff HOL-CSP Version 2.0 for formal verification in Isabelle |
| 08:00 | Alberte Thegler, Carl-Johannes Johnsen, Kenneth Skovhede and Brian VinterAccelerating Molecular Dynamics with the Lennard-Jones potential for FPGAs (abstract)PRESENTER: Alberte Thegler |
| 09:00 | Matilde Broløs, Carl-Johannes Johnsen and Kenneth SkovhedeOccam to Go translator (abstract)PRESENTER: Matilde Broløs |
| 10:00 | Lawrence DicksonOCCAM-equivalent syntax with pure singleton descent structure (abstract) |