Recent News
Mechanical Engineering student selected for NASA internship
May 7, 2025
InterPore2025 welcomes global experts in water and porous media to ABQ
May 6, 2025
2025 Inspiring Graduate | Edain Larios
May 5, 2025
UNM’s ASME chapter wins first place at IAM3D drone competition
May 1, 2025
News Archives
UNM CS Paper Wins International Award
July 25, 2012
7-25-12 – A team led by UNM Computer Science recently received the ACM SIGSOFT Distinguished Paper Award at the premier academic software engineering conference, the International Conference on Software Engineering (ICSE), in Zurich, Switzerland.
(image from “Using Dynamic Analysis to Discover Polynomial and Array Invariants” Automatic Generation of Dynamic Invariants. The generator finds different types of invariants from program traces. The post-processing step removes redundant and spurious invariants.)
The team includes UNM PhD student ThanhVu Nguyen, Stephanie Forrest, Professor of Computer Science at UNM, Deepak Kapur, Distinguished Professor of Computer Science at UNM, and Westley Weimer, Associate Professor of Computer Science at the University of Virginia.
Their paper is titled “Using Dynamic Analysis to Discover Polynomial and Array Invariants.” It concerns dynamic invariant analysis, which identifies important program properties that can aid programmers in refactoring, documenting, and debugging tasks by making dynamic (run-time) patterns visible statically. Current dynamic analysis methods support such invariants in only very limited forms. The authors combine mathematical techniques, such as equation solving, polyhedra construction, and automated theorem proving, to bring new capabilities to dynamic invariant detection.
Catalin Roman, dean of the UNM School of Engineering, who served as general chair for ICSE in 2005, says, “My long history of involvement with ICSE makes it exceedingly personal to see that a contribution from our school is being honored in the most competitive venue in the area of software engineering.”