Kenneth Adam Miller | 18 Nov 21:30 2014
Picon

Re: Using binary analysis platform library

Yeah, I tried to email them, but I couldn't get through to them. If you can explain how I can get through to be approved that would be helpful. I thought the bap list was better, but  I can't email to it.

At the current moment, I got the tidbit about stmt lists in  piqi, I figured that out. Now I just need to get the piqi compiler to produce equivalent types to what bap is compiled with by importing the module instead of copying the piqi files and including them; ocaml compiler is producing equivalent type definitions that are masked under different module names. My whole compilation has bap-0.8/ and BAP-Service under the same parent directory; when I try to import in piqi, I can't do ../

On Tue, Nov 18, 2014 at 3:22 PM, Ivan Gotovchits <ivg <at> ieee.org> wrote:
Actually is is a good idea to look at the examples in a new BAP repository



In general, list can be declared as:

.list [
  .name stmt-list
  .type stmt
]

Also, there is a BAP-specific list that is more suited for this kind of questions. 


On Tue, Nov 18, 2014 at 3:15 PM, Kenneth Adam Miller <kennethadammiller <at> gmail.com> wrote:
Actually, I already discovered the function that I was looking for. 

Can anybody tell me how you declare a list of a certain type in piqi?

On Tue, Nov 18, 2014 at 3:01 PM, Kenneth Adam Miller <kennethadammiller <at> gmail.com> wrote:

I have a single use case, and its complicated by my clumsiness and new relationship with ocaml. I'm not sure how to query libraries for various restrictions:

Basically, I'm writing a piqi based rpc service; the toil utility (utils/toil.ml) can be used to parse some string arguments, read a file from the name given on the command line, and then output the BIL to stdout. I want to link with it as though it were a library in order that the returned data structured can be reasoned about in other languages. 

I have all the other parts-piqi build environment, compilation, setup; all I need is a good way to find a transform that accepts a string filename and returns a type of stmt. I'm not sure who all is familiar with BAP, but I think it's worth a try to ask if anybody knows exactly what I'm looking for, or the utility to find out.


BAP: https://github.com/argp/bap




Kenneth Adam Miller | 18 Nov 21:01 2014
Picon

Using binary analysis platform library

I have a single use case, and its complicated by my clumsiness and new relationship with ocaml. I'm not sure how to query libraries for various restrictions:

Basically, I'm writing a piqi based rpc service; the toil utility (utils/toil.ml) can be used to parse some string arguments, read a file from the name given on the command line, and then output the BIL to stdout. I want to link with it as though it were a library in order that the returned data structured can be reasoned about in other languages. 

I have all the other parts-piqi build environment, compilation, setup; all I need is a good way to find a transform that accepts a string filename and returns a type of stmt. I'm not sure who all is familiar with BAP, but I think it's worth a try to ask if anybody knows exactly what I'm looking for, or the utility to find out.


BAP: https://github.com/argp/bap

Daniel Bünzli | 18 Nov 15:10 2014
Picon

[ANN] Cmdliner 0.9.6

Hello,

I'd like to announce the release of cmdliner 0.9.6 — the did you mean ? edition — which should be
available shortly in opam.

Thanks to Hugo Heuzard, this new version improves the support for parsing short options according to
POSIX; specifying tar-like -xvzf is now possible (internal parser changes, nothing needs to change in
your program). Hugo also made nice improvements to error messages, using edit distance search and other
heuristics to trick you into thinking your programs have empathy and understanding for you.

Thanks to Romain Bardou it features improved Windows behaviour regarding help paging.  

There are also a few other changes, all the details are in the release notes:

https://github.com/dbuenzli/cmdliner/blob/v0.9.6/CHANGES.md#v096-2014-11-18-la-forclaz-vs

Cmdliner is an OCaml module for the declarative definition of command line interfaces.

Home page: http://erratique.ch/software/cmdliner

Best,

Daniel

--

-- 
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
Kenneth Adam Miller | 18 Nov 06:00 2014
Picon

