December 2016 - Haskell

Supporting Haskell.org in 2016
by Adam Foltzer 12 Dec '16

12 Dec '16

Dear Haskellers, A great deal of core infrastructure, including HaskellWiki, Hackage, Hoogle, and build infrastructure for GHC are hosted and managed with the help of donations to haskell.org, from you, the Haskell community. As many of us are in tax jurisdictions where December 31st is a deadline for charitable giving, I’d like to remind you that donations to support these activities are tax-deductible. You can donate online right now through the donate button on the wiki: https://wiki.haskell.org/Donate_to_Haskell.org. Mailing information for checks is also on that page. New for this year, individual donations may be made directly via Paypal rather than the clickandpledge service, and Haskell.org is also can now accept donations through employers via Benevity using the unique ID 475236502. This year we had a successful first Summer of Haskell, offering 8 stipends of $5,500 to students making valuable contributions to our shared tooling and infrastructure such as ghc, ghcjs, and hackage, and engaging them in what we hope becomes a long succession of contributions to open source software. The exciting results are available at https://mail.haskell.org/pipermail/haskell-cafe/2016-December/125702.html; this work is only made possible by your generous support, and that of the sponsors listed at https://summer.haskell.org/. We also have continued improving our infrastructure, using committee funds to help the development of a new performance tracker for ghc, with the aim of opening this up to a broader range of projects as well. With your support, we hope to continue these activities and more in 2017. Best wishes, Adam Foltzer on behalf of the Haskell.org committee

1 0

PhD studentships at Leeds
by David Duke 12 Dec '16

12 Dec '16

The School of Computing at the University of Leeds is advertising a number of PhD studentships open to UK, EU and international applicants. Two of the projects are at the overlap between functional programming and visualization, one on performance analysis, one on explaining type inference. Please see the following URL for further information including how to apply: https://engineering.leeds.ac.uk/research-opportunity/201323/research-degree… Closing date: 06/01/2017 --- David Duke T: +44 113 3436800 Professor of Computer Science E: D.J.Duke(a)leeds.ac.uk Head, School of Computing W: www.comp.leeds.ac.uk/scsdjd/

1 0

CFP Bx 17: 6th International Workshop on Bidirectional Transformations
by Meng Wang 07 Dec '16

07 Dec '16

CFP Bx 17: 6th International Workshop on Bidirectional Transformations CALL FOR PAPERS Sixth International Workshop on Bidirectional Transformations (Bx 2017) Uppsala, Sweden (Saturday April 29th, as part of ETAPS 2017) http://bx-community.wikidot.com/bx2017:home Bidirectional transformations (bx) are a mechanism for maintaining the consistency of at least two related sources of information. Such sources can be relational databases, software models and code, or any other document following standard or ad-hoc formats. Bx are an emerging topic in a wide range of research areas, with prominent presence at top conferences in several different fields (namely databases, programming languages, software engineering, and graph transformation), but with results in one field often getting limited exposure in the others. Bx 2017 is a dedicated venue for bx in all relevant fields, and is part of a workshop series that was created in order to promote cross-disciplinary research and awareness in the area. As such, since its beginning in 2012, the workshop has rotated between venues in different fields. IMPORTANT DATES - Abstract submission: 20 Jan 2017 - Paper submission: 27 Jan 2017 - Author notification: 17 Feb 2017 - Camera-ready version: 1 March 2017 - Workshop date: 29 April 2017 AIMS AND TOPICS The aim of the workshop is to bring together researchers and practitioners, established and new, interested in bx from different perspectives, including but not limited to: - data and model synchronization - view updating - inter-model consistency analysis and repair - data/schema (or model/metamodel) co-evolution - coupled software/model transformations - inversion of transformations and data exchange mappings - domain-specific languages for bx - analysis and classification of requirements for bx - bridging the gap between formal concepts and application scenarios - analysis of efficiency of transformation algorithms and benchmarks - survey and comparison of bx technologies - case studies and tool support PAPER CATEGORIES Submissions to Bx 2017 can be: - Regular papers (up to 15 pages) - in-depth presentations of novel concepts and results - applications of bx to new domains - survey papers providing novel comparisons between existing bx technologies and approaches - case studies - Tool papers (up to 8 pages) - guideline papers presenting best practices for employing a specific bx approach (with a specific tool) - presentation of new tools or substantial improvements to existing ones - qualitative and/or quantitative comparisons of applying different bx approaches and tools - Short papers (up to 4 pages) - work in progress - small focused contributions - position papers and research perspectives - critical questions and challenges for bx - Talk proposals (up to 2 pages) - proposed lectures about topics of interest for bx - existing work representing relevant contributions for bx - promising contributions that are not mature enough to be proposed as papers of the other categories All papers are expected to be self-contained and well-written. Tool papers are not expected to present novel scientific results, but to document artifacts of interest and share bx experience/best practices with the community. Short papers should primarily provoke interesting discussion at the workshop and will not be held to the same standard of maturity as regular papers. Talk proposals are expected to present works of particular interest for the community and that are worth a talk slot at the workshop. We strongly encourage authors to ensure that any (variants of) examples are present in the bx example repository at the time of submission, and for tool papers, to allow for reproducibility with minimal effort, either via a virtual machine (e.g. via Share - http://share20.eu) or a dedicated website with relevant artifacts and tool access. SUBMISSION GUIDELINES Submitted papers must follow the CEUR one column style available at http://ceur-ws.org/Vol-XXX/samplestyles/. Papers must be submitted via the EasyChair system: https://www.easychair.org/conferences/?conf=bx2017. Submissions not complying with the above guidelines may be excluded from the reviewing process without further notice. If a paper is accepted, one author of the paper is expected to participate in the workshop to present it. Authors of accepted tool papers are also expected to be available to demonstrate their tool at the event. PROCEEDINGS AND SPECIAL ISSUE The workshop proceedings, including all accepted papers (except talk proposals), will be published electronically by CEUR (http://ceur-ws.org) Authors of accepted papers (of all categories except talk proposal) that have high-quality and the potential to be extended into journal articles will be invited to submit a revised and extended version of their paper to an expected special issue of the Journal of Object Technology (http://www.jot.fm) these papers will then be subject to a careful reviewing and selection process according to the scientific standards of the Journal of Object Technology. PROGRAM CO-CHAIRS - Romina Eramo, University of L'Aquila, Italy - Michael Johnson, Macquarie University, Australia PROGRAM COMMITTEE MEMBERS - Anthony Anjorin, University of Paderborn, Germany - Soichiro Hidaka, Hosei University, Japan - Max E. Kramer, Karlsruhe Institute of Technology, Germany - James McKinna, University of Edinburgh, UK - Hugo Pacheco, University of Minho, Portugal - Alfonso Pierantonio, University of L'Aquila, Italy - Andy Schürr, Technical University of Darmstadt, Germany - Daniel Strüber, Universität Koblenz-Landau, Germany - James Terwilliger, Microsoft, USA - Meng Wang, University of Kent, UK - Bernhard Westfechtel, Universität Bayreuth, Germany - Manuel Wimmer, Vienna University of Technology, Austria +++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Dr. Meng Wang | Lecturer in Computer Science School of Computing | University of Kent | Canterbury, Kent, CT2 7NF, UK m.w.wang(a)kent.ac.uk<mailto:m.w.wang@kent.ac.uk> | www.cs.kent.ac.uk/~mw516<http://www.cs.kent.ac.uk/~mw516> +++++++++++++++++++++++++++++++++++++++++++++++++++++++++

