BRINGING SOFTWARE TO LIFE

GSoC 2014 Ideas

 GSoC 2014 Ideas


Logging, service monitoring, and distributed databases


Complete SLMC port to Scala


Add SLMC-based type-checking for embedded DSL + behavioral type annotations


Public-key encryption of KVDB/SpecialK datastores