http://blog.gmane.org/gmane.comp.lang.concurrency.pop.user hourly 1 1901-01-01T00:00+00:00 http://gmane.org/img/gmane-25t.png http://gmane.org http://comments.gmane.org/gmane.comp.lang.concurrency.pop.user/47 <pre> 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, </pre> Fred Barnes 2012-03-06T17:43:51 http://comments.gmane.org/gmane.comp.lang.concurrency.pop.user/46 <pre> 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 </pre> Fred Barnes 2011-07-18T16:01:03 http://comments.gmane.org/gmane.comp.lang.concurrency.pop.user/45 <pre>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-snw4NNm4RhuGOBePZluPAvXRex20P6io&lt; at &gt;public.gmane.org [mailto:sicsa-cse-semantics-bounces-snw4NNm4RhuGOBePZluPAvXRex20P6io&lt; at &gt;public.gmane.org] On Behalf Of Jeremy Singer Sent: 13 June 2011 18:54 To: sicsa-cse-semantics-snw4NNm4RhuGOBePZluPAvXRex20P6io&lt; at &gt;public.gmane.org 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-snw4NNm4RhuGOBePZluPAvXRex20P6io&lt; at &gt;public.gmane.org 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 proud winner of the Queen's Anniversary Prize for Higher and Further Education 2009, awarded for innovative housing construction for environmental benefit and quality of life. This message is intended for the addressee(s) only and should not be read, copied or disclosed to anyone else outwith the University without the permission of the sender. It is your responsibility to ensure that this message and any attachments are scanned for viruses or other defects. Edinburgh Napier University does not accept liability for any loss or damage which may result from this email or any attachment, or for errors or omissions arising after it was sent. Email is not a secure medium. Email entering the University's system is subject to routine monitoring and filtering by the University. Edinburgh Napier University is a registered Scottish charity. Registration number SC018373 </pre> Chalmers, Kevin 2011-06-14T12:43:08 http://comments.gmane.org/gmane.comp.lang.concurrency.pop.user/44 <pre> 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 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 booking accommodation (EURO 52 per night, on-campus appartment rooms ensuite with shower and toilet, includes breakfast), please visit: http://www.wotug.org/cpa2011/registration.shtml This page also gives details for applying for WoTUG Student Bursaries (GBP 100) to support attendance by students not in receipt of full-time salaries. Registration and accommodation fees cover all meals (including the conference dinner and two evening receptions) apart from two light meals advised before attending the receptions (where there will be 'finger-food' only, but very tasty!), entry to CPA sessions and one copy of the CPA 2011 proceedings (383 pages). We are very pleased this year to welcome Gavin Lowe, Professor of Computer Science at the University of Oxford Computing Laboratory, as our Keynote speaker. His research over the past two decades has made significant contributions to the field of concurrency, with special emphasis on CSP and the formal modelling of computer security. His paper addresses a long-standing and crucial issue for this community: the verified implementation of CSP external choice, with no restrictions. The accepted papers contain the results from rich seams of research covering many of the key issues in modern computer science, which all seem to concern concurrency in one form or another these days. There are papers on concurrency models and their theory, concurrency pragmatics (the effective use of multicores), language ideas and implementation (for mobile processes, generalised forms of choice), tools to assist verification and performance, applications (large scale simulation, robotics, web servers), benchmarks (for scientific and distributed computing) and, perhaps most importantly, education. They reflect the increasing relevance of concurrency both to express and manage complex problems as well as to exploit readily available parallel hardware. An important feature of CPA conferences are the evening Fringe sessions. This year, because of the evening receptions and dinners, they will be scheduled during the main conference sessions. These sessions are very informal, highly interactive, and sometimes slightly controversial. Any conference delegate is invited to give a Fringe presentation on any topic that they think may be of interest to the conference. A Fringe presentation may last 5-15 minutes. Details of how to offer Fringe talks are on: http://www.wotug.org/cpa2011/fringe.shtml Many thanks and we hope to see you in Limerick, Peter Welch (on behalf of the CPA 2011 Editorial Board). </pre> P.H.Welch 2011-06-13T15:07:52 http://comments.gmane.org/gmane.comp.lang.concurrency.pop.user/42 <pre> 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 booking accommodation (EURO 52 per night, on-campus appartment rooms ensuite with shower and toilet, includes breakfast), please visit: http://www.wotug.org/cpa2009/registration.shtml This page also gives details for applying for WoTUG Student Bursaries (GBP 100) to support attendance by students not in receipt of full-time salaries. Registration and accommodation fees cover all meals (including the conference dinner and two evening receptions) apart from two light meals advised before attending the receptions (where there will be 'finger-food' only, but very tasty!), entry to CPA sessions and one copy of the CPA 2011 proceedings (383 pages). We are very pleased this year to welcome Gavin Lowe, Professor of Computer Science at the University of Oxford Computing Laboratory, as our Keynote speaker. His research over the past two decades has made significant contributions to the field of concurrency, with special emphasis on CSP and the formal modelling of computer security. His paper addresses a long-standing and crucial issue for this community: the verified implementation of CSP external choice, with no restrictions. The accepted papers contain the results from rich seams of research covering many of the key issues in modern computer science, which all seem to concern concurrency in one form or another these days. There are papers on concurrency models and their theory, concurrency pragmatics (the effective use of multicores), language ideas and implementation (for mobile processes, generalised forms of choice), tools to assist verification and performance, applications (large scale simulation, robotics, web servers), benchmarks (for scientific and distributed computing) and, perhaps most importantly, education. They reflect the increasing relevance of concurrency both to express and manage complex problems as well as to exploit readily available parallel hardware. An important feature of CPA conferences are the evening Fringe sessions. This year, because of the evening receptions and dinners, they will be scheduled during the main conference sessions. These sessions are very informal, highly interactive, and sometimes slightly controversial. Any conference delegate is invited to give a Fringe presentation on any topic that they think may be of interest to the conference. A Fringe presentation may last 5-15 minutes. Details of how to offer Fringe talks are on: http://www.wotug.org/cpa2011/fringe.shtml Many thanks and we hope to see you in Limerick, Peter Welch (on behalf of the CPA 2011 Editorial Board). </pre> P.H.Welch 2011-05-17T17:18:40 http://comments.gmane.org/gmane.comp.lang.concurrency.pop.user/40 <pre>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 </pre> Teodor Ghetiu 2010-10-26T14:47:15 http://comments.gmane.org/gmane.comp.lang.concurrency.pop.user/24 <pre>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? </pre> Russel Winder 2010-07-05T18:58:01 http://comments.gmane.org/gmane.comp.lang.concurrency.pop.user/23 <pre>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. </pre> Sachin Desai 2010-03-03T17:51:13 http://comments.gmane.org/gmane.comp.lang.concurrency.pop.user/22 <pre> Hi all, Research Assistant and PhD studentship in concurrent garbage collection ======================================================================= The School of Computing at the University of Kent at Canterbury is looking for a Research Assistant and a PhD student to work in the area of concurrent garbage collection under the supervision of Richard Jones and Fred Barnes on the EPSRC-funded project: MirrorGC: Garbage Collection for Multicore Systems The aim of the project is to explore how we can exploit hardware parallelism on current and emerging platforms, paying particular attention to locality. Candidates for the Research Assistant post should have experience of designing and implementing concurrent algorithms, knowledge of modern garbage collection techniques, and experience of working with large open source systems such as JikesRVM. Applicants for the PhD studentship should have a very good degree in computer science or a related subject, and a strong interest in programming languages and their implementation. Good Java programming skills, and knowledge of concurrent systems and/or garbage collection would be an advantage. The PhD studentship covers both fees and maintenance. Further details including application procedures can be found at: http://www.cs.kent.ac.uk/projects/gc/mirrorgc/ Cheers, </pre> Fred Barnes 2010-01-18T11:55:38 http://comments.gmane.org/gmane.comp.lang.concurrency.pop.user/20 <pre>Hi all, Last week, we merged most of this summer's development work into the stable branch of KRoC; those of you who're using KRoC will probably want to upgrade. There's a blog post listing the new features here: http://blogs.kent.ac.uk/crg-group/2009/11/new-features-in-kroc-2/ Thanks, </pre> Adam Sampson 2009-11-17T13:44:32 http://comments.gmane.org/gmane.comp.lang.concurrency.pop.user/19 <pre> ******** UPCOMING DEADLINE ********* CALL FOR PAPERS Symposium on Theory of Modeling and Simulation (DEVS 2010) April 12-15 2010. Florida Mall Hotel and Conference Center. Orlando, FL. http://www.sce.carleton.ca/faculty/wainer/DEVS10 Sponsored by The Society for Modeling and Simulation International in cooperation with ACM/SIGSIM The purpose of this symposium is to provide a forum to discuss most recent advancements in Theory of Modeling and Simulation. The main focus is on theory of modeling, methodology, practice and toolkits, as well as lessons learned and challenges. The Symposium will focus on bridging different areas in the Theory of Modeling and Simulation, including formal modeling, model-checking, graph transformation, modeling methodologies and tools. All papers will be included in the conference proceedings and archived in the the ACM Digital Library; Full Papers will be also printed in hard copy. Important Dates =============== Full Paper Submission: 21 Nov 2009 Notification: 21 Dec 2009 Final Paper: Jan 25 2010 Main conference: 11-15 Apr 2010 Submission Procedures ===================== The conference committee will accept three types of papers submitted to the conference website (http://www.softconf.com/scs/DEVS10/). DEVS AWARD ========== This year, the Symposium will hold the First Bernard P. Zeigler DEVS M&amp;S Award, to recognize high-impact innovations in M&amp;S methods, applications and tools (sponsored by RTSync - Chair: Doohwan Kim). DEVS 2010 Organizing committee ============================== General Chair: Gabriel A. Wainer, Carleton University, Canada Program Chair: Mamadou K. Traoré, Université Blaise Pascal, Clermont-Ferrand, France Advisory Board Bernard P. Zeigler (FIEEE, FSCS, LAA-SCS), University of Arizona, USA (Chair) Christos Cassandras (FIEEE, FIFAC), Boston University, USA François Cellier (FSCS), ETH Zürich, Switzerland Mo Jamshidi (FIEEE, FASME, FAAAS), University of Texas at San Antonio, USA Kishor Trivedi (FIEEE, GCM IEEE CS), Duke University, USA Further information in the Conference website ============================================= http://www.sce.carleton.ca/faculty/wainer/DEVS10 Apologies for cross-posting. </pre> vsim-conf-zY19f67jTguUIZwRiZtBUQ< at >public.gmane.org 2009-11-16T03:24:54 http://comments.gmane.org/gmane.comp.lang.concurrency.pop.user/18 <pre>Hi, I have made the LLVM branch of KRoC build and mostly work on Snow Leopard (as a 32-bit binary). Installation instructions: http://projects.cs.kent.ac.uk/projects/kroc/trac/wiki/SnowLeopard Likewise, small tweaks to libtvm and the POSIX wrapper in trunk should allow the TVM to be similarly built (if it doesn't already). Cheers, Carl </pre> Carl Ritson 2009-10-20T22:46:27 http://comments.gmane.org/gmane.comp.lang.concurrency.pop.user/16 <pre> Dear Potential Delegates, This is nearly the final call for delegates to CPA 2009. The conference programme, including abstracts for all accepted papers, is available on the CPA 2009 website: http://www.wotug.org/cpa2009/programme.shtml This year, we are very pleased to welcome Professor Michael Goldsmith from the e-Security Group, WMG Digital Laboratory, University of Warwick, as the Keynote Speaker. Michael, in his role in Formal Systems (Europe) Ltd, is one of the main pioneers and developers of the FDR model checker for Tony Hoare's CSP. His paper is titled: Beyond Mobility - What Next After CSP/pi? CPA 2009 is one of many events in Formal Methods Week, Eindhoven, the Netherlands, 1-4 November, 2009. The registration page starts is linked from the Formal Methods Week home page: http://www.win.tue.nl/fmweek/ The Normal Registration Fee ends 19th. October: 415 Euros. After this, I'm afraid it increases to 465 Euros. WoTUG is sponsoring a number of bursaries (of 100 GBP) - details are at: http://www.wotug.org/cpa2009/registration.shtml Note: the CPA registration fee covers all meals, including dinners (Sunday/Monday) and the Conference Dinner (Tuesday), proceedings and fringe sessions (Sunday/Monday evenings). The Fringe sessions will be at the Sandton Hotel - the Sunday/Monday dinners will be at a restaurant adjacent to the Sandton, just before the Fringe sessions. The Sandton appears fully booked. We suggest booking the Eden Court Hotel (through the FMWeek Registration procedure), which is placed conveniently half-way between the Sandton (for the evening Fringe and dinners) and TU/Eindhoven (for the main conference and rest of FM Week). Note: the CPA registration fee does *not* cover your hotel bill! The FM Week registration system will book you into the your hotel, but that's all. A special price is given via the FM Week system. Final note: the FM Week systems lets you pay for CPA registration (plus a mandated FM Week registration of around 35 Euros) either by Visa or by invoicing your company/university or by direct payment by yourself into their bank account. If possible, please do *not* choose the Visa payment method as we lose 4.5% of that money through bank charges! Many thanks, Peter Welch. </pre> P.H.Welch 2009-10-14T18:57:00 http://comments.gmane.org/gmane.comp.lang.concurrency.pop.user/14 <pre> Hi, The provisional programme of papers is now available on the CPA 2009 website: http://www.wotug.org/cpa2009/programme.shtml This is a call for delegates, :). The conference is one of the events in Formal Methods Week, Eindhoven, the Netherlands, 1-4 November, 2009. The registration page starts from: http://www.wotug.org/cpa2009/registration.shtml Note: actual registration is handled through the Formal Methods Week pages (linked from the above). The Early Registration deadline is the 14th. September. Note: the CPA registration fee covers all meals, including dinners (Sunday/Monday) and the Conference Dinner (Tuesday), proceedings and fringe sessions (Sunday/Monday evenings). The Fringe sessions will be at the Sandton Hotel - the Sunday/Monday dinners will be at a restaurant adjacent to the Sandton, just before the Fringe sessions. It is suggested that you book into the Sandton. Note: the CPA registration fee does *not* cover your hotel bill! The FM Week registration system will book you into the your hotel, but that's all. A special price is given via the FM Week system. However, you may find a better deal going directly to the Sandton, following the link on our registration page above (note: contact details for the Sandton only seem to appear if you choose the Dutch language pages!). Final note: the FM Week systems lets you pay for CPA registration (plus a mandated FM Week registration of around 35 Euros) either by Visa or by invoicing your company/university or by direct payment by yourself into their bank account. If possible, please do *not* choose the Visa payment method as we lose 4.5% of that money through bank charges! Many thanks, Peter Welch. </pre> P.H.Welch 2009-08-28T11:41:27 http://comments.gmane.org/gmane.comp.lang.concurrency.pop.user/11 <pre>Hi, I've added Generics support to net2, along with Connections to add to the plain Channels which are already generic. So, you can now ask the CNS for a typed channel, or assemble your own networks without the CNS. HOWEVER! There are a couple of gotchyas for networked channels right now. If you create a one2net of type String and a net2one of type Integer, for example, the CNS will *not* complain. Ditto if you assemble your own network. Once you try and send a message, on the receiving end you will get a ClassCastException. This isn't terribly nice... I have been looking at ways to make this a bit cleaner and get the CNS to send an error back to the second party that creates a channel (of the wrong type), but it seems thanks to Java's generics using type-erasure, getting at the type of a Channel at run-time is not easy. If anybody has any bright ideas about how to solve this I'd love to hear them! You can check out the latest release of JCSP using svn: svn co http://projects.cs.kent.ac.uk/projects/jcsp/svn/jcsp/trunk/ Thanks, Tom ps. Here's a quick example using the CNS: import java.io.*; import org.jcsp.net2.*; import org.jcsp.net2.cns.*; import org.jcsp.net2.tcpip.*; public class CNSServer { public static void main (String[] args) throws Exception { TCPIPNodeAddress addr = new TCPIPNodeAddress ("127.0.1.1", 6544); Node.getInstance ().init (addr); TCPIPNodeAddress nsAddr = new TCPIPNodeAddress ("127.0.1.1", 7890); CNS.initialise (nsAddr); NetChannelOutput&lt;String&gt; out = CNS.one2net ("channelIn"); while (true) { out.write ("Hello Networked Typesafe CNS World!"); } } } public class CNSClient { public static void main (String[] args) throws Exception { TCPIPNodeAddress addr = new TCPIPNodeAddress ("127.0.1.1", 6543); Node.getInstance ().init (addr); TCPIPNodeAddress nsAddr = new TCPIPNodeAddress ("127.0.1.1", 7890); CNS.initialise (nsAddr); NetChannelInput&lt;String&gt; in = CNS.net2one ("channelIn"); while (true) { System.out.println (in.read ()); } } } </pre> T.P.Carlson 2009-08-11T18:50:31 Search the mailing list at Gmane query http://search.gmane.org/?group=$group=gmane.comp.lang.concurrency.pop.user