Julia Srl - software verification made easy

	21/02/2012	- Julia present at Embedded World 2012
	We will be present at the Embedded World 2012 fair in Nuremberg, Germany, from the 28th to the 29th of February. For more information on this event, see http://www.embedded-world.de/en/

	14/02/2012	- Julia compared with other verification tools for Android
	We thank Victor Derevyanko for his comparison of many tools for verification of Android programs, including Julia. His comments have been very important to improve our analyzer. See (in Russian) http://derevyanko.blogspot.com/2012/01/android.html

	14/02/2012	- New version of the analyzer
	The latest release of the analyzer has been installed today. It features more analyses, better precision and large improvements wrt the cost in time and memory of the analyses. The verification techniques for Android have been largely improved.

	26/10/2011	- Julia shortlisted among the first 9 best projects for the Telecom Working Capital competition
	Our company has been selected as one of the best 9 innovative projects in the area of Information and Telecommunication Technology, during the Working Capital competition managed by Telecom Italia with a board from leading venture capital firms (http://www.workingcapital.telecomitalia.it). The selection has been rough, since 2139 projects have been submitted to that competition this year. Our company will hence take part in the final selection of next November 18 in Turin, and have a chance to win the Italian National Prize for Innovation.

	25/10/2011	- Verified Software Development
	Julia Srl develops verified software in Java, Android and for cloud computing. We apply our static semantical analysis to the software that we produce, to attain the highest quality standards. More information at http://www.juliasoft.com/software-development-en.html

	11/09/2011	- New checks in the Julia analyzer
	Julia now checks for useless tests, such as useless nullness checks, and for incorrect logical expressions, where the short circuit semantics of the logical operators is lost.

	06/09/2011	- Julia Srl and CoQuadro Srl work together at the automatic verification of cloud computing software
	We have recently worked with CoQuadro Srl (http://www.coquadro.it), software company specialised in the production of web and mobile applications for cloud computing. Our goal was the automatic verification of one of the projects developed at CoQuadro: an enterprise social environment developed in Java. From a technical point of view, this application of static analysis has exposed problems related to the use of the GWT library by Google for agile networked software development: our static analysis tool has never been tested before in that context. This experiment has given important results for both companies. We could test and improve our static analysis tool, by making it stronger and more precise, as well as able to analyse GWT programs. CoQuadro could find some bugs in their software, in a completely automated way. Those bugs have been later corrected, making their software stronger.

	01/09/2011	- Fausto Spoto invited speaker at CILC 2011
	Fausto Spoto, chairman of Julia Srl, has been invited speaker at the Italian Conference on Computational Logic in Pescara, where he has presented the technology underlying the nullness analysis inside the Julia static analysis tool. He has highlighted the strong mathematical background which is behind our tool, based on propositional Boolean formulas and abstract interpretation. The slides of his talk can be found in the DOCUMENTS section.

	28/08/2011	- New version of our static analyzer
	A new version of the Julia static analyzer is available and can be reached from the "Try Online" link. This new version is the result of extensive debugging and cleaning of the code. We are now working at adding new static analyses to our tool.

	15/07/2011	- Fausto Spoto invited to the Dagstuhl 2012 seminar on "Analysis of Executables: Benefits and Challenges"
	Fausto Spoto, chairman of Julia Srl, has been invited at the next seminar on "Analysis of Executables: Benefits and Challenges", that will be held in Dagstuhl, Germany, at the beginning of 2012. As the web page of the seminars goes, "Dagstul seminars promote personal interaction and open discussion of results as well as ideas. Unlike at most conferences, the focus is not solely on the presentation of established results but to equal parts on results, ideas, sketches, and open problems. Dagstuhl offers one of Germany's most comprehensive research libraries for computer science, meeting rooms of all sizes, and modern IT facilities. It has earned a reputation as Informatics Capital throughout the world." More information at the address http://www.dagstuhl.de/en/program/calendar/semhp/?semnr=12051

	29/06/2011	- We want you
	We seek highly motivated students, who really love writing computer software. There is plenty of work ahead! If you want to learn or want to show how good you are at writing mobile code for your preferred platform, or cloud computing applications, Julia Srl is the place where you can do it. If you want to contribute to our static analysis techonology, just go ahead. You can choose a stage, a project or a thesis; your can just write programs or reason and think about them. We are waiting for you.

	29/06/2011	- New website
	The new website of Julia Srl is now available. Together with the Facebook, LinkedIn and Twitter sites and the YouTube channel, it will be our instrument to reach clients, users and students.

	01/05/2011	- Static analyses of Android applications with Julia
	We have applied our static analysis tool, Julia, to some well known Android applications. Some are open source projects, other are shipped with the distribution of Android by Google and are there to teach you how to write your Android applications. The results have been interesting: plenty of bugs are hidden in those programs! From possible null pointer exceptions to unsafe comparisons between floating point numbers; from non-terminating behaviours to inconsistent equals()/hashCode() definitions. Many inefficiencies are also there: deadcode, unused fields, useless assignments. And all this information was just a click away: a few minutes of analysis with Julia. More details of the analyses are available at http://julia.scienze.univr.it/runs/android/results.html