If you're interested in Datalog, metaprogramming, TASTy, static analysis, or in the general sense ways to extract meaning from code, there are a set of potential projects at the Carac repo.
For background information on Datalog+Scala, see this (PhD) semester project description or email anna.herlihy@epfl.ch.
If you're interested in Datalog, metaprogramming, TASTy, static analysis, or in the general sense ways to extract meaning from code, there are a set of potential projects at the Carac repo.
For background information on Datalog+Scala, see this (PhD) semester project description or email anna.herlihy@epfl.ch.
The proposals are flexible and open to new ideas!