Path: csiph.com!v102.xanadu-bbs.net!xanadu-bbs.net!news.glorb.com!news.linkpendium.com!news.linkpendium.com!news.iecc.com!.POSTED!nerds-end From: ASE2013 Newsgroups: comp.compilers Subject: CFP: ASE 2013 Workshops (Palo Alto US, Nov 2013) Date: Thu, 25 Jul 2013 17:57:37 +0200 Organization: Compilers Central Lines: 595 Sender: johnl@iecc.com Approved: comp.compilers@iecc.com Message-ID: <13-07-015@comp.compilers> NNTP-Posting-Host: news.iecc.com Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Trace: leila.iecc.com 1375189253 54257 64.57.183.58 (30 Jul 2013 13:00:53 GMT) X-Complaints-To: abuse@iecc.com NNTP-Posting-Date: Tue, 30 Jul 2013 13:00:53 +0000 (UTC) Keywords: conference, CFP, tools Posted-Date: 30 Jul 2013 09:00:53 EDT X-submission-address: compilers@iecc.com X-moderator-address: compilers-request@iecc.com X-FAQ-and-archives: http://compilers.iecc.com Xref: csiph.com comp.compilers:946 - ASE 2013 WORKSHOPS - * JPF * RERS * MALIR-SE * SoftMine * MOMPES * TRANSFER * 28th IEEE/ACM International Conference on Automated Software Engineering November 11-15, 2013, Silicon Valley, California (http://ase2013.org) ======================================================================== JOINT CALL FOR PAPERS SUBMISSION DEADLINES: * The Java Pathfinder Workshop 2013 Abstract: Jul 28 Full Paper: Aug 01 * RERS: Rigorous Examination of Reactive Systems Workshop Training Phase: May 21 - Jun 30 Challenge Phase: Jul 05 - Sep 30 * MALIR-SE: First International Workshop on Machine Learning and Information Retrieval for Software Engineering Abstract: Aug 01 Full Paper: Aug 06 * SoftMine: The Second International Workshop on Software Mining Full Paper: Aug 08 * MOMPES: 9th International Workshop on Model-based Methodologies for Pervasive and Embedded Software Full Paper: Aug 08 * TRANSFER: The International Workshop on Transfer Learning in Software Engineering Full Paper: Aug 18 MORE INFORMATION: * Web: http://ase2013.org/workshops.html * Email: ase2013workshops@easychair.org ======================================================================== - Java Path Finder Workshop - (http://ti.arc.nasa.gov/events/jpf-workshop-2013) CALL FOR SUBMISSIONS: We solicit submissions for existing research, applications, work in progress, and position papers on topics related to JPF or its extensions. If the underlying research idea has been published in another venue the paper needs to clarify the novel aspects that are being presented in the paper. We also solicit comparative analysis papers that evaluate algorithms in JPF or its extensions with relevant tools. The goal of the workshop is to encourage the flow of ideas relevant to JPF. The papers should be at most 5 pages long in the ACM Proceedings format. Accepted papers will be published in the ACM digital library. PROGRAM CHAIRS: Peter Mehlitz, NASA Ames Neha Rungta, NASA Ames Willem Visser, U. Stellenbosch ======================================================================== - RERS - Rigorous Examination of Reactive Systems Workshop (http://rers-challenge.org) The RERS Challenge series aims at a systematic investigation, evaluation, comparison, combination and improvement of any kind of methods for the analysis and validation of reactive systems, be they static, dynamic, black box or white box. Its second edition, the (RERS Challenge 2012), focused on ECA systems, a popular class of reactive systems, which comprises in particular Web services, decision support systems, and programmable logical controllers (PLCs). Besides their industrial relevance, ECA systems where chosen as they are on the one hand fully 'white-box': the full Java/C code will be available, but one the other hand have a black-box character: being simply one huge loop of guarded commands, the ECA code structure essentially reveals nothing about the implemented functionality. This property was meant to also address competitors who base their validation on execution rather than source code analysis. The RERS Challenge 2013 builds on last year's experience. It involves more complex code/data structures in order to attract source code analyzers, and it explicitly addresses execution-based analyses by providing black box and grey box scenarios. In particular the latter scenarios are challenging as they profit most from the combination of source code and execution-based analyses. We therefore hope to encourage people working on areas as diverse as * program analysis and verification, * symbolic execution, * software model checking, * statistical model checking, * model-based testing, * inference of invariants, * automata learning, * run-time verification, * monitoring, to not only apply there 'home' methods, but to investigate how their methods can be improved by combining them with others. CHALLENGE PROBLEMS: The RERS Challenge 2013 will provide a wealth of Benchmark problems of increasing complexity, the more involved of which will probably be beyond any individual state-of-the-art method or tool. A large set of Benchmarks will be synthesized to exhibit chosen properties, and then enhanced in an automated process to cover dedicated dimensions of difficulty, including: 1. conceptual complexity of the exhibited properties (reachability, safety, liveness), 2. size of the systems (from a few hundred lines of code to millions of them), and 3. language features (arrays, indirect addressing, floating point arithmetics, virtual method calls, recursion). Automatically generated problems will be presented * white box: i.e. in Java and C, * black box: as executables, not meant to be textually analyzed, * grey box: a mixture thereof. The challenge rules are essentially free style in order include as many participants as possible. They have a numeric part, which allows for a clear ranking in terms of number of correctly answered questions, and a textual part, where competitors are supposed to describe the approach. This part will be evaluated by the RERS committee. Details about the ranking or evaluation method can be found here. There are five price categories: white box, black box, grey box, overall and for the best approach taken (which must not necessarily have scored highest). In addition we will distribute achievement certificates for solutions passing a specific threshold. REWARDS: There will be an overall price and price for each kind, as well as a price for the best conceptual contribution in form of a gift certificate for Springer books sponsored by Springer. In addition there will be certificates for the first three in each category, and achievement certificates for every team passing the required threshold. The teams with the best solutions in their categories will be invited for a STTT Special Section summarizing the results of the challenge, and, in particular, presenting the most advanced solutions. PARTICIPATION AND SUBMISSION: Please refer to the website for further instructions: http://rers-challenge.org/index.php PC CHAIRS: Corina Pasareanu, NASA Ames, USA Bernhard Steffen, Techinische Universitaet Dortmund, Germany ORGANISATION CHAIR: Falk Howar, NASA Ames, USA PROGRAM COMMITTEE: Hasan Ibne Akram, Techinische Universitaet Dortmund, Germany Dirk Beyer, University of Passau, Germany Corina Pasareanu, NASA Ames, USA Bernhard Steffen, Techinische Universitaet Dortmund, Germany Markus Schordan, Lawrence Livermore National Laboratory, CA, USA Jaco van de Pol, University of Twente, The Netherlands Siccor Verwer, Radboud University Nijmegen, The Netherlands ...... More PC members to be added! ======================================================================== - MALIR-SE - First International Workshop on Machine Learning and Information Retrieval for Software Engineering (http://factrace.net/malir-se2013) The workshop aims at providing a forum for discussions about the adoption of Machine Learning and Information Retrieval in software maintenance and evolution, that is a forum to establish a roadmap about the state-of-the-art as well as about future directions of the research in these topics. The workshop topics include all those concerning Machine Learning and Information Retrieval in software evolution; in particular but not limiting to: * Using and defining Machine Learning and Information Retrieval techniques in all the phases of the software maintenance and evolution * Evaluating and comparing Machine Learning and Information Retrieval techniques and tools * New trends in adopting Machine Learning and Information Retrieval * Combining Machine Learning and Information Retrieval techniques for software maintenance and evolution * Exploring new needs in software evolution for applying Machine Learning and Information Retrieval * Reporting lessons learned in applying Machine Learning and Information Retrieval * Identifying strengths and weaknesses of Machine Learning and Information Retrieval techniques * Systematic reviews and surveys about the state-of-the-art practices for the application of Machine Learning and Information Retrieval techniques We plan for having a one-day discussion-oriented workshop. In particular, we would like to include four types of sessions: * Short position statements from authors of the accepted papers (10/15 minutes) followed by preliminary discussion moderated by the organizers. We will give guidelines about structuring the position statements * A short plenary session to define discussion themes from both the workshop theme and the interests of the participants, and split participants in breakout working groups * A final plenary session at the end of the workshop will feature outcomes of the working groups, and outlook on next steps, including collaboration opportunities between academia and industry, and shared publications PAPER SELECTION CRITERIA AND MECHANISM We welcome submissions by two types: (i) technical and (ii) industrial papers. All the papers have to be related to the topics of interest as listed above. Technical Papers Technical papers (max 4 pages in the IEEE format). Full papers describe new, ongoing and concluded research works in the field of interest for the workshop. For example, a full paper might describe how machine learning can be applied to analyze software artifacts during software evolution tasks. Again, a full paper can describe case studies and experiments in which Information Retrieval techniques have been applied in real contexts. Industrial Papers Industrial papers (max 4 pages in the IEEE format). This kind of paper should present experiences in the use of Machine Learning and Information retrieval in software industry. For example, an industrial paper might describe how machine learning techniques are applied and empirically assessed to predict the effort to perform maintenance operations. With respect to Information Retrieval techniques, an industrial paper could present how these techniques have been applied for the recovery of traceability links among software artifacts in the contact of impact analysis. All papers submitted to the workshop will be peer-reviewed by three members of the Program Committee. Acceptance will be primarily based on originality, contribution to the area, ability to generate discussion, quality of the paper and of the research, research completeness and maturity. Only original papers not submitted to journals or other conferences will be considered. Submit papers through EasyChair: https://www.easychair.org/conferences/?conf=malirsease2013 ORGANIZING COMMITTEE Giuseppe Scanniello, Universita degli Studi della Basilicata, Italy Alessandro Marchetto, Fondazione Bruno Kessler, Italy Nasir Ali, Ecole Polytechnique de Montreal, Canada David Lo, Singapore Management University, Singapore Collin McMillan, School of Computer Science, University of Notre Dame PROGRAM COMMITTEE Andrian Marcus, Wayne State University, USA Bram Adams, Ecole Polytechnique de Montreal, Canada Denys Poshyvanyk, The College of William and Mary Fabrizio Silvestri, ISTI, CNR, Italy Giuliano Antoniol, Ecole Polytechnique de Montreal, Canada Hongyu Zhang, Tsinghua University, China John Hosking, University of Auckland, New Zealand Jonathan I. Maletic, Kent State University, USA Sunghun Kim, Hong Kong University of Science and Technology Tim Menzies, West Virginia University, USA Yann-Gael Gueheneuc, Ecole Polytechnique de Montreal, Canada Rainer Koschke, Universitaet Bremen, Ge Michele Lanza, University of Lugano, Switzerland ======================================================================== - SoftMine - The Second International Workshop on Software Mining (http://lamda.nju.edu.cn/conf/softwaremining13) The workshop calls for research papers reporting original investigation results, real-world applications and system development experience in all aspects of software mining. The topics of the SoftwareMining-2013 submissions may roughly fall into four major aspects, including 1) Data mining foundations for software analytics, 2) Software mining techniques, 2) Mining practices on various types of software-related data, and 3) Applications of data mining to facilitate specialized tasks in software engineering. Topics of interest include but are not limited to: A. Data mining foundations for software analytics A1. Emerging machine learning methods for software analytics A2. Predictive/descriptive modeling techniques for software analytics A3. Novel frequent pattern mining techniques for software analytics A4. Evolutionary computing techniques for software analytics B. Software mining techniques B1. Software mining models and techniques B2. Robust and highly scalable algorithms for mining large scale software system B3. Understanding and visualizing software mining results B4. Noise-tolerant software mining B5. Privacy preserving software mining C. Mining specific software data C1. Mining software specifications C2. Mining source code C3. Mining execution traces and logs C4. Mining change patterns and trends C5. Mining bug and crash reports C6. Mining natural language artifacts in software data C7. Mining developer-related artifacts D. Software mining in specialized tasks D1. Mining for software defect identification and characterization D2. Mining for software testing and debugging D3. Mining for cost/effort estimation D4. Mining for software development and reuse D5. Mining for resource allocation D6. Mining for process control PUBLICATION AND PAPER SUBMISSION: Each submission should be no more than 8 pages total in length, consisting of title, authors' names, postal and email addresses, an up to 200-words abstract, up to 5 keywords, and a body with all contents, figures, tables, and references. The format should be kept the same as the ASE main track format. Additional information about formatting and style files is available online at: http://www.conference-publishing.com/Instructions.php?Event=ASE13 All manuscripts must be submitted electronically in a single PDF file using the conference management tool. Please make sure that any special fonts used are included in the submitted documents. Detailed instructions will be available soon on the SoftwareMining-2013 website: http://lamda.nju.edu.cn/conf/softwaremining13 For accepted papers, authors are required to prepare their final submissions for the workshop proceedings according to the reviewers' suggestions. CO-CHAIRS: Ming Li, Nanjing University, China Hongyu Zhang, Tsinghua University, China David Lo, Singapore Management University, Singapore PROGRAM COMMITTEE: Mithun Acharya, ABB Research, USA Hong Cheng, The Chinese University of Hong Kong, China Jens Grabowski, University of Gottingen, Germany Shi Han, Microsoft Research Asia, China Steffen Herbold, University of Gottingen, Germany Lingxiao Jiang, Singapore Management University, Singapore Sunghun Kim, Hong Kong University of Science and Technology, China Jian-Guang Lou, Microsoft Research Asia, China Leonardo Mariani, University of Milan Bicocca, Italy Tim Menzies, West Virginia University, USA Leandro L. Minku, University of Birmingham, UK Tien N. Nguyen, Iowa State University, USA Lin Tan, University of Waterloo, Canada Min-Ling Zhang, Southeast University, China Xiangyu Zhang, Purdue University, USA Zhengyu Zhang, Institute of Software of CAS, China Thomas Zimmermann, Microsoft Research, USA ======================================================================== - MOMPES - 9th International Workshop on Model-based Methodologies for Pervasive and Embedded Software (http://www3.di.uminho.pt/mompes/2013) We are seeking for research papers and experience reports (max. 20 pages), as well as short and position papers (max. 6 pages). Submissions must conform to the ACM SEN formatting guidelines and should be submitted via EasyChair: http://www.easychair.org/conferences/?conf=mompes2013 Submissions will be selected based on the relevance to the workshop topics and the suitability to trigger interesting discussions. Each paper will be reviewed by at least 3 members of the Programme Committee. The workshop will have a strong emphasis on interaction among the participants. Hence, we intend to use a combination of (1) paper presentations with discussions on paper topics in the morning and (2) an interactive session in the afternoon. Accepted papers will be published in an ACM SIG newsletter. By submitting, authors are granting permission for ACM to publish in print and digital formats for the newsletter and the ACM archive. The authors retain copyright as is the case with any ACM newsletter publication of original material. The statement "Copyright is held by author." should appear on the first page of each paper. Download the full CfP in PDF format: http://www3.di.uminho.pt/mompes/2013/2013-MOMPES-CfP.pdf ORGANIZING COMMITTEE: Joao M. Fernandes, U Minho, PT Goetz Botterweck, LERO and U Limerick, IE Julia Rubin, IBM Research, Haifa, IL Rita Suzana Maciel, UF Bahia, BR PROGRAMME COMMITTEE: Robert Baillargeon, SODIUS, US Leandro Buss Becker, UF Santa Catarina, BR Gaelle Calvary, U Joseph Fourier, FR Holger Giese, HPI Potsdam, DE Luis Gomes, UN Lisboa, PT Timo D. Hamalainen, TU Tampere, FI Chris Hankin, Imperial College, UK Luis Lamb, UFRGS, BR Pedro Jose Marron, U Duisburg-Essen, DE Elvinia Riccobene, U Milano, IT Pablo Sanchez, U Malaga, ES Oleg Sokolsky, U Pennsylvania, US Olaf Spinczyk, U Dortmund, DE Jonathan Sprinkle, U Arizona, US ======================================================================== - TRANSFER - The International Workshop on Transfer Learning in Software Engineering (http://promisedata.org/transfer/13) Why is generality so hard to find in software engineering? Do such general principles exist (and we just have not found them yet)? Or are we doomed to a perpetual revision of all our coding and management practices for each new project? On this issue, we can identify two feuding schools of thought. Globalists and localists use different strategies for learning best practices. Globalists learn lessons once from all data then reuse those lessons at multiple sites, whereas localists learn best practices many times from local data and use them only at a single site (which implies that project managers must devote their scant resources to a "local lessons team" that pursues best local practices). This workshop will focus on the following issue: Whose strategy is best for finding project-specific best practices: the globalists or the localists? Or perhaps it is best to combine both approaches. It is certainly important to learn best practices from past projects. However, it is just as important to know how to transfer and adapt that experience to current projects. No project is exactly like previous projects -- hence, the trick is to find which parts of the past are most relevant and can be transferred into the current project. TOPICS Topics of interest are theoretical foundations and practical approaches related, but not limited, to the integration of the transfer learning and software engineering. While our focus in on automatic methods, we are also interested in hybrid human/computer methods. PAPER SUBMISSION We invite submissions in either of the following forms: * Research papers presenting novel approaches with new research results (maximum 8 pages including references). * Position papers describing new ideas not yet fully developed or preliminary tool support (maximum 4 pages including references). Submitted papers must be written in English, should not have been submitted for review or published elsewhere, and must conform to the ACM SIG proceedings templates. Submissions are accepted via Easy Chair. Submit your paper here: https://www.easychair.org/conferences/?conf=transfer13 PROCEEDINGS & SPECIAL ISSUE Accepted papers will be published in the workshop proceedings and available electronically via ACM Digital Library within its International Conference Proceedings Series. Authors of best papers will be invited to submit a revised and extended version of their papers to a journal special issue. GENERAL CHAIR Tim Menzies, West Virginia University, USA PROGRAM CHAIRS Leandro Minku, The University of Birmingham, UK Ye Yang, Chinese Academy of Sciences, China PROGRAM COMMITTEE Ayse Bener, Ryerson University David Bowes, University of Hertfordshire Filomena Ferrucci, University of Salerno Harald Gall, University of Zurich Gregory Gay, University of Minnesota Tracy Hall, Brunel University Jacky Keung, City University of Hong Kong Ekrem Kocaguneli, West Virginia University Chris Lokan, University of New South Wales Tim Menzies, West Virginia University Leandro Minku, The University of Birmingham Brendan Murphy, Microsoft Research Sinno Jialin Pan, Institute for Infocomm Research Federica Sarro, University College London Burak Turhan, University of Oulu Ye Yang, Chinese Academy of Sciences Qiang Yang, Hong Kong University of Science and Technology PUBLICATIONS CHAIR Fayola Peters, West Virginia University, USA PUBLICITY AND SOCIAL MEDIA CHAIR Zhimin He, Chinese Academy of Sciences, China WEBMASTER Leandro Minku, The University of Birmingham, UK