Circuits and Systems

Perfectly pitched seminar today from Justin Hsu (@Cornell_CS) explaining some of his work on type systems for numerical error tracking to @imperialcas and friends. Justin is with us for this academic year on sabbatical leave.

Delighted to have Claudionor Coelho giving a talk to @imperialcas @imperialeee today. Claudionor is currently Chief AI officer at @zscaler and has a long and distinguished career in the tech sector and in tech entrepreneurship.

Today we have @jag_jagmohan visiting @imperialcas from @unisouthampton to tell us about his work on efficient on-device machine learning

Here's a short preview of a paper that Quentin Corradi, my PhD student with @gconstantinides, will be presenting in the FUZZING'24 workshop at @issta_conf next week... johnwickerson.wordpress.com/2024/09/09/aut…

. @aaronzhao123 and I have received a kind donation from @AMD for our work in @imperialeee @imperialcas, explained here.

Delighted to have welcomed Prof Justin Hsu from @Cornell @Cornell_CS to @imperialeee @imperialcas for the start of his sabbatical leave with me and Eric Kerrigan, made possible by @royalsociety Visiting Fellowship. We're looking forward to learning from, and working with, Justin.

📡A radar system that can discreetly monitor someone's movement, sleep & behaviour to support their care Did you know @tgconstandinou is working to deliver this innovative tech as part of Minder, the UK DRI's digital care platform?👉buff.ly/4gbAOBW #WorldAlzheimersMonth

Excited to share a great article featuring our work on Radar and Deep Brain Stimulation at the @UKDRI (Care Research & Technology Centre)! Read more here: ukdri.ac.uk/news-and-event… #WorldAlzheimersMonth #DementiaResearch #InnovationInCare

Excited to have @mwillsey from @UCBerkeley with us at @imperialcas, to tell us all that’s new in the world of e-graphs.

📢 #HiPEACinfo72 is out now! Download your copy here 👉 bit.ly/HiPEACinfo72 The theme is #cybersecurity, and there are some great articles. Highlights include: 🇪🇺 @janko_marek of the European Commission on recent policy developments in the field of computing 👨‍💻 Innovative cybersecurity techniques from @BoschGlobal 👀 Olivier Zendra @inria on cybersecurity, the #HiPEACVision and its 'next computing paradigm' ⚡ Fabio Pavanello on @neuropuls' revolutionary approach to security using #photonics 🛡 Tackling security from hardware to zero-trust architectures to networking – dispatches from @SAFE6G, @VitaminVProject + more 💪 Secure-by-design systems, with Francesco Regazzoni @UvA_Amsterdam and Paolo Palmieri @UCCCS 🚀 How to launch a #cybersecurity services business, with @Struji of ORBIK Cybersecurity ✅ Vericert, a tool developed by @ymherklotz and @wicko3 for faster #hardware with verified high-level synthesis 🔎 Why memory safety and design provenance are key to security, with @Codasip's Ron Black ⏲ Developing software for safety-critical real-time systems, with TASKING's Alexander Herz ☁ How @CloudianStorage helps expand the data lake, with @stuartcording and Sascha Uhl 🇪🇺 🗞 Updates on @SecuredEU, Safe4Soc, @eosc_entrust, @eFlows4HPC, @empyrean_he, @falconeuproject and @avithrapid HiPEAC futures: virginia niculescu on pioneering in HPC research at @UnivBabesBolyai, @sara_royuela on @mar_whpc, Laura Menéndez on #HiPEACJobs and Konstantina Koliogeorgi @ntua on accelerating genomics workloads

Nice overview of our #Diagnostics for #Infectious #Diseases workshop ⁦⁦⁦@royalsociety⁩! A fantastic event bringing our international community together! We showcased our rapid molecular point-of-care diagnostic technologies ⁦@ProtonDx⁩! imperial.ac.uk/news/253753/in…

Congratulations to my PhD student Ebby Samson (jointly advised by Wayne Luk), supported by @AMD, whose first paper "Exploring FPGA designs for MX and beyond" has been accepted by #FPL2024 !

Congratulations to my PhD student @AndronicMarta, whose paper "NeuraLUT: Hiding Neural Network Density in Boolean Synthesizable Functions" has been accepted by #FPL2024 !

Delighted to hear today's announcement about a new independent institute to steer UK semiconductor innovation and support! gov.uk/government/new…

Published today "Brain clearance is reduced during sleep and anesthesia". In collaboration with Nick Franks & Bill Wisden 🧠💤 @UKDRI @ImperialNGNI nature.com/articles/s4159…

Delighted to have Camilo Vega visiting @imperialcas from @UofT under the auspices of @spatialmlnet to work on integrating their Galapagos framework for large-scale multi-#FPGA compute with some of our DNN / #ML accelerator compilers. Welcome, Camilo!

Congratulations to my former PhD students, Dr Sina Boroumand @sinaxs and Dr Jianyi Cheng @jianyi_cheng, both attending graduation today @imperialcollege @imperialeee @imperialcas

We are hiring!!! Looking for an embedded system engineer and full-stack software engineer to join the team @ukdri @ImperialNGNI @NiroYogendran linkedin.com/posts/niro-y_w… Plz RT/share

Another patent application published: AUTOMATED DETECTION OF CASE-SPLITTING OPPORTUNITIES IN RTL, United States Patent Application 2024/0126964. Assigned to Intel. #Impact

Huge congrats to Yann Herklotz (@ymherklotz) for successfully defending his PhD thesis today, all about his proven-in-Coq high-level synthesis tool. And enormous thanks to George Constantinides (@gconstantinides) and Xavier Leroy for their thoughtful and thorough examining.