Tag: active
Project Turing (working title)
A new game project from Caldera Interactive. Stay tuned for more information and prototypes coming soon!
tags:projects games caldera turing active 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