Shail__Aditya
Compiler-directed Type Reconstruction for Polymorphic Languages
Garbage Collection for Strongly-Typed Languages using Run-time Type Reconstruction
Incremental polymorphism
Normalizing Strategies for Multithreaded Interpretation and Compilation of Non-Strict Languages
PICO: Automatically designing custom computers
Semantics of barriers in a non-strict, implicitly-parallel language