Quantcast
Channel: Designing ParaSail, a new programming language
Browsing index pages (49 articles)

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 Article


A 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


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

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

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


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

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

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


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


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

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

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

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


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

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


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

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


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

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

Tech 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
Browsing index pages (49 articles)


Latest Images