March 2014 - Haskell - Haskell.org

[JOB] Summer internships at Jane Street
by Yaron Minsky 24 Mar '14

24 Mar '14

Jane Street is looking to hire functional programmers for our offices in New York, London and Hong Kong. Right now we're especially looking for interns for this upcoming summer. Interning at Jane Street is a challenging and varied experience. Here are some of the projects our interns have completed. - Developing an FRP-style toolkit for building sophisticated text-mode UIs - Rewriting and generalizing our RPC messaging library using session types - Prototyping optimizations to the OCaml compiler - Working on the internals of Async, our monadic concurrency library Many of our intern projects make their way out as open-source projects. Interns also learn about Jane Street's trading business through lectures and more interactive training sessions. Plus, there are a lot of fun social activities throughtout the summer. If you're interested in an internship, or know someone who might be, applications can be submitted here. http://janestreet.com/apply And as usual, we're also hiring developers for fulltime positions in NYC, Hong Kong and London as well! Cheers, y

1 1

RV 2014: Call for Papers, Deadline in 2 weeks
by Runtime Verification 23 Mar '14

23 Mar '14

[Apologizes for duplicates] 14th International Conference on Runtime Verification September 22 - 25, 2014 *Toronto, Canada* http://rv2014.imag.fr/ <http://rv2014.imag.fr/images/CfP.pdf> Scope: Runtime verification is concerned with monitoring and analysis of software and hardware system executions. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for testing, verification, and debugging purposes, and after deployment for ensuring reliability, safety, and security and for providing fault containment and recovery as well as online system repair. Topics of interest to the conference include: - specification languages - specification mining - program instrumentation - monitor construction techniques - logging, recording, and replay - fault detection, localization, containment, recovery and repair - program steering and adaptation - metrics and statistical information gathering - combination of static and dynamic analyses - program execution visualization - monitoring techniques for safety/mission-critical systems - monitoring distributed systems, cloud services, and big data applications - monitoring security and privacy policies Application areas of runtime verification include safety/mission-critical systems, enterprise and systems software, autonomous and reactive control systems, health management and diagnosis systems, and system security and privacy. Technical Research Papers Track: Technical research papers can be submitted in two categories: regular and short papers. Papers in both categories will be reviewed by the conference Program Committee. All accepted technical papers will appear in an LNCS<http://www.springer.com/series/558> volume. Submitted papers must use the LNCS style<http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0>. At least one author of each accepted paper must attend RV'14 to present the paper. Papers must be submitted electronically using theEasyChair<https://www.easychair.org/conferences/?conf=rv2014> system. - *Regular papers* (up to 15 pages) should present original unpublished results. Theoretical and experimental papers as well as papers on applications of runtime verification and case studies are all welcome. A non-monetary Best Paper Award will be given. A selection of accepted regular papers will be invited to appear in a special issue of the Springer Journal on Formal Methods in System Design. - *Short papers* (up to 5 pages) may present novel but not necessarily thoroughly worked out ideas, for example emerging runtime verification techniques and applications, or techniques and applications that establish relationships between runtime verification and other domains. Accepted short papers will be presented in special short talk (10 minutes) and poster sessions. Program committee Borzoo Bonakdarpour <https://cs.uwaterloo.ca/~bbonakda/> (University of Waterloo, Canada), *co-chair* Scott Smolka <http://www.cs.sunysb.edu/~sas/> (Stony Brook Universtiy, USA), *co-chair* Gul Agha <http://cs.illinois.edu/directory/profile/agha> (University of Illinois at Urbana-Champaign, USA) Thomas Ball <http://research.microsoft.com/en-us/people/tball/> (Microsoft Research, Redmond, USA) Howard Barringer <http://www.manchester.ac.uk/research/howard.barringer> (The University of Manchester, UK) Ezio Bartocci <http://www.eziobartocci.com/> (TU Wien, Austria) David Basin <http://www.inf.ethz.ch/personal/basin/> (ETH Zurich, Switzerland) Saddek Bensalem <http://www-verimag.imag.fr/~bensalem/> (Verimag, France) Eric Bodden <http://www.bodden.de/> (TU - Darmstadt, Germany) Ivona Brandic <http://www.infosys.tuwien.ac.at/staff/ivona/> (TU Wien, Austria) Marsha Chechik <http://www.cs.toronto.edu/~chechik/> (University of Toronto, Canada) Michael Clarkson <http://faculty.cs.gwu.edu/~clarkson/> (George Washington University, USA) Laura Dillon <http://www.cse.msu.edu/~ldillon/> (Michigan State University, USA) Shlomi Dolev <http://www.cs.bgu.ac.il/~dolev/> (Ben Gurion University, Israel) Alastair Donaldson <http://www.doc.ic.ac.uk/~afd/> (Imperial College London, UK) Dawson Engler <http://www.stanford.edu/~engler/> (Stanford University, USA) Ylies Falcone <http://www.ylies.fr/> (Université Joseph Fourier, France) Vijay Garg <http://users.ece.utexas.edu/~garg/> (University of Texas at Austin, USA) Steve Goddard <http://cse.unl.edu/~goddard/papers.html> (University of Nebraska-Lincoln, USA) Ganesh Gopalakrishnan <http://www.cs.utah.edu/~ganesh/> (University of Utah, USA) Wolfgang Grieskamp (Google, USA) Radu Grosu <http://www.cs.sunysb.edu/~grosu/> (TU- Wien, Austria) Klaus Havelund <http://www.havelund.com/> (NASA/JPL, USA) Mats Heimdahl <http://www.umsec.umn.edu/about/director> (University of Minnesota, USA) Laurie Hendren <http://www.sable.mcgill.ca/~hendren/> (McGill University, Canada) Gerard Holzmann <http://lars-lab.jpl.nasa.gov/people/gh.html> (NASA/JPL, USA) Daniel Keren <http://www.cs.haifa.ac.il/~dkeren/> (Haifa University, Israel) Sandeep Kulkarni <http://www.cse.msu.edu/~sandeep/>(Michigan State University, USA) Marta Kwiatkowska <http://www.cs.ox.ac.uk/marta.kwiatkowska/> (University of Oxford, UK) Insup Lee <http://www.cis.upenn.edu/~lee/home/home/index.shtml> (University of Pennsylvania, USA) Axel Legay <http://people.irisa.fr/Axel.Legay/> (IRISA/INRIA, France) Martin Leucker <http://www.isp.uni-luebeck.de/leucker/> (University of Lübeck, Germany) Leonardo Mariani<http://www.lta.disco.unimib.it/lta/personalPages/leonardoMariani/leonardoMa…> (University of Milano Bicocca, Italy) Patrick Meredith <http://fsl.cs.illinois.edu/index.php/Patrick_Meredith> (University of Illinois at Urbana-Champaign, USA) David Naumann <http://www.cs.stevens.edu/~naumann/> (Stevens Institute of Technology, USA) Doron Peled <http://u.cs.biu.ac.il/~doronp/> (Bar Ilan University, Israel) Mauro Pezze <http://www.inf.usi.ch/personal-info?id=1187> (University of Lugano, Switzerland) Lee Pike <http://www.cs.indiana.edu/~lepike/> (Galois Inc., USA) Zvonimir Rakamaric <http://www.zvonimir.info/> (University of Utah, USA) Grigore Rosu <http://fsl.cs.illinois.edu/index.php/Grigore_Rosu> (University of Illinois at Urbana-Champaign, USA) Andrey Rybalchenko <http://www7.in.tum.de/~rybal/> (TU-Munich, Germany) Andre Schiper <http://people.epfl.ch/andre.schiper?lang=fr> (EPFL, Switzerland) Oleg Sokolsky <http://www.cis.upenn.edu/~sokolsky/> (University of Pennsylvania, USA) Scott Stoller <http://www.cs.sunysb.edu/~stoller/> (Stony Brook University, USA) Serdar Tasiran <http://home.ku.edu.tr/~stasiran/> (Koc University, Turkey) Michael Whalen <http://www.umsec.umn.edu/directory/Michael-Whalen> (University of Minnesota, USA) Lenore Zuck <http://www.cs.uic.edu/~lenore/> (University of Illinois at Chicago, USA) Tool Demonstrations Track: The aim of the RV 2014 tool demonstration track is to provide an opportunity for researchers and practitioners to show and to discuss the latest advances, experiences and challenges in devising and developing reliable software tools for runtime verification. Tool demonstration papers will be reviewed by the Tools Track Program Committee. All accepted tool demonstration papers will appear in the conference proceedings LNCS volume. Submitted papers must use the LNCS style. At least one author of each accepted paper must attend RV'14 to present the paper. Papers must be submitted electronically using the EasyChair<https://www.easychair.org/conferences/?conf=rv2014> system. Tool papers should meet the following criteria: - A tool paper should present a new tool, a new tool component or novel extensions to existing tools supporting runtime verification. Each submission should be original and not published previously in a tool paper form. - Each submission must not exceed 8 pages in the LNCS/Springer proceeding format, including all text, references and figures. The paper must be written in English and provided in PDF format. - Each submission must be accompanied at the time of the submission by a short screencast (between 5-10 minutes), with voice and overlay text commentary illustrating the demonstration of the tool (a link to it should be provided in the paper). - The paper must include information on tool availability, maturity, selected experimental results and it should provide a link to a website containing the theoretical background and user guide. Furthermore, we strongly encourage authors to make their tools and benchmarks available with their submission. - Each tool paper must include a script in an appendix (not included in the page count) describing how the demo will be conducted during the conference presentation with screenshots presenting step-by-step the tool's capabilities, highlighting the main characteristics and the usage. Evaluation Each submission will be reviewed by at least four members of the tool demonstration track program committee. The evaluation criteria will include: - the presentation quality - the availability (possibly in a open-source format) of the software. - the relevance for the Runtime Verification audience - the technical soundness of the presented tool - the originality of the underlying ideas Tool Demonstration Committee Ezio Bartocci, (TU-Vienna, Austria), *Chair* Eric Bodden (TU - Darmstadt, Germany) Alastair Donaldson (Imperial College London, UK) Dawson Engler (Stanford University, USA) Ylies Falcone (Université Joseph Fourier, France) Klaus Havelund (NASA/JPL, USA) Michael Whalen (University of Minnesota, USA) Important Dates: Both research papers and tool demonstration tracks will follow the following timeline: - *Abstract deadline:* April 8, 2014 - *Full paper deadline:* April 15, 2014 - *Rebuttal phase:* May 18-20, 2014 - *Acceptance notification:* June 10, 2014 - *Camera ready submission:* June 25, 2014 - *Conference dates:* 22-25 September, 2014

