Tag: active

Project Turing (working title)

Research: Verification of Custom Hash and Comparator Functions in C++

    A research project examining custom hash and comparator functions in C++, their usages and semantics in practice, and formally verifying their soundness and correctness using static analysis. This research is funded in part by an NSERC CGS-M and a Mitacs Accelerate Fellowship.

    tags: projects  research  hashcomps  active 

Research: SWAN (SWift ANalysis)

    Can I detect security vulnerabilities in my Swift app? In this work, we have been developing SWAN, a program analysis framework for Swift programs based on WALA. The framework enables a wide range of static analyses, from simple constant propagation to sophisticated taint anlaysis using the powerful infrastructure that WALA provides.

    tags: research  swan  projects  active 

Student Games Archive

    This is an initiative in two parts to archive and display standalone digital student works created at the University of Alberta as part of the Game Development Certificate. The archival portion is in the works through the library and the website is currently under design and development. The website will display students’ games and information about them, and the members involved along with their roles, as well as other useful information related to game design, game development, and the certificate.

    tags: projects  web  gamedev  active