SIGCSE 2019 PDF Program
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. -
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: -
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. -
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. -
Curriculum Vitae
Aaron Gember-Jacobson http://aaron.gember-jacobson.com Contact Information Department of Computer Science, Colgate University [email protected] 13 Oak Drive, Hamilton, NY 13346 (315) 228-6298 Education Ph.D. in Computer Science May 2016 University of Wisconsin–Madison, Madison, WI Master of Science in Computer Science May 2011 University of Wisconsin–Madison, Madison, WI Bachelor of Science in Computer Science May 2009 Marquette University, Milwaukee, WI Professional Experience Assistant Professor, Colgate University July 2016 – Present Lecturer, University of Wisconsin–Madison Spring 2015, Spring 2014 Research Assistant/Fellow, University of Wisconsin–Madison January 2010 – May 2016 Student Intern, AT&T Research May 2011 – July 2011 Teaching (y indicates course includes a weekly 2 hour laboratory in addition to lecture) Colgate University — undergraduate liberal arts institution with a 5 course teaching load • Intro to Computing I (COSC 101)y: Spring 2020, Spring 2018 • Operating Systems (COSC 301)y: Spring 2019, Fall 2018, Fall 2017, Spring 2017, Fall 2016 (2 sections) • Computer Networks (COSC 465): Spring 2020y, Spring 2019y, Spring 2017 • The Unreliable Internet (FSEM 136): Fall 2018 University of Wisconsin-Madison — courses taught as a lecturer during PhD program • Introduction to Networks (CS 640): Spring 2015, Spring 2014 Grants G2. NeTS: Medium: Collaborative Research: Automatic Network Repair. National Science Foundation (NSF), 2018-2022, $170K (plus $1,030K awarded to the University of Wisconsin-Madison). Role: Principal Investigator G1. AitF: Collaborative Research: Foundations of Intent-based Networking. National Science Foundation (NSF), 2016-2019, $60K (plus $356K awarded to the University of Wisconsin-Madison). Role: Principal Investigator page 1 of 7 Publications (∗ indicates undergraduate student author) Refereed Conference Publications 1 C15. -
ACM Software Engineering Notes, Nov'14
Volume 39, Number 6 Published by the Association for Computing Machinery November 2014 Special Interest Group on Software Engineering SOFTWARE ENGINEERING notes TABLE OF CONTENTS LETTERS 1 From the Chair: If I Only Had a Brain – Will Tracz 2 From the Editor – Michael Wing 3 Top 10 Downloaded Articles 4 Top 10 Most Cited Articles 5 Bill Riddle, Past ACM SIGSOFT Chair, Dies – Jack Wileden 5 CAPS Award for ASE 2014 – Breno Miranda 6 CAPS ASE Experience – Tony Ohmann 6 New Guide to Computer Science Degrees – Dan Schuessler COLUMNS 6 Passages – Alex Groce 8 Surfing the Net for Software Engineering Notes – Mark Doernhoefer 17 Risks to the Public – Peter G. Neumann and contributors REPORTS & PAPERS 23 The list of Reports is found on page 3 28 The list of Papers is found on page 3 WORKSHOP & CONFERENCES 29 Calendar of Events – Daniela Castelluccia 32 ICSE 2015 38 FSE 2014 Software Engineering Notes is an informal publication of the ACM Special Interest Group on Software Engineering (SIGSOFT) concerned with the cost- effective, timely development and maintenance of high-quality software. Relevant topics include requirements, specification, design and implementation methods, software maintenance, reuse, and re-engineering, quality assurance, measurement and evaluation, software processes, automated tools, and practical experience, etc. SIGSOFT seeks to address research and development issues in these areas and to provide a common ground for both, through sponsorship of conferences, symposia and workshops, the publication of SEN, and the dissemination of information via the SIGSOFT member email distribution list. sponsors an annual conference, Foundations of Software Engineering www.sigsoft.org/SEN/ SIGSOFT (FSE), in the Fall and co-sponsors the International Conference of Software SIGSOFT EXECUTIVE COMMITTEE Engineering (ICSE) in the Spring, in addition to sponsoring several workshops and symposia each year on specialized and timely topics. -
Lori L. Pollock September 2008 Personal Data Research Interests
Vita Lori L. Pollock September 2008 Personal Data Address: Dept. of Computer and Information Sciences University of Delaware Newark, DE 19716 Phone: 302 831-1953 Email: [email protected] Research Interests Program analysis, software testing, software maintenance tools, compiler optimization for parallel architectures. Education Ph.D. Computer Science, April 1986, University of Pittsburgh, Pittsburgh, PA Dissertation: An approach to incremental compilation of optimized code Advisor: Mary Lou Soffa M.S. Computer Science, August 1983, University of Pittsburgh B.S. Computer Science, magna cum laude, June 1981, Allegheny College, Meadville, PA B.S. Economics, magna cum laude, June 1981, Allegheny College, Meadville, PA Professional Experience September 2004 to present: Professor, Department of Computer and Information Sciences, University of Delaware. September 1998 to 2003: Associate Professor, Department of Computer and Information Sciences, University of Delaware. September 1998 to May 1999: Research Consultant, Army Research Laboratory, Aberdeen, MD. September 1992 to September 1998: Assistant Professor, Department of Computer and Information Sciences, University of Delaware. June-August, 1993 and 1994: Research Scientist, Supercomputing Research Center, Bowie, MD. September 1991 to August 1992: Visiting Assistant Professor, Department of Computer and Information Sciences, University of Delaware. January 1986 to May 1990: Assistant Professor, Department of Computer Science, Rice University. September 1982 to September 1984: Teaching assistant and Instructor, Department of Computer Science, University of Pittsburgh. 1 June-August 1982: Programmer, Hagerstown Cash Register, Inc., Hagerstown, MD. Journal Publications and Book Chapters Zachary P. Fry, David Shepherd, Emily Hill, Lori Pollock, K. Vijay-Shanker, “Analyzing Source Code: Looking for Useful Verb-Direct Object Pairs in All the Right Places,” IET Software Special Issue on Natural Language in Software Development, Vol. -
Appendix C SURPLUS/LOSS: $291.34 SIGCSE 0.00 Sigada 100.00 SIGAPP 0.00 SIGPLAN 0.00
Starts Ends Conference Actual SIGs and their % SIGACCESS 21-Oct-13 23-Oct-13 ASSETS '13: The 15th International ACM SIGACCESS ATTENDANCE: 155 SIGACCESS 100.00 Conference on Computers and Accessibility INCOME: $74,697.30 EXPENSE: $64,981.11 SURPLUS/LOSS: $9,716.19 SIGACT 12-Jan-14 14-Jan-14 ITCS'14 : Innovations in Theoretical Computer Science ATTENDANCE: 76 SIGACT 100.00 INCOME: $19,210.00 EXPENSE: $21,744.07 SURPLUS/LOSS: ($2,534.07) 22-Jul-13 24-Jul-13 PODC '13: ACM Symposium on Principles ATTENDANCE: 98 SIGOPS 50.00 of Distributed Computing INCOME: $62,310.50 SIGACT 50.00 EXPENSE: $56,139.24 SURPLUS/LOSS: $6,171.26 23-Jul-13 25-Jul-13 SPAA '13: 25th ACM Symposium on Parallelism in ATTENDANCE: 45 SIGACT 50.00 Algorithms and Architectures INCOME: $45,665.50 SIGARCH 50.00 EXPENSE: $39,586.18 SURPLUS/LOSS: $6,079.32 23-Jun-14 25-Jun-14 SPAA '14: 26th ACM Symposium on Parallelism in ATTENDANCE: 73 SIGARCH 50.00 Algorithms and Architectures INCOME: $36,107.35 SIGACT 50.00 EXPENSE: $22,536.04 SURPLUS/LOSS: $13,571.31 31-May-14 3-Jun-14 STOC '14: Symposium on Theory of Computing ATTENDANCE: SIGACT 100.00 INCOME: $0.00 EXPENSE: $0.00 SURPLUS/LOSS: $0.00 SIGAda 10-Nov-13 14-Nov-13 HILT 2013:High Integrity Language Technology ATTENDANCE: 60 SIGBED 0.00 ACM SIGAda Annual INCOME: $32,696.00 SIGCAS 0.00 EXPENSE: $32,404.66 SIGSOFT 0.00 Appendix C SURPLUS/LOSS: $291.34 SIGCSE 0.00 SIGAda 100.00 SIGAPP 0.00 SIGPLAN 0.00 SIGAI 11-Nov-13 15-Nov-13 ASE '13: ACM/IEEE International Conference on ATTENDANCE: 195 SIGAI 25.00 Automated Software Engineering -
PARSEC3.0: a Multicore Benchmark Suite with Network Stacks and SPLASH-2X
PARSEC3.0: A Multicore Benchmark Suite with Network Stacks and SPLASH-2X Xusheng Zhan1,2, Yungang Bao1, Christian Bienia3, and Kai Li3 1State Key Laboratory of Computer Architecture, ICT, CAS 2University of Chinese Academy of Sciences 3Department of Computer Science, Princeton University Abstract Benchmarks play a very important role in accelerating the development and research of CMP. As one of them, the PARSEC suite continues to be updated and revised over and over again so that it can offer better support for researchers. The former versions of PARSEC have enough workloads to evaluate the property of CMP about CPU, cache and memory, but it lacks of applications based on network stack to assess the performance of CMPs in respect of network. In this work, we introduce PARSEC3.0, a new version of PARSEC suite that implements a user-level network stack and generates three network workloads with this stack to cover network domain. We explore the input sets of splash-2 and expand them to multiple scales, a.k.a, splash-2x. We integrate splash-2 and splash-2x into PARSEC framework so that researchers use these benchmark suite conveniently. Finally, we evaluate the u-TCP/IP stack and new network workloads, and analyze the characterizes of splash-2 and splash-2x. 1. Introduction Benchmarking is a fundamental methodology for computer architecture research. Architects evaluate their new design using benchmark suites that usually consist of multiple programs selected out from a diversity of domains. The PARSEC benchmark suite, containing 13 applications from six emerging domains, has been widely used for evaluating chip multiprocessors (CMPs) systems since it is released in 2008. -
AGERE! at SPLASH 2015 Companion Proceedings
AGERE! at SPLASH 2015 5th International Workshop on Programming based on Actors, Agents, and Decentralized Control Workshop held at ACM SPLASH 2015 26 October 2015 Pittsburgh, PA, USA Companion Proceedings AGERE! is an ACM SIGPLAN workshop Introduction ago, agis, egi, actum, agere latin verb meaning to act, to lead, to do, common root for actors and agents The fundamental turn of software into concurrency and distribution is not only a matter of performance, but also of design and abstraction. It calls for programming paradigms that, compared to current mainstream ones, would allow us to think about, design, develop, execute, debug, and profile – more naturally – systems exhibiting dif- ferent degrees of concurrency, asynchrony, and physical distribution. To this purpose, the AGERE! workshop is aimed at focusing on programming systems, languages and applications based on actors, agents and other programming paradigms promoting a decentralized-control mindset in solving problems and developing software. The work- shop is designed to cover both the theory and the practice of design and programming, bringing together researchers working on the models, languages and technologies, and practitioners developing real-world systems and applications. This volume contains the work-in-progress and short papers accepted and presented at the 5th edition of the AGERE! workshop, not included in the formal proceedings available on the ACM Digital Library. Acknowledgment The organizing committee would like to thank all program committee members, au- thors and participants. Thank you to ACM and SPLASH organizers for their support. We look forward to a productive workshop. 3 Committee Program Committee Gul Agha, University of Illinois at Urbana-Champaign Sylvan Clebsch, Imperial College London Rem Collier, University College Dublin Travis Desell, University of North Dakota Amal El Fallah Seghrouchni, LIP6 Univ. -
NEWSLETTER a Regular Publication of ACM SIGACCESS: Special Interest Group on Accessible Computing
SIGACCESS NEWSLETTER A regular publication of ACM SIGACCESS: Special Interest Group on Accessible Computing Report on ASSETS 2016 Inside this Issue Jinjuan Heidi Feng and Matt Huenerfauth p.3 Overview of the ASSETS 2016 Welcome to the January issue of the Conference by Jinjuan Heidi Feng and SIGACCESS newsletter. This issue highlights Matt Huenerfauth the ACM ASSETS 2016 Conference. The first p.9 Hearing Biochemical Structures: article written by the General and Program Molecular Visualization with Spatial chairs, Jinjuan Heidi Feng and Matt Audio by Terek Arce and Kyla Huenerfauth, respectively, provides an McMullen overview of the conference. p.14 Displaying Confidence from Imperfect Automatic Speech Recognition for Captioning by Larwan Accessible Computing: ASSETS Berke 2016 Doctoral Consortium p.19 Increasing Access to Computer Science for Blind Students by The following seven articles describe the Catherine M. Baker research work of the students who attended the ASSETS 2016 Doctoral Consortium led p.23 Designing In, and for, the Inclusive by Amy Hurst and Karyn Moffatt. Classroom by Emeline Brulé p.26 Blocks4All: Making Block Programming Languages Accessible Hugo Nicolau for Blind Children by Lauren R. Milne Newsletter editor p.30 Proposal and Validation of a Method for the Inclusion of Blind People in Cooperative Modelling Activities by Leandro Luque, Anarosa Brandão, and Leônidas Brandão p.35 Examining Facial Recognition Technology to Augment the Indoor Navigation Experience of Individuals who are Blind by Ali Abdolrahmani SIGACCESS Issue 117 Newsletter January 2017 SIGACCESS Issue 117 Newsletter January 2017 About the Newsletter SIGACCESS is a special interest group of ACM on Accessible Computing. -
Get the Full January 2016 Issue
SIGACCESS NEWSLETTER A regular publication of ACM SIGACCESS: Special Interest Group on Accessible Computing Report on ASSETS 2015 Inside this Issue Yeliz Yesilada and Jeffrey Bigham p.3 ASSETS 2015 - Remembering Lisbon Welcome to the January issue of the by Yeliz Yesilada and Jeffrey Bigham SIGACCESS newsletter. This issue highlights p.8 Musical Robotic Interactions for the ACM ASSETS 2015 Conference. The first Children with Autism Spectrum article written by the General and Program Disorders by Jaclyn Barnes chairs, Yeliz Yesilada and Jeffrey Bigham, p.11 Digital and Tactile Drawing-System respectively, provides an overview of the for Blind Users by JensBornschein conference. p.16 Supporting Inclusive and Collaborative Postsecondary Education for Adults with Intellectual Accessible Computing: ASSETS Disabilities by Erin Buehler 2015 Doctoral Consortium p.20 Music Therapy on Interactive Surfaces to Improve Sensorimotor The following ten articles describe the Problems of Children with Autism by research work of the students who attended Franceli Cibrian the ASSETS 2015 Doctoral Consortium led p.25 Personalized Intelligent Prosthesis for by Giorgio Brajnik and Eelke Folmer. Tremor Suppression by Peter Cottrell p.29 Construction and Exploration of an Interactive and Collaborative Map for Hugo Nicolau the Visually Impaired by Julie Ducasse Newsletter editor p.36 Reducing Viseme Confusion in Speech-Reading by Benjamin Gorman p.44 Designing Wearable Computing Technology for Acceptability and Accessibility by Halley Profita p.49 Improving Senior Wellbeing through Telehealth Support and Integrated Care by Inês Rodolfo p.53 Dynamic Online Computerized Neurophysiological Testing System by Sean Smith SIGACCESS Issue 114 Newsletter January 2016 SIGACCESS Issue 114 Newsletter January 2016 About the Newsletter SIGACCESS is a special interest group of ACM on Accessible Computing.