September 2016 - Haskell

PLDI 2017 - Call for Workshops and Tutorials
by Tobias Grosser 30 Sep '16

30 Sep '16

*Call for Workshops and Tutorials* ============================= 2017 ACM Conference on Programming Language Design and Implementation (PLDI) June 19-23, 2017 in Barcelona, Spain http://conf.researchr.org/home/pldi-2017 PLDI 2017 will host co-located workshops and tutorials for which it calls for proposals. This year, PLDI is a part of a large cluster of co-located conferences including ECOOP, Curry On, LCTES, ISMM, DEBS and others. Take your chance in addressing the diverse audience of the premier forum in programming language design and implementation by proposing your event. PLDI welcomes prominent events focusing on programming language design theory and practice, for which it can provide guidance in ublishing results in the ACM Digital Library. * Submission guidelines * ===================== http://conf.researchr.org/track/pldi-2017/pldi-2017-workshops-and-tutorials Please submit proposals in plain text to Workshops and Tutorials Chair Aaron Smith <aaron.smith(a)microsoft.com>. A proposal should provide: * Name of the workshop/tutorial. * Duration of the workshop/tutorial. * Organizers: names, affiliation, contact information, brief (100 words) biography. * A short description (150-200 words) of the topic. * Event format: workshop/tutorial; type of submissions if any; review process; results dissemination; references to previous events. * Expected attendance and target audience within PLDI community. * Important dates * ================ Published Workshops proposals due 28 Nov 2016 Acceptance Notification 9 Dec 2016 Unpublished Workshops and Tutorials proposals due 30 Jan 2017 Workshop and Tutorials held (tentatively) 18, 22, 23 Jun 2017 *Organizing Committee* ==================== http://conf.researchr.org/committee/pldi-2017/pldi-2017-organizing-committee General Chair: Albert Cohen, INRIA, France Program Chair: Martin Vechev, ETH Zurich, Switzerland Workshops & Tutorials Chair: Aaron Smith, University of Edinburgh Organizing Chair: Fernando Orejas, Universitat Politècnica de Catalunya, Spain Publicity Chairs: Adrian Sampson, Cornell, USA Tobias Grosser, ETH Zurich, Switzerland Web Chair: Oleksandr Zinenko, INRIA, France Financial Chair: Louis-Noël Pouchet, Ohio State University, USA Student Travel Chair: Ronald Mak, San Jose State University, USA

1 0

SPLASH'16 Amsterdam CFP: early registration ends Sept 30
by Tijs van der Storm 28 Sep '16

28 Sep '16

