If you like this research, contact us to do a hard and cool bachelor or master thesis in the group, see list of potential topics.
Follow our work on: Google Scholar, RSS, LinkedIn.
If you like this research, contact us to do a hard and cool bachelor or master thesis in the group, see list of potential topics.
Follow our work on: Google Scholar, RSS, LinkedIn.
awesome open list of pointers about open science for software and computational science
Chaos engineering systems invented at KTH Royal Institute of Technology. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-320638
Automatic Repair Framework with LLMs ❤️ https://arxiv.org/pdf/2409.18952
InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts!
Research code artifacts for Code World Model (CWM) including inference tools, reproducibility, and documentation.
DepClean automatically detects and removes unused dependencies in Maven projects 🔗 https://dx.doi.org/10.1007/s10664-020-09914-8)
Reproduce DeFi hacked incidents using Foundry.
Loading…
Loading…