Haskell

Download

haskell@haskell.org

August 2013

29 participants
32 discussions

Call for Participation: ICFEM 2013
by Huibiao Zhu 01 Aug '13

01 Aug '13

---------------------------------- ICFEM 2013 CALL FOR PARTICIPATIONS ----------------------------------- 15th International Conference on Formal Engineering Methods (ICFEM 2013) Queenstown, New Zealand, 29 October - 1 November 2013 http://www.cs.auckland.ac.nz/icfem2013/ The 15th International Conference on Formal Engineering Methods (ICFEM 2013) will be held at the Crowne Plaza Hotel in Queenstown, New Zealand from 29 October to 1 November 2013. Since 1997, ICFEM has been serving as an international forum for researchers and practitioners who have been dedicated to applying formal methods to practical computer systems. Researchers and practitioners, from industry, academia, and government, are encouraged to attend, and to help advance the state of the art. We are interested in work that has been incorporated into real production systems, and in theoretical work that promises to bring practical and tangible benefit. ICFEM 2013 is organized and sponsored by The University of Auckland and will be held in the world renowned travel destination - Queenstown. Around 1.9 million visitors are drawn to Queenstown each year to enjoy their own unforgettable travel experience. We are looking forward to your submissions and participation. ORGANIZING COMMITTEE General Co-Chairs Jin Song Dong, National University of Singapore, Singapore. Ian Hayes, The University of Queensland, Australia. Steve Reeves, The University of Waikato, New Zealand. Program Committee Co-Chairs Lindsay Groves, Victoria University of Wellington, New Zealand. Jing Sun, The University of Auckland, New Zealand. Workshop and Tutorial Co-Chairs Yang Liu, Nanyang Technological University, Singapore. Jun Sun, Singapore University of Technology and Design, Singapore. Local Organization Chair Gillian Dobbie, The University of Auckland, New Zealand. Publicity Co-Chairs Jonathan Bowen, London South Bank University & Chairman, Museophile Limited, United Kingdom. Huibiao Zhu, East China Normal University, China. Web Chair Sarah Henderson, The University of Auckland, New Zealand. CONFERENCE PROGRAM Workshop Day (Tuesday 29 October 2013) -------------------------------------- 8:30AM - 9:00AM: Registration 9:00AM - 17:00PM: 2 Parallel Workshops + Room: Crowne II - Second International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2013) + Room: Crowne III - Third International Workshop on SOFL and MSVL (SOFL+MSVL 2013) Conference Day 1 (Wednesday 30 October 2013, Room: Crowne II) ------------------------------------------------------------- 8:00AM - 8:45AM: Registration 8:45AM - 9:00AM: Briefing 9:00AM - 10:00AM: Keynote I + Carroll Morgan. Lattices of Information for Security: Deterministic, Demonic, Probabilistic 10:00AM -10:30AM: Morning Tea Break 10:30AM -12:00PM: Session - Specification + Jos?Dihego, Pedro Antonino and Augusto Sampaio. Algebraic Laws for Process Subtyping + Frederic Mallet and Jean-Vivien Millo. Boundness Issues in CCSL Specifications + Zhiqiang Zuo and Siau-Cheng Khoo. Mining Dataflow Sensitive Specifications 12:00PM - 13:30PM: Lunch Break 13:30PM-15:00PM: Session - Proof + Ton-Chanh Le, Cristian Gherghina, Razvan Voicu and Wei-Ngan Chin. A Proof Slicing Framework for Program Verification + Andrew Boyton, June Andronick, Callum Bannister, Matthew Fernandez, Xin Gao, David Greenaway, Gerwin Klein, Corey Lewis and Thomas Sewell. Formally Verified System Initialisation + Dongxi Liu, Neale Fulton, John Zic and Martin de Groot. Verifying an Aircraft Proximity Characterization Method in Coq 15:00PM - 15:30PM: Afternoon Tea Break 15:30PM - 17:00PM: Session - Testing + Mengjun Li. Assisting Specification Refinement by Random Testing + Faimison Rodrigues Porto, Andre Takeshi Endo and Adenilso Simao. Generation of Checking Sequences Using Identification Sets + Abderrahmane Feliachi, Marie-Claude Gaudel, Makarius Wenzel and Burkhart Wolff. The Circus Testing Theory Revisited in Isabelle/HOL 17:45PM - 19:15PM: Conference Reception Conference Day 2 (Thursday 31 October 2013, Room: Crowne II) ------------------------------------------------------------ 8:30AM - 9:00AM: Registration 9:00AM - 10:00AM: Keynote II + P. S. Thiagarajan. Analysis of Continuous Dynamical Systems via Statistical Model Checking 10:00AM -10:30AM: Morning Tea Break 10:30AM -12:00PM: Session - Timed Systems + Gustavo Carvalho, Augusto Sampaio and Alexandre Mota. A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification + Yanhong Huang, Joao F. Ferreira, Guanhua He, Shengchao Qin and Jifeng He. Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts + Yuanjie Si, Jun Sun, Yang Liu and Ting Wang. Improving Model Checking Stateful Timed CSP with non-Zenoness through Clock-Symmetry Reduction 12:00PM - 13:30PM: Lunch Break 13:30PM-15:00PM: Session - Concurrency + �tienne Andr? Benoit Barbot, D�moulins Cl�ment, Lom Messan Hillah, Francis Hulin-Hubard, Fabrice Kordon, Alban Linard and Laure Petrucci. A Modular Approach for Reusing Formalisms in Verification Tools of Concurrent Systems + Ling Shi, Yongxin Zhao, Yang Liu, Jun Sun, Jin Song Dong and Shengchao Qin. A UTP Semantics for Communicating Processes with Shared Variables + Duy-Khanh Le, Wei-Ngan Chin and Yong Meng Teo. Verification of Static and Dynamic Barrier Synchronization Using Bounded Permissions 15:00PM - 15:30PM: Afternoon Tea Break 15:30PM - 17:00PM: Session - SysML/MDD + Alvaro Miyazawa, Lucas Lima and Ana Cavalcanti. Formal Models of SysML Blocks + Jaco Jacobs and Andrew Simpson. Towards a Process Algebra Framework for Supporting Behavioural Consistency and Requirements Traceability in SysML + Ya Shi, Zhenhua Duan and Cong Tian. Translation from Workflow Nets to MSVL 17:45PM - 19:45PM: Conference Banquet (Skyline Queenstown Restaurant) Conference Day 3 (Friday 1 November 2013, Room: Crowne II) ---------------------------------------------------------- 8:30AM - 9:00AM: Registration 9:00AM - 10:30AM: Session - Verification + Guoxin Su and David Rosenblum. Asymptotic Bounds for Quantitative Verification of Perturbed Probabilistic Systems + Kirsten Winter, Chenyi Zhang, Ian Hayes, Nathan Keynes, Cristina Cifuentes and Lian Li. Path-Sensitive Data Flow Analysis Simplified + Jianan Hao, Yang Liu, Wentong Cai, Guangdong Bai and Jun Sun. vTRUST: A Formal Modeling and Verification Framework for Virtualization Systems 10:30AM -11:00AM: Morning Tea Break 11:00AM -12:30PM: Session - Application + Binyameen Farooq, Osman Hasan and Sohail Iqbal. Formal Kinematic Analysis of the Two-Link Planar Manipulator + Inna Pereverzeva, Linas Laibinis, Elena Troubitsyna, Markus Holmberg and Mikko P�ri. Formal Modelling of Resilient Data Storage in Cloud + Xiaofeng Wu and Huibiao Zhu. Linking Operational Semantics and Algebraic Semantics for Wireless Networks 12:30PM - 14:00PM: Lunch Break 14:00PM-16:00PM: Session - Static Analysis + Guanhua He, Shengchao Qin, Wei-Ngan Chin and Florin Craciun. Automated Specification Discovery via User-Defined Predicates + Stephan Arlt, Zhiming Liu and Martin Sch�f. Reconstructing Paths for Reachable Code + Giulia Costantini, Pietro Ferrara, Giuseppe Maggiore and Agostino Cortesi. The Domain of Parametric Hypercubes for Static Analysis of Computer Games Software + Manman Chen, Tian Huat Tan, Jun Sun, Yang Liu, Jun Pang and Xiaohong Li. Verification of Functional and Non-functional Requirements of Web Service Composition 16:00PM - 16:30PM: Closing and Afternoon Tea Break

