User Tools

Site Tools


projects:thesistopics

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
projects:thesistopics [2008/10/30 18:48]
jaeheon
projects:thesistopics [2009/02/24 15:58] (current)
Line 8: Line 8:
    * Cormac    * Cormac
    * Steve: gone thanksgiving week, and osdi is dec 8-10    * Steve: gone thanksgiving week, and osdi is dec 8-10
-   ​* ​Luca+   ​* ​Scott
    * Jim (Chair): should be ok, but best before quarter ends    * Jim (Chair): should be ok, but best before quarter ends
  
-**Qualifying Examination Date: some possibilities** +**Qualifying Examination ​Time, Date and Place** 
-   * Dec 1 (mon)2 (tues)3 (wed), 4 (thurs), 5 (fri) +   * Dec 1211 AME2 280. 
-   ​* ​Dec 11 (thurs), ​12 (fri), 15 (mon), 16 (tues), 17 (wed - last possible date)+   ​* ​Proposal needs to be distributed to committee by November ​12!
  
 **Dissertation Reading Committee:​** **Dissertation Reading Committee:​**
    * Cormac    * Cormac
    * Steve    * Steve
-   * Jim?+   * Jim? Scott?
  
 **Dissertation Proposal (Table of Contents)** **Dissertation Proposal (Table of Contents)**
Line 86: Line 86:
       - **Hypotheses of what I will find, to guide structure of exploration**       - **Hypotheses of what I will find, to guide structure of exploration**
          - E.g., what kind of things do I expect to find?          - E.g., what kind of things do I expect to find?
 +         - One way to guide discovery is to //learn properties about running programs//.
 +            - Patterns of liveness? Patterns of communication?​ How often, how much, with which resources/​threads do threads interact with?
 +            - Server running patterns should prove interesting to examine. //**PRIOR ART**// in this?
       - **Publication strategy**       - **Publication strategy**
          - Since heavily code-based, may take much effort to find the interesting bits - may not get to publish as much          - Since heavily code-based, may take much effort to find the interesting bits - may not get to publish as much
          - What conferences to target?          - What conferences to target?
 +            - PLDI, POPL, OOPSLA, SOSP, OSDI
 +               - CFP deadlines?
 +            - Others?
       - **Document a taxonomy of errors while exploring large code bases**       - **Document a taxonomy of errors while exploring large code bases**
 +         - Do properties in small programs scale to large programs?
 +         - What errors are introduced at the large scale?
    - Why I think this is a good idea    - Why I think this is a good idea
       - "There is a lot of future work to be done here."       - "There is a lot of future work to be done here."
Line 99: Line 107:
       - Critical path analysis: Performance analysis, class project       - Critical path analysis: Performance analysis, class project
       - Direct-execution model checking (Tavla): writing up as masters project       - Direct-execution model checking (Tavla): writing up as masters project
 +   - Meta-questions
 +      - Do I understand the area well enough to identify a problem and potential solutions?
 +      - Do I have an actual problem that is real, worth solving, solvable, an unmet need in the literature?
 +      - Do I have an idea of how to go about solving the problem?
 +         - The problem is //lack of knowledge// in this area
 +         - By the end, we should have a better idea of the area
 +      - Have 4 or 5 things that we can expect to gain by the end of my research
 +         - E.g., patterns of concurrency for large-scale programs
 +         - Better understanding of errors that come out, comparison with small-scale errors
 +         - Concrete tools for analysis and tools to correct
 +      - Preliminary results very good for being convincing, at this stage
 +         - Show some difference in properties between small and large scale programs, even just one or two
 +      - The exam is just as much about the  problem as it is about my preparedness. Is the problem worth spending a couple of years worth of effort exploring? Does it have real-world relevance?
  
 ----- -----
projects/thesistopics.txt · Last modified: 2009/02/24 15:58 (external edit)