- Haskell - Haskell.org

Call For Papers: Erlang Workshop 2014
by Laura M. Castro 26 Feb '14

26 Feb '14

Hello all, Please find below the First Call for Papers for the Thirteenth ACM SIGPLAN Erlang Workshop. Apologies for any duplicates you may receive. CALL FOR PAPERS =============== Thirteenth ACM SIGPLAN Erlang Workshop ----------------------------------------------------------- Göteborg, Sweden, September 5, 2014 Satellite event of the 19th ACM SIGPLAN International Conference on Functional Programming (ICFP 2014) September 1-3, 2014 http://www.erlang.org/workshop/2014 Erlang is a concurrent, distributed functional programming language aimed at systems with requirements of massive concurrency, soft real time response, fault tolerance, and high availability. It has been available as open source for 15 years, creating a community that actively contributes to its already existing rich set of libraries and applications. Originally created for telecom applications, its usage has spread to other domains including e-commerce, banking, databases, and computer telephony and messaging. Erlang programs are today among the largest applications written in any functional programming language. These applications offer new opportunities to evaluate functional programming and functional programming methods on a very large scale and suggest new problems for the research community to solve. This workshop will bring together the open source, academic, and industrial programming communities of Erlang. It will enable participants to familiarize themselves with recent developments on new techniques and tools tailored to Erlang, novel applications, draw lessons from users' experiences and identify research problems and common areas relevant to the practice of Erlang and functional programming. We invite three types of submissions. 1. Technical papers describing language extensions, critical discussions of the status quo, formal semantics of language constructs, program analysis and transformation, virtual machine extensions and compilation techniques, implementations and interfaces of Erlang in/with other languages, and new tools (profilers, tracers, debuggers, testing frameworks, etc.). The maximum length for technical papers is restricted to 12 pages. 2. Practice and application papers describing uses of Erlang in the "real-world", Erlang libraries for specific tasks, experiences from using Erlang in specific application domains, reusable programming idioms and elegant new ways of using Erlang to approach or solve a particular problem. The maximum length for the practice and application papers is restricted to 12 pages. Note that this is a maximum length; we welcome shorter papers also, and the program committee will evaluate all papers on an equal basis independent of their lengths. 3. Poster presentations describing topics related to the workshop goals. Each includes a maximum of 2 pages of the abstract and summary. Presentations in this category will be given an hour of shared simultaneous demonstration time. Workshop Co-Chairs ------------------ Laura M. Castro, University of A Coruña, Spain Hans Svensson, QuviQ AB, Sweden Program Committee ----------------------------- (Note: the Workshop Co-Chairs are also committee members) Jesper L. Andersen, Erlang Solutions Ltd., UK Richard Carlsson, Klarna AB, Sweden Lars-Åke Fredlund, Universidad Politécnica de Madrid, Spain Fréd Hébert, Heroku, USA Kostis Sagonas, Uppsala University, Sweden & NTUA, Greece Simon Thompson, University of Kent, UK Steve Vinoski, Basho Technologies, USA Philip Wadler, University of Edinburgh, UK Important Dates ----------------------- Submissions due: Sunday, 11 May, 2014 Author notification: Friday, 6 June, 2014 Final copy due: Sunday, 22 June, 2014 Workshop date: September 5, 2014 Instructions to authors -------------------------------- Papers must be submitted online via EasyChair (via the "Erlang2014" event). The submission page is https://www.easychair.org/conferences/?conf=erlang2014 Submitted papers should be in portable document format (PDF), formatted using the ACM SIGPLAN style guidelines. Each submission must adhere to SIGPLAN's republication policy. Violation risks summary rejection of the offending submission. Accepted papers will be published by the ACM and will appear in the ACM Digital Library. Paper submissions will be considered for poster submission in the case they are not accepted as full papers. Venue & Registration Details ------------------------------------------ For registration, please see the ICFP 2014 web site at: http://icfpconference.org/icfp2014/ Related Links -------------------- ICFP 2014 web site: http://www.icfpconference.org/icfp2014/ Past ACM SIGPLAN Erlang workshops: http://www.erlang.org/workshop/ Open Source Erlang: http://www.erlang.org/ EasyChair submission site: https://www.easychair.org/conferences/?conf=erlang2014 Author Information for SIGPLAN Conferences: http://www.sigplan.org/authorInformation.htm Atendee Information for SIGPLAN Events: http://www.sigplan.org/Resources/Policies/Anti-harassment -- Laura M. Castro Department of Computer Science Universidade da Coruña (Spain) http://www.madsgroup.org/staff/laura

1 0

*Deadline extended* Final call for contributions AI4FM 2014
by Iain Whiteside 25 Feb '14

25 Feb '14

