Colleagues from the department have had a busy summer! Congratulations to everyone involved.
Lucas Cordeiro et al. paper entitled "SMT-Based Bounded Model Checking for Embedded ANSI-C Software" of the 2009 edition will receive one the ASE Most Influential Paper awards (for papers published between 2009-2011). The paper has been selected for its breakthrough contribution on the verification for embedded ANSI C-C software. As a result, Lucas gave a talk in mid-September at IEEE/ACM International Conference on Automated Software Engineering (ASE) in Luxembourg. https://conf.researchr.org/details/ase-2023/ase-2023-most-influential-papers--mip-/1/SMT-Based-Bounded-Model-Checking-for-Embedded-ANSI-C-Software
New project: SECCOM: Securing Composable Hardware Platforms
John Goodacre, Bernardo Magri and Lucas Cordeiro are excited to announce the official launch of our research project, "SECCOM: Securing Composable Hardware Platforms," a collaborative effort between the Advanced Processor Technology Research Group and the Systems and Software Security Research Group.
SECCOM is dedicated to addressing critical security challenges when constructing hardware platforms through composable hardware systems. Our primary objective is to explore and mitigate security concerns within the diverse landscape of composable hardware platforms. Specifically, SECCOM aims to conceptualize and evaluate various design options to determine if key security properties and threat models can be extracted. This exploration will enable us to construct a robust security model to validate composable hardware platform security.
Furthermore, recognizing the dynamic nature of composed hardware, our research will explore the feasibility of implementing dynamic verification mechanisms. These mechanisms will empower composed hardware to assert security policies in real time.
SECCOM is funded by the MoD/Dstl and managed by UKRI/EPSRC.
You can find more information about the project at https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/X037290/1.
Emeritus Professor Allan Ramsay's new book
The book Machine Learning for Emotion Analysis: Understand the emotion behind every story is out now.
https://www.linkedin.com/posts/allan-ramsay-10912b3_i-am-delighted-to-announce-that-our-book-activity-7103025069894819841-OXyY?utm_source=share&utm_medium=member_desktop
New Beehive paper out
The Virtual Machines and Language Implementations (VMIL) 2023 pre-print, Beehive SPIR-V Toolkit, is available from Juan Fumero, Athanasios Stratikopoulos, Nikos Foutris and Christos Kotselidis
In this paper, they show:
(A) A Domain-Specific Code Generator for building #SPIRV modules in Java using function composition
(B) Integration with #TornadoVM to generate SPIRV kernels from the #Graal IR
(C) Performance evaluation on Intel Integrated Graphics of the TornadoVM SPIR-V code generator vs. the #OpenCL C code generator
The Beehive SPIR-V Toolkit is also fully open source and available on GitHub:
https://lnkd.in/d6vwWxYU
Inaugural keynote talk
In September, Lucas Cordeiro delivered the inaugural keynote talk of the CPAchecker workshop (https://lnkd.in/e6Fiv4mH). There were various interesting talks about tool development in automatic software verification, particularly software model checking and the CPAchecker tool (https://lnkd.in/esQnywBG).
Slides here.
Human Brain Project interview with Steve Furber
Check out the recently published interview with Steve Furber, on the SpiNNaker million core machine, and the advantages of using computer models in research.
Read the interview: https://lnkd.in/eZkcxGDZ
New papers
The paper, A Multifaceted Memory Analysis of Java Benchmarks has been accepted at #MPLR 2023 and the preprint is now available.
Manchester authors: Andreas Andronikakis, Nikos Foutris, Michalis Papadimitriou, Thanos Stratikopoulos, Christos Kotselidis.
Edge Learning for 6G-Enabled Internet of Things: A Comprehensive Survey of Vulnerabilities, Datasets, and Defenses has been published with Lucas Cordeiro as a co-author.
PhD student, John Kressel presented at #ISPASS 2023 on the paper Evaluating the Impact of Optimizations for Dynamic Binary Modification on 64-bit RISC-V, coauthored with Guillermo Callaghan, Cosmin Gorgovan and Mikel Lujan.
PhD student, Ruiqi Ye, from the APT group has had the paper Exploring Sparse Visual Odometry Acceleration With High-Level Synthesis published in IEEE Access with co-authors Konstantinos Iordanou, Mikel Lujan and Graham Riley.
As part of ISPASS23, the paper A Novel Simulation Methodology for Silicon Photonic Switching Fabrics was published. Authors:
Markos Kynigos, Javier Navaridas; Jose Pascual; Mikel Luján
Upcoming keynote for Alex Frangi
Alejandro Frangi will be a distinguished keynote speaker for Virtual Imaging Trials in Medicine (VITM24) conference next April.
TornadoVM
This week, Thanos Stratikopoulos is presenting at #Devoxx Belgium https://devoxx.be/2023-schedule/speaker-details/?id=44014. For more information on TornadoVM please see here.