Luca Negrini
@lucaneg7
Followers
18
Following
43
Media
0
Statuses
20
PhD in Computer Science | Static Analysis Specialist | Assistant Professor @ Ca' Foscari Univeristy of Venice
Verona
Joined December 2022
RT @SOAP_Workshop: That's a wrap! Thanks to everyone that showed up and to our speakers!. And congrats to Ákos Hajdu for his best presentat….
0
1
0
RT @SOAP_Workshop: The list of accepted papers and the (tentative) program are out! Check them out here 👉 You can….
0
1
0
RT @IEEEEUROSP: Registration for EuroS&P and co-located workshops is now open! Make sure to grab the early registration by May 18th 👉 https….
0
3
0
RT @SOAP_Workshop: ⚠️ SOAP deadline has been extended! Full papers can be submitted up to March 5th AoE!.
0
2
0
RT @SOAP_Workshop: 📅Last week to submit at SOAP 2025! Get your papers ready by March 3rd, 2025 and submit them at 😎….
0
1
0
RT @SOAP_Workshop: SOAP 2025 is accepting paper submissions! Submit your experiments, tools, ideas on program analysis by March 3rd, 2025 (….
0
4
0
RT @NSAD_Workshop: Proceedings of NSAD 2024 are out! 🥳🏁. 🔗 A nice reading for your trip to Pasadena! 🙃.
0
4
0
RT @NSAD_Workshop: The last talk of this track is delivered by Luca Negrini, presenting Stability: An Abstract Domain for the Trend of Vari….
0
3
0
RT @NSAD_Workshop: The list of accepted papers for NSAD 2024 is now online! 🚀. A big thank you to all the authors….
0
4
0
RT @ArceriVincenzo: Luca Negrini (@lucaneg7) delivering the second tutorial at #LipariAbsInt2024 on LiSA!
0
2
0
RT @NSAD_Workshop: The International Workshop on Numerical and Symbolic Abstract Domains will be back in @splashcon! . See you all in Pasad….
0
1
0
RT @NSAD_Workshop: The submission deadline for NSAD 2024 is July 7! You still have 3 weeks to submit your paper and share your ideas on num….
0
1
0
RT @NSAD_Workshop: We are excited to announce that @caterinaurban will give a keynote at NSAD 2024 on "Abstract Domains for Machine Learnin….
0
7
0
RT @ArceriVincenzo: Our article introducing the Tarsis abstract domain for string analysis, with Luca Negrini, Agostino Cortesi, and Pietro….
0
1
0
RT @ArceriVincenzo: Our paper "Design and Implementation of Static Analyses for Tezos Smart Contracts" with Luca Olivieri, Luca Negrini, Th….
0
1
0
RT @ArceriVincenzo: "Information Flow Analysis for Detecting Non-Determinism in Blockchain" by Luca Olivieri, @lucaneg7 , Fabio Tagliaferro….
0
2
0