Go Oracle like facility for Ocaml?

If anybody knows what Go's oracle is you'll know that its a great accelerator for your time; it allows expressive and meaningful searches to be done over a source repository. It's fast and dead useful. Opengrok is much the same, but to a lesser extent (having links is nice, but not quite as powerful as oracle, I could be wrong).

Is there anything like this for OCaml?
Peter Zotov | 17 Nov 19:07 2014

[ANN] opam-query 1.0

Hello,

I'm glad to announce the release of opam-query 1.0.
It will be available in OPAM shortly.

opam-query is a tool that allows querying the OPAM package
description files from shell scripts, similar to `oasis query`.

Most interestingly, it can be used to automate releasing
OPAM packages. For example, the following Makefile snippet
allows to release packages by merely changing the `version:'
field and running `make release'. (Right now, only GitHub URLs
are supported by --archive.)

     VERSION      = $(shell opam query --version)
     NAME_VERSION = $(shell opam query --name-version)
     ARCHIVE      = $(shell opam query --archive)

     release:
       git tag -a v$(VERSION) -m "Version $(VERSION)."
       git push origin v$(VERSION)
       opam publish prepare $(NAME_VERSION) $(ARCHIVE)
       opam publish submit $(NAME_VERSION)
       rm -rf $(NAME_VERSION)

     .PHONY: release

Please see the README[1] for complete documentation.

   [1]: https://github.com/whitequark/opam-query

-- 
Peter Zotov

--

-- 
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

Announce Announcements | 16 Nov 12:50 2014

CONTEXT 2015: Preliminary Call for Papers and Call for Workshop Proposals

*** Preliminary Call for Papers and Call for Workshop Proposals ***

The 9th International and Interdisciplinary Conference on Modeling
and Using Context (CONTEXT 2015)

2–6 November 2015, Golden Bay Beach Hotel, Larnaca, Cyprus

http://cyprusconferences.org/context2015


The CONTEXT conferences are the world’s prime forum for presentation and
exchange of insights and cutting-edge results from the wide range of
disciplines concerned with context.

The main theme of CONTEXT 2015 is “Back to the roots”, focusing on the
importance of interdisciplinary cooperations and studies of the phenomenon.
Context, context modeling and context comprehension are central topics in
linguistics, philosophy, sociology, artificial intelligence, computer science,
art, law, organizational sciences, cognitive science, psychology, etc. and are
also essential for the effectiveness of modern, complex and distributed
software systems.

CONTEXT 2015 invites high-quality contributions from researchers and
practitioners in foundational studies, applications and evaluations of
modeling and use of context in all relevant fields. Areas of interest include,
but are not limited to, the role of context seen from different perspectives in:

• Agent-based architectures
• Ambient intelligence
• Cognition and perception by humans and artifacts
• Context-aware and situated systems
• Context modeling tools
• Communication and dialogue
• Data analysis and visualization
• Decision making
• Discourse comprehension and representation
• Engineering, e.g., in transport networks, industrial plants etc.
• Experimental philosophy and experimental pragmatics
• (Formal) models of context
• Human-computer interaction
• Knowledge representation
• Language acquisition and processing
• Learning, knowledge management and sharing
• Logic and reasoning
• Machine learning
• Ontology/ies
• Semantics and Pragmatics
• Smart and interactive spaces
• Understanding art, images, music and theatre

Proceedings

Accepted papers and poster abstracts will be published in a volume of the
Springer LNAI series.

Submission format

Submissions may be either full papers of up to 14 pages (in Springer LNCS
format) or poster abstracts of 4–6 pages. Full papers may be accepted as such
with oral presentation, or their authors may be invited to prepare a poster
abstract. Detailed formatting and submissions instructions will be provided.

Conference events

CONTEXT 2015 will include paper presentation sessions, a poster and
demonstration session, two days of workshops, and a doctoral consortium as
well as keynote talks and a panel discussion. Workshops and the doctoral
consortium will circulate separate calls for papers and participation, which
will also be available at the conference web site. All accepted authors will have
the option of presenting a system demonstration at the poster session.

