Projects
PhD
  • scalacg (call graphs for Scala)
  • averroes (whole-program analysis without the whole program)
  • CGC (a datalog-based prototype for the Separate Compilation Assumption)
MMath
  • algorizmi (a virtual testbed for intrusion detection systems evaluation)
B.Sc.
  • beep (a J2ME implementation of the Jabber protocol)