Recent News
Currie selected as senior director of development for School of Engineering
August 16, 2018
UNM hosts NSF Day on Aug. 29
August 14, 2018
ECE student receives AFRL Outstanding Scholar Award
August 8, 2018
Brain-scan data discovery could lead to revolution in the treatment of bipolar disorder and depression
August 7, 2018
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.”