Top Software Engineering conferences and journals have long been an important platform for disseminating theoretical and fundamental results. Several signals suggest that this is less and less the case.
{"title":"Column: Is Theory (Still) Welcome in Software Engineering Research?","authors":"Sylvain Hallé","doi":"10.1145/3650142.3650148","DOIUrl":"https://doi.org/10.1145/3650142.3650148","url":null,"abstract":"Top Software Engineering conferences and journals have long been an important platform for disseminating theoretical and fundamental results. Several signals suggest that this is less and less the case.","PeriodicalId":432885,"journal":{"name":"ACM SIGSOFT Software Engineering Notes","volume":"674 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140749179","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
The International Workshop on CPAchecker is an annual event. Its goal is to discuss recent and ongoing research (ideas) as well as tool developments in the context of C program verification, thereby having a particular focus on the open-source software analysis framework CPAchecker. In addition, the workshop offers a platform to advance the research community around CPAchecker and to foster collaborations.
CPAchecker 国际研讨会是一年一度的盛会。其目标是讨论最近和正在进行的 C 程序验证方面的研究（想法）和工具开发，从而特别关注开源软件分析框架 CPAchecker。此外，研讨会还提供了一个平台，以推动 CPAchecker 研究社区的发展并促进合作。
{"title":"Summary of the Eighth International Workshop on CPAchecker(CPAchecker 2023)","authors":"Marie-Christine Jakobs, Nian-Ze Lee","doi":"10.1145/3650142.3650150","DOIUrl":"https://doi.org/10.1145/3650142.3650150","url":null,"abstract":"The International Workshop on CPAchecker is an annual event. Its goal is to discuss recent and ongoing research (ideas) as well as tool developments in the context of C program verification, thereby having a particular focus on the open-source software analysis framework CPAchecker. In addition, the workshop offers a platform to advance the research community around CPAchecker and to foster collaborations.","PeriodicalId":432885,"journal":{"name":"ACM SIGSOFT Software Engineering Notes","volume":"578 2","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140749410","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
João Pascoal Faria, Freek Verbeek, Anna Rita Fasolino
For the past fourteen years, the Workshop on Automating Test Case Design, Selection and Evaluation (A-TEST)1 has provided a venue for researchers and industry members alike to exchange and discuss trending views, ideas, state-of-the-art, work-in-progress, and scientific results on automated testing. The previous thirteen editions of A-TEST were co-located with several conferences over time: CISTI2 (first two editions), FEDCSIS 3 (three editions), and ESEC/FSE4 (seven editions). The 14th edition took place on September 15, 2023, in Kirchberg, Luxembourg, co-located with ASE 2023 (38th IEEE/ACM International Conference on Automated Software Engineering5). The A-TEST 2023 program featured an enlightening keynote on quantum software testing, followed by three technical sessions in which the authors of 6 full papers and 4 short papers dived into various aspects of automated testing, from neuroevolution and fuzzing techniques to GUI-based software testing and test case recommendations. This short report summarizes the keynote and paper presentations at A-TEST 2023.
{"title":"Report from the 14th International Workshop on Automating Test Case Design, Selection, and Evaluation (A-TEST 2023)","authors":"João Pascoal Faria, Freek Verbeek, Anna Rita Fasolino","doi":"10.1145/3650142.3650149","DOIUrl":"https://doi.org/10.1145/3650142.3650149","url":null,"abstract":"For the past fourteen years, the Workshop on Automating Test Case Design, Selection and Evaluation (A-TEST)1 has provided a venue for researchers and industry members alike to exchange and discuss trending views, ideas, state-of-the-art, work-in-progress, and scientific results on automated testing. The previous thirteen editions of A-TEST were co-located with several conferences over time: CISTI2 (first two editions), FEDCSIS 3 (three editions), and ESEC/FSE4 (seven editions). The 14th edition took place on September 15, 2023, in Kirchberg, Luxembourg, co-located with ASE 2023 (38th IEEE/ACM International Conference on Automated Software Engineering5). The A-TEST 2023 program featured an enlightening keynote on quantum software testing, followed by three technical sessions in which the authors of 6 full papers and 4 short papers dived into various aspects of automated testing, from neuroevolution and fuzzing techniques to GUI-based software testing and test case recommendations. This short report summarizes the keynote and paper presentations at A-TEST 2023.","PeriodicalId":432885,"journal":{"name":"ACM SIGSOFT Software Engineering Notes","volume":"81 2","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140746963","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Computer science and software engineering students and researchers are busy with their courses, in their labs, working on their studies and research - for the most part not really thinking about the impact of politics on their research. However, there are increasing restrictions on the information researchers are allowed to share with their students, and who researchers are allowed to collaborate with respect to national security and increasing concerns with China. To an increasing extent researchers are made aware at grant time. Research institutions must follow federal rules in the grant and hiring process and are conducting workshops and roundtables on issues of national security. The AIP, The American Institute of Physics provides through their mailing list an informative brief on national science policy titled "FYI: Science Policy News from AIP, This Week." The issue for January 23, 2023, invited those interested to join a National Academies of Science, Engineering, Medicine workshop called a "Meeting of experts," on the topic of "Fundamental Research, Openness, and Protecting the U.S. Technological Advantage: NSDD-189 in the New Global Context."
{"title":"Academic Freedom and International Students, Part 5: The gray areas","authors":"Robert Schaefer","doi":"10.1145/3650142.3650145","DOIUrl":"https://doi.org/10.1145/3650142.3650145","url":null,"abstract":"Computer science and software engineering students and researchers are busy with their courses, in their labs, working on their studies and research - for the most part not really thinking about the impact of politics on their research. However, there are increasing restrictions on the information researchers are allowed to share with their students, and who researchers are allowed to collaborate with respect to national security and increasing concerns with China. To an increasing extent researchers are made aware at grant time. Research institutions must follow federal rules in the grant and hiring process and are conducting workshops and roundtables on issues of national security. The AIP, The American Institute of Physics provides through their mailing list an informative brief on national science policy titled \"FYI: Science Policy News from AIP, This Week.\" The issue for January 23, 2023, invited those interested to join a National Academies of Science, Engineering, Medicine workshop called a \"Meeting of experts,\" on the topic of \"Fundamental Research, Openness, and Protecting the U.S. Technological Advantage: NSDD-189 in the New Global Context.\"","PeriodicalId":432885,"journal":{"name":"ACM SIGSOFT Software Engineering Notes","volume":"294 ","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140749909","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Manuel Castells' The Rise of the Network Society is the first volume of a trilogy, The Information Age. It is a sociological work describing a new world arising from what some have called the second industrial revolution, the information revolution that is both the bread and butter and the water we fish swim in, for software engineers.
{"title":"Passages","authors":"Alex Groce","doi":"10.1145/3650142.3650144","DOIUrl":"https://doi.org/10.1145/3650142.3650144","url":null,"abstract":"Manuel Castells' The Rise of the Network Society is the first volume of a trilogy, The Information Age. It is a sociological work describing a new world arising from what some have called the second industrial revolution, the information revolution that is both the bread and butter and the water we fish swim in, for software engineers.","PeriodicalId":432885,"journal":{"name":"ACM SIGSOFT Software Engineering Notes","volume":"119 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140748623","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Getting to know what's in the making by tech industry leaders is something transformative to anyone's awareness in the 21 century. It's like our grandparents having to read journal every morning. What would people at that time consider the person who doesn't read the journal at all? You name it. For tech it's the same; knowing how the technological landscape is shaping helps you prepare for the future by being emotionally ready. For software engineers, it's even critical than ordinary citizens. This is because it's more than emotional readiness. It is career and professional readiness as well. But how you will get to know the key technology industry leaders are working on? One of the key venues is the Consumer Electronics Show (CES). It is an annual giant event that brings in tech leaders in the industry to talk about their latest innovations. This paper brings to you key observations from CES 2024, held in January. From those observations you can extrapolate key future points about the tech ahead of us.
在 21 世纪，了解科技行业领军人物的最新动态，对任何人来说都是一种全新的认识。这就像我们的祖辈每天早上都要阅读日记一样。当时的人会怎么看待完全不看日记的人？你说呢。对于技术人员来说也是一样；了解技术格局的变化有助于你在情感上为未来做好准备。对于软件工程师来说，这甚至比普通公民更为重要。因为这不仅仅是情感上的准备。它也是职业和专业准备。但如何才能了解行业领导者正在研究的关键技术呢？其中一个重要场所就是消费电子展（CES）。这是一年一度的大型盛会，业内的科技领袖们都会在这里畅谈他们的最新创新成果。本文将为您带来今年 1 月举行的 CES 2024 的主要观察结果。从这些观察中，您可以推断出未来科技的关键点。
{"title":"What Does the World's Biggest Tech Event Tell Us? Key Pointers from CES 2024","authors":"Ahmed El-Deeb","doi":"10.1145/3650142.3650146","DOIUrl":"https://doi.org/10.1145/3650142.3650146","url":null,"abstract":"Getting to know what's in the making by tech industry leaders is something transformative to anyone's awareness in the 21 century. It's like our grandparents having to read journal every morning. What would people at that time consider the person who doesn't read the journal at all? You name it. For tech it's the same; knowing how the technological landscape is shaping helps you prepare for the future by being emotionally ready. For software engineers, it's even critical than ordinary citizens. This is because it's more than emotional readiness. It is career and professional readiness as well. But how you will get to know the key technology industry leaders are working on? One of the key venues is the Consumer Electronics Show (CES). It is an annual giant event that brings in tech leaders in the industry to talk about their latest innovations. This paper brings to you key observations from CES 2024, held in January. From those observations you can extrapolate key future points about the tech ahead of us.","PeriodicalId":432885,"journal":{"name":"ACM SIGSOFT Software Engineering Notes","volume":"41 6","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140747453","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
In this paper we report the outcomes of the 1st and 2nd edition of the International Workshop on Gamification in Software Development, Verification, and Validation (Gamify 2022 and Gamify 2023) which were held as part of the 30th and 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2022, in Singapore, November 17, 2022 and ESEC/FSE 2023, online workshop, December 4, 2023).
{"title":"Gamify: Gamification in Software Development, Verification,and Validation","authors":"Riccardo Coppola, Luca Ardito, Maurizio Leotta","doi":"10.1145/3650142.3650151","DOIUrl":"https://doi.org/10.1145/3650142.3650151","url":null,"abstract":"In this paper we report the outcomes of the 1st and 2nd edition of the International Workshop on Gamification in Software Development, Verification, and Validation (Gamify 2022 and Gamify 2023) which were held as part of the 30th and 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2022, in Singapore, November 17, 2022 and ESEC/FSE 2023, online workshop, December 4, 2023).","PeriodicalId":432885,"journal":{"name":"ACM SIGSOFT Software Engineering Notes","volume":"404 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140749854","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
My goal with this text is to provide some concepts and questions that can help the reader to reflect on and elevate the discussion about Women and Software Engineering by providing historical data and some reflection points for the future. Feminism constitutes both a theoretical perspective and a social movement aiming to diminish and ultimately eliminate gender-based inequality and oppression. Data feminism merges data science with feminist principles to examine and address biases and power dynamics in data and technology. Studies at the intersection between gender and software engineering cover gender representation, barriers, and experiences. The main questions I propose for future reflections in the community are: What are the benefits that women bring to software engineering? How does the career and the life of female software engineers unfold? How should software engineering research change so that feminist principles are incorporated? How can feminist knowledge and processes help to examine power structure in software engineering?
{"title":"Women and Software Engineering","authors":"L. Jaccheri","doi":"10.1145/3650142.3650147","DOIUrl":"https://doi.org/10.1145/3650142.3650147","url":null,"abstract":"My goal with this text is to provide some concepts and questions that can help the reader to reflect on and elevate the discussion about Women and Software Engineering by providing historical data and some reflection points for the future. Feminism constitutes both a theoretical perspective and a social movement aiming to diminish and ultimately eliminate gender-based inequality and oppression. Data feminism merges data science with feminist principles to examine and address biases and power dynamics in data and technology. Studies at the intersection between gender and software engineering cover gender representation, barriers, and experiences. The main questions I propose for future reflections in the community are: What are the benefits that women bring to software engineering? How does the career and the life of female software engineers unfold? How should software engineering research change so that feminist principles are incorporated? How can feminist knowledge and processes help to examine power structure in software engineering?","PeriodicalId":432885,"journal":{"name":"ACM SIGSOFT Software Engineering Notes","volume":"61 7","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140748897","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Donald A. MacKenzie's Mechanizing Proof: Computing, Risk, and Trust is a highly readable and generally insightful history of, primarily, the effort to prove computer programs safe and correct. It won the Robert K. Merton (see the Passages column for October 2020) award from the Science, Knowledge, and Technology section of the American Sociological Association in 2003. It is a book of history and sociology, but is likely to also introduce some technical content that will be new to, yet of interest to, many software engineers.
唐纳德-A-麦肯齐（Donald A. MacKenzie）的《证明机械化》（Mechanizing Proof：计算、风险和信任》是一部可读性很强、具有普遍洞察力的历史著作，主要讲述了证明计算机程序安全和正确的努力。该书于 2003 年获得了美国社会学协会科学、知识和技术分会颁发的罗伯特-K-默顿奖（见 2020 年 10 月的传记专栏）。这是一本关于历史和社会学的书，但也可能会介绍一些技术内容，这些内容对许多软件工程师来说是新鲜的，但也是他们感兴趣的。
{"title":"Passages","authors":"Alex Groce","doi":"10.1145/3635439.3635441","DOIUrl":"https://doi.org/10.1145/3635439.3635441","url":null,"abstract":"Donald A. MacKenzie's Mechanizing Proof: Computing, Risk, and Trust is a highly readable and generally insightful history of, primarily, the effort to prove computer programs safe and correct. It won the Robert K. Merton (see the Passages column for October 2020) award from the Science, Knowledge, and Technology section of the American Sociological Association in 2003. It is a book of history and sociology, but is likely to also introduce some technical content that will be new to, yet of interest to, many software engineers.","PeriodicalId":432885,"journal":{"name":"ACM SIGSOFT Software Engineering Notes","volume":"70 S9","pages":"10 - 10"},"PeriodicalIF":0.0,"publicationDate":"2023-12-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139153210","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
The world of Artificial Intelligence and Silicon Valley have been rocked in Nov. 2023 by the sudden ouster of OpenAI CEO, Sam Altman, by the company's board. OpenAI is the 2015 start-up behind ChatGPT and GPT-4, which enabled generating content and media-altered by AI. While nothing much was revealed by the board, the official statement mentioned that he wasn't transparent about his communication to the board about the developments of the company, which led the board to lose trust in him and deciding to fire him. Backed up by 700 OpenAI staffers who threatened to resign in solidarity with their fired leader and a supportive offer from Microsoft CEO Satya hiring Altman to lead significant AI Research Lab in Microsoft, Altman was back again as CEO in 5 days along with a revamped new board. While this dramatic story that entertained the software industry for a week could be seen as mere news, it is indeed more than that; and the significance of this story is not Sam Altman himself as an AI business figure. The back story of this fiasco and what happened behind the scene is what interest us as a Software professionals. The purpose of this article is bring some pointers for our learning.
{"title":"Behind OpenAI CEO Dismissal: An Ethical Dilemma And ANew AI Revolution","authors":"Ahmed El-Deeb","doi":"10.1145/3635439.3635442","DOIUrl":"https://doi.org/10.1145/3635439.3635442","url":null,"abstract":"The world of Artificial Intelligence and Silicon Valley have been rocked in Nov. 2023 by the sudden ouster of OpenAI CEO, Sam Altman, by the company's board. OpenAI is the 2015 start-up behind ChatGPT and GPT-4, which enabled generating content and media-altered by AI. While nothing much was revealed by the board, the official statement mentioned that he wasn't transparent about his communication to the board about the developments of the company, which led the board to lose trust in him and deciding to fire him. Backed up by 700 OpenAI staffers who threatened to resign in solidarity with their fired leader and a supportive offer from Microsoft CEO Satya hiring Altman to lead significant AI Research Lab in Microsoft, Altman was back again as CEO in 5 days along with a revamped new board. While this dramatic story that entertained the software industry for a week could be seen as mere news, it is indeed more than that; and the significance of this story is not Sam Altman himself as an AI business figure. The back story of this fiasco and what happened behind the scene is what interest us as a Software professionals. The purpose of this article is bring some pointers for our learning.","PeriodicalId":432885,"journal":{"name":"ACM SIGSOFT Software Engineering Notes","volume":"58 12","pages":"11 - 12"},"PeriodicalIF":0.0,"publicationDate":"2023-12-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139153164","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：