People

• AlexPotanin

Project Ideas

• Ownership Inference Type System (looking for MSc or PhD students)
• Porting OGJ to C# (looking for 400-level students)
• Ownership in Collections (looking for 400-level or MSc students)
• Ownership Inference Eclipse Plugin (looking for 400-level students)
• Ownership Design Patterns (looking for 400-level students)
• Ownership "Intent" in the Design (looking for 400-level students)
• Machine-checked proof of FGO (looking for 400-level students)

Publications

• Generic Ownership - A Practical Approach to Ownership and Confinement in OO Programming Languages AlexPotanin PhD thesis, 2007
• Generic Ownership for Generic Java OOPSLA 2006