------------------------------------------------- AI4FM 2014 - the 5th International Workshop on the use of AI in Formal Methods http://www.ai4fm.org/ai4fm-2014/ Singapore, 13th May, 2014 In association with FM 2014 ------------------------------------------------- --- Final Call for Contributions --- Confirmed Speakers --------------- Rustan Leino, Microsoft Research Chin Wei Ngan, National University of Singapore Dominique Méry, LORIA and Université de Lorraine Important Dates --------------- Submission deadline: *March 15, 2014* Notification of acceptance: March 22, 2014 Final version due: April 22, 2014 Workshop: May 13th, 2014 General --------------- This workshop will bring together researchers from formal methods, automated reasoning and AI; it will address the issue of how AI can be used to support the formal software development process, including requirement analysis, modelling and proof. Previous AI4FM workshops have included a mix of industrial and academic participants and we anticipate attracting a similarly diverse audience. Rigorous software development using formal methods allows the construction of an accurate characterisation of a problem domain that is firmly based on mathematics; by applying standard mathematical analyses, these methods can be used to prove that systems satisfy formal specifications. Research has shown that with tools backed by mature theory, formal methods are becoming cost effective and their use is easier to justify, not as an academic exercise, legal requirement or niche markets -- but as part of a business case. However, while industrial use of formal methods is increasing, in order to make it more mainstream, the cost of applying formal methods, in terms of mathematical skill level and development time, must still be reduced. We believe that AI can help with these issues. Scope --------------- We encourage submissions presenting work in progress, tools under development, and PhD projects, in order that the workshop can become a forum for active dialogue between the groups involved in automated reasoning, formal methods and artificial intelligence. Particular areas of interest include, but are not limited to: - The use of AI and automated reasoning to support and guide the formal modelling process. - The use of AI and automated reasoning in the requirement capture process. - The use of AI to reuse formal models, programs and proofs. - The use of machine learning to support interactive theorem proving. - The use of machine learning to enhance automated theorem proving. - The development of search heuristics. - The use of AI for term synthesis, invariant generation, lemma discovery and concept invention. - The use of AI for counter-example generation. - The use of constraint solvers in formal methods. - The role of AI planning for formal systems developments, from requirements to the end product (including software and hardware). - The interplay between reasoning and modelling and the role of AI in this framework. - Ontologies in the formal engineering process. History --------------- This will be the fifth workshop in the series. Previous workshops were held at: - Rennes, France, July 2013 @ ITP (www.ai4fm.org/ai4fm-2013/) - Schloss Dagstuhl, Germany, July 2012 (www.dagstuhl.de/12271) - Edinburgh, UK, April 2011 (www.ai4fm.org/ai4fm-2011.php) - Newcastle, UK, May 2010 (www.ai4fm.org/ko-meeting.php) Submission --------------- The main aim for the workshop is discussion, thus submissions do not need to be original. Extended versions of submissions may have been published previously, or submitted concurrently with or after AI4FM 2014 to another workshop, conference or a journal. Submission is by email to: ai4fm2014(a)ai4fm.org Please submit an abstract up to 3 pages in a PDF format. The extended abstracts will be handed out to all participants, and will be made into a technical report prior to the workshop. Acceptance for presentation at the workshop will be made by the organisers based on relevance to the workshop. Organisers --------------- * Leo Freitas (Newcastle University, UK) * Gudmund Grov (Heriot-Watt University, UK) * Iain Whiteside (Newcastle University, UK) Contact Details ---------------- If you have any queries, please email the organisers at the following email address: ai4fm2014(a)ai4fm.org

1 0

Call for Papers: TASE 2014
by Huibiao Zhu 25 Feb '14

25 Feb '14

TASE 2014 - CALL FOR PAPERS ****************************************************************** The 8th International Symposium on Theoretical Aspects of Software Engineering (TASE 2014) 1-3 September 2014, Changsha, China http://www.nudt.edu.cn/tase2014 For more information email: TASE2014(a)nudt.edu.cn ****************************************************************** OVERVIEW The 8th Theoretical Aspects of Software Engineering Symposium (TASE 2014), will be held in Changsha, China in September, 2014. Modern society is increasingly dependent on software systems that are becoming larger and more complex. This poses new challenges to the various aspects of software engineering, for instance, software dependability in trusted computing, interaction with physical components in cyber physical systems, distribution in cloud computing applications, etc. Hence, new concepts and methodologies are required to enhance the development of software engineering from theoretical aspects. TASE 2014 aims to provide a forum for people from academia and industry to communicate their latest results on theoretical advances in software engineering. TASE 2014 is the 8th in the TASE series. The past TASE symposiums were successfully held in Shanghai ('07), Nanjing ('08), Tianjin ('09), Taipei ('10), Xi'an ('11), Beijing ('12), Birmingham ('13). The proceedings of the TASE symposia were all published by the IEEE Computer Society Press. TOPICS The symposium is devoted to theoretical aspects of software engineering. Topics of interest include, but are not limited to: * Requirements Engineering * Specification and Verification * Program Analysis * Software Testing * Model-Driven Engineering * Software Architectures and Design * Aspect and Object Orientation * Embedded and Real-Time Systems * Software Processes and Workflows * Component-Based Software Engineering * Software Safety, Security and Reliability * Reverse Engineering and Software Maintenance * Service-Oriented and Cloud Computing * Semantic Web and Web Services * Type System and Theory * Program Logics and Calculus * Probability in Software Engineering SUBMISSION Submission should be done through the TASE 2014 submission page, handled by the EasyChair conference system: https://www.easychair.org/conferences/?conf=tase2014 As in previous years, the proceedings of the conference are planned to be published by the IEEE Computer Society Press. Papers must be written in English and not exceed 8 pages in Two-Column IEEE format. IMPORTANT DATES Abstract submission: 28 February 2014 (23h59 GMT) Paper submission: 07 March 2014 (23h59 GMT) Notification: 28 April 2014 Camera-ready: 19 May 2014 Conference: 1-3 September 2014 GENERAL CHAIR Jifeng He (East China Normal University, China) PROGRAM CO-CHAIRS Ji Wang (National University of Defense Technology, China) Martin Leucker (University of Lubeck, Germany) STEERING COMMITTE Keijiro Araki (Kyushu University, Japan) Shengchao Qin (Teesside University, UK) Jifeng He (East China Normal University, China) Huibiao Zhu (East China Normal University, China) Michael Hinchey (Lero, Ireland) PROGRAM COMMITTEE Earl Barr (University College London, UK) Nikolaj Bjorner (Microsoft Research, USA) Vidroha Debroy (Hudson Alley Software, USA) Zhenhua Duan (Xidian University, China) Xinyu Feng (University of Science and Technology of China, China) Peter Habermehl (Liafa, Paris 7, France) Dang Van Hung (Vietnam National University, Vietnam) Lingxiao Jiang (Singapore Management University, Singapore) Xiaoshan Li (University of Macau, Macau) Xuandong Li (Nanjing University, China) Shaoyin Liu (Hosei University, Japan) Xiaoqing(Frank) Liu (Missouri University of Science and Technology, USA) Michael Lyu (Chinese University of Hong Kong, China) Xiaoguang Mao (National University of Defense Technology, China) Huaikou Miao (Shanghai University, China) Antoine Mine (Ecole Normale Superieure Paris, France) Paritosh K. Pandya (Tata Institute of Fundamental Research, India) Jun Pang (University of Luxembourg, Luxembourg) Sungwoo Park (Pohang University of Science and Technology, Korea) Geguang Pu (East China Normal University, China) Shengchao Qin (Teesside University, UK) Zongyan Qiu (Peking University, China) Cesar Sanchez (IMDEA Software Institute, Spain) Axel Simon (Technical University of Munich, Germany) Volker Stolz (University of Oslo, Norway) Yih-Kuen Tsay (National Taiwan University, Taiwan) Tomas Vojnar (Brno University of Technology, Czech Republic) Hai Wang (Aston University, UK) Yi Wang (Uppsala University, Sweden) Eric Wong (UT-Dallas, USA) Yingfei Xiong (Peking University, China) Hongli Yang (Beijing University of Technology, China) Naijun Zhan (Chinese Academy of Sciences, China) Hongyu Zhang (Tsinghua University, China) Jianjun Zhao (Shanghai Jiao Tong University, China) Hong Zhu (Oxford Brookes University, UK) Huibiao Zhu (East China Normal University, China) ORGANIZING CHAIR Wei Dong (National University of Defense Technology, China) PUBLICITY CHAIR Yanjun Wen (National University of Defense Technology, China)