################################################# ACM Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH'16) ################################################# Amsterdam, The Netherlands Sun 30th October - Fri 4th November , 2016 http://2016.splashcon.org https://twitter.com/splashcon https://www.facebook.com/SPLASHCon/ ** REGISTRATION ** 30 September 2016 (Early Deadline) Contact: info(a)splashcon.org http://2016.splashcon.org/attending/registration # What's happening at SPLASH? ## Keynotes - Benjamin Pierce (SPLASH) The Science of Deep Specification - Andy Ko (SPLASH) A Human View of Programming Languages - Martin Odersky (SPLASH) - Guy Steele Jr. (SPLASH-I) - Robby Findler (SLE) Redex: Lightweight Semantics Engineering - Tiark Rompf (GPCE) Lightweight Modular Staging: Generate all the things! - Simon Peyton Jones (SPLASH-I/E) The dream of a lifetime: shaping how our children learn computing - Laurence Tratt (Scala) Fine-grained language composition without a common VM - Jan Vitek (Scala) This is not a Type: Gradual typing in practice ## Workshop Keynotes - Andrew Black (NOOL) The Essence of Inheritance - Alan Blackwell (PLATEAU) How to Design a Programming Language - Felienne Hermans (DSLDI) Small, simple and smelly: What we can learn from examining end-user artifacts? - Ivano Malavolta (Mobile!) Beyond native apps: Web technologies to the rescue! - Betsy Pepels (ITSLE) Model Driven Software Engineering (MDSE) in the large - Markus Voelter (ITSLE) Lessons Learned about Language Engineering from the Development of mbeddr - Beverly Sanders (SEPS) Patterns for Parallel Programming: New and Improved! ** Conference Program ** http://2016.splashcon.org/program/program-splash-2016 ** SPLASH-I Track ** SPLASH-I is a series of invited and solicited talks that address topics relevant to the SPLASH community. Speakers are world-class experts in their field, selected and invited by the organizers. The SPLASH-I talks series is held in parallel with the rest of SPLASH during the week days. Talks are open to all attendees. A selection of confirmed talks: - Edwin Brady Type-driven Development in Idris - Jürgen Cito Using Docker Containers to Improve Reproducibility in PL/SE Research - Yvonne Coady Exploratory Analysis in Virtual Reality: The New Frontier - Adam Chlipala Rapid Development of Web Applications with Typed Metaprogramming in Ur/Web - Tudo Girba Software Environmentalism - Robert Grimm Adventures in Software Evolution - Brian Harvey Snap! Scheme Disguised as Scratch - Lennart Kats Responsive Language Tooling For Cloud-based IDEs - Ralf Laemmel The basic skill set of software language engineering - Crista Lopes Simulating Cities: The Spacetime Framework - Heather Miller Language Support for Distributed Systems - Mark Miller & Bill Tulloh The elements of decision alignment: Large programs as complex organizations - Boaz Rosenan & David Lorenz Define Your App, Don’t Implement It: Building a Scalable Social Network in 45 minutes - Emmanuel Schanzer Bootstrap - Chris Seaton Truffle and Graal: Fast Programming Languages With Modest Effort - Emma Söderbergh From Tricorder to Tricium: Useful Static Analysis and the Importance of Workflow Integration - Emma Tosch Designing and Debugging Surveys with SurveyMan - Todd Veldhuizen Fast Datalog - Markus Völter How Domain Requirements Shape Languages - Jos Warmer Making Mendix Meta Model Driven - Andy Zaidman Fact or fiction? What software analytics can do for us (developers and researchers) More information here: http://2016.splashcon.org/track/splash-2016-splash-i#program ** Research tracks - OOPSLA http://2016.splashcon.org/track/splash-2016-oopsla#event-overview - Onward! http://2016.onward-conference.org/track/onward-2016-papers#event-overview - Onward! Essays http://2016.onward-conference.org/track/onward2016-essays#program - Software Language Engineering (SLE) http://conf.researchr.org/track/sle-2016/sle-2016-papers#event-overview - Generative Programming: Concepts & Experiences (GPCE) http://conf.researchr.org/track/gpce-2016/gpce-2016-papers#event-overview - Dynamic Languages Symposium (DLS) http://conf.researchr.org/track/dls-2016/dls-2016-papers#event-overview - Scala Symposium http://conf.researchr.org/track/scala-2016/scala-2016#event-overview ** Other Events - Doctoral Symposium http://2016.splashcon.org/track/splash-2016-ds#event-overview - Programming Language Mentoring Workshop (PLMW) http://2016.splashcon.org/track/splash-2016-plmw - Student Research Competition (SRC) http://2016.splashcon.org/track/splash-2016-src - Posters http://2016.splashcon.org/track/splash-2016-posters#event-overview ** Workshops SPLASH'16 is hosting a record number of 15 workshops: - AGERE! Programming based on Actors, Agents, and Decentralized Control http://2016.splashcon.org/track/agere2016 - DSLDI: Domain-Specific Language Design and Implementation http://2016.splashcon.org/track/dsldi2016 - DSM: Domain-Specific Modeling http://2016.splashcon.org/track/dsm2016 - FOSD: Feature-oriented Software Development http://www.fosd.net/workshop2016 - ITSLE: Industry Track Software Language Engineering http://2016.splashcon.org/track/itsle2016 - LWC@SLE: Language Workbench Challenge http://2016.splashcon.org/track/lwc2016 - META http://2016.splashcon.org/track/meta2016 - Mobile! http://2016.splashcon.org/track/mobile2016 - NOOL: New Object-Oriented Languages http://2016.splashcon.org/track/nool2016 - PLATEAU: Evaluation and Usability of Programming Languages and Tools http://2016.splashcon.org/track/plateau2016 - Parsing@SLE http://2016.splashcon.org/track/parsing2016 - REBLS: Reactive and Event-based Languages & Systems http://2016.splashcon.org/track/rebls2016 - SA-MDE: Tutorial on MDD with Model Catalogue and Semantic Booster http://2016.splashcon.org/track/samde2016 - SEPS: Software Engineering for Parallel Systems http://2016.splashcon.org/track/seps2016 - VMIL: Virtual Machines and Intermediate Languages http://2016.splashcon.org/track/vmil2016 - WODA: Workshop on Dynamic Analysis http://2016.splashcon.org/track/woda2016 ## SPLASH'16 is kindly supported by the following organizations: - ACM: http://www.acm.org/ - SIGPLAN: http://www.sigplan.org/ - LogicBlox (Gold): http://www.logicblox.com/ - Universal Robots (PLMW, Gold): http://www.universal-robots.com/ - Oracle (Silver): http://www.oracle.com/index.html - TU Delft (Silver): http://tudelft.nl/ - Huawei (Bronze): http://www.huawei.com/en/ - Facebook (Bronze): https://research.facebook.com/ - IBM Research (Bronze): http://www.research.ibm.com/ - Google (Bronze): https://www.google.com - Itemis (Bronze): https://www.itemis.com/en/ - ING (Bronze): https://www.ing.nl Interested in supporting SPLASH'16? See our options here: http://2016.splashcon.org/attending/support-program.