1 0

ANNOUNCE: wxHaskell 0.90.1.0
by Henk-Jan van Tuyl 21 Mar '14

21 Mar '14

L.S., I am happy to announce a new version of wxHaskell. This version binds to wxWidgets 2.9 [0]. What is it? ----------- wxHaskell is a portable and native GUI library for Haskell. The goal of the project is to provide an industrial strength GUI library for Haskell, but without the burden of developing (and maintaining) one ourselves. wxHaskell is therefore built on top of wxWidgets – a comprehensive C++ library that is portable across all major GUI platforms; including GTK, Windows, X11, and MacOS X. Furthermore, it is a mature library (in development since 1992) that supports a wide range of widgets with the native look-and-feel. What's new? ----------- - Added functionality: wxGrid: cell spans, cell renderers (numeric, auto string wrapping), wxScrolledWindow, wxSplitterWindow - Reanimated wxToggleButton, added wxBitmapToggleButton - Solved problem with spaces in pathnames (installation procedure, Windows) - Increased max version of dependencies - The external preprocessor (CPP) is now used - The presence of the wx-config executable is checked at installation time - The bitness of the wxWidgets dynamic libraries is compared to the bitness of the wxHaskell libraries to generate, at installation time; a warning is given when the bitness is incompatible - Documentation improvements - Bugs fixed Links ----- See the homepage of wxHaskell for more information: https://www.haskell.org/haskellwiki/WxHaskell The packages are: - wxc https://hackage.haskell.org/package/wxc - wxdirect https://hackage.haskell.org/package/wxdirect - wxcore https://hackage.haskell.org/package/wxcore - wx https://hackage.haskell.org/package/wx Regards, Henk-Jan van Tuyl [0] https://www.wxwidgets.org/ -- Folding@home What if you could share your unused computer power to help find a cure? In just 5 minutes you can join the world's biggest networked computer and get us closer sooner. Watch the video. http://folding.stanford.edu/ http://Van.Tuyl.eu/ http://members.chello.nl/hjgtuyl/tourdemonad.html Haskell programming --

