Engaging with Climate Change: Possible Steps for SIGPLAN
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
On Invariant Synthesis for Parametric Systems
On Invariant Synthesis for Parametric Systems Dennis Peuter and Viorica Sofronie-Stokkermans Universit¨at Koblenz-Landau, Koblenz, Germany {dpeuter,sofronie}@uni-koblenz.de May 30, 2019 Abstract We study possibilities for automated invariant generation in parametric systems. We use (a refinement of) an algorithm for symbol elimination in theory extensions to devise a method for iteratively strengthening certain classes of safety properties to obtain invariants of the system. We identify conditions under which the method is correct and complete, and situations in which the method is guaranteed to terminate. We illustrate the ideas on various examples. 1 Introduction In the verification of parametric systems it is important to show that a certain property holds for all states reachable from the initial state. One way to solve such problems is to identify an inductive invariant which entails the property to be proved. Finding suitable inductive invariants is non-trivial – the problem is undecidable in general; solutions have been proposed for specific cases, as discussed in what follows. In [Kap06], Kapur proposes methods for invariant generation in theories such as Presburger arithmetic, real closed fields, and for polynomial equations and inequations with solutions in an algebraically closed field. The main idea is to use templates for the invariant (polynomials with undetermined coefficients), and solve constraints for all paths and initial values to determine the coefficients. A similar idea was used by Beyer et al. [BHMR07] for constraints in linear real or rational arithmetic; it is shown that if an invariant is expressible with a given template, then it will be computed. Symbol elimination has been used for interpolation and invariant generation in many papers. -
SIGOPS Annual Report 2012
SIGOPS Annual Report 2012 Fiscal Year July 2012-June 2013 Submitted by Jeanna Matthews, SIGOPS Chair Overview SIGOPS is 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, cloud computinG, 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 collaborate with other SIGs on important programs for computing professionals. Officers It was the second year for officers: Jeanna Matthews (Clarkson University) as Chair, GeorGe Candea (EPFL) as Vice Chair, Dilma da Silva (Qualcomm) as Treasurer and Muli Ben-Yehuda (Technion) as Information Director. As has been typical, elected officers agreed to continue for a second and final two- year term beginning July 2013. Shan Lu (University of Wisconsin) will replace Muli Ben-Yehuda as Information Director as of AuGust 2013. Awards We have an excitinG new award to announce – the SIGOPS Dennis M. Ritchie Doctoral Dissertation Award. SIGOPS has lonG been lackinG a doctoral dissertation award, such as those offered by SIGCOMM, Eurosys, SIGPLAN, and SIGMOD. This new award fills this Gap and also honors the contributions to computer science that Dennis Ritchie made durinG his life. With this award, ACM SIGOPS will encouraGe the creativity that Ritchie embodied and provide a reminder of Ritchie's leGacy and what a difference a person can make in the field of software systems research. The award is funded by AT&T Research and Alcatel-Lucent Bell Labs, companies that both have a strong connection to AT&T Bell Laboratories where Dennis Ritchie did his seminal work. -
About Technews About SIG Newsletters
PRINT AND ONLINE ADVERTISING OPPORTUNITIES About TechNews About SIG Newsletters TechNews is an email digest of computing and technology ACM’s 37 Special Interest Groups (SIGs) represent news gathered from leading sources; distributed Monday, the major disciplines of the dynamic computing fi eld. Wednesday, and Friday to a circulation of over 105,000 ACM’s SIGs are invested in advancing the skills of their subscribers. Its concise summaries are perfect for busy members, keeping them abreast of emerging trends and professionals who need and want to keep up with the driving innovation across a broad spectrum of computing latest industry developments. disciplines. TechNews is regularly cited as one of ACM’s most valued As a member benefit, many ACM SIGs provide its members benefits and is one of the best ways to communicate with with a print or online newsletter covering news and events ACM members. within the realm of their fields. Circulation SIGACCESS: ACM SIGACCESS Newsletter* SIGACT: SIGACT News Listserv 105,000 SIGAda: Ada Letters SIGAI: AI Matters* Online Advertising Opportunities SIGAPP: Applied Computing Review* Right-hand sidebar position SIGBED: SIGBED Review* Size Dimensions Rates SIGBio: ACM SIGBio Record* Top Banner 468 x 60 IMU $6500/Month* SIGCAS: Computers & Society Newsletter* Skyscraper 160 x 600 IMU $6000/Month* SIGCOMM: Computer Communication Review* Square Ad 160 x 160 IMU $2500/Month* SIGCSE: SIGCSE Bulletin* SIGDOC: Communication Design Quarterly* * 12 Transmissions SIGecom: ACM SIGecom Exchanges* Maximum File Size: -
SIGPLAN FY '05 Annual Report
SIGPLAN FY '05 Annual Report July 2004—June 2005 Submitted by Jack W. Davidson, SIGPLAN Chair This year ACM SIGPLAN has continued its active sponsorship of many conferences and workshops as well as its two newsletters. SIGPLAN's present financial situation is strong, and our fund balance grew in FY 2005 after three consec- utive years of losses. Our fund balance comfortably exceeds the required minimum. Our conferences overall incurred financial gains, including OOPSLA, our largest conference, which had incurred a significant financial loss for each of the three preceding years. We were more selective with funding worthwhile projects such as student travel, funding these at about one half the level of recent years. A good resource for monitoring our activities is our web page, found at http://www.acm.org/sigplan/. 1. Conferences We sponsored seven annual conferences last year, GPCE (with SIGSOFT), ICFP, LCTES (with SIGBED), OOP- SLA, PLDI, POPL (with SIGACT), and PPDP. We also sponsored PPoPP and ISMM, which are held approxi- mately biannually. Of these conferences, PLDI, POPL and PPoPP appear in the Citeseer top 15 of more than 1200 Computer Science publication venues, based on their citation rates. We sponsored numerous workshops, including AADEBUG, BUGS, CUFP, Erlang, FOOL, Haskell, IVME, MSP, PLAN-X, Scheme, TLDI, and PEPM. Financial results for our conferences were positive. Conference attendance has been holding steady, with a dramatic increase in student participation. Conferences continue to receive far more submissions than we can accept, and our major conferences continue to be extremely selective. We have separate steering committees for all of our conferences. -
Jonathan Corley University of West Georgia 1601 Maple Street Carrollton, GA 30118 Jcorley[At]Westga.Edu
Jonathan Corley University of West Georgia 1601 Maple Street Carrollton, GA 30118 jcorley[at]westga.edu Research Interests CS Education and Outreach, Software Engineering Education Ph.D. in Computer Science, August 2016 University of Alabama, Tuscaloosa, AL, USA Advisor: Dr. Jeff Gray Committee: Dr. Jeffrey Carver, Dr. Randy Smith, Dr. Susan Vrbsky, Dr. Eugene Syriani M.S. in Computer Science, May 2012 University of Alabama, Tuscaloosa, AL, USA Advisor: Dr. Nicholas Kraft B.S. in Computer Science, May 2009 University of Alabama, Tuscaloosa, AL, USA Honors & Awards Outstanding Graduate Researcher, University of Alabama Department of CS, 2016 President of the University of Alabama chapter of Upsilon Pi Epsilon (UPE), 2015 and 2014 UPE is an international honor society for the computing and information disciplines. 1st place, MODELS ACM Student Research Competition Graduate, 2014. Valencia, Spain University of Alabama College of Engineering Outstanding Service by a Graduate Student, 2014 Outstanding ACM Graduate Award, University of Alabama Department of CS, 2013 Vice-President of the University of Alabama chapter of Upsilon Pi Epsilon, 2013 Inducted into the University of Alabama chapter of Upsilon Pi Epsilon, 2011 Publications Refereed Journal and Book Chapter Jonathan Corley, Brian Eddy, Eugene Syriani, and Jeff Gray “Efficient and Scalable Omniscient Debugging for Model Transformations” In Ghosh, S., Li, J. (Eds.) Software Quality Journal Special Issue on Program Debugging: Research, Practice and Challenges. No. 1, January 2017, pp. 7-48 Jonathan Corley, Eugene Syriani, Huseyin Ergin, and Simon Van Mierlo “Cloud-based Multi- View Modeling Environments” In Cruz, A.M., Paiva, S. (Eds.) Modern Software Engineering Methodologies for Mobile and Cloud Environments, IGI Global. -
2021 ACM Awards Call for Nominations
Turing Award The A. M. Turing Award is ACM's oldest and most prestigious award. It is presented annually to an individual or a group of individuals who have made lasting contributions of a technical nature to the computing community. The long-term influence of a candidate’s work is taken into consideration, but there should be a singular outstanding and trend-setting technical achievement that constitutes the claim of the award. The award is presented each June at the ACM Awards Banquet and is accompanied by a prize of $1,000,000 plus travel expenses to the banquet. Financial support for the award is provided by Google Inc. ACM Prize in Computing The ACM Prize in Computing recognizes an early to mid-career fundamental and innovative contribution in computing theory or practice that through, its impact, and broad implications, exemplifies the greatest achievements of the discipline. The candidate’s contribution should be relatively recent (typically within the last decade), but enough time should have passed to evaluate impact. While there are no specific requirements as to age or time since last degree requirements, the candidate typically would be approaching mid-career. The Prize carries a prize of $250,000. Financial support for the award is provided by Infosys Ltd. ACM Frances E. Allen Award for Outstanding Mentoring The Frances E. Allen Award for Outstanding Mentoring will be presented for the first time in 2021. This award will recognize individuals who have exemplified excellence and/or innovation in mentoring with particular attention to individuals who have shown outstanding leadership in promoting diversity, equity, and inclusion in computing. -
Jonathan Corley Research Interests Education Honors & Awards Refereed Journal and Book Chapter
Jonathan Corley University of Alabama 342 H.M. Comer Hall corle001[at]crimson.ua.edu Tuscaloosa, AL 35487-0290 http://corle001.students.cs.ua.edu Research Interests Software Engineering, Model-Driven Engineering, CS Education and Outreach Education Ph.D. in Computer Science, expected August 2016 University of Alabama, Tuscaloosa, AL, USA Advisor: Dr. J. Gray M.S. in Computer Science, May 2012 University of Alabama, Tuscaloosa, AL, USA Advisor: Dr. N. Kraft B.S. in Computer Science, May 2009 University of Alabama, Tuscaloosa, AL, USA Honors & Awards Outstanding Graduate Researcher, University of Alabama Department of CS, 2016 1st place, MODELS ACM Student Research Competition Graduate, 2014. Valencia, Spain University of Alabama College of Engineering Outstanding Service by a Graduate Student, 2014 Outstanding ACM Graduate Award, University of Alabama Department of CS, 2013 2nd place, ACM midSE, Graduate: PhD presentation, 2013. Gatlinburg, TN, USA President of the University of Alabama chapter of Upsilon Pi Epsilon (UPE), 2015 and 2014 UPE is an international honor society for the computing and information disciplines. Vice-President of the University of Alabama chapter of Upsilon Pi Epsilon, 2013 Inducted into the University of Alabama chapter of Upsilon Pi Epsilon, 2011 Refereed Journal and Book Chapter Jonathan Corley, Brian Eddy, Eugene Syriani, and Jeff Gray (2016) “Efficient and Scalable Omniscient Debugging for Model Transformations” In Ghosh, S., Li, J. (Eds.) Software Quality Special Issue on Program Debugging: Research, Practice and Challenges. Jonathan Corley, Eugene Syriani, Huseyin Ergin, and Simon Van Mierlo (2016) “Cloud-based Multi-View Modeling Environments” In Cruz, A.M., Paiva, S. (Eds.) Modern Software Engineering Methodologies for Mobile and Cloud Environments, IGI Global. -
Letter from the President
Letter from the President Dear EATCS members, As usual this time of the year, I have the great pleasure to announce the assignments of this year’s Gódel Prize, EATCS Award and Presburger Award. The Gödel Prize 2012, which is co-sponsored by EATCS and ACM SIGACT, has been awarded jointly to Elias Koutsoupias, Christos H. Papadimitriou, Tim Roughgarden, Éva Tardos, Noam Nisan and Amir Ronen. In particular, the prize has been awarded to Elias Koutsoupias and Christos H. Papadimitriou for their paper Worst-case equilibria, Computer Science Review, 3(2): 65-69, 2009; to Tim Roughgarden and Éva Tardos for their paper How Bad Is Selfish Routing? , Journal of the ACM, 49(2): 236-259, 2002; and to Noam Nisan and Amir Ronen for their paper Algorithmic Mechanism Design, Games and Economic Behavior, 35: 166-196, 2001. As you can read in the laudation published in this issue of the bulletin, these three papers contributed highly influential concepts and results that laid the foundation for an explosive growth in algorithmic game theory, a trans-disciplinary combination of the theory of algorithms and the theory of games that has greatly enriched both fields. The purpose of all three papers was to improve our understanding of how the internet and other complex computational systems behave when users and service providers in these systems act selfishly. On behalf of this year’s Gödel Prize Committee (consisting of Sanjeev Arora, Josep Díaz, Giuseppe F. Italiano, Daniel ✸ ❇❊❆❚❈❙ ♥♦ ✶✵✼ ❊❆❚❈❙ ▼❆❚❚❊❘❙ Spielman, Eli Upfal and Mogens Nielsen as chair) and the whole EATCS community I would like to offer our congratulations and deep respect to all of the six winners! The EATCS Award 2012 has been granted to Moshe Vardi for his decisive influence on the development of theoretical computer science, for his pre-eminent career as a distinguished researcher, and for his role as a most illustrious leader and disseminator. -
SIGARCH Annual Report July 2009 - June 2010
SIGARCH Annual Report July 2009 - June 2010 Overview The primary mission of SIGARCH continues to be the forum where researchers and practitioners of computer architecture can exchange ideas. SIGARCH sponsors or cosponsors the premier conferences in the field as well as a number of workshops. It publishes a quarterly newsletter and the proceedings of several conferences. It is financially strong with a fund balance of over two million dollars. The SIGARCH bylaws are available online at http://www.acm.org/sigs/bylaws/arch_bylaws.html. Officers and Directors During the past fiscal year Doug Burger served as SIGARCH Chair, David Wood served as Vice Chair, and Kevin Skadron served as Secretary/Treasurer. Margaret Martonosi , Krste Asanovic, Bill Dally, and Sarita Adve served on the board of directors, and Norm Jouppi also served as Past Chair. In addition to these elected positions, Doug DeGroot continues to serve as the Editor of the SIGARCH newsletter Computer Architecture News, and Nathan Binkert was appointed as the new SIGARCH Information Director, providing SIGARCH information online. Rob Schreiber serves as SIGARCH’s liaison on the SC conference steering committee. The Eckert-Mauchly Award, cosponsored by the IEEE Computer Society, is the most prestigious award in computer architecture. SIGARCH endows its half of the award, which is presented annually at the Awards Banquet of ISCA. Bill Dally of NVidia and Stanford University received the award in 2010, "For outstanding contributions to the architecture of interconnection networks and parallel computers.” Last year, SIGARCH petitioned ACM to increase the ACM share of the award to $10,000, using an endowment taken from the SIGARCH fund balance, which ACM has approved. -
SIGARCH Annual Report July 2010 - June 2011
SIGARCH Annual Report July 2010 - June 2011 Overview The primary mission of SIGARCH continues to be the forum where researchers and practitioners of computer architecture can exchange ideas. SIGARCH sponsors or cosponsors the premier conferences in the field as well as a number of workshops. It publishes a quarterly newsletter and the proceedings of several conferences. It is financially strong with a fund balance of over two million dollars. The SIGARCH bylaws are available online at http://www.acm.org/sigs/bylaws/arch_bylaws.html. Officers and Directors During the past fiscal year Doug Burger served as SIGARCH Chair, David Wood served as Vice Chair, and Kevin Skadron served as Secretary/Treasurer. Margaret Martonosi , Krste Asanovic, Bill Dally, and Sarita Adve served on the Board of Directors, and Norm Jouppi also served as Past Chair. In addition to these elected positions, Doug DeGroot continues to serve as the Editor of the SIGARCH newsletter Computer Architecture News, and Nathan Binkert as the SIGARCH Information Director, providing SIGARCH information online. Rob Schreiber serves as SIGARCH’s liaison on the SC conference steering committee. In the spring, SIGARCH elections were held for the next term, effective July 1, 2011. The new officers are: David Wood as SIGARCH Chair, Sarita Adve as Vice Chair, Partha Ranganathan as Secretary/Treasurer, and Kai Li, Norm Jouppi, Per Stenstrom, and Scott Mahlke on the Board of Directors. Doug Burger will serve as Past Chair. Nate Binkert continues to serve as Information Director. Rob Schreiber continues to serve as SIGARCH’s liaison on the SC conference steering committee. The Eckert-Mauchly Award, cosponsored by the IEEE Computer Society, is the most prestigious award in computer architecture. -
Sample-Sigplan.Pdf
The Name of the Title is Hope Ben Trovato∗ Lars Thørväld Valerie Béranger G.K.M. Tobin∗ The Thørväld Group Inria Paris-Rocquencourt [email protected] Hekla, Iceland Rocquencourt, France [email protected] [email protected] Institute for Clarity in Documentation Dublin, Ohio, USA Aparna Patel Huifen Chan Charles Palmer Rajiv Gandhi University Tsinghua University Palmer Research Laboratories Doimukh, Arunachal Pradesh, India Haidian Qu, Beijing Shi, China San Antonio, Texas, USA [email protected] John Smith Julius P. Kumquat The Thørväld Group The Kumquat Consortium Hekla, Iceland New York, USA [email protected] [email protected] Figure 1. Seattle Mariners at Spring Training, 2010. Abstract CCS Concepts: • Computer systems organization ! Em- bedded systems; Redundancy; Robotics; • Networks ! A clear and well-documented LATEX document is presented as an article formatted for publication by ACM in a conference Network reliability. proceedings or journal publication. Based on the “acmart” Keywords: datasets, neural networks, gaze detection, text document class, this article presents and explains many of tagging the common variations, as well as many of the formatting elements an author may use in the preparation of the docu- ACM Reference Format: mentation of their work. Ben Trovato, G.K.M. Tobin, Lars Thørväld, Valerie Béranger, Aparna Patel, Huifen Chan, Charles Palmer, John Smith, and Julius P. Kumquat. ∗ Both authors contributed equally to this research. 2018. The Name of the Title is Hope. In Woodstock ’18: ACM Sym- posium on Neural Gaze Detection, June 03–05, 2018, Woodstock, NY. Permission to make digital or hard copies of all or part of this work for ACM, New York, NY, USA,7 pages. -
First Woman to Receive ACM Turing Award Contact: Virginia Gold 212-626-0505 [email protected]
First Woman to Receive ACM Turing Award Contact: Virginia Gold 212-626-0505 [email protected] Cameron Wilson 202-659-9712 [email protected] IBM Fellow Emerita Frances Allen Responsible for Innovations to High Speed Computing; Work Inspired Generations of Computer Scientists New York, NY, February 21, 2007 – ACM, the Association for Computing Machinery, has named Frances E. Allen the recipient of the 2006 A.M. Turing Award for contributions that fundamentally improved the performance of computer programs in solving problems, and accelerated the use of high performance computing. This award marks the first time that a woman has received this honor. The Turing Award, first presented in 1966, and named for British mathematician Alan M. Turing, is widely considered the "Nobel Prize in Computing." It carries a $100,000 prize, with financial support provided by Intel Corporation. Allen, an IBM Fellow Emerita at the T.J. Watson Research Center, made fundamental contributions to the theory and practice of program optimization, which translates the users' problem-solving language statements into more efficient sequences of computer instructions. Her contributions also greatly extended earlier work in automatic program parallelization, which enables programs to use multiple processors simultaneously in order to obtain faster results. These techniques have made it possible to achieve high performance from computers while programming them in languages suitable to applications. They have contributed to advances in the use of high performance computers for solving problems such as weather forecasting, DNA matching, and national security functions. "Fran Allen's work has led to remarkable advances in compiler design and machine architecture that are at the foundation of modern high-performance computing," said Ruzena Bajcsy, Chair of ACM's Turing Award Committee, and professor of Electrical and Engineering and Computer Science at the University of California, Berkeley.