Important dates

Full papers and posters:
• Submission deadline: June 1, 2015 
• Notification: July 13, 2015
• Final version: August 17, 2015

Workshops

CONTEXT 2015 workshops will provide a platform for presenting novel and
emerging ideas in the use and the modelling of context in a less formal and
possibly more focused way than the conference itself. The format of each
workshop is to be determined by the organisers, but it is expected that
workshops will contain ample time for general discussion and engagement by
all participants - not just those presenting papers. Workshops that foster
collaboration, discussion, group problem-solving and community-building
initiatives are particularly encouraged. Researchers and practitioners from
all relevant fields are invited to submit proposals for review.

Proposals for workshops should contain:

1. A title and brief (2-page max) description of the workshop topic and
content.
2. The desired workshop length (one day, two days or a half day) and an
estimate of the number of attendees.
3. The names, postal addresses, phone numbers, and email addresses of
the organisers, with one-paragraph statements of their research interests
and areas of expertise.
4. A list of potential members of the program committee, with an
indication of which members have already signed up.
5. A description of any shared tasks associated with the workshop.
6. A description of special requirements for technical needs.
7. An indication of whether posters are likely to be included in the
workshop program.

Please submit proposals in plain text in the body of an email to the
workshop organiser Samia Oussena (samia.oussena <at> uwl.ac.uk)
no later than March 20, 2015.

Notification of acceptance of workshop proposals will occur no later
than April 1, 2015.

Organisers of accepted workshops will be responsible for publicising and
running the workshop, including reviewing submissions and producing the
camera-ready workshop proceedings and a possibly printed version; the
conference website may link to online workshop proceedings. It is crucial
that organisers commit to all deadlines.

Workshop organisers cannot accept for publication papers that will be (or
have been) published elsewhere, although they are free to set their own
policies on simultaneous submission and review. At least one organiser of an
accepted workshop is expected attend and lead the workshop; any participant
and speaker must register for the conference. The CONTEXT 2015 organisers
will set the workshop fees, provide rooms, equipment, technical support,
coffee and lunch breaks.

Workshop timeline

• Submission of proposals: March 20, 2015
• Notification: April 1, 2015
• Submission deadline, workshop papers: August 1, 2015
• Notification for workshop papers: September 1, 2015
• Final version of workshop papers: October 1, 2015

Doctoral Consortium

TBA

Program Chairs

Henning Christiansen, Roskilde University, Denmark
Isidora Stojanovic, UPF, Spain & CNRS, France

Workshop Chair

Samia Oussena, University of West London, UK

Local Arrangements Chair

George Angelos Papadopoulos, University of Cyprus, Cyprus

General Chair

Henning Christiansen, Roskilde University, Denmark

Chairs of the Community of Context

Patrick Blackburn, Roskilde University, Denmark
Patrick Brezillon, Université Pierre et Marie Curie, France
Henning Christiansen, Roskilde University, Denmark
Richard Dapoigny, Université de Savoie, France
Thomas R. Roth-Berghofer, University of West London, UK
Hedda R. Schmidtke, Carnegie Mellon University, USA

Look for updates and more details at:
http://cyprusconferences.org/context2015
https://www.facebook.com/context.conference

--------------------------------------------------------------------
This is not SPAM. If you want to be removed from this list,
please send an email to [announce <at> cs.ucy.ac.cy] with the
single word 'remove' in the subject of the email.
Mads Jensen | 16 Nov 14:43 2014
Picon

ocamldebug and -pack

Hi,

I tried out ocamldebug on the  hello world example[1] of the ocaml-cohttp library. I configured the debugger by writing the results of `ocamlfind query -recursive core async cohttp cohttp.async` into a file and prefixed each line with `directory`. For more information see this blog post about my setup[2].

As I stepped through the code I would see errors like this:

(ocd) step
Time: 1084742 - pc: 4416712 - module Cohttp.Request
No source file for Cohttp.Request.

