[TYPES/announce] CALL FOR PAPERS for ASPLOS Workshops ASSMA, GPGPU, and WoDET
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] * We apologize if you receive this announcement from multiple sources. We expect that these workshops will be of interest to the Programming Language Community * CALL FOR PAPERS for the Workshops co-located with the 16th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS XVI) http://asplos11.cs.ucr.edu/tutorialworkshop.html Contained in this note: 1) CALL FOR PAPERS 1st Workshop on Architecture and Systems Support for Mobile Applications (ASSMA) http://sites.google.com/site/assmaworkshop 2) CALL FOR PAPERS Workshop on General Purpose Processing Using GPUs (GPGPU) http://www.ece.neu.edu/GPGPU/ 3) CALL FOR PAPERS 2nd Workshop on Determinism and Correctness in Parallel Programming (WoDET) http://sites.google.com/site/2ndwodet/ -- 1) CALL FOR PAPERS ASSMA The 1st Workshop on Architecture and Systems Support for Mobile Applications (http://sites.google.com/site/assmaworkshop) Newport Beach, California, March 5, 2011 In conjunction with the 16th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS XVI) The Workshop on Architecture and Systems Support for Mobile Applications (ASSMA) is a multidisciplinary forum for new ideas and experimental results in architecture and systems research targeting mobile applications. As the market for mobile computing devices (e.g., smartphones, PDAs, media players) continues its tremendous growth, it is becoming increasingly important to optimize the execution of applications on these devices. This workshop aims to identify emerging applications, understand their execution, and optimize their execution through innovations in hardware and software. The goal of the workshop is to promote discussion between academia and industry on challenges in this area that span the hardware-software computing stack, including architecture, compilers, programming languages, systems, applications, and the end user. Topics of interest include, but are not limited to: . Characterization of mobile applications and usage behavior . Application-specific, reconfigurable, and accelerator-based processing for mobile applications . Programming language techniques and extensions for mobile applications . Energy-efficient mobile architecture and systems design . Multicore design challenges with mobile applications . Mobile web browser design, implementation, and optimization . Support for integration, collection, and analysis of sensor data in mobile applications . Profiling, debugging, and software development tools for mobile devices . Experiences with real mobile computing platforms Papers should report on original research, and include adequate background material to make them accessible to the architecture and systems community. Submissions will be judged based upon their correctness, relevance, originality, significance, and clarity. Submission Guidelines All submissions are to be made electronically through the submission web site. Submissions should be between 6 and 8 pages in length, include the full list of authors and affiliations, be in standard double column ACM conference format, and submitted in PDF format. Templates for ACM format are available for Microsoft Word and LaTeX at http://www.sigplan.org/authorInformation.htm(use the 9 pt. template). Important Dates: Submission Dec 6, 2010, 6pm PST Notification Jan 20, 2010 Final Feb 28, 2011 Organizers: Alex Shye, Qualcomm Calin Cascaval, Qualcomm Program Committee Murali Annavarum, USC Ras Bodik, UC Berkeley Calin Cascaval, Qualcomm Luis Ceze, U Washington Chandra Krintz, UCSB Krisztian Flautner, ARM Sam King, U Illinois Jose Martinez, Cornell U Gokhan Memik, Northwestern U Trevor Mudge, U Michigan Jens Palsberg, UCLA Keshav Pingali, UT Austin Alex Shye, Qualcomm Michael Taylor, UCSD - 2) CALL FOR PAPERS GPGPU Workshop on General Purpose Processing Using GPUs ( http://www.ece.neu.edu/GPGPU/) Newport Beach, California, March 5, 2011 In conjunction with the 16th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS XVI) Overview: The goal of this workshop is to provide a forum to discuss new and emerging general-purpose purpose programming environments and platforms, as well as evaluate applications that have been able to harness the horsepower provided by these platforms. This year's work is particularly interested on new heterogeneous GPU platforms. Papers are being sought on many aspects of GPUs, including (but not limited to): + GPU applications + GPU compilation + GPU programming environments + GPU
[TYPES/announce] [fm-announcements] NASA Formal Methods Symposium - NFM 2011 : Third Call for Papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] THIRD CALL FOR PAPERS NFM 2011 Third NASA Formal Methods Symposium Pasadena, California, USA April 18 - 20, 2011 http://lars-lab.jpl.nasa.gov/nfm2011 IMPORTANT DATES Submission deadline : *** December 19, 2010 *** Notification of acceptance/rejection : January 21, 2011 Final version due : February 18, 2011 Conference : April 18-20, 2011 THEME The NASA Formal Methods Symposium is a forum for theoreticians and practitioners from academia, government and industry, with the goals of identifying challenges and providing solutions to achieving assurance in mission- and safety-critical systems. The focus of the symposium is on formal methods, and aims to foster collaboration between NASA researchers and engineers and the wider aerospace and academic formal methods communities. The symposium will be comprised of a mixture of invited talks by leading researchers and practitioners, presentation of accepted papers, and panels. TOPICS OF INTEREST * Theorem proving * Model checking * Real-time, hybrid, stochastic systems * SAT and SMT solvers * Symbolic execution * Abstraction * Compositional verification * Program refinement * Static analysis * Dynamic analysis * Automated testing * Model-based testing * Model-based development * Fault protection * Security and intrusion detection * Application experiences * Modeling and specification formalisms * Requirements specification and analysis INVITED SPEAKERS Rustan Leino Microsoft Research, USA From Retrospective Verification to Forward-Looking Development Oege de Moor University of Oxford, UK Do Coding Standards Improve Software Quality? Andreas Zeller Saarland University, Germany Specifications for Free TUTORIALS Bart Jacobs Katholieke Universiteit Leuven, Belgium VeriFast: a Powerful, Sound, Predictable, Fast Verifier for C and Java Michal Moskal Microsoft Research, USA Verification of Functional Correctness of Concurrent C Programs with VCC HISTORY NFM 2011 is the third edition of the NASA Formal Methods Symposium, organized by NASA on a yearly basis. The first in 2009 and was organized at NASA Ames Research Center, Moffett Field, California. The second in 2010 was organized at NASA head quarters, Washington D.C. The symposium originated from the earlier Langley Formal Methods Workshop series. PAPER SUBMISSION There are two categories of submissions: * Regular paper: up to 15 pages, describing fully developed work and complete results. Papers can present theory, software engineering aspects, or case studies. * Tool papers: up to 6 pages, describing an operational tool. The authors of accepted tool papers will give demonstrations of their tools in tool demo sessions. Tool papers should explain enhancements that have been done compared to previously published work. A tool paper does not need to present the theory behind the tool but can focus more on its features, and how it is used, with screen shots and examples. All papers should be in English and describe original work that has not been published or submitted elsewhere. Submissions will be fully reviewed and the symposium proceedings will appear as a volume in Lecture Notes of Computer Science. Papers must use the LNCS style, and be in pdf format. COSTS There will be no registration fee charged to participants. PROGRAMME CHAIRS Mihaela Bobaru, NASA/Jet Propulsion Laboratory Klaus Havelund, NASA/Jet Propulsion Laboratory Gerard Holzmann, NASA/Jet Propulsion Laboratory Rajeev Joshi, NASA/Jet Propulsion Laboratory PROGRAMME COMMITTEE Rajeev Alur, University of Pennsylvania, USA Tom Ball, Microsoft Research, USA Howard Barringer, University of Manchester, UK Saddek Bensalem, Verimag Laboratory, France Nikolaj Bjoerner, Microsoft Research, USA Eric Bodden, Technical University Darmstadt, Germany Marsha Chechik, University of Toronto, Canada Rance Cleaveland, University of Maryland, USA Dennis Dams, Bell Labs/Alcatel-Lucent, Belgium Ewen Denney, NASA Ames Research Center, USA Matt Dwyer, University of Nebraska, USA Cormac Flanagan, UC Santa Cruz, USA Dimitra Giannakopoulou, NASA Ames Research Center, USA Patrice Godefroid, Microsoft Research, USA Alex Groce, Oregon State University, USA Radu Grosu, Stony Brook, USA John Hatcliff, Kansas State University, USA Mats Heimdahl, University of Minnesota, USA Mike Hinchey, Lero - the Irish SW. Eng. Research Centre, Ireland Sarfraz Khurshid, University of Texas at Austin, USA Orna Kupferman, Jerusalem Hebrew University, Israel Kim Larsen, Aalborg University, Denmark Rupak Majumdar, Max Planck Institute, Germany Kenneth McMillan, Cadence Berkeley Labs, USA Cesar Munoz, NASA Langley, USA Madan Musuvathi, Microsoft Research, USA Kedar Namjoshi, Bell Labs/Alcatel-Lucent,
