Prof. Jeremy Bradbury gave a University of St Andrews School of Computer Science Seminar Series this morning on “Democratizing AI in Software Development: From Few-Shot Testing to Trustworthy Benchmarks and Accessible AI Tools.” His talk focused on three key challenges to broader AI adoption in software development and how recent SEER Lab work is addressingContinue reading “SEER Lab Director Speaks at the University of St. Andrews”
Category Archives: Software Analysis
Static Analysis Tools for Concurrency
FindBugs – works on Java. In the list of bugs detected all of the “Multithreaded correctness” bugs are relevant to concurrency. Command-line interface or eclipse plugin (eclipse plugin update site:http://findbugs.cs.umd.edu/eclipse/) Lint – a UNIX tool for C JLint – a Java version of Lint that is available as stand alone or eclipse plugin (eclipse plugin update site:http://www.jutils.com/eclipse-update) ParasoftContinue reading “Static Analysis Tools for Concurrency”