Gregory M. Kapfhammer

Computer Science 580, Spring 2007

The Computer Science 580: Junior Seminar focuses on research methods in computer science. A module of the course taught by Gregory M. Kapfhammer will focus on the design paradigm within computer science (and, of course, still be influenced by the theory and abstraction paradigms as well). Further modules of the course will examine topics related to software engineering, software testing and analysis, and distributed systems. For more information about these areas please view my Research and All Research Deliverables.

Please review the CS 580 Spring 2007 Schedule

The Design Paradigm in Computer Science

1. Read the paper The design, implementation, and evaluation of adaptive code unloading for resource-constrained devices that was published in ACM Transactions on Architecture and Code Optimization (TACO), Volume 2, Issue 2 (June 2005). (Full citation available from the ACM Digital Library).

2. Read the paper Testing in Resource Constrained Execution Environments, that was published at the IEEE/ACM International Conference on Automated Software Engineering (ASE 2005). (Full citation available from the ACM Digital Library).

3. Preview the presentation Testing in Resource Constrained Execution Environments that was given at ASE 2005. This presentation will be given during class as part of our discussion of adaptive native code unloading.

4. Note that the quiz will include questions about both of the above papers. Students are encouraged to meet with Instructor Kapfhammer before the class sessions that will focus on the design paradigm.

Managing Bibliographies and the Digital Library

1. The ACM Computing Classification System contains a very useful classification of computer science scholarship. Browse through the system and find an area that is of interest to you. When you have found it, go to the board and write down your name and your selected area.

2. The ACM Digital Library contains many papers from conference proceedings and journals that might be of interest to you. Browse through these online resources and find at least five papers that are of interest to you and relevant to your selected area.

3. Please download the filese biblio_example.tex and biblio_example.bib. Save these files in a separate directory and then view them both in a text editor like emacs or vi.

4. Try to use the reftex-mode module in emacs and then place a new citation inside of the paper. You should begin by using the menu item that appears after you press ESC X reftex-mode and then later learn the relevant key combinations.

5. Can you create a PDF file out of the .tex and .bib file that you downloaded? Make sure to use the proper combination of the latex, bibtex, and dvipdfm commands. Please see the Instructor if you have any questions about this part of the assignment.

6. Assignment: Use the shell of the document that you were assigned to complete for today. Find five new papers in the ACM Digital Library and cite those papers in your document. You should make sure that the bibliographic references are correctly formatted. You can submit this assignment today before the end of class or you can submit it at the beginning of the next class.

Algorithms and Visualization

1. You can find information about the algorithms and visualization module at: http://cs.allegheny.edu/~gkapfham/teach/cs580/tutorial/graph.html.

Software Testing and Program Analysis

1. Make sure that you review the assignment Software Testing and Analysis, Spring 2007

---

Link to this Page

• Teaching last edited on 29 October 2009 at 3:43 pm by 141.195.226.29