May 20, 2016 citing 25 years of significant impact on software engineering research, the ieee computer society technical council on software engineering has awarded microsoft research the 2016 tcse distinguished synergy award. Xueqing liu, yue leng, wei yang, chengxiang zhai, and tao xie. Benchmarking microservice systems for software engineering research within the posters track. The ase conference series is the premier research forum for automated software engineering. Jul 07, 2016 in the software engineering research community, our flagship conference icse has had a great tradition of organizing the new software engineering faculty symposium, where graduating phd students or new faculty members attend to get good exposure on tips and lessons learned to excel in the faculty career. Since 1975, icse provides a forum where researchers, practitioners, and educators. In proceedings of the 32nd international conference on software engineering. Tao xie in recognition of his extensive service to the software engineering community in his many roles in major software engineering conferences icse, issta, icsme, fse, msr, journals coeic stvr, ae of ieee tse, ab ieee software and volunteer associations, his organization of software engineering research seminars. Hao zhong, lu zhang, tao xie, hong mei inferring resource specifications from natural language api documentation best paper acm dl jyotirmoy deshmukh, e. Relationshipaware code search for javascript frameworks. Software engineering conferences statistics tao xie. Here you can find the upcoming conference date, conference name and venue.
Call for participation global software engineering. Champaign, usa dongmei zhang, microsoft research, china software engineering education and training co. Each year, it brings together researchers and practitioners from academia and. Ieee international conference on software testing, verification and validation icst 2020 is intended to provide a common forum for researchers, scientists, engineers and practitioners throughout the world to present their latest research findings, ideas, developments and applications in the area of software testing. Xie leads the automated software engineering research group and his work focuses on software engineering. Latest conference alerts 2020 in software engineering. Each year it brings together researchers and practitioners from academia and industry to discuss foundations, techniques, and tools for automated analysis, design, implemen. Icse, the international conference on software engineering, is the premier software engineering conference where researchers, practitioners and educators gather together to present and discuss the most. Ieee software will recognize the best paper of the seip track with an award at the conference.
The international conference on software engineering icse, sponsored by ieee cs and acm, is the premier software engineering conference, where researchers, practitioners, and educators come together to present, discuss, and debate the most recent research results, innovations, trends, and concerns in the field of software engineering. The international conference on software e ngineering icse, sponsored by ieee cs and acm, is the premier software engineering conference, where researchers, practitioners, and educators come together to present, discuss, and debate the most recent research results, innovations, trends, and concerns in the field of software engineering. Check out the upcoming software engineering conference map. Software engineering call for papers for conferences. Citing 25 years of significant impact on software engineering research, the ieee computer society technical council on software engineering has awarded microsoft research the 2016 tcse distinguished synergy award. There is a massive amount of important discussion going on about journals, conferences, who should own the publications, who should. Symposium on foundations of software engineering november 2016 pages. Industrial survey, benchmark system, and empirical study, ieee transactions on software engineering, 2018, 10. Sigsoft annual report fiscal year 2016 submitted by. Software engineering conferences verification formal methods programming languagescompilers webinfo sys securitysystems. Software analytics and its application in practice. The 11th ieee international conference on global software engineering icgse 2016 brings together researchers and practitioners to share their findings and experiences in addressing the challenges of globally distributed teams. In 2016 xie was honored with a microsoft research outstanding collaborator award. Tao xie hsieh shear professor and willett faculty scholar department of computer science.
The list of following conferences are including the following topics like business related conferences, engineering conferences, education, social sciences, law, life sciences, mathematics. Icse is the premier software engineering conference, providing a forum for researchers. Before july 20, he was an associate professor in the department of computer science at north carolina state university. Automated software engineering conference online bibliography aseolb. The conference is the premier research forum for automated software engineering. The panelists were asked to reflect on three questions. Code hunt is the most available tool for this research, but papers addressing other platforms, systems and tools were also welcome. Champaign, usa dongmeizhang, microsoft research, china software engineering education and training co.
Mining errorhandling specifications for systems software. Thomas reps, susan horowitz, mooly sagiv and genevieve rosay. In proceedings of the 10th european software engineering conference held jointly with th acm sigsoft international symposium on foundations of software engineering esecfse 2005, pages 253262, 2005. Advances on improving automation in developer testing. Software engineering in practice in conferences posted on october. Pldi 2019 was part of the acm federated computing research conference fcrc, june 2226. Colocated venues included isca, sigmetrics, spaa, stoc, ec, eenergy, hpdc, ics, iwqos.
Software engineering conferences 2020 international. Lu zhang, tao xie, hong mei inferring resource specifications from natural language api documentation best paper. Esecfse brings together experts from academia and industry to. Seip provides a unique forum for networking, exchanging new ideas, fostering innovations, and forging longterm collaborations for addressing the most. Sigsoft acm special interest group on software engineering. In the software engineering research community, our flagship conference icse has had a great tradition of organizing the new software engineering faculty symposium, where graduating phd students or new faculty members attend to get good exposure on tips and lessons learned to excel in the faculty career. Distinguished speaker talks are held on the uc irvine campus, typically in the donald bren hall, room 6011, at 2. Tao xie international conference on software engineering. Software engineering in practice accepted papers icse 2016 austin.
Meetingsworkshops on software engineering in the united. The international conference on software engineering icse, sponsored by ieee cs and acm, is the premier softwareengineering conference, where researchers, practitioners, and educators come together to present, discuss, and debate the most recent research results, innovations, trends, and concerns in the field of software engineering. Colocated venues included isca, sigmetrics, spaa, stoc, ec, eenergy, hpdc, ics, iwqos, ismm, lctes, and colt, providing. Nachiappan nagappan, sebastian uchitel, and tao xie. Other resources laboratory for software engineering research. Icse, the international conference on software engineering, is the premier software engineering conference, providing a forum for researchers, practitioners and educators to present and discuss the most recent innovations, trends, experiences and concerns in the field of software engineering. He was an acm distinguished speaker and is an ieee computer society distinguished visitor. In proceedings of the 24th acm sigsoft symposium on the foundations of software engineering, seattle, wa, november 2016. Conferences on formal methods in software engineering, including formal specification, formal verification, and static code analysis. The new acm fellows are michael franz, sriram rajamani, and michael rungtsong. Proceedings lecture notes in computer science, marsha chechik and martin wirsing eds. The goal of the conference is to improve software engineering practices by uncovering interesting and actionable information about software systems and. Xuan lu, xuanzhe liu, huoran li, tao xie, qiaozhu mei, dan.
He leads the automated software engineering research group at illinois, and is a member of the programming languages, formal methods, and software engineering plfmse area at illinois. Icse, the international conference on software engineering, is the premier software engineering conference where researchers, practitioners and educators gather together to. Xies research has included intensive collaboration with industry partners. Software engineering calls for papers cfp for international conferences, workshops, meetings, seminars, events, journals and book chapters. Check the individual meeting announcement for the room and time.
Tao xie in recognition of his extensive service to the software engineering community in his many roles in major software engineering conferences icse, issta, icsme, fse, msr, journals coeic stvr, ae of ieee tse, ab ieee software and volunteer associations, his organization of software. Caccamo, xie named ieee fellows illinois computer science. Sana protocol builder team sana we are building a simpletouse web interface to aid doctors and other nontechnical users in creating sana documents. Tao xie university of illinois at urbanachampaign, said he would like to see more investment in architecture. Xiang zhou, xin peng, tao xie, jun sun, chao ji, wenhai li, and dan ding, fault analysis and debugging of microservice systems. Synergy between ai and software engineering tao xie. Nov 17, 2016 tao xie university of illinois at urbanachampaign, said he would like to see more investment in architecture. Each year, it brings together researchers and practitioners from academia and industry to discuss foundations. He would also like to see more of software engineering research impact on research communities beyond software engineering. Tao xie, university of illinois at urbanachampaign, united states. Proceedings of the 11th innovations in software engineering.
All content in this area was uploaded by tao xie on mar 20, 2015. A programmer assistant for reusing open source code on the web. In perspectives on data science for software engineering tim menzies, laurie williams, and thomas zimmermann ed. Tao xie, university of illinois at urbanachampaign.
Software engineering academic genealogy north america tao xie including many programming languagescompilers faculty members other genealogeis. Hao zhong, tao xie, lu zhang, jian pei, and hong mei. List of upcoming international conferences in software engineering 2020 and 2021. Proceedings of the 2016 24th acm sigsoft international symposium on foundations of software. Icse, the ieeeacm international conference on software engineering, is the premier software engineering conference. There is a massive amount of important discussion going on about journals, conferences, who should own the publications, who should pay for the publications, and more.
Accepted papers will be included in the icse 2016 companion proceedings. Cav computer aided verification forte ifip international conference on formal techniques for networked and distributed systems. Titus barik, rahul pandita, justin middleton, emerson r. Sana documents are written in xml that define a medical procedure. The 24th ieee conference on automated software engineering acmieee. Ieee international conference on software testing, verification and validation icst 2020 is intended to provide a common forum for researchers, scientists, engineers and practitioners throughout the world to present their latest research findings, ideas, developments and applications in the area of. Subscribe now and get conference alerts on software engineering. Check out whova event app used by many conferences.
The acm joint european software engineering conference and symposium on the foundations of software engineering esecfse is an internationally renowned forum for researchers, practitioners, and educators to present and discuss the most recent innovations, trends, experiences, and challenges in the field of software engineering. Proceedings of the 2016 24th acm sigsoft international symposium on foundations of software engineering november 2016 pages 975980. Since 1975, icse provides a forum where researchers, practitioners, and educators gather together to present and. At the 2016 foundations of software engineering conference, a panel discussed the state of software engineering research. Track cochair, software engineering in practice track, international conference on software engineering icse 2016. The conference aims at bringing together experts in software engineering and knowledge engineering to discuss on relevant results in either software engineering or knowledge engineering or both. Software engineering conferences 2020, international. Chairs grace lewis, carnegie mellon software engineering institute, usa. Tao xie is a professor and willett faculty scholar in the department of computer science at the university of illinois at urbanachampaign, usa. Oct 01, 2015 the software engineering in practice seip track is the premier venue for researchers and practitioners to discuss innovations and solutions to concrete software engineering problems. Has empiricism in software engineering amounted to anything. Where software engineering, education, and gaming meet. In proceedings of the 32nd international conference on software engineering icse 2010, tutorials, cape town, south africa, pp. Subscribe now and get conference alerts in software engineering.
These sana documents are then downloaded by nurses and doctors in remote locations onto their phones with the sana mobile application already exists. In proceedings of symposium on dependable software engineering theories, tools and applications, keynote paper, beijing, china, september 2018. Microsoft research receives ieee council honor microsoft. Icse 2016 call for submissions the international conference on software engineering brings together. Software engineering academic genealogy software engineering awards others. Latest conference alerts 2020 on software engineering. Conferences accepting a broad range of topics from theoretical computer science, including algorithms, data structures, computability, computational complexity, automata theory and formal languages.
Distinguished speakers institute for software research. Dengfeng li, wujie zheng, fan xia, yuetang deng, wing lam, wei yang, tao xie. Special emphasis will be put on the transference of methods between both domains. The goal of the conference is to improve software engineering practices by uncovering interesting and actionable information. Programme committee in program committee within the plooc 2015track. The 34th ieeeacm international conference on automated software engineering ase 2019 will be held in san diego from november 11 to 15, 2019. Measuring code behavioral similarity for programming and. In proceedings of the 38th international conference on software engineering icse 2016. In 2015, icse 2012 paper on stackmine rated among the most practically relevant software engineering research. Sigsoft seeks to improve our ability to engineer software by stimulating interaction among practitioners, researchers, and educators. Pldi is the premier forum in the field of programming languages and programming systems research, covering the areas of design, implementation, theory, applications, and performance. Awards ieee computer society technical council on software. Innovations in software engineering conference hyderabad india.
1054 1212 908 1284 775 614 161 681 495 1028 1244 828 1401 300 1261 1200 537 955 1169 663 512 771 1290 6 434 92 453 238 915 173 541 58 147 638 651 975 820 1285