The ParaSail "import" clause -- library level visibility
We have postponed implementing the "import" clause for ParaSail until just recently. That may seem somewhat surprising. Up until now, any ParaSail module could refer to any other ParaSail module,...
View ArticleParaSailing without a (garbage) chute
Here is a video of a presentation on ParaSail given at Mozilla Research in Mountain View, CA a couple of weeks ago, to the folks who are developing the Rust...
View ArticleClik here to view.
Systems Programming with Go, Rust, and ParaSail
Here is a paper that goes with the talk I am giving this coming Tuesday, April 23 at the DESIGN West, aka Embedded Systems Conference, in San Jose, on a comparison between Go, Rust, and ParaSail.If you...
View ArticleParaSail web site now available
We now have a (non-blog) web site for ParaSail: http://www.parasail-lang.orgWe will use this in the future as the official starting point for reaching resources for ParaSail, and in particular,...
View ArticleRevision 4.7 of ParaSail alpha release now available
We are pleased to release alpha revision 4.7 of the ParaSail compiler and virtual machine, available at the same URL:http://bit.ly/Mx9DRb This release includes a large number of bug fixes, plus the...
View ArticleParallelizing Python and Java
Designing and implementing ParaSail has been a fascinating process. Achieving parallelism and safety at the same time by eliminating rather than adding features has worked out better than we...
View ArticleTech talk and Tutorial at SPLASH 2013 on parallel programming
I gave an 80-minute "tech talk" and a 3-hour tutorial on parallel programming last week at SPLASH 2013 in Indianapolis. The audiences were modest but enthusiastic. The tech talk was entitled: Living...
View ArticleUsing ParaSail as a Modeling Language for Distributed Systems
The ACM HILT 2013 conference just completed in Pittsburgh, and we had some great tutorials, keynotes, and sessions on model-based engineering, as well as on formal methods applied to both modeling and...
View ArticleFirst release of Javallel, Parython; new release 5.1 of ParaSail and Sparkel
The ParaSail family of languages is growing, with two more additions now available for experimentation. We have made a new release 5.1 which includes all four members of the family -- ParaSail itself,...
View ArticleConcurrency vs. Parallelism
Over the past few years there seems to have been an increasing number of discussions of the difference between concurrency and parallelism. These discussions didn't seem very convincing at first, but...
View ArticleWorklist Algorithms and Parallel Iterators
ParaSail has some very general parallel iterator constructs. One of the more unusual involves the use of a continue statement to initiate a new iteration of an outer loop statement, as illustrated in...
View ArticleParaSail Work Stealing speeds up
We are now releasing revision 5.2 of the ParaSail compiler and interpreter, which incorporates a new implementation of work stealing. Links to both binaries and sources can be found at:...
View ArticleA simple and useful iterator pattern in ParaSail
ParaSail has three basic iterator formats, with some sub-formats (unbolded "[ ... ]" indicate optional parts, unbolded "|" indicate alternatives, bold indicates reserved words or symbols that are part...
View ArticleFrom an Interpreter to a Compiler
My name is Justin Hendrick and I'm an intern working on ParaSail for the summer. My first task is code generation.Up until now, ParaSail has been interpreted. We’re proud to announce that we’ve begun...
View ArticleLinkers and Types and Built-ins! Oh, my!
Hello, It's Justin again. See the previous blog post for a bit of context. (Hint: we're building the compiler)Linking to the Built-insThe interpreter has a library of functions it uses to evaluate...
View ArticleProgress Update
BootstrappingThe compiler is now able to compile many ParaSail programs and most of the ParaSail Standard Library. It's probably easier to just list the things we know it can't do yet:functions as...
View ArticleExpanded paper on ParaSail pointer-free parallelism
Here is a PDF for a recent paper describing in more depth ParaSail's pointer-free approach to parallelism: http://bit.ly/ps15pfpHere is the abstract from the paper:ParaSail is a language specifically...
View ArticleCompiling ParaSail to LLVM, first in a series...
We now have an LLVM-based compiler for ParaSail, thanks to great work this past summer by Justin Hendrick, a summer intern from Cornell. To download the latest source release for both the ParaSail...
View ArticleParaSail source release 6.5 now available.
We have just made a release of the ParaSail interpreter, VM, and compiler. This is version 6.5, and is mostly a bug-fix release relative to 6.3. We are working on a static analyzer and optimizer for...
View ArticleRelease 7.0 of ParaSail interpreter, VM, and compiler -- sources plus...
We have just made a release of the ParaSail interpreter, VM, llvm-based compiler, and ParaScope static analysis tool (aka "static catcher of programming errors"). This is version 7.0. It includes a...
View ArticleRelease 8.0 of ParaSail Interpreter, Compiler, and Debugger
Finally, at long last a new release of ParaSail. This new release incorporates an interactive debugger that is automatically invoked when the interpreter encounters an assertion, precondition, or...
View ArticleString interpolation comes to ParaSail 8.0
ParaSail supports generic functions where the type of the parameter is determined at the point of call. The most common use of this capability is with the string concatenation operator "|": interface...
View ArticleParaSail Published in Programming Journal Vol. 3, Issue 3
We very recently had a long paper on ParaSail published in the relatively new Journal of the Art, Science, and Engineering of Programming (http://programming-journal.org). This is an interesting...
View ArticleRelease 8.4 of ParaSail Interpreter, Compiler, and Debugger
We are happy to announce a new release of ParaSail. This new release incorporates an enhanced interactive debugger that is automatically invoked when the interpreter encounters an assertion,...
View ArticleA new blog on the Design and Engineering of Programming Languages
I am happy to announce a new blog about the Design and Engineering of Programming Languages. Only two entries so far. Here is the first:...
View Article