ArrayIndexOutOfBoundsException remains a primary source of software fragility, leading to system crashes and significant economic costs. While traditional exception handling manages these failures at runtime, it does not prevent them, and existing static analysis tools often suffer from scalability issues and false positives.
Requirements
- Experience in computing programming using Object-oriented or functional languages
- Familiar with Java and Kotlin programming
- Programming Language design and implementation, especially complier constructions
Responsibilities
- Contribute to the re-design, and implementation of part of an open source software project
- Weekly research meeting
- Design and implement a novel type system, integrating a practical subset of dependent types into a mainstream, object-oriented context like Java or Kotlin.
Other
- Must be a UM-Flint undergraduate student.
- Work well in a team of researchers and industrial collaborators.
- Experience with Open source software project
- Being a good team player and excellent communicator
- Hybrid