1 0

GHC is a monopoly compiler
by Tony Day 26 Sep '16

26 Sep '16

I would argue that the adventure that is GHC is a natural monopoly - an example of collaboration trumping competition. Certainly the results speak for themselves, and I personally find it the most satisfying, the only sane way to practice the craft of coding. So, as an enthusiastic user of a monopolistic service (the best power to weight ratio I could find to misquote Kmett), I would like to suggest to the community that we have a respectful discussion on the implications of natural monopolies. Monopolies have their problems. They create power imbalances that need active management to control. A community should be particularly wary of monopolies attempting to vertically integrate up the production chain into areas where a monopoly makes less sense. I would call the whole cabal versus stack drama a text-book case of over-reach. Everyone agrees stack operates at a higher level of abstraction then cabal, on top of it is accurate. Cabal shouldn't even be allowed to compete above it's current abstraction point. Haddock is another example of being blessed by ghc. It hits a corner-case of perfection for the "I'm a hackage library" monopoly. But the outside world of documentation, editing, rendering and conversion is invisible to this monopolistic use case. We are forced to learn and use haddock, and, for those of us with documentation needs outside hackage, the resultant workflow is cruel and unusual. GHC is a great compiler, but should actively be discouraged from monopolizing the associated tooling and documentation chains. There is evidence of healthy open-source competition and significant gains to be had, and Haskell runs the risk of missing out.

1 0

Re: [Haskell] Respect
by cheater00 cheater00 26 Sep '16

26 Sep '16

On Mon, Sep 26, 2016 at 11:41 AM, a user wrote: > I am not sure we ever met though I was participating to the last 4 ICFP and related workshop. > I think that talking about * undisputed leadership * is going against Simon message who pledge for a community capacity to discuss freely and with respect any topics. As far as I remember what has been told about Paul Hudak (a potential leader for Haskell) when he passed away, Haskell is a languages build by a group of people, not a single undisputed leader ever, neither Paul nor Simon nor any John nor Phil, nor… > Things should also be kept that way shouldn’t they ? > Best regards, > > (...) Hi! Thanks for your email. I'm very happy you are an active member of the FP community. It's important for us to hold together. I do not think of Simon as a leader in terms of "boss" or "decision maker". Maybe it's easier to think in terms of respect. You cannot assume a position of respect. You can only gain respect by being a great person, and if a lot of people respect you then you might propose ideas (as Simon has here) and people are likely to follow them. This kind of leadership develops naturally and organically, as opposed to leadership that you are told to follow. It is my belief that a lot of people make note of what SPJ says because they respect him for who he is, rather than because he has installed himself. There is no hegemony to be had here. Simon has also shown on numerous occasions that he gives room to ideas that don't originate from him and he's a fervent supporter of people contributing their vision to GHC and Haskell, whether or not he has a say in the direction those things will go. (P.S. the user asked me to quote his off-list letter anonymously when reintroducing it to the mailing list) >> cheater00 cheater00 <cheater00(a)gmail.com> wrote : >> >> This kind of thing is why you're the undisputed leader of our >> community, Simon. Not one of us could come even close to saying this >> in the same manner. Kudos.

