August 2015 - Haskell

Haskell-related PhD Studentship at Kent
by Meng Wang 22 Mar '16

22 Mar '16

Dear Haskellers, I am seeking a PhD student on a Haskell-related project: http://www.cs.kent.ac.uk/research/studyingforaphd/phd-wang.html This would be a good opportunity for someone who is interested in applying Haskell ideas to real problems. The funding covers maintenance, EU student fees and research related expenses. But non-EU students are welcome to apply too. For Sep 2015 starting, the application deadline is 17 April 2015. If you are interested, please contact me at m.w.wang(a)kent.ac.uk<mailto:m.w.wang@kent.ac.uk>. Best wishes, Meng — Dr Meng Wang School of Computing University of Kent http://www.cs.kent.ac.uk/people/staff/mw516/

1 1

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

Open Postdoc Position in formal methods applied to timed systems
by Ezio Bartocci 31 Aug '15

31 Aug '15

The Institute of Computer Engineering at Vienna (http://ti.tuwien.ac.at/) University of Technology is seeking a candidate for a postdoctoral research position (one year with the posibility to renew for up to other two years), starting as soon as possible. The successful applicant will carry out his/her postdoc in the research area of formal methods applied to the verification and synthesis of timed systems with faults and delays, including distributed systems. This task is part of the recently granted Austrian FWF National Research Network “RiSE” (2nd funding period, http://arise.or.at/nfn/shine-organization-and-subprojects/) to be led by Ass.-Prof. Ezio Bartocci in collaboration with Prof. Ulrich Schmid and Prof. Radu Grosu and with the other PIs of RiSE: http://arise.or.at/principal-investigators/. Task Description (Task leader Ezio Bartocci): Modeling and Analysis of Parametric, Probabilistic and Parameterized Timed Systems (Applications). To master the overwhelming complexity of manual correctness proofs of continuous-time distributed systems, computer-aided methods that can deal with symbolic timing parameters (“parametric”) and symbolic system sizes (“parameterized”) are required. Besides the question of how to deal with the overwhelming complexity, answering the question of how to incorporate (probabilistic) faults will be addressed in collaboration with PP12 (Grosu), PP07 (Chatterjee) and PP11 (Kirsch). In order to extend our framework to also cover message-passing distributed systems with parameterized system size, novel abstraction techniques and/or cutoff results will be developed in a collaboration with PP03 (Veith). The specific requirements for this postdoc position are the following: A completed PhD in Computer Science Experience in developing tools Solid experience in timed automata and/or probabilistic timed automata (possibly parametric and/or parametrized) Very good English skills (writing, speaking) A promising publication record The Technische Universität Wien (TU Wien) has about 20,000 students and a heavy emphasis on research in the sciences and engineering. TU Wien comprises eight faculties - mathematics and geo-information, physics, technical chemistry, informatics, civil engineering, architecture and regional planning, mechanical engineering and business science, electrical engineering and information technology. The Faculty of Informatics of the TU Wien comprises about 3,000 students. The Institute of Computer Engineering (ICE) is one of its seven computer science institutes. The ICE’s research and teaching activities focus on the area of cyber-physical systems and dependable embedded systems. Our activities are at the heart of the primary research area Technische Informatik (Computer Engineering) of the Faculty of Informatics, and integrate computer science, discrete and continuous systems theory, and microelectronics in a holistic approach. Major research areas are hybrid systems, real-time systems, fault-tolerant distributed algorithms, and dependable digital circuit architectures. Particular research activities range from formal/mathematical modeling and analysis over SW/HW architectures to microcontroller programming and FPGA/VLSI design. Salary The salary of the postdoctoral researcher will be of around 49000 Euro gross per year. Applications, including any attachments, should be submitted by the 15th of September to the following emails: ezio.bartocci(a)tuwien.ac.at, s(a)ecs.tuwien.ac.at, radu.grosu(a)tuwien.ac.at. The following documents must be attached to the application: - Cover letter stating the candidate's motivation to apply, and the reason(s) why they should be selected for the position - A CV - Three publications that are deemed relevant to the postdoctoral project - Two reference letters Contact details For further information and enquiries about this post please contact Ezio Bartocci, e-mail: ezio.bartocci(a)tuwien.ac.at.

1 0

CPS Week 2016: CALL FOR WORKSHOP AND TUTORIAL PROPOSALS
by Ezio Bartocci 31 Aug '15

31 Aug '15

CALL FOR WORKSHOP AND TUTORIAL PROPOSALS Cyber-Physical Systems Week (CPS Week) April 11-14, 2016, Vienna, Austria http://www.cpsweek.org/2016/ <http://www.cpsweek.org/2016/> —————————————————————————————————— CPS Week is the premier event on Cyber-Physical Systems. It brings together four top conferences, HSCC, ICCPS, IPSN, and RTAS, 10-15 workshops, a localization competition, tutorials and various exhibitions from both industry and academia. Altogether the CPS Week program covers a multitude of complementary aspects of CPS, and reunites the leading researchers in this dynamic field. CPS Week 2016 in Vienna, Austria will host 10-15 workshops (subject to room availability) and 2-3 tutorials on Monday April 11 and is soliciting proposals for new and recurring workshops as well as for tutorials. CPS Week workshops are excellent opportunities to bring together researchers and practitioners from different communities to share their experiences in an interactive atmosphere and to foster collaboration for new and innovative projects. We invite you to submit workshop proposals on any topic related to the broad set of research, education, and application areas in cyber-physical systems. Guidelines for workshop proposals: ——————————————————————————————————— Proposals should be submitted at the latest by *** October 1, 2015 *** A workshop proposal consists of a 2-page maximum PDF file, including the following information: - A concise title of the workshop - Description of the topics and specific issues that the workshop will address, how the workshop complements CPSWeek conferences and why the workshop theme is relevant - Expected format of the workshop (regular paper presentations, poster presentations, invited talks, panel discussions, demo sessions, or other ideas to promote active exchange of ideas) - Organizers with short bio, affiliation, and their expertise in the proposed topic(s) - In case the workshop has been previously held, provide information to show that the previous edition(s) were successful in terms of paper submissions and/or attendance. Links to past workshop editions would be very helpful too. - Length of the workshop (half-day/one-day) and the expected number of participants - Follow-up plans (if any) to disseminate the ideas from the workshop, for example through proceedings or journal special issue Please submit your workshop proposal by email to the workshop and tutorial chairs Christoph Kirsch (ck(a)cs.uni-salzburg.at <mailto:ck@cs.uni-salzburg.at>) and Ana Sokolova (anas(a)cs.uni-salzburg.at <mailto:anas@cs.uni-salzburg.at>). Please write “[CPSWeek 2016] Workshop Proposal" in the e-mail subject line. Guidelines for tutorial proposals: ——————————————————————————————————— Proposals should be submitted at the latest by *** October 1, 2015 *** A proposal consists of a 2-page maximum PDF file, including the following information on the tutorial program: - The title and abstract of the tutorial - An outline of tutorial content and objectives - Prerequisite knowledge - Organizers/Speakers with short bio, affiliation, and their expertise in the proposed topic(s) - In case the tutorial has been previously held, include information on the last tutorial of the same topic held within CPS Week or other conferences such as the year it was held and the number of attendees. A link to past tutorial would be very helpful too. - We envision tutorials to last for 3 hours. Please submit your tutorial proposal by email to the workshop and tutorial chairs Christoph Kirsch (ck(a)cs.uni-salzburg.at <mailto:ck@cs.uni-salzburg.at>) and Ana Sokolova (anas(a)cs.uni-salzburg.at <mailto:anas@cs.uni-salzburg.at>). Please write “[CPSWeek 2016] Tutorial Proposal" in the e-mail subject line. ———————————————————————————————————— Notification of acceptance *** October 15, 2015 *** ————————————————————————————————————

1 0

PEPM 2016: Final Call for Papers
by Martin Erwig 30 Aug '15

30 Aug '15

FINAL CALL FOR PAPERS Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM 2016) St. Petersburg, Florida, January 18 - 19, 2016 http://conf.researchr.org/track/POPL-2016/pepm-2016-main The 2016 PEPM workshop will be based on a broad interpretation of semantics-based program manipulation and continues efforts to expand the scope of PEPM beyond the traditionally covered areas of partial evaluation and specialization. Specifically, PEPM will include practical applications of program transformations such as refactoring tools, and practical implementation techniques such as rule-based transformation systems. In addition, the scope of PEPM covers manipulation and transformations of program and system representations such as structural and semantic models that occur in the context of model-driven development. In order to reach out to practitioners, a separate category of tool demonstration papers will be solicited. Topics of interest for PEPM’16 include, but are not limited to: * Program and model manipulation techniques such as: supercompilation, partial evaluation, fusion, on-the-fly program adaptation, active libraries, program inversion, slicing, symbolic execution, refactoring, decompilation, and obfuscation. * Program analysis techniques that are used to drive program/model manipulation such as: abstract interpretation, termination checking, binding-time analysis, constraint solving, type systems, automated testing and test case generation. * Techniques that treat programs/models as data objects including metaprogramming, generative programming, embedded domain-specific languages, program synthesis by sketching and inductive programming, staged computation, and model-driven program generation and transformation. * Application of the above techniques including case studies of program manipulation in real-world (industrial, open-source) projects and software development processes, descriptions of robust tools capable of effectively handling realistic applications, benchmarking. Examples of application domains include legacy program understanding and transformation, DSL implementations, visual languages and end-user programming, scientific computing, middleware frameworks and infrastructure needed for distributed and web-based applications, resource-limited computation, and security. To maintain the dynamic and interactive nature of PEPM, we will continue the category of `short papers’ for tool demonstrations and for presentations of exciting if not fully polished research, and of interesting academic, industrial and open-source applications that are new or unfamiliar. Student participants with accepted papers can apply for a SIGPLAN PAC grant to help cover travel expenses and other support. PAC also offers other support, such as for child-care expenses during the meeting or for travel costs for companions of SIGPLAN members with physical disabilities, as well as for travel from locations outside of North America and Europe. For details on the PAC program, see its web page. All accepted papers, short papers included, will appear in formal proceedings published by ACM Press. Accepted papers will be included in the ACM Digital Library. Selected papers from PEPM’16 will be published in a special issue of the journal Science of Computer Programming. PEPM has also established a Best Paper Award. The winner will be announced at the workshop. Submission Categories and Guidelines Regular Research Papers must not exceed 12 pages in ACM Proceedings style (including appendix). Tool demonstration papers and short papers must not exceed 6 pages in ACM Proceedings style (including appendix). At least one author of each accepted contribution must attend the workshop and present the work. In the case of tool demonstration papers, a live demonstration of the described tool is expected. Suggested topics, evaluation criteria, and writing guidelines for both research tool demonstration papers will be made available on the PEPM’16 web site. Papers should be submitted electronically via EasyChair. easychair.org/conferences/?conf=pepm2016 Authors using LaTeX to prepare their submissions should use the new improved SIGPLAN proceedings style. Specifically, use the sigplanconf.cls 9pt template. Important Dates * Abstract submission: Tue, September 8, 2015 * Paper submission: Sun, September 13, 2015 (FIRM) * Author notification: Tue, October 20, 2015 * Camera ready copies: Fri, November 20, 2015 * Workshop: Monday, January 18 - Tuesday, January 19, 2016 Note: The paper submission deadline is firm. The above schedule is tight: We have absolutely no time to wait for late submissions, and we will have no deadline extension.

