LDD Genie

A software tool for prosecution attorneys to perform logical document determination (LDD) electronically.


A bare-bones quality diversity (QD) optimization library. QD algorithm is a powerful alternative compared to single-objective optimization because it is able to search for a diverse set of solutions according to user-defined metrics. In this library we provide implementations of recent QD algorithms such as MAP-Elites and Covariance Matrix Adaptation MAP-Elites (CMA-ME).


We found a time-sensitive issue of RERAN, a record and replay tool for Android published in 2013. In this project we propose a new scheduling mechanism for RERAN that resolve the time-sensitive issue.