1 0

APLAS 2014: Call for papers
by Jacques Garrigue 21 Feb '14

21 Feb '14

=============================================================== APLAS 2014 12th Asian Symposium on Programming Languages and Systems http://www.math.nagoya-u.ac.jp/~garrigue/APLAS2014/ 17-19 November 2014, Singapore CALL FOR PAPERS =============================================================== ========== BACKGROUND ========== APLAS aims to stimulate programming language research by providing a forum for the presentation of latest results and the exchange of ideas in programming languages and systems. APLAS is based in Asia, but is an international forum that serves the worldwide programming language community. APLAS is sponsored by the Asian Association for Foundation of Software (AAFS) founded by Asian researchers in cooperation with many researchers from Europe and the USA. Past APLAS symposiums were successfully held in Melbourne ('13), Kyoto ('12), Kenting ('11), Shanghai ('10), Seoul ('09), Bangalore ('08), Singapore ('07), Sydney ('06), Tsukuba ('05), Taipei ('04) and Beijing ('03) after three informal workshops. Proceedings of the past symposiums were published in Springer's LNCS. ====== TOPICS ====== The symposium is devoted to foundational and practical issues in programming languages and systems. Papers are solicited on topics such as * semantics, logics, foundational theory; * design of languages, type systems and foundational calculi; * domain-specific languages; * compilers, interpreters, abstract machines; * program derivation, synthesis and transformation; * program analysis, verification, model-checking; * logic, constraint, probabilistic and quantum programming; * software security; * concurrency and parallelism; * tools and environments for programming and implementation. Topics are not limited to those discussed in previous symposiums. Papers identifying future directions of programming and those addressing the rapid changes of the underlying computing platforms are especially welcome. Demonstration of systems and tools in the scope of APLAS are welcome to the System and Tool presentations category. Authors concerned about the appropriateness of a topic are welcome to consult with the program chair prior to submission. ========== SUBMISSION ========== We solicit submissions in two categories: *Regular research papers* describing original scientific research results, including tool development and case studies. Regular research papers should not exceed 18 pages in the Springer LNCS format, including bibliography and figures. They should clearly identify what has been accomplished and why it is significant. Submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity. In case of lack of space, proofs, experimental results, or any information supporting the technical results of the paper could be provided as an appendix or a link to a web page, but reviewers are not obliged to read them. *System and Tool presentations* describing systems or tools that support theory, program construction, reasoning, or program execution in the scope of APLAS. System and Tool presentations are expected to be centered around a demonstration. The paper and the demonstration should identify the novelties of the tools and use motivating examples. System and Tool papers should not exceed 8 pages in the Springer LNCS format, including bibliography and figures. Submissions will be judged based on both the papers and the described systems or tools. It is highly desirable that the tools are available on the web. Papers should be submitted electronically via the submission web page: https://www.easychair.org/conferences/?conf=aplas2014 Acceptable formats are PostScript or PDF. Submitted papers must be unpublished and not submitted for publication elsewhere. Papers must be written in English. The proceedings will be published as a volume in Springer's LNCS series. Accepted papers must be presented at the conference. ===== DATES ===== Abstracts due: May 26, 2014 (Monday) Submission due: June 2, 2014 (Monday) Notification: August 6, 2014 (Wednesday) Final paper due: September 1, 2014 (Monday) Conference: November 17-19, 2014 (Monday-Wednesday) ========== ORGANIZERS ========== General chair: Wei-Ngan Chin (National University of Singapore) Program chair: Jacques Garrigue (Nagoya University) Program committee: Xiaojuan Cai (Shanghai Jiao Tong University, China) James Chapman (Institute of Cybernetics, Estonia) Cristian Gherghina (Singapore University of Technology and Design) Eric Goubault (CEA LIST and Ecole Polytechnique, France) Fei He (Tsinghua University, China) Gerwin Klein (NICTA and UNSW, Australia) Raghavan Komondoor (Indian Institute of Science, Bangalore) Paddy Krishnan (Oracle, Australia) Daan Leijen (Microsoft Research, USA) Yasuhiko Minamide (University of Tsukuba, Japan) Shin-Cheng Mu (Academia Sinica, Taiwan) Sungwoo Park (Pohang University of Science and Technology, Korea) Julian Rathke (University of Southampton, UK) Sukyoung Ryu (KAIST, Korea) Alexandra Silva (Radboud University Nijmegen, Netherlands) Martin Sulzmann (Karlsruhe University of Applied Sciences, Germany) Munehiro Takimoto (Tokyo University of Science, Japan) Jan Vitek (Purdue University, USA) Hongwei Xi (Boston University, USA) ======= CONTACT ======= aplas2014 at easychair.org

