Author Archives: austin

KIND Candy Coat

Leave a reply

I’m still working on KIND, however, I am now developing a Java based GUI that acts as a wrapper for the existing OCaml based tool. This GUI will be a persistent wrapper that allows the user to avoid interacting with the command line interface, as KIND executes. As I progress through development I’ll post screenshots of the GUI and compare it to its command line counterpart.

At the moment I’m researching the best way to integrate a Java GUI and an OCaml project. I’m debating between using a tool that converts OCaml source to Java source or serializing data and transmitting it between two processes.

This semester my job amounts to making all interactions with KIND easier and more convenient. Hence all of the GUI development!

Where are those installers?

Leave a reply

Last week I spent a couple of days looking for an open source cross-platform installer that can dynamically download data (dependencies) from the web. I couldn’t find anything that suited my needs. 🙁 Subsequently, I’m creating an installer from scratch for KIND, an automatic verification tool for Lustre programs.

It’s a fun project, but I’m stuck using Java. I’m not a huge fan of Java when a GUI is required. I’m creating a GUI based installer. Thankfully, the NetBeans IDE supports drag and drop GUI development but looking at the auto-generated code-behind, which is mixed with developer code, looks horrible – it’s esoteric and verbose!

College Grad

Leave a reply

I’m proud to say that I graduated from The University of Iowa, with honors! The last four years went by quickly and they were a blast. I met a lot of amazing people and experienced things that I wouldn’t give up for the world. I will return to my alma mater in the Fall wrap up my Master’s track. As much as a loved school, I look forward to moving into the workforce.

The Computer Science Program at Iowa doesn’t have the biggest name for itself but it does have a lot of worthwhile challenges for even the most talented students.