Fall Term 2012
Meetings: Tuesday and Thursday 1:30PM - 2:50PM
Room: 050A SCLB
Professor: Prof. Marwan Abi-Antoun
E-mail: (Please include CSC 8110 in the subject line for faster replies.)
Phone: (313) 577-2831 (Please call only during regular office hours. You may send email anytime.)
Office: Suite 14.110.2, 14th floor of 5057 Woodward Avenue (Maccabees Building)
Office Hours: By appointment only.
Blackboard: Important information will be posted on Blackboard (http://blackboard.wayne.edu).
The slides for the lectures will be in Blackboard. This schedule is tentative and subject to change. Please check back regularly. A date with an asterisk * indicates an exception to the office hours. Please make an appointment to see the instructor at a different time if needed. The important deadlines are highlighted. Generally, all assignments will be due before class, i.e., 1:30PM on the due date.
||Radu -- Practice Research Talk||Vanciu, R. and Abi-Antoun, M. Ownership Object Graphs with Dataflow Edges. In Working Conference on Reverse Engineering (WCRE), 2012. To appear.||
A1: Preliminary Paper Selection for Literature Survey
(Due: Sep. 13)
Note: Sep. 5 is the Last Day for Late Registration, Late Adds
|3||Sep 06||Nariman -- Practice Research Talk||Ammar, N. and Abi-Antoun, M. Empirical Evaluation of Diagrams of the Run-time Structure for Coding Tasks. In Working Conference on Reverse Engineering (WCRE), 2012. To appear.|
||Radu -- Conference Dry-run||Same as before.||
A2: Continue Updating Literature Survey.
Read and summarize individual paper selections.
Upload summaries to shared Google Docs folder.
Note: Sep. 12 is the Last Day to Drop w/ Tuition Cancellation
||Nariman -- Conference Dry-run||Same as before.|
||Paper Discussion||Giriprasad Sridhara, Emily Hill, Divya Muppaneni, Lori Pollock, and K. Vijay-Shanker. Towards automatically generating summary comments for Java methods. In IEEE/ACM International Conference on Automated Software Engineering (ASE), pp. 43-52, 2010.|
|7||Sep 20||Paper Discussion||Maarten De Mol and Marko Van Eekelen and Rinus Plasmeijer. Theorem proving for functional programmers - Sparkle: A functional theorem prover. In Selected Papers from the 13th International Workshop on Implementation of Functional Languages, IFL, volume 2312 of LNCS, pp. 55--72, 2001.|
||Paper Discussion||Hugo de Brito; Humberto Torres Marques-Neto; Ricardo Terra; Henrique Rocha; Marco Tulio Valente. On-the-fly Extraction of Hierarchical Object Graphs. Journal of the Brazilian Computer Society, Springer.|
||Paper Discussion||F. Asadi, M. Di Penta, G. Antoniol, and Y.-G. Guéhéneuc, A Heuristic-Based Approach to Identify Concepts in Execution Traces. In European Conference on Software Maintenance and Reengineering (CSMR), 2010, pp. 31–40.|
|10||Oct 02||Paper Discussion||Johnson, P.M.; Kou, H.; Paulding, M.; Zhang, Q.; Kagawa, A.; Yamashita, T.; "Improving software development management through software project telemetry," Software, IEEE , vol.22, no.4, pp. 76- 85, July-Aug. 2005.||A3: Identify the 5-10 papers
that will serve as the core of the survey.
Identify the initial axes of your survey;
Prepare a draft of a table placing the key papers along the axes (not all the cells have to be filled in).
||Paper Discussion||Weidenbach, Cristoph. SPASS: Combining Superposition, Sorts and Splitting. Robinson A., Voronkov A., eds. Handbook of Automated Reasoning. Elsevier Science, 1999.|
|12||Oct 09||Paper Discussion||Mark Marron, Cesar Sanchez, Zhendong Su, and Manuel Fahndrich. Abstracting Runtime Heaps for Program Understanding. arXiv Tech. Report.|
|13||Oct 11||Paper Discussion||Earl T. Barr, Christian Bird, Mark Marron. Collecting a Heap of Shapes. Tech. Report.|
|14||Oct 16||WCRE12 -- no class|
|16||Oct 23||Paper Discussion||Seokhyun Han, Verification of Java programs in Coq. In Computer Science and Electronic Engineering Conference (CEEC), 2010, pp.1-8, 2010.|
|17||Oct 25||Paper Discussion||Aybüke Aurum, Claes Wohlin, and Andrew Porter, Aligning Software Project Decisions: a Case Study. In Int. J. Soft. Eng. Knowl. Eng. 16, 795 (2006).|
|18||Oct 30||Nariman -- Practice Talk||Evaluation of Diagrams and Tools for Object-Oriented Code Comprehension: a Survey|
|19||Nov 01||Paper Discussion||
Soumaya Medini, Giuliano Antoniol, Yann-Gaël Guéhéneuc, Massimiliano Di
Penta and Paolo Tonella.
SCAN: an Approach to Label and Relate Execution Trace Segments. In Working Conference on Reverse Engineering (WCRE), 2012.
|20||Nov 06||Paper Discussion||Bernhard J. Berger, Karsten Sohr: An Approach to Detecting Inter-Session Data Flow Induced by Object Pooling. In International Information Security and Privacy Conference (SEC) 2012: 25-36.|
|21||Nov 08||Paper Discussion||Klein, Gerwin. seL4: Formal Verification of an OS Kernel. In ACM Symposium on Operating Systems Principles (SOSP), 2009.||Note: Sat Nov 10 is the Last Day to Withdraw.|
|22||Nov 13||Paper Discussion||Haiduc, S., Bavota, G., Oliveto, R., De Lucia, A., Marcus, A. Automatic Query Performance Assessment during the Retrieval of Software Artifacts. In Proceedings of the IEEE/ACM International Conference on Automated Software Engineering (ASE), 2012, pp.90-99.|
|23||Nov 15||Formal Presentation||Evaluation of Diagrams and Tools for Object-Oriented Code Comprehension: a Survey|
|24||Nov 20||No formal presentation|
|Nov 22||University Holiday -- no class|
|25||Nov 27||Paper Discussion||Carmen Zannier, Mike Chiasson, and Frank Maurer. 2007. A model of design decision making based on empirical results of interviews with software designers. Inf. Softw. Technol. 49, 6 (June 2007), 637-653.|
|26||Nov 29||Discussion of outlines|
|27||Dec 04||Paper Discussion
Official Course Evaluations‡
|Rene Witte, Qiangqiang Li, Yonggang Zhang, Juergen Rilling. Text mining and software engineering: an integrated source code and document analysis approach. IEE Proceedings - Software, 2(1):3-16, 2008.||‡ Instructor will not be present while students complete the official evaluations.|
|28||Dec 06||Paper Discussion|
|Dec 12 (Wed)||Due date for final survey||
Classes End Mon Dec 10.
Please note the different day and time, based on the University's official schedule for finals.
Academic integrity: Violations of academic integrity will be handled in accordance with the WSU policy.
Special accommodations: If you have a documented
disability that requires accommodations, you will need to register with Student
Disability Services for coordination of your academic accommodations. The
Student Disability Services (SDS) office is located at 1600 David Adamany
Undergraduate Library in the Student Academic Success Services department. SDS
telephone number is 313-577-1851 or 313-577-3365 (TDD only). Once you have your
accommodations in place, I will be glad to meet with you privately during my
office hours to discuss your special needs. Student Disability Services’ mission
is to assist the university in creating an accessible community where students
with disabilities have an equal opportunity to fully participate in their
educational experience at Wayne State University.
This course reuses material by Professor Mary Shaw from Carnegie Mellon University.
Last Updated: Tuesday, December 04, 2012 11:02:07 AM