Recent News
Two from School of Engineering to receive local 40 Under 40 awards
April 18, 2024
Water Science Communication Fellowship lets undergraduates get feet wet in research
April 17, 2024
Alumnus endows ‘station of innovation’ parking space for the School of Engineering
April 15, 2024
Undergraduates win awards at American Nuclear Society student conference
April 12, 2024
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.”