1 0

Final CFP: FLOPS 2016, International Symposium on Functional and Logic Programming
by Oleg 30 Aug '15

30 Aug '15

NEW: revised submission deadlines (Sep 21 for abstracts, Sep 25 for papers) FLOPS 2016: March 3-6, 2016, Kochi, Japan Final Call For Papers http://www.info.kochi-tech.ac.jp/FLOPS2016/ Writing down detailed computational steps is not the only way of programming. The alternative, being used increasingly in practice, is to start by writing down the desired properties of the result. The computational steps are then (semi-)automatically derived from these higher-level specifications. Examples of this declarative style include functional and logic programming, program transformation and re-writing, and extracting programs from proofs of their correctness. FLOPS aims to bring together practitioners, researchers and implementors of the declarative programming, to discuss mutually interesting results and common problems: theoretical advances, their implementations in language systems and tools, and applications of these systems in practice. The scope includes all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming. FLOPS specifically aims to promote cross-fertilization between theory and practice and among different styles of declarative programming. Scope FLOPS solicits original papers in all areas of the declarative programming: * functional, logic, functional-logic programming, re-writing systems, formal methods and model checking, program transformations and program refinements, developing programs with the help of theorem provers or SAT/SMT solvers; * foundations, language design, implementation issues (compilation techniques, memory management, run-time systems), applications and case studies. FLOPS promotes cross-fertilization among different styles of declarative programming. Therefore, submissions must be written to be understandable by the wide audience of declarative programmers and researchers. Submission of system descriptions and declarative pearls are especially encouraged. Submissions should fall into one of the following categories: * Regular research papers: they should describe new results and will be judged on originality, correctness, and significance. * System descriptions: they should contain a link to a working system and will be judged on originality, usefulness, and design. * Declarative pearls: new and excellent declarative programs or theories with illustrative applications. System descriptions and declarative pearls must be explicitly marked as such in the title. Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished or informally published workshops proceedings may be submitted. See also ACM SIGPLAN Republication Policy. The proceedings will be published by Springer International Publishing in the Lecture Notes in Computer Science (LNCS) series, as a printed volume as well as online in the digital library SpringerLink. Post-proceedings: The authors of 4-7 best papers will be invited to submit the extended version of their FLOPS paper to a special issue of the journal Science of Computer Programming (SCP). Important dates Monday, September 21, 2015 (any time zone): Abstract Submission Friday, September 25, 2015 (any time zone): Submission deadline (FIRM) Monday, November 16, 2015: Author notification March 3-6, 2016: FLOPS Symposium March 7-9, 2016: PPL Workshop Invited Talks - Kazunori UEDA (Waseda University) The exciting time and hard-won lessons of the Fifth Generation Computer Project - Atze Dijkstra (Utrecht University) UHC: Coping with Compiler Complexity Submission Submissions must be written in English and can be up to 15 pages long including references, though pearls are typically shorter. The formatting has to conform to Springer's guidelines. Regular research papers should be supported by proofs and/or experimental results. In case of lack of space, this supporting information should be made accessible otherwise (e.g., a link to a Web page, or an appendix). Papers should be submitted electronically at https://easychair.org/conferences/?conf=flops2016 Program Committee Andreas Abel Gothenburg University, Sweden Lindsay Errington USA Makoto Hamana Gunma University, Japan Michael Hanus CAU Kiel, Germany Jacob Howe City University London, UK Makoto Kanazawa National Institute of Informatics, Japan Andy King University of Kent, UK (PC Co-Chair) Oleg Kiselyov Tohoku University, Japan (PC Co-Chair) Hsiang-Shang Ko National Institute of Informatics, Japan Julia Lawall Inria-Whisper, France Andres Loeh Well-Typed LLP, UK Anil Madhavapeddy Cambridge University, UK Jeff Polakow USA Marc Pouzet Ecole normale superieure, France Vitor Santos Costa Universidade do Porto, Portugal Tom Schrijvers KU Leuven, Belgium Zoltan Somogyi Australia Alwen Tiu Nanyang Technological University, Singapore Sam Tobin-Hochstadt Indiana University, USA Hongwei Xi Boston University, USA Neng-Fa Zhou CUNY Brooklyn College and Graduate Center, USA Organizers Andy King University of Kent, UK (PC Co-Chair) Oleg Kiselyov Tohoku University, Japan (PC Co-Chair) Yukiyoshi Kameyama University of Tsukuba, Japan (General Chair) Kiminori Matsuzaki Kochi University of Technology, Japan (Local Chair) flops2016 at logic.cs.tsukuba.ac dot jp