1 0

Respect
by Simon Peyton Jones 25 Sep '16

25 Sep '16

Friends One of the most precious attributes of the Haskell community over the last twenty-five years has been its supportive, friendly, and respectful dialogue. People have often drawn attention to this, and I have always felt good about it. (A great example is this hilarious exchange [1], which I came across in the wonderful but sadly-in-abeyance Haskell Weekly News). As I write this post I am travelling back from ICFP where the same high standards of discourse prevail. People certainly ask searching questions, but they do so as critical friends, not hostile adversaries. There's no denying that our shared dialogue as a community has taken a nose-dive in the last few months. If this change of tone becomes established as a norm, I believe it will corrode our common life, perhaps permanently, and harm our shared purpose. I would be heartbroken if that happened. Underlying these exchanges there are strong differences of opinion. Some are technical judgements; others are to do with an assessment of what will be most helpful to new users. These are matters about which reasonable, thoughtful people can differ. But in a community in which I believe that everyone is passionately motivated to do the Right Thing, I am certain that we can debate those differences in a more constructive way. In writing this post, I am not seeking to discourage open debate, or expressions of concern. It's worth separating two things 1. Publicly debating an issue where judgements differ 2. Using offensive or adversarial language in that debate It's fine to respectfully disagree with someone's judgement (i.e. 1). It's /not/ fine to imply that they have hidden (and bad) motives, or declare them incompetent or deliberately obtuse (i.e. 2). This has no place in our public conversations. The trickier the issue, the more careful we should be to express ourselves in a way that is respectful, and is visibly grounded in the assumption that the other person is acting in good faith. I not attributing blame. There is no idle malice here, nor thoughtless trolling. It's no good each of us pointing the finger elsewhere: our shared conversation is our shared responsibility. Nor am I trying to paper over the cracks, and pretend everything will be ok if we are just polite to each other. There are significant underlying technical disagreements, bruised feelings, frustration, and some anger. So there is work to do together, and I'm in active conversation some of with the main protagonists, working on some concrete steps forward. More on that anon, I hope. Meanwhile, I am asking -- begging actually -- that we work on these issues using language that is respectful of others, that celebrates the work of both volunteers and companies, and that assumes that our dialogue partners are acting from the best of intentions. Simon [1] https://gist.github.com/quchen/5280339

2 1

Call for Scholarship Applications: Programming Languages Mentoring Workshop - a POPL workshop
by Dimitrios Vytiniotis 22 Sep '16

22 Sep '16

(apologies for multiple copies) CALL FOR SCHOLARSHIP APPLICATIONS (Deadline: October 23!) ACM SIGPLAN Programming Languages Mentoring Workshop, Paris, France Tuesday, January 17, 2017 Co-located with POPL 2017 PLMW web page: http://conf.researchr.org/track/POPL-2017/PLMW-2017 After the resounding success of the first five Programming Languages Mentoring Workshops at POPL 2012-2016 we proudly announce the 2017 SIGPLAN Programming Languages Mentoring Workshop (PLMW), co-located with POPL 2017 and organised by Loris D'Antoni, Eva Darulova, Alexandra Silva, and Dimitrios Vytiniotis. The purpose of this mentoring workshop is to encourage graduate students and senior undergraduate students to pursue careers in programming language research. This workshop will bring together world leaders in programming languages research and teaching from academia and industry to provide (a) technical sessions on cutting-edge PL research and (b) mentoring sessions on how to prepare for a research career. The workshop will engage students in a process of imagining how they might contribute to our research community. We especially encourage women, underrepresented minority students, and people with disabilities to attend PLMW. This workshop is part of the activities surrounding POPL, the Symposium on Principles of Programming Languages, and takes place the day before the main conference. One goal of the workshop is to make the POPL conference more accessible to newcomers. We hope that participants will stay through the entire conference. A number of sponsors (listed below) have generously donated scholarship funds for qualified students to attend PLMW. These scholarships should cover reasonable expenses (airfare, hotel, and registration fees) for attendance at both the workshop and the POPL conference. Students attending this year will get one year free student membership of SIGPLAN, unless they prefer to opt out during their application. The workshop registration is open to all. Students with alternative sources of funding are welcome as well. APPLICATION for PLMW scholarship: The scholarship application can be accessed from the workshop web site. http://conf.researchr.org/track/POPL-2017/PLMW-2017#Scholarship-applications The deadline for full consideration of funding is SUNDAY, OCTOBER 23. Selected participants will be notified by NOVEMBER 20 or earlier. Confirmed sponsors so far: NSF ACM SIGPLAN Amazon An Anonymous Donor Jane Street Capital Microsoft

