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 information to members electronically and through our web site, and collaborate with other SIGs on important programs for computing professionals.
The SIGOPS officers are 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. Their terms expire in June 2011, and so new SIGOPS elections will be held next spring.
Highlights from the past year include:
The ACM Symposium on Operating Systems Principles (SOSP), our flagship conference, was held in Big Sky, Montana, on October 11-14, 2009 with a record attendance of 565. The conference was under the leadership of Jeanna Mathews, the General Chair, and Tom Anderson, the Program Chair. Nine SIGOPS-sponsored workshops were held in conjunction with SOSP, including workshops on cloud computing, storage and file systems, power aware computing, systems for developing regions, and diversity. The next SOSP is being planned for October 2011 in Cascais, Portugal with Ted Wobber as the General Chair and Peter Druschel as the Program Chair.
A new annual ACM Symposium on Cloud Computing (SOCC) was started with joint sponsorship from SIGMOD and SIGOPS, and the first instance was held in Indianapolis, Indiana in June following the SIGMOD 2010 conference. This new conference attracted over 200 attendees. SOCC 2011 is being co-located with SOSP in Portugal.
The annual SIGOPS Asia-Pacific Workshop on Systems (APSys) was started, and the first instance is planned for August 30, 2010 in New Delhi, India, immediately before the SIGCOMM 2010 conference. The goal of this new workshop is to encourage and catalyze systems work in the Asia-Pacific region by providing a forum for systems researchers and practitioners across the world to present their work in computer systems and for locals to meet, interact, and collaborate with top researchers in the field.
SIGOPS members produced the Cloud Computing Tech Pack, the first in a series of integrated learning packages on specific topics designed especially for practitioners and managers.
SIGOPS presents several awards on a yearly basis, and here are this past year’s recipients:
Eric Brewer received the Mark Weiser Award for creativity and innovation in operating systems research.
Tushar Chandra, Vassos Hadzilacos, and Sam Toueg received the Edsger W. Dijkstra Prize in Distributed Computing.
The SIGOPS Hall of Fame Award, which recognizes the most influential systems papers, was presented to three papers:
Cary G. Gray and David R. Cheriton, Leases: An Efficient Fault-Tolerant Mechanism for Distributed File Cache Consistency, Proceedings of the Twelfth ACM Symposium on Operating Systems Principles (SOSP), December 1989, Litchfield Park, AZ, USA.
Butler W. Lampson and David D. Redell, Experience with processes and monitors in Mesa, Proceedings of the Seventh ACM Symposium on Operating Systems Principles (SOSP), December 1979, Pacific Grove, CA, USA.
Nancy P. Kronenberg, Henry M. Levy, and William D. Strecker, VAXclusters: A Closely-Coupled Distributed System, Proceedings of the Tenth AMC Symposium on Operating Systems Principles (SOSP), December 1985, Orcas Island, USA, USA.
Programs and Services
Professional SIGOPS membership dues remain at $15, and student membership is just $5 per year. We offer 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 EuroSys Conference (with our European SIGOPS Chapter), 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 new Symposium on Cloud Computing (SOCC), co-sponsored with SIGMOD.
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: http://www.sigops.org/.
Although the number of SIGOPS members is substantially lower than ten years ago, this is not a serious concern for our organization. We still have a committed core of researchers and volunteers, have a healthy fund balance, and are able to continue sponsoring a broad spectrum of popular conferences. Our challenge is to convince active members of the community to become SIGOPS members, to increase student memberships, to reach out to practitioners, and to expand our global outreach. Given our low yearly membership dues, financial concerns should not be a barrier to membership. We simply need to make it easy for new members to join and demonstrate how their involvement strengthens our community. By providing travel grants to conferences, we allow students to experience the benefits of belonging to the SIGOPS family. We also provide the opportunity for members of our European chapter to automatically become SIGOPS members through a joint registration process. Based on our success with EuroSys, a yearly systems conference in Europe, we are now exploring holding conferences and workshops in other parts of the world, particularly Asia, Australia, and South America. We expect the new APSys workshop to become a yearly event in the Asia-Pacific region and to lead to the formation of a SIGOPS Chapter with the long-term goal of highlighting and supporting systems research in the region.
SIGPLAN FY '10 Annual Report
July 2009—June 2010
Submitted by: Philip Wadler, 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 in Toronto on Monday 7 June 2010. 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.
SIGPLAN has a healthy rotation of conferences between the United States and Europe. We are beginning to also see conferences in Asia. PPoPP took place in Bangalore in January 2010, ICFP is planned for Tokyo in September 2011, and PLDI is considering locating in China in 2012.
OOPSLA continues to face turbulence while adjusting to a changing world. For many years, OOPSLA attracted major industrial participation and earned substantial income for SIGPLAN---SIGPLAN's
healthy surplus can be attributed largely to OOPSLA earnings. In recent years, OOPSLA has retained a strong academic reputation but seen declining industrial participation. The SIGPLAN and OOPSLA
leadership believe it is desirable to retain a venue that attracts industry participation. This year the collection of events centred around OOPSLA has rebranded itself as SPLASH, retaining the name
OOPSLA for the conference at its centre. OOPSLA broke even in 2008 but suffered substantial losses in 2009. This year considerable attention was paid to revamping the budget structure of SPLASH, for
which we thank its general chair William Cook. The SIGPLAN executive and OOPSLA leadership have been in close communication throughout the year and this will continue until SPLASH has reached a stable footing.
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). Previously, our pricing structure broke even for online members, but lost about $45 per print member. This year, after surveying the membership, SIGPLAN raised its rate for print members by $45. The new prices reflect the costs of printing and postage, based on current print runs. We expect print membership may further decline, in which case reduced print runs will cause a further increase in per unit cost. By setting the costs as low as possible, we aim to permit circulation to settle slowly to its natural level. It may be a while before we reach the appropriate balance, as print membership decreases and printing costs increase.
This year SIGPLAN funded a number of initiatives to help the community, including our PAC Program, a summer school for PhD students, and the OOPSLA (now SPLASH) Educator's Symposium.
The PAC Program 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 (e.g., people in Australia and Asia). In 2010, the PAC committee made awards to 76 individuals for a total of $67,000. This year a
supplement to the PAC basic budget was obtained by a generous support from NSF and Google, and this money was handled and distributed according to the PAC guidelines and using the standard PAC
infrastructure. The PAC workflow website (http://pac.elis.ugent.be/) continues to be enormously useful in managing the program.
For Ph.D. students, SIGPLAN provided $5,000 in scholarship money to support attendance at a summer school on "Logic, Languages, Compilation, and Verification" held 15--25 June 2010 at the University of Oregon. The school consists of 39 tutorial-level lectures from nine world-class researchers over eleven days with 86 participants. In addition to SIGPLAN, sponsors of the school included the NSF, Google, Microsoft Research, INRIA, Jane Street Capital, and Galois. More information on the workshop is available from: http://www.cs.uoregon.edu/research/summerschool/summer10/.
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 $5,000 to fund travel scholarships for educators from two- and four-year colleges to attend the conference and the Educators' Symposium.
SIGPLAN made the following awards in FY 2010.
2010 SIGPLAN Programming Languages Achievement Award: Gordon Plotkin
(announced at PLDI in Toronto). The award includes a cash prize of $5,000.
2010 SIGPLAN Distinguished Service Award: Jack W. Davidson
(presented at PLDI in Toronto). The award includes a cash prize of $2,500.
2010 SIGPLAN Programming Languages Software Award: Chris Lattner for the LLVM
Compiler Infrastructure (announced at PLDI in Toronto).
The award includes a cash prize of $2,500. This is the first year this award was given.
2009 SIGPLAN Outstanding Doctoral Dissertation Award: two awards were given,
to Akash Lal, University of Wisconsin, for "Interprocedural Analysis and the Verification of
Concurrent Programs" and to
William Thies, Massachusetts Institute of Technology, for "Language and Compiler Support
for Stream Programs" (both presented at PLDI in Toronto).
The award includes a cash prize of $1,000.
Most Influential 1999 ICFP Paper Award: to Malcolm Wallace and Colin Runciman for
"Haskell and XML: Generic combinators or type-based translation?"
(presented at ICFP in Edinburgh). The award includes a cash prize of $1,000.
Most Influential 1999 OOPSLA Paper Award to Bowen Alpern, C. R. Attanasio, Anthony
Cocchi, Derek Lieber, Stephen Smith, Ton Ngo, John J. Barton, Susan Flynn Hummel, Janice
C. Shepherd, and Mark Mergen for "Implementing Jalapeno in Java"
(presented at OOPSLA in Orlando). The award includes a cash prize of $1,000.
Most Influential 2000 POPL Paper Award to Luca Cardelli and Andrew D. Gordon for
"Anytime, Anywhere: Modal Logics for Mobile Ambients" (presented at POPL in Madrid).
The award includes a cash prize of $1,000.
Most Influential 2000 PLDI Paper Award to Vasanth Bala, and Evelyn Duesterwald,
Sanjeev Banerji for "Dynamo: A Transparent Dynamic Optimization System"
(presented at PLDI in Toronto). The award includes a cash prize of $1,000.
2009 John Vlissides Award to Tudor Dumitras
(presented at OOPSLA in Orlando). The award includes a cash prize of $2,000.
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 three additional papers for consideration by the CACM Research Highlights editorial board. More information about the committee is available from the web:
The SIGPLAN Education Board was formed in Spring 2009 to promote and develop programming-languages curricula, particularly for undergraduates. 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). This year, the Board created a short document broadly aimed at computer scientists titled, "Why Undergraduates Should Learn the Principles of Programming Languages." The Board has a new ACM-hosted web-site and blog, inviting comments on this and ongoing work: http://mt4.acm.org/educationboard/. Board member Dan Grossman has also been appointed the SIGPLAN representative to the ACM Education Council. The next goal is to specify a curriculum unit covering essential topics in functional programming.
Key issues for next 2-3 years
As mentioned above, the balance between print and online membership will continue to evolve, and we need to monitor the situation closely. Some of our members strongly value print membership, and we aim to keep price rises minimal so as to stabilize at the highest viable print membership while not asking online members to subsidize print. It has proven increasingly hard to locate material for SIGPLAN Notices, and we need to consider alternatives. We also plan to investigate a stronger online presence, perhaps through a blog.
Having initiated the Programming Language Software Award, the executive is now looking into initiating a new award for young researchers, perhaps named in honour of Robin Milner who passed away
An issue of continuing concern to many members is the inclusion of a programming language material in the ACM Curriculum standard. SIGPLAN's Education Board produced one document to this end
(see above), and is continuing to work on this problem. We also intend to explore whether the Education Board's document "Why Undergraduates Should Learn the Principles of Programming Languages" can serve as the basis for a white paper aimed at explaining the importance of programming languages to the broader community, including funding agencies and government.
SIGSAC FY’10 Annual Report
July 2009- June 2010
Submitted by: Elisa Bertino, SIGSAC 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 was held in Chicago and had 529 attendees which represents about a 29% increase in attendees from 2008. The 2010 CCS conference will be also held in Chicago on October 4-8.
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 2010, the CCS acceptance rate was 17% (i.e., 55 papers accepted from 325 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 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 in Stresa, Italy. The 2010 SACMAT was held in Pittsburgh, Pennsylvania. The symposium attracted 79 submissions of which 19 papers were accepted for presentation at the conference (a 24% acceptance rate).
In 2010, SIGSAC held the fifth instance of its third major conference, namely ACM Symposium on Information, Computer and Communications Security (AsiaCCS), in Beijing, China, on April 13-16, 2010. The first AsiaCCS was held in Taipei, Taiwan, on March 21-23, 2006, the second was held in Singapore on March 22-24, 2007, the third in Tokyo, Japan, from March 18-20, 2008, and the fourth in Sydney, Australia, from March 10-12, 2009. This year, AsiaCCS received 166 submissions and accepted 25 regular papers and 13 short papers yielding an acceptance rate of 15% for full papers and 23% for short papers. This suggests that there is sustained interest in the information security area outside North America. Next year, ASIA CCS will be held in Hong Kong, China, from March 22-24, 2011.
SIGSAC launched its fourth major conference, on Wireless Network Security (WISEC), in Alexandria, Virginia, from 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. In 2009, WISEC was held in Zurich, Switzerland. This year the conference was held in Hoboken, New Jersey, from March 22-24, 2010. The conference received 99 submissions. Of these, 9 submissions were chosen for presentation as full papers, with an acceptance rate of 9%. Twelve submissions were accepted for presentation as short papers, for an overall conference acceptance rate of 21%. The location of this conference alternates between US and Europe every other year. Next year, WISEC will be held in Hamburg, Germany, from June 14-17, 2011.
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
Two additional projects have started in 2010.
The first project is a conference focusing on data and applications security and privacy. With rapid global penetration of the Internet and smart phones and the resulting productivity and social gains, the world is becoming increasingly dependent on its cyber infrastructure. Criminals, spies and predators of all kinds have learnt to exploit this landscape much quicker than defenders have advanced in their technologies. Security and Privacy has become an essential concern of applications and systems throughout their lifecycle. Security concerns have rapidly moved up the software stack as the Internet and web have matured. The security, privacy, functionality, cost and usability tradeoffs necessary in any practical system can only be effectively achieved at the data and application layers. This new conference provides a dedicated venue for high-quality research in this arena, and seeks to foster a community with this focus in cyber security. The inaugural edition of the new annual ACM Conference on Data and Applications Security and Privacy (CODASPY 2011) will be held February 21-23 2011 in Hilton Palacio Del Rio, San Antonio, Texas. Professor Ravi Sandhu from the University of Texas at San Antonio will serve as general chair and Professor Elisa Bertino from Purdue University will serve as program chair.
The second project is the establishment of the SIGSAC Doctoral Dissertation Award for Outstanding PhD Thesis in Computer and Information Security. This annual award by SIGSAC will recognize excellent research by doctoral candidates in the field of computer and information security. The SIGSAC Doctoral Dissertation Award winner and up to two runners-up will be recognized at the ACM CCS conference. The award winner will receive a plaque, a $1,500 honorarium and a complimentary registration to the current year’s ACM CCS Conference. The runners-up each will receive a plaque. The award will be assigned starting from 2011.
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. The 2008 Outstanding Innovation Award was given to Professor Dorothy Denning of Naval Postgraduate School and the Outstanding Contribution Award was given to Professor Ravi Sandhu of the University of Texas at San Antonio.
The 2009 Outstanding Innovation Award was given to Dr. Jonathan Millen of The MITRE Corporation, and the Outstanding Contribution Award was given to Dr. Carl Landwehr of the University of Maryland.
5. ACM DIGITAL LIBRARY
The 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. ELECTIONS AND EXECUTIVE COMMITTEE
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.
Following the elections hold in 2009, the following officers started their terms of office on July 1, 2009:
Professor Elisa Bertino of Purdue University (Chair),
Professor Vijay Atluri of Rutgers University (Vice-Chair), and
Professor Peng Ning of North Carolina University (Treasurer).
According to the bylaws of SIGSAC, the executive committee starting from July 2009 consists of the elected officers and the previous SIGSAC Chair, Professor Virgil Gligor of CMU. The chair of the executive committee is Professor Elisa Bertino.
SIGSAC is in excellent shape both in terms of successful technical activities and finances. We expect that, in the coming years, SIGSAC will continue to sustain and build on existing activities.
SIGSAM FY’10 Annual Report
July 2009- June 2010
Submitted by: Jeremy Johnson, Chair
SIGSAM Communications in Computer Algebra
The Communications in Computer Algebra has been published since 1965 (previously SICSAM Bulletin and SIGSAM Bulletin). The CCA is published quarterly; however, only two double-issues are printed and mailed per year, with the four electronic issues appearing through the digital library and the SIGSAM website. The change to two rather than four printing was made to prevent delays and save money and is consistent with the wishes of many of our members.
After serving as co-editor, with Ilias S. Kotsireas, for many years Austin Lobo stepped down and was replaced by Manuel Kauers from RISC J. Kepler University of Linz, Austria. Manuel was previously on the six member editorial board. His vacated board position was filled by Lihong Zhi, Academia Sinica, Beijing, China.
Conference and Event Sponsorship
ISSAC. The International Symposium for Symbolic and Algebraic Computation (ISSAC) for 2009 was held at the Korean Institute of Advanced Studies (KIAS) in Seoul, South Korea from July 28-31. The conference was co-sponsored by ACM SIGSAM and KIAS, each with a 50% financial sponsorship. The conference received $57,792 in revenue, including a generous donation from KIAS, and had $55,176 in expenses for a net surplus of $2,616. Proceedings were published by ACM Press, and digital proceedings were distributed on DVDs to SIGSAM members. The distributed DVDs contained slides, with author approval, of all of the talks. Poster and Software demo abstracts were published in the CCA.
ISSAC 2010 was held July 25-28, 2010 at the Technische Universität München, in Munich Germany. ISSAC 2010 was sponsored in full by Fachgruppe Computeralgebra, in cooperation with ACM SIGSAM. The proceedings were published by ACM Press.
ISSAC 2011 will be held June 8-11, San Jose, CA. ISSAC will be part of the Federated Computing Research Conference. It will be fully sponsored by ACM.
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 and does not include surplus from ISSAC 2009.
ECCAD, PLMMS, PASCO. SIGSAM sponsored the East Coast Computer Algebra Day (ECCAD’10), in cooperation with ACM, on May 15, 2010, at Emory University in Atlanta Georgia. Poster abstracts from ECCAD’10 were published in CCA. In Summer 2010, SIGSAM sponsored a workshop on Programming Languages for Mechanized Mathematics Systems (PLMMS 2010), co-located with CICM (Conferences on Intelligent Computer Mathematics), in co-operation with ACM, at Paris France on July 8, 2010. Extended abstracts from this workshop were published in CCA. Also in the Summer of 2010, SIGSAM sponsored a conference on Parallel Symbolic Computation (PASCO 2010), in co-operation with ACM, in Grenoble France from July 21-23. Proceedings from this conference were published by ACM Press in the ACM Digital library.
SIGSAM sponsors prizes in computer algebra and nominates our best researchers for top-level awards and prizes.
ISSAC Awards. SIGSAM sponsors the ISSAC Distinguished Paper and Distinguished Student Author prizes. This is from an endowment with a value of USD 40,662 as of March 1, 2009.
The ISSAC 2009 Distinguished Paper award was given to Chris Brown, Department of Computer Science, United States Naval Academy, Annapolis, Maryland, USA, for the paper “Fast Simplifications for Tarski Formulas”.
The ISSAC 2009 Distinguished Student Author Award was given to
Wolf Daniel Andres, RWTH Aachen, Germany and Jorge Martìn Morales, University of Zaragoza, for the paper “Principal Intersection and Bernstein-Sato Polynomial of Affine Variety’’ (with V. Levandovskyy, RWTH).
Yong Jae Cha, Florida State University, USA, for the paper “Liouvillian Solutions of Irreducible Linear Difference Equations’’ (with M. van Hoeij, Florida State University).
Luca De Feo, 1 École Polytechnique and INRIA, France for the paper “Fast arithmetics in Artin-Schreier towers over finite fields’’ (with Eric Schost, ORCCA and CSD, The University of Western Ontario, London, ON Canada).
The ISSAC 2010 Distinguished Paper award was given to Ioannis Emiris, Bernard Mourrain and Elias Tsigaridas for the paper “The DMM bound: multivariate (aggregate) separation bounds.”
The ISSAC 2010 Distinguished Student Author Award was given to Pierre-Jean Spaenlehauer for the paper “Computing Loci of Rank Defects of Linear Matrices using Gröbner Bases and Applications to Cryptology” (with Jean-Charles Faugčre and Mohab Safey El Din).
Jenks Memorial Prize. SIGSAM also sponsors and administers the ACM SIGSAM Richard Dimick Jenks Memorial Prize for Excellence in Software Engineering applied to Computer Algebra. The prize was last given out in 2008 and was awarded to “The GAP Group". The prize will be given again at the 2011 ISSAC conference. This award is granted from an endowment with a value of USD 27,285 as of March 1, 2009.
ACM Fellow. SIGSAM successfully nominated Erich Kaltofen, Professor of Mathematics from NCSU for ACM Fellow for contributions to symbolic and algebraic computation, algebraic algorithms and complexity theory.
Transactions on Mathematical Software
SIGSAM has a seat on the editorial board of the ACM Transactions on Mathematical Software (TOMS). This position is currently held by Gene Cooperman of Northeastern University (USA); however, his term has completed and several candidates are being considered for his replacement.
At the SIG Board meeting on March 27, 2009, SIGSAM was found to be viable and given a renewal for the standard four-year period. For the previous two renewals, SIGSAM had only been given two-year renewals.
The current ACM/SIGSAM officers requested that they remain for a second term. The reason for the extension was the feeling that a two year term was insufficient, given the start up cost, to accomplish the goals they put forth in their election.
As of June 30, 2010, SIGSAM had 346 members, up from slightly from 292 in June 2009. The membership increase was largely due to providing membership to all non-SIGSAM members attending ISSAC 2009 will be given SIGSAM, a conscious effort to increase membership in our main target audience.
SIGSAM Advisory Board
The Advisory Board advises the Chair on matters of interest to SIGSAM. It consists of the officers, the Past Chair, the newsletter Editor(s) and up to ten Members at Large elected by ballot by the members of SIGSAM at the Annual General Meeting. Two members at large will be replaced at the end of 2010.
The following financial report was prepared by Agnes Szanto (SIGSAM Treasurer).
Revenue and Expenses for the 2009-10 Fiscal Year
Estimated revenue and expenses for the 2009-10 fiscal year are as follows. The figures given below are based on currently available data from the ACM Financial Management Reporting System. The revenue/expenses of the ISSAC 2009 conference are preliminary estimates only.
Required Fund Balance
ACM has set a target fund balance for each SIG of the sum of 50% of organization expenses and 40% of conference expenses. For the 2009-10 fiscal year this amounts to $18,350. If the above estimates are accurate then we are well above the required amount, by about $36,000. For the 2010-11 fiscal year the required balance decreases to $10,220, due to no conference expenses next year.
We inherited a financially robust SIGSAM, with an opening balance of over $47,000, well above what is minimally required, thanks to the fiscally conservative policies of our previous leaderships. SIGSAM was financially successful also during the 2009-10 fiscal year, adding another almost $7,000 to the balance, due in part to increased membership revenues, reductions in operational expenses, and an extremely successful ISSAC conference with generous external funding from KIAS and Maple. As a result, there is a significant surplus for the 2009-10 fiscal year.
SIGSIM FY’10 Annual Report
July 2009- June 2010
Submitted by: Osman Balci, Chair