1 0

Call for papers: HLPP 2014 - 7th Symposium on High-Level Parallel Programming and Applications
by Clemens Grelck 19 Feb '14

19 Feb '14

=========================================================================== CALL FOR PAPERS HLPP 2014 7th International Symposium on High-level Parallel Programming and Applications Amsterdam, Netherlands July 3-4, 2014 https://sites.google.com/site/hlpp2014amsterdam/ =========================================================================== Aims and scope: As processor and system manufacturers increase the amount of both inter- and intra-chip parallelism it becomes crucial to provide the software industry with high-level, clean and efficient tools for parallel programming. Parallel and distributed programming methodologies are currently dominated by low-level techniques such as send/receive message passing, or equivalently unstructured shared memory mechanisms. Higher-level, structured approaches offer many possible advantages and have a key role to play in the scalable exploitation of ubiquitous parallelism. Since 2001 the HLPP series of workshops/symposia has been a forum for researchers developing state-of-the-art concepts, tools and applications for high-level parallel programming. The general emphasis is on software quality, programming productivity and high-level performance models. The 7th Symposium on High-Level Parallel Programming and Applications will be held July 3-4 in the historic center of Amsterdam. =========================================================================== Proceedings: Accepted papers will be distributed as informal draft proceedings during the symposium. All accepted papers will be published by Springer in a special issue of the International Journal of Parallel Programming (IJPP). =========================================================================== Important dates: Submission deadline: April 4 (anywhere on earth) Author notification: May 1 Camera-ready paper due: June 16 =========================================================================== Topics: HLPP 2014 invites papers on all topics in high-level parallel programming, its tools and applications including, but not limited to, the following aspects: + High-level programming and performance models (BSP, CGM, LogP, MPM, etc.) and their tools + Declarative parallel programming methodologies + Algorithmic skeletons and constructive methods + Declarative parallel programming languages and libraries: semantics and implementation + Verification of declarative parallel and distributed programs + Software synthesis, automatic code generation for parallel programming + Model-driven software engineering with parallel programs + High-level programming models for heterogeneous/hierarchical platforms + High-level parallel methods for large datasets + Applications of parallel systems using high-level languages and tools + Teaching experience with high-level tools and methods =========================================================================== Paper preparation and submission: Papers submitted to HLPP2014 must describe original research results and must not have been published or simultaneously submitted anywhere else. Manuscripts must be prepared with the Springer IJSS latex macro package and submitted via the EasyChair Conference Management System. Each paper will receive a minimum of three reviews by members of the international technical programme committee (see below). Papers will be selected based on their originality, relevance, technical clarity and quality of presentation. At least one author of each accepted paper must register for the HLPP 2014 symposium and present the paper. =========================================================================== HLPP Organizer and programme chair: Clemens Grelck Informatics Institute University of Amsterdam Science Park 904 1098XH Amsterdam Netherlands c.grelck(a)uva.nl =========================================================================== HLPP steering committee: Clemens Grelck (Universiteit van Amsterdam, Netherlands) Gaétan Hains (Université Paris-Est, France) Kiminori Matsuzaki (Kochi University of Technology, Japan) Frédéric Loulergue (Université d'Orléans, France) Quentin Miller (Somerville College Oxford, United Kingdom) Alexander Tiskin (University of Warwick, United Kingdom) =========================================================================== Previous HLPP symposia and workshops: HLPP 2013, Paris, France HLPP 2011, Tokyo, Japan HLPP 2010, Baltimore, USA HLPP 2005, Coventry, United Kingdom HLPP 2003, Paris, France HLPP 2001, Orléans, France =========================================================================== -- ---------------------------------------------------------------------- Dr Clemens Grelck Science Park 904 University Lecturer 1098XH Amsterdam Netherlands University of Amsterdam Institute for Informatics T +31 (0) 20 525 8683 Computer Systems Architecture Group F +31 (0) 20 525 7490 Office C3.105 www.science.uva.nl/~grelck ----------------------------------------------------------------------

1 0

Call for papers: HLPP 2014 - 7th Symposium on High-Level Parallel Programming and Applications
by Clemens Grelck 18 Feb '14

18 Feb '14

