Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
events:workshops:esecfse2013 [2013/07/02 12:53] – [Artifact Evaluation Committee] abergelevents:workshops:esecfse2013 [2013/08/26 21:14] (current) – abergel
Line 8: Line 8:
  
 Artifacts that are positively evaluated, will be formally recognized in the proceedings and at the conference. Artifacts that are positively evaluated, will be formally recognized in the proceedings and at the conference.
 +
 +====== Distinguished Artifacts ======
 +There are 2 artifacts that deserved to be distinguished:
 +  * Paul Marinescu and Cristian Cadar. KATCH: High-Coverage Testing of Software Patches
 +  * Aravind Machiry, Rohan Tahiliani and Mayur Naik. Dynodroid: An Input Generation System for Android Apps
 +
 ====== Submission Summary ====== ====== Submission Summary ======
   * Due on: Sunday June 2nd 2013 (end of the week of the paper notification) **-- CLOSED**   * Due on: Sunday June 2nd 2013 (end of the week of the paper notification) **-- CLOSED**
-  * Notification from the AEC: Monday June 24, 2013 (one week before the camera ready version)+  * Notification from the AEC: Monday June 24, 2013 (one week before the camera ready version) **-- PASSED**
   * Format: [[events/workshops/esecfse2013/guidelines|Guidelines for Packaging AEC Submissions]]    * Format: [[events/workshops/esecfse2013/guidelines|Guidelines for Packaging AEC Submissions]] 
   * Contact: [[mailto:abergel@dcc.uchile.cl|Alexandre Bergel]] and [[mailto:bettini@di.unito.it|Lorenzo Bettini]]   * Contact: [[mailto:abergel@dcc.uchile.cl|Alexandre Bergel]] and [[mailto:bettini@di.unito.it|Lorenzo Bettini]]
Line 18: Line 24:
 Software artifacts who successfully passed our evaluation will be officially recognized (in the proceedings, during the conference, during the social event presentation). Fireworks will be for the distinguished software artifacts. Software artifacts who successfully passed our evaluation will be officially recognized (in the proceedings, during the conference, during the social event presentation). Fireworks will be for the distinguished software artifacts.
  
-====== Artifact Evaluation Committee ======+====== Artifacts Meeting Expectation ======
 In total we have received 22 artifacts. 12 have been assessed as "met expectation" or "Exceeded expectations". Below is the list of artifacts that have been positively evaluated. In total we have received 22 artifacts. 12 have been assessed as "met expectation" or "Exceeded expectations". Below is the list of artifacts that have been positively evaluated.
-  * Paul Marinescu and Cristian Cadar -- KATCH: High-Coverage Testing of Software Patches + 
-  * Aravind Machiry, Rohan Tahiliani and Mayur Naik -- Dynodroid: An Input Generation System for Android Apps +Out of the 12 positively evaluated artifacts, 8 will be presented on Friday 23 August 2013, during a dedicated slot 17:00 - 17:40. 
-  * Dirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer and Philipp Wendler -- Linux Driver Revisions for Regression Verification +Each presentation will have 5 minutes: 
-  * Peng Liu -- Finding Incorrect Compositions of Atomicity +  * Paul Marinescu and Cristian Cadar -- //KATCH: High-Coverage Testing of Software Patches// 
-  * Alex Gyori, Danny Dig, Lyle Franklin and Jan Lahoda -- Crossing the gap from imperative to functional programming through refactoring +  * Dirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer and Philipp Wendler -- //Linux Driver Revisions for Regression Verification - [[http://www.sosy-lab.org/~dbeyer/cpa-reuse/regression-benchmarks/|online]]// 
-  * Nishant Sinha and Rezwana Karim -- Compiling Mockups to Flexible UIs +  * Shahar Maoz, Jan Oliver Ringert and Bernhard Rumpe -- //Synthesis of Component and Connector Models from Crosscutting Structural Views// 
-  * Shahar Maoz, Jan Oliver Ringert and Bernhard Rumpe -- Synthesis of Component and Connector Models from Crosscutting Structural Views +  * Marin Silic, Goran Delac and Sinisa Srbljic -- //Prediction of Atomic Web Services Reliability Based on K-means Clustering [[http://ccl.fer.hr/wordpress/people/research-assistants/marin-silic/clus-evaluation-dataset/|online]]// 
-  * Chengnian Sun and Siau-Cheng Khoo -- Mining Succinct Predicated Bug Signatures +  * Nishant Sinha and Rezwana Karim -- //Compiling Mockups to Flexible UIs//  [[https://www.youtube.com/watch?v=OoPdw0kWRcA|online video]] 
-  * Yunhui Zheng, Xiangyu Zhang and Vijay Ganesh -- Z3-str: A String Theory Plugin on Z3 for Web Application Analysis +  * Alex Gyori, Danny Dig, Lyle Franklin and Jan Lahoda -- //Crossing the gap from imperative to functional programming through refactoring [[http://refactoring.info/tools/LambdaFicator/|online]]// 
-  * Pietro Braione, Giovanni Denaro and Mauro Pezze' -- Enhancing Symbolic Execution with Built-in Term Rewriting and Constrained Lazy Initialization +  * Peng Liu -- //Finding Incorrect Compositions of Atomicity// 
-  * Meiyappan Nagappan, Thomas Zimmermann and Christian Bird -- Diversity in Software Engineering Research +  * Yunhui Zheng, Xiangyu Zhang and Vijay Ganesh -- //Z3-str: A String Theory Plugin on Z3 for Web Application Analysis// 
-  * Marin Silic, Goran Delac and Sinisa Srbljic -- Prediction of Atomic Web Services Reliability Based on K-means Clustering+ 
 +The remaining 4 artifacts will be presented during their paper presentation slot: 
 +  * Meiyappan Nagappan, Thomas Zimmermann and Christian Bird -- //Diversity in Software Engineering Research -- [[http://sailhome.cs.queensu.ca/replication/representativeness/|online]]// 
 +  * Chengnian Sun and Siau-Cheng Khoo -- //Mining Succinct Predicated Bug Signatures// 
 +  * Aravind Machiry, Rohan Tahiliani and Mayur Naik -- //Dynodroid: An Input Generation System for Android Apps [[http://pag-www.gtisc.gatech.edu/dynodroid/data/|online]]// 
 +  * Pietro Braione, Giovanni Denaro and Mauro Pezze' -- //Enhancing Symbolic Execution with Built-in Term Rewriting and Constrained Lazy Initialization//
  
 ====== Artifact Evaluation Committee ====== ====== Artifact Evaluation Committee ======