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
SEER Lab at VISSOFT 2024 & SCAM 2024
Prof. Jeremy Bradbury and SEER Lab alum Kashif Hussain are in Flagstaff, AZ attending the 12th IEEE Working Conference on Software Visualization (VISSOFT 2024) and the 24th IEEE International Conference on Source Code Analysis and Manipulation (SCAM 2024). At VISSOFT, Kashif will be presenting their paper “PIE: A Tool for Visualizing the Lifecycle of DesignContinue reading “SEER Lab at VISSOFT 2024 & SCAM 2024”
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”