I chatted with whitequark on IRC and he suggests that it might be because ocamldebug doesn't support compilation units compiled with the -pack flag. Is that the case? If so, is this a bug?

Cheers,
Mads

[1] https://github.com/mirage/ocaml-cohttp/blob/master/examples/async/hello_world.ml
[2] http://mads379.github.io/ocaml/2014/11/15/ocamldebug.html

Announce Announcements | 15 Nov 12:38 2014

WETICE 2015: Last Call for Track Proposals

*** LAST CALL FOR TRACK PROPOSALS ***

24th IEEE International Conference on Enabling Technologies:
Infrastructure for Collaborative Enterprises (WETICE 2015)

15-18 June 2015, Golden Bay Beach Hotel, Larnaca, Cyprus

http://www.cyprusconferences.org/wetice2015/

DEADLINE: 21st November 2014


The IEEE International Conference on Enabling Technologies: Infrastructure for
Collaborative Enterprises (WETICE) is an international forum for the state-of
-the-art research in enabling technologies for collaboration, consisting of a
number of related conference tracks.

The conference proceedings are published by IEEE Computer Society and are
also available online through the IEEE's Xplore digital library. The proceedings
will be submitted for indexing through INSPEC, Scopus, Compendex,
Thomson Reuters, DBLP, Google Scholar and EI Index.

WETICE is based on a flexible structure of self-contained and self-managed
tracks. Over the past years WETICE hosted tracks on a variety of topics such
as adaptive computing, collaborative software processes, collaborative
modeling & simulation, service-oriented architectures and cloud computing,
autonomic green computing, collaborative verification and validation of
systems and services, dynamic network management, collaboration tools for
cultural heritage and collaborative web knowledge.

The 24th WETICE edition will be held on June 15-18, 2015 in Larnaca, Cyprus.
The conference organizing committee solicits proposals for organizing and
hosting tracks. Prospective track chairs should submit a proposal for
organizing a track, which should include at least the following items:

1) The title and the acronym for the proposed track with a description of
objectives, covered topics and the motivation for having such a track in
WETICE. The motivation should compare the proposed event to any related
ongoing tracks and why the proposed track differs from them or
complements them.

2) A short description of the activities the track chair(s) will plan to undertake
upon acceptance of the proposal, to disseminate the call-for-papers for the
track through, e.g, track web site, mailing lists, social networks, selected
contacts, etc. The track proposers should also indicate the potential audience
by estimating the number of people who are supposed to participate to
WETICE and attend the track.

3) A short CV of the prospective track chair(s) with reference to research
interests and publication record directly related to the themes of the
proposed track, and any previous experience of involvement in the
organization of similar events. A link to a personal web page with additional
information would be helpful.

4) A list of potential program committee members for the proposed track,
with name and affiliation of each member and (when available) a link to
relevant personal web pages.

All proposals will be reviewed by the WETICE Steering Committee using the
criteria described above. The Committee reserves the right to accept a
proposal as is, require modifications, recommend merging with tracks that
covers similar topics or reject a proposal. Upon acceptance of a proposal, the
track chairs will be notified of their responsibilities in managing their track,
according to what defined by both IEEE and WETICE conference rules. The
Committee reserves the rights to cancel a track at any time if these
responsibilities are not addressed adequately by the track chair(s).

Please submit your track proposal as a PDF email attachment to the WETICE
Program Chairs, Andrea D'Ambrogio (dambro <at> uniroma2.it) and Khalil Drira
(khalil <at> laas.fr).

The deadline for submitting track proposals is November 21st, 2014.

The notification of the decision taken by the Steering Committee will be sent
to the chairs of the proposed track before or on December 15th, 2014.

Please contact the Program Chairs for any additional information or request.

Andrea D'Ambrogio (dambro <at> uniroma2.it)
Khalil Drira (khalil <at> laas.fr)
WETICE 2015 Program Chairs