1 0

Last call for Google Summer of Code 2014 applications
by Shachaf Ben-Kiki 21 Mar '14

21 Mar '14

Haskell.org is participating in Google Summer of Code again this year, and the student application deadline is nigh. Edward Kmett and I are the administrators this year. The deadline is 2014-03-21 at 19:00 UTC (noon PDT), or roughly 11 hours from now, so make sure to get your applications in before then. For a full timeline see <http://www.google-melange.com/gsoc/events/google/gsoc2014>. If you have any questions, feel free to ask on IRC (#haskell-gsoc on Freenode), or to contact me or Edward directly! Shachaf

1 0

CFP ARRAY'14
by Mary Sheeran 19 Mar '14

19 Mar '14

The ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming Date of workshop: Friday June 13th Location: Edinburgh (colocated with PLDI) Deadline for submissions (4-6 pages): April 2 (2 weeks from today) web site: http://www.sable.mcgill.ca/array/ This interesting workshop welcomes submissions from functional programmers! Contact Mary Sheeran (ms(a)chalmers.se) if you have questions.

1 0

BX2014: Call for participation
by Soichiro Hidaka 18 Mar '14

18 Mar '14

Third International Workshop on Bidirectional Transformations (BX 2014) Friday March 28th, 2014 Athens, Greece co-located with EDBT/ICDT 2014 Workshop information: http://bx-community.wikidot.com/bx2014:home Online Proceedings: http://ceur-ws.org/Vol-1133/#bx Online registration is open until March 20th at http://www.edbticdt2014.gr/index.php/registration On-site registration is also available during the conference (at a higher rate). ----- Bidirectional transformations (bx) are a mechanism for maintaining the consistency of at least two related sources of information. Such sources can be relational data, software models, documents, graphs, trees, and so on. BX are an emerging topic in a wide range of research areas with prominent presence at top conferences in different fields. However, much of the research in bx tends to get limited exposure outside of a single field of study. The purpose of this workshop series is not only to further research into bx, but to promote cross-disciplinary research and awareness in the area. **************** Workshop program **************** 08:45-09:00 Opening Remarks: James Terwilliger 09:00-10:40 Session 1: Types, Transformations, and Benchmark ------------------------------------------------------------ 09:00-09:15 Implementing a Bidirectional Model Transformation Language as an Internal DSL in Scala Arif Wider 09:15-09:30 Towards a framework for multi-directional model transformations Nuno Macedo, Alcino Cunha, Hugo Pacheco 09:30-09:45 Formalizing Semantic Bidirectionalization with Dependent Types Helmut Grohne, Andres Löh, and Janis Voigtländer 09:45-10:00 Group discussion 10:00-10:15 BenchmarX Anthony Anjorin, Manuel Alcino Cunha, Holger Giese, Frank Hermann, Arend Rensink, and Andy Schürr 10:15-10:30 Towards a Repository of Bx Examples James Cheney, Jeremy Gibbons, James McKinna, and Perdita Stevens 10:30-10:40 Group discussion 10:40-11:00 Coffee Break 11:00-12:30 Session 2: Databases, Monads, and Lenses -------------------------------------------------------- 11:00-11:15 Intersection Schemas as a Dataspace Integration Technique Richard Brownlow and Alex Poulovassilis 11:15-11:30 Bidirectional Transformations in Database Evolution: A Case Study "At Scale" Mathieu Beine, Nicolas Hames, Jens Weber, and Anthony Cleve 11:30-11:40 Group discussion 11:40-11:55 Entangled State Monads Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, and Perdita Stevens 11:55-12:10 Spans of Lenses Michael Johnson and Robert Rosebrugh 12:10-12:30 Group discussion and closing