1 0

Workshops @ ACM/SPEC ICPE 2017 - Call for Papers
by Andrea Rosa 06 Dec '16

06 Dec '16

ICPE 2017 8th ACM/SPEC International Conference on Performance Engineering Sponsored by ACM SIGMETRICS, SIGSOFT, and SPEC RG L'Aquila, Italy April 22-26, 2017 https://icpe2017.spec.org/ We are pleased to announce that 8 workshops will be held in conjunction with ICPE 2017. Please find below the call for papers and the relevant information for each workshop. ------------------------------------------------------------------------ ACCEPTED WORKSHOPS ------------------------------------------------------------------------ The following workshops will be held in conjunction with ICPE 2017 (alphabetically listed): - ACPROSS: 1st International Workshop on Autonomous Control for Performance and Reliability Trade-offs in Internet of Services - ENERGY-SIM: 3rd International Workshop on Energy-aware Simulation - LTB: 6th International Workshop on Load Testing and Benchmarking of Software Systems - MoLS: 1st International Workshop on Monitoring in Large-Scale Software Systems - PABS: 3rd International Workshop on Performance Analysis of Big Data Systems - QUDOS: 3rd International Workshop on Quality-aware DevOps - WEPPE: 1st Workshop on Education and Practice of Performance Engineering - WOSP-C: 3rd Workshop on Challenges in Performance Methods for Software Development ------------------------------------------------------------------------ ACPROSS ------------------------------------------------------------------------ 1st International Workshop on Autonomous Control for Performance and Reliability Trade-offs in Internet of Services (ACPROSS'17) April 22, 2017 http://www.ce.uniroma2.it/acpross2017/ ------------------------------------------------------------------------ IMPORTANT DATES Submission deadline: January 10, 2017 Notification of acceptance: February 10, 2017 Camera-ready submission: February 17, 2017 Workshop date: April 22, 2017 ------------------------------------------------------------------------ CALL FOR PAPER The paradigm shift from an information-oriented Internet into an Internet of Services (IoS) has opened up virtually unbounded possibilities for creating and deploying new services. In this reshaped ICT landscape, critical software systems, which include IoT, cloud services, softwarized networks, etc., essentially consist of large-scale service chains, combining and integrating the functionalities of (possibly huge) numbers of other services offered by third parties. In this context, one of the most challenging problems is the provision of service chains which offer an adequate level of performance, reliability and quality perceived by the end users, based on a large offering of multiple functionally equivalent services that not only differ in terms of performance and reliability characteristics, but might also exhibit a churn rate and time varying behavior. Motivated by this, the aim of this workshop is to create a follow-up of European network of experts, from both academia and industry, aiming at the development of autonomous control methods and algorithms for discussing a high quality, well-performing and reliable IoS. Some keywords of the workshop include: autonomous control, performance, Quality of Experience, Quality of Service, reliability, elasticity, softwarized networks and pricing. The workshop is supposed to share new findings, exchange ideas, discuss research challenges and report latest research efforts that cover a variety of topics including, but not limited to: - Autonomous control in Internet of Things, distributed clouds, multi-clouds and softwarized networks - Cross-layer Quality of Experience (QoE) and Quality of Service (QoS) management - Methods and models for resilient Internet of Services - Modeling and performance tools for the Internet of Services - QoS and QoE modeling and monitoring for the Internet of Services - User-centric, context-aware QoE monitoring and network management for the Internet of Services - QoE in the context of time-aware applications, computers and communication systems of the Internet of Services - QoS-, elasticity-, energy- and price-aware resource selection for the Internet of Services - Scheduling, resource management, admission control for the Internet of Services - Autonomous control, modeling, resilience, resource management, and admission control for software performance and reliability trade-offs ------------------------------------------------------------------------ SUBMISSION GUIDELINES We call for original and unpublished papers describing research results, experience, visions or new initiatives. Submitted manuscripts should not exceed 6 pages double column, including figures, tables, references and appendices, and should be in the standard ACM format for conference proceedings (see formatting templates for details: http://www.acm.org/publications/proceedings-template) Papers should be submitted as PDF files via Easychair at https://easychair.org/conferences/?conf=acpross2017. At least one author of each accepted paper is required to attend the workshop and present the paper. Presented papers will be included in the ICPE 2017 proceedings companion volume that will be published by ACM and included in the ACM Digital Library. ------------------------------------------------------------------------ PROGRAM AND ORGANIZING COMMITTEE Program Co-Chairs: - Valeria Cardellini, University of Rome Tor Vergata, Italy - Francesco Lo Presti, University of Rome Tor Vergata, Italy - Peter Pocta, University of Zilina, Slovak Republic Program Committee: - Hans van den Berg, University of Twente, Netherlands - Emiliano Casalicchio, Blekinge Institute of Technology, Sweden - Valerio Di Valerio, Sapienza University of Rome, Italy - Tihana Galinac Grbac, University of Rijeka, Croatia - Yoram Haddad, Jerusalem College of Technology, Israel - Tobias Hossfeld, University Duisburg-Essen, Germany - Stefano Iannucci, Mississippi State University - Andreas Kassler, Karlstad University, Sweden - Attila Kertesz, University of Szeged, Hungary - Steven Latre, University of Antwerp, Belgium - Pasi Lassila, Aalto University, Finland - Philipp Leitner, University of Zurich, Switzerland - Hugh Melvin, National University of Ireland Galway, Ireland - Barbara Pernici, Politecnico of Milan, Italy - Raimund Schatz, Austrian Institute of Technology, Austria - Martin Varela, VTT Technical Research Centre of Finland, Finland - Andrej Zgank, University of Maribor, Slovenia - Thomas Zinner, University of Wurzburg, Germany Publicity and Web Chair: - Matteo Nardelli, University of Rome Tor Vergata, Italy ------------------------------------------------------------------------ ENERGY-SIM ------------------------------------------------------------------------ 3rd International Workshop on Energy-aware Simulation (ENERGY-SIM’17) April 23, 2017 http://energy-sim.org/2017/ ------------------------------------------------------------------------ IMPORTANT DATES Abstract submission deadline: January 3, 2017 Paper submission deadline: January 10, 2017 Notification of acceptance: February 8, 2017 Camera-ready submission: February 17, 2017 Workshop date: April 23, 2017 ------------------------------------------------------------------------ SCOPE The energy impact of IT infrastructures is a significant resource issue for many organisations. The Natural Resources Defence Council estimates that US data centers alone consumed 91 billion kilowatt-hours of electrical energy in 2013 – enough to power the households of New York twice-over – and this is estimated to grow to 139 billion kilowatt-hours by 2020. However, this is an underestimation as this figure fails to take into account other countries and all other computer usage. There are calls for reducing computer energy consumption to bring it in line with the amount of work being performed – so-called energy proportional computing. In order to achieve this we need to understand both where the energy is being consumed within a system and how modifications to such systems will affect the functionality (such as QoS) and the energy consumption. Monitoring and changing a live system is often not a practical solution. There are cost implications in doing so, and it normally requires significant time in order to fully ascertain the long-term trends. There is also the risk that any changes could lead to detrimental impacts, either in terms of the functionality of the system or in the energy consumed. This can lead to a situation where it is considered too risky to perform anything other than the most minor tweaks to a system. The use of modelling and simulation provides an alternative approach to evaluating where energy is being consumed, and assessing the impact of changes to the system. It also offers the potential for much faster turn-around and feedback, along with the ability to evaluate the impact of many different options simultaneously. ENERGY-SIM 2017 seeks original work that is focused on addressing new research and development challenges, developing new techniques, and providing case studies, related to energy-aware simulation and modelling. Specific topics of interest to ENERGY-SIM 2017 include, but are not limited to, the following: - Simulation/Modelling for energy reduction - Estimation of energy consumption - Evaluation of techniques to reduce consumption - Simulation/Modelling for smart-grids - Simulation/Modelling of micro- and macro-level energy generation and supply - Simulation/Modelling of smart-grid deployments - Simulation/Modelling of energy in computer systems - Data centre simulation/modelling - Individual component simulation/modelling - Multi-scale system simulation/modelling - Simulation/Modelling for energy in the Internet of Things - Simulation/Modelling of Internet of Things systems including battery operated systems - Simulation/Modelling of energy scavenging approaches - Performance and validation of energy-aware simulations and modelling - Benchmarking and analytical results - Empirical studies - Theoretical foundations of energy-aware simulation/modelling - Theoretical models for energy-aware simulation/modelling - Energy-aware simulation/modelling packages and tools - Energy-aware simulation/modelling packages under development from the community ------------------------------------------------------------------------ SUBMISSION GUIDANCE Papers will be accepted in one of two formats: - Short work in progress/position papers, up to 4 pages in length - Full papers, up to 6 pages in length Papers describing significant research contributions of theoretical and/or practical nature are being solicited for submission. Authors are invited to submit original, high-quality papers presenting new research related to energy-aware simulations. The papers that are accepted and presented at the workshop will be published by ACM and disseminated through the ACM Digital Library. It is intended that the best papers will be put forward for a Journal special edition post workshop. Submission will be made via EasyChair: https://easychair.org/conferences/?conf=energysim17 ------------------------------------------------------------------------ PROGRAM AND ORGANIZING COMMITTEE Program Chair: - Matthew Forshaw, Newcastle University, UK Program Committee: - Erol Gelenbe, Imperial College London, UK - Helen Karatza, Aristotle University of Thessaloniki, Greece - Ibad Kureshi, Durham University, UK - Mehrgan Mostowfi, University of Northern Colorado, USA - Omer Rana, Cardiff University, UK - Nigel Thomas, Newcastle University, UK - Ananta Tiwari, San Diego Supercomputer Center, USA General Chair: - Stephen McGough, Durham University, UK ------------------------------------------------------------------------ LTB ------------------------------------------------------------------------ 6th International Workshop on Load Testing and Benchmarking of Software Systems (LTB'17) April 23, 2017 http://ltb2017.eecs.yorku.ca/ ------------------------------------------------------------------------ IMPORTANT DATES Technical paper submission deadline: January 10, 2017 Technical paper notification of acceptance: February 1, 2017 Presentation submission deadline: March 20, 2017 Presentation notification of acceptance: March 24, 2017 Camera-ready submission: February 19, 2017 Workshop date: April 23, 2017 ------------------------------------------------------------------------ CALL FOR PAPERS Software systems (e.g., smartphone apps, desktop applications, e-commerce systems, IoT infrastructures, big data systems, and enterprise systems, etc.) have strict requirements on software performance. Failure to meet these requirements will cause customer dissatisfaction and negative news coverage. In addition to conventional functional testing, the performance of these systems must be verified through load testing or benchmarking to ensure quality service. Load testing examines the behavior of a system by simulating hundreds or thousands of users performing tasks at the same time. Benchmarking evaluates a system's performance and allows to optimize system configurations or compare the system with similar systems in the domain. Load testing and benchmarking software systems are difficult tasks, which requires a great understanding of the system under test and customer behavior. Practitioners face many challenges such as tooling (choosing and implementing the testing tools), environments (software and hardware setup) and time (limited time to design, test, and analyze). This oneday workshop brings together software testing researchers, practitioners and tool developers to discuss the challenges and opportunities of conducting research on load testing and benchmarking software systems. We solicit the following two tracks of submissions: technical papers (maximum 4 pages) and presentation track for industry or experience talks (maximum 700 words extended abstract). Technical papers should follow the standard ACM SIG proceedings format and need to be submitted electronically via EasyChair at https://easychair.org/conferences/?conf=lt2017. Extended abstracts need to be submitted as “abstract only” submissions via EasyChair. Accepted technical papers will be published in the ICPE 2017 Proceedings. Materials from the presentation track will not be published in the ICPE 2017 proceedings, but will be made available on the workshop website. Submitted papers can be research papers, position papers, case studies or experience reports addressing issues including but not limited to the following: - Efficient and cost-effective test executions - Rapid and scalable analysis of the measurement results - Case studies and experience reports on load testing and benchmarking - Load testing and benchmarking on emerging systems (e.g., adaptive/autonomic systems, big data batch and stream processing systems, and cloud services) - Load testing and benchmarking in the context of agile software development process - Using performance models to support load testing and benchmarking - Building and maintaining load testing and benchmarking as a service - Efficient test data management for load testing and benchmarking ------------------------------------------------------------------------ PROGRAM AND ORGANIZING COMMITTEE Program Committee: - Bram Adams, Polytechnique Montreal, Canada - Cor-Paul Bezemer, Queen's University, Canada - Andreas Brunner, RETIT GmbH, Germany - Christoph Csallner, University of Texas at Arlington, USA - Holger, Eicrhelberger, University of Hildesheim, Germany - Greg Franks, Carleton University, Canada - Vahid Garousi, Hacettepe University, Turkey - Shadi Ghaith, IBM, Ireland - Wilhelm Hasselbring, Kiel University, Germany - Robert Heinrich, Karlsruher Institute of Technology, Germany - André van Horn, University of Stuttgart, Germany - Robert Horror, EMC Isilon, USA - Pooyan Jamshidi, Imperial College London, United Kingdom - Diwakar Krishnamurthy, University of Calgary, Germany - Alexander Podelko, Oracle, USA - Weiyi Shang, Concordia University, Canada - Gerson Sunyé, University of Nantes, France Organizers: - Johannes Kroß, fortiss GmbH, Germany - Zhen Ming (Jack) Jiang, York University, Canada Steering Committee: - Ahmed E. Hassan, Queen’s University, Canada - Marin Litoiu, York University, Canada - Zhen Ming (Jack) Jiang, York University, Canada ------------------------------------------------------------------------ MoLS ------------------------------------------------------------------------ 1st International Workshop on Monitoring in Large-Scale Software Systems (MoLS'17) April 23, 2017 http://mevss.jku.at/mols2017 ------------------------------------------------------------------------ IMPORTANT DATES Submission deadline: January 9, 2017 Notification of acceptance: January 31, 2017 Camera-ready submission: February 8, 2017 Workshop date: April 23, 2017 ------------------------------------------------------------------------ MOTIVATION AND GOALS Large-scale, heterogeneous software systems such as cyber-physical systems, cloud-based systems, or service-based systems are ubiquitous in many domains. Often, such systems are systems of systems working together to fulfill common goals resulting from domain or customer requirements. Such systems' full behavior emerges only at runtime, when the involved systems interact with each other, with hardware, third-party systems, or legacy systems. Thus, engineers are interested in monitoring the overall system at runtime ñ for instance, to verify components' correct timing or measure performance and resource consumption. Monitoring can happen continuously at runtime, to give instant feedback on behavior violations, or post hoc, on the basis of recorded event traces and data logs. The complexity and heterogeneity of large-scale software systems, however, complicates runtime monitoring. Properties must be checked across the boundaries of multiple constituent systems and heterogeneous, domain-specific technologies must be instrumented. Also, different types of properties must be checked at runtime, including global invariants and exceptions, range checks of variables, temporal constraints on events, or architectural rules constraining component interactions. Finally, systems exist in many different versions and variants owing to the continuous, independent evolution of their constituent systems. Adaption and reconfiguration of monitoring solutions thus becomes essential. This workshop aims to explore and explicate the current status and ongoing work on monitoring in large-scale software systems and the transfer of knowledge between different disciplines and domains. A particular goal of the workshop is thus to bring together different communities working on monitoring approaches such as (application) performance and resource monitoring, requirements monitoring, and runtime verification. The workshop also aims at bringing together researchers and practitioners to discuss practical problems vs. potential solutions. Future directions for research will be outlined based on challenges discussed and the needs expressed by the participants. The workshop thus has the following objectives: (i) Discuss how monitoring can be supported in large-scale software systems (state of the art). (ii) Discuss open challenges in research and practice. ------------------------------------------------------------------------ TOPICS OF INTEREST We particularly encourage research papers based on industrial experience and empirical studies, as well as papers, which identify and structure open challenges and research questions. We are interested in all topics related to monitoring in large-scale soft-ware systems (systems of systems, cloud-based systems, service-oriented systems, big-data systems, business processes, cyber-physical systems, automation production/automotive systems, etc.). This includes, but is not limited to: - Requirements monitoring in large-scale systems - Runtime verification of large-scale systems - Complex event processing in large-scale systems - Performance monitoring in large-scale systems - Monitoring along the continuum, from the data source to fog- and cloud-based solutions - Supporting monitoring in large-scale systems with... - Requirements as runtime entities - Models at runtime - Runtime constraint checking - Visualization techniques - Human-computer interaction for operators - Monitoring as a means to support evo-lution and/or maintenance in large-scale systems - Monitoring in the context of DevOps/ continuous deployment/integration - Tools and frameworks for monitoring large-scale systems ------------------------------------------------------------------------ SUBMISSION GUIDELINES We are seeking for research papers and experience reports (4-8 pages) as well as position and vision papers (4 pages max) in ACM Proceedings Style (http://www.acm.org/publications/proceedings-template) Submissions will be selected based on the relevance to the workshop topics and the suitability to trigger discussions. Papers should be submitted as PDF files via EasyChair: https://www.easychair.org/conferences/?conf=mols2017 ------------------------------------------------------------------------ PROGRAM AND ORGANIZING COMMITTEE Program Committee: - Luciano Baresi, Polimi, Milano, Italy - Thomas Bures, Charles University Prague, Czech Republic - Jane Cleland-Huang, University of Notre Dame, IN, USA - Mads Dam, KTH/CSC, Stockholm, Sweden - Alexey Fishkin, Siemens CT, Munich, Germany - Paul Grünbacher, JKU Linz, Austria - Andre van Hoorn, University of Stuttgart, Germany - Christian Inzinger, University of Zürich, Switzerland - Andrea Janes, Free University of Bozen-Bolzano, Italy - Falko Kötter, Fraunhofer IAO, Stuttgart, Germany - Patrick Mäder, TU Ilmenau, Germany - Olivier Perrin, Nancy 2 University, France - Klaus Schmid, University of Hildesheim, Germany - Jocelyn Simmonds, University of Chile, Chile - Oleg Sokolsky, University of Pennsylvania, USA - Uwe Zdun, University of Vienna, Austria ... and the workshop organizers Organizers: - Rick Rabiser (JKU Linz, Austria) - Michael Vierhauser (JKU Linz, Austria) - Sam Guinea (Polimi, Italy) - Wilhelm Hasselbring (CAU Kiel, Germany) ------------------------------------------------------------------------ PABS ------------------------------------------------------------------------ 3rd International Workshop on Performance Analysis of Big data Systems (PABS'17) April 22, 2017 http://ripsac.web2labs.net/pabs ------------------------------------------------------------------------ IMPORTANT DATES Submission deadline: January 10, 2017 Notification of acceptance: February 10, 2017 Camera-ready submission: February 19, 2017 Workshop date: April 22, 2017 ------------------------------------------------------------------------ SCOPE OF THE WORKSHOP The workshop on performance analysis of big data systems (PABS) aims at providing a platform for scientific researchers, academicians and practitioners to discuss techniques, models, benchmarks, tools, case studies and experiences while dealing with performance issues in traditional and big data systems. The primary objective is to discuss performance bottlenecks and improvements during big data analysis using different paradigms, architectures and big data technologies. We propose to use this platform as an opportunity to discuss systems, architectures, tools, and optimization algorithms that are parallel in nature and hence make use of advancements to improve the system performance. This workshop shall focus on the performance challenges imposed by big data systems and on the different state-of-the-art solutions proposed to overcome these challenges. The accepted papers shall be published in ACM proceedings and digital library. ------------------------------------------------------------------------ TOPICS All novel performance analysis or prediction techniques, benchmarks, architectures, models and tools for data-intensive computing system for optimizing application performance on cutting-edge high performance solutions are of interest to the workshop. Examples of topics include but not limited to: - Performance analysis and optimization of Big data systems and technologies. - Big data analytics using machine learning - In-memory analysis of big data - Performance Assured migration of traditional systems to Big data platforms - Deployment of Big Data technology/application on High performance computing architectures. - Case studies/ Benchmarks to optimize/evaluate performance of Big data applications/systems and Big data workload characterizations. - Tools or models to identify performance bottlenecks and /or predict performance metrics in Big data - Performance analysis while querying, visualization and processing of large network datasets on clusters of multicore, many core processors, and accelerators. - Performance issues in heterogeneous computing for Big data architectures. - Analysis of Big data applications in science, engineering, finance, business, healthcare and telecommunication etc. - Data structure and algorithms for performance optimizations in Big data systems. - Data intensive computing - Tools for big data analytics and management ------------------------------------------------------------------------ SUBMISSION GUIDELINES Submissions describing original, unpublished recent results related to the workshop theme, upto 6 pages in standard ACM format can be submitted through the easychair conference system, following this link: https://easychair.org/conferences/?conf=pabs17. More information on ACM format is available on ICPE 2017 web page. Accepted technical papers will be published in the ICPE 2016 Proceedings. In case of any difficulty please contact rekha.singhal(a)tcs.com<mailto:rekha.singhal@tcs.com> or d.chahal(a)tcs.com<mailto:d.chahal@tcs.com>. The submissions must be in pdf format. ------------------------------------------------------------------------ PROGRAM COMMITTEE Program Co-Chairs: - Rekha Singhal, TCS Research, India rekha.singhal(a)tcs.com<mailto:rekha.singhal@tcs.com> - Dheeraj Chahal, TCS Research, India d.chahal(a)tcs.com<mailto:d.chahal@tcs.com> Program committee: - Amy Apon, Clemson University, USA - Dhableshwar Panda, Ohio State University , USA - Gautam Shroff, TCS Innovation Lab, India - Kishor Trivedi, Duke University, USA - Rajesh Mansharamani, Consultant, India - Jeff Ullman, Stanford University and Gradiance, USA - Saumil Merchant, Shell, India - Sebastien Goasguen, Citrix, Switzerland - Steven J Stuart, Clemson University, USA - Vikram Narayana, George Washington University, USA - Tilmann Rabl, DIMA, Toronto, Canada ------------------------------------------------------------------------ QUDOS ------------------------------------------------------------------------ 3rd International Workshop on Quality-Aware DevOps (QUDOS’17) April 27, 2017 http://qudos2017.fortiss.org/ ------------------------------------------------------------------------ IMPORTANT DATES Submission deadline: January 10, 2017 Notification of acceptance: February 10, 2017 Camera-ready submission: February 18, 2017 Workshop date: April 27, 2017 ------------------------------------------------------------------------ SCOPE AND TOPICS DevOps has emerged in recent years as a set of principles and practices for smoothing out the gap between development and operations, thus enabling faster release cycles for complex IT services. Common tools and methods used in DevOps include infrastructure as code, continuous deployment, automated testing, continuous integration, and new architectural styles such as microservices. As of today, software engineering research has mainly explored these problems from a functional perspective, trying to increase the benefits and generality of these methods for the end users. However, this has left behind the definition of methods and tools for DevOps to assess, predict, and verify quality dimensions. The QUDOS workshop focuses on the problem of how to best define and integrate quality assurance methods and tools in DevOps. Quality covers a broadly-defined set of dimensions including functional correctness, performance, reliability, safety, survivability, and cost of ownership, among others. To answer this question, the QUDOS workshop wants to bring together experts from academia and industry working in areas such as quality assurance, testing, performance engineering, agile software engineering, and model-based development. The goal is to identify and disseminate novel quality-aware approaches to DevOps. Topics of interest include, but are not limited to: - Foundations of quality assurance in DevOps: Methodologies; integration with lifecycle management; automated tool chains; architecture patterns; etc. - Architectural issues in DevOps: Scalability and capacity planning; scale-out architectures; cloud-native application design; microservice-based architectures - Quality assurance in the development phase: Software models and requirements in early software development phases; functional and non-functional testing; languages, annotations and profiles for quality assurance; quality analysis, verification and prediction; optimization-based architecture design; etc. - Quality assurance during operation: Application performance monitoring; model-driven performance measurement and benchmarking; feedback-based quality assurance; capacity planning and forecasting; architectural improvements; performance anti-pattern detection; traceability and versioning; trace and log analysis; software regression and testing; performance monitoring and analytics; etc. - Continuous deployment and live experimentation: CI and CD in DevOps; canary releases and partial rollouts; A/B testing; performance and scalability testing via shadow launches - Applications of DevOps: Case Studies in cloud computing, Big Data, and IoT; standardization and interoperability; novel application domains, etc. - All other topics related to quality in DevOps and agile service delivery models For more details, please visit: http://qudos2017.fortiss.org/ ------------------------------------------------------------------------ SUBMISSION GUIDELINES Authors are invited to submit original, unpublished papers that are not being considered in another forum. We solicit full papers (max 6 pages) and short tool papers (max 2 pages). All submissions must conform to the ACM conference format. Each full paper submission will be reviewed by at least three members of the program committee. Papers should be submitted via EasyChair at: https://easychair.org/conferences/?conf=qudos2017 At least one author of each accepted paper is required to attend the workshop and present the paper. Presented papers will be published by ACM and included in the ACM Digital Library. ------------------------------------------------------------------------ PROGRAM AND ORGANIZING COMMITTEE Program Co-Chairs: - Elisabetta Di Nitto, Politecnico di Milano, Italy - Philipp Leitner, University of Zurich, Switzerland Program Committee: - Varsha Apte, IIT Bombay, India - Alberto Avritzer, Sonatype Inc., USA - Cor-Paul Bezemer, Queen’s University, Canada - Andreas Brunnert, RETIT, Germany - Lubomír Bulej, Charles University Prague, CZ - David Carrera, Universitat Politècnica de Catalunya, Spain - Juergen Cito, University of Zurich, Switzerland - Pooyan Jamshidi, Imperial College London, UK - Christophe Joubert, Prodevelop, Spain - Cristian Klein, Umea University, Sweden - Klaus-Dieter Lange, Hewlett Packard Enterprise, USA - Marin Litoiu, York University, Toronto, Ontario - Zhen Ming (Jack) Jiang, York University, Canada - Manoj Nambiar, Tata Consultancy Services, India - Cesare Pautasso, University of Lugano, Switzerland - Diego Perez-Palacin, Universidad de Zaragoza, Spain - Dana Petcu, IEAT, Romania - Dorina Petriu, Carleton University, Canada - Meikel Poess, Oracle Corporation, USA - Craig Sheridan, Flexiant, UK - Arnor Solberg, SINTEF, Norway - Josef Spillner, ZHAW Winterthur, Switzerland - Damian Andrew Tamburri, Politecnico di Milano, Italy - Asser Tantawi, IBM Research, USA - Catia Trubiani, Gran Sasso Science Institute, Italy - Ingo Weber, NICTA, Australia - Erik Wilde, CA API Academy, USA Workshop Chairs (Steering Committee): - Danilo Ardagna, Politecnico di Milano, Italy - Giuliano Casale, Imperial College London, UK - Andre van Hoorn, University of Stuttgart, Germany - Felix Willnecker, fortiss GmbH, Germany ------------------------------------------------------------------------ ORGANIZATION AND SUPPORT QUDOS 2017 is organized and technically sponsored by the Research Group (RG) and the RG DevOps Performance Working Group of the Standard Performance Evaluation Corporation (SPEC RG, http://research.spec.org) and by the consortium of the EU project DICE (http://dice-h2020.eu) QUDOS 2017 is supported by the IFIP Working Group on Service Oriented Systems (http://ifip-wg-sos.deib.polimi.it/) by the Associazione Italiana per l'informatica e il Calcolo Automatico (AICA, http://www.aicanet.it/) and by the DFG Priority Programme 1593 (SPP 1593) "Design For Future - Managed Software Evolution" (http://www.dfg-spp1593.de/) funded by the German Research Foundation (DFG). ------------------------------------------------------------------------ WEPPE ------------------------------------------------------------------------ 1st Workshop on Education and Practice of Performance Engineering (WEPPE’17) April 23, 2017 https://weppe.sonatype.com/index.html ------------------------------------------------------------------------ IMPORTANT DATES Abstract Submission deadline: January 3, 2017 Submission deadline: January 10, 2017 Notification of acceptance: February 10, 2017 Camera-ready submission: February 19, 2017 Workshop date: April 23, 2017 ------------------------------------------------------------------------ SCOPE AND TOPICS The goal of the Workshop on Education and Practice of Performance Engineering is to bring together University researchers and Industry Performance Engineers to share education and practice experiences. We are interested in creating opportunities to share experiences between researchers that are actively teaching performance engineering and of Performance Engineers that are applying Performance Engineering techniques in industry. Topics of interest to the include, but are not limited to: - Education and or Practice of Performance in the data center, cloud, and Internet of Things - Education and or Practice of Performance methods in software development - Education and or Practice of Model-driven performance engineering - Education and or Practice of Performance modeling and prediction - Education and or Practice of Performance measurement and experimental analysis - Education and or Practice of Benchmarks (workloads, scenarios, and implementations) - Education and or Practice of Run-time performance and capacity management - Education and or Practice of Performance in cloud, virtualized, and multi-core systems - Education and or Practice of Performance-driven resource and power management - Education and or Practice of Performance of big data systems - Education and or Practice of Performance modeling and evaluation in other domains - Education and or Practice of Performance requirements specification - Education and or Practice of Performance testing and validation - Education and or Practice of Relationship between performance engineering and architecture - Education and or Practice of All other topics related to performance engineering ------------------------------------------------------------------------ SUBMISSION GUIDELINES A variety of contribution styles for papers are solicited including: two-page abstracts, presentation, basic and applied research papers for novel scientific insights, industrial and experience papers reporting on education and or practice of the application of performance engineering or benchmarks in practice, and work-in-progress/vision papers for ongoing but yet interesting work. Different acceptance criteria apply based on the expected content of the individual contribution types. Authors will be requested to self-classify their papers according to topic and contribution style when submitting their papers. Submissions need to be uploaded to ICPE’s easychair installation at https://easychair.org/confereces/?conf=weppe-2017 At least one author of each accepted paper is required to register at workshop at the full rate, attend the workshop and present the paper. Presented papers will be published in the ICPE 2017 conference proceedings that will be published by ACM and included in the ACM Digital Library. After the conference there will be a call for a special issue of a journal. ------------------------------------------------------------------------ PROGRAM AND ORGANIZING COMMITTEE General Chairs: - Alberto Avritzer, Sonatype, USA - Alexandru Iosup, Delft University of Technology, The Netherlands Program Committee (preliminary) - Alberto Avritzer, Sonatype - Andre Bondi, Software Performance and Scalability Consulting - Vittorio Cortellessa, L’Aquila University - Vincenzo Grassi, Tor Vergata University - Andre Van Hoorn, Univ Stuttgart - Alex Iosup, Delft University - Raffaela Mirandola, Politecnico Milano - Manoj Nambiar, Tata Consultancy Services - Dorina Petriu, Carleton Univ. - Kishor Trivedi, Duke Univ. - Catia Trubiani, GSSI L’Aquila - Murray Woodside, Carleton Univ. Website Chair: - Thad Watson, Sonatype ------------------------------------------------------------------------ WOSP-C ------------------------------------------------------------------------ 3rd Workshop on Challenges in Performance Methods for Software Development (WOSP-C'17) April 22, 2017 https://wosp-c.spec.org/ Contact: André B. Bondi <andrebbondi(a)gmail.com<mailto:andrebbondi@gmail.com>> ------------------------------------------------------------------------ IMPORTANT DATES Abstract submission deadline: January 3, 2017 Paper submission deadline: January 10, 2017 Notification of acceptance: February 3, 2017 Camera-ready submission (hard-deadline): February 17, 2017 Workshop date: April 22, 2017 ------------------------------------------------------------------------ CALL FOR PAPERS New challenges to assuring software performance arise as new software development methods emerge. In addition to using middleware and database platforms, new applications may be implemented using environments such as Software as a Service (SaaS) and Service-Oriented Architectures. The performance characteristics of these services will inevitably influence the performance and scalability of the applications that use them. The use of DevOps means that new components will be introduced to existing systems while they are running. The new components must allow the performance existing components to continue to be met. In this third edition of WOSP-C, we will explore the performance implications of this evolution in architecture and development and their impact on the inclusion and development of performance. We seek to do this by including research and experience papers, vision papers describing new initiatives and ideas, and discussion sessions. Papers describing new projects and approaches are particularly welcome. As implied by the title, the workshop focus is on methods usable anywhere across the life cycle, from requirements to design, testing and evolution of the product. The discussions will attempt to map the future of the field. They may occur in breakout sessions related to topics chosen by the participants. The discussions will be moderated and summaries posted on line for future reference. This is in keeping with the spirit of the first Workshop on Software and Performance, WOSP98, which successfully identified the issues that were current at the time. The acronym WOSP-C reflects this. There will be sessions which combine papers on research/experience/vision with substantial discussion on issues raised by the papers or the attendees. At least a third of the time will be devoted to discussion on identifying the key problems and the most fruitful lines of future research. The workshop proceedings will be published by ACM as part of the ICPE 2017 proceedings in the ACM digital library. ------------------------------------------------------------------------ DISCUSSION TOPICS These topics are deliberately broad. Some of them arose in the discussions at WOSP-C 2016: - New ideas, most of all… - Model-driven engineering concepts for all kinds of applications, from embedded to SOA and SaaS. - The business case for performance methods, both in startups and in larger organizations. - Easing the effort of applying performance methods - Adding performance issues to software development tools - Performance issues in architecture and component engineering - Challenges posed by rapid development methods - Maximizing the value (for design improvement) of performance measurements and tests - Methods for deriving and exploiting performance models of applications - Performance challenges and solutions for cloud-based systems and for migrating to the cloud. - The relationship between performance testing, performance models, and performance requirements, including, but not limited to, how they relate to DevOps. - Performance methods for tighter integration of development and operation (DevOps) - Collection of representative performance and workload data in distributed and cloud environments - Performance engineering for dynamic architectures - Performance issues with microservice architectures ------------------------------------------------------------------------ FEATURED SPEAKER Dr. Alberto Avritzer, Sonatype Inc., USA: Performance Assessment of High-Availability Systems Using Markov Chains. ------------------------------------------------------------------------ SUBMISSION GUIDELINES Authors are invited to submit original, unpublished papers that are not being considered in another forum. Papers should be in ACM format, describing research results, experience, visions or new initiatives, not exceeding 6 pages in length, may be submitted via Easychair at https://easychair.org/conferences/?conf=wospc17. Presented papers will be published in the ICPE 2017 conference proceedings that will be published by ACM and included in the ACM Digital Library. Authors are required to adhere to the ACM Policy and Procedures on Plagiarism (http://www.acm.org/publications/policies/plagiarism) as well as to the ACM Policy on Prior Publication and Simultaneous Submissions (http://www.acm.org/publications/policies/sim_submissions) Templates for the ACM format are available at http://www.acm.org/publications/proceedings-template. ------------------------------------------------------------------------ PROGRAM AND ORGANIZING COMMITTEE Program Chair: - André B. Bondi, Software Performance and Scalability Consulting LLC, USA Web Co-Chairs: - Cathy Sandifer SPEC, USA - Ivan Letteri, University of L’Aquila Program Committee: - Davide Arcelli, University of L’Aquila - Alberto Avritzer, Sonatype Inc., USA - Steffen Becker, University of Technology Chemnitz, Germany - André van Hoorn, University of Stuttgart, Germany - Raffaela Mirandola, Politecnico di Milano, Italy - Diego Perez, University of Zaragosa, Spain - Connie U. Smith, Software Performance Engineering, USA - Murray Woodside, Carleton University, Canada ------------ Andrea Rosà PhD student - Teaching assistant Faculty of Informatics - 2nd floor Università della Svizzera italiana (USI) Via G. Buffi 13 CH-6904 Lugano Switzerland (e) andrea.rosa(a)usi.ch<mailto:andrea.rosa@usi.ch> (p) +41 58 666 4455 ext. 2183 (w) http://www.inf.usi.ch/phd/rosaa/