1 0

PLDI 2017 call for papers
by Tobias Grosser 21 Sep '16

21 Sep '16

*Call for Contributions* ==================== 2017 ACM Conference on Programming Language Design and Implementation (PLDI) June 19-23, 2017 in Barcelona, Spain http://conf.researchr.org/home/pldi-2017 PLDI is the premier forum in the field of programming languages and programming systems research, covering the areas of design implementation, theory, applications, and performance. PLDI welcomes outstanding research which clearly advances the field and has the potential to make a lasting contribution. *Important Dates* =============== Research paper submissions due 15 Nov 2016 Author response period 26-28 Jan 2017 Author notification 13 Feb 2017 *Author Instructions* ================== http://conf.researchr.org/track/pldi-2017/pldi-2017-papers Submission site: https://pldi17.hotcrp.com/ *Organizing Committee* ==================== General Chair: Albert Cohen, INRIA, France Program Chair: Martin Vechev, ETH Zurich, Switzerland Workshops & Tutorials Chair: Aaron Smith, University of Edinburgh Publicity Chairs: Adrian Sampson, Cornell, USA Tobias Grosser, ETH Zurich, Switzerland http://conf.researchr.org/committee/pldi-2017/pldi-2017-organizing-committee -- Tobias Grosser

1 0

Doctoral scholarships at Oxford
by Jeremy Gibbons 19 Sep '16

19 Sep '16

