Recent News
Computer science student chosen for Churchill Scholarship
January 11, 2023
Leaving a legacy: Computer science professor’s research honored with Test of Time Award
December 9, 2022
Virtual workshop on climate-driven extreme events planned Nov. 10
October 25, 2022
MathWorks gives $2 million to UNM to create endowed chair for Department of Computer Science
October 18, 2022
News Archives
Techniques and Tools for Easier Development of Correct and Efficient Programs
October 18, 2005
- Date: Tuesday, October 18, 2005
- Time: 11:00-12:15pm.
- Place: Woodward 149
Prof. Manuel Hermenegildo
Depts. of CS & EECE, UNM
Computer programs are some of the most complicated artifacts built by mankind—many arguably much more complicated than the computer itself. Because of this complexity, it takes large amounts of manpower to develop and maintain software, and, specially, to avoid errors. The objective of our research is to contribute to improving this situation by developing techniques and tools that help programmers write large, complex programs, in a shorter time, and at the same time ensuring that the programs written are correct and result in efficient executions. I will present some details of how we attack this problem, by developing higher-level, multiparadigm programming languages, as well as more powerful formal techniques and practical tools for program debugging and verification. We also develop resource-aware, optimizing compilers which can produce efficient sequential code from programs written in very high-level languages as well as parallelize such programs automatically for running on multiprocessors and/or in distributed environments.