Occblocks: visual design + development of occam-pi programs (alpha testers wanted!)

Hi all,

One of my final-year project students has been working on a visual design tool (IDE)
for occam-pi programs.  It's now moderately [1] functional and ready to be broken by
the masses!  If you (or indeed, your students) fancy having a go, you can find
instructions, links for download and a follow-up survey here:

    http://projects.cs.kent.ac.uk/projects/co620_occblocks/trac/wiki/FeedbackSurvey

[1] it works enough to get a feeling for what a complete system/interface could do;
documentation is somewhat limited, but we're just trying to get an impression of what
people think of the general idea/interface/approach.

Cheers,

-- Fred (and Steven)

Disclaimer: the feedback survey hasn't been scrutinised by an ethics committee.
We're also happy to take feedback the old-fashioned way by reply email (or
flames) :).

Job opportunity -- concurrent embedded systems developer

Dear all,

There is an opportunity for a 2-year KTP (Knowledge Transfer Partnership)
associate position working in the areas of concurrency and embedded systems,
specifically to develop Erlang runtimes, libraries and development tools for
ARM (and potentially other) based embedded systems.  Closing date for
applications is the 25th July.  Details here:

    http://tinyurl.com/ktp2486

Please feel free to pass this on to anyone whom you think might be interested.
The employer is the University of Kent, but the job will be based primarily in
London.  Salary up to 29k, with extra top-up available for exceptional
candidates.

Cheers,
  Fred

--

-- 
Dr. Fred Barnes, Lecturer in Computer Science.    F.R.M.Barnes@...
University of Kent, CT2 7NF.  UK.  +44 (0)1227 824278    http://frmb.org/
http://www.cs.kent.ac.uk/~frmb/

FW: Economist article

An article in the Economist discussing multicore, etc.  Doesn't really say much that we do not already know,
but interesting to see it discussed at a wider level.

Kevin

-----Original Message-----
From: sicsa-cse-semantics-bounces@...
[mailto:sicsa-cse-semantics-bounces@...] On
Behalf Of Jeremy Singer
Sent: 13 June 2011 18:54
To: sicsa-cse-semantics@...
Subject: [SICSA-CSE-semantics] Economist article

Hi all,
Here is a link to an article about multicore. It's interesting to think how the parallel programming
problem is becoming mainstream. Fancy the Economist running an article about Haskell!?

http://www.economist.com/node/18750706?frsc=dg%7Ca

Cheers,
Jeremy

The University of Glasgow, charity number SC004401

_______________________________________________
SICSA-CSE-semantics mailing list
SICSA-CSE-semantics@...
https://list-serve.hw.ac.uk/mailman/listinfo/sicsa-cse-semantics

Edinburgh Napier University is Edinburgh's top university for graduate employability (HESA 2010), and

CPA 2011: Final Programme and Call for Delegates

Dear Delegates and Potential Delegates,

The final programme and joining instructions for CPA 2011 are available at:

  http://www.wotug.org/cpa2011/programme.shtml

The original call for delegates is copied below.

If you haven't yet decided to come, it's not too late!  All with interests
in concurrency and computer science (and, these days, that means all with
interests in computer science) will find stimulating, interesting and
exciting presentations and papers and lots of opportunity to talk with
each other.  We'd love to see you in Limerick!

Many thanks,

Peter Welch.

========================================================================
Communicating Process Architectures 2011 (19-22 June, Limerick, Ireland)
  - Programme announced
  - Call for Delegates                         ***********************
  - Student Bursaries                          *  wotug.org/cpa2011  *
  - Keynote Presentation                       ***********************
  - Summary of themes from Accepted Papers
  - Call for Fringe Presentations
========================================================================

Communicating Process Architectures (CPA) 2011 takes place at the

CPA 2011 (19-22 June, Limerick) Programme and Call for Delegates

Dear Potential Delegates,

========================================================================
Communicating Process Architectures 2011 (19-22 June, Limerick, Ireland)
  - Programme announced
  - Call for Delegates                         ***********************
  - Student Bursaries                          *  wotug.org/cpa2011  *
  - Keynote Presentation                       ***********************
  - Summary of themes from Accepted Papers
  - Call for Fringe Presentations
========================================================================

Communicating Process Architectures (CPA) 2011 takes place at the
University of Limerick, Ireland, 19-22 June, 2011.  CPA themes are
concurrency at all levels of software and hardware granularity: its
ambitions are to present and stimulate discussion on the latest research
and development in concurrency theory, practice, education and application.

This year, CPA is hosted by Lero, the Irish Software Engineering Research
Centre, and co-located with FM 2011 (the 17th International Symposium
on Formal Methods), SEW-34 (the 34th Annual IEEE Software Engineering
Workshop) and several specialist workshops and tutorials.

The provisional programme schedule - complete with all paper titles,
authors and abstracts - is now available on the CPA 2011 website:

  http://www.wotug.org/cpa2011/programme.shtml

This is the *CALL FOR DELEGATES*, :).  For registration (US$ 460) and

occam-pi: MOBILE.ANY and resizing bidimensional arrays

Hello

Could anyone please spell out how MOBILE.ANY works and especially 
RESIZE.MOBILE.ARRAY.1D?

I wanted to create a PROC RESIZE.MOBILE.ARRAY.2D from scratch, but 
instantiating  MOBILE.ANY is not possible (and supporting documentation 
is equally hard to find). Or course, problem solved by using 
RESIZE.MOBILE.ARRAY.1D, but still the mystery remains :).

Thanks,
Teodor

Re: Regarding Occam Program

Re: RE: Occam Language

RE: Occam Language

Hi, I need some help in writing programs in Occam Language.

KRoC and processors (plural)

Hi,

I just used Bazaar to get a branch of the KRoC Trunk, got it compiled up
(*) and installed, and have my first two occam programs in (many, many)
years running successfully. However . . .  despite using PAR (apparently
correctly) the code only ever uses one of the eight processors on my
workstation (it's a twin Xeon running Linux which presents the two sets
of four cores as eight separate processors).  I am guessing that the
occam processes are not being "animated" by Linux kernel threads but by
a single kernel thread.

Is there a way of getting real parallelism with KRoC?

Thanks.

(*)  I see there is the beginnings of a SCons build to replace the
Autotools build. Is this on the critical path or is the Autotools build
the de facto standard for the foreseeable future?

--

-- 
Russel.
=============================================================================
Dr Russel Winder      t: +44 20 7585 2200   voip: sip:russel.winder <at> ekiga.net
41 Buckmaster Road    m: +44 7770 465 077   xmpp: russel@...
London SW11 1EN, UK   w: www.russel.org.uk  skype: russel_winder

KRoC for Snow Leopard

Are there any plans on providing CIF support in KRoC for Snow Leopard. I'm using llvm from the branch and the
lack of CIF support is noted in the Caveats section at the bottom. 

	http://projects.cs.kent.ac.uk/projects/kroc/trac/wiki/SnowLeopard 

It seems that my code which ran on Leopard no longer functions in Snow Leopard. 

Any alternatives?

Thanks.

-- Sachin.