Commun. ACM最新文献_第9页

Watching TV on internet-connected devices 在联网设备上看电视

Commun. ACM Pub Date : 2014-07-01 DOI: 10.1145/2618099

Pamela Samuelson

引用次数: 2

Commun. ACM Pub Date : 2014-07-01 DOI: 10.1145/2631183

Vicki L. Hanson, Reyyan Ayfer, Beverly Bachmayer

{"title":"European women in computing","authors":"Vicki L. Hanson, Reyyan Ayfer, Beverly Bachmayer","doi":"10.1145/2631183","DOIUrl":"https://doi.org/10.1145/2631183","url":null,"abstract":"For several years, ACM-W has been an active advocate for women in computing. With ACM's increasing international membership, regional Councils have been created and groups within them are taking up this same mission. Two years ago, the ACM Europe Council formed ACM-WE to sponsor European initiatives for women in computing. Europe, of course, is by no means homogenous with respect to the involvement of women in computing, although many commonalities exist. A goal of ACM-WE is to promote an image of computing that would be more attractive to women. In addition, we seek to provide information about the many different kinds of careers available to women to help them envision a future in computing. Inspired by events such as the Grace Hopper and ACM-W celebrations in the U.S., one of the first activities of ACM-WE was to create a European conference that would encourage women in their computing careers. The first ACM-WE womENcourage conference was held last March in Manchester, England. Attracting more than 200 attendees (both male and female) from 28 countries, this event sought to highlight technical accomplishments of women in the field as well as to provide opportunities for young women to meet others and develop professionally. Technical keynote presentations from women in computing as well as posters from young women currently studying computing furthered these goals. A special emphasis was placed on providing networking and career opportunities for the next generation of computing professionals. Through funding from industry supporters and ACM-W, 54 computing students from 26 countries received travel stipends that allowed them to participate in the conference. A conference highlight for these participants was the career fair, featuring our seven industrial supporters (Google, Intel, Facebook, Bloom-berg, Microsoft Research, Yahoo! Labs, and Cisco). An \" unconference \" feature also allowed attendees to cluster into facilitated discussion groups around topics selected that day by the participants themselves. The second womENcourage conference will be held in Sweden, Sept. 24–26, 2015, hosted by Uppsala University. We invite anyone who wishes to help organize the conference to contact us at acm-w-europe@acm.org. Volunteers are welcome to help both with technical aspects (program committee positions) as well as operational aspects (such as career fair organization and networking events arrangements). In addition to the womENcourage conferences, we are establishing Friends of ACM-WE to bring together industry, universities, and non-government organizations to help increase the visibility of women in computing. We will be looking …","PeriodicalId":10645,"journal":{"name":"Commun. ACM","volume":"91 1","pages":"5"},"PeriodicalIF":0.0,"publicationDate":"2014-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90337015","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}

引用次数: 5

Community sense and response systems: your phone as quake detector 社区意识和反应系统:你的手机是地震探测器

Commun. ACM Pub Date : 2014-07-01 DOI: 10.1145/2622633

Matthew Faulkner, Rob Clayton, T. Heaton, K. Chandy, M. Kohler, J. Bunn, Richard Guy, Annie H. Liu, Michael Olson, M. Cheng, Andreas Krause

引用次数: 53

Responsible programming 负责编程

Commun. ACM Pub Date : 2014-07-01 DOI: 10.1145/2631185

V. Cerf

{"title":"Responsible programming","authors":"V. Cerf","doi":"10.1145/2631185","DOIUrl":"https://doi.org/10.1145/2631185","url":null,"abstract":"W ELCOME TO \" CERF'S UP! \" I am grateful for Editor-in-Chief Moshe Vardi's invitation to continue writing for Communications ; this column succeeds the \" From the President \" column I penned during my service to ACM in that role. Let me congratulate Alex Wolf, the newly elected ACM president. I know he will give exemplary service to our organization. Congratulations also go to Vicki Hanson and Erik Altman in their new roles as vice president and secretary/ treasurer respectively. I know this team will provide first-rate leadership. I also thank Alain Chenais, who ends his term as Past President and I begin mine. He has been a staunch, reliable, and active leader in ACM matters and I expect this will continue. There are many others elected to new positions or moving on as their terms in office end. I thank them all without enumeration, and commend them to your attention. Lastly, allow me to note the enormous contributions of the ACM staff and, especially , the leadership of John White, CEO, and Pat Ryan, COO of ACM. They have accumulated a truly enviable record of steadfast leadership spanning the terms of many elected ACM officers. Now to the substance of this column: responsible programming. What do I mean by that? In a nutshell, I think it means people who write software should have a clear sense of responsibility for its reliable operation and resistance to compromise and error. We do not seem to know how to write software that has no bugs…at least, not yet. But that, in a sense, is the very subject I want to explore. My very good friend, Steve Crocker, drew me into a conversation about this topic a short while ago. As a graduate student , he had pursued a dissertation on provable correctness of programs. While this is not a new topic, the objective continues to elude us. We have developed related tactics for trying to minimize errors. Model checking is one good example of a systematic effort to improve reliability for which ACM gave the Turing Award in 2007 to Edmund Clarke, Allen Emerson, and Joseph Sifakis. What is apparent, and emphasized by Crocker, is the tools available to programmers for validating assertions about program operation are complex, with user interfaces only a mother could love (my characterization). Formal proofs are difficult, especially for anything but the simplest sort of program. …","PeriodicalId":10645,"journal":{"name":"Commun. ACM","volume":"1 1","pages":"7"},"PeriodicalIF":0.0,"publicationDate":"2014-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"72619773","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}

引用次数: 4

Structural challenges and the need to adapt 结构性挑战和适应的需要

Commun. ACM Pub Date : 2014-07-01 DOI: 10.1145/2618109

Batya Friedman

引用次数: 6

Toward a pedagogy of ethical practice 走向道德实践的教育学

Commun. ACM Pub Date : 2014-07-01 DOI: 10.1145/2618103

C. Huff, Almut Furchert

引用次数: 19

Future Tense: The Chatbot and the Drone 将来时:聊天机器人和无人机

Commun. ACM Pub Date : 2014-07-01 DOI: 10.1145/2631171

G. Landis