Highlight on Alum Lana Yarosh Carol Frieze Wins 2017 A. Nico
Total Page:16
File Type:pdf, Size:1020Kb
INCREASING THE SUCCESS & PARTICIPATION OF WOMEN IN COMPUTING RESEARCH CRA-WomenWinter/Spring 2017 Edition This Issue: NEWSLETTER P1 Highlight on Alum Lana Yarosh P1 Carol Frieze wins 2017 A. Nico Habermann Award Highlight on Alum Lana Yarosh P2 Interview with Lori Clarke P4 New CRA-W Co-Chair Svetlana “Lana” Yarosh is an Assistant Professor in the Computer P5 CRA-W Alums Named Science & Engineering Department at University of Minnesota. Fellows Her research in HCI focuses on embodied interaction in social computing P6 CRA-W Continues Research systems. Lana has won NSF CRII and the NSF CAREER grants, and best Mentoring at the 2016 GHC paper awards at CHI 2013 and CSWC 2014. She is a recipient of the McKnight P7 Thank You to Our Donors Land Grant Professorship. Lana has two Bachelor’s of Science degrees P8 Highlight on Alum from the University of Maryland (in Computer Science and Psychology), a Ph.D. in Human-Centered Computing from Georgia Institute of Technology, Lana Yarosh (continued) and two years of industry research experience with AT&T Labs Research. P10 CRA-W Alums Elected as She attended CRA-W’s Career Mentoring Workshop for early-career members of the NAE researchers. P10 CRA-W Alums Win Awards continued on page 8 P11 Alum News P12 SWSIS P13 CERP Receives SIGCSE Carol Frieze wins 2017 A. Nico Paper Award P14 InWIC Habermann Award P15 Profiles in Computing: Tanya Amert Carol Frieze, director of SCS4ALL and Women@SCS at Carnegie Mellon P16 About CRA-W University (CMU), was selected as the recipient of the 2017 A. Nico Habermann Award Winner for devoting nearly two decades to promoting diversity and Editors: inclusiveness in computing. She has worked with and supported a wide variety of students including women, people with disabilities, and various Carla Ellis, Duke University age groups ranging from K-12 to graduate students. Amanda Stent, Bloomberg Carol has contributed valuable research towards understanding the challenges diverse populations face, and in many ways, her research has challenged the existing narrative in the field. And it’s had impact: 48% of computer science majors in the 2016 incoming freshman class at CMU are women, far above the national average. Carol’s work towards improving diversity and inclusion in computing goes well beyond advocacy. She has shared her knowledge with others by developing teacher resources, books, and course materials. She also participates in conferences and other programs including CRA- W’s Collaborative Research Experiences for Undergraduates (CREU) program. Carol’s nomination letters attest that she played an important role in creating an inclusive environment at CMU, and her research can help others learn best practices and insights to help spread this type of progress beyond her home institution to the entire community. www.cra-w.org @CRAWomen Interview with Lori Clarke My current research is primarily focused on improving medical Interviewed by Carla Ellis, Duke University safety and builds on these past contributions. Working with Leon Osterweil, George Avrunin, and a number of grad students and medical professionals, our medical safety team has been modeling Lori A. Clarke is an emerita professor schedule. In many ways, being a research faculty member is like life-critical healthcare processes and using static analysis and in the College of Information and running your own research enterprise. Your efforts determine how property specification techniques to find defects and vulnerabilities Computer Sciences, University of successful you are and how large an enterprise you oversee, but at in these processes. Our most current work is exploring how these Massachusetts Amherst, having the same time, your faculty position provides a safety net in case validated processes can be used to provide on-line, situational- retired in 2015 after serving on your research ambitions temporarily exceed your financial support. aware guidance during error-prone, critical procedures. In the long the faculty for forty years and term, we hope that the detailed process execution histories will as chair from 2011-2015. She is a Don’t think I am being overly Pollyannaish; there are downsides to provide important feedback about the effectiveness of different Fellow of the ACM and IEEE, and a being a faculty member. It is very demanding and requires great process alternatives. I believe this is going to be a major future Lori meets with colleagues, Bruce Croft, Debra Richardson, board member of the Computing dedication. And I don’t think anyone enjoys having to create and and Jan Cuny at the CRA Snowbird Conference research direction, combining software engineering and data Research Association’s Committee grade exam questions. My career path was purely serendipitous. I decided to try academia analytics in new ways. on the Status of Women in because I was advised that it is easier to move from an academic Computing Research (CRA-W). In retirement, I have defined a path forward where I get to continue job to an industrial job than vice-versa; I was trying to keep my Q: How have you been involved in CRA-W? What has this involvement She is a former vice chair of the doing those parts of my career that I enjoy the most (i.e., doing options open until I knew what I wanted to do. I started my faculty meant to you? One of the challenges early in my career was not Computing Research Association (CRA), IEEE Publication Board research and working with students), while jettisoning those position wondering if I was going to actually like it. Luckily for me, I having many role models or female colleagues. Although software member, associate editor of ACM TOPLAS and IEEE TSE, member of that I don’t relish. I am presently working with my colleagues on soon discovered that I really loved being a faculty member. engineering tended to have more women researchers than many the CCR NSF advisory board, and ACM SIGSOFT chair. Awards include developing technology for modeling and analyzing human-intensive other fields in computing, women were still a very small minority. the 2012 SIGSOFT Outstanding Research Award, 2011 University of processes. We are currently engaged in a project where we are Q: Explain a bit about your most recent research activities. How has Researchers such as Barbara Ryder, Mary Lou Soffa, and Mary Massachusetts Outstanding Accomplishments in Research and further developing the technology and evaluating it as applied your research evolved over time? I was one of the early developers Jean Harrold were wonderful colleagues and friends. We were very Creative Activity Award, 2009 College of Natural Sciences and to cardiac surgery. Although we believe this approach has broad of symbolic execution, a technique that provided a foundation for motivated to help pave a path for more women to enter computing. Mathematics Outstanding Faculty Service Award, 2004 University applicability, it will be very exciting to see how it applies to this software verification, testing, and program analysis. At the time, of Colorado, Boulder Distinguished Engineering Alumni Award and challenging, life-critical domain. computing power was too limited to make these approaches I was delighted to become involved in CRA-W because of the 2002 SIGSOFT Distinguished Service Award. widely applicable, but concepts from this work are now found in opportunities it provided to help women (and minorities) succeed Q: Tell us about your decision to enter computer science and your commercial test data generation and static analysis tools as well in computing and, selfishly, for the opportunities it provided me In addition to her research accomplishments, Lori has a long career path. I loved computing from the moment I wrote my first as in many research prototypes. to meet so many amazing women in computing outside of my history of working to increase the diversity of those participating (machine code) program. I was a (not very good) mathematics primary research areas. Careers associated with computing have in computing. She is an active board member of CRA-W, previously undergrad and I loved getting concrete answers, instead of Frustrations with developing and maintaining a symbolic execution the possibility of positively impacting the lives of so many people, in serving as co-chair and now serving as co-director of Grad Cohort, wondering if my proof had flaws. Perhaps that is why later in system led to my interest in software development environments. addition to being intellectually and financially rewarding. I strongly an annual two-day mentoring workshop for women graduate graduate school, I was interested in techniques that would I was one of the principal investigators in the multi-institutional believe that it is important to make sure that the doors are open to students. She was instrumental in helping the Coalition to Diversify automatically help determine definitely what we knew (and didn’t Arcadia Project, which made several contributions that are now all individuals who have the interest and aptitude to pursue such Computing (CDC) and CRA-W develop coordinated programs. Within know) about a particular program. mainstays of IDEs. careers. her college, she has fostered an active Women in Computer Science Q: How do you balance work and family life? What do you enjoy group. Lori has been involved in a number of mentoring programs Ever since I was a graduate student, I was intrigued with the doing when you aren’t working? One of the benefits of having a and advised and mentored an impressive set of graduate students. information that could be derived from programs using data flow analysis techniques. FLAVERS, developed with my graduate student Q: You recently retired after 40 years on the computer science Matt Dwyer, was one of the first model-checking systems to work faculty at UMass.