August 2012 - Haskell

ANNOUNCE: ioctl 0.0.1
by Maciej Piechotka 13 Sep '15

13 Sep '15

A package for type-safe I/O control. Currently only ioctl is supported. Currently simply a extract from my tuntap fork TODO: - Return the integer as well as structure (will break the API) - Port for Windows Network.Socket.IOCtl (as soon as I manage to setup some sane environment on this platform) - Wrapping around DeviceIoControl Example (in hsc): data NotRead = NotRead instance NotRead Int where ioctlReq _ = #const FIONREAD notRead s = ioctlsocket' s NotRead Regards

2 1

CFP: Term and Graph rewriting, special issue of MSCS
by Rachid Echahed 13 Feb '14

13 Feb '14

-------------------------------------------------------------------------- First Call for Papers Special Issue of Mathematical Structures in Computer Science (MSCS) on "TERM and GRAPH Rewriting" -------------------------------------------------------------------------- Scope -------------------------------------------------------------------------- Rewriting techniques constitute a foundational theory of computing science. They are being investigated for several structures such as lambda-terms, first-order terms or graphs and have been successfully used in many areas such as programming languages, automated reasoning, program verification, security, etc. This is witnessed by the leading international events ICGT, RTA or TLCA among others. During the last decade, a particular interest has been devoted to the study of the impact of shared structures in term and graph rewriting through the international editions of TERMGRAPH series of workshops. Sharing is indeed ubiquitous in several research areas, for instance: the modelling of first- and higher-order term rewriting by (acyclic or cyclic) graph rewriting, the modelling of biological or chemical abstract machines, the implementation techniques of programming languages. Term and graph rewriting are also used in automated theorem proving and symbolic computation systems working on shared structures... This special issue is devoted to recent developments in all aspects of TERM and GRAPH rewriting. This includes (but is not limited to): term rewriting, graph transformation, proof methods, programming languages, infinitary rewriting, rewrite strategies, semantics, properties of rewriting ... -------------------------------------------------------------------------- Submissions -------------------------------------------------------------------------- Submitted papers must be original and not submitted for publication elsewhere, and will be subject to the standard journal refereeing process of the Mathematical Structures in Computer Science (MSCS) journal. Submissions should be in pdf format following the MSCS instruction for contributors (http://assets.cambridge.org/MSC/MSC_ifc.pdf) and should be submitted electronically via the following easy-chair web site: https://www.easychair.org/conferences/?conf=mscsrewriting2012 -------------------------------------------------------------------------- Important Dates -------------------------------------------------------------------------- January 20, 2012 : Abstract submission February 20, 2012: Paper submission June 15, 2012 : Notification of acceptance -------------------------------------------------------------------------- Guest Editor: -------------------------------------------------------------------------- Rachid Echahed, CNRS LIG Lab., Grenoble, France echahed(a)imag.fr --------------------------------------------------------------------------

1 8

Haskell consultants needed in NYC
by Ryan Trinkle 30 Aug '12

30 Aug '12

SkedgeMe LLC is seeking Haskellers in the New York City area for a 6-month project. The project is to build a web service in the enterprise scheduling market. The service will be built primarily using Haskell, with Javascript and a variety of other technologies. Contractors will be expected to work full time, primarily at SkedgeMe's headquarters at 58th St. and Madison Ave., New York City. Hourly rates will be competitive and based on the candidate's level of skill and experience. Candidates must have a solid understanding of Haskell. Experience with other relevant technologies (especially web platforms, databases, and calendaring standards) is a plus and should be noted in the candidate's application. Please send applications to ryan(a)skedge.me. Applications should include a resume, cover letter, and a brief code sample or references to open-source code available online.

1 0

ANNOUNCE: Perdure
by Patrick Premont 30 Aug '12

30 Aug '12

We are pleased to announce a new persistence library named Perdure. It aims to provide a simple and robust persistence mechanism for acyclic immutable data with an easily comprehensible cost-model. See the link a complete description. http://hackage.haskell.org/package/perdure-0.1.2 This is our first open source Haskell contribution. Feedback is most welcome. Patrick Prémont Founder Cognimeta Inc. ppremont(a)cognimeta.com Twitter: @ppremont

1 0

Haskell Weekly News: Issue 242
by Daniel Santa Cruz 30 Aug '12

30 Aug '12

Welcome to issue 242 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers the week of August 19 to 25, 2012. Quotes of the Week * srhb: I think that's going into space rather than diving into the deep end. * edwardk: normally i don't bother with little things like "documentation", "benchmarks" and "tests", but I recently discovered that when I do, I get these curious things called "users". * shachaf: "Number of comonads released by edwardk will exceed the number of words in the English language by 2015, experts report." Top Reddit Stories * Hackage2 server ready for testing Domain: haskell.org, Score: 75, Comments: 16 On Reddit: [1] http://goo.gl/WTebL Original: [2] http://goo.gl/dHkGo * Monads In Pictures Domain: newartisans.com, Score: 60, Comments: 24 On Reddit: [3] http://goo.gl/QMfGv Original: [4] http://goo.gl/ycmvx * A new fast and easy to use CSV library Domain: blog.johantibell.com, Score: 53, Comments: 26 On Reddit: [5] http://goo.gl/eRKSm Original: [6] http://goo.gl/uRmfz * duckduckgo.com just became my favorite search engine due to haskell support Domain: self.haskell, Score: 50, Comments: 14 On Reddit: [7] http://goo.gl/1tBCg Original: [8] http://goo.gl/1tBCg * An example on how ridiculously powerful haskells type system is Domain: chrisdone.com, Score: 44, Comments: 61 On Reddit: [9] http://goo.gl/iwJT2 Original: [10] http://goo.gl/NovM7 * Galois Internship Available: Come build high-assurance autonomous vehicles! Domain: corp.galois.com, Score: 43, Comments: 13 On Reddit: [11] http://goo.gl/iJEih Original: [12] http://goo.gl/8ckL4 * Issue 20 « The Monad.Reader Domain: themonadreader.wordpress.com, Score: 34, Comments: 8 On Reddit: [13] http://goo.gl/K5Cc7 Original: [14] http://goo.gl/dBSdK * Functional Game Design: Making Pong in Elm Domain: elm-lang.org, Score: 29, Comments: 11 On Reddit: [15] http://goo.gl/sCdfE Original: [16] http://goo.gl/RL2i1 * Making HaskellDB slightly more type-safe Domain: chrisdone.com, Score: 28, Comments: 3 On Reddit: [17] http://goo.gl/b16v5 Original: [18] http://goo.gl/7v38l * Identifying outdated packages in cabal install plans Domain: byorgey.wordpress.com, Score: 24, Comments: 5 On Reddit: [19] http://goo.gl/4yTrR Original: [20] http://goo.gl/Zjw7b * ghcLiVE project escapes! Domain: ghclive.wordpress.com, Score: 23, Comments: 16 On Reddit: [21] http://goo.gl/IiXaA Original: [22] http://goo.gl/QzUHW * My view on why relational algebra matters Domain: users.utu.fi, Score: 22, Comments: 16 On Reddit: [23] http://goo.gl/byYZW Original: [24] http://goo.gl/3NSmI * ANN basic-prelude 0.3 (now comes with a fully-featured Prelude replacement) Domain: haskell.org, Score: 21, Comments: On Reddit: [25] http://goo.gl/klUAO Original: [26] http://goo.gl/4Ccyv * I just realized that running monads is applying a left monad action Domain: self.haskell, Score: 21, Comments: 53 On Reddit: [27] http://goo.gl/Geus4 Original: [28] http://goo.gl/Geus4 * You can soon play in the cabal sandbox Domain: blog.johantibell.com, Score: 20, Comments: 10 On Reddit: [29] http://goo.gl/QuVo0 Original: [30] http://goo.gl/6Q9a9 * Unordered tuples and type algebra Domain: byorgey.wordpress.com, Score: 18, Comments: 3 On Reddit: [31] http://goo.gl/N8iuz Original: [32] http://goo.gl/8l11g * Haskell-Type-Exts Passed the Final Evaluation Domain: cleantypecheck.wordpress.com, Score: 16, Comments: 3 On Reddit: [33] http://goo.gl/ok7CL Original: [34] http://goo.gl/ttsFb * LambdaJam Conference (from the creator of Strange Loop) -- Coming to Chicago in Summer 2013! Domain: lambdajam.com, Score: 15, Comments: On Reddit: [35] http://goo.gl/ytWNE Original: [36] http://goo.gl/ziyYc * Hello world in SKI combinator calculus Domain: self.haskell, Score: 14, Comments: 16 On Reddit: [37] http://goo.gl/qVDMw Original: [38] http://goo.gl/qVDMw * Is this Monoid instance in the standard library somewhere? Domain: self.haskell, Score: 14, Comments: 7 On Reddit: [39] http://goo.gl/cFHG7 Original: [40] http://goo.gl/cFHG7 * Applicative functors: definition and syntax (a reply) Domain: tomasp.net, Score: 13, Comments: 7 On Reddit: [41] http://goo.gl/4VPKR Original: [42] http://goo.gl/saU2j Top StackOverflow Questions * Lazy Evaluation and Time Complexity votes: 40, answers: 7 Read on SO: [43] http://goo.gl/f9QTO * What is the purpose of Rank2Types? votes: 21, answers: 3 Read on SO: [44] http://goo.gl/XrPHP * “Modern” HList? votes: 16, answers: 1 Read on SO: [45] http://goo.gl/X0LJ4 * Overloading of operators votes: 14, answers: 1 Read on SO: [46] http://goo.gl/1rB0O * When is a composition of catamorphisms a catamorphism? votes: 11, answers: 4 Read on SO: [47] http://goo.gl/x7eBk * Tacit function composition in Haskell votes: 10, answers: 2 Read on SO: [48] http://goo.gl/TIvMN * Haskell pattern matching on GADTs with Data Kinds votes: 9, answers: 1 Read on SO: [49] http://goo.gl/5fgAR * Store polymorphic callbacks in Haskell votes: 8, answers: 1 Read on SO: [50] http://goo.gl/QMOlq * Having trouble understanding Haskell's type system votes: 8, answers: 2 Read on SO: [51] http://goo.gl/n8FfC * Function composition hint votes: 7, answers: 2 Read on SO: [52] http://goo.gl/kvgZj * Comparing speed of Haskell and C for the computation of primes votes: 6, answers: 4 Read on SO: [53] http://goo.gl/gPh02 Until next time, Daniel Santa Cruz References 1. http://www.haskell.org/pipermail/cabal-devel/2012-August/008977.html 2. http://www.reddit.com/r/haskell/comments/yr9t1/hackage2_server_ready_for_te… 3. http://newartisans.com/2012/08/monads-in-pictures/ 4. http://www.reddit.com/r/haskell/comments/ykmgg/monads_in_pictures/ 5. http://blog.johantibell.com/2012/08/a-new-fast-and-easy-to-use-csv-library.… 6. http://www.reddit.com/r/haskell/comments/yqh7z/a_new_fast_and_easy_to_use_c… 7. http://www.reddit.com/r/haskell/comments/yjdkh/duckduckgocom_just_became_my… 8. http://www.reddit.com/r/haskell/comments/yjdkh/duckduckgocom_just_became_my… 9. http://chrisdone.com/posts/2010-10-07-haskelldb-and-typeoperator-madness.ht… 10. http://www.reddit.com/r/haskell/comments/yosoe/an_example_on_how_ridiculous… 11. http://corp.galois.com/blog/2012/8/21/galois-internship-available.html 12. http://www.reddit.com/r/haskell/comments/yl84x/galois_internship_available_… 13. http://themonadreader.wordpress.com/2012/08/25/issue-20/ 14. http://www.reddit.com/r/haskell/comments/yu9bu/issue_20_the_monadreader/ 15. http://elm-lang.org/blog/games-in-elm/part-0/Making-Pong.html 16. http://www.reddit.com/r/haskell/comments/yp27x/functional_game_design_makin… 17. http://chrisdone.com/posts/2012-08-25-haskelldb-more-type-safe.html 18. http://www.reddit.com/r/haskell/comments/ysuvr/making_haskelldb_slightly_mo… 19. http://byorgey.wordpress.com/2012/08/25/identifying-outdated-packages-in-ca… 20. http://www.reddit.com/r/haskell/comments/ytckc/identifying_outdated_package… 21. http://ghclive.wordpress.com/2012/08/20/ghclive-project-escapes/ 22. http://www.reddit.com/r/haskell/comments/yjtql/ghclive_project_escapes/ 23. http://users.utu.fi/machra/posts/2012-08-23-relalgebra.html 24. http://www.reddit.com/r/haskell/comments/ypdox/my_view_on_why_relational_al… 25. http://www.haskell.org/pipermail/haskell/2012-August/023477.html 26. http://www.reddit.com/r/haskell/comments/yralu/ann_basicprelude_03_now_come… 27. http://www.reddit.com/r/haskell/comments/ytovd/i_just_realized_that_running… 28. http://www.reddit.com/r/haskell/comments/ytovd/i_just_realized_that_running… 29. http://blog.johantibell.com/2012/08/you-can-soon-play-in-cabal-sandbox.html 30. http://www.reddit.com/r/haskell/comments/ys359/you_can_soon_play_in_the_cab… 31. http://byorgey.wordpress.com/2012/08/24/unordered-tuples-and-type-algebra/ 32. http://www.reddit.com/r/haskell/comments/ysuyr/unordered_tuples_and_type_al… 33. http://cleantypecheck.wordpress.com/2012/08/24/haskell-type-exts-passed-the… 34. http://www.reddit.com/r/haskell/comments/yrzcq/haskelltypeexts_passed_the_f… 35. http://lambdajam.com/ 36. http://www.reddit.com/r/haskell/comments/yprlk/lambdajam_conference_from_th… 37. http://www.reddit.com/r/haskell/comments/ypcu7/hello_world_in_ski_combinato… 38. http://www.reddit.com/r/haskell/comments/ypcu7/hello_world_in_ski_combinato… 39. http://www.reddit.com/r/haskell/comments/yqt89/is_this_monoid_instance_in_t… 40. http://www.reddit.com/r/haskell/comments/yqt89/is_this_monoid_instance_in_t… 41. http://tomasp.net/blog/applicative-functors.aspx 42. http://www.reddit.com/r/haskell/comments/ykto4/applicative_functors_definit… 43. http://stackoverflow.com/questions/12057658/lazy-evaluation-and-time-comple… 44. http://stackoverflow.com/questions/12031878/what-is-the-purpose-of-rank2typ… 45. http://stackoverflow.com/questions/12078792/modern-hlist 46. http://stackoverflow.com/questions/12076475/overloading-of-operators 47. http://stackoverflow.com/questions/12103309/when-is-a-composition-of-catamo… 48. http://stackoverflow.com/questions/12061176/tacit-function-composition-in-h… 49. http://stackoverflow.com/questions/12067503/haskell-pattern-matching-on-gad… 50. http://stackoverflow.com/questions/12044490/store-polymorphic-callbacks-in-… 51. http://stackoverflow.com/questions/12047481/having-trouble-understanding-ha… 52. http://stackoverflow.com/questions/12025230/function-composition-hint 53. http://stackoverflow.com/questions/12026668/comparing-speed-of-haskell-and-…

1 0

ANN: Monad.Reader Issue 20
by Edward Z. Yang 26 Aug '12

26 Aug '12

*It’s not dead, it’s resting!* I am pleased to announce that Issue 20 of the Monad Reader is now available. http://themonadreader.files.wordpress.com/2012/08/issue20.pdf Issue 20 consists of the following three articles: - "Enumeration of Tuples with Hyperplanes" by Tillmann Vogt - "Understanding Basic Haskell Error Messages" by Jan Stolarek - "The MapReduce type of a Monad" by Julian Porter Feel free to browse the source files. You can check out the entire repository using Git: git clone https://github.com/ezyang/tmr-issue20.git If you’d like to write something for Issue 21, please get in touch! Cheers, Edward

1 0

ANNOUNCE basic-prelude-0.3
by Dan Burton 23 Aug '12

23 Aug '12

We are pleased to announce a new release of basic-prelude. http://hackage.haskell.org/package/basic-prelude-0.3.0.0 We apparently weren't entirely clear about the original purpose of basic-prelude, and we got repeated feedback of the form "where are the list functions?" Somewhat in response to this, we decided to rename the BasicPrelude module to CorePrelude. This module is an *incomplete* prelude, and the goal of this module is to provide enhanced core Prelude functionality *without* making any controversial decisions. CorePrelude serves as the core of Michael's ClassyPrelude, my ModularPrelude, and now the new BasicPrelude module. (If you ever feel the need to create your own Prelude replacement, we encourage you to build it off of CorePrelude. If there is any reason that CorePrelude would not be well-suited to this purpose, then please let us know!) I believe that by using the same Core, it will be easier for these various Prelude replacements to play nice with each other. We created a new module, BasicPrelude (not to be confused with the old BasicPrelude), which *is* a fully-featured Prelude, emphasizing the use of Text and FilePath, while also providing most of the List functions that you know and love, with a few exceptions, as documented. BasicPrelude is among the simplest examples of how we intend CorePrelude to be used. The next time you are working on a hobby project, please try using BasicPrelude instead of regular Prelude, and let us know how it goes! {-# LANGUAGE NoImplicitPrelude #-} {-# LANGUAGE OverloadedStrings #-} import BasicPrelude -- Dan Burton

1 0

Haskell Weekly News: Issue 241
by Daniel Santa Cruz 22 Aug '12

22 Aug '12

Welcome to issue 241 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers the week of August 12 to 18, 2012. Quotes of the Week * monochrom: seq is a suggestion. pseq is an order. * johnw: Haskell is like using a finely crafted blade to whittle yourself a canoe, as your friends pass by on their cruise liner and wonder what you're up to Top Reddit Stories * Yesod gets financial backing. Domain: yesodweb.com, Score: 76, Comments: 23 On Reddit: [1] http://goo.gl/isVxZ Original: [2] http://goo.gl/aTtqC * The category design pattern Domain: haskellforall.com, Score: 65, Comments: 32 On Reddit: [3] http://goo.gl/Owrgh Original: [4] http://goo.gl/iDEen * I remember the time before monads | free variable Domain: free-variable.org, Score: 64, Comments: 5 On Reddit: [5] http://goo.gl/41Utn Original: [6] http://goo.gl/febU9 * GHC 7.6.1 Release Candidate 1 Domain: haskell.org, Score: 55, Comments: 33 On Reddit: [7] http://goo.gl/weAei Original: [8] http://goo.gl/QHtd7 * PVP: upper bounds are not our friends Domain: haskell.org, Score: 49, Comments: 94 On Reddit: [9] http://goo.gl/8ihwE Original: [10] http://goo.gl/0YbGl * MongoDB on the hunt for Haskell Evangelist Domain: haskellers.com, Score: 36, Comments: 17 On Reddit: [11] http://goo.gl/X1WLL Original: [12] http://goo.gl/TYDdE * Raspberry Pi in a Haskell Cloud Domain: alenribic.com, Score: 33, Comments: 6 On Reddit: [13] http://goo.gl/esAHP Original: [14] http://goo.gl/me7ob * Practical Foundations for Programming Languages (first impressions) Domain: blog.ezyang.com, Score: 30, Comments: On Reddit: [15] http://goo.gl/FjrY1 Original: [16] http://goo.gl/8AzpC * Scoutess GSoC project finished! Domain: self.haskell, Score: 28, Comments: 4 On Reddit: [17] http://goo.gl/hRzvC Original: [18] http://goo.gl/hRzvC Top StackOverflow Questions * Subtype polymorphism in Haskell votes: 17, answers: 2 Read on SO: [19] http://goo.gl/xERPq * Is it possible to use a bracketing syntactic sugar for an applicative functor? votes: 14, answers: 2 Read on SO: [20] http://goo.gl/3EH63 * Useful operations on free arrows votes: 11, answers: 0 Read on SO: [21] http://goo.gl/BQ6ry * Against cold boot attacks: how to restrain sensitive information in Haskell votes: 9, answers: 1 Read on SO: [22] http://goo.gl/kUOn2 * GHCi and compiled code seem to behave differently votes: 7, answers: 1 Read on SO: [23] http://goo.gl/q8yJi * Implementing Iota in Haskell votes: 7, answers: 1 Read on SO: [24] http://goo.gl/KonKf * Understanding STG votes: 6, answers: 1 Read on SO: [25] http://goo.gl/uQmKn * Quickcheck for non-boolean tests votes: 6, answers: 0 Read on SO: [26] http://goo.gl/on6jt * Screen capture in Haskell? votes: 6, answers: 3 Read on SO: [27] http://goo.gl/7xIX5 * typeclass challenge: having both variadic arguments and results votes: 6, answers: 2 Read on SO: [28] http://goo.gl/8aA6Z Until next time, Daniel Santa Cruz References 1. http://www.yesodweb.com/blog/2012/08/joining-forces-advance-haskell 2. http://www.reddit.com/r/haskell/comments/y62j3/yesod_gets_financial_backing/ 3. http://www.haskellforall.com/2012/08/the-category-design-pattern.html 4. http://www.reddit.com/r/haskell/comments/yfhem/the_category_design_pattern/ 5. http://www.free-variable.org/2012/08/i-remember-the-time-before-monads/ 6. http://www.reddit.com/r/haskell/comments/y87rh/i_remember_the_time_before_m… 7. http://www.haskell.org/pipermail/glasgow-haskell-users/2012-August/022671.h… 8. http://www.reddit.com/r/haskell/comments/y3vzd/ghc_761_release_candidate_1/ 9. http://www.haskell.org/pipermail/haskell-cafe/2012-August/102885.html 10. http://www.reddit.com/r/haskell/comments/ydkcq/pvp_upper_bounds_are_not_our… 11. http://www.haskellers.com/jobs/18 12. http://www.reddit.com/r/haskell/comments/yc1no/mongodb_on_the_hunt_for_hask… 13. http://alenribic.com/writings/post/raspberry-pi-in-a-haskell-cloud 14. http://www.reddit.com/r/haskell/comments/ydvn2/raspberry_pi_in_a_haskell_cl… 15. http://blog.ezyang.com/2012/08/practical-foundations-for-programming-langua… 16. http://www.reddit.com/r/haskell/comments/yda6c/practical_foundations_for_pr… 17. http://www.reddit.com/r/haskell/comments/y9v83/scoutess_gsoc_project_finish… 18. http://www.reddit.com/r/haskell/comments/y9v83/scoutess_gsoc_project_finish… 19. http://stackoverflow.com/questions/12002979/subtype-polymorphism-in-haskell 20. http://stackoverflow.com/questions/12014524/is-it-possible-to-use-a-bracket… 21. http://stackoverflow.com/questions/12001350/useful-operations-on-free-arrows 22. http://stackoverflow.com/questions/11932246/against-cold-boot-attacks-how-t… 23. http://stackoverflow.com/questions/11926398/ghci-and-compiled-code-seem-to-… 24. http://stackoverflow.com/questions/11960809/implementing-iota-in-haskell 25. http://stackoverflow.com/questions/11921683/understanding-stg 26. http://stackoverflow.com/questions/11942554/quickcheck-for-non-boolean-tests 27. http://stackoverflow.com/questions/11963561/screen-capture-in-haskell 28. http://stackoverflow.com/questions/12014420/typeclass-challenge-having-both…

1 0

[Announce] Compositional Compiler Construction, Oberon0 examples available
by Doaitse Swierstra 21 Aug '12

21 Aug '12

Over the years we have been constructing a collection of Embedded Domain Specific Languages for describing compilers which are assembled from fragments which can be compiled individuallu. In this way one can gradually ``grow a langauge'' in a large number of small steps. The technique replaces things like macro extensions or Template Haskell; it has become feasable to just extend the language at hand by providing extra modules. The nice thing is that existing code does not have to be adapted, nor has to be available nor has to be recompiled. Recently we have been using (and adapting) the frameworks such that we could create an entry in the ldta11 (http://ldta.info/tool.html) tool challenge, where one has to show how one's tools can be used to create a compiler for the Oberon0 language, which is used a a running example in Wirth's compiler construction book. We have uploaded our implementation to hackage at: http://hackage.haskell.org/package/oberon0. More information can be found at the wiki: http://www.cs.uu.nl/wiki/bin/view/Center/CoCoCo You may take a look at the various Gram modules to see how syntax is being defined, and at the various Sem modules to see how we use our first class attribute grammars to implement the static semantics associated with the various tasks of the challenge. We hope you like it, and comments are welcome, Marcos Viera Doaitse Swierstra

3 5

Call for Remote Hackathon Participation at SoTeSoLa
by Ralf Laemmel 16 Aug '12

16 Aug '12

Time to show off with Haskell again in the areas of software mining, software reverse/re-engineering. Please have a look and join. Ralf Lämmel Call for Remote Hackathon Participation at SoTeSoLa http://planet-sl.org/sotesola2012-hackathon On 20 and 22 Aug, starting 5:55pm, CEST, SoTeSoLa will run an open Hackathon on software mining and reverse/re-engineering, for which remote participation is endorsed. Context Reverse and Re-engineering are established areas in software engineering and computer science. Reverse engineering is meant in a broad sense to include software mining, fact extraction, software visualization, vocabulary mining, analysis of language usage, architecture recovery, etc. Re-engineering is also meant in a broad sense to include, for example, program refactoring, wrapping, dead-code elimination, language migration, database re-engineering, and other forms of software evolution. There exist numerous methods and tools out there. There have been various efforts to integrate the related body of knowledge in textbooks, online resources, and otherwise. At SoTeSoLa, such integration will be continued in the form of a hackathon with on-site and remote participation. Objective During the hackathon, the participants exercise methods and tools of interest in reverse/re-engineering/software mining experiments. In order to focus efforts, to enable diverse experiments, and to stimulate synergies, the experiments target the software chrestomathy of the 101companies project, which is available as a git repository 101repo of source code and as dumps and resources 101data of extracted facts. The participants will typically target specific 101implementations or sets thereof, specific technologies (such as EF, JAXB, Hibernate, Ant, or Make), and specific languages (such as Java, Haskell, or C#). Such selection should help in demonstrating efficiently the methods and tools of interest. The expectation is that the hackathon produces a corpus of samples, which may be useful, for example, in teaching software mining, reverse and re-engineering, or as a benchmark or a point of reference in these areas of research. Some ilustrations and various helpful pointers are available (see the resource section of the website). Logistics On Monday, 20 Aug, the focus is on reverse engineering and specifically software mining; on Wedneday, 22 Aug, the focus is on re-engineering, hackathonists are welcome to reverse/re-engineer/mine software at all times, though. At the beginning of the hackathon, Vadim Zaytsev gives a presentation to explain the hackathon concept. This presentation will be recorded and broadcasted for remote participants. Remote participants can connect with on-site participants via Google Hangout and Skype. Hackathon teams with interesting results can give a short presentation in a designated session on the next day of the SoTeSoLa program. Checklist 1. Register through Hackathon web site. http://planet-sl.org/sotesola2012-hackathon 2. Receive Hackathon latest instructions before hackathon onsite, via Google Hangout, or YouTube. 3. Join in over Google Hangout or Skype during the hackathon. 4. Submit code and documentation, e.g., via GitHub. 5. Optionally, present during a designated SoTeSoLa session next day. Award All registered teams compete for the SoTeSoLa Hackathon award funded by Google. The winner will be selected by a committee that is formed at the school drawing from speakers and other senior community members present at the school. The presentation at the beginning of the hackathon provides advice on how to compete for the award. SoTeSoLa is a fun-oriented research event. Regards, Jean-Marie Favre (Research 2.0 Chair) Ralf Laemmel (General Chair, SoTeSoLa) Vadim Zaytsev (Hackathon Coordination)

1 0