=========================================================================== CALL FOR PAPERS HLPP 2014 7th International Symposium on High-level Parallel Programming and Applications Amsterdam, Netherlands July 3-4, 2014 https://sites.google.com/site/hlpp2014amsterdam/ =========================================================================== Aims and scope: As processor and system manufacturers increase the amount of both inter- and intra-chip parallelism it becomes crucial to provide the software industry with high-level, clean and efficient tools for parallel programming. Parallel and distributed programming methodologies are currently dominated by low-level techniques such as send/receive message passing, or equivalently unstructured shared memory mechanisms. Higher-level, structured approaches offer many possible advantages and have a key role to play in the scalable exploitation of ubiquitous parallelism. Since 2001 the HLPP series of workshops/symposia has been a forum for researchers developing state-of-the-art concepts, tools and applications for high-level parallel programming. The general emphasis is on software quality, programming productivity and high-level performance models. The 7th Symposium on High-Level Parallel Programming and Applications will be held July 3-4 in the historic center of Amsterdam. =========================================================================== Proceedings: Accepted papers will be distributed as informal draft proceedings during the symposium. All accepted papers will be published by Springer in a special issue of the International Journal of Parallel Programming (IJPP). =========================================================================== Important dates: Submission deadline: April 4 (anywhere on earth) Author notification: May 1 Camera-ready paper due: June 16 =========================================================================== Topics: HLPP 2014 invites papers on all topics in high-level parallel programming, its tools and applications including, but not limited to, the following aspects: + High-level programming and performance models (BSP, CGM, LogP, MPM, etc.) and their tools + Declarative parallel programming methodologies + Algorithmic skeletons and constructive methods + Declarative parallel programming languages and libraries: semantics and implementation + Verification of declarative parallel and distributed programs + Software synthesis, automatic code generation for parallel programming + Model-driven software engineering with parallel programs + High-level programming models for heterogeneous/hierarchical platforms + High-level parallel methods for large datasets + Applications of parallel systems using high-level languages and tools + Teaching experience with high-level tools and methods =========================================================================== Paper preparation and submission: Papers submitted to HLPP2014 must describe original research results and must not have been published or simultaneously submitted anywhere else. Manuscripts must be prepared with the Springer IJSS latex macro package and submitted via the EasyChair Conference Management System. Each paper will receive a minimum of three reviews by members of the international technical programme committee (see below). Papers will be selected based on their originality, relevance, technical clarity and quality of presentation. At least one author of each accepted paper must register for the HLPP 2014 symposium and present the paper. =========================================================================== HLPP Organizer and programme chair: Clemens Grelck Informatics Institute University of Amsterdam Science Park 904 1098XH Amsterdam Netherlands c.grelck(a)uva.nl =========================================================================== HLPP steering committee: Clemens Grelck (Universiteit van Amsterdam, Netherlands) Gaétan Hains (Université Paris-Est, France) Kiminori Matsuzaki (Kochi University of Technology, Japan) Frédéric Loulergue (Université d'Orléans, France) Quentin Miller (Somerville College Oxford, United Kingdom) Alexander Tiskin (University of Warwick, United Kingdom) =========================================================================== Previous HLPP symposia and workshops: HLPP 2013, Paris, France HLPP 2011, Tokyo, Japan HLPP 2010, Baltimore, USA HLPP 2005, Coventry, United Kingdom HLPP 2003, Paris, France HLPP 2001, Orléans, France =========================================================================== -- ---------------------------------------------------------------------- Dr Clemens Grelck Science Park 904 University Lecturer 1098XH Amsterdam Netherlands University of Amsterdam Institute for Informatics T +31 (0) 20 525 8683 Computer Systems Architecture Group F +31 (0) 20 525 7490 Office C3.105 www.science.uva.nl/~grelck ----------------------------------------------------------------------

1 0

Call for papers: HLPP 2014 - 7th Symposium on High-Level Parallel Programming and Applications
by Clemens Grelck 18 Feb '14

18 Feb '14

=========================================================================== CALL FOR PAPERS HLPP 2014 7th International Symposium on High-level Parallel Programming and Applications Amsterdam, Netherlands July 3-4, 2014 https://sites.google.com/site/hlpp2014amsterdam/ =========================================================================== Aims and scope: As processor and system manufacturers increase the amount of both inter- and intra-chip parallelism it becomes crucial to provide the software industry with high-level, clean and efficient tools for parallel programming. Parallel and distributed programming methodologies are currently dominated by low-level techniques such as send/receive message passing, or equivalently unstructured shared memory mechanisms. Higher-level, structured approaches offer many possible advantages and have a key role to play in the scalable exploitation of ubiquitous parallelism. Since 2001 the HLPP series of workshops/symposia has been a forum for researchers developing state-of-the-art concepts, tools and applications for high-level parallel programming. The general emphasis is on software quality, programming productivity and high-level performance models. The 7th Symposium on High-Level Parallel Programming and Applications will be held July 3-4 in the historic center of Amsterdam. =========================================================================== Proceedings: Accepted papers will be distributed as informal draft proceedings during the symposium. All accepted papers will be published by Springer in a special issue of the International Journal of Parallel Programming (IJPP). =========================================================================== Important dates: Submission deadline: April 4 (anywhere on earth) Author notification: May 1 Camera-ready paper due: June 16 =========================================================================== Topics: HLPP 2014 invites papers on all topics in high-level parallel programming, its tools and applications including, but not limited to, the following aspects: + High-level programming and performance models (BSP, CGM, LogP, MPM, etc.) and their tools + Declarative parallel programming methodologies + Algorithmic skeletons and constructive methods + Declarative parallel programming languages and libraries: semantics and implementation + Verification of declarative parallel and distributed programs + Software synthesis, automatic code generation for parallel programming + Model-driven software engineering with parallel programs + High-level programming models for heterogeneous/hierarchical platforms + High-level parallel methods for large datasets + Applications of parallel systems using high-level languages and tools + Teaching experience with high-level tools and methods =========================================================================== Paper preparation and submission: Papers submitted to HLPP2014 must describe original research results and must not have been published or simultaneously submitted anywhere else. Manuscripts must be prepared with the Springer IJSS latex macro package and submitted via the EasyChair Conference Management System. Each paper will receive a minimum of three reviews by members of the international technical programme committee (see below). Papers will be selected based on their originality, relevance, technical clarity and quality of presentation. At least one author of each accepted paper must register for the HLPP 2014 symposium and present the paper. =========================================================================== HLPP Organizer and programme chair: Clemens Grelck Informatics Institute University of Amsterdam Science Park 904 1098XH Amsterdam Netherlands c.grelck(a)uva.nl =========================================================================== HLPP steering committee: Clemens Grelck (Universiteit van Amsterdam, Netherlands) Gaétan Hains (Université Paris-Est, France) Kiminori Matsuzaki (Kochi University of Technology, Japan) Frédéric Loulergue (Université d'Orléans, France) Quentin Miller (Somerville College Oxford, United Kingdom) Alexander Tiskin (University of Warwick, United Kingdom) =========================================================================== Previous HLPP symposia and workshops: HLPP 2013, Paris, France HLPP 2011, Tokyo, Japan HLPP 2010, Baltimore, USA HLPP 2005, Coventry, United Kingdom HLPP 2003, Paris, France HLPP 2001, Orléans, France =========================================================================== -- ---------------------------------------------------------------------- Dr Clemens Grelck Science Park 904 University Lecturer 1098XH Amsterdam Netherlands University of Amsterdam Institute for Informatics T +31 (0) 20 525 8683 Computer Systems Architecture Group F +31 (0) 20 525 7490 Office C3.105 www.science.uva.nl/~grelck ----------------------------------------------------------------------

