Bakul Shah wrote a particularly elegant Scheme program for Chudnovskys'
algorithm for pi based on the Common Lisp program here:
https://bitbucket.org/tarballs_are_good/numericl/src/5fe8fe7089f48ab1c8a388…
Nick Craig-Wood wrote a Python program using the GMP multiprecision
library that appears to use exactly the same algorithm here:
http://www.craig-wood.com/nick/articles/pi-chudnovsky/
I modified both programs a bit and include them here.
They time the calculation of $10^n$ digits of pi …
[View More]for $n=1,2,3,4,5,6,7$.
The results are
heine:~/programs/gambiteer/gambit> !py
python pi_chudnovsky_bs_gmpy.py
31415926535897932384626433832795028841971693993751058209749445923078164062862089986280348253421170679
('chudnovsky_gmpy_mpz_bs: digits', 10, 'time', 1.0967254638671875e-05)
('chudnovsky_gmpy_mpz_bs: digits', 100, 'time', 3.0040740966796875e-05)
Last 5 digits 70679 OK
('chudnovsky_gmpy_mpz_bs: digits', 1000, 'time', 0.00025582313537597656)
Last 5 digits 01989 OK
('chudnovsky_gmpy_mpz_bs: digits', 10000, 'time', 0.00386810302734375)
Last 5 digits 75678 OK
('chudnovsky_gmpy_mpz_bs: digits', 100000, 'time', 0.0834801197052002)
Last 5 digits 24646 OK
('chudnovsky_gmpy_mpz_bs: digits', 1000000, 'time', 1.655979871749878)
Last 5 digits 58151 OK
('chudnovsky_gmpy_mpz_bs: digits', 10000000, 'time', 30.67442488670349)
Last 5 digits 55897 OK
heine:~/programs/gambiteer/gambit> gsi chud1.scm
Chudnovsky's algorithm using binary splitting in Gambit Scheme: digits
10, CPU time: 0..
Last 5 digits 26535.
Chudnovsky's algorithm using binary splitting in Gambit Scheme: digits
100, CPU time: 0..
Last 5 digits 70679.
Chudnovsky's algorithm using binary splitting in Gambit Scheme: digits
1000, CPU time: .004.
Last 5 digits 1989.
Chudnovsky's algorithm using binary splitting in Gambit Scheme: digits
10000, CPU time: .028.
Last 5 digits 75678.
Chudnovsky's algorithm using binary splitting in Gambit Scheme: digits
100000, CPU time: .472.
Last 5 digits 24646.
Chudnovsky's algorithm using binary splitting in Gambit Scheme: digits
1000000, CPU time: 6.448.
Last 5 digits 58151.
Chudnovsky's algorithm using binary splitting in Gambit Scheme: digits
10000000, CPU time: 98.612.
Last 5 digits 55897.
So it appears that for this algorithm applied to large integers, GMP's
bignum routines are about 3-4 times as fast as Gambit's bignum
routines. Not so bad. For smaller bignums, GMP has a bigger advantage.
The C program gmp-chudnovsky.c includes certain optimizations to this
basic algorithm:
http://gmplib.org/pi-with-gmp.htmlftp://ftp.gmplib.org/pub/misc/gmp-chudnovsky.c
On my machine, compiled with
gcc -O3 -march=native -o gmp-chudnovsky gmp-chudnovsky.c -lgmp -lm
the CPU times for 1,000,000 and 10,000,000 digits are 1.064 and 18.200
seconds, respectively.
This is with a somewhat older machine
model name : Intel(R) Core(TM)2 Quad CPU Q8200 @ 2.33GHz
running Ubuntu 13.04 with
heine:~/programs/gambiteer/gambit> gcc -v
Using built-in specs.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-linux-gnu/4.7/lto-wrapper
Target: x86_64-linux-gnu
Configured with: ../src/configure -v --with-pkgversion='Ubuntu/Linaro
4.7.3-1ubuntu1' --with-bugurl=file:///usr/share/doc/gcc-4.7/README.Bugs
--enable-languages=c,c++,go,fortran,objc,obj-c++ --prefix=/usr
--program-suffix=-4.7 --enable-shared --enable-linker-build-id
--libexecdir=/usr/lib --without-included-gettext --enable-threads=posix
--with-gxx-include-dir=/usr/include/c++/4.7 --libdir=/usr/lib
--enable-nls --with-sysroot=/ --enable-clocale=gnu
--enable-libstdcxx-debug --enable-libstdcxx-time=yes
--enable-gnu-unique-object --enable-plugin --with-system-zlib
--enable-objc-gc --with-cloog --enable-cloog-backend=ppl
--disable-cloog-version-check --disable-ppl-version-check
--enable-multiarch --disable-werror --with-arch-32=i686 --with-abi=m64
--with-multilib-list=m32,m64,mx32 --with-tune=generic
--enable-checking=release --build=x86_64-linux-gnu
--host=x86_64-linux-gnu --target=x86_64-linux-gnu
Thread model: posix
gcc version 4.7.3 (Ubuntu/Linaro 4.7.3-1ubuntu1)
heine:~/programs/gambiteer/gambit> gsi -v
v4.6.9 20130607151908 x86_64-unknown-linux-gnu "./configure
'--enable-single-host' '--enable-multiple-versions' '--enable-shared'"
and the Ubuntu-provided GMP 5.0.5. (I'm sure the GMP folks have a
better way to build GMP on my machine than the "generic" 64-bit version
provided by Ubuntu.)
Brad
[View Less]
This year is the 30th anniversary of Gambit. To mark the occasion I am planning to organize a 1-2 day meeting this fall in Montreal if enough people can attend. The content remains to be determined but I can imagine some more-or-less formal presentations by me and attendants, brainstorming sessions and maybe some hacking on Gambit. To maximize attendance the meeting will be on a weekend, probably in September or October.
So please let the list know if you are interested in attending, and if …
[View More]you have preferences for the date. Also please indicate if you are interested in giving a presentation (15-30 minutes or more if you have lots of material) or organize some other activity.
Marc
[View Less]
There are some messages in 2013 and 2016 that gave me a hint of what needs to be done in order to compile to js. But it seems that some things have changed (for example the gsc with -target js does not seem to produce a .js file, it gave me an .o1 file that contained Javascript). I was able to compile a working example once but the .js file contains the whole _gambit.js library and is 22 MB in size. That isn't really what I was hoping for. I've seen it mentioned that there was some work done on …
[View More]only including the necessary parts of the library, but I was unable to figure out how to do it (I'm new to Gambit although not to Lisp).
I'd be glad for some help getting from a Scheme file to a working and reasonably-sized file. My goal is to include scheme-sourced parts in a web app, so there probably will be some interoperability issues, but at the moment I'm stuck at the compilation stage.
[View Less]
=====================================================================
Call for Participation
ICFP 2019
24th ACM SIGPLAN International Conference on Functional Programming
and affiliated events
August 18 - August 23, 2019
Berlin, Germany
http://icfp19.sigplan.org/
Early Registration until July 18!
=====================================================================
ICFP provides a forum for researchers and developers to hear
about the latest work on the design, implementations, principles,…
[View More] and
uses of functional programming. The conference covers the entire
spectrum of work, from practice to theory, including its peripheries.
This year, ICFP is co-located with BOBKonf!
* Overview and affiliated events:
http://icfp19.sigplan.org/home
* Program:
http://icfp19.sigplan.org/program/program-icfp-2019
* Accepted papers:
http://icfp19.sigplan.org/track/icfp-2019-papers
* Registration is available via:
https://regmaster4.com/2019conf/ICFP19/register.php
Early registration ends 18 July, 2019.
* Programming contest:
https://icfpcontest2019.github.io/
* Student Research Competition:
https://icfp19.sigplan.org/track/icfp-2019-Student-Research-Competition
* Follow us on Twitter for the latest news:
http://twitter.com/icfp_conference
In addition to BOBKonf (8/21), there are several events co-located with ICFP:
* Erlang Workshop (8/18)
* Functional Art, Music, Modeling and Design (8/23)
* Functional High-Performance and Numerical Computing (8/18)
* Haskell Implementors' Workshop (8/23)
* Haskell Symposium (8/22-8/23)
* miniKanren Workshop (8/22)
* ML Family Workshop (8/22)
* OCaml Workshop (8/23)
* Programming Languages Mentoring Workshop (8/18)
* Scheme Workshop (8/18)
* Type-Driven Development (8/18)
### ICFP Organizers
General Chair: Derek Dreyer (MPI-SWS, Germany)
Artifact Evaluation Co-Chairs: Simon Marlow (Facebook, UK)
Industrial Relations Chair: Alan Jeffrey (Mozilla Research, USA)
Programming Contest Organiser: Ilya Sergey (Yale-NUS College, Singapore)
Publicity and Web Chair: Sam Tobin-Hochstadt (Indiana University, USA)
Student Research Competition Chair: William J. Bowman (University of British Columbia, Canada)
Workshops Co-Chair: Christophe Scholliers (Universiteit Gent, Belgium)
Jennifer Hackett (University of Nottingham, UK)
Conference Manager: Annabel Satin (P.C.K.)
### PACMPL Volume 3, Issue ICFP 2019
Principal Editor: François Pottier (Inria, France)
Review Committee:
Lennart Beringer (Princeton University, United States)
Joachim Breitner (DFINITY Foundation, Germany)
Laura M. Castro (University of A Coruña, Spain)
Ezgi Çiçek (Facebook London, United Kingdom)
Pierre-Evariste Dagand (LIP6/CNRS, France)
Christos Dimoulas (Northwestern University, United States)
Jacques-Henri Jourdan (CNRS, LRI, Université Paris-Sud, France)
Andrew Kennedy (Facebook London, United Kingdom)
Daan Leijen (Microsoft Research, United States)
Kazutaka Matsuda (Tohoku University, Japan)
Bruno C. d. S. Oliveira (University of Hong Kong, China)
Klaus Ostermann (University of Tübingen, Germany)
Jennifer Paykin (Galois, United States)
Frank Pfenning (Carnegie Mellon University, USA)
Mike Rainey (Indiana University, USA)
Chung-chieh Shan (Indiana University, USA)
Sam Staton (University of Oxford, UK)
Pierre-Yves Strub (Ecole Polytechnique, France)
German Vidal (Universitat Politecnica de Valencia, Spain)
External Review Committee:
Michael D. Adams (University of Utah, USA)
Robert Atkey (University of Strathclyde, IK)
Sheng Chen (University of Louisiana at Lafayette, USA)
James Cheney (University of Edinburgh, UK)
Adam Chlipala (Massachusetts Institute of Technology, USA)
Evelyne Contejean (LRI, Université Paris-Sud, France)
Germán Andrés Delbianco (IRIF, Université Paris Diderot, France)
Dominique Devriese (Vrije Universiteit Brussel, Belgium)
Richard A. Eisenberg (Bryn Mawr College, USA)
Conal Elliott (Target, USA)
Sebastian Erdweg (Delft University of Technology, Netherlands)
Michael Greenberg (Pomona College, USA)
Adrien Guatto (IRIF, Université Paris Diderot, France)
Jennifer Hackett (University of Nottingham, UK)
Troels Henriksen (University of Copenhagen, Denmark)
Chung-Kil Hur (Seoul National University, Republic of Korea)
Roberto Ierusalimschy (PUC-Rio, Brazil)
Ranjit Jhala (University of California, San Diego, USA)
Ralf Jung (MPI-SWS, Germany)
Ohad Kammar (University of Oxford, UK)
Oleg Kiselyov (Tohoku University, Japan)
Hsiang-Shang ‘Josh’ Ko (National Institute of Informatics, Japan)
Ondřej Lhoták (University of Waterloo, Canada)
Dan Licata (Wesleyan University, USA)
Geoffrey Mainland (Drexel University, USA)
Simon Marlow (Facebook, UK)
Akimasa Morihata (University of Tokyo, Japan)
Shin-Cheng Mu (Academia Sinica, Taiwan)
Guillaume Munch-Maccagnoni (Inria, France)
Kim Nguyễn (University of Paris-Sud, France)
Ulf Norell (Gothenburg University, Sweden)
Atsushi Ohori (Tohoku University, Japan)
Rex Page (University of Oklahoma, USA)
Zoe Paraskevopoulou (Princeton University, USA)
Nadia Polikarpova (University of California, San Diego, USA)
Jonathan Protzenko (Microsoft Research, USA)
Tiark Rompf (Purdue University, USA)
Andreas Rossberg (Dfinity, Germany)
KC Sivaramakrishnan (University of Cambridge, UI)
Nicholas Smallbone (Chalmers University of Technology, Sweden)
Matthieu Sozeau (Inria, France)
Sandro Stucki (Chalmers | University of Gothenburg, Sweden)
Don Syme (Microsoft, UK)
Zachary Tatlock (University of Washington, USA)
Sam Tobin-Hochstadt (Indiana University, USA)
Takeshi Tsukada (University of Tokyo, Japan)
Tarmo Uustalu (Reykjavik University, Iceland)
Benoit Valiron (LRI, CentraleSupelec, Univ. Paris Saclay, France)
Daniel Winograd-Cort (University of Pennsylvania, USA)
Nicolas Wu (University of Bristol, UK)
[View Less]
------------------------------------------------------------------------
Call for Papers:
12th ACM SIGPLAN International Conference on Software Language Engineering
(SLE 2019)
co-located with SPLASH 2019
Athens, Greece
October 21-22, 2019
https://conf.researchr.org/home/sle-2019http://www.sleconf.org/2019
Follow us on twitter: https://twitter.com/sleconf
---------------------------
IMPORTANT DATES
---------------------------
Deadlines have been extended by one week from the earlier …
[View More]announcements:
* Abstract Submission: June 21, 2019
* Paper Submission: June 28, 2019
* Author Notification: August 9, 2019
------------------------------------------------------------------------
We are pleased to invite you to submit papers to the 12th ACM SIGPLAN
International Conference on Software Language Engineering (SLE 2019), held
in conjunction with SPLASH 2019 at Athens, Greece on October 21-22, 2019.
---------------------------
Topics of Interest
---------------------------
SLE 2019 solicits high-quality contributions in areas ranging from
theoretical and conceptual contributions, to tools, techniques, and
frameworks in the domain of software language engineering. Topics relevant
to SLE cover generic aspects of software languages development rather than
aspects of engineering a specific language. In particular, SLE is
interested in contributions from the following areas:
* Software Language Design and Implementation
- Approaches to and methods for language design
- Static semantics (e.g., design rules, well-formedness constraints)
- Techniques for specifying behavioral / executable semantics
- Generative approaches (incl. code synthesis, compilation)
- Meta-languages, meta-tools, language workbenches
* Software Language Validation
- Verification and formal methods for languages
- Testing techniques for languages
- Simulation techniques for languages
* Software Language Integration and Composition
- Coordination of heterogeneous languages and tools
- Mappings between languages (incl. transformation languages)
- Traceability between languages
- Deployment of languages to different platforms
* Software Language Maintenance
- Software language reuse
- Language evolution
- Language families and variability
* Domain-specific approaches for any aspects of SLE (design,
implementation, validation, maintenance)
* Empirical evaluation and experience reports of language engineering tools
- User studies evaluating usability
- Performance benchmarks
- Industrial applications
---------------------------
Types of Submissions
---------------------------
SLE 2019 solicits three types of contributions: Research Papers, Tools
Papers, and New Ideas/Vision papers.
* Research papers
These should report a substantial research contribution to SLE or
successful application of SLE techniques or both. Full paper submissions
must not exceed 12 pages, excluding bibliography.
* Tool papers
Because of SLE’s interest in tools, we seek papers that present software
tools related to the field of SLE. Selection criteria include originality
of the tool, its innovative aspects, and relevance to SLE. Any of the SLE
topics of interest are appropriate areas for tool demonstrations.
Submissions must provide a tool description of 4 pages excluding
bibliography, and a demonstration outline including screenshots of up to 6
pages. Tool demonstrations must have the keywords “Tool Demo” or “Tool
Demonstration” in the title. The 4-page tool description will, if the
demonstration is accepted, be published in the proceedings. The 6-page
demonstration outline will be used by the program committee only for
evaluating the submission.
*New ideas / vision papers
New ideas papers should describe new, non-conventional SLE research
approaches that depart from standard practice. They are intended to
describe well-defined research ideas that are at an early stage of
investigation. Vision papers are intended to present new unifying theories
about existing SLE research that can lead to the development of new
technologies or approaches. New ideas / vision papers must not exceed 4
pages, excluding bibliography.
*Workshops
Workshops will be organized by SPLASH. Please inform us and contact the
SPLASH organizers if you would like to organize a workshop of interest to
the SLE audience. Information on how to submit workshops can be found at
the SPLASH 2019 Website.
---------------------------
Artifact Evaluation
---------------------------
SLE will continue to use an evaluation process for assessing the quality of
the artifacts on which papers are based to foster the culture of
experimental reproducibility. Authors of accepted papers are invited to
submit artifacts. For more information, please have a look at the Artifact
Evaluation page.
---------------------------
Submission Details
---------------------------
Paper Format: Submissions must conform to the ACM SIGPLAN Conference Format
“acmart”; please make sure that you always use the latest ACM SIGPLAN
acmart LaTeX template, and that the document class definition is
\documentclass[sigplan,anonymous,review]{acmart}. Do not make any changes
to this format!
Using the Word template is strongly discouraged.
Ensure that your submission is legible when printed on a black and white
printer. In particular, please check that colors remain distinct and font
sizes in figures and tables are legible.
To increase fairness in reviewing, a double-blind review process has become
standard across SIGPLAN conferences. For the first time, SLE will follow
the double-blind process. Author names and institutions should be omitted
from submitted papers, and references to the authors’ own related work
should be in the third person. No other changes are necessary, and authors
will not be penalized if reviewers are able to infer their identities in
implicit ways.
All submissions must be in PDF format.
Concurrent Submissions: Papers must describe unpublished work that is not
currently submitted for publication elsewhere as described by SIGPLAN’s
Republication Policy. Submitters should also be aware of ACM’s Policy and
Procedures on Plagiarism. Submissions that violate these policies will be
desk-rejected.
Submission Site:
Submissions will be accepted at https://sle19.hotcrp.com/
---------------------------
Reviewing Process
---------------------------
All submitted papers will be reviewed by at least three members of the
program committee. Research papers and tool papers will be evaluated
concerning novelty, correctness, significance, readability, and alignment
with the conference call. New ideas / vision papers will be evaluated
primarily concerning novelty, significance, readability, and alignment with
the conference call.
For fairness reasons, all submitted papers must conform to the above
instructions. Submissions that violate these instructions may be rejected
without review, at the discretion of the PC chairs.
---------------------------
Awards
---------------------------
* Distinguished paper: Award for most notable paper, as determined by the
PC chairs based on the recommendations of the programme committee.
* Distinguished reviewer: Award for distinguished reviewer, as determined
by the PC chairs.
* Distinguished artifact: Award for the artifact most significantly
exceeding expectations, as determined by the AEC chairs based on the
recommendations of the artifact evaluation committee.
---------------------------
Publication
---------------------------
All accepted papers will be published in the ACM Digital Library.
AUTHORS TAKE NOTE: The official publication date is the date the
proceedings are made available in the ACM Digital Library. This date may be
up to two weeks prior to the first day of the conference. The official
publication date affects the deadline for any patent filings related to
published work.
---------------------------
Organisation
---------------------------
Chairs:
* General chair: Oscar Nierstrasz (University of Bern, Switzerland)
* Program co-chair: Bruno Oliveira (University of Hong Kong, China)
* Program co-chair: Jeff Gray (University of Alabama, USA)
* Artefact Evaluation co-chair: Emma Söderberg (Lund University, Sweden)
* Artefact Evaluation co-chair: Abel Gomez (Universitat Oberta de
Catalunya, Spain)
Program Committee:
Xuan Bi (Standard Chartered Bank)
Erwan Bousse (TU Wien)
Loli Burgeuno (Open University of Catalonia)
Marsha Chechik (University of Toronto)
Matteo Cimini (University of Massachusetts, Lowell)
Thomas Degueule (CWI)
Juan de Lara (Universidad Autónoma de Madrid)
Juergen Dingel (Queen's University)
Romina Eramo (University of L'Aquila)
Sebastian Gerard (CEA)
Paolo Giarusso (TU Delft)
Esther Guerra (Universidad Autónoma de Madrid)
Pablo Inostroza (CWI)
Dimitris Kolovos (University of York)
Marjan Mernik (University of Maribor)
Alfonso Pierantonio (University of L'Aquila)
Jaroslav Porubän (University of Košice)
Casper Poulsen (TU Delft)
Yann Regis-Gianas (Paris 7/INRIA)
Bernhard Rumpe (RWTH Aachen University)
Markus Schordan (Lawrence Livermore National Laboratory)
Neil Sculthorpe (Nottingham Trent University)
Marco Servetto (Victoria University of Wellington)
Elizabeth Scott (Royal Holloway)
Eugene Syriani (University of Montreal)
Ulyana Tikhonova (CWI)
Juha-Pekka Tolvanen (MetaCase)
Antonio Valecillo (University of Malaga)
Mark van den Brand (TU Eindhoven)
Vadim Zaytsev (Raincode Labs)
Tian Zhang (Nanjing University)
---------------------------
Contact
---------------------------
For additional information, clarification, or answers to questions, please
contact the organizers by email (bruno(a)cs.hku.hk and gray(a)cs.ua.edu)
[View Less]
Hello,
Please, find below the call for papers for IFL 2019. With respect to the
previous call,
the deadline for submitting regular papers has been changed to June 15th.
Please forward these to anyone you think may be interested.
Apologies for any duplicates you may receive.
best regards,
Jurriaan Hage
Publicity Chair of IFL
---
================================================================================
IFL 2019
31st Symposium on Implementation …
[View More]and Application of Functional Languages
National University of Singapore
September 25th-27th, 2019
http://2019.iflconference.org
================================================================================
### Scope
The goal of the IFL symposia is to bring together researchers actively
engaged
in the implementation and application of functional and function-based
programming languages. IFL 2019 will be a venue for researchers to present
and
discuss new ideas and concepts, work in progress, and publication-ripe
results
related to the implementation and application of functional languages and
function-based programming.
Topics of interest to IFL include, but are not limited to:
- language concepts
- type systems, type checking, type inferencing
- compilation techniques
- staged compilation
- run-time function specialization
- run-time code generation
- partial evaluation
- (abstract) interpretation
- metaprogramming
- generic programming
- automatic program generation
- array processing
- concurrent/parallel programming
- concurrent/parallel program execution
- embedded systems
- web applications
- (embedded) domain specific languages
- security
- novel memory management techniques
- run-time profiling performance measurements
- debugging and tracing
- virtual/abstract machine architectures
- validation, verification of functional programs
- tools and programming techniques
- (industrial) applications
### Keynote Speaker
* Olivier Danvy, Yale-NUS College
### Submissions and peer-review
Differently from previous editions of IFL, IFL 2019 solicits two kinds of
submissions:
* Regular papers (12 pages including references)
* Draft papers for presentations ('weak' limit between 8 and 15 pages)
Regular papers will undergo a rigorous review by the program committee, and
will
be evaluated according to their correctness, novelty, originality,
relevance,
significance, and clarity. A set of regular papers will be conditionally
accepted for publication. Authors of conditionally accepted papers will be
provided with committee reviews along with a set of mandatory revisions.
Regular papers not accepted for publication will be considered as draft
papers, at the request of the author.
Draft papers will be screened to make sure that they are within the scope of
IFL, and will be accepted for presentation or rejected accordingly.
Prior to the symposium:
Authors of conditionally accepted papers and accepted presentations will
submit a pre-proceedings version of their work that will appear in the
draft
proceedings distributed at the symposium. The draft proceedings does not
constitute a formal publication.
We require that at least one of the authors present the work at IFL 2019.
After the symposium:
Authors of conditionally accepted papers will submit a revised versions of
their paper for the formal post-proceedings.
The program committee will assess whether the mandatory revisions have
been
adequately addressed by the authors and thereby determines the final
accept/reject status of the paper.
Our interest is to ultimately accept all conditionally accepted papers.
If you
are an author of a conditionally accepted paper, please make sure that you
address all the concerns of the reviewers.
Authors of accepted presentations will be given the opportunity to
incorporate
the feedback from discussions at the symposium and will be invited to
submit a
revised full article for the formal post-proceedings.
The program committee will evaluate these submissions according to their
correctness, novelty, originality, relevance, significance, and clarity,
and
will thereby determine whether the paper is accepted or rejected.
### Publication
The formal proceedings will appear in the International Conference
Proceedings Series of the ACM Digital Library.
At no time may work submitted to IFL be simultaneously submitted to other
venues; submissions must adhere to ACM SIGPLAN's republication policy:
http://www.sigplan.org/Resources/Policies/Republication
### Important dates
Submission of regular papers: June 15, 2019
Submission of draft papers: July 15, 2019
Regular and draft papers notification: August 1, 2019
Deadline for early registration: August 15, 2019
Submission of pre-proceedings version: September 15, 2019
IFL Symposium: September 25-27, 2019
Submission of papers for post-proceedings: November 30, 2019
Notification of acceptance: January 31, 2020
Camera-ready version: February 29, 2020
### Submission details
All contributions must be written in English. Papers must use the ACM two
columns conference format, which can be found at:
http://www.acm.org/publications/proceedings-template
Authors submit through EasyChair:
https://easychair.org/conferences/?conf=ifl2019
### Peter Landin Prize
The Peter Landin Prize is awarded to the best paper presented at the
symposium every year. The honored article is selected by the program
committee
based on the submissions received for the formal review process. The prize
carries a cash award equivalent to 150 Euros.
### Organization and Program committee
Chairs: Jurrien Stutterheim (Standard Chartered Bank Singapore), Wei Ngan
Chin (National University of Singapore)
Program Committee:
- Olaf Chitil, University of Kent
- Clemens Grelck, University of Amsterdam
- Daisuke Kimura, Toho University
- Pieter Koopman, Radboud University
- Tamas Kozsik, Eotvos Lorand University
- Roman Leschinskiy, Facebook
- Ben Lippmeier, The University of New South Wales
- Marco T. Morazan, Seton Hall University
- Sven-Bodo Scholz, Heriot-Watt University
- Tom Schrijvers, Katholieke Universiteit Leuven
- Alejandro Serrano, Utrecht University
- Tony Sloane, Macquarie University
- Simon Thompson, University of Kent
- Marcos Viera, Universidad de la Republica
- Wei Ngan Chin, NUS
- Jurrien Stutterheim, Standard Chartered Bank
### Venue
The 31st IFL is organized by the National University of Singapore.
Singapore is located in the heart of South-East Asia, and the city itself
is extremely well connected by trains and taxis.
See the website for more information on the venue.
### Acknowledgments
This call-for-papers is an adaptation and evolution of content from previous
instances of IFL. We are grateful to prior organizers for their work, which
is reused here.
A part of IFL 2019 format and CFP language that describes conditionally
accepted papers has been adapted from call-for-papers of OOPSLA conferences.
[View Less]
CALL FOR PAPERS
18th International Conference on
Generative Programming: Concepts & Experiences (GPCE 2019)
October 21-22, 2019
Athens, Greece
(co-located with SPLASH 2019)
https://conf.researchr.org/home/gpce-2019http://twitter.com/GPCECONFhttp://www.facebook.com/GPCEConference
IMPORTANT DATES
* Submission of abstracts: June 14, 2019
* Submission of papers: June 21, 2019
* Paper notification: August 9, 2019
Submission site: https://gpce19.hotcrp.com/
-------------------…
[View More]-------------------------------------------------------
SCOPE
GPCE is a venue for researchers and practitioners interested in techniques
and tools for code generation, language implementation, and metaprogramming.
GPCE seeks conceptual, theoretical, empirical, and technical contributions
to its topics of interest, which include but are not limited to:
* program transformation, staging, macro systems, preprocessors, program
synthesis, and code-recommendation systems,
* domain-specific languages, language embedding, language design, and
language workbenches,
* feature-oriented programming, domain engineering, and feature
interactions,
* applications and properties of code generation, language
implementation, and product-line development.
Authors are welcome to check with the program co-chairs whether their planned
papers are in scope.
PAPER SELECTION
The GPCE program committee will evaluate each submission according to the
following selection criteria:
* Novelty. Papers must present new ideas or evidence and place them
appropriately within the context established by previous research in
the field.
* Significance. The results in the paper must have the potential to add
to the state of the art or practice in significant ways.
* Evidence. The paper must present evidence supporting its claims.
Examples of evidence include formalizations and proofs, implemented
systems, experimental results, statistical analyses, and case studies.
* Clarity. The paper must present its contributions and results clearly.
PAPER CATEGORIES
GPCE solicits three kinds of submissions.
* Full Papers reporting original and unpublished results of research that
contribute to scientific knowledge in any GPCE topic listed above. Full
paper submissions must not exceed 12 pages excluding bibliography.
* Short Papers presenting unconventional ideas or visions about any GPCE
topic listed above. Short papers do not always require complete results
as in the case of a full paper. In this way, authors can introduce new
ideas to the community and get early feedback. Please note that short
papers are not intended to be position statements. Short papers are
included in the proceedings and will be presented at the conference.
Short paper submissions must not exceed 6 pages excluding bibliography.
* Tool Demonstrations presenting tools for any GPCE topic listed above.
Tools must be available for use and must not be purely commercial.
Submissions must provide a tool description not exceeding 6 pages
excluding bibliography and a separate demonstration outline including
screenshots also not exceeding 6 pages. Tool demonstrations must have
the keywords "Tool Demo" or "Tool Demonstration" in their title. If the
submission is accepted, the tool description will be published in the
proceedings. The demonstration outline will only be used by the program
committee for evaluating the submission.
PAPER SUBMISSION
All submissions must use the ACM SIGPLAN Conference Format "acmart",
using the "sigplan" sub-format, and 10 point font. Additional details
and links to templates and the LaTeX class file can be found on the
conference web site: https://conf.researchr.org/home/gpce-2019.
To increase fairness in reviewing, a double-blind review process has
become standard across SIGPLAN conferences. GPCE will follow a very
lightweight model, where author identities are revealed to reviewers
after submitting their initial reviews. Hence, the purpose is not to
conceal author identities at all cost, but merely to provide reviewers
with an unbiased first look at a submission. Author names and
institutions should be omitted from submitted papers, and references
to the authors' own related work should be in the third person.
No other changes are necessary, and authors will not be penalized
if reviewers are able to infer their identities in implicit ways.
Papers must be submitted using HotCRP: https://gpce19.hotcrp.com/
For additional information, clarification, or answers to questions
please contact the program co-chairs.
ORGANIZATION
Chairs
* General chair: Ina Schaefer (TU Braunschweig)
* Program co-chair: Christoph Reichenbach (Lund University)
* Program co-chair: Tijs van der Storm (CWI / University of Groningen)
Program Committee
* Jonathan Aldrich (CMU)
* Juliana Alves Pereira (University of Rennes, INRIA)
* Marsha Chechik (University of Toronto)
* Shigeru Chiba (University of Tokyo)
* Thomas Degueule (CWI)
* Sebastian Erdweg (TU Delft)
* Matthew Flatt (University of Utah)
* Robert Glück (University of Copenhagen)
* Elisa Gonzalez Boix (VUB)
* Geoffrey Mainland (Drexel University)
* Chris Martens (NCSU)
* Maryam Mehri Dehnavi (University of Toronto)
* Peter Mosses (Swansea University / TU Delft)
* David Pearce (Victoria University of Wellington)
* Alex Potanin (Victoria University of Wellington)
* Larissa Rocha Soares (Federal University of Bahia)
* Ulrik Schultz (University of Southern Denmark)
* Sandro Schulze (University of Magdeburg)
* Christoph Seidl (TU Braunschweig)
* Michel Steuwer (University of Glasgow)
* Sam Tobin Hochstadt (Indiana University)
* Kanae Tsushima (National Institute of Informatics)
* Philip Wadler (University of Edinburgh)
* Eric Walkingshaw (Oregon State University)
* Adam Welc (Uber)
* Peng Wu (Huawei)
[View Less]
Hi Marc and list,
Can you help me recap the speed aspect of C FFI use in C-compiled Scheme
files:
"Trampoline" in Gambit means specifically inter-module calls between
C-compiled Scheme files, as well as call between binary backend-compiled
code and C-compiled code, right.
When you make a call to the C world from a C-compiled Scheme file, or vice
versa when you call the Scheme world from the C world within a C-compiled
Scheme file, I recall a bit of work takes place. This is not called a
"…
[View More]trampoline" right, per above.
It's called "continuation serialization", and which includes some Scheme
stack and heap overflow checks?
This work is an implied part of all the standard C FFI code forms
|c-lambda| |c-define| |c-initialize| isn't it, also this is independent of
compile mode e.g. (declare (not safe)), yes?
About how heavy is it, per call?
For even-higher-speed C access, such as doing tons of C or C++
acquire/release operations inlined in Scheme code, given acceptance of
constraints on what my code does (to not overflow the Scheme stack/heap),
can I use a C FFI form that does not do that?
If so, which one is it - |##c-code|?
Please clarify what I cannot do in |##c-code|.
Thanks,
Adam
[View Less]
------------------------------------------------------------------------
Call for Papers:
12th ACM SIGPLAN International Conference on Software Language Engineering
(SLE 2019)
co-located with SPLASH 2019
Athens, Greece
October 21-22, 2019
https://conf.researchr.org/home/sle-2019http://www.sleconf.org/2019
Follow us on twitter: https://twitter.com/sleconf
------------------------------------------------------------------------
We are pleased to invite you to submit papers to the 12th ACM …
[View More]SIGPLAN
International Conference on Software Language Engineering (SLE 2019), held
in conjunction with SPLASH 2019 at Athens, Greece on October 21-22, 2019.
---------------------------
Topics of Interest
---------------------------
SLE 2019 solicits high-quality contributions in areas ranging from
theoretical and conceptual contributions, to tools, techniques, and
frameworks in the domain of software language engineering. Topics relevant
to SLE cover generic aspects of software languages development rather than
aspects of engineering a specific language. In particular, SLE is
interested in contributions from the following areas:
* Software Language Design and Implementation
- Approaches to and methods for language design
- Static semantics (e.g., design rules, well-formedness constraints)
- Techniques for specifying behavioral / executable semantics
- Generative approaches (incl. code synthesis, compilation)
- Meta-languages, meta-tools, language workbenches
* Software Language Validation
- Verification and formal methods for languages
- Testing techniques for languages
- Simulation techniques for languages
* Software Language Integration and Composition
- Coordination of heterogeneous languages and tools
- Mappings between languages (incl. transformation languages)
- Traceability between languages
- Deployment of languages to different platforms
* Software Language Maintenance
- Software language reuse
- Language evolution
- Language families and variability
* Domain-specific approaches for any aspects of SLE (design,
implementation, validation, maintenance)
* Empirical evaluation and experience reports of language engineering tools
- User studies evaluating usability
- Performance benchmarks
- Industrial applications
---------------------------
Important Dates
---------------------------
All dates are Anywhere on Earth.
* Fri 14 Jun 2019 - Abstract Submission
* Fri 21 Jun 2019 - Paper Submission
* Fri 9 Aug 2019 - Author Notification
* Fri 16 Aug 2019 - Artifact Submission
* Fri 30 Aug 2019 - Artifact Kick-the-tires Author Response (7 days)
* Fri 20 Sep 2019 - Camera ready deadline
* Wed 25 Sep 2019 - Artifact notification
* Fri 27 Sep 2019 - Artifact-related paper updates
* Mon-Tue 21-22 Oct 2018 - SLE Conference
---------------------------
Types of Submissions
---------------------------
SLE 2019 solicits three types of contributions: Research Papers, Tools
Papers, and New Ideas/Vision papers.
* Research papers
These should report a substantial research contribution to SLE or
successful application of SLE techniques or both. Full paper submissions
must not exceed 12 pages, excluding bibliography.
* Tool papers
Because of SLE’s interest in tools, we seek papers that present software
tools related to the field of SLE. Selection criteria include originality
of the tool, its innovative aspects, and relevance to SLE. Any of the SLE
topics of interest are appropriate areas for tool demonstrations.
Submissions must provide a tool description of 4 pages excluding
bibliography, and a demonstration outline including screenshots of up to 6
pages. Tool demonstrations must have the keywords “Tool Demo” or “Tool
Demonstration” in the title. The 4-page tool description will, if the
demonstration is accepted, be published in the proceedings. The 6-page
demonstration outline will be used by the program committee only for
evaluating the submission.
*New ideas / vision papers
New ideas papers should describe new, non-conventional SLE research
approaches that depart from standard practice. They are intended to
describe well-defined research ideas that are at an early stage of
investigation. Vision papers are intended to present new unifying theories
about existing SLE research that can lead to the development of new
technologies or approaches. New ideas / vision papers must not exceed 4
pages, excluding bibliography.
*Workshops
Workshops will be organized by SPLASH. Please inform us and contact the
SPLASH organizers if you would like to organize a workshop of interest to
the SLE audience. Information on how to submit workshops can be found at
the SPLASH 2019 Website.
---------------------------
Artifact Evaluation
---------------------------
SLE will continue to use an evaluation process for assessing the quality of
the artifacts on which papers are based to foster the culture of
experimental reproducibility. Authors of accepted papers are invited to
submit artifacts. For more information, please have a look at the Artifact
Evaluation page.
---------------------------
Submission Details
---------------------------
Paper Format: Submissions must conform to the ACM SIGPLAN Conference Format
“acmart”; please make sure that you always use the latest ACM SIGPLAN
acmart LaTeX template, and that the document class definition is
\documentclass[sigplan,anonymous,review]{acmart}. Do not make any changes
to this format!
Using the Word template is strongly discouraged.
Ensure that your submission is legible when printed on a black and white
printer. In particular, please check that colors remain distinct and font
sizes in figures and tables are legible.
To increase fairness in reviewing, a double-blind review process has become
standard across SIGPLAN conferences. For the first time, SLE will follow
the double-blind process. Author names and institutions should be omitted
from submitted papers, and references to the authors’ own related work
should be in the third person. No other changes are necessary, and authors
will not be penalized if reviewers are able to infer their identities in
implicit ways.
All submissions must be in PDF format.
Concurrent Submissions: Papers must describe unpublished work that is not
currently submitted for publication elsewhere as described by SIGPLAN’s
Republication Policy. Submitters should also be aware of ACM’s Policy and
Procedures on Plagiarism. Submissions that violate these policies will be
desk-rejected.
Submission Site:
Submissions will be accepted at https://sle19.hotcrp.com/
---------------------------
Reviewing Process
---------------------------
All submitted papers will be reviewed by at least three members of the
program committee. Research papers and tool papers will be evaluated
concerning novelty, correctness, significance, readability, and alignment
with the conference call. New ideas / vision papers will be evaluated
primarily concerning novelty, significance, readability, and alignment with
the conference call.
For fairness reasons, all submitted papers must conform to the above
instructions. Submissions that violate these instructions may be rejected
without review, at the discretion of the PC chairs.
---------------------------
Awards
---------------------------
* Distinguished paper: Award for most notable paper, as determined by the
PC chairs based on the recommendations of the programme committee.
* Distinguished reviewer: Award for distinguished reviewer, as determined
by the PC chairs.
* Distinguished artifact: Award for the artifact most significantly
exceeding expectations, as determined by the AEC chairs based on the
recommendations of the artifact evaluation committee.
---------------------------
Publication
---------------------------
All accepted papers will be published in the ACM Digital Library.
AUTHORS TAKE NOTE: The official publication date is the date the
proceedings are made available in the ACM Digital Library. This date may be
up to two weeks prior to the first day of the conference. The official
publication date affects the deadline for any patent filings related to
published work.
---------------------------
Organisation
---------------------------
Chairs:
* General chair: Oscar Nierstrasz (University of Bern, Switzerland)
* Program co-chair: Bruno Oliveira (University of Hong Kong, China)
* Program co-chair: Jeff Gray (University of Alabama, USA)
* Artefact Evaluation co-chair: Emma Söderberg (Lund University, Sweden)
* Artefact Evaluation co-chair: Abel Gomez (Universitat Oberta de
Catalunya, Spain)
Program Committee:
Xuan Bi (Standard Chartered Bank)
Erwan Bousse (TU Wien)
Loli Burgeuno (Open University of Catalonia)
Marsha Chechik (University of Toronto)
Matteo Cimini (University of Massachusetts, Lowell)
Thomas Degueule (CWI)
Juan de Lara (Universidad Autónoma de Madrid)
Juergen Dingel (Queen's University)
Romina Eramo (University of L'Aquila)
Sebastian Gerard (CEA)
Paolo Giarusso (TU Delft)
Esther Guerra (Universidad Autónoma de Madrid)
Pablo Inostroza (CWI)
Dimitris Kolovos (University of York)
Marjan Mernik (University of Maribor)
Alfonso Pierantonio (University of L'Aquila)
Jaroslav Porubän (University of Košice)
Casper Poulsen (TU Delft)
Yann Regis-Gianas (Paris 7/INRIA)
Bernhard Rumpe (RWTH Aachen University)
Markus Schordan (Lawrence Livermore National Laboratory)
Neil Sculthorpe (Nottingham Trent University)
Marco Servetto (Victoria University of Wellington)
Elizabeth Scott (Royal Holloway)
Eugene Syriani (University of Montreal)
Ulyana Tikhonova (CWI)
Juha-Pekka Tolvanen (MetaCase)
Antonio Valecillo (University of Malaga)
Mark van den Brand (TU Eindhoven)
Vadim Zaytsev (Raincode Labs)
Tian Zhang (Nanjing University)
---------------------------
Contact
---------------------------
For additional information, clarification, or answers to questions, please
contact the organizers by email (bruno(a)cs.hku.hk and gray(a)cs.ua.edu)
[View Less]
ICFP 2019 Student Research Competition
Call for Submissions
ICFP invites students to participate in the Student Research
Competition in order to present their research and get feedback from
prominent members of the programming language research
community. Please submit your extended abstracts through the
submission website.
### Important dates
Submissions due: 14 Jun 2019 (Friday)
https://icfp19src.hotcrp.com
Notification: 28 Jun 2019 (Friday)
…
[View More]Conference: 18 August (Sunday) - 23 August (Friday)
Each submission (referred to as "abstract" below) should include the
student author’s name and e-mail address; institutional affiliation;
research advisor’s name; ACM student member number; category
(undergraduate or graduate); research title; and an extended abstract
addressing the following:
* Problem and Motivation: Clearly state the problem being addressed and
explain the reasons for seeking a solution to this problem.
* Background and Related Work: Describe the specialized (but
pertinent) background necessary to appreciate the work in the
context of ICFP areas of interest. Include references to the
literature where appropriate, and briefly explain where your work
departs from that done by others.
* Approach and Uniqueness: Describe your approach in addressing the
problem and clearly state how your approach is novel.
* Results and Contributions: Clearly show how the results of your work
contribute to programming language design and implementation in
particular and to computer science in general; explain the
significance of those results.
* Submissions must be original research that is not already published
at ICFP or another conference or journal. One of the goals of the
SRC is to give students feedback on ongoing, unpublished
work. Furthermore, the abstract must be authored solely by the
student. If the work is collaborative with others and*or part of a
larger group project, the abstract should make clear what the
student’s role was and should focus on that portion of the work.
* Formatting: Submissions must be in PDF format, printable in black
and white on US Letter sized paper, and interpretable by common PDF
tools. All submissions must adhere to the "ACM Small" template that
is available (in both LaTeX and Word formats) from
https://www.acm.org/publications/authors/submissions. For authors
using LaTeX, a lighter-weight package, including only the essential
files, is available from
http://sigplan.org/Resources/Author/#acmart-format. The submission
must not exceed 3 pages in PDF format. Reference lists do not count
towards the 3-page limit.
Further information is available at the ICFP SRC website:
https://icfp19.sigplan.org/track/icfp-2019-Student-Research-Competition
ICFP Student Research Competition Chair:
William J. Bowman (University of British Columbia)
[View Less]