DeepSE @ Politecnico di Milano (@deepse_polimi) 's Twitter Profile
DeepSE @ Politecnico di Milano

@deepse_polimi

DEpendable Evolvable Pervasive Software Engineering group

ID: 1484931844000960513

linkhttps://www.deepse.deib.polimi.it calendar_today22-01-2022 16:53:43

138 Tweet

67 Followers

33 Following

Matteo Camilli (@matteocamilli) 's Twitter Profile Photo

๐Ÿš€ The 13th track on Software Architecture (SA-TTA) at the 40th ACM/SIGAPP SAC 2025 ๐ŸŒ calls for high-quality contributions! โœจ ๐Ÿ“… Important Dates: ๐Ÿ“ Submission: Sept 20, 2024 ๐Ÿ“ข Notification: Oct 30, 2024 More at satta.polimi.it/2025/ Donโ€™t miss out! #SoftwareArchitecture

Formal Methods 2026 (@fmsymp) 's Twitter Profile Photo

#FM2024 officially started ๐Ÿš€ Check out today's exciting program โžก๏ธ easychair.org/smart-program/โ€ฆ

#FM2024 officially started ๐Ÿš€

Check out today's exciting program โžก๏ธ easychair.org/smart-program/โ€ฆ
Formal Methods 2026 (@fmsymp) 's Twitter Profile Photo

#FM2024 saw a record-breaking number of 219 submissions to 6 tracks with 4 keynotes, 5 co-located events and 6 workshops leading to countless discussions and ideas shared throughout all last week ๐Ÿ’ก Grazie ๐Ÿ™ ๐Ÿ“ธโžก๏ธfm24.polimi.it Looking forward to #FM2026 ๐Ÿš€

Matteo Camilli (@matteocamilli) 's Twitter Profile Photo

๐Ÿšจ Deadline Extended! ๐Ÿšจ The submission deadline for the 13th Track on Software Architecture at ACM/SIGAPP SAC2025 has been extended ๐Ÿš€ the new date is ๐Ÿ—“๏ธ October 4, 2024 ๐Ÿ—“๏ธ More at satta.polimi.it/2025/ giovanni quattrocchi Karthik Vaidhyanthan @DeepSE_PoliMi

DeepSE @ Politecnico di Milano (@deepse_polimi) 's Twitter Profile Photo

๐Ÿ“ธ๐Ÿ† Roberto Sala accepting the Best Paper Award for "d-MALIBOO: a Bayesian Optimization framework for dealing with Discrete Variables" at IEEE #MASCOTS2024 in Krakow, Poland!!! ๐Ÿš€๐Ÿคฉ Huge congrats to him & Bruno Guindani, Danilo Ardagna, Alessandra Guglielmi for their amazing work!

๐Ÿ“ธ๐Ÿ† Roberto Sala accepting the Best Paper Award for "d-MALIBOO: a Bayesian Optimization framework for dealing with Discrete Variables" at IEEE #MASCOTS2024 in Krakow, Poland!!! ๐Ÿš€๐Ÿคฉ Huge congrats to him &amp; <a href="/bruno_guindani/">Bruno Guindani</a>, <a href="/ardagna_danilo/">Danilo Ardagna</a>, <a href="/AlessandraGugl9/">Alessandra Guglielmi</a> for their amazing work!
DeepSE @ Politecnico di Milano (@deepse_polimi) 's Twitter Profile Photo

๐Ÿ‘ Congrats R. Sala, H. Sedghani, M. Passacantando, G. Verticale, Danilo Ardagna, who had their paper "AI Applications Resource Allocation in Computing Continuum: A Stackelberg Game Approach" accepted on IEEE Transactions on Cloud Computing! ๐Ÿ“– Read here: ieeexplore.ieee.org/abstract/documโ€ฆ

DeepSE @ Politecnico di Milano (@deepse_polimi) 's Twitter Profile Photo

๐Ÿ†๐Ÿ† Huge success at #icse2025! "Parametric Falsification of Many Probabilistic Requirements under Flakiness" (Matteo Camilli,R.Mirandola) & "Efficient Domain Augmentation for Autonomous Driving Testing Using Diffusion Models" (L.Baresi,D. Hu,A.Stocco,P.Tonella) got accepted ๐ŸŽ๏ธ๐Ÿ’จ

DeepSE @ Politecnico di Milano (@deepse_polimi) 's Twitter Profile Photo

๐Ÿš€ "Dynamic Resource Allocation for Deadline-Constrained Neural Network Training" was accepted at SEAMS 2025! ๐Ÿ˜„ ๐Ÿ‘ First paper by Marco Garlini -- congrats to him, Luciano Baresi, and giovanni quattrocchi!

FastContinuum 2025 (@fastcontinuum) 's Twitter Profile Photo

โ€ผ๏ธFastContinuum 2025 is looking for papers!โ€ผ๏ธ We're interested in topics such as: quantum/HPC in the computing continuum, cyber-physical systems, AI-driven optimization & more! โฐDeadline: April 7 ๐ŸŒMain event: July 7-12 ๐Ÿ‡ซ๐Ÿ‡ฎJoin us in Helsinki! More info in bio. #ieeeSERVICES

DeepSE @ Politecnico di Milano (@deepse_polimi) 's Twitter Profile Photo

๐Ÿ‘ Congrats to Bruno Guindani, R. Rocco, D. Gadioli, Danilo Ardagna, Gianluca Palermo: "Efficient Parameter Tuning for a Structure-Based Virtual Screening HPC Application" was accepted on the Journal of Parallel and Distributed Computing! ๐Ÿ‘‰ Read: arxiv.org/abs/2410.14842

DeepSE @ Politecnico di Milano (@deepse_polimi) 's Twitter Profile Photo

Two members of our group, Matteo Camilli and Davide Yi Xian Hu, are presenting papers this morning at ICSE! Catch them both at 11.45: ๐Ÿงช Room 205 (Testing & QA) ๐Ÿค– Room 213 (Autonomy)

Two members of our group, <a href="/matteocamilli/">Matteo Camilli</a> and <a href="/PentaBananaSwag/">Davide Yi Xian Hu</a>, are presenting papers this morning at <a href="/ICSEconf/">ICSE</a>! Catch them both at 11.45:
๐Ÿงช Room 205 (Testing &amp; QA)
๐Ÿค– Room 213 (Autonomy)
DeepSE @ Politecnico di Milano (@deepse_polimi) 's Twitter Profile Photo

Simone and Oscar are live now at Q-SE 2025 ICSE, presenting "Analyzing, Fixing, and Optimizing a Space-Efficient Quantum Circuit for the Graph K-Coloring Problem" ๐ŸŽคโš›๏ธ Donโ€™t miss it! ๐Ÿ™Œ

Simone and Oscar are live now at Q-SE 2025 <a href="/ICSEconf/">ICSE</a>, presenting "Analyzing, Fixing, and Optimizing a Space-Efficient Quantum Circuit for the Graph K-Coloring Problem" ๐ŸŽคโš›๏ธ Donโ€™t miss it! ๐Ÿ™Œ