1 0

5 PhD Positions in Formal Methods, Functional Programming, and Information and Software/Web Security at the Chalmers University of Technology, Sweden
by Laura Kovacs 17 Feb '14

17 Feb '14

5 PhD Positions in Formal Methods, Functional Programming, and Information and Software/Web Security at the Department of Computer Science and Engineering, Chalmers University of Technology, Sweden Application deadline: March 31, 2014 Expected starting date of positions: September 1, 2014 ------------------------------------------------------------------------ *Job description* The Department of Computer Science and Engineering at Chalmers University of Technology invites applications for PhD positions in Formal Methods/Automated Reasoning, Functional Programming, and Information and Software/Web Security, as follows: ----------------------------- * 1 PhD position in Formal Methods: The PhD student will join the Formal Methods group and contribute to its research on improving the quality of complex software systems. The Formal Methods group of Chalmers is an internationally recognised research group with a high-profile research track record and an excellent network of collaborators. The group's research focus is in the theoretical and practical aspects of formal software verification, including automated reasoning, interactive theorem proving, runtime verification, and test generation. Together with international collaborators, the group members co-developed widely recognised verification tools like KeY ( www.key-project.org) Vampire (http://vprover.org) ALIGATOR ( mtc.epfl.ch/software-tools/Aligator), and LARVA. The research of the advertised PhD position will be in the area of Software Verification, with a strong focus on the creative use and development of automated reasoning techniques for software verification. In particular, we are interested in designing and combining new methods in automated first-order theorem proving, satisfiability modulo theory solvers, symbolic computation, and program analysis for the generation and verification of complex program properties, such as invariants, interpolants, pre- and post-conditions. Background in one or more of the following areas is expected: logic, formal methods, formal verification. This position will be supervised by Prof. Laura Kovacs in the frame of her recently granted junior researcher project by the Swedish Research Council. Laura Kovacs is the main developer of the ALIGATOR tool and the co-developer of the world-leading theorem prover Vampire for applications of program analysis and verification. ----------------------------- * 1 PhD Position in Functional Programming The PhD student will join the Chalmers Functional Programming (FP) Group, one of the leading groups in the field. The Chalmers FP Group has a strong interest in Embedded Domain Specific Languages, beginning with their work on Lava for hardware design. The focus of the advertised position is on returning to the problem of how to use Functional Programming to support hardware design and deterministic parallel programming. We are particularly interested in the implementation of cryptographic algorithms. Our favoured platform is the open source Parallella board from Adapteva (http://www.adapteva.com/parallella-board/) which combines Field Programmable Gate Array (FPGA), two ARM cores and 16 or 64 cores connected in a grid. This small board promises high performance, low power computing, but the question of how best to program it is an interesting one. The new PhD student will work on the use of Functional Programming to enable programming of such highly parallel heterogeneous systems. The ideal candidate for the position in Functional Programming will have a strong background in functional programming and at least one of hardware design and parallel programming. The PhD student will be supervised by Prof. Mary Sheeran, who has long pioneered the combination of hardware design and functional programming, particularly working with her former students Koen Claessen and Satnam Singh. The work will be closely connected to the SSF funded project on Productivity and Performance through Resource Aware Functional Programming ( http://www.cse.chalmers.se/~ms/SSF10Final.pdf) ----------------------------- * 1 PhD Position in Information Security The PhD student will join the Chalmers Information Security group, working in the area of information and communication security with a focus on authentication problems in constrained settings. This is particularly important for applications involving mobile phones, wireless communication and RFID systems, which suffer from restrictions in terms of power resources, network connectivity, computational capabilities, as well as potential privacy issues. The overall aim of the announced PhD position will be to develop nearly optimal algorithms for achieving security and privacy while minimising resource use. More concretely, part of the research will involve the analysis and development of authentication protocols in specific settings. This will include investigating resistance of both existing and novel protocols against different types of attacks, theoretically and experimentally. In addition to investigating established settings, such as RFID authentication, the research will also explore more general authentication problems, such as those that arise in the context of trust in social networks, smartphone applications and collaborative data processing. This will be done by grounding the work in a generalised decision-making framework. The project should result in the development of theory and authentication mechanisms for noisy, constrained settings that strike an optimal balance between reliable authentication, privacy-preservation and resource consumption. Experience in one or more of cryptography, probability and statistics, decision and game theory are beneficial. Mathematical maturity is essential. The PhD student will be supervised by Prof. Katerina Mitrokotsa and will have the chance to collaborate with well-known researchers in the area of information security. Some previous research related to this research project can be found here: http://www.cse.chalmers.se/~aikmitr/ . Katerina Mitrokotsa's research is currently funded by the European Commission and the Chalmers ICT Areas of advance. --------------------------------- * 2 PhD Positions in Software/Web Security The PhD students will join a world-leading team of researchers on software security. Software is often the root cause of vulnerabilities in modern computing systems such as the web. By focusing on securing the software, we target principled security mechanisms that provide robust protection against large classes of attacks. The focus of the advertised positions is on the following directions of work: - To design rich security policies for confidentiality, integrity and availability, as demanded by practical applications (such as web and mobile applications). - To develop practical enforcement mechanisms for these policies in expressive programming languages (such as web and mobile languages). These enforcement mechanisms may combine static (for example, static program analysis-based) and dynamic (for example, run-time execution monitoring-based) techniques. - To support the above with case studies in web-application security. In pursuing these goals, there are possibilities for collaboration with our high-profile academic and industrial partners. We run a number of ambitious projects with top international partners in academia and industry, including the European project WebSand on web application security: https://www.websand.eu/ These positions will be supervised by Prof. Andrei Sabelfeld, recipient of a number of recent awards, including SSF Advancement of Research Leaders award (2008), Chalmers Research Supervisor of the Year (2010), and ERC Starter/Consolidator (2012). Promotional video about the team's research on securing web applications: http://vimeo.com/82206652 ------------------------------------------------------------------------ *Details about Employment* PhD student positions are limited to five years and normally include 20 per cent departmental work, mostly teaching duties. Salary for the position is as specified in Chalmers' general agreement for PhD student positions. Currently the starting salary is 26,250SEK a month before tax. The positions are intended to start in fall 2014. ------------------------------------------------------------------------ *Suitable Background* Applicants should have a Master's Degree or corresponding degree in Computer Science, Computer Engineering, or in a related discipline. As for all PhD studies, a genuine interest and curiosity in the subject matter and excellent analytical and communication skills, both oral and written, are needed. You may apply even if you have not completed your degree, but expect to do so before the position starts. Knowledge of Swedish is not a prerequisite for applying since English is our working language for research, and we publish internationally. Both Swedish and English are used in undergraduate courses. Half of our researchers and PhD students at the department come from more than 30 different countries. ------------------------------------------------------------------------ *How to apply* The application should be written in English and include the following items: 1. An application of a maximum of one A4 page summarising your track record and providing your research statement 2. Attested copies of education certificates, including grade reports and other documents 3. Curriculum Vitae 4. Letters of recommendation and name of reference persons 5. Evidence of written work: research papers and theses It is important to include parts of your own work such as theses and articles that you have authored or co-authored. Please notice also that it is highly recommended that you include letters of recommendation; we typically get a large number of applications, and it is not feasible for us to request individual letters. The application should be submitted electronically by March 31, 2014, at: - for the position in Formal Methods: http://www.chalmers.se/en/about-chalmers/vacancies/?rmpage=job&rmjob=1911 - for the position in Functional Programming: http://www.chalmers.se/en/about-chalmers/vacancies/?rmpage=job&rmjob=1912 - for the position in Information Security: http://www.chalmers.se/en/about-chalmers/vacancies/Pages/default.aspx?rmpag… - for the positions in Software/Web Security: http://www.chalmers.se/en/about-chalmers/vacancies/?rmpage=job&rmjob=1913 The selection of the specific research topic will take into account both the interests of the new PhD student and the research agenda of the respective group. ------------------------------------------------------------------------ *Contact persons for further information:* Laura Kovacs <laura.kovacs(a)chalmers.se>, Formal Methods: http://www.cse.chalmers.se/~laurako/ Katerina Mitrokotsa <aikaterini.mitrokotsa(a)chalmers.se>, Information Security: http://www.cse.chalmers.se/~aikmitr/ Andrei Sabelfeld <andrei(a)chalmers.se>, Software/Web Security: http://www.cse.chalmers.se/~andrei/ Mary Sheeran <mary.sheeran(a)chalmers.se>, Functional Programming: http://www.cse.chalmers.se/~ms/ ------------------------------------------------------------------------ *The Department* The Department has about 70 faculty members and enrols about 90 PhD students from more than 30 countries. The research spans the whole spectrum, from theoretical foundations to applied systems development. There is extensive national and international collaboration with academia and industry all around the world. For more information, see http://www.chalmers.se/cse/EN/ . ------------------------------------------------------------------------ *Gothenburg, Sweden* Gothenburg is often referred to as the "heart of Scandinavia". The videos below give an impression what it's like to live and study in Gothenburg. Live in Gothenburg: http://youtu.be/sbwVIQeGcdY Study in Gothenburg: http://youtu.be/0WrlGlSyS1c ------------------------------------------------------------------------