1 0

Re: [Haskell] [Haskell-community] Call for Haskell.org Committee Nominations
by Gershom B 05 Dec '16

05 Dec '16

We're starting the discussion now. Ideally we'll wrap it up within seven days or so. --Gershom On Mon, Dec 5, 2016 at 4:54 PM, Noon van der Silk <noonslists(a)gmail.com> wrote: > Out of interest, when will the new committee members be announced? > > On Sat, Nov 12, 2016 at 9:29 AM, Gershom B <gershomb(a)gmail.com> wrote: >> >> Dear Haskellers, >> >> It is time to put out a call for new nominations (typically but not >> necessarily self-nominations) to the haskell.org committee. We have >> four members of our committee due for retirement -- Adam Foltzer, >> Nicolas Wu, Andres Loeh, and Edward Kmett (who is stepping down >> early). As per our bylaws, three of the slots will be for regular >> three year terms, and one will be a short one year term to fill out >> the remainder of Edward's. >> >> To nominate yourself, please send an email to committee at haskell.org >> by December 2, 2016. The retiring members are eligible to re-nominate >> themselves. Please feel free to include any information about yourself >> that you think will help us to make a decision. >> >> The Haskell.org committee serves as a board of directors for >> Haskell.org, a 501(c)3 nonprofit which oversees technical and >> financial resources related to Haskell community infrastructure. >> >> Being a member of the committee does not necessarily require a >> significant amount of time, but committee members should aim to be >> responsive during discussions when the committee is called upon to >> make a decision. Strong leadership, communication, and judgement are >> very important characteristics for committee members. The role is >> about setting policy, providing direction/guidance for Haskell.org >> infrastructure, planning for the long term, and being fiscally >> responsible with the Haskell.org funds (and donations). As overseers >> for policy regarding the open source side of Haskell, committee >> members must also be able to set aside personal or business related >> bias and make decisions with the good of the open source Haskell >> community in mind. >> >> We seek a broad representation from different segments of the Haskell >> world -- including but not limited to those focused on education, >> those focused on industrial applications, those with background in >> organizing users-groups, and those focused directly on our technical >> infrastructure. >> >> More details about the committee's roles and responsibilities are on >> >> https://wiki.haskell.org/Haskell.org_committee >> >> If you have any questions about the process, please feel free to >> e-mail us at committee at haskell.org, or contact one of us >> individually. >> >> Best, >> Gershom Bazerman >> _______________________________________________ >> Haskell-community mailing list >> Haskell-community(a)haskell.org >> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-community > > > > > -- > Noon Silk, ن > > https://silky.github.io/ > > "Every morning when I wake up, I experience an exquisite joy — the joy > of being this signature."