--------------------------------------------------------------------
This is not SPAM. If you want to be removed from this list,
please send an email to [announce <at> cs.ucy.ac.cy] with the
single word 'remove' in the subject of the email.
GRLMC | 15 Nov 17:08 2014

BigDat 2015: registration deadline 23 November

*To be removed from our mailing list, please respond to this message with
UNSUBSCRIBE in the subject line*

*****************************************************

INTERNATIONAL WINTER SCHOOL ON BIG DATA

BigDat 2015

Tarragona, Spain

January 26-30, 2015

Organized by
Rovira i Virgili University

http://grammars.grlmc.com/bigdat2015/

*****************************************************

--- 6th registration deadline: November 23, 2014 ---

*****************************************************

AIM:

BigDat 2015 is a research training event for graduates and postgraduates in
the first steps of their academic career. It aims at updating them about the
most recent developments in the fast developing area of big data, which
covers a large spectrum of current exciting research, development and
innovation with an extraordinary potential for a huge impact on scientific
discoveries, medicine, engineering, business models, and society itself.
Renowned academics and industry pioneers will lecture and share their views
with the audience.

All big data subareas will be displayed, namely: foundations,
infrastructure, management, search and mining, security and privacy, and
applications. Main challenges of analytics, management and storage of big
data will be identified through 4 keynote lectures and 23 six-hour courses,
which will tackle the most lively and promising topics. The organizers
believe outstanding speakers will attract the brightest and most motivated
students. Interaction will be a main component of the event.

ADDRESSED TO:

Graduate and postgraduates from around the world. There are no formal
pre-requisites in terms of academic degrees. However, since there will be
differences in the course levels, specific knowledge background may be
required for some of them.

BigDat 2015 is also appropriate for more senior people who want to keep
themselves updated on recent developments and future trends. They will
surely find it fruitful to listen and discuss with major researchers,
industry leaders and innovators.

REGIME:

In addition to keynotes, 3 courses will run in parallel during the whole
event. Participants will be able to freely choose the courses they will be
willing to attend as well as to move from one to another.

VENUE:

BigDat 2015 will take place in Tarragona, located 90 kms. to the south of
Barcelona. The venue will be:

Campus Catalunya
Universitat Rovira i Virgili
Av. Catalunya, 35
43002 Tarragona

KEYNOTE SPEAKERS:

Ian Foster (Argonne National Laboratory), Taming Big Data: Accelerating
Discovery via Outsourcing and Automation

Geoffrey C. Fox (Indiana University, Bloomington), Mapping Big Data
Applications to Clouds and HPC

C. Lee Giles (Pennsylvania State University, University Park), Scholarly Big
Data: Information Extraction and Data Mining

William D. Gropp (University of Illinois, Urbana-Champaign), tba

COURSES AND PROFESSORS:

Hendrik Blockeel (KU Leuven), [intermediate] Decision Trees for Big Data
Analytics

Diego Calvanese (Free University of Bozen-Bolzano),
[introductory/intermediate] End-User Access to Big Data Using Ontologies

Jiannong Cao (Hong Kong Polytechnic University), [introductory/intermediate]
Programming with Big Data

Edward Y. Chang (HTC Corporation, New Taipei City), [introductory/advanced]
Big Data Analytics: Architectures, Algorithms, and Applications

Ernesto Damiani (University of Milan), [introductory/intermediate] Process
Discovery and Predictive Decision Making from Big Data Sets and Streams

Gautam Das (University of Texas, Arlington), [intermediate/advanced] Mining
Deep Web Repositories

Maarten de Rijke (University of Amsterdam), tba

Geoffrey C. Fox (Indiana University, Bloomington), [intermediate] Using
Software Defined Systems to Address Big Data Problems

Minos Garofalakis (Technical University of Crete, Chania)
[intermediate/advanced], Querying Continuous Data Streams

Vasant G. Honavar (Pennsylvania State University, University Park)
[introductory/intermediate], Learning Predictive Models from Big Data