1 0

ANN: wxHaskell 0.92
by Henk-Jan van Tuyl 28 Aug '15

28 Aug '15

L.S., I am happy to announce a new version of wxHaskell (0.92). What is it? ----------- wxHaskell[1] 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? ----------- - wxc/setup.hs now stops searching for wxWidgets when a compatible version is found (this solves bug ticket 96) - Support for simple Wizards added - Calendar support added - GCC > 4.5 can now be used on Windows, which is a big improvement, as wxWidgets and wxHaskell must use the exact same GCC, to prevent compatibility problems - wxAui is added to wxc, wxAuiNotebook events are added to wxcore and wx - Missing GLAttributes added - Packet version limits adapted to the newest Haskell Platform - Bitness check on Windows no longer uses an external executable - wxHaskell can now be installed with MSYS2 - wxc/Setup.hs is modified to also link to the wx OpenGL libraries for wxGLCanvas - The "warning: Adding duplicate image handler for '... file'" messages are removed - Created a new class Updating with corresponding event "update". Provided instances for TextCtrl and ComboBox: update gets called when the text changes. - Support for wxSplashScreen in wxc and wxcore is added - Many warnings are solved Links ----- See the homepage of wxHaskell for more information: https://wiki.haskell.org/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 [1] https://wiki.haskell.org/WxHaskell -- 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

