Differences

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

Link to this comparison view

Next revision
Previous revision
apmdd:engseminar [2021/01/15 10:29] – created userapmdd:engseminar [2026/08/29 07:59] (current) – external edit 127.0.0.1
Line 1: Line 1:
 ====== Software engineering for machine learning (research seminar) ====== ====== Software engineering for machine learning (research seminar) ======
  
-This semester-long research seminar is dedicated to application of machine learning methods and big data technologies to computer science and software engineering+[[apmdd:seminar|Версия на русском]] 
 + 
 +This semester long research course is dedicated to application of machine learning methods and big data technologies to computer science and software engineering 
 + 
 +===== Contacts ===== 
 + 
 +Assoc. Prof. Anton S. Khritankov, ATP MIPT 
 + 
 +Website: [[http://pps-design.org/apmdd:engseminar|http://pps-design.org/apmdd:engseminar]] 
 + 
 +Email: anton.khritankov (at) phystech.edu
  
 ===== Topics ===== ===== Topics =====
  
-{{ :apmdd:devops-ml-sm.png?nolink&300|}}+{apmdd:devops-ml-sm.png?w=300&tok=654eaf}
  
-  Program synthesis, mining of software repositories and program analysis +  Program synthesis, mining of software repositories and program analysis 
-  Software verification and program repair +  Software verification and program repair 
-  Reproducible research, DevOps, MLOps. +  Reproducible research, DevOps, MLOps. 
-  Research automation, systematic literature reviews and tools+  Research automation, systematic literature reviews and tools 
 + 
 +===== Course scheduling =====
  
 In Spring 2021 the course is compulsory for masters students at ATP deptartment, but can also be selected as an extra. In Spring 2021 the course is compulsory for masters students at ATP deptartment, but can also be selected as an extra.
 +
 +Preliminary schedule and important dates for Spring 2021:
 +
 +  * (Week 1) Course starts
 +  * (Week 2) Topic selection is due
 +  * (Week 3) SLR short list review
 +  * (Week 5) SLR is due
 +  * (Week 6) RS study / prototype topic approval
 +  * (Week 8) RS/prototype first review
 +  * (Week 10) RS/prototype is due
 +  * (Week 12-13) Course finals
  
 ===== Grading policy ===== ===== Grading policy =====
  
 The main activitiy on the course is research practice on the selected topic under supervision of the course staff. The main activitiy on the course is research practice on the selected topic under supervision of the course staff.
-This practice could include literature review, implementation of a research prototype or a reproduction of previously published scientific results.+This practice includes literature review, implementation of a research prototype or a reproduction of previously published scientific results.
  
 The following activities and goals must be achieved: The following activities and goals must be achieved:
 +
   - Knowingly choose a topic and propose a goal for the research practice   - Knowingly choose a topic and propose a goal for the research practice
   - Prepare a short systematic review on the selected topic, or   - Prepare a short systematic review on the selected topic, or
Line 31: Line 55:
  
 The overall procedure for SLR is provided in the table below. The results of the SLR include the following: The overall procedure for SLR is provided in the table below. The results of the SLR include the following:
 +
   - the full list of sources considered (long list)   - the full list of sources considered (long list)
   - a list of relevant sources (short list)   - a list of relevant sources (short list)
   - an SLR report with review statement, golas, research questions, analysis and conclusions   - an SLR report with review statement, golas, research questions, analysis and conclusions
  
-^#^Activitiesь^Outcomes^Work products^ +^ # ^ Activitiesь ^ Outcomes ^ Work products ^ 
-|1.|Define research goals | The goal of the reseach along with the topic, a list of specific research questions | A section in the SLR report | +| 1. | Define research goals | The goal of the reseach along with the topic, a list of specific research questions | A section in the SLR report | 
-|2.|Describe the search protocol | A list of paper sources and scientific search engines, search queries | A separate section in the SLR report | +| 2. | Describe the search protocol | A list of paper sources and scientific search engines, search queries | A separate section in the SLR report | 
-|3.|Write down inclusion/exclusion criteria | Requirements to papers/sources and its contents for them to be studied in detail (relevant to the RQs, quality of the paper, etc...) | A section in the SLR report | +| 3. | Write down inclusion/exclusion criteria | Requirements to papers/sources and its contents for them to be studied in detail (relevant to the RQs, quality of the paper, etc) | A section in the SLR report | 
-|4.|Search for sources according to the protocol | The full list of sources | A table with titles, links and abstracts in a separate file | +| 4. | Search for sources according to the protocol | The full list of sources | A table with titles, links and abstracts in a separate file | 
-|5.|Select papers for detailed consideration, return to step 4 if necessary | The short list of relevant and useful sources | A table with titles, links and abstracts in a separate file | +| 5. | Select papers for detailed consideration, return to step 4 if necessary | The short list of relevant and useful sources | A table with titles, links and abstracts in a separate file | 
-|6.|Collect information relevant to each research question | A short summary of findings for research question with references to the sources | A separate subsection for each research question in the SLR report | +| 6. | Collect information relevant to each research question | A short summary of findings for research question with references to the sources | A separate subsection for each research question in the SLR report | 
-|7.|Conclude the research: have all RQs been answered, ways to improve, threats to validity | Research analysis and conclusions, recommendations for readers | A separate section in the SLR report |+| 7. | Conclude the research: have all RQs been answered, ways to improve, threats to validity | Research analysis and conclusions, recommendations for readers | A separate section in the SLR report |
  
 References: References:
-  - Kitchenham, B.A. and S. Charters (2007) Guidelines for performing systematic literature reviews in software engineering, Technical Report EBSE-2007-01, School of Computer Science and Mathematics, Keele University.  
-  - Course slides 
  
 +  - Kitchenham, B.A. and S. Charters (2007) Guidelines for performing systematic literature reviews in software engineering, Technical Report EBSE-2007-01, School of Computer Science and Mathematics, Keele University.
 +  - Course slides
  
 ===== Requirements to reproducibility studies (RS) ===== ===== Requirements to reproducibility studies (RS) =====
Line 54: Line 79:
  
 The overall procedure for reproducibility study is provided in the table below. Work products of the study include the following: The overall procedure for reproducibility study is provided in the table below. Work products of the study include the following:
 +
   - A reporductibility study report   - A reporductibility study report
   - Source code, datasets and configuration used for reproduction   - Source code, datasets and configuration used for reproduction
  
 General requirements to papers selected for reproduction: General requirements to papers selected for reproduction:
 +
   - source code is available for the paper's main result, you are familiar with the programming technilogy employed   - source code is available for the paper's main result, you are familiar with the programming technilogy employed
   - needed data is available with permissive license, volume of data and computation is appropriate for reproduction   - needed data is available with permissive license, volume of data and computation is appropriate for reproduction
   - paper results represent state-of-the-art now or up to 3 years before   - paper results represent state-of-the-art now or up to 3 years before
  
-^#^Activities^Outcomes^Work products^ +^ # ^ Activities ^ Outcomes ^ Work products ^ 
-|1.|Find (or choose from SLR) a paper and get it approved for the study | A paper you are comfortable with | Use email, put rationale for the choise into the RS report | +| 1. | Find (or choose from SLR) a paper and get it approved for the study | A paper you are comfortable with | Use email, put rationale for the choise into the RS report | 
-|2.|Retrieve code and data, check license | Requirements for reproduction are met | A VCS repo with code and data (refs to data) | +| 2. | Retrieve code and data, check license | Requirements for reproduction are met | A VCS repo with code and data (refs to data) | 
-|3.|Repeat the experiment as stated in the paper | Any discrepancies in procedure and/or intermediate results, omissions, inaccuracies | A section in the RS report (RS protocol) | +| 3. | Repeat the experiment as stated in the paper | Any discrepancies in procedure and/or intermediate results, omissions, inaccuracies | A section in the RS report (RS protocol) | 
-|4.|Compare final results with the paper | Your own results from the experiment, discrepancies stated, their sources analysed | A section in the RS report | +| 4. | Compare final results with the paper | Your own results from the experiment, discrepancies stated, their sources analysed | A section in the RS report | 
-|5.|Make conclusions on reproducibility of the results and think of lessons learned | Reproducibility conclusions, sources of error, threats to validity and limitations. State results that can be reused from the paper | A section with conclusions in RS report |+| 5. | Make conclusions on reproducibility of the results and think of lessons learned | Reproducibility conclusions, sources of error, threats to validity and limitations. State results that can be reused from the paper | A section with conclusions in RS report |
  
 References References
-  - Geir Kjetil Sandve, Anton Nekrutenko, James Taylor, Eivind Hovig. Ten Simple Rules for Reproducible Computational Research + 
 +  - Geir Kjetil Sandve, Anton Nekrutenko, James Taylor, Eivind Hovig. Ten Simple Rules for Reproducible Computational Research
   - Course slides   - Course slides
   - reproducibleresearch.net   - reproducibleresearch.net
   - gitlab.com/mlrep/mldev   - gitlab.com/mlrep/mldev
- 
  • apmdd/engseminar.1610706576.txt.gz
  • Last modified: 2026/08/29 07:59
  • (external edit)