Mounia Lalmas (Yahoo! Research Labs, London), [introductory] Measuring User
Engagement

Tao Li (Florida International University, Miami),
[introductory/intermediate] Data Mining Techniques to Understand Textual
Data

Kwan-Liu Ma (University of California, Davis), [intermediate] Big Data
Visualization

Christoph Meinel (Hasso Plattner Institute, Potsdam),
[introductory/intermediate] New Computing Power by In-Memory and Multicore
to Tackle Big Data

Manish Parashar (Rutgers University, Piscataway), [intermediate] Big Data
Challenges in Simulation-based Science

Srinivasan Parthasarathy (Ohio State University, Columbus), [intermediate]
Scalable Data Analysis

Evaggelia Pitoura (University of Ioannina), [introductory/intermediate]
Online Social Networks

Vijay V. Raghavan (University of Louisiana, Lafayette),
[introductory/intermediate] Visual Analytics of Time-evolving Large-scale
Graphs

Pierangela Samarati (University of Milan), [intermediate], Data Security and
Privacy in the Cloud

Peter Sanders (Karlsruhe Institute of Technology),
[introductory/intermediate] Algorithm Engineering for Large Data Sets

Johan Suykens (KU Leuven), [introductory/intermediate] Fixed-size Kernel
Models for Big Data

Domenico Talia (University of Calabria, Rende), [intermediate] Scalable Data
Mining on Parallel, Distributed and Cloud Computing Systems

Jieping Ye (Arizona State University, Tempe), [introductory/advanced]
Large-Scale Sparse Learning and Low Rank Modeling

ORGANIZING COMMITTEE:

Adrian Horia Dediu (Tarragona)
Carlos Martín-Vide (Tarragona, chair)
Florentina Lilica Voicu (Tarragona)

REGISTRATION:

It has to be done at

http://grammars.grlmc.com/bigdat2015/registration.php

The selection of up to 8 courses requested in the registration template is
only tentative and non-binding. For the sake of organization, it will be
helpful to have an approximation of the respective demand for each course.

Since the capacity of the venue is limited, registration requests will be
processed on a first come first served basis. The registration period will
be closed and the on-line registration facility disabled when the capacity
of the venue will be complete. It is much recommended to register prior to
the event.

FEES:

As far as possible, participants are expected to stay full-time. Fees are a
flat rate covering the attendance to all courses during the week. There are
several early registration deadlines. Fees depend on the registration
deadline.

ACCOMMODATION:

Suggestions of accommodation are available on the webpage.

CERTIFICATE:

Participants will be delivered a certificate of attendance.

QUESTIONS AND FURTHER INFORMATION:

florentinalilica.voicu <at> urv.cat

POSTAL ADDRESS:

BigDat 2015
Lilica Voicu
Rovira i Virgili University
Av. Catalunya, 35
43002 Tarragona, Spain

Phone: +34 977 559 543
Fax: +34 977 558 386

ACKNOWLEDGEMENTS:

Universitat Rovira i Virgili

---
Este mensaje no contiene virus ni malware porque la protección de avast! Antivirus está activa.
http://www.avast.com

--

-- 
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-request | 15 Nov 09:42 2014
Picon
Picon

Reminder of your subscription to caml-list

Your are subscriber of list caml-list <at> inria.fr with  email gclci-caml-
list <at> gmane.org

Everything about this list: http://sympa.inria.fr/sympa/info/caml-list

Unsubscription:
mailto:sympa_inria <at> inria.fr?subject=sig%20caml-list%20gclci-caml-list%40gmane.org

John F. Carr | 14 Nov 23:05 2014
Picon

Trace module load in toplevel?


Some modules I'm loading are not visible in the toplevel after #load
of the .cmo (or .cma) files defining them.  Is there any way to

1. Have the toplevel tell me what modules are being defined during #load,

2. Dump the list of all top level module bindings,

or

3. Find out what modules the top level would define after loading a file?

I thought ocamlobjinfo would be the answer to (3), but it is not.

--

-- 
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


Gmane