1 0

problem installing Stack on Ubuntu Virtual Machine
by Nikos Karagiannidis 03 Dec '16

03 Dec '16

Hi all, I am tryning to install Stack on an 64-bit Ubuntu VM (Ubuntu 16.04.1 LTS). I have followed strictly all the steps that are mentioned in: https://docs.haskellstack.org/en/stable/install_and_upgrade/#ubuntu the installation completes OK and I get the following stack version installed: *$ stack --version* *Version 1.2.0, Git revision 241cd07d576d9c0c0e712e83d947e3dd64541c42 (4054 commits) x86_64 hpack-0.14.0* But, when I run "stack setup" it tries to update package index and then it stucks there forever! *$ stack setup* *Run from outside a project, using implicit global project config* *Using resolver: lts-7.11 from implicit global project's config file: /home/nikos/.stack/global-project/stack.yaml* *Updating package index Hackage (mirrored at https://github.com/commercialhaskell/all-cabal-hashes.git <https://github.com/commercialhaskell/all-cabal-hashes.git>) ...* any suggestions? thank you in advance! Nikos

2 1

PhD studentships at FP lab, Nottingham
by Henrik Nilsson 02 Dec '16

02 Dec '16

The School of Computer Science in Nottingham is advertising 10 fully-funded PhD studentships. Applicants in the area of the Functional Programming lab (fp.cs.nott.ac.uk) are encouraged! If you are interested in applying, please contact a potential supervisor in the FP lab prior to submitting your application: Thorsten Altenkirch - constructive logic, proof assistants, (homotopy) type theory, category theory, lambda calculus, quantum computing. Venanzio Capretta - type theory, mathematical logic, corecursive structures, proof assistants, dependently-typed programming. Henrik Nilsson - functional reactive programming, modelling and simulation languages, domain-specific languages, generalized notions of computation Graham Hutton - program construction and verification, category theory, recursion operators, coinductive types. See http://www.nottingham.ac.uk/jobs/currentvacancies/ref/SCI1674 for details. Closing date: Sunday, 22nd January 2017 -- Henrik Nilsson School of Computer Science The University of Nottingham nhn(a)cs.nott.ac.uk This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please send it back to me, and immediately delete it. Please do not use, copy or disclose the information contained in this message or in any attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. This message has been checked for viruses but the contents of an attachment may still contain software viruses which could damage your computer system, you are advised to perform your own checks. Email communications with the University of Nottingham may be monitored as permitted by UK legislation.