Haskell hacking internships at Los Alamos National Laboratory (Spring 2016, undergraduate)
by Kei Davis 27 Aug '15

27 Aug '15

Hello, We have an ongoing project developing an auto-parallelizing pure functional language implementation loosely based on Haskell/STG. If you are a United States citizen or permanent resident alien studying computer science or mathematics at the undergraduate level with strong interests in Haskell programming, compiler/runtime development, and pursuing a spring semester (2016) internship at a national laboratory, this could be for you. We don't expect applicants to necessarily already be highly accomplished Haskell programmers--such an internship is expected to be a combination of further developing your programming/Haskell skills and putting them to good use. If you're already a strong C hacker we could use that too. The application process for spring semester internships is open here http://science.energy.gov/wdts/suli/. Note the deadline of Oct. 9. Email me if interested, and feel free to pass this along. -- Kei Davis Applied Computer Science Group CCS-7, Mail Stop B287 Los Alamos National Laboratory Los Alamos, NM 87545, U.S.A.

1 0

ANNOUNCE: Haskell for Mac, 1.0
by Manuel M T Chakravarty 25 Aug '15

25 Aug '15

It is my great pleasure to announce Haskell for Mac http://haskellformac.com Haskell for Mac is an interactive Haskell development environment for OS X Yosemite that is trivial to install, easy to use, and that features Haskell playgrounds. Haskell playgrounds are very much like a persistent, constantly re-evaluated GHCi session. All Haskell commands are evaluated as you edit them, constantly displaying up-to-date results and type information. Moreover, Haskell playgrounds support rich interactive graphics and animations (based on the Rasterific, Diagram, and Chart packages as well as Apple’s 2D animation and games framework SpriteKit). Haskell for Mac is an advanced programming environment for an advanced language. Enjoy! Manuel PS: The focus of the first release is on learning and prototyping with minimal project management support (essentially equivalent to Cabal files with one executable section).

