WJUG June 2014: Whiley Update

Skip to first unread message

John Hurst

Jun 4, 2014, 4:49:10 AM6/4/14
to wellington-jug...@googlegroups.com, nzj...@yahoogroups.com

I am pleased to announce the Wellington Java User Group meeting for June 2014. 

Whiley Update

Wednesday, June 11: 5:00 for 5:15 - 6:30pm

Whiley is a new programming language being developed at Victoria University of Wellington, New Zealand (see http://whiley.org). Whiley is designed specifically to allow detailed invariants over program code to be written and then checked automatically. These invariants are logical conditions (similar to assertions) which are expressed over data structures, or in the form of pre- and post-conditions. The key difference from runtime assertions, however, is that invariants in Whiley are checked at compile-time --- meaning failures are found much earlier in the development cycle.

Despite being a primarily functional language, Whiley retains a distinctly imperative syntax with the look and feel of a dynamic language (i.e. Python). Whiley currently compiles to the JVM and is fully inter-operable with Java. The Whiley project has been running since 2009 and, in this talk, I will discuss its current status and reflect on lessons learned managing a large open-source code base.


David Pearce (@whileydave) graduated with a PhD from Imperial College London in 2005, and took up a lecturer position at Victoria University of Wellington, NZ. David's PhD thesis was on efficient algorithms for pointer analysis of C, and his techniques have since been incorporated into GCC. His interests are in programming languages, compilers and static analysis. 

Since 2009, he has been developing the Whiley Programming Language (whiley.org) which is designed specifically to simplify program verification. Prior to that, David developed the Java Compiler Kit (JKit), which is an open source Java Compiler aimed at simplifying static analysis. 

David has previously interned at Bell Labs, New Jersey, where he worked on compilers for FPGAs; and also at IBM Hursely, UK, where he worked with the AspectJ development team on profiling systems. You find out more about David's work on his personal homepage: http://www.ecs.vuw.ac.nz/~djp/


Level 6
NEC House
corner Taranaki and Manners Streets

The Java User Group thanks our host!

Please extend an invitation to attend to any interested friends or colleagues. As usual, there is no cost involved!

John Hurst
Life is interfering with my game

John Hurst

Jun 10, 2014, 5:54:24 PM6/10/14
to wellington-jug...@googlegroups.com, nzj...@yahoogroups.com

A reminder for the Wellington Java User Group meeting for June 2014.
Reply all
Reply to author
0 new messages