Jeff Cho

• Project Turing (working title)

  Posted on Jul 7, 2020 by Jeff Cho

  

  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++

  Posted on Apr 1, 2020 by Jeff Cho

  

  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 

• Project Silverthrone (closed)

  Posted on Aug 1, 2019 by Jeff Cho

  

  A new game project from Caldera Interactive. Stay tuned for more information, concept art, and prototypes coming soon!

  tags: projects  games  silverthrone  caldera 

• Research: SWAN (SWift ANalysis)

  Posted on Apr 21, 2019 by Jeff Cho

  

  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 

• Project Colony (on hiatus)

  Posted on Oct 21, 2018 by Jeff Cho

  A new game project featuring gorgeous pixel art, atmospheric soundscapes, and an unforgettable adventure. Stay tuned for more information, concept art, and prototypes coming soon!

  tags: projects  games  colony  caldera 

subscribe via RSS