1 0

SPLASH 2015 - Call For Participation
by Tijs van der Storm 24 Aug '15

24 Aug '15

/*************************************************************/ ACM Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH'15) Pittsburgh, Pennsylvania, USA 25th-30th October, 2015 http://www.splashcon.org https://twitter.com/splashcon https://www.facebook.com/SPLASHCon Sponsored by ACM SIGPLAN /************************************************************** CALL FOR PARTICIPATION **************************************************************/ The ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity (SPLASH) embraces all aspects of software construction and delivery to make it the premier conference at the intersection of programming, languages, and software engineering. SPLASH is now inviting calls for participation. ** REGISTRATION ** 28 September 2015 (Early Deadline) Contact: info(a)splashcon.org http://2015.splashcon.org/attending/registration ** CONFERENCE PROGRAM ** http://2015.splashcon.org/program/program-splash2015 ** KEYNOTE Speakers ** We are delighted to announce the following keynote speakers at SPLASH 2015: - Nick Feamster (Princeton University): Tomorrow’s Network Operators Will Be Programmers - Lars Bak (Google): How Dart Learned From Past Object-Oriented Systems - Rob DeLine (Microsoft Research): Modern software is all about data. Development environments should be, too. http://2015.splashcon.org/track/splash2015-keynotes **SPLASH-I Speakers ** SPLASH-I is a series of industrial research 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 OOPSLA main track. Talks are open to all attendees. - Avik Chaudhuri (Facebook): Flow: a static type checker for JavaScript - Hassan Chafi (Oracle Labs): Domain Specific Languages @ Oracle Labs: Current Experiences, Future Hopes - Chris Granger: Eve - Shan Shan Huang (LogicBlox): Model, Execute, Deploy: Answering the Hard Questions about End-user Programming - Lindsey Kuper (Intel Labs): Prospect: Finding and Exploiting Parallelism in a Productivity Language for Scientific Computing - Simon Marlow (Facebook): Fighting Spam with Haskell - Mark S. Miller (Google): Security as Extreme Modularity: A Standards Shaping Approach - Eliot Miranda (Cadence): Spur: Efficient Support for Live Programming in Dynamic Languages - Markus Voelter (independent): Language-Oriented Business Applications: Helping End Users become Programmers - Josh Watzman (Facebook): Changing Engines in Flight: Facebook's Conversion to Hack - Peng Wu (Huawei America Lab): When CT meets IT: Programming Challenges in the age of ICT Convergence http://2015.splashcon.org/track/splash2015-splash-i ** OOPSLA Research Papers** Papers that address any aspect of software development are welcome, including requirements, modeling, prototyping, design, implementation, generation, analysis, verification, testing, evaluation, maintenance, reuse, replacement, and retirement of software systems. Papers may address these topics in a variety of ways, including new tools (such as languages, program analyses, and runtime systems), new techniques (such as methodologies, design processes, code organization approaches, and management techniques), and new evaluations (such as formalisms and proofs, corpora analyses, user studies, and surveys). http://2015.splashcon.org/track/oopsla2015 ** Onward! Research Papers ** Onward! is a premier multidisciplinary conference focused on everything to do with programming and software: including processes, methods, languages, communities, and applications. Onward! is more radical, more visionary, and more open than other conferences to ideas that are well-argued but not yet proven. We welcome different ways of thinking about, approaching, and reporting on programming language and software engineering research. http://2015.splashcon.org/track/onward2015-papers ** Onward! Essays ** Onward! Essays is looking for clear and compelling pieces of writing about topics important to the software community. An essay can be an exploration of a topic, its impact, or the circumstances of its creation; it can present a personal view of what is, explore a terrain, or lead the reader in an act of discovery; it can be a philosophical digression or a deep analysis. It can describe a personal journey, perhaps that by which the author reached an understanding of such a topic. The subject area should be interpreted broadly and can include the relationship of software to human endeavors, or its philosophical, sociological, psychological, historical, or anthropological underpinnings. http://2015.splashcon.org/track/onward2015-essays ** DLS - Dynamic Languages Symposium ** DLS is the premier forum for researchers and practitioners to share knowledge and research on dynamic languages, their implementation, and applications. The influence of dynamic languages — from Lisp to Smalltalk to Python to Javascript — on real-world practice, and research, continues to grow. We invite high quality papers reporting original research, innovative contributions, or experience related to dynamic languages, their implementation, and applications. Keynote: Declare Your Language Speaker: Eelco Visser (Delft University of Technology) http://2015.splashcon.org/track/dls2015 ** Panels ** The Panels track offers exciting discussion about topics related to SPLASH. Panel: Software Professionalism – Is it “Good Enough?” With: Dennis Mancl, Nancy Mead, Mary Shaw, Werner Wild http://2015.splashcon.org/event/splash2015-panels-software-professionalism-… Panel: The Future of Programming Languages and Programmers With: Lars Bak, Rob DeLine, Nick Feamster, Lindsey Kuper, Crista Lopes, Peng Wu http://2015.splashcon.org/event/splash2015-panels-the-future-of-programming… ** SPLASH-E ** The SPLASH-E track brings together researchers and educators to share educational results, ideas, and challenges centered in Software and Programming Languages. Submission formats vary, including papers, tool demos, lightning talks, challenge-topics for discussion, and suggested themes for "unconference" sessions. Help us create an engaging forum for educational issues related to SPLASH! http://2015.splashcon.org/track/splash-e ** Artifacts ** The Artifact Evaluation process is a service provided by the community to help authors of accepted papers provide more substantial supplements to their papers so future researchers can more effectively build on and compare with previous work. The Artifact Evaluation Committee has been formed to assess how well paper authors prepare artifacts in support of such future researchers. Roughly, authors of papers who wish to participate are invited to submit an artifact that supports the conclusions of the paper. http://2015.splashcon.org/track/splash2015-artifacts ** Workshops ** The SPLASH Workshops track will host a variety of high-quality workshops (13 in total), allowing their participants to meet and discuss research questions with peers, to mature new and exciting ideas, and to build up communities and start new collaborations. SPLASH workshops complement the main tracks of the conference and provide meetings in a smaller and more specialized setting. Workshops cultivate new ideas and concepts for the future, optionally recorded in formal proceedings. http://2015.splashcon.org/track/splash2015-workshops ** Tutorials ** The SPLASH Tutorials track will consist of prestigious tutorials on current topics in software, systems, and languages research. The scope of the tutorials is the same as the conference itself: all aspects of software construction and delivery at the intersection of programming, languages, and software engineering. The tutorials in particular focus on the nexus between research and practice, including work that takes inspiration from or builds connections to areas not commonly considered at SPLASH. Tutorials should introduce researchers to current research in an area, or show important new tools that can be used in research. http://2015.splashcon.org/track/splash2015-tutorials ** Demos ** The SPLASH Demonstrations track is an excellent vehicle for sharing your latest work with an experienced and technically savvy audience. Live demonstrations show the impact of software innovation. Demonstrations are not product sales pitches, but rather an opportunity to highlight, explain, and present interesting technical aspects of running applications in a dynamic and highly interactive setting. Presenters are encouraged to actively solicit feedback from the audience, which should lead to very interesting and entertaining demonstration sessions. http://2015.splashcon.org/track/splash2015-demos ** Posters ** The SPLASH Poster track provides an excellent forum for authors to present their recent or ongoing projects in an interactive setting, and receive feedback from the community. We invite submissions covering any aspect of programming, systems, languages and applications. The goal of the poster session is to encourage and facilitate small groups of individuals interested in a technical area to gather and interact. It is held early in the conference, to promote continued discussion among interested parties. Posters can be independent presentations or associated with one of the other parts of SPLASH. http://2015.splashcon.org/track/splash2015-posters ** Doctoral Symposium ** The SPLASH Doctoral Symposium provides students with useful guidance for completing their dissertation research and beginning their research careers. The Symposium will provide an interactive forum for doctoral students who have progressed far enough in their research to have a structured proposal, but will not be defending their dissertation in the next 12 months. http://2015.splashcon.org/track/splash2015-ds ** Student Research Competition ** The ACM SIGPLAN Student Research Competition (ACM SRC) is an internationally-recognized venue that enables undergraduate and graduate students to experience the research world, share their research results with other students and SPLASH attendees. The competition has separate categories for undergraduate and graduate students and awards prizes to the top three students in each category. The ACM SIGPLAN Student Research Competition shares the Poster session’s goal to facilitate interaction with researchers and industry practitioners; providing both sides with the opportunity to learn of ongoing, current research. http://2015.splashcon.org/track/splash2015-src ** PLMW - Programming Languages Mentoring Workshop ** The purpose of Programming Languages Mentoring Workshop (PLMW) is to give promising undergraduate students from around Pittsburgh who consider pursuing a graduate degree in this field an overview of what research in this field looks like and how to get into and succeed in graduate school. In other words, a combination whirlwind tour of this research area, networking opportunity, and how-to-succeed guide. The program of PLMW will include talks by prominent researchers of the field of programming languages and software engineering providing an insight in their research. http://2015.splashcon.org/track/splash2015-plmw ** RPG Richard's Pretty Good Talks ** RPG is my micro-conference. RPG is sporadically held, suddenly announced, and leaves little but mental limps and frustration / aka instability—take it as step #1 toward getting you decanalized. I choose the speakers and I don’t care what you think; I choose the topics and I always choose first loves. I want people telling me about things they cherish / not about how they make their living. Here’s what I’ve got going this year for the third edition. - Crista Lopes & Annette Vee, Programming as Writing (and vice versa?) - Billy Price & William Pollak, Singing the Blues / What is a Song? http://2015.splashcon.org/track/splash2015-rpg /************************************************************** Workshops **************************************************************/ AGERE! - Programming based on Actors, Agents, and Decentralized Control http://2015.splashcon.org/track/agere2015 DSM - Domain-Specific Modeling http://2015.splashcon.org/track/dsm2015 ETX - Eclipse Technology eXchange http://2015.splashcon.org/track/etx2015 FPW - Future Programming Workshop http://2015.splashcon.org/track/fpw2015 MobileDeLi - Mobile Development Lifecycle http://2015.splashcon.org/track/mobiledeli2015 NOOL - New Object-Oriented Languages http://2015.splashcon.org/track/nool2015 PLATEAU - Evaluation and Usability of Programming Languages and Tools Keynote: Mary Beth Rosson (Pennsylvania State University) http://2015.splashcon.org/track/plateau2015 Parsing - Parsing @ SLE 2015 http://2015.splashcon.org/track/ParsingAtSLE2015 PROMOTO - Programming for Mobile and Touch http://2015.splashcon.org/track/promoto2015 REBLS - Reactive and Event-based Languages & Systems http://2015.splashcon.org/track/rebls2015 SMART - Smart Software Strategies http://2015.splashcon.org/track/SmartSoftwareStrategies2015 SEPS - Software Engineering for Parallel Systems http://2015.splashcon.org/track/seps2015 WODA - Workshop on Dynamic Analysis http://2015.splashcon.org/track/woda2015 /************************************************************** Co-Located Events **************************************************************/ ** SLE - 8th International ACM SIGPLAN Conference on Software Language Engineering ** Software Language Engineering (SLE) is the application of systematic, disciplined, and measurable approaches to the development, use, deployment, and maintenance of software languages. The term “software language” is used broadly, and includes: general-purpose programming languages; domain-specific languages (e.g. BPMN, Simulink, Modelica); modeling and metamodeling languages (e.g. SysML and UML); data models and ontologies (e.g. XML-based and OWL-based languages and vocabularies). Keynote Speaker: Stephane Ducasse (Inria) http://2015.splashcon.org/track/sle2015 ** GPCE - 14th International Conference on Generative Programming: Concepts & Experiences ** The International Conference on Generative Programming: Concepts & Experiences (GPCE) is a venue for researchers and practitioners interested in techniques that use program generation, domain-specific languages, and component deployment to increase programmer productivity, improve software quality, and shorten the time-to-market of software products. In addition to exploring cutting-edge techniques of generative software, our goal is to foster further cross-fertilization between the software engineering and the programming languages research communities. Keynote Speaker: Priya Narasimhan (Carnegie Mellon University) http://2015.splashcon.org/track/gpce2015 ** DBPL - 15th Symposium on Database Programming Languages ** For over 25 years, DBPL has established itself as the principal venue for publishing and discussing new ideas at the intersection of databases and programming languages. Many key contributions in query languages for object-oriented data, persistent databases, nested relational data, and semistructured data, as well as fundamental ideas in types for query languages, were first announced at DBPL. This creative research area is broadening into a subfield of data-centric computation, currently scattered among a range of venues. DBPL is an established destination for such new ideas and solicits submissions from researchers in databases, programming languages or any other community interested in the design, implementation or foundations of data-centric computation. Keynote: Gremlin: A Stream-Based Functional Language for OLTP and OLAP Graph Computing Speaker: Marko A. Rodriguez (DataStax) http://2015.splashcon.org/track/dbpl2015 ** PLoP - 22nd International Conference on Pattern Languages of Programming ** The Pattern Languages of Programs (PLoP) conference is a premier event for pattern authors and pattern enthusiasts to gather, discuss and learn more about patterns and software development. The conference promotes development of pattern languages on all aspects of software, including design and programming, software architecture, user interface design, domain modeling, software processes, project management, and more. The program offers pattern authors an unique opportunity to have their pattern languages reviewed by fellow authors, which occurs mainly in the form of Writers’ Workshops. http://2015.splashcon.org/track/plop2015 /************************************************************** Information and Organization **************************************************************/ Information: SPLASH Early Registration Deadline: 28 September, 2015 Contact: info(a)splashcon.org Website: http://2015.splashcon.org Location: Sheraton Station Square Hotel Pittsburgh, Pennsylvania, United States Organization: SPLASH General Chair: Jonathan Aldrich (Carnegie Mellon University) OOPSLA Papers Chair: Patrick Eugster (Purdue University) Onward! Papers Chair: Gail Murphy (University of British Columbia) Onward! Essays Chair: Guy Steele Jr. (Oracle Labs) DLS Papers Chair: Manuel Serrano (INRIA) Artifacts Co-Chairs: Robby Findler (Northwestern University) and Michael Hind (IBM Research) Demos Co-Chair: Igor Peshansky (Google) and Pietro Ferrara (IBM Research) Doctoral Symposium Chair: Yu David Liu, State University of New York (SUNY) Binghamton Local Arrangements Chair: Claire Le Goues (Carnegie Mellon University) Panels Chair: Steven D. Fraser (Independent Consultatnt) PLMW Workshop Co-Chairs: Darya Kurilova (Carnegie Mellon University), Zachary Tatlock (University of Washington), and Crista Lopes (UC Irvine) Posters Co-Chairs: Nick Sumner (Simon Fraser University) and Jeff Huang (Texas A&M University) Publications Chair: Alex Potanin (Victoria University of Wellington) Publicity and Web Co-Chairs: Craig Anslow (Middlesex University) and Tijs van der Storm (CWI) SPLASH-E Chair: Eli Tilevich (Virginia Tech) SPLASH-I Co-Chairs: Tijs van der Storm (CWI) and Jan Vitek (Northeastern University) Student Research Competition Co-Chairs: Sam Guyer (Tufts University) and Patrick Lam (University of Waterloo) Student Volunteer Co-Chairs: Jonathan Bell (Columbia University) and Daco Harkes (TU Delft) Sponsorship Chair: Tony Hosking (Purdue University) Tutorials Co-Chair: Romain Robbes (University of Chile) and Ronald Garcia (University of British Columbia) Video Chair: Michael Hilton (Oregon State University) Video Previews Czar: Thomas LaToza (George Mason University) Wavefront Co-Chairs: Dennis Mancl (Alcatel-Lucent) and Joe Kiniry (Galois) Web Technology Chair: Eelco Visser (TU Delft) Workshop Co-Chairs: Du Li (Carnegie Mellon University) and Jan Rellermeyer (IBM Research) SLE General Chair: Richard Paige (University of York) GPCE General Chair: Christian Kästner (Carnegie Mellon University) PLoP General Chair: Filipe Correia (University of Porto) DBPL General Chair: James Cheney (University of Edinburgh) and Thomas Neumann (TU Munich) -- Researcher Centrum Wiskunde & Informatica (CWI) Master of Software Engineering Universiteit van Amsterdam (UvA) Dr. Tijs van der Storm @ Centrum Wiskunde & Informatica (CWI) Office: L225 | Phone: +31 (0)20 5924164 | Address: Science Park 123 P.O. Box 94079 | Postal code: 1090 GB | Amsterdam, The Netherlands

1 0