The Dept of CS at Oxford has just advertised up to 15 DPhil (Oxford's PhD) scholarships to start in Oct 2017. I would be very happy to see applications from strong students in functional programming among those scholarships. If you'd like to discuss, please get in touch. In particular, if you were at PLMW at ICFP on Sunday, please speak to me in person - I am also at ICFP, leaving on Sunday. See http://www.cs.ox.ac.uk/news/1182-full.html for the advert; text quoted below. Cheers, Jeremy * Full funding for up to 15 doctoral students Posted: 14th September 2016 The Department of Computer Science at the University of Oxford is delighted to invite applications for up to 15 fully-funded DPhil (Oxford’s PhD) scholarships tenable from 1st October 2017. We will be considering students for Oxford-Google DeepMind Graduate Scholarships, EPSRC Scholarships, Clarendon Scholarships, Oxford Wolfson Marriott Graduate Scholarship and departmental funding. The University of Oxford is consistently ranked amongst the very best Computer Science departments in the world, for both teaching and research. We are committed to attracting the world’s most talented students and working with them to continue the success of the department. The topics for the studentships are open, but should relate to the interests of one of the Department’s research areas: Algorithms & Complexity Theory, Artificial Intelligence, Automated Verification, Computational Biology, Foundations, Logic & Structures, Information Systems, Machine Learning, Multi-Agent Systems, Programming Languages, Security, Semantics and Software Engineering. We also encourage applications in cross disciplinary areas such as Linguistics, Biology, Medicine and Quantum Foundations & Quantum Computation. The studentships are for three years and are open to students of any nationality. Each studentship will cover university and college fees with a stipend of at least £14,296 per year. Applicants are normally expected to have, or be predicted to achieve, a first-class or a strong upper second-class grade in either (i) a four-year undergraduate degree (with integrated masters) in a relevant subject (or equivalent international qualifications), or (ii) a three-year BSc/BA degree followed by excellent (distinction) performance in a master's degree in a relevant subject. Informal enquiries may be addressed to graduate.admissions(a)cs.ox.ac.uk and for more information please see our webpages Please apply online Closing date for applications: 6th January 2017 but you are advised to apply as soon as your application is ready. All supporting documents including transcripts and references must be received by this date. Jeremy.Gibbons(a)cs.ox.ac.uk Oxford University Department of Computer Science, Wolfson Building, Parks Road, Oxford OX1 3QD, UK. ☎ +44 1865 283521 http://www.cs.ox.ac.uk/people/jeremy.gibbons/

1 0

Doctoral or Post-Doctoral Position in Programming Language Theory & Implementation
by Tom Schrijvers 18 Sep '16

18 Sep '16

I am looking for a new member to join my research team in either a doctoral or post-doctoral position. Research topics of particular interest are: * type systems * functional programming * monads, continuations, effect handlers, ... * mechanisation of programming language meta-theory * category theoretical foundations of programming languages * constraint logic programming For more details and application: https://icts.kuleuven.be/apps/jobsite/vacatures/53891815?lang=en For questions about the position, get in touch. -- prof. dr. ir. Tom Schrijvers Research Professor KU Leuven Department of Computer Science Celestijnenlaan 200A 3001 Leuven Belgium Phone: +32 16 327 830 http://people.cs.kuleuven.be/~tom.schrijvers/

1 0

[ANN] Call for Contributions: BOB 2017 - Berlin, Feb 24, 2017
by Stefan Wehr 14 Sep '16

14 Sep '16

BOB Conference 2017 "What happens when we use what's best for a change?" http://bobkonf.de/2017/en/cfp.html Berlin, February 24 Call for Contributions Deadline: October 30, 2016 You are actively engaged in advanced software engineering methods, implement ambitious architectures and are open to cutting-edge innovation? Attend this conference, meet people that share your goals, and get to know the best software tools and technologies available today. We strive to offer a day full of new experiences and impressions that you can use to immediately improve your daily life as a software developer. If you share our vision and want to contribute, submit a proposal for a talk or tutorial! Topics ------ We are looking for talks about best-of-breed software technology, e.g.: - functional programming - persistent data structures and databases - types - formal methods for correctness and robustness - abstractions for concurrency and parallelism - metaprogramming - probabilistic programming - ... everything really that isn’t mainstream, but you think should be. Presenters should provide the audience with information that is practically useful for software developers. This time, we’re especially interested in experience reports. But this could also take other forms, e.g.: - introductory talks on technical background - overviews of a given field - demos and how-tos Requirements ------------ We accept proposals for presentations of 45 minutes (40 minutes talk + 5 minutes questions), as well as 90 minute tutorials for beginners. The language of presentation should be either English or German. Your proposal should include (in your presentation language of choice): - an abstract of max. 1500 characters. - a short bio/cv - contact information (including at least email address) - a list of 3-5 concrete ideas of how your work can be applied in a developer’s daily life -additional material (websites, blogs, slides, videos of past presentations, …) Submit here: https://docs.google.com/forms/d/e/1FAIpQLSfFuyBhBTCOTS0zTXBzY1KVuKpumyIBTuc… Organisation - direct questions to bobkonf at active minus group dot de - proposal deadline: October 30, 2016 - notification: November 15, 2016 - program: December 1, 2016 NOTE: The conference fee will be waived for presenters, but travel expenses will not be covered. Speaker Grants -------------- BOB has Speaker Grants available to support speakers from groups under-represented in technology. We specifically seek women speakers and speakers who are not be able to attend the conference for financial reasons. Details are here: http://bobkonf.de/2017/en/speaker-grants.html Shepherding ----------- The program committee offers shepherding to all speakers. Shepherding provides speakers assistance with preparing their sessions, as well as a review of the talk slides. Program Committee ----------------- (more information here: http://bobkonf.de/2017/programmkomitee.html) - Matthias Fischmann, zerobuzz UG - Matthias Neubauer, SICK AG - Nicole Rauch, Softwareentwicklung und Entwicklungscoaching - Michael Sperber, Active Group - Stefan Wehr, factis research Scientific Advisory Board - Annette Bieniusa, TU Kaiserslautern - Torsten Grust, Uni Tübingen - Peter Thiemann, Uni Freiburg

1 0