Real Faults in Deep Learning Fault Benchmarks: How Real Are They? Speaker: Nargiz Humbatova, Università della Svizzera italiana Abstract: As the adoption of Deep Learning (DL) systems continues to rise, an increasing number of approaches are being proposed to test t...

📣 Join us on April 17 for a talk by Nargiz Humbatova on 'Real Faults in Deep Learning Fault Benchmarks: How Real Are They?'.

📅 16.30 - 17.30

Details ⬇️
www.inf.usi.ch/it/feeds/11169

#SInstitute #USI #USILife

Cost-Efficient Software Automation with Cooperative Small Language Models Speaker: Giuseppe Crupi, Università della Svizzera italiana Abstract: The increasing reliance on large commercial language models (LLMs) such as ChatGPT and GitHub Copilot for software engineering tas...

📣 Join us on April 10 for a talk by Giuseppe Crupi on 'Cost-Efficient Software Automation with Cooperative Small Language Model'.

📅 16.30 - 17.30

Details ⬇️
inf.usi.ch/it/feeds/11158

#SInstitute #USI #USILife

Double Talk: Esterel in Racket / Teaching JITs/incremental compilers Speakers: Robby Findler, Northwestern University and Joe Gibbs Politz, UC San Diego Abstracts: Talk 1: Concurrency and thread preemption are tools that can make programs more modular. Unfortunately, i...

📣 Join us on April 4 for a double talk by Robby Findler and Joe Gibbs Politz

📅 16.00 - 17.30

Details ⬇️
inf.usi.ch/it/feeds/11144

#SInstitute #USI #USILife
@si.usi.ch

Reasoning about Substitutability at the Level of JVM Bytecode Speaker: Marco Paganoni, Università della Svizzera italiana Abstract: While Java’s subtyping requires subclasses to implement superclass methods, this only provides limited compliance with Liskov’s Su...

📣 Join us on April 3 for a #seminar by Marco Paganoni on "Reasoning about Substitutability at the Level of JVM Bytecode"

📅 16.30 - 17.30

Details ⬇️
inf.usi.ch/it/feeds/11141

#SInstitute #USI #USILife

LiquidAI: Orchestrating Cloud-Edge Continuum with Isomorphic Software Speaker: Tommi Mikkonen, Kari Systä Abstract: The cloud-edge continuum has become an emergent environment for various applications, hosting complex computations with ML/AI. However, the fashion we bui...

Join us on March 20 for a #seminar by Tommi Mikkonen, Kari Systä on "LiquidAI: Orchestrating Cloud-Edge Continuum with Isomorphic Software"

📅 16.30 - 17.30

Details ⬇️
usi.ch/it/feeds/31367

#SInstitute #USI #USILife