SIGOPS FY’09 Annual Report
July 2008 - June 2009
Submitted by: Doug Terry, Chair
SIGOPS continues to be a vibrant community of people with interests in “operating systems” in the broadest sense, including topics such as distributed computing, storage systems, security, concurrency, middleware, mobility, virtualization, networking, datacenter software, and Internet services. We sponsor a number of top conferences, provide travel grants to students, present yearly awards, disseminate timely information, and collaborate with other SIGs on important programs for computing professionals.
Highlights from the past year include:
* The current officers agreed to have their terms extended by two years, through June 2011, thereby avoiding the need for new elections. The officers remain Doug Terry as Chair, Frank Bellosa as Vice Chair, Jeanna Matthews as Treasurer (and Editor of our newsletter), and Stefan Saroiu as the Information Director.
* Plans for SOSP, our flagship conference, were completed by Jeanna Mathews, the General Chair, and Tom Anderson, the Program Chair. This conference will be held in Big Sky, Montana, on October 11-14, 2009. New this year, a number of SIGOPS-sponsored workshops are being held in conjunction with SOSP, including workshops on cloud computing, storage and file systems, power aware computing, systems for developing regions, and diversity.
* Our European chapter elected new officers and held its annual EuroSys conference in Nuremberg, Germany on April 1-3; Gustavo Alonso was elected Chair with Tim Harris as Vice Chair.
* A new ACM Symposium on Cloud Computing that is jointly sponsored by SIGMOD and SIGOPS was proposed with plans to co-locate the first instance with SIGMOD 2010.
* The new SIGOPS web site, http://www.sigops.org/, went live with a major redesign thanks to Stefan Saroiu.
Two of the major ACM awards were presented this year to members of the SIGOPS community:
* Barbara Liskov received the A. M. Turing Award.
* Dawson Engler received the Grace Murray Hopper Award.
SIGOPS presents several awards on a yearly basis, and here are this past year’s recipients:
* Peter Druschel received the Mark Weiser Award, for creativity and innovation in operating systems research, at the Symposium on Operating Systems Design and Implementation (OSDI), which is sponsored by USENIX in cooperation with SIGOPS.
* The SIGOPS Hall of Fame Award, which recognizes the most influential systems papers, was presented to five papers:
o John H. Howard, Michael L. Kazar, Sherri G. Menees, David A. Nichols, M. Satyanarayanan, Robert N. Sidebotham, and Michael J. West, “Scale and Performance in a Distributed File System,” Proceedings of the Eleventh ACM Symposium on Operating Systems Principles (SOSP), November 1987, Austin TX, USA.
o Richard Rashid, Avadis Tevanian, Michael Young, David Golub, Robert Baron, David Black, William Bolosky, and Jonathan Chew, “Machine-Independent Virtual Memory Management for Paged Uniprocessor and Multiprocessor Architectures,” Proceedings of the Second Architectural Support for Programming Languages and Operating Systems (ASPLOS), October 1987, Palo Alto CA, USA.
o Andrew D. Birrell, Roy Levin, Roger M. Needham, and Michael D. Schroeder, “Grapevine: An Exercise in Distributed Computing,” Proceedings of the Eighth ACM Symposium on Operating Systems Principles (SOSP), December 1981, Pacific Grove CA, USA.
o Edouard Bugnion, Scott Devine, and Mendel Rosenblum, “Disco: Running Commodity Operating Systems on Scalable Multiprocessors,” Proceedings of the Sixteenth ACM Symposium on Operating Systems Principles (SOSP), October 1997, Saint Malo, France.
o Andre Bensoussan, Charlie T. Clingen, Robert C. Daley, “The Multics Virtual Memory: Concepts and Design,” Communications of the ACM 15(5):308-318, May 1972.
Professional SIGOPS membership dues remain at $15, and student membership is just $5 per year. We started offering a “member plus” package (for $20) for those who wish to continue receiving printed proceedings for the SOSP, ASPLOS, and EuroSys conferences; thus far, demand for this package is low, but this could partly stem from it not being well advertised.
Several widely respected conferences were sponsored or co-sponsored by SIGOPS this year. This includes the International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), co-sponsored with SIGARCH and SIGPLAN, the Symposium on Principles of Distributed Computing (PODC), co-sponsored with SIGACT, the International Conference on Embedded Networked Sensor Systems (SenSys), co-sponsored with SIGCOMM, SIGARCH, SIGBED, SIGMOBILE, and SIGMETRICS, the International Conference on Virtual Execution Environments (VEE), co-sponsored with SIGPLAN, and the EuroSys Conference.
SIGOPS encourages participation in conferences and career building activities for young members of the community. For example, substantial funding was provided this year as travel grants for students to attend conferences and diversity workshops, with many of these grants targeted at women and underrepresented minorities.
SIGOPS also publishes a quarterly newsletter, Operating Systems Review, which focuses on specific research topics or research institutions, manages an electronic mailing list, which is used for announcements, and maintains a web site.
Like other SIGs, SIGOPS faces the issue of membership retainment and growth. Several activities are underway. One is providing travel grants to conferences so that students can experience the benefits of belonging to the SIGOPS community. Another is providing the opportunity for members of our European chapter to automatically become SIGOPS members through a joint registration process. Third, we have set low yearly membership dues.
Another issue of importance is global outreach. A few years ago, SIGOPS started a yearly systems conference in Europe called EuroSys, which has developed a good reputation and is doing well. We are now exploring holding conferences in other parts of the world, particularly Asia and South America.
SIGPLAN FY '09 Annual Report
July 2008—June 2009
Submitted by: Kathleen Fisher, Past Chair
SIGPLAN had another very strong year with excellent attendance at conferences and workshops. We have continued to see high rates of student participation. Conference submissions rates have remained high. The SIGPLAN Executive Committee reported on the state of SIGPLAN at the annual open meeting at PLDI on June 17, 2009. The slides for the open meeting are available on the web at http://www.sigplan.org/OpenMeetingPresentations.htm. In general, the SIGPLAN web site (http://www.acm.org/sigplan) contains useful information on SIGPLAN activities and policies.
The financial state of SIGPLAN is strong because our conferences do well financially. We budget them conservatively to break even, which generally results in small profits for each conference. OOPSLA struggled last year because of a substantial drop in attendees caused both by the struggling economy and shifting interests among practitioners. The steering committee for the conference is addressing this change in several ways. First, they are reducing their estimates for future attendance based on the most recent year, and they are exploring ways to more accurately reflect in the name of the meeting its scope, which has grown beyond objects. In the future, the research track will retain the name OOPSLA but the umbrella conference will change its name to SPLASH.
We have a decreasing number of members who receive physical copies of SIGPLAN Notices each month (print members), but a growing number of whom receive the newsletter electronically (electronic members). We lose roughly $20 each year per print member but break even on electronic members.
SIGPLAN's financial health has allowed us to partially fund a number of initiatives to help the community, including (1) a summer school for Ph.D. students, (2) a workshop for students from underrepresented groups considering graduate school in programming languages, operating systems, or architecture, and (3) the Educator's Symposium at OOPSLA. We describe these activities in more detail below.
For Ph.D. students, SIGPLAN provided $5,000 in scholarship money to support attendance at a summer school on "Theory and Practice of Language Implementation” held July 23-31 at the University of Oregon. The school consists of 30 tutorial-level lectures from nine world-class researchers over eight days with 41 participants. More information on the workshop is available from: http://www.cs.uoregon.edu/research/summerschool/summer09/.
In addition, SIGPLAN provided $5,000 to support student attendance at the CRA-W/CDC Programming Languages, Operating Systems and Architecture Workshop. While the workshop targeted pre-Ph.D. women and other under-represented groups, anyone could attend. The workshop included technical material, mentoring advice, and panels discussions led by eighteen academic (13) and industry (5) leaders, as well as other activities such as a poster session and a writing practicum for the thirty-six students who attended (33 women and 3 men). Workshop organizers received 86 applicants, and accepted 40, offering some students the possibility to attend without funding support. The workshop took place March 7-8, 2009 at the ASPLOS conference in Washington D.C. Other sponsors for the meeting included CRA-W, CDC, and IBM. More information about the workshop is available from: http://www.cs.utexas.edu/users/mckinley/plosa-craw-2009/.
The Educators' Symposium at OOPSLA strives to improve the quality of object-oriented education and give educators a voice in the premier conference for object-oriented research. In support of this program, SIGPLAN gave $15,000 to fund travel scholarships for educators from two- and four-year colleges to attend the conference and the Educators' Symposium.
In addition, SIGPLAN runs the PAC Program, which provides scholarships to attend conferences to students, members who need travel companions (parents of small children and people with disabilities) to attend events, and members who often have to travel extreme distances to attend SIGPLAN meetings (ie., people in Australia, Asia, etc). In 2009, the PAC committee made awards to 64 individuals for a total of $55,000. The PAC workflow website (http://pac.elis.ugent.be/) continues to be enormously useful in managing the program.
SIGPLAN made the following awards in FY 2009.
2009 SIGPLAN Programming Languages Achievement Award: Rod Burstall (presented at ICFP in Edinburgh, Scotland). The award includes a cash prize of $5,000.
2009 SIGPLAN Distinguished Service Award: Mamdouh Ibrahim (presented at OOPSLA in Orlando, FL). The award includes a cash prize of $2,500.
2008 SIGPLAN Outstanding Doctoral Dissertation Award. Two awards were given: Michael Bond for his thesis "Diagnosing and Tolerating Bugs in Deployed Systems" and Viktor Fafeiadis for his thesis "Modular Fine-Grained Concurrency Verification" (both presented at PLDI in Dublin, Ireland). This award includes a cash prize of $1,000 for each winner.
Most Influential 1998 ICFP Paper Award to Lennart Augustsson for "Cayenne--- A Language with dependent types" (presented at ICFP in Victoria Island, Canada). The award includes a cash prize of $1,000.
Most Influential 1998 OOPSLA Paper Award to David G. Clarke, John M. Potter, and James Noble for "Ownership Types for Flexible Alias Protection" (presented at OOPSLA in Nashville, TN). The award includes a cash prize of $1,000.
Most Influential 1999 POPL Paper Award to Andrew C. Myers for "JFlow: Practical Mostly-Static Information Flow Control" (presented at POPL in Savannah, GA). The award includes a cash prize of $1,000.
Most Influential 1999 PLDI Paper Award to Matteo Frigo for "A Fast Fourier Transform Compiler" (presented at PLDI in Dublin, Ireland). The award includes a cash prize of $1,000.
2008 John Vlissides Award to Ciera Jaspan, presented at OOPSLA in Nashville, TN
Information about SIGPLAN awards, including citations for all the awards above, is available from the web page: http://www.sigplan.org/awards.htm.
The SIGPLAN CACM Research Highlights Nomination Committee, chaired by Ben Zorn, nominated nine papers for consideration by the CACM Research Highlights editorial board. In recognition of the honor of being so chosen, these papers are listed on the SIGPLAN web site. Of these nine (3 from PLDI, 1 from LCTES, 1 from PPoPP, 3 from POPL, and 1 from ICFP), two have appeared in CACM: "Formal Certification of a Compiler Back-end" (retitled "Formal Verification of a Realistic Compiler") and "Scalable Synchronous Queues." More information about the committee is available from the web: http://www.sigplan.org/CACMNominationPolicy.htm.
The SIGPLAN EC set up an Education Board to continue the work outlined in the 2008 SIGPLAN Curriculum Workshop. Board members include: Kim Bruce (chair, Pomona College),
Kathi Fisler (WPI), Steve Freund (Williams College), Dan Grossman (University of Washington),
Matthew Hertz (Canisius College), Gary Leavens (University of Central Florida), Andrew Myers (Cornell University), and Larry Snyder (University of Washington). Participants of the Workshop gave a panel presentation about the results of the workshop at SIGCSE in March 2009.
Key issues for next 2-3 years
Growing the number of SIGPLAN members continues to be a focus of the EC. We have taken several actions to encourage membership in SIGPLAN. These include allowing members to renew their membership when they register for conferences and giving automatic memberships to students that receive travel grants from SIGPLAN.
An issue of concern to many members (particularly academic members) is the inclusion of a programming language material in the ACM Curriculum standard. SIGPLAN's Education Board is intended to work on this problem.
SIGSAC FY’09 Annual Report
July 2008- June 2009
Submitted by: Virgil D. Gligor, Past Chair
SIGSAC CONFERENCES AND WORKSHOPS
SIGSAC’s mission is to develop the information security profession by sponsoring high quality research conferences and workshops. SIGSAC’s first sponsored event was the ACM Conference on Computer and Communications Security (CCS) in 1993. Since then, it has been held twice in Fairfax, Virginia (1993, 1994), and once each in New Delhi, India (1996), Zurich, Switzerland (1997), San Francisco (1998), Singapore (1999), Athens, Greece (2000) and Philadelphia (2001). In the period 2002-2008, CCS has been held in the Washington, DC metropolitan area (i.e., In Alexandria, VA). In November 2009, CCS will be held in Chicago.
From its inception, CCS has established itself as among the very best research conferences in security. This reputation continues to grow and is reflected in the high quality and prestige of the program. In 2009, the CCS acceptance rate was 18% (i.e., 58 papers accepted from 315 submitted). Undoubtedly, CCS remains one of the most competitive conferences in the area. As in previous years, the program of CCS includes several co-located workshops. We expect that the CCS submission rate and attendance to remain high in future years.
Starting in 2001, SIGSAC launched a second major annual conference called the ACM Symposium on Access Control Models and Technologies (SACMAT). The first three meetings were held in Chantilly, Virginia; Monterey, California; and Como, Italy. From 2002, SACMAT meetings have been co-located with the IEEE International Workshop on Policies for Distributed Systems and Networks. The 2006 SACMAT was held in Lake Tahoe, California, in 2007 in Nice – Sophia Antipolis, France, in 2008 in Estes Park, Colorado. In 2009 SACMAT was held in Stresa, Italy. The symposium attracted 75 submissions of which 24 papers were accepted for presentation at the conference (a 32% acceptance rate).
In 2009, SIGSAC held the fourth instance of its third major conference, namely ACM Symposium on Information, Computer and Communications Security (AsiaCCS), in Sydney, Australia, on March 10-12, 2009. The first AsiaCCS was held in Taipei, Taiwan, on March 21-23, 2006, the second was held in Singapore on March 22-24, 2007, and the third in Tokyo, Japan, on March 18-20, 2008. This year, AsiaCCS received 147 submissions and accepted 33 regular papers and 7 short papers (a 22% acceptance rate for regular papers). This suggests that there is sustained interest in the information security area outside North America. Next year, ASIA CCS will be held in Beijing, China.
SIGSAC launched its fourth major conference, on Wireless Network Security (WISEC), in Alexandria, Virginia, on March 31-April 2, 2008. This conference merged two successful ACM workshops, namely WiSe (held in conjunction with Mobicom) and SASN (held in conjunction with CCS) in the US, and a successful European workshop (ESAS) held in conjunction with ESORICS in Europe. This year, WISEC was held in Zurich, Switzerland on March 16-19, 2009, and received 107 submissions and accepted 14 regular papers and 14 short papers (a 13% acceptance rate for regular papers). The location of this conference alternates between US and Europe every other year. Next year, WISEC will be held at Stevens Institute of Technology in Hoboken, New Jersey.
2. SIGSAC PUBLICATION INITIATIVES
ACM Transactions on Information and Systems Security (TISSEC) remains our major journal venue for research publications. We do not expect to sponsor another journal for the foreseeable future.
SIGSAC SPECIAL PROJECTS
Additional projects have not been initiated for 2008-2009. We do not anticipate that SIGSAC will start new conferences for the foreseeable future.
In 2008, SIGSAC offered again its two annual awards: SIGSAC Outstanding Innovation Award and SIGSAC Outstanding Contribution Award. The 2008 SIGSAC Outstanding Innovation Award was given to Professor Dorothy Denning of the Naval Postgraduate School, and the 2008 SIGSAC Outstanding Contribution Award was given to Professor Ravi Sandhu of the University of Texas at Arlington.
The two SIGSAC awards started in 2005. The 2005 Outstanding Innovation Award was given to Dr. Whitfield Diffie of SUN Microsystems, and the Outstanding Contribution Award was given to Dr. Peter G. Neumann of SRI International. In 2006, the Outstanding Innovation Award was given to Dr. Michael Schroeder of Microsoft Research and the Outstanding Contribution Award was given to Dr. Eugene Spafford of Purdue University. The 2007 Outstanding Innovation Award was given to Dr. Martin Abadi of the University of California, Santa Cruz (and Microsoft Research) and the Outstanding Contribution Award was given to Professor Sushil Jajodia of George Mason University.
5. ACM DIGITAL LIBRARY
ACM digital library has become an important source of revenue for all SIGs. With the addition of several workshop proceedings, SIGSAC received a healthy share of the total revenue. SIGSAC will seek new ways to add to the library’s content (such as collecting speakers’ slides and videos of conference invited talks, tutorials, and paper presentations) to strengthen and broaden its appeal to all subscribers.
6. VIABILITY REVIEW
ACM evaluates the viability of each of its Special Interest Groups every four years, and this year
was SIGSAC’s turn to be reviewed. The ACM SIG Board found SIGSAC to be viable for another
four years. The SIGSAC budget reached a record level: at the end of 2008 the discretionary funds
exceeded $ 220 K representing an increase of approximately 200% over 2005. By the end of 2009,
we expect that this figure will represent a 300% increase over 2005.
7. SIGSAC ELECTIONS
At CCS 2007, the SIGSAC membership approved the policy that any SIGSAC officer can serve for
at most two, two-year terms. This policy is intended to demonstrate the depth of leadership talent
within the ranks of the SIGSAC membership, and to give dedicated individuals an opportunity to
serve the profession in leadership roles.
This year, a nominating committee comprised Professor Paul Van Oorschot of Carleton University,
Canada (Chair), Professor David Basin of ETH Zurich, Switzerland, and Professor Michael Reiter of
University of North Carolina, USA. The committee selected a roster of eminently qualified
candidates for all officer positions. After a very close election held by ACM, the following individuals
Professor Elisa Bertino of Purdue University (Chair),
Professor Vijay Atluri of Rutgers University (Vice-Chair), and
Professor Peng Ning of North Carolina University (Treasurer).
We all wish the new officers all the best for their tenure in service of ACM and SIGSAC.
SIGSAC is in excellent shape both in terms of successful technical activities and financially. We expect that, in the coming years, SIGSAC will continue to sustain and build on existing activities.
SIGSAM FY’09 Annual Report
July 2008- June 2009
Submitted by: Mark Giesbrecht, Past Chair
SIGSAM Communications in Computer Algebra
The Communications in Computer Algebra has been published since 1965 (previously SICSAM Bulletin and SIGSAM Bulletin). After a number of years of being behind by up to two issues, the CCA is now up-to-date and publishing 4 issues per year on time. Two years ago we switched to printing and mailing only two double-issues per year, with the four electronic issues appearing through the digital library and SIGSAM website. This is consistent with the wishes of many of our members, and is financially beneficial.
Conference and Event Sponsorship
ISSAC. The International Symposium for Symbolic and Algebraic Computation (ISSAC) for 2008 was held at the Research Institute for Symbolic Computation (RISC), at the Johannes Kepler University, in Austria. While both RISC and SIGSAM worked hard to achieve a co-sponsorship agreement, it ultimately could not be worked out. However, the organizers of ISSAC 2008 kindly transferred revenue of 1000€ to SIGSAM for future ISSAC conferences. Proceedings were published by ACM Press, and digital proceedings were distributed on DVDs to SIGSAM members.
ISSAC 2009 was held at the Korean Institute of Advanced Studies (KIAS) in Seoul, South Korea from July 28-31, 2009. SIGSAM successfully established a Joint Sponsorship Agreement (with KIAS) and hope that this will be a template for future ISSACS where full ACM sponsorship is not possible or appropriate.
SIGSAM reserves a portion of its funds (referred to as the ISSAC contingency fund, and tracked by the SIGSAM treasurer to support the ISSAC conference series. The level of this contingency fund is currently USD 7070.99. This level reflects income and expenses for meetings up to and including ISSAC 2008.
ECCAD, SNC, CICM, PLMMS. SIGSAM sponsored the East Coast Computer Algebra Day (ECCAD’09), in cooperation with ACM, on May 2, 2009, at the University of Rhode Island. In Summer 2009, SIGSAM also sponsored SNC’09 (the Symbolic Numeric Computing conference) in cooperation with ACM, and proceedings were published through ACM Press. In Summer 2009, SIGSAM also sponsored CICM 2009, in co-operation with ACM, at Grand Bend, Ontario, Canada from July 5-12, 2009. This federated meeting consisted of two international conferences (Calculemus and MKM), as well as the workshops (CCA, DML, MathUI, OpenMath, PenMath, and the W3C Math Working Group meeting).