1 0

PhD student position at Chalmers
by Mary Sheeran 18 Mar '14

18 Mar '14

PhD position in Functional Programming at the Department of Computer Science and Engineering at Chalmers University of Technology, Gothenburg, Sweden. Application deadline: March 31, 2014 Expected starting date: September 1 2014 (but flexible) The PhD student will join the Chalmers Functional Programming 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 selection of the specific research topic will take into account the interests of the new PhD student and the evolving research interests of the Functional Programming Group. The ideal candidate 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) and also to Sheeran's project on hardware acceleration of algorithms ( http://www.cse.chalmers.se/~ms/A11.pdf) Note that in Sweden a PhD takes four years of full time study and research, and five years when teaching is included (as for this position). Being a PhD student is a real job, with a real salary. *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 at http://www.chalmers.se/en/about-chalmers/vacancies/Pages/default.aspx?rmpag… If you have any questions, please contact Mary Sheeran (ms(a)chalmers.se)

1 0

RV 2014: 3rd Call for Papers, Deadline in 3 weeks
by Runtime Verification 18 Mar '14

18 Mar '14

[Apologizes for duplicates] 14th International Conference on Runtime Verification September 22 - 25, 2014 *Toronto, Canada* http://rv2014.imag.fr/ <http://rv2014.imag.fr/images/CfP.pdf> Scope: Runtime verification is concerned with monitoring and analysis of software and hardware system executions. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for testing, verification, and debugging purposes, and after deployment for ensuring reliability, safety, and security and for providing fault containment and recovery as well as online system repair. Topics of interest to the conference include: - specification languages - specification mining - program instrumentation - monitor construction techniques - logging, recording, and replay - fault detection, localization, containment, recovery and repair - program steering and adaptation - metrics and statistical information gathering - combination of static and dynamic analyses - program execution visualization - monitoring techniques for safety/mission-critical systems - monitoring distributed systems, cloud services, and big data applications - monitoring security and privacy policies Application areas of runtime verification include safety/mission-critical systems, enterprise and systems software, autonomous and reactive control systems, health management and diagnosis systems, and system security and privacy. Technical Research Papers Track: Technical research papers can be submitted in two categories: regular and short papers. Papers in both categories will be reviewed by the conference Program Committee. All accepted technical papers will appear in an LNCS<http://www.springer.com/series/558> volume. Submitted papers must use the LNCS style<http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0>. At least one author of each accepted paper must attend RV'14 to present the paper. Papers must be submitted electronically using theEasyChair<https://www.easychair.org/conferences/?conf=rv2014> system. - *Regular papers* (up to 15 pages) should present original unpublished results. Theoretical and experimental papers as well as papers on applications of runtime verification and case studies are all welcome. A non-monetary Best Paper Award will be given. A selection of accepted regular papers will be invited to appear in a special issue of the Springer Journal on Formal Methods in System Design. - *Short papers* (up to 5 pages) may present novel but not necessarily thoroughly worked out ideas, for example emerging runtime verification techniques and applications, or techniques and applications that establish relationships between runtime verification and other domains. Accepted short papers will be presented in special short talk (10 minutes) and poster sessions. Program committee Borzoo Bonakdarpour <https://cs.uwaterloo.ca/~bbonakda/> (University of Waterloo, Canada), *co-chair* Scott Smolka <http://www.cs.sunysb.edu/~sas/> (Stony Brook Universtiy, USA), *co-chair* Gul Agha <http://cs.illinois.edu/directory/profile/agha> (University of Illinois at Urbana-Champaign, USA) Thomas Ball <http://research.microsoft.com/en-us/people/tball/> (Microsoft Research, Redmond, USA) Howard Barringer <http://www.manchester.ac.uk/research/howard.barringer> (The University of Manchester, UK) Ezio Bartocci <http://www.eziobartocci.com/> (TU Wien, Austria) David Basin <http://www.inf.ethz.ch/personal/basin/> (ETH Zurich, Switzerland) Saddek Bensalem <http://www-verimag.imag.fr/~bensalem/> (Verimag, France) Eric Bodden <http://www.bodden.de/> (TU - Darmstadt, Germany) Ivona Brandic <http://www.infosys.tuwien.ac.at/staff/ivona/> (TU Wien, Austria) Marsha Chechik <http://www.cs.toronto.edu/~chechik/> (University of Toronto, Canada) Michael Clarkson <http://faculty.cs.gwu.edu/~clarkson/> (George Washington University, USA) Laura Dillon <http://www.cse.msu.edu/~ldillon/> (Michigan State University, USA) Shlomi Dolev <http://www.cs.bgu.ac.il/~dolev/> (Ben Gurion University, Israel) Alastair Donaldson <http://www.doc.ic.ac.uk/~afd/> (Imperial College London, UK) Dawson Engler <http://www.stanford.edu/~engler/> (Stanford University, USA) Ylies Falcone <http://www.ylies.fr/> (Université Joseph Fourier, France) Vijay Garg <http://users.ece.utexas.edu/~garg/> (University of Texas at Austin, USA) Steve Goddard <http://cse.unl.edu/~goddard/papers.html> (University of Nebraska-Lincoln, USA) Ganesh Gopalakrishnan <http://www.cs.utah.edu/~ganesh/> (University of Utah, USA) Wolfgang Grieskamp (Google, USA) Radu Grosu <http://www.cs.sunysb.edu/~grosu/> (TU- Wien, Austria) Klaus Havelund <http://www.havelund.com/> (NASA/JPL, USA) Mats Heimdahl <http://www.umsec.umn.edu/about/director> (University of Minnesota, USA) Laurie Hendren <http://www.sable.mcgill.ca/~hendren/> (McGill University, Canada) Gerard Holzmann <http://lars-lab.jpl.nasa.gov/people/gh.html> (NASA/JPL, USA) Daniel Keren <http://www.cs.haifa.ac.il/~dkeren/> (Haifa University, Israel) Sandeep Kulkarni <http://www.cse.msu.edu/~sandeep/>(Michigan State University, USA) Marta Kwiatkowska <http://www.cs.ox.ac.uk/marta.kwiatkowska/> (University of Oxford, UK) Insup Lee <http://www.cis.upenn.edu/~lee/home/home/index.shtml> (University of Pennsylvania, USA) Axel Legay <http://people.irisa.fr/Axel.Legay/> (IRISA/INRIA, France) Martin Leucker <http://www.isp.uni-luebeck.de/leucker/> (University of Lübeck, Germany) Leonardo Mariani<http://www.lta.disco.unimib.it/lta/personalPages/leonardoMariani/leonardoMa…> (University of Milano Bicocca, Italy) Patrick Meredith <http://fsl.cs.illinois.edu/index.php/Patrick_Meredith> (University of Illinois at Urbana-Champaign, USA) David Naumann <http://www.cs.stevens.edu/~naumann/> (Stevens Institute of Technology, USA) Doron Peled <http://u.cs.biu.ac.il/~doronp/> (Bar Ilan University, Israel) Mauro Pezze <http://www.inf.usi.ch/personal-info?id=1187> (University of Lugano, Switzerland) Lee Pike <http://www.cs.indiana.edu/~lepike/> (Galois Inc., USA) Zvonimir Rakamaric <http://www.zvonimir.info/> (University of Utah, USA) Grigore Rosu <http://fsl.cs.illinois.edu/index.php/Grigore_Rosu> (University of Illinois at Urbana-Champaign, USA) Andrey Rybalchenko <http://www7.in.tum.de/~rybal/> (TU-Munich, Germany) Andre Schiper <http://people.epfl.ch/andre.schiper?lang=fr> (EPFL, Switzerland) Oleg Sokolsky <http://www.cis.upenn.edu/~sokolsky/> (University of Pennsylvania, USA) Scott Stoller <http://www.cs.sunysb.edu/~stoller/> (Stony Brook University, USA) Serdar Tasiran <http://home.ku.edu.tr/~stasiran/> (Koc University, Turkey) Michael Whalen <http://www.umsec.umn.edu/directory/Michael-Whalen> (University of Minnesota, USA) Lenore Zuck <http://www.cs.uic.edu/~lenore/> (University of Illinois at Chicago, USA) Tool Demonstrations Track: The aim of the RV 2014 tool demonstration track is to provide an opportunity for researchers and practitioners to show and to discuss the latest advances, experiences and challenges in devising and developing reliable software tools for runtime verification. Tool demonstration papers will be reviewed by the Tools Track Program Committee. All accepted tool demonstration papers will appear in the conference proceedings LNCS volume. Submitted papers must use the LNCS style. At least one author of each accepted paper must attend RV'14 to present the paper. Papers must be submitted electronically using the EasyChair<https://www.easychair.org/conferences/?conf=rv2014> system. Tool papers should meet the following criteria: - A tool paper should present a new tool, a new tool component or novel extensions to existing tools supporting runtime verification. Each submission should be original and not published previously in a tool paper form. - Each submission must not exceed 8 pages in the LNCS/Springer proceeding format, including all text, references and figures. The paper must be written in English and provided in PDF format. - Each submission must be accompanied at the time of the submission by a short screencast (between 5-10 minutes), with voice and overlay text commentary illustrating the demonstration of the tool (a link to it should be provided in the paper). - The paper must include information on tool availability, maturity, selected experimental results and it should provide a link to a website containing the theoretical background and user guide. Furthermore, we strongly encourage authors to make their tools and benchmarks available with their submission. - Each tool paper must include a script in an appendix (not included in the page count) describing how the demo will be conducted during the conference presentation with screenshots presenting step-by-step the tool's capabilities, highlighting the main characteristics and the usage. Evaluation Each submission will be reviewed by at least four members of the tool demonstration track program committee. The evaluation criteria will include: - the presentation quality - the availability (possibly in a open-source format) of the software. - the relevance for the Runtime Verification audience - the technical soundness of the presented tool - the originality of the underlying ideas Tool Demonstration Committee Ezio Bartocci, (TU-Vienna, Austria), *Chair* Eric Bodden (TU - Darmstadt, Germany) Alastair Donaldson (Imperial College London, UK) Dawson Engler (Stanford University, USA) Ylies Falcone (Université Joseph Fourier, France) Klaus Havelund (NASA/JPL, USA) Michael Whalen (University of Minnesota, USA) Important Dates: Both research papers and tool demonstration tracks will follow the following timeline: - *Abstract deadline:* April 8, 2014 - *Full paper deadline:* April 15, 2014 - *Rebuttal phase:* May 18-20, 2014 - *Acceptance notification:* June 10, 2014 - *Camera ready submission:* June 25, 2014 - *Conference dates:* 22-25 September, 2014 Competition on Software for Runtime Verification (CSRV-2014) A satellite event of RV'14 is the first *International Competition on Software for Runtime Verification* (CRVS'14). The main aims of CSRV-2014 competition are to: - Stimulate the development of new efficient and practical runtime verification tools and the maintenance of the already developed ones. - Produce a benchmark suite for runtime verification tools, by sharing case studies and programs that researchers and developers can use in the future to test and to validate their prototypes. - Discuss the metrics employed for comparing the tools. - Provide a comparison of the tools running with different benchmarks and evaluating using different criteria. - Enhance the visibility of presented tools among the different communities (software engineering, formal methods and automated verification, distributed computing, security, and safety-critical systems) involved in software monitoring. CRVS'14 will follow the following time line: - *Declaration of intent:* December 15, 2013 - *Deadline for submission of benchmarks:* March 1, 2014 - *Monitoring tool submission:* June 1, 2014 - *Notification:* July 1, 2014 For more information, visit http://rv2014.imag.fr/monitoring-competition or contact the event organizers: - *Ezio Bartocci* (TU-Wien, Austria), ezio.bartocci(a)tuwien.ac.at - *Borzoo Bonakdarpour* (U. Waterloo, Canada), borzoo(a)cs.uwaterloo.ca - *Ylies Falcone* (U. Joseph Fourier, France), ylies.falcone(a)ujf-grenoble.fr