1 0

ANN: Simon Marlow & Edward Kmett @ ZuriHac 2014
by Bas van Dijk 14 Feb '14

14 Feb '14

Dear Haskellers and ZuriHac 2014 attendees, On this lovely day (pun intended), I'm excited to announce that Simon Marlow and Edward Kmett will be giving talks at ZuriHac 2014. When: Friday 6 June 2014 - Sunday 8 June 2014 Where: Erudify offices, Zurich, Switzerland ZuriHac is an international Haskell hackathon: a grassroots, collaborative coding festival with a simple focus, to build and improve Haskell libraries, tools, and infrastructure. This is a great opportunity to meet your fellow Haskellers in real life, find new contributors for your project, improve existing libraries and tools, or even start new ones! 30 people already signed up for ZuriHac 2014 but there's still room for more. If you wish to attend, please register by filling in this form: http://bit.ly/ZuriHac2014 Full details can be found on the wiki page: http://www.haskell.org/haskellwiki/ZuriHac2014 We look forward to seeing you there! -- The organisers of ZuriHac 2014 ZuriHac 2014 is sponsored by Erudify & Google

1 0

Fun in the Afternoon @Facebook, March 12 2014: Schedule
by Simon Marlow 13 Feb '14

13 Feb '14

I had an incredible response to the call for talks for Fun @Facebook, thanks to everyone who offered a talk! The schedule and abstracts are below. As you can see, I've kept the slots short (25 minutes) in order to fit in 9 talks and 2 breaks. Time will be tight, but it should be good Fun. More details about logistics to follow. Schedule: March 12 ================== 12.00-1.00 grab some lunch nearby, then head to Facebook London ------------ 1.00 José Pedro Magalhães: Chordify: Advanced Functional Programming for Fun and Profit 1.25 Dominic Orchard: Fun with indexed monads 1.50 Patrick Chilton and Niklas Hambuchen: Brain reading with Hemokit 2.15-2.45 BREAK ------------ 2.45 Claudio Russo: Tabular: A DSL for Probabilistic Inference from Excel 3.10 Duncan Coutts: Binary serialisation: better, stronger, faster 3.35 Ben Ford: Haskell in production 4.00-4.30 BREAK ------------ 4.30 Tarmo Uustalu: Update monads, or how you always wanted to combine reading and writing 4.55 Dominic Steinitz: Automatic Differentiation: A Criminally Underused Tool? 5.20 Maceij Pirog: FizzBuzz in Haskell by Embedding a Domain-Specific Language 5.45 END (pub + food) Abstracts ========= José Pedro Magalhães Chordify: Advanced Functional Programming for Fun and Profit Abstract Functional programming, especially when using advanced techniques such as GADTs, type functions, and kind polymorphism, is not only fun; it can also be profitable. In this talk I'll describe my experience in using advanced functional programming in Haskell within Chordify, a web startup that brings chord recognition to the masses. ------------- Dominic Orchard Fun with indexed monads Monads are well established as an abstraction technique for programming with effects of various kinds. At the type-level, monads present a black-box view of effects: for some notion of effect, a computation is either effectful or not. This contrasts with the richer information provided by effect systems. Various work has unified monads and effect systems, both syntactically (Wadler & Thiemann, 2003) and semantically (Katsumata, 2014). In this talk, I show how to program with "indexed monads" in Haskell which semantically unify monads and effects, where a monadic type constructor is indexed by a monoid of effect information. A number of examples are shown, including verifying finite-element computations in scientific computing using indexed monads. This is joint work with Tomas Petricek, Andrew Rice, and Alan Mycroft. ------------- Patrick Chilton and Niklas Hambuchen Brain reading with Hemokit We present our Haskell driver for the Emotiv EEG and how you can use it to control your computer with your brain. We might discuss good and bad experiences in binding-writing and might try to abuse the audience to solve our problems. ------------- Claudio Russo Tabular: A DSL for Probabilistic Inference from Excel Joint work with: Andy Gordon, Thore Graepel, Nicolas Rolland, Johannes Borgström, John Guiver, Marcin Szymczak Tabular is a probabilistic functional language embedded in Excel. Tabular brings the power of machine learning to data enthusiasts - the large class of end users who wish to model and learn from their data, who have some knowledge of probability distributions and data schemas, but who are not necessarily professional developers. Tabular is an Excel plugin that provides a much simpler, interactive interface to the underlying Infer.NET inference engine. Tabular helps the data enthusiast model and visualize their data. Tabular automatically suggests a model from the data schema, allows the enthusiast to edit and refine the model, infers model parameters from data and predicts missing values, and visualizes the results using Excel's standard features. The ability to query for missing values provides a uniform interface to a wide variety of tasks, including classification, clustering, recommendation, and ranking. Tabular is based on probabilistic programming technology, which enables a wide range of machine learning algorithms to be constructed based on a probabilistic model. A unique feature is that Tabular models are simply succinct annotations on the relational schema of the Excel data model. The talk will give an overview and demo of the language in action. ------------- Duncan Coutts Binary serialisation: better, stronger, faster This talk is about a new implementation of binary serialisation for Haskell's 'binary' package. It is faster -- much faster -- and produces smaller binary output, but just as importantly it provides a story for versioning and migration and the ability to view the binary data without a schema. We will look at the binary format of the current binary (and cereal) packages and see why it makes developers nervous and excludes potential uses. We will describe some of the qualities that we want from a serialisation format, the particular format choice that we have settled on and how we can implement versioning/migration. We will also look at the performance side of things: why the existing binary serialisation packages are not as fast as they could be and at the key tricks -- high level and low level -- in the new implementation. There will be quite a bit of GHC-core code diving and discussion of evaluation and runtime issues. Some of these optimisation tricks or analysis techniques may be useful in your own projects, and should give you a renewed appreciation for GHC's capabilities. ------------- Ben Ford Haskell in Production Fynder is a start up building a platform for discovering and booking services across multiple different industries. This talk will be about how we tackle the problem and how we've built a development, testing and deployment environment around Haskell as the core language. ------------- Tarmo Uustalu Update monads, or how you always wanted to combine reading and writing Did it ever trouble you that, despite feeling a bit like it, state monads fail to be a common generalization of reader and writer monads? I will introduce you to update monads, a true generalization of reader and writer monads that is moreover as canonical as it gets. An update monad is given by a set (of states), a monoid (of updates) and an action of the monoid on the set (defining the effect of every update on every state). Update monads are exactly the compatible compositions of reader and writer monads, which are in a bijection with distributive laws between reader and writer monads. State monads are canonically related to those update monads where the monoid of updates is the free monoid on the overwrite semigroup structure on the set of states. Update monads do not just have a clean theoretical motivation; embracing many natural examples, they are also a practical abstraction. A finer dependently-typed variation of the concept has every state coming with its own set of enabled updates. This is joint work with Danel Ahman, University of Edinburgh. ------------- Dominic Steinitz Automatic Differentiation: A Criminally Underused Tool? Artificial Neural Networks (ANNs) are a well-established Machine Learning (ML) technique. Traditionally, training ANNs is done using a technique called backpropogation. It turns out that this is just a specialised version of Reverse Automatic Differentiation (RAD) and steepest descent. This talk explains the theory behind RAD and develops an implementation in Haskell of Forward Automatic Differentiation (FAD) with a brief application to another ML technique: regression. ------------- Maceij Pirog FizzBuzz in Haskell by Embedding a Domain-Specific Language The FizzBuzz problem is simple but not trivial, which makes it a popular puzzle during job interviews for software developers. The conundrum lies in a peculiar but not unusual control-flow scenario: the default action is executed only if some previous actions were not executed. In this tutorial we ask if we can accomplish this without having to check the conditions for the previous actions twice; in other words, if we can make the control flow follow the information flow without loosing modularity. And the contest is for beauty of the code. We deliver a rather non-standard, and a bit tongue-in-cheek solution. First, we design a drastically simple domain-specific language (DSL), which we call, after the three commands of the language, Skip-Halt-Print. For each natural number n, we devise a Skip-Halt-Print program that solves FizzBuzz for n. Then, we implement this in Haskell, and through a couple of simple transformations we obtain the final program. The corollary is a reminder of the importance of higher-order functions in every functional programmer s toolbox.

1 0