PhD Research Proposal
Details about PhD research proposal process.
Presentation
Friday, December 16, 2022 12:00 PM - 2:00 PM
University Hall 2nd floor, Room 227
(College of Education's conference room)
Summerville Campus.
Documents
-
Research proposal: "Certifying Implicit Computational Complexity"
-
Presentation: slides
Abstract
Complexity analysis offers developers better understanding of program's runtime behavior, but mechanical approaches to evaluate complexity properties are scarce and limited. This research proposal addresses this gap between computational complexity theory and its practical application. The main hypothesis is that techniques from Implicit Computational Complexity (ICC) provide new approaches to automatic program analysis and resolve certain limitations of the state-of-the-art complexity analysis techniques. This is unapparent because ICC systems have primarily been used for theoretical purposes and their practical applications are rare. The intent of this work is to evaluate the hypothesis along three directions. First to show that obtaining automatic program analysis with ICC is in fact achievable. Then, to demonstrate that ICC systems are viable candidates for achieving formally verified complexity analysis. Lastly, to confirm that ICC-based techniques find extended applications, e.g., in optimizing complexity properties during compilation. The formal verification aspect is particularly interesting because certifying the correctness of a complexity analysis technique has not been done before. Collectively these directions suggest that ICC is not just a treasure of the theorists but can move practical analyses a few steps closer to becoming a standard in modern development workflows.The Graduate School (TGS) Guidance
The research proposal must conform to the following format:
Instructions for Writing a Research Proposal.
Schedule
| Date | Description | |
|---|---|---|
| ✔️ | November 14 | "Advisory Committee" form is sent to TGS |
| ✔️ | December 1 | Invitations to presentation are sent to fellow graduate students |
| ✔️ | December 2 | Submission of written research proposal to committee |
| ✔️ | December 8 | Required pre-presentation form(s) sent to TGS |
| ✔️ | December 16 | Presentation in front of the committee and fellow graduate students |
| ✔️ | December 16-23 | Committee members submit "Evaluation Rubric" to TGS |
| ✔️ | December 19 | Feedback and revisions applied to research proposal |
| ✔️ | December 21 | Submission of research proposal to TGS Dean's office |
| ✔️ | December 21 | Submission of "Research Proposal" form to TGS Dean's office |