1 0

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

17 Mar '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. The strict page limit for initial submission and camera-ready version is 20 pages in the aforementioned format. 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. =========================================================================== Programme committee: Marco Aldinucci, University of Torino, Italy Jost Berthold, University of Copenhagen, Denmark Rob Bisseling, Utrecht University, Netherlands Murray Cole, University of Edinburgh, United Kingdom Joel Falcou, MetaScale / Université Paris-Sud, France Clemens Grelck, University of Amsterdam, Netherlands (Chair) Gaétan Hains, Université Paris-Est, France Zhenjiang Hu, National Institute of Informatics, Japan Youry Khmelevsky, University of British Columbia Okanagan, Canada Herbert Kuchen, University of Münster, Germany Kiminori Matsuzaki, Kochi University of Technology, Japan Frank Penczek, Intel Ulm, Germany Susanna Pelagatti, University of Pisa, Italy Tiark Rompf, Google / Ecole Polytechnique Fédérale de Lausanne, Switzerland Francisco de Sande, University of La Laguna, Spain Kostis Sagonas, Uppsala University, Sweden Vijay Saraswat, IBM Thomas J. Watson Research Center, USA Sven-Bodo Scholz, Heriot-Watt University, United Kingdom =========================================================================== 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

Save the date: BayHac '14
by Mark Lentczner 15 Mar '14

15 Mar '14

The Silicon Valley / San Francisco Bay Area Haskell Hackaton's 4th year! Save the date for a weekend of Haskell hacking: *BayHac '14* *May 16th ~ 18th,* *Hacker Dojo* *Mountain View, California* Details and registration will follow in few weeks. Wiki page for event: BayHac2014 - HaskellWiki<http://www.haskell.org/haskellwiki/BayHac2014> — Jonathan Fischoff & Mark Lentczner

1 0