1 0

Haskell Weekly News: Issue 274
by Daniel Santa Cruz 01 Aug '13

01 Aug '13

Welcome to issue 274 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers the week of July 14 to 27, 2013. Quotes of the Week * knuth: To help the reader drowning in a sea of abstraction, the following example may serve as a concrete life preserver >From the mail bag * Haskell for schools in Argentina [1] http://goo.gl/EAPHXx Top Reddit Stories * Parallel and Concurrent Programming in Haskell available now in ebook formats, print version can be preordered Domain: shop.oreilly.com, Score: 94, Comments: 14 On Reddit: [2] http://goo.gl/426HB0 Original: [3] http://goo.gl/anqIi * Lenses in pictures Domain: adit.io, Score: 84, Comments: 51 On Reddit: [4] http://goo.gl/e8Bc0N Original: [5] http://goo.gl/1kmqf * Monads made difficult Domain: stephendiehl.com, Score: 70, Comments: 11 On Reddit: [6] http://goo.gl/sQAmVD Original: [7] http://goo.gl/35EDt * Helm - FRP Game Engine Inspired by Elm Domain: github.com, Score: 67, Comments: 19 On Reddit: [8] http://goo.gl/1lJEIB Original: [9] http://goo.gl/4wDcHN * Ian Lynagh leaves GHC HQ Domain: haskell.org, Score: 64, Comments: 4 On Reddit: [10] http://goo.gl/XCnjrA Original: [11] http://goo.gl/Ox5KXW * Yesod in Production Domain: joelt.io, Score: 61, Comments: 13 On Reddit: [12] http://goo.gl/jlhvvm Original: [13] http://goo.gl/7pSCJ * A Comparison Between Perl and Haskell Domain: ocharles.org.uk, Score: 60, Comments: 22 On Reddit: [14] http://goo.gl/cwYXb0 Original: [15] http://goo.gl/P46D4e * Backpack: Retrofitting Haskell with Interfaces (Kilpatrick, Dreyer, SPJ, Marlow) [link to pdf] Domain: mpi-sws.org, Score: 58, Comments: 63 On Reddit: [16] http://goo.gl/sjjAE Original: [17] http://goo.gl/C06Ly * Parallel and Concurrent Programming in Haskell (online version, part of Atlas beta) Domain: chimera.labs.oreilly.com, Score: 56, Comments: 35 On Reddit: [18] http://goo.gl/x5dhf5 Original: [19] http://goo.gl/H7MeFa * Why Haskell at School matters Domain: sawafaso.blogspot.com.ar, Score: 52, Comments: 18 On Reddit: [20] http://goo.gl/2LHlsn Original: [21] http://goo.gl/8Dwy4R * Measuring the Haskell Gap :: PDF Domain: leafpetersen.com, Score: 49, Comments: 13 On Reddit: [22] http://goo.gl/6b4xdx Original: [23] http://goo.gl/nqDJZd * Automatic SIMD Vectorization for Haskell by Leaf Petersen, Dominic Orchard and Neal Glew [ICFP13][PDF] Domain: leafpetersen.com, Score: 47, Comments: 13 On Reddit: [24] http://goo.gl/dPCPio Original: [25] http://goo.gl/gDBajX * IRC Browse Domain: chrisdone.com, Score: 43, Comments: 12 On Reddit: [26] http://goo.gl/OPXVQK Original: [27] http://goo.gl/IOoJgT * How to Help Develop Hackage2 Domain: self.haskell, Score: 40, Comments: 46 On Reddit: [28] http://goo.gl/NQGmY Original: [29] http://goo.gl/NQGmY Top StackOverflow Questions * Can someone explain to me why the app function of ArrowApply makes them as powerful as monads? votes: 13, answers: 2 Read on SO: [30] http://goo.gl/V6I0fK * Haskell newtype with parentheses votes: 12, answers: 2 Read on SO: [31] http://goo.gl/k9A7YU * GHC: insert compilation date votes: 11, answers: 2 Read on SO: [32] http://goo.gl/MbWGqH * How can Haskell function guards operate on other values than the functions parameters? votes: 10, answers: 2 Read on SO: [33] http://goo.gl/sgI9i8 * Can Haskell functions be serialized? votes: 10, answers: 3 Read on SO: [34] http://goo.gl/fVsPvv * Calling Haskell library from C++ votes: 10, answers: 1 Read on SO: [35] http://goo.gl/6V2zqb * Debugging compile time performance issues caused by GHC's constraint solver votes: 10, answers: 1 Read on SO: [36] http://goo.gl/XPAqAy * Haskell performance when using classes and instances votes: 10, answers: 2 Read on SO: [37] http://goo.gl/EZNVMS * Could not deduce (m ~ m1) votes: 9, answers: 1 Read on SO: [38] http://goo.gl/vW0x6D * Running a subexpression once votes: 9, answers: 2 Read on SO: [39] http://goo.gl/MdRgkZ Until next time, [40]+Daniel Santa Cruz References 1. http://sawafaso.blogspot.com.ar/2013/07/why-haskell-at-school-matters.html?… 2. http://shop.oreilly.com/product/0636920026365.do 3. http://www.reddit.com/r/haskell/comments/1ioorw/parallel_and_concurrent_pro… 4. http://adit.io/posts/2013-07-22-lenses-in-pictures.html 5. http://www.reddit.com/r/haskell/comments/1isryj/lenses_in_pictures/ 6. http://www.stephendiehl.com/posts/monads.html 7. http://www.reddit.com/r/haskell/comments/1iafky/monads_made_difficult/ 8. https://github.com/z0w0/helm 9. http://www.reddit.com/r/haskell/comments/1j1fd8/helm_frp_game_engine_inspir… 10. http://www.haskell.org/pipermail/ghc-devs/2013-July/001677.html 11. http://www.reddit.com/r/haskell/comments/1ikc91/ian_lynagh_leaves_ghc_hq/ 12. http://joelt.io/entries/yesod-in-production 13. http://www.reddit.com/r/haskell/comments/1inf8a/yesod_in_production/ 14. http://ocharles.org.uk/blog/posts/2013-07-26-a-comparison-between-perl-and-… 15. http://www.reddit.com/r/haskell/comments/1j3jgd/a_comparison_between_perl_a… 16. http://www.mpi-sws.org/~skilpat/backpack/ 17. http://www.reddit.com/r/haskell/comments/1id0p7/backpack_retrofitting_haske… 18. http://chimera.labs.oreilly.com/books/1230000000929/index.html 19. http://www.reddit.com/r/haskell/comments/1iwr7x/parallel_and_concurrent_pro… 20. http://sawafaso.blogspot.com.ar/2013/07/why-haskell-at-school-matters.html 21. http://www.reddit.com/r/haskell/comments/1j3k19/why_haskell_at_school_matte… 22. http://www.leafpetersen.com/leaf/publications/hs2013/haskell-gap.pdf 23. http://www.reddit.com/r/haskell/comments/1j2k4a/measuring_the_haskell_gap_p… 24. http://www.leafpetersen.com/leaf/publications/icfp2013/vectorization-haskel… 25. http://www.reddit.com/r/haskell/comments/1izyok/automatic_simd_vectorizatio… 26. http://chrisdone.com/posts/ircbrowse 27. http://www.reddit.com/r/haskell/comments/1iy8nv/irc_browse/ 28. http://www.reddit.com/r/haskell/comments/1iki8p/how_to_help_develop_hackage… 29. http://www.reddit.com/r/haskell/comments/1iki8p/how_to_help_develop_hackage… 30. http://stackoverflow.com/questions/17668452/can-someone-explain-to-me-why-t… 31. http://stackoverflow.com/questions/17853232/haskell-newtype-with-parentheses 32. http://stackoverflow.com/questions/17796521/ghc-insert-compilation-date 33. http://stackoverflow.com/questions/17650866/how-can-haskell-function-guards… 34. http://stackoverflow.com/questions/17785916/can-haskell-functions-be-serial… 35. http://stackoverflow.com/questions/17815804/calling-haskell-library-from-c 36. http://stackoverflow.com/questions/17822539/debugging-compile-time-performa… 37. http://stackoverflow.com/questions/17834802/haskell-performance-when-using-… 38. http://stackoverflow.com/questions/17765690/could-not-deduce-m-m1 39. http://stackoverflow.com/questions/17900495/running-a-subexpression-once 40. https://plus.google.com/105107667630152149014/about

1 0