ParaSail now on GitHub
Thanks to my colleague Olivier Henley, the full sources of ParaSail (and more) are now on GitHub: https://github.com/parasail-lang/parasailThere is a discussion forum there for asking questions...
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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 Article