João F. Ferreira
@jff-dev.bsky.social
Computer Scientist / CS Prof at IST, University of Lisbon / Researcher at INESC-ID
Web: https://joaoff.com
Web: https://joaoff.com
Reposted by João F. Ferreira
Daniela Lopes, PhD student, is part of a research team awarded for a paper on online privacy violation by the Portuguese chapter of the Internet Society. 🛜
🔗 Full article: tinyurl.com/2p9fcd9b
#TécnicoLisboa #ULisboa
🔗 Full article: tinyurl.com/2p9fcd9b
#TécnicoLisboa #ULisboa
Técnico student is part of research team awarded for paper on online privacy violation
Daniela Lopes developed work on potential flaws in the Tor network, a software that allows anonymous and secure browsing.
tinyurl.com
December 27, 2024 at 12:14 PM
Daniela Lopes, PhD student, is part of a research team awarded for a paper on online privacy violation by the Portuguese chapter of the Internet Society. 🛜
🔗 Full article: tinyurl.com/2p9fcd9b
#TécnicoLisboa #ULisboa
🔗 Full article: tinyurl.com/2p9fcd9b
#TécnicoLisboa #ULisboa
The programmer's tragedy: to seek perfection in a world that demands delivery.
December 27, 2024 at 4:11 PM
The programmer's tragedy: to seek perfection in a world that demands delivery.
Every framework begins as a liberation and ends as a tyranny.
December 27, 2024 at 4:09 PM
Every framework begins as a liberation and ends as a tyranny.
Reposted by João F. Ferreira
Fantastic news! Hoping that other projects follow suit, and that others find NullAway useful for checking JSpecify annotations!
I have just merged into Spring Framework main branch the huge commit (3458 files changed) that migrates the codebase to JSpecify annotations. That will allow Spring Framework 7 and related portfolio projects to provide next-level null-safety support to avoid NullPointerException at runtime.
Null-safety :: Spring Framework
docs.spring.io
December 19, 2024 at 3:28 PM
Fantastic news! Hoping that other projects follow suit, and that others find NullAway useful for checking JSpecify annotations!
🚀 Our @icseconf.bsky.social paper "Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification" is now live on arXiv! 🤖📜
Collaboration involving UC San Diego, INESC-ID, @istecnico.bsky.social, @imperialcollegeldn.bsky.social, and UMass.
📄 Read here: arxiv.org/abs/2412.14063
Collaboration involving UC San Diego, INESC-ID, @istecnico.bsky.social, @imperialcollegeldn.bsky.social, and UMass.
📄 Read here: arxiv.org/abs/2412.14063
Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification
Formal verification using proof assistants, such as Coq, enables the creation of high-quality software. However, the verification process requires significant expertise and manual effort to write proo...
arxiv.org
December 19, 2024 at 2:14 PM
🚀 Our @icseconf.bsky.social paper "Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification" is now live on arXiv! 🤖📜
Collaboration involving UC San Diego, INESC-ID, @istecnico.bsky.social, @imperialcollegeldn.bsky.social, and UMass.
📄 Read here: arxiv.org/abs/2412.14063
Collaboration involving UC San Diego, INESC-ID, @istecnico.bsky.social, @imperialcollegeldn.bsky.social, and UMass.
📄 Read here: arxiv.org/abs/2412.14063