Types Meeting 2014
Paris, 12-15 May 2014
http://www.pps.univ-paris-diderot.fr/types2014
2nd CALL FOR PARTICIPATION
The 20th Conference "Types for Proofs and Programs" will take place at
the Institut Henri Poincaré (IHP) in Paris, France, from 12 to 15 May
2014, continued by the post-conference workshop "Proof, Computation,
Complexity" overlapping TYPES on May 15 afternoon and on May 16. Types
is this year an event associated to the special IHP trimester on
Semantics of proofs and certified mathematics
(https://ihp2014.pps.univ-paris-diderot.fr).
Invited speakers are
* Thierry Coquand, University of Gothenburg, Sweden
A cubical set model of type theory
* Xavier Leroy, Inria Paris-Rocquencourt, France
Formal verification of a static analyzer: abstract interpretation in type theory
* Andy Pitts, University of Cambridge, UK
Nominal sets and dependent type theory
The Types Meeting is a forum to present new and on-going work in all
aspects of type theory and its applications, especially in formalized
and computer assisted reasoning and computer programming. It works as
a conference in our traditional workshop style and, this year, 39
contributed talks have been selected by the program committee on the
basis of abstracts of up to two pages (see
http://www.pps.univ-paris-diderot.fr/types2014/Program).
Registration is open, with early rate only until ** April 19 **.
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
2014-04-17
2014-04-13
[Caml-list] APLAS 2014: 2nd Call for papers
===============================================================
APLAS 2014
12th Asian Symposium on Programming Languages and Systems
http://www.math.nagoya-u.ac.jp/~garrigue/APLAS2014/
17-19 November 2014, Singapore
CALL FOR PAPERS
===============================================================
================
INVITED SPEAKERS
================
Zhenjiang Hu (NII, Japan)
Dexter Kozen (Cornell University, USA)
Julien Verlaguet (Facebook, USA)
==========
BACKGROUND
==========
APLAS aims to stimulate programming language research by providing a
forum for the presentation of latest results and the exchange of ideas
in programming languages and systems. APLAS is based in Asia, but is
an international forum that serves the worldwide programming language
community.
APLAS is sponsored by the Asian Association for Foundation of Software
(AAFS) founded by Asian researchers in cooperation with many researchers
from Europe and the USA. Past APLAS symposiums were successfully held
in Melbourne ('13), Kyoto ('12), Kenting ('11), Shanghai ('10), Seoul
('09), Bangalore ('08), Singapore ('07), Sydney ('06), Tsukuba ('05),
Taipei ('04) and Beijing ('03) after three informal workshops.
Proceedings of the past symposiums were published in Springer's LNCS.
======
TOPICS
======
The symposium is devoted to foundational and practical issues in
programming languages and systems. Papers are solicited on topics such
as
* semantics, logics, foundational theory;
* design of languages, type systems and foundational calculi;
* domain-specific languages;
* compilers, interpreters, abstract machines;
* program derivation, synthesis and transformation;
* program analysis, verification, model-checking;
* logic, constraint, probabilistic and quantum programming;
* software security;
* concurrency and parallelism;
* tools and environments for programming and implementation.
Topics are not limited to those discussed in previous symposiums.
Papers identifying future directions of programming and those
addressing the rapid changes of the underlying computing platforms
are especially welcome. Demonstration of systems and tools in the
scope of APLAS are welcome to the System and Tool presentations
category. Authors concerned about the appropriateness of a topic
are welcome to consult with the program chair prior to submission.
==========
SUBMISSION
==========
We solicit submissions in two categories:
*Regular research papers* describing original scientific research
results, including tool development and case studies. Regular
research papers should not exceed 18 pages in the Springer LNCS
format, including bibliography and figures. They should clearly
identify what has been accomplished and why it is significant.
Submissions will be judged on the basis of significance, relevance,
correctness, originality, and clarity. In case of lack of space,
proofs, experimental results, or any information supporting the
technical results of the paper could be provided as an appendix or a
link to a web page, but reviewers are not obliged to read them.
*System and Tool presentations* describing systems or tools that support
theory, program construction, reasoning, or program execution in the
scope of APLAS. System and Tool presentations are expected to be
centered around a demonstration. The paper and the demonstration
should identify the novelties of the tools and use motivating
examples. System and Tool papers should not exceed 8 pages in the
Springer LNCS format, including bibliography and figures. Submissions
will be judged based on both the papers and the described systems or
tools. It is highly desirable that the tools are available on the
web.
Papers should be submitted electronically via the submission web page:
https://www.easychair.org/conferences/?conf=aplas2014
Acceptable formats are PostScript or PDF. Submitted papers must be
unpublished and not submitted for publication elsewhere. Papers must
be written in English. The proceedings will be published as a volume
in Springer's LNCS series. Accepted papers must be presented at the
conference.
=====
DATES
=====
Abstracts due: May 26, 2014 (Monday)
Submission due: June 2, 2014 (Monday)
Notification: August 6, 2014 (Wednesday)
Final paper due: September 1, 2014 (Monday)
Conference: November 17-19, 2014 (Monday-Wednesday)
==========
ORGANIZERS
==========
General chair:
Wei-Ngan Chin (National University of Singapore)
Program chair:
Jacques Garrigue (Nagoya University)
Program committee:
Xiaojuan Cai (Shanghai Jiao Tong University, China)
James Chapman (Institute of Cybernetics, Estonia)
Cristian Gherghina (Singapore University of Technology and Design)
Eric Goubault (CEA LIST and Ecole Polytechnique, France)
Fei He (Tsinghua University, China)
Gerwin Klein (NICTA and UNSW, Australia)
Raghavan Komondoor (Indian Institute of Science, Bangalore)
Paddy Krishnan (Oracle, Australia)
Daan Leijen (Microsoft Research, USA)
Yasuhiko Minamide (University of Tsukuba, Japan)
Shin-Cheng Mu (Academia Sinica, Taiwan)
Sungwoo Park (Pohang University of Science and Technology, Korea)
Julian Rathke (University of Southampton, UK)
Sukyoung Ryu (KAIST, Korea)
Alexandra Silva (Radboud University Nijmegen, Netherlands)
Martin Sulzmann (Karlsruhe University of Applied Sciences, Germany)
Munehiro Takimoto (Tokyo University of Science, Japan)
Jan Vitek (Purdue University, USA)
Hongwei Xi (Boston University, USA)
=======
CONTACT
=======
aplas2014 at easychair.org
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
APLAS 2014
12th Asian Symposium on Programming Languages and Systems
http://www.math.nagoya-u.ac.jp/~garrigue/APLAS2014/
17-19 November 2014, Singapore
CALL FOR PAPERS
===============================================================
================
INVITED SPEAKERS
================
Zhenjiang Hu (NII, Japan)
Dexter Kozen (Cornell University, USA)
Julien Verlaguet (Facebook, USA)
==========
BACKGROUND
==========
APLAS aims to stimulate programming language research by providing a
forum for the presentation of latest results and the exchange of ideas
in programming languages and systems. APLAS is based in Asia, but is
an international forum that serves the worldwide programming language
community.
APLAS is sponsored by the Asian Association for Foundation of Software
(AAFS) founded by Asian researchers in cooperation with many researchers
from Europe and the USA. Past APLAS symposiums were successfully held
in Melbourne ('13), Kyoto ('12), Kenting ('11), Shanghai ('10), Seoul
('09), Bangalore ('08), Singapore ('07), Sydney ('06), Tsukuba ('05),
Taipei ('04) and Beijing ('03) after three informal workshops.
Proceedings of the past symposiums were published in Springer's LNCS.
======
TOPICS
======
The symposium is devoted to foundational and practical issues in
programming languages and systems. Papers are solicited on topics such
as
* semantics, logics, foundational theory;
* design of languages, type systems and foundational calculi;
* domain-specific languages;
* compilers, interpreters, abstract machines;
* program derivation, synthesis and transformation;
* program analysis, verification, model-checking;
* logic, constraint, probabilistic and quantum programming;
* software security;
* concurrency and parallelism;
* tools and environments for programming and implementation.
Topics are not limited to those discussed in previous symposiums.
Papers identifying future directions of programming and those
addressing the rapid changes of the underlying computing platforms
are especially welcome. Demonstration of systems and tools in the
scope of APLAS are welcome to the System and Tool presentations
category. Authors concerned about the appropriateness of a topic
are welcome to consult with the program chair prior to submission.
==========
SUBMISSION
==========
We solicit submissions in two categories:
*Regular research papers* describing original scientific research
results, including tool development and case studies. Regular
research papers should not exceed 18 pages in the Springer LNCS
format, including bibliography and figures. They should clearly
identify what has been accomplished and why it is significant.
Submissions will be judged on the basis of significance, relevance,
correctness, originality, and clarity. In case of lack of space,
proofs, experimental results, or any information supporting the
technical results of the paper could be provided as an appendix or a
link to a web page, but reviewers are not obliged to read them.
*System and Tool presentations* describing systems or tools that support
theory, program construction, reasoning, or program execution in the
scope of APLAS. System and Tool presentations are expected to be
centered around a demonstration. The paper and the demonstration
should identify the novelties of the tools and use motivating
examples. System and Tool papers should not exceed 8 pages in the
Springer LNCS format, including bibliography and figures. Submissions
will be judged based on both the papers and the described systems or
tools. It is highly desirable that the tools are available on the
web.
Papers should be submitted electronically via the submission web page:
https://www.easychair.org/conferences/?conf=aplas2014
Acceptable formats are PostScript or PDF. Submitted papers must be
unpublished and not submitted for publication elsewhere. Papers must
be written in English. The proceedings will be published as a volume
in Springer's LNCS series. Accepted papers must be presented at the
conference.
=====
DATES
=====
Abstracts due: May 26, 2014 (Monday)
Submission due: June 2, 2014 (Monday)
Notification: August 6, 2014 (Wednesday)
Final paper due: September 1, 2014 (Monday)
Conference: November 17-19, 2014 (Monday-Wednesday)
==========
ORGANIZERS
==========
General chair:
Wei-Ngan Chin (National University of Singapore)
Program chair:
Jacques Garrigue (Nagoya University)
Program committee:
Xiaojuan Cai (Shanghai Jiao Tong University, China)
James Chapman (Institute of Cybernetics, Estonia)
Cristian Gherghina (Singapore University of Technology and Design)
Eric Goubault (CEA LIST and Ecole Polytechnique, France)
Fei He (Tsinghua University, China)
Gerwin Klein (NICTA and UNSW, Australia)
Raghavan Komondoor (Indian Institute of Science, Bangalore)
Paddy Krishnan (Oracle, Australia)
Daan Leijen (Microsoft Research, USA)
Yasuhiko Minamide (University of Tsukuba, Japan)
Shin-Cheng Mu (Academia Sinica, Taiwan)
Sungwoo Park (Pohang University of Science and Technology, Korea)
Julian Rathke (University of Southampton, UK)
Sukyoung Ryu (KAIST, Korea)
Alexandra Silva (Radboud University Nijmegen, Netherlands)
Martin Sulzmann (Karlsruhe University of Applied Sciences, Germany)
Munehiro Takimoto (Tokyo University of Science, Japan)
Jan Vitek (Purdue University, USA)
Hongwei Xi (Boston University, USA)
=======
CONTACT
=======
aplas2014 at easychair.org
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
2014-04-11
[Caml-list] PPDP 2014: Call for Papers
======================================================================
Call for papers
16th International Symposium on
Principles and Practice of Declarative Programming
PPDP 2014
Canterbury, Kent, September 8-10, 2014
(co-located with LOPSTR 2014)
http://users-cs.au.dk/danvy/ppdp14/
======================================================================
SUBMISSION DEADLINE: 15 MAY, 2014
PPDP 2014 is a forum that brings together researchers from the
declaratrive programming communities, including those working in the
logic, constraint and functional programming paradigms, but also
embracing languages, database languages, and knowledge representation
languages. The goal is to stimulate research in the use of logical
formalisms and methods for specifying, performing, and analyzing
computations, including mechanisms for mobility, modularity,
concurrency, object-orientation, security, verification and static
analysis. Papers related to the use of declarative paradigms and tools
in industry and education are especially solicited. Topics of interest
include, but are not limited to
* Functional programming
* Logic programming
* Answer-set programming
* Functional-logic programming
* Declarative visual languages
* Constraint Handling Rules
* Parallel implementation and concurrency
* Monads, type classes and dependent type systems
* Declarative domain-specific languages
* Termination, resource analysis and the verification of declarative
programs
* Transformation and partial evaluation of declarative languages
* Language extensions for security and tabulation
* Probabilistic modeling in a declarative language and modeling reactivity
* Memory management and the implementation of declarative systems
* Practical experiences and industrial application
This year the conference will be co-located with the 24th
International Symposium on Logic-Based Program Synthesis and
Transformation (LOPSTR 2014).
The conference will be held in Canterbury, UK. Previous symposia were
held at Madrid (Spain), Leuven (Belgium), Odense (Denmark), Hagenberg
(Austria), Coimbra (Portugal), Valencia (Spain), Wroclaw (Poland),
Venice (Italy), Lisboa (Portugal), Verona (Italy), Uppsala (Sweden),
Pittsburgh (USA), Florence (Italy), Montreal (Canada), and Paris
(France). You might have a look at the contents of past PPDP symposia.
Papers must describe original work, be written and presented in
English, and must not substantially overlap with papers that have been
published or that are simultaneously submitted to a journal,
conference, or workshop with refereed proceedings. Work that already
appeared in unpublished or informally published workshop proceedings
may be submitted (please contact the PC chair in case of
questions).
After the symposium, a selection of the best papers will be invited to
extend their submissions in the light of the feedback solicited at the
symposium. The papers are expected to include at least 30% extra
material over and above the PPDP version. Then, after another round of
reviewing, these revised papers will be published in a journal.
Important Dates
Abstract Submission: 12 May, 2014
Paper submission: 15 May, 2014
Notification: 30 June, 2014
Camera-ready: To be announced
Symposium: 8-10 September, 2014
Invites for journal publication: To be announced
Submission of journal version: To be announced
Notification: To be announced
Camera-ready version: To be announced
Authors should submit an electronic copy of the full paper in
PDF. Papers should be submitted to the submission website for PPDP
2014. Each submission must include on its first page the paper title;
authors and their affiliations; abstract; and three to four
keywords. The keywords will be used to assist the program committee in
selecting appropriate reviewers for the paper. Papers should consist
of the equivalent of 12 pages under the ACM formatting
guidelines. These guidelines are available online, along with
formatting templates or style files. Submitted papers will be judged
on the basis of significance, relevance, correctness, originality, and
clarity. They should include a clear identification of what has been
accomplished and why it is significant. Authors who wish to provide
additional material to the reviewers beyond the 12-page limit can do
so in clearly marked appendices: reviewers are not required to read
such appendices.
Program Committee
Michael Adams University of Illinois at Urbana-Champaign, USA
Elvira Albert Complutense University of Madrid, Spain
Dariusz Biernacki University of Wroclaw, Poland
Bernd Brassel Recordbay, Germany
Mike Codish Ben-Gurion University of the Negev, Israel
Olivier Danvy (chair) Aarhus University, Denmark
Marc Denecker KU Leuven, Belgium
Joshua Dunfield Max Planck Institute for Software Systems, Germany
Zoe Drey ENSTA Bretagne/Lab-STICC, France
Thibaut Feydy NICTA, Australia
Danko Ilik Inria, France
Yukiyoshi Kameyama University of Tsukuba, Japan
Chantal Keller Microsoft Research -- Inria Joint Centre
Temur Kutsia RISC, Johannes Kepler University Linz, Austria
Dan Licata Wesleyan University, USA
Akimasa Morihata University of Tokyo, Japan
Matthias Puech McGill University, Canada
Tiark Rompf Oracle Labs and EPFL, Switzerland
Kristoffer H. Rose Two Sigma Labs, New York, USA
Ilya Sergey IMDEA Software Institute, Spain
Ralf Treinen University Paris-Diderot, France
Frank D. Valencia CNRS and LIX, Ecole Polytechnique, France
Program Chair
Olivier Danvy
Department of Computer Science
Aarhus University
Aabogade 34
DK-8200 Aarhus N, Denmark
Email: danvy@cs.au.dk
Symposium Chairs:
Andy King
School of Computing
University of Kent
Canterbury, Kent, CT2 7NF
United Kingdom
Email: A.M.King@kent.ac.uk
Olaf Chitil
School of Computing
University of Kent
Canterbury, Kent, CT2 7NF
United Kingdom
Email: O.Chitil@kent.ac.uk
Publicity Chair:
Jacob Johannsen
Department of Computer Science
Aarhus University
Aabogade 34
DK-8200 Aarhus N, Denmark
Email: cnn@cs.au.dk
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
Call for papers
16th International Symposium on
Principles and Practice of Declarative Programming
PPDP 2014
Canterbury, Kent, September 8-10, 2014
(co-located with LOPSTR 2014)
http://users-cs.au.dk/danvy/ppdp14/
======================================================================
SUBMISSION DEADLINE: 15 MAY, 2014
PPDP 2014 is a forum that brings together researchers from the
declaratrive programming communities, including those working in the
logic, constraint and functional programming paradigms, but also
embracing languages, database languages, and knowledge representation
languages. The goal is to stimulate research in the use of logical
formalisms and methods for specifying, performing, and analyzing
computations, including mechanisms for mobility, modularity,
concurrency, object-orientation, security, verification and static
analysis. Papers related to the use of declarative paradigms and tools
in industry and education are especially solicited. Topics of interest
include, but are not limited to
* Functional programming
* Logic programming
* Answer-set programming
* Functional-logic programming
* Declarative visual languages
* Constraint Handling Rules
* Parallel implementation and concurrency
* Monads, type classes and dependent type systems
* Declarative domain-specific languages
* Termination, resource analysis and the verification of declarative
programs
* Transformation and partial evaluation of declarative languages
* Language extensions for security and tabulation
* Probabilistic modeling in a declarative language and modeling reactivity
* Memory management and the implementation of declarative systems
* Practical experiences and industrial application
This year the conference will be co-located with the 24th
International Symposium on Logic-Based Program Synthesis and
Transformation (LOPSTR 2014).
The conference will be held in Canterbury, UK. Previous symposia were
held at Madrid (Spain), Leuven (Belgium), Odense (Denmark), Hagenberg
(Austria), Coimbra (Portugal), Valencia (Spain), Wroclaw (Poland),
Venice (Italy), Lisboa (Portugal), Verona (Italy), Uppsala (Sweden),
Pittsburgh (USA), Florence (Italy), Montreal (Canada), and Paris
(France). You might have a look at the contents of past PPDP symposia.
Papers must describe original work, be written and presented in
English, and must not substantially overlap with papers that have been
published or that are simultaneously submitted to a journal,
conference, or workshop with refereed proceedings. Work that already
appeared in unpublished or informally published workshop proceedings
may be submitted (please contact the PC chair in case of
questions).
After the symposium, a selection of the best papers will be invited to
extend their submissions in the light of the feedback solicited at the
symposium. The papers are expected to include at least 30% extra
material over and above the PPDP version. Then, after another round of
reviewing, these revised papers will be published in a journal.
Important Dates
Abstract Submission: 12 May, 2014
Paper submission: 15 May, 2014
Notification: 30 June, 2014
Camera-ready: To be announced
Symposium: 8-10 September, 2014
Invites for journal publication: To be announced
Submission of journal version: To be announced
Notification: To be announced
Camera-ready version: To be announced
Authors should submit an electronic copy of the full paper in
PDF. Papers should be submitted to the submission website for PPDP
2014. Each submission must include on its first page the paper title;
authors and their affiliations; abstract; and three to four
keywords. The keywords will be used to assist the program committee in
selecting appropriate reviewers for the paper. Papers should consist
of the equivalent of 12 pages under the ACM formatting
guidelines. These guidelines are available online, along with
formatting templates or style files. Submitted papers will be judged
on the basis of significance, relevance, correctness, originality, and
clarity. They should include a clear identification of what has been
accomplished and why it is significant. Authors who wish to provide
additional material to the reviewers beyond the 12-page limit can do
so in clearly marked appendices: reviewers are not required to read
such appendices.
Program Committee
Michael Adams University of Illinois at Urbana-Champaign, USA
Elvira Albert Complutense University of Madrid, Spain
Dariusz Biernacki University of Wroclaw, Poland
Bernd Brassel Recordbay, Germany
Mike Codish Ben-Gurion University of the Negev, Israel
Olivier Danvy (chair) Aarhus University, Denmark
Marc Denecker KU Leuven, Belgium
Joshua Dunfield Max Planck Institute for Software Systems, Germany
Zoe Drey ENSTA Bretagne/Lab-STICC, France
Thibaut Feydy NICTA, Australia
Danko Ilik Inria, France
Yukiyoshi Kameyama University of Tsukuba, Japan
Chantal Keller Microsoft Research -- Inria Joint Centre
Temur Kutsia RISC, Johannes Kepler University Linz, Austria
Dan Licata Wesleyan University, USA
Akimasa Morihata University of Tokyo, Japan
Matthias Puech McGill University, Canada
Tiark Rompf Oracle Labs and EPFL, Switzerland
Kristoffer H. Rose Two Sigma Labs, New York, USA
Ilya Sergey IMDEA Software Institute, Spain
Ralf Treinen University Paris-Diderot, France
Frank D. Valencia CNRS and LIX, Ecole Polytechnique, France
Program Chair
Olivier Danvy
Department of Computer Science
Aarhus University
Aabogade 34
DK-8200 Aarhus N, Denmark
Email: danvy@cs.au.dk
Symposium Chairs:
Andy King
School of Computing
University of Kent
Canterbury, Kent, CT2 7NF
United Kingdom
Email: A.M.King@kent.ac.uk
Olaf Chitil
School of Computing
University of Kent
Canterbury, Kent, CT2 7NF
United Kingdom
Email: O.Chitil@kent.ac.uk
Publicity Chair:
Jacob Johannsen
Department of Computer Science
Aarhus University
Aabogade 34
DK-8200 Aarhus N, Denmark
Email: cnn@cs.au.dk
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
2014-04-08
[Caml-list] 4th International SAT/SMT Summer School
===========================================
CALL FOR PARTICIPATION
Fourth International SAT/SMT Summer School
Semmering, Austria, July 10-12, 2014
http://satsmt2014.forsyte.at/
===========================================
REGISTRATION:
The registration deadline for the summer school is April 19, 2014.
Full details of the registration procedure as well as travel and
accommodation grants are available at the school website
(http://satsmt2014.forsyte.at/).
ABOUT:
Satisfiability (SAT) and Satisfiability Modulo Theories (SMT) solvers
have become the backbone of numerous applications in computer science,
such as automated verification, artificial intelligence, program
synthesis, security, product configuration, and many more. The summer
school covers the foundational and practical aspects of SAT and SMT
technologies and their applications.
Besides providing a well structured introduction to SAT and SMT, this
year's edition of the SAT/SMT Summer School covers timely topics and
novel applications such as
- parallel solvers,
- non-linear arithmetic in SMT,
- the IC3 model checking paradigm,
- hardware and software verification,
- proofs and Craig interpolation,
- and cryptography,
presented by distinguished speakers and experts in these fields. In
addition to the theory sessions, we will have practicals in which the
participants will work state-of-the-art tools and solvers.
The fourth edition follows the schools that took place at MIT (SAT/SMT
Solver Summer School 2011), at Fondazione Bruno Kessler (SAT/SMT
School 2012) in Trento, Italy, and Aalto University in Espoo, Finland
in 2013. The school location and schedule has been chosen to
integrate nicely with the Vienna Summer of Logic (VSL 2014,
seehttp://vsl2014.at/). As a reminder, VSL 2014 includes, among many
other events:
* the 17th International Conference on Theory and Applications of
Satisfiability Testing (SAT 2014)
* the 26th International Conference on Computer Aided Verification (CAV 2014)
* the 12th International Workshop on Satisfiability Modulo Theories (SMT 2014)
* the 7th International Joint Conference on Automated Reasoning (IJCAR 2014)
The Summer School program will feature four lectures per day, with the
first two days dedicated to SAT and SMT, and the last to special
topics. Two of the lectures will be organized as tutorials giving
hands-on experience on SAT/SMT-based modelling.
List of invited lectures:
* Introduction to SAT, Daniel Le Berre
* Practical Session SAT, Keijo Heljanko, Tomi Janhunen, Tommi Junttila
* Interpolation in SAT & SMT, Philipp R?mmer
* Parallel SAT Solving, Christoph Wintersteiger
* Proofs in SAT and CSP, Ofer Strichman
* Introduction to SMT, Alberto Griggio
* Non-linear Arithmetic in SMT, Leonardo de Moura
* Practical Session SMT, Keijo Heljanko, Tomi Janhunen, Tommi Junttila
* SMT for Cryptography & Software Verification, Chao Wang
* Hardware Verification with IC3, Fabio Somenzi
* Software Verification with IC3, Nikolaj Bj?rner
A more detailed program is available at the school website
(http://satsmt2014.forsyte.at/).
Organizers:
Clark Barrett (New York University)
Pascal Fontaine (Inria, Loria, University of Lorraine, France)
Dejan Jovanovi? (SRI, U.S.)
Georg Weissenbacher (TU Wien, Austria)
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
CALL FOR PARTICIPATION
Fourth International SAT/SMT Summer School
Semmering, Austria, July 10-12, 2014
http://satsmt2014.forsyte.at/
===========================================
REGISTRATION:
The registration deadline for the summer school is April 19, 2014.
Full details of the registration procedure as well as travel and
accommodation grants are available at the school website
(http://satsmt2014.forsyte.at/).
ABOUT:
Satisfiability (SAT) and Satisfiability Modulo Theories (SMT) solvers
have become the backbone of numerous applications in computer science,
such as automated verification, artificial intelligence, program
synthesis, security, product configuration, and many more. The summer
school covers the foundational and practical aspects of SAT and SMT
technologies and their applications.
Besides providing a well structured introduction to SAT and SMT, this
year's edition of the SAT/SMT Summer School covers timely topics and
novel applications such as
- parallel solvers,
- non-linear arithmetic in SMT,
- the IC3 model checking paradigm,
- hardware and software verification,
- proofs and Craig interpolation,
- and cryptography,
presented by distinguished speakers and experts in these fields. In
addition to the theory sessions, we will have practicals in which the
participants will work state-of-the-art tools and solvers.
The fourth edition follows the schools that took place at MIT (SAT/SMT
Solver Summer School 2011), at Fondazione Bruno Kessler (SAT/SMT
School 2012) in Trento, Italy, and Aalto University in Espoo, Finland
in 2013. The school location and schedule has been chosen to
integrate nicely with the Vienna Summer of Logic (VSL 2014,
seehttp://vsl2014.at/). As a reminder, VSL 2014 includes, among many
other events:
* the 17th International Conference on Theory and Applications of
Satisfiability Testing (SAT 2014)
* the 26th International Conference on Computer Aided Verification (CAV 2014)
* the 12th International Workshop on Satisfiability Modulo Theories (SMT 2014)
* the 7th International Joint Conference on Automated Reasoning (IJCAR 2014)
The Summer School program will feature four lectures per day, with the
first two days dedicated to SAT and SMT, and the last to special
topics. Two of the lectures will be organized as tutorials giving
hands-on experience on SAT/SMT-based modelling.
List of invited lectures:
* Introduction to SAT, Daniel Le Berre
* Practical Session SAT, Keijo Heljanko, Tomi Janhunen, Tommi Junttila
* Interpolation in SAT & SMT, Philipp R?mmer
* Parallel SAT Solving, Christoph Wintersteiger
* Proofs in SAT and CSP, Ofer Strichman
* Introduction to SMT, Alberto Griggio
* Non-linear Arithmetic in SMT, Leonardo de Moura
* Practical Session SMT, Keijo Heljanko, Tomi Janhunen, Tommi Junttila
* SMT for Cryptography & Software Verification, Chao Wang
* Hardware Verification with IC3, Fabio Somenzi
* Software Verification with IC3, Nikolaj Bj?rner
A more detailed program is available at the school website
(http://satsmt2014.forsyte.at/).
Organizers:
Clark Barrett (New York University)
Pascal Fontaine (Inria, Loria, University of Lorraine, France)
Dejan Jovanovi? (SRI, U.S.)
Georg Weissenbacher (TU Wien, Austria)
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
2014-04-06
[Caml-list] 7th Int. Conf. on Developments in eSystems Engineering (DeSE 2014): 2nd Call for Papers
| *** Second Call for Papers *** Seventh International Conference on Developments in eSystems Engineering (DeSE '2014) 25th - 27th August 2014 Azia Hotel and Spa 5*, Paphos, Cyprus www.dese.org.uk Proceedings will be published by IEEE Recent years have witnessed increasing interest and development in computerised systems and procedures, which exploit the electronic media in order to offer effective and sophisticated solutions to a wide range of real-world applications. Innovation and research development in this rapidly evolving area of eSystems has typically been reported on as part of cognate fields such as, for example: Information and Communications Technology, Computer Science, Systems Science, Social Science and engineering. This conference, on the developments in eSystems Engineering will act as a platform for disseminating and discussing new research findings and ideas in this emerging field. Papers are invited on all aspects of eSystem Engineering, modelling and applications, to be presented at a three day conference in Paphos, Cyprus. Authors will have their submissions reviewed by international experts and accepted papers will appear in the conference proceedings published by the Conference Publication Services (CPS) for worldwide presence. The event provides authors with an outstanding opportunity for networking and presenting their work at an international conference. The location offers an especially attractive opportunity for professional discussion, socialising and sightseeing. DeSE 2014 conference is technically co-sponsored by IEEE. DeSE 2014 comprises an exciting spectrum of highly stimulating tracks: o eLearning (Technology-Enhanced Learning) o eGovernment systems, Autonomic Computing and AI o eBusiness and Management o eHealth and e-Medicine o eScience and Technology o eSecurity and e-Forensics o eEntertainment and Creative Technologies o eNetworking and Wireless Environments o eUbiquitous Computing and Intelligent Living o Green and Sustainable Technologies o eCulture and Digital Society o eSport Science o eSystems Engineering (Main Stream) o Sustainable Construction and Renewable Energy All submitted papers will be peer-reviewed. Accepted and presented papers may be published in the final technical conference proceedings, and may be indexed in IEEE Xplore and EI Compendex, subject to final approval by the Conference Technical Committee. Venue Azia Resort and Spa 5*, Paphos, Cyprus Built as three different sections on adjacent grounds, with plethora of magnificent spaces for carefree living, the Azia Resort has all the diversity to keep its guests contented for a week or longer. Each element of the three-in-one boutique Cyprus hotel concept has its own character and fulfils different aspirations of the visitor. The Azia Blue is about sophisticated, spacious living and family luxury hotel. The Azia Club and Spa is ideal for privacy and indulgence. One of the few resorts or Cyprus hotels with a west-facing outlook, the Azia hotel provides guests with a sublime view of blazing indescribable sunsets. Tentative Dates Submission Deadline: May 31st, 2014 Notification of Acceptance: June 30st, 2014 Camera-Ready Submission: July 15th, 2014 |
| -------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce@cs.ucy.ac.cy] with the single word 'remove' in the subject of the email. |
2014-04-05
[Caml-list] 4th International Conference on Model & Data Engineering (MEDI 2014): Third Call for Papers
| *** THIRD CALL FOR PAPERS *** (extended deadlines) 4th INTERNATIONAL CONFERENCE ON MODEL & DATA ENGINEERING (MEDI 2014) Lordos Beach Hotel, Larnaca, Cyprus 24-26 September, 2014 http://medi2014.cs.ucy.ac.cy/ The main objective of the conference is to provide a forum for the dissemination of research accomplishments and to promote the interaction and collaboration of research communities issued from modelling and system modelling on the one hand and data and data modelling on the other hand. MEDI 2014 provides an international infrastructure for the presentation of research results and experimentations on models and data theory, development of advanced technologies related to models and data and their advanced applications and case studies. This international scientific event, initiated by researchers from Euro-Mediterranean countries, aims also at promoting the creation of north-south scientific networks, projects and faculty/student exchanges and of other parts of the world as well. Keynote Speakers Mukesh Mohania, IBM India: Talk on the data side Dominique Mery, Loria, Nancy, France: Talk on the model side Aim and Scope Specific areas of interest to MEDI'2014 include but are not limited to: Modelling and Models Engineering: - Design of General-purpose Modelling Languages and Related Standards - Model Driven Engineering, Modelling Languages, Meta-modelling, Model Transformation, Model Evolution: - Formal Modelling, Verification and Validation, Analysis, Testing - Ontology Based Modelling, Role of Ontologies in Modelling Activities - Model Manipulation and models as first objects - Heterogeneous modelling, model integration and interoperability - Applications and case studies Data Engineering: - Heterogeneous data, data Integration and Interoperability - Distributed, Parallel, Grid, Peer to Peer, Cloud Databases - Data Warehouses and OLAP, Data Mining - Database System Internals, Performance, Self-tuning Benchmarking and Testing - Database Security, Personalization, Recommendation - Web Databases, Ontology Based Databases, PDMS - Applications and case studies Modeling for Data Management: - New Models and Architectures for Databases and Data Warehouses - Modeling and Quality of Data - Modeling for Enhancing Sharing Data - Models for Explicit and Implicit Semantics based Data Optimization - Model Reification, Model Repositories - Modeling Non Functional Properties of Systems - Data as models and Models as Data - Service based data management and service oriented applications - Models for data Monitoring - Urbanization of Database Applications Applications and tooling: - Industry transfer, experiences - Data and Model manipulation and tooling - Modelling tools and experimentation Conference Location Lordos Beach Hotel, Larnaca https://www.lordosbeach.com.cy/en/ Submission Guidelines and Instructions Authors are invited to submit research and application papers representing original, previously unpublished work. Papers should be submitted in PDF or Word format. Submissions must conform to Springer's LNCS format and should not exceed 12 pages (including all text, figures, references and appendices). Authors who want to buy extra pages may submit a paper up to 15 pages with the indication that the authors will purchase extra pages if the paper is accepted. Submissions which do not conform to the LNCS format and/or which do exceed 12 pages (or up to 15 pages with the extra page purchase commitment) will be rejected without reviews. Submitted papers will be carefully evaluated based on originality, significance, technical soundness, and clarity of exposition. All accepted papers will be published in Lecture Notes in Computer Science (LNCS) by Springer-Verlag. Duplicate submissions are not allowed. A submission is considered to be a duplicate submission if it is submitted to other conferences/workshops/journals or it has been already accepted to be published in other conferences/workshops/journals. Duplicate submissions thus will be automatically rejected without reviews. Submissions require explicit consent from all listed authors. Important Dates Abstract submission: April 28, 2014 (extended deadline) Full-paper submission: May 9, 2014 (extended deadline) Acceptance notification: June 16, 2014 Camera Ready: July 7, 2014 Paper Publication All accepted papers will be published in Lecture Notes in Computer Science (LNCS) by Springer-Verlag. Best papers will be invited for submission in a special issue of the Future Generation Computer Systems (Elsevier), the International Journal of Cooperative Information Systems (World Scientific) and Fundamenta Informaticae (IOS Press). Keynotes Speakers Mukesh MOHANIA, IBM, INDIA : Data and Data models Dominique MERY, Loria, Nancy, France: Models and system modelling Conference Organization General Chairs Ladjel Bellatreche, ENSMA, Poitiers University, France George A. Papadopoulos, Department of Computer Science, University of Cyprus Programme Committee Chair Yamine Aït Ameur, ENSEEIHT/IRIT, Toulouse, France Local Organizing Chair Mr. Petros Stratis (EasyConferences, LTD), Finance Chair Program Committee http://medi2014.cs.ucy.ac.cy/committes.html For further inquiries, contact the MEDI 2014 PC Chair: Yamine Aït Ameur (yamine@n7.fr) |
| -------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce@cs.ucy.ac.cy] with the single word 'remove' in the subject of the email. |
2014-04-04
[Caml-list] FLOPS 2014 call for participation (June 4-6, Kanazawa, Japan; early registration deadline on May 13)
Dear colleagues,
The registration for FLOPS 2014 (Twelfth International Symposium on
Functional and Logic Programming, June 4-6, Kanazawa, Japan) is now
open: http://www.jaist.ac.jp/flops2014/registration.html
- Early registration deadline on May 13, 2014
- Program http://www.jaist.ac.jp/flops2014/program.html with invited
talks by Ranjit Jhala, Shin-ya Katsumata, and Gabriele Keller
- Sponsored by JSSST SIGPPL; in cooperation with ACM SIGPLAN, AAFS, and ALP
- Proceedings to be published as LNCS 8475
- Hyakuman-goku Matsuri Festival
http://www.kanazawa-tourism.com/eng/event/event2.php on the day after
the symposium (June 7); accommodation can be extended on request basis
via the registration site (use the comments field)
- See http://www.jaist.ac.jp/flops2014/ for more information
Thank you!
FLOPS 2014 Program Co-Chairs
Michael Codish and Eijiro Sumii
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
The registration for FLOPS 2014 (Twelfth International Symposium on
Functional and Logic Programming, June 4-6, Kanazawa, Japan) is now
open: http://www.jaist.ac.jp/flops2014/registration.html
- Early registration deadline on May 13, 2014
- Program http://www.jaist.ac.jp/flops2014/program.html with invited
talks by Ranjit Jhala, Shin-ya Katsumata, and Gabriele Keller
- Sponsored by JSSST SIGPPL; in cooperation with ACM SIGPLAN, AAFS, and ALP
- Proceedings to be published as LNCS 8475
- Hyakuman-goku Matsuri Festival
http://www.kanazawa-tourism.com/eng/event/event2.php on the day after
the symposium (June 7); accommodation can be extended on request basis
via the registration site (use the comments field)
- See http://www.jaist.ac.jp/flops2014/ for more information
Thank you!
FLOPS 2014 Program Co-Chairs
Michael Codish and Eijiro Sumii
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
2014-04-03
Re: [Caml-list] Ocaml compiler documentation
> 1. What is the difference between an extension and an attribute? From what I
> understand, they are both means of integrating additional metadata into the
> AST that can then be parsed by implementations of the ast-mapper, but why
> are there 2 mechanisms?
Attributes are supposed to be "optional" information attached to
existing AST nodes:
let@shadow x = e1 in e2
If you erase attributes, you get back a valid AST. The implicit
contract that syntax-extension designers that use attributes ought to
respect is that the presence of attributes should not change the
semantics of the underlying code (but it can direct additional code
generation, etc.): at first approximation it should be possible to
read the code without attributes, understand what it means, and then
refine one's understanding with knowledge of the particular attributes
used.
The compiler can ignore unknown attributes.
On the contrary, extensions are AST nodes by themselves: [% foo] is an
expression (when used in an expression position). If you erase the
extension, you get an invalid AST with a missing hole. They are
designed for situations where it makes no sense to forget about the
extended-syntax part.
For more information, see
https://github.com/ocaml/ocaml/blob/trunk/experimental/frisch/extension_points.txt
On Thu, Apr 3, 2014 at 4:48 AM, Yotam Barnoy <yotambarnoy@gmail.com> wrote:
> Ok I think a good place to start a tour of the compiler is in
> parsing/parsetree.mli. This file is actually very well documented, with
> terse but effective examples of almost every constructor and type.
>
> I had to refer to the OCaml manual for a few of the corner cases. For
> example, I didn't know about the #class type shortcut. I think a few
> comments explaining the more obscure facets of the language could be
> helpful.
>
> Since the file is so well documented, I only have a few questions. I'll
> accept an answer or a hunch from anyone -- don't feel shy because you think
> you're not sure about the answer:
>
> 1. What is the difference between an extension and an attribute? From what I
> understand, they are both means of integrating additional metadata into the
> AST that can then be parsed by implementations of the ast-mapper, but why
> are there 2 mechanisms?
>
> 2. What is demonstrated in lines 114-117 regarding polymorphic variant row
> fields:
>
> | Rtag of label * bool * core_type list
> (* [`A] ( true, [] )
> [`A of T] ( false, [T] )
> [`A of T1 & .. & Tn] ( false, [T1;...Tn] )
> [`A of & T1 & .. & Tn] ( true, [T1;...Tn] )
> *)
>
> What does the bool value represent?
> Why are the type separators in the comments using the & symbol?
> What is the difference between the 3rd and 4th example?
>
> 3. line 684: what is the purpose of the override flag on Pstr_open? It's not
> explained by the comment.
>
> 4. The toplevel phrases are not clear. What is the purpose of Ptop_dir on
> line 721?
>
> Like I said, feel free to jump in and answer any one of these questions.
>
> Thanks in advance for everyone's help
>
> -Yotam
>
>
>
>
> On Tue, Apr 1, 2014 at 6:03 AM, Mark Shinwell <mshinwell@janestreet.com>
> wrote:
>>
>> I would suggest that it's probably better to keep the documentation as
>> comments where possible. However, I think it is important to avoid
>> excessive commentary, especially if it is likely to get out of sync as
>> a result of future modifications to the code. It may be that in some
>> cases making alterations to the code (for example, improving the name
>> of a variable) is a more satisfactory approach than adding a comment.
>>
>> Thanks for working on this.
>>
>> Mark
>>
>> On 31 March 2014 18:51, Yotam Barnoy <yotambarnoy@gmail.com> wrote:
>> > I think it depends on how much feedback I get on any particular
>> > question. By
>> > default, I would like comments to go in the code. Additionally, there's
>> > the
>> > ocaml-internals wiki at https://github.com/ocamllabs/ocaml-internals
>> > which
>> > will be useful for any concepts that span multiple files, or that are
>> > too
>> > beginner-oriented. I'm guessing that for many things, it will just have
>> > to
>> > be decided on a case-by-case basis.
>> >
>> > Of course, the most important ingredient for the success of this
>> > 'project'
>> > is the willing, patient participation of the core team, as well as the
>> > other
>> > experts on this list.
>> >
>> > -Yotam
>> >
>> >
>> > On Mon, Mar 31, 2014 at 1:06 PM, Milan Stanojević <milanst@gmail.com>
>> > wrote:
>> >>
>> >> Thank you for doing this, I'm interested in learning more about how
>> >> compiler works.
>> >>
>> >> Are you creating a separate file(s) to document the compiler or you
>> >> are adding comments to ml files?
>> >>
>> >> On Mon, Mar 31, 2014 at 11:39 AM, Yotam Barnoy <yotambarnoy@gmail.com>
>> >> wrote:
>> >> > Hi everybody
>> >> >
>> >> > It's been mentioned before that the OCaml compiler's documentation is
>> >> > somewhat lacking. I've been going over the compiler code gradually
>> >> > (both
>> >> > the
>> >> > frontend and the backend) and while some parts are understandable
>> >> > enough,
>> >> > others are missing some basic explanations. Some explanations are
>> >> > also
>> >> > spread out throughout the codebase, making it hard to know what
>> >> > something
>> >> > means unless you've read another part of the codebase that relates to
>> >> > it.
>> >> >
>> >> > Since the call to submit documentation commits has gone mostly
>> >> > unanswered,
>> >> > I'd like to suggest a method of making both my own progress through
>> >> > the
>> >> > code
>> >> > easier and hopefully making it easier for others who will follow.
>> >> >
>> >> > What I'm going to do is, focusing on more or less one file at a time,
>> >> > I'll
>> >> > post newbie questions to the list about the code. Once I'm satisfied
>> >> > that I
>> >> > have a good enough understanding, I'll add comments to the
>> >> > aforementioned
>> >> > files and submit pull requests for them. I also encourage others to
>> >> > do
>> >> > the
>> >> > same.
>> >> >
>> >> > What I need from the list, and especially from the more knowledgeable
>> >> > members (who already know the compiler code) is the willingness to
>> >> > explain
>> >> > the concepts and answer my questions, annoying as they may be. I have
>> >> > a
>> >> > pretty decent background in compilers, ASTs, code generation, etc,
>> >> > but
>> >> > not
>> >> > so much in type inference.
>> >> >
>> >> > I'm not suggesting a particular timeframe for this process -- I'm
>> >> > doing
>> >> > this
>> >> > on the side while working on a research project and TAing, but I
>> >> > really
>> >> > would like to get to the point where I can make significant
>> >> > contributions to
>> >> > the toolchain, and if I can help others who follow in my footsteps,
>> >> > then
>> >> > that's a nice bonus.
>> >> >
>> >> > While I could have skipped this introduction and just proceeded with
>> >> > inundating the list with questions, I felt that this (hopefully)
>> >> > gives a
>> >> > purpose and perhaps motivation for those who have the answers to
>> >> > answer
>> >> > my
>> >> > questions even if they get annoying. In particular, I may often miss
>> >> > some
>> >> > parts that may seem obvious because I don't necessarily have the time
>> >> > to
>> >> > read all the connected code in depth. Hopefully you'll bear with me.
>> >> >
>> >> > Does this sound reasonable to the fine folks on the list?
>> >> >
>> >> > Yotam
>> >
>> >
>
>
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
> understand, they are both means of integrating additional metadata into the
> AST that can then be parsed by implementations of the ast-mapper, but why
> are there 2 mechanisms?
Attributes are supposed to be "optional" information attached to
existing AST nodes:
let@shadow x = e1 in e2
If you erase attributes, you get back a valid AST. The implicit
contract that syntax-extension designers that use attributes ought to
respect is that the presence of attributes should not change the
semantics of the underlying code (but it can direct additional code
generation, etc.): at first approximation it should be possible to
read the code without attributes, understand what it means, and then
refine one's understanding with knowledge of the particular attributes
used.
The compiler can ignore unknown attributes.
On the contrary, extensions are AST nodes by themselves: [% foo] is an
expression (when used in an expression position). If you erase the
extension, you get an invalid AST with a missing hole. They are
designed for situations where it makes no sense to forget about the
extended-syntax part.
For more information, see
https://github.com/ocaml/ocaml/blob/trunk/experimental/frisch/extension_points.txt
On Thu, Apr 3, 2014 at 4:48 AM, Yotam Barnoy <yotambarnoy@gmail.com> wrote:
> Ok I think a good place to start a tour of the compiler is in
> parsing/parsetree.mli. This file is actually very well documented, with
> terse but effective examples of almost every constructor and type.
>
> I had to refer to the OCaml manual for a few of the corner cases. For
> example, I didn't know about the #class type shortcut. I think a few
> comments explaining the more obscure facets of the language could be
> helpful.
>
> Since the file is so well documented, I only have a few questions. I'll
> accept an answer or a hunch from anyone -- don't feel shy because you think
> you're not sure about the answer:
>
> 1. What is the difference between an extension and an attribute? From what I
> understand, they are both means of integrating additional metadata into the
> AST that can then be parsed by implementations of the ast-mapper, but why
> are there 2 mechanisms?
>
> 2. What is demonstrated in lines 114-117 regarding polymorphic variant row
> fields:
>
> | Rtag of label * bool * core_type list
> (* [`A] ( true, [] )
> [`A of T] ( false, [T] )
> [`A of T1 & .. & Tn] ( false, [T1;...Tn] )
> [`A of & T1 & .. & Tn] ( true, [T1;...Tn] )
> *)
>
> What does the bool value represent?
> Why are the type separators in the comments using the & symbol?
> What is the difference between the 3rd and 4th example?
>
> 3. line 684: what is the purpose of the override flag on Pstr_open? It's not
> explained by the comment.
>
> 4. The toplevel phrases are not clear. What is the purpose of Ptop_dir on
> line 721?
>
> Like I said, feel free to jump in and answer any one of these questions.
>
> Thanks in advance for everyone's help
>
> -Yotam
>
>
>
>
> On Tue, Apr 1, 2014 at 6:03 AM, Mark Shinwell <mshinwell@janestreet.com>
> wrote:
>>
>> I would suggest that it's probably better to keep the documentation as
>> comments where possible. However, I think it is important to avoid
>> excessive commentary, especially if it is likely to get out of sync as
>> a result of future modifications to the code. It may be that in some
>> cases making alterations to the code (for example, improving the name
>> of a variable) is a more satisfactory approach than adding a comment.
>>
>> Thanks for working on this.
>>
>> Mark
>>
>> On 31 March 2014 18:51, Yotam Barnoy <yotambarnoy@gmail.com> wrote:
>> > I think it depends on how much feedback I get on any particular
>> > question. By
>> > default, I would like comments to go in the code. Additionally, there's
>> > the
>> > ocaml-internals wiki at https://github.com/ocamllabs/ocaml-internals
>> > which
>> > will be useful for any concepts that span multiple files, or that are
>> > too
>> > beginner-oriented. I'm guessing that for many things, it will just have
>> > to
>> > be decided on a case-by-case basis.
>> >
>> > Of course, the most important ingredient for the success of this
>> > 'project'
>> > is the willing, patient participation of the core team, as well as the
>> > other
>> > experts on this list.
>> >
>> > -Yotam
>> >
>> >
>> > On Mon, Mar 31, 2014 at 1:06 PM, Milan Stanojević <milanst@gmail.com>
>> > wrote:
>> >>
>> >> Thank you for doing this, I'm interested in learning more about how
>> >> compiler works.
>> >>
>> >> Are you creating a separate file(s) to document the compiler or you
>> >> are adding comments to ml files?
>> >>
>> >> On Mon, Mar 31, 2014 at 11:39 AM, Yotam Barnoy <yotambarnoy@gmail.com>
>> >> wrote:
>> >> > Hi everybody
>> >> >
>> >> > It's been mentioned before that the OCaml compiler's documentation is
>> >> > somewhat lacking. I've been going over the compiler code gradually
>> >> > (both
>> >> > the
>> >> > frontend and the backend) and while some parts are understandable
>> >> > enough,
>> >> > others are missing some basic explanations. Some explanations are
>> >> > also
>> >> > spread out throughout the codebase, making it hard to know what
>> >> > something
>> >> > means unless you've read another part of the codebase that relates to
>> >> > it.
>> >> >
>> >> > Since the call to submit documentation commits has gone mostly
>> >> > unanswered,
>> >> > I'd like to suggest a method of making both my own progress through
>> >> > the
>> >> > code
>> >> > easier and hopefully making it easier for others who will follow.
>> >> >
>> >> > What I'm going to do is, focusing on more or less one file at a time,
>> >> > I'll
>> >> > post newbie questions to the list about the code. Once I'm satisfied
>> >> > that I
>> >> > have a good enough understanding, I'll add comments to the
>> >> > aforementioned
>> >> > files and submit pull requests for them. I also encourage others to
>> >> > do
>> >> > the
>> >> > same.
>> >> >
>> >> > What I need from the list, and especially from the more knowledgeable
>> >> > members (who already know the compiler code) is the willingness to
>> >> > explain
>> >> > the concepts and answer my questions, annoying as they may be. I have
>> >> > a
>> >> > pretty decent background in compilers, ASTs, code generation, etc,
>> >> > but
>> >> > not
>> >> > so much in type inference.
>> >> >
>> >> > I'm not suggesting a particular timeframe for this process -- I'm
>> >> > doing
>> >> > this
>> >> > on the side while working on a research project and TAing, but I
>> >> > really
>> >> > would like to get to the point where I can make significant
>> >> > contributions to
>> >> > the toolchain, and if I can help others who follow in my footsteps,
>> >> > then
>> >> > that's a nice bonus.
>> >> >
>> >> > While I could have skipped this introduction and just proceeded with
>> >> > inundating the list with questions, I felt that this (hopefully)
>> >> > gives a
>> >> > purpose and perhaps motivation for those who have the answers to
>> >> > answer
>> >> > my
>> >> > questions even if they get annoying. In particular, I may often miss
>> >> > some
>> >> > parts that may seem obvious because I don't necessarily have the time
>> >> > to
>> >> > read all the connected code in depth. Hopefully you'll bear with me.
>> >> >
>> >> > Does this sound reasonable to the fine folks on the list?
>> >> >
>> >> > Yotam
>> >
>> >
>
>
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] Ocaml compiler documentation
Ok I think a good place to start a tour of the compiler is in parsing/parsetree.mli. This file is actually very well documented, with terse but effective examples of almost every constructor and type.
I had to refer to the OCaml manual for a few of the corner cases. For example, I didn't know about the #class type shortcut. I think a few comments explaining the more obscure facets of the language could be helpful.
Since the file is so well documented, I only have a few questions. I'll accept an answer or a hunch from anyone -- don't feel shy because you think you're not sure about the answer:
1. What is the difference between an extension and an attribute? From what I understand, they are both means of integrating additional metadata into the AST that can then be parsed by implementations of the ast-mapper, but why are there 2 mechanisms?
2. What is demonstrated in lines 114-117 regarding polymorphic variant row fields:
| Rtag of label * bool * core_type list
(* [`A] ( true, [] )
[`A of T] ( false, [T] )
[`A of T1 & .. & Tn] ( false, [T1;...Tn] )
[`A of & T1 & .. & Tn] ( true, [T1;...Tn] )
*)
What does the bool value represent?
Why are the type separators in the comments using the & symbol?
What is the difference between the 3rd and 4th example?
3. line 684: what is the purpose of the override flag on Pstr_open? It's not explained by the comment.
4. The toplevel phrases are not clear. What is the purpose of Ptop_dir on line 721?
Like I said, feel free to jump in and answer any one of these questions.
Thanks in advance for everyone's help
I had to refer to the OCaml manual for a few of the corner cases. For example, I didn't know about the #class type shortcut. I think a few comments explaining the more obscure facets of the language could be helpful.
Since the file is so well documented, I only have a few questions. I'll accept an answer or a hunch from anyone -- don't feel shy because you think you're not sure about the answer:
1. What is the difference between an extension and an attribute? From what I understand, they are both means of integrating additional metadata into the AST that can then be parsed by implementations of the ast-mapper, but why are there 2 mechanisms?
2. What is demonstrated in lines 114-117 regarding polymorphic variant row fields:
| Rtag of label * bool * core_type list
(* [`A] ( true, [] )
[`A of T] ( false, [T] )
[`A of T1 & .. & Tn] ( false, [T1;...Tn] )
[`A of & T1 & .. & Tn] ( true, [T1;...Tn] )
*)
What does the bool value represent?
Why are the type separators in the comments using the & symbol?
What is the difference between the 3rd and 4th example?
3. line 684: what is the purpose of the override flag on Pstr_open? It's not explained by the comment.
4. The toplevel phrases are not clear. What is the purpose of Ptop_dir on line 721?
Like I said, feel free to jump in and answer any one of these questions.
Thanks in advance for everyone's help
-Yotam
On Tue, Apr 1, 2014 at 6:03 AM, Mark Shinwell <mshinwell@janestreet.com> wrote:
I would suggest that it's probably better to keep the documentation as
comments where possible. However, I think it is important to avoid
excessive commentary, especially if it is likely to get out of sync as
a result of future modifications to the code. It may be that in some
cases making alterations to the code (for example, improving the name
of a variable) is a more satisfactory approach than adding a comment.
Thanks for working on this.
Mark
On 31 March 2014 18:51, Yotam Barnoy <yotambarnoy@gmail.com> wrote:
> I think it depends on how much feedback I get on any particular question. By
> default, I would like comments to go in the code. Additionally, there's the
> ocaml-internals wiki at https://github.com/ocamllabs/ocaml-internals which
> will be useful for any concepts that span multiple files, or that are too
> beginner-oriented. I'm guessing that for many things, it will just have to
> be decided on a case-by-case basis.
>
> Of course, the most important ingredient for the success of this 'project'
> is the willing, patient participation of the core team, as well as the other
> experts on this list.
>
> -Yotam
>
>
> On Mon, Mar 31, 2014 at 1:06 PM, Milan Stanojević <milanst@gmail.com> wrote:
>>
>> Thank you for doing this, I'm interested in learning more about how
>> compiler works.
>>
>> Are you creating a separate file(s) to document the compiler or you
>> are adding comments to ml files?
>>
>> On Mon, Mar 31, 2014 at 11:39 AM, Yotam Barnoy <yotambarnoy@gmail.com>
>> wrote:
>> > Hi everybody
>> >
>> > It's been mentioned before that the OCaml compiler's documentation is
>> > somewhat lacking. I've been going over the compiler code gradually (both
>> > the
>> > frontend and the backend) and while some parts are understandable
>> > enough,
>> > others are missing some basic explanations. Some explanations are also
>> > spread out throughout the codebase, making it hard to know what
>> > something
>> > means unless you've read another part of the codebase that relates to
>> > it.
>> >
>> > Since the call to submit documentation commits has gone mostly
>> > unanswered,
>> > I'd like to suggest a method of making both my own progress through the
>> > code
>> > easier and hopefully making it easier for others who will follow.
>> >
>> > What I'm going to do is, focusing on more or less one file at a time,
>> > I'll
>> > post newbie questions to the list about the code. Once I'm satisfied
>> > that I
>> > have a good enough understanding, I'll add comments to the
>> > aforementioned
>> > files and submit pull requests for them. I also encourage others to do
>> > the
>> > same.
>> >
>> > What I need from the list, and especially from the more knowledgeable
>> > members (who already know the compiler code) is the willingness to
>> > explain
>> > the concepts and answer my questions, annoying as they may be. I have a
>> > pretty decent background in compilers, ASTs, code generation, etc, but
>> > not
>> > so much in type inference.
>> >
>> > I'm not suggesting a particular timeframe for this process -- I'm doing
>> > this
>> > on the side while working on a research project and TAing, but I really
>> > would like to get to the point where I can make significant
>> > contributions to
>> > the toolchain, and if I can help others who follow in my footsteps, then
>> > that's a nice bonus.
>> >
>> > While I could have skipped this introduction and just proceeded with
>> > inundating the list with questions, I felt that this (hopefully) gives a
>> > purpose and perhaps motivation for those who have the answers to answer
>> > my
>> > questions even if they get annoying. In particular, I may often miss
>> > some
>> > parts that may seem obvious because I don't necessarily have the time to
>> > read all the connected code in depth. Hopefully you'll bear with me.
>> >
>> > Does this sound reasonable to the fine folks on the list?
>> >
>> > Yotam
>
>
2014-04-01
[Caml-list] [TFPIE2014] final call for papers
3rd International Workshop on Trends in Functional Programming in
Education (TFPIE 2014)
May 25, 2014
Utrecht University
Soesterberg, The Netherlands
(http://www.cs.uwyo.edu/~jlc/tfpie14/)
The 3rd International Workshop on Trends in Functional Programming in
Education, TFPIE 2014, will be co-located with the Symposium on Trends
in Functional Programming (TFP 2014) at Soesterberg, at the "Kontakt der
Kontinenten" hotel in the Netherlands on Sunday, May 25th. TFP will
follow from May 26-28.
The goal of TFPIE is to gather researchers, teachers and professionals
that use, or are interested in the use of, functional programming in
education. TFPIE aims to be a venue where novel ideas, classroom-tested
ideas and work-in-progress on the use of functional programming in
education are discussed. The one-day workshop will foster a spirit of
open discussion by having a review process for publication after the
workshop. The program chair of TFPIE 2014 will screen submissions to
ensure that all presentations are within scope and are of interest to
participants. Potential presenters are invited to submit an extended
abstract (4-6 pages) or a draft paper (up to 16 pages) in EPTCS style.
The authors of accepted presentations will have their preprints and
their slides made available on the workshop's website/wiki. Visitors to
the TFPIE 2014 website/wiki will be able to add comments. This includes
presenters who may respond to comments and questions as well as provide
pointers to improvements and follow-up work. After the workshop,
presenters will be invited to submit (a revised version of) their
article for review. The PC will select the best articles for publication
in the journal Electronic Proceedings in Theoretical Computer Science
(EPTCS). Articles not selected for presentation and extended abstracts
will not be formally reviewed by the PC.
TFPIE workshops have previously been held in St Andrews, Scotland (2012)
and in Provo Utah, USA (2013).
** Invited Speaker **
TFPIE is pleased to announce that professor Johan Jeuring of Utrecht
University and Open University, both in The Netherlands is giving an
invited talk entitled: "Automatic tutoring and assessing functional
programs".
** Program Committee **
James Caldwell, (Program Chair) University of Wyoming
Peter Achten, Radboud University, Nijmgen
Edwin Brady, University of St Andrews, St Andrews
Jurriaan Hage, Universiteit Utrecht
Philip Holzenspies, University of Twente
Daniel R. Licata, Wesleyan University
Marco T Morazan, Seton Hall University
Christian Skalka, University of Vermont
David Van Horn, Northeastern University
** Submission Guidelines **
There will be two types of presentations at TFPIE 2014. Regular papers
and "best lecture" presentations. The best lecture talks are intended to
allow for presentations or short lectures of purely pedagogical
material. Papers and abstracts can be submitted via easychair at the
following link: https://www.easychair.org/conferences/?conf=tfpie2014
** Papers **
TFPIE 2014 welcomes submissions describing techniques used in the
classroom, tools used in and/or developed for the classroom and any
creative use of functional programming (FP) to aid education in or
outside Computer Science. Topics of interest include, but are not
limited to:
* FP and beginning CS students
* FP and Computational Thinking
* FP and Artificial Intelligence
* FP in Robotics
* FP and Music
* Advanced FP for undergraduates
* FP in graduate education
* Engaging students in research using FP
* FP in Programming Languages
* FP in the high school curriculum
* FP as a stepping stone to other CS topics
* FP and Philosophy
** Best Lectures **
In addition to papers, this year we are requesting "best lecture"
presentations. What's your best lecture topic in an FP related course?
Do you have a fun way to present FP concepts to novices or perhaps an
especially interesting presentation of a difficult topic? In either
case, please consider sharing it. Best lecture topics will be selected
for presentation based on a short abstract describing the lecture and
its interest to TFPIE attendees.
** Important Dates **
* 1 February 2014: TFPIE submissions open on easychair.
* 14 April 2014: Early registration for TFP closes
* 21 April 2014: Submission deadline for draft TFPIE papers and abstracts
* 27 April 2014: Notification of acceptance for presentation
* 15 May 2014: Registration for TFPIE closes - as does late registration
for TFP
* 25 May 2014: Presentations in Soesterberg, Netherlands
* 29 June 2014: Full papers for EPTCS proceedings due
* 16 August 2014: Notification of acceptance for proceedings
* 8 September 2014: Camera ready copy due for EPTCS
Submission of an abstract implies no obligation to submit a full paper;
abstracts with no corresponding full versions by the full paper deadline
will be considered as withdrawn. At least one author from each accepted
presentation must attend the workshop.
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
Education (TFPIE 2014)
May 25, 2014
Utrecht University
Soesterberg, The Netherlands
(http://www.cs.uwyo.edu/~jlc/tfpie14/)
The 3rd International Workshop on Trends in Functional Programming in
Education, TFPIE 2014, will be co-located with the Symposium on Trends
in Functional Programming (TFP 2014) at Soesterberg, at the "Kontakt der
Kontinenten" hotel in the Netherlands on Sunday, May 25th. TFP will
follow from May 26-28.
The goal of TFPIE is to gather researchers, teachers and professionals
that use, or are interested in the use of, functional programming in
education. TFPIE aims to be a venue where novel ideas, classroom-tested
ideas and work-in-progress on the use of functional programming in
education are discussed. The one-day workshop will foster a spirit of
open discussion by having a review process for publication after the
workshop. The program chair of TFPIE 2014 will screen submissions to
ensure that all presentations are within scope and are of interest to
participants. Potential presenters are invited to submit an extended
abstract (4-6 pages) or a draft paper (up to 16 pages) in EPTCS style.
The authors of accepted presentations will have their preprints and
their slides made available on the workshop's website/wiki. Visitors to
the TFPIE 2014 website/wiki will be able to add comments. This includes
presenters who may respond to comments and questions as well as provide
pointers to improvements and follow-up work. After the workshop,
presenters will be invited to submit (a revised version of) their
article for review. The PC will select the best articles for publication
in the journal Electronic Proceedings in Theoretical Computer Science
(EPTCS). Articles not selected for presentation and extended abstracts
will not be formally reviewed by the PC.
TFPIE workshops have previously been held in St Andrews, Scotland (2012)
and in Provo Utah, USA (2013).
** Invited Speaker **
TFPIE is pleased to announce that professor Johan Jeuring of Utrecht
University and Open University, both in The Netherlands is giving an
invited talk entitled: "Automatic tutoring and assessing functional
programs".
** Program Committee **
James Caldwell, (Program Chair) University of Wyoming
Peter Achten, Radboud University, Nijmgen
Edwin Brady, University of St Andrews, St Andrews
Jurriaan Hage, Universiteit Utrecht
Philip Holzenspies, University of Twente
Daniel R. Licata, Wesleyan University
Marco T Morazan, Seton Hall University
Christian Skalka, University of Vermont
David Van Horn, Northeastern University
** Submission Guidelines **
There will be two types of presentations at TFPIE 2014. Regular papers
and "best lecture" presentations. The best lecture talks are intended to
allow for presentations or short lectures of purely pedagogical
material. Papers and abstracts can be submitted via easychair at the
following link: https://www.easychair.org/conferences/?conf=tfpie2014
** Papers **
TFPIE 2014 welcomes submissions describing techniques used in the
classroom, tools used in and/or developed for the classroom and any
creative use of functional programming (FP) to aid education in or
outside Computer Science. Topics of interest include, but are not
limited to:
* FP and beginning CS students
* FP and Computational Thinking
* FP and Artificial Intelligence
* FP in Robotics
* FP and Music
* Advanced FP for undergraduates
* FP in graduate education
* Engaging students in research using FP
* FP in Programming Languages
* FP in the high school curriculum
* FP as a stepping stone to other CS topics
* FP and Philosophy
** Best Lectures **
In addition to papers, this year we are requesting "best lecture"
presentations. What's your best lecture topic in an FP related course?
Do you have a fun way to present FP concepts to novices or perhaps an
especially interesting presentation of a difficult topic? In either
case, please consider sharing it. Best lecture topics will be selected
for presentation based on a short abstract describing the lecture and
its interest to TFPIE attendees.
** Important Dates **
* 1 February 2014: TFPIE submissions open on easychair.
* 14 April 2014: Early registration for TFP closes
* 21 April 2014: Submission deadline for draft TFPIE papers and abstracts
* 27 April 2014: Notification of acceptance for presentation
* 15 May 2014: Registration for TFPIE closes - as does late registration
for TFP
* 25 May 2014: Presentations in Soesterberg, Netherlands
* 29 June 2014: Full papers for EPTCS proceedings due
* 16 August 2014: Notification of acceptance for proceedings
* 8 September 2014: Camera ready copy due for EPTCS
Submission of an abstract implies no obligation to submit a full paper;
abstracts with no corresponding full versions by the full paper deadline
will be considered as withdrawn. At least one author from each accepted
presentation must attend the workshop.
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
[Caml-list] [TFP2014] First Call for Participation
---------------------------------
1ST CALL FOR PARTICIPATION
---------------------------------
======== TFP 2014 ===========
15th Symposium on Trends in Functional Programming
May 26-28, 2014
Utrecht University
Soesterberg, The Netherlands
http://www.cs.uu.nl/wiki/TFP2014/WebHome
Registration is now open for the symposium on Trends in Functional
Programming (TFP). It is an international forum for researchers with
interests
in all aspects of functional programming, taking a broad view of current
and
future trends in the area. It aspires to be a lively environment for
presenting
the latest research results. Submission for TFP is now closed, and the
complete
programme (29 presentations and two invited talks) for TFP can be
perused here:
http://www.cs.uu.nl/wiki/TFP2014/PresentationSchedule
TFP 2014 will be the main event of a pair of functional programming events.
The other is the International Workshop on Trends in Functional Programming
in Education (TFPIE). TFPIE will take place on May 25th. Its website is
located
at http://www.cs.uwyo.edu/~jlc/tfpie14/ . The submission deadline for TFPIE
is April 21, 2014.
INVITED SPEAKERS
TFP is pleased to announce talks by the following two invited speakers:
John Hughes of Chalmers, Goteborg, Sweden, is well-known as author of
Why Functional Programming Matters, and as one of the designers of
QuickCheck
(together with Koen Claessen); the paper on QuickCheck won the
ICFP Most Influential Paper Award in 2010. Currently he divides his time
between
his professorship and Quviq, a company that performs property-based
testing of
software with a tool implemented in Erlang.
Geoffrey Mainland received his PhD from Harvard University where he was
advised by Greg Morrisett and Matt Welsh. After a two year postdoc with the
Programming Principles and Tools group at Microsoft Research Cambridge,
he is
now an assistant professor at Drexel University. His research focuses on
high-level programming language and runtime support for non-general purpose
computation.
IMPORTANT DATES
Early registration: April 14, 2014
Late registration: May 15, 2014
TFPIE Workshop: May 25, 2014
TFP Symposium: May 26-28, 2014
Registrations can be made at the following URL:
http://www.cs.uu.nl/wiki/TFP2014/Register
This page will also point you to the web page of the venue where you can
arrange
for your stay.
hoping to see you there.
Jurriaan Hage (General Chair)
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
1ST CALL FOR PARTICIPATION
---------------------------------
======== TFP 2014 ===========
15th Symposium on Trends in Functional Programming
May 26-28, 2014
Utrecht University
Soesterberg, The Netherlands
http://www.cs.uu.nl/wiki/TFP2014/WebHome
Registration is now open for the symposium on Trends in Functional
Programming (TFP). It is an international forum for researchers with
interests
in all aspects of functional programming, taking a broad view of current
and
future trends in the area. It aspires to be a lively environment for
presenting
the latest research results. Submission for TFP is now closed, and the
complete
programme (29 presentations and two invited talks) for TFP can be
perused here:
http://www.cs.uu.nl/wiki/TFP2014/PresentationSchedule
TFP 2014 will be the main event of a pair of functional programming events.
The other is the International Workshop on Trends in Functional Programming
in Education (TFPIE). TFPIE will take place on May 25th. Its website is
located
at http://www.cs.uwyo.edu/~jlc/tfpie14/ . The submission deadline for TFPIE
is April 21, 2014.
INVITED SPEAKERS
TFP is pleased to announce talks by the following two invited speakers:
John Hughes of Chalmers, Goteborg, Sweden, is well-known as author of
Why Functional Programming Matters, and as one of the designers of
QuickCheck
(together with Koen Claessen); the paper on QuickCheck won the
ICFP Most Influential Paper Award in 2010. Currently he divides his time
between
his professorship and Quviq, a company that performs property-based
testing of
software with a tool implemented in Erlang.
Geoffrey Mainland received his PhD from Harvard University where he was
advised by Greg Morrisett and Matt Welsh. After a two year postdoc with the
Programming Principles and Tools group at Microsoft Research Cambridge,
he is
now an assistant professor at Drexel University. His research focuses on
high-level programming language and runtime support for non-general purpose
computation.
IMPORTANT DATES
Early registration: April 14, 2014
Late registration: May 15, 2014
TFPIE Workshop: May 25, 2014
TFP Symposium: May 26-28, 2014
Registrations can be made at the following URL:
http://www.cs.uu.nl/wiki/TFP2014/Register
This page will also point you to the web page of the venue where you can
arrange
for your stay.
hoping to see you there.
Jurriaan Hage (General Chair)
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
Re: [Caml-list] Ocaml compiler documentation
I would suggest that it's probably better to keep the documentation as
comments where possible. However, I think it is important to avoid
excessive commentary, especially if it is likely to get out of sync as
a result of future modifications to the code. It may be that in some
cases making alterations to the code (for example, improving the name
of a variable) is a more satisfactory approach than adding a comment.
Thanks for working on this.
Mark
On 31 March 2014 18:51, Yotam Barnoy <yotambarnoy@gmail.com> wrote:
> I think it depends on how much feedback I get on any particular question. By
> default, I would like comments to go in the code. Additionally, there's the
> ocaml-internals wiki at https://github.com/ocamllabs/ocaml-internals which
> will be useful for any concepts that span multiple files, or that are too
> beginner-oriented. I'm guessing that for many things, it will just have to
> be decided on a case-by-case basis.
>
> Of course, the most important ingredient for the success of this 'project'
> is the willing, patient participation of the core team, as well as the other
> experts on this list.
>
> -Yotam
>
>
> On Mon, Mar 31, 2014 at 1:06 PM, Milan Stanojević <milanst@gmail.com> wrote:
>>
>> Thank you for doing this, I'm interested in learning more about how
>> compiler works.
>>
>> Are you creating a separate file(s) to document the compiler or you
>> are adding comments to ml files?
>>
>> On Mon, Mar 31, 2014 at 11:39 AM, Yotam Barnoy <yotambarnoy@gmail.com>
>> wrote:
>> > Hi everybody
>> >
>> > It's been mentioned before that the OCaml compiler's documentation is
>> > somewhat lacking. I've been going over the compiler code gradually (both
>> > the
>> > frontend and the backend) and while some parts are understandable
>> > enough,
>> > others are missing some basic explanations. Some explanations are also
>> > spread out throughout the codebase, making it hard to know what
>> > something
>> > means unless you've read another part of the codebase that relates to
>> > it.
>> >
>> > Since the call to submit documentation commits has gone mostly
>> > unanswered,
>> > I'd like to suggest a method of making both my own progress through the
>> > code
>> > easier and hopefully making it easier for others who will follow.
>> >
>> > What I'm going to do is, focusing on more or less one file at a time,
>> > I'll
>> > post newbie questions to the list about the code. Once I'm satisfied
>> > that I
>> > have a good enough understanding, I'll add comments to the
>> > aforementioned
>> > files and submit pull requests for them. I also encourage others to do
>> > the
>> > same.
>> >
>> > What I need from the list, and especially from the more knowledgeable
>> > members (who already know the compiler code) is the willingness to
>> > explain
>> > the concepts and answer my questions, annoying as they may be. I have a
>> > pretty decent background in compilers, ASTs, code generation, etc, but
>> > not
>> > so much in type inference.
>> >
>> > I'm not suggesting a particular timeframe for this process -- I'm doing
>> > this
>> > on the side while working on a research project and TAing, but I really
>> > would like to get to the point where I can make significant
>> > contributions to
>> > the toolchain, and if I can help others who follow in my footsteps, then
>> > that's a nice bonus.
>> >
>> > While I could have skipped this introduction and just proceeded with
>> > inundating the list with questions, I felt that this (hopefully) gives a
>> > purpose and perhaps motivation for those who have the answers to answer
>> > my
>> > questions even if they get annoying. In particular, I may often miss
>> > some
>> > parts that may seem obvious because I don't necessarily have the time to
>> > read all the connected code in depth. Hopefully you'll bear with me.
>> >
>> > Does this sound reasonable to the fine folks on the list?
>> >
>> > Yotam
>
>
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
comments where possible. However, I think it is important to avoid
excessive commentary, especially if it is likely to get out of sync as
a result of future modifications to the code. It may be that in some
cases making alterations to the code (for example, improving the name
of a variable) is a more satisfactory approach than adding a comment.
Thanks for working on this.
Mark
On 31 March 2014 18:51, Yotam Barnoy <yotambarnoy@gmail.com> wrote:
> I think it depends on how much feedback I get on any particular question. By
> default, I would like comments to go in the code. Additionally, there's the
> ocaml-internals wiki at https://github.com/ocamllabs/ocaml-internals which
> will be useful for any concepts that span multiple files, or that are too
> beginner-oriented. I'm guessing that for many things, it will just have to
> be decided on a case-by-case basis.
>
> Of course, the most important ingredient for the success of this 'project'
> is the willing, patient participation of the core team, as well as the other
> experts on this list.
>
> -Yotam
>
>
> On Mon, Mar 31, 2014 at 1:06 PM, Milan Stanojević <milanst@gmail.com> wrote:
>>
>> Thank you for doing this, I'm interested in learning more about how
>> compiler works.
>>
>> Are you creating a separate file(s) to document the compiler or you
>> are adding comments to ml files?
>>
>> On Mon, Mar 31, 2014 at 11:39 AM, Yotam Barnoy <yotambarnoy@gmail.com>
>> wrote:
>> > Hi everybody
>> >
>> > It's been mentioned before that the OCaml compiler's documentation is
>> > somewhat lacking. I've been going over the compiler code gradually (both
>> > the
>> > frontend and the backend) and while some parts are understandable
>> > enough,
>> > others are missing some basic explanations. Some explanations are also
>> > spread out throughout the codebase, making it hard to know what
>> > something
>> > means unless you've read another part of the codebase that relates to
>> > it.
>> >
>> > Since the call to submit documentation commits has gone mostly
>> > unanswered,
>> > I'd like to suggest a method of making both my own progress through the
>> > code
>> > easier and hopefully making it easier for others who will follow.
>> >
>> > What I'm going to do is, focusing on more or less one file at a time,
>> > I'll
>> > post newbie questions to the list about the code. Once I'm satisfied
>> > that I
>> > have a good enough understanding, I'll add comments to the
>> > aforementioned
>> > files and submit pull requests for them. I also encourage others to do
>> > the
>> > same.
>> >
>> > What I need from the list, and especially from the more knowledgeable
>> > members (who already know the compiler code) is the willingness to
>> > explain
>> > the concepts and answer my questions, annoying as they may be. I have a
>> > pretty decent background in compilers, ASTs, code generation, etc, but
>> > not
>> > so much in type inference.
>> >
>> > I'm not suggesting a particular timeframe for this process -- I'm doing
>> > this
>> > on the side while working on a research project and TAing, but I really
>> > would like to get to the point where I can make significant
>> > contributions to
>> > the toolchain, and if I can help others who follow in my footsteps, then
>> > that's a nice bonus.
>> >
>> > While I could have skipped this introduction and just proceeded with
>> > inundating the list with questions, I felt that this (hopefully) gives a
>> > purpose and perhaps motivation for those who have the answers to answer
>> > my
>> > questions even if they get annoying. In particular, I may often miss
>> > some
>> > parts that may seem obvious because I don't necessarily have the time to
>> > read all the connected code in depth. Hopefully you'll bear with me.
>> >
>> > Does this sound reasonable to the fine folks on the list?
>> >
>> > Yotam
>
>
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
Subscribe to:
Posts (Atom)