1 0

CFP: DCOSS 2017 - Ottawa, Canada
by RODOLFO IPOLITO MENEGUETTE 01 Dec '16

01 Dec '16

=================================================== Call-For-Papers: 13th DCOSS 2017 Ottawa, Canada, June 5 - 7, 2017 http://paradise.site.uottawa.ca/DCOSS/ ==================================================== IMPORTANT: Paper registration through EDAS: January 6th, 2016 Paper Submission: January 12th, 2017 =================================================== ------ DCOSS 2017 is the 13th International Conference on Distributed Computing in Sensor Systems to be hosted in Ottawa, Canada in June 5-7, 2017. Due to their potential of impacting an entire host of application areas, distributed sensor systems have become a highly visible research area. The focus of DCOSS series of conferences is on distributed computing issues in large scale networked sensor systems, including, but not limited to, algorithms and applications, systems design techniques and tools, and in-network signal and information processing. DCOSS puts together a highly selective program where it primes for quality and innovation on works. Potential authors are invited to submit original unpublished manuscripts that demonstrate current research on computational aspects of distributed sensor systems. Topics of interest include but are not limited to: Social networks and applications Sensors for smart grid systems, green networks and sustainability Computation and programming models Energy models, minimization, awareness Distributed collaborative information processing Detection and tracking Theoretical performance analysis: complexity, correctness, scalability Abstractions for modular design Fault tolerance and security Task allocation, reprogramming and reconfiguration Dynamic resource management Scalable, heterogeneous architectures (node and system-level) Middleware interfaces, communication and processing primitives Design, simulation and optimization tools for deployment and operation Design automation and application synthesis techniques Closed-loop control for sensing and actuation Case studies: lessons from real world deployments Network coding and compression Paper Submission and Publication: High-quality original papers are solicited. Papers must be unpublished and must not be submitted for publication elsewhere. All papers will be reviewed by Technical Program Committee members and other experts active in the field to ensure high quality and relevance to the conference. Please submit your paper through EDAS link ( https://edas.info/N23046 ). More detailed instructions about paper submissions can be fount at the link below. - http://paradise.site.uottawa.ca/DCOSS/ Important Dates: Paper Registration Deadline: 6th January, 2017 Paper Submission Deadline: 12th January, 2017 Organizing Committee: GENERAL CHAIR Azzedine Boukerche, University of Ottawa, Canada PROGRAM CO-CHAIRS Salil Kanhere, University of New South Wales, Australia Soumaya Charkaoui, University of Sherbrooke, Canada

1 0

CFP: DCOSS 2017 - Ottawa, Canada
by Robson De Grande 01 Dec '16

01 Dec '16

=================================================== Call-For-Papers: 13th DCOSS 2017 Ottawa, Canada, June 5 - 7, 2017 http://paradise.site.uottawa.ca/DCOSS/ ==================================================== IMPORTANT: Paper registration through EDAS: January 6th, 2016 Paper Submission: January 12th, 2017 =================================================== ------ DCOSS 2017 is the 13th International Conference on Distributed Computing in Sensor Systems to be hosted in Ottawa, Canada in June 5-7, 2017. Due to their potential of impacting an entire host of application areas, distributed sensor systems have become a highly visible research area. The focus of DCOSS series of conferences is on distributed computing issues in large scale networked sensor systems, including, but not limited to, algorithms and applications, systems design techniques and tools, and in-network signal and information processing. DCOSS puts together a highly selective program where it primes for quality and innovation on works. Potential authors are invited to submit original unpublished manuscripts that demonstrate current research on computational aspects of distributed sensor systems. Topics of interest include but are not limited to: Social networks and applications Sensors for smart grid systems, green networks and sustainability Computation and programming models Energy models, minimization, awareness Distributed collaborative information processing Detection and tracking Theoretical performance analysis: complexity, correctness, scalability Abstractions for modular design Fault tolerance and security Task allocation, reprogramming and reconfiguration Dynamic resource management Scalable, heterogeneous architectures (node and system-level) Middleware interfaces, communication and processing primitives Design, simulation and optimization tools for deployment and operation Design automation and application synthesis techniques Closed-loop control for sensing and actuation Case studies: lessons from real world deployments Network coding and compression Paper Submission and Publication: High-quality original papers are solicited. Papers must be unpublished and must not be submitted for publication elsewhere. All papers will be reviewed by Technical Program Committee members and other experts active in the field to ensure high quality and relevance to the conference. Please submit your paper through EDAS link (https://edas.info/N23046) More detailed instructions about paper submissions can be fount at the link below. - http://paradise.site.uottawa.ca/DCOSS/ Important Dates: Paper Registration Deadline: 6th January, 2017 Paper Submission Deadline: 12th January, 2017 Organizing Committee: GENERAL CHAIR Azzedine Boukerche, University of Ottawa, Canada PROGRAM CO-CHAIRS Salil Kanhere, University of New South Wales, Australia Soumaya Charkaoui, University of Sherbrooke, Canada

1 0