We are a software engineering research lab at the University of Montreal. We
primarily develop tools and techniques to help programmers write better software. We focus on specific areas such as:
* allowing programmers to write and manipulate abstract models of their code
* helping programmers und...