|
| ||||
|---|---|---|---|---|---|
| 2006-05-25 | Posted By: Todd Wallentine Bandera Moves into Hibernation The Bandera team announces the hibernation of the project after the 1.0a4 release. We have been working very hard to provide the 1.0 final release before moving on to other things but have been unsuccessful. The time and effort that the team has available are being shifted to other projects that are more critical to the labs priorities (Cadena and Bogor). Because of this, the code base will be tagged and frozen until the resources are available to thaw and start again. So if you have the time or resources, we would love to hear from you so that our vision of Bandera can be brought to reality. Until those resources appear, that vision will remain just that. A note about the alpha/beta/candidate/final distiction. We feel that until we can finalize the Tool API and other crucial cogs in the framework, it should remain an alpha release. If/when we finalize those, we envision several releases of beta-quality software so that we could get a wider audience and more feedback. After those we would likely have several release candidates leading up the the final 1.0 release. All of this to say we know this last release is alpha and we could easily have just named it 1.0. But we wanted to make clear that it is not a stable, reliable platform for usage or integration. But we have a clear idea of what it would likely take (in abstract terms since a great deal of this is still research ... or rather an unknown quantity).  Discussions |
||||
| 2006-05-25 | Posted By: Todd Wallentine Bandera1.0a4 Released The Bandera team is proud to announce the 1.0 alpha 4 release. This release is several steps ahead of the alpha 3 release and provides a tutorial that should get new users started. The tutorial also includes some guidance on integrating 3rd party tools into the Bandera tool chain. Other improvements include: - New examples - A new version of Bogor - and many bug fixes Support for this release will be provided based upon the policy that we have outlined here: http://bandera.projects.cis.ksu.edu/supportPolicy.shtml The important thing to keep in mind is that we are very involved in the research aspects of the tool development so we will not have much time to devote to helping others. However, we will do our best to provide support that will allow others to work with us. Please note that this version of Bandera may not work with all versions of Bogor. It has been tested with the 20051226 version of Bogor (which is included with the release along with the Eclipse plugins for that Bogor version in a separate download). To download, visit this page and follow all instructions: http://projects.cis.ksu.edu/plugin/ksuafrs/showfiles.php?group_id=6 Discussions |
||||
| 2006-05-05 | Posted By: Todd Wallentine TACAS 2006 Conference Paper on Bandera, Bogor, and Indus Members of the SAnToS Laboratory at KSU and the ESQuaReD Laboartory at UNL collaborated in publishing a conference paper at TACAS 2006. The paper titled "Evaluating the Effectiveness of Slicing on Model Reduction of Concurrent Object-Oriented Programs" was authored by Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, Venkatesh Ranganath, Robby, and Todd Wallentine. The paper presents experimental evidence that demonstrates the benefits of using slicing as a fully automatic model reduction technique using the Bandera model checking framework,the Indus program slicer, and the Bogor model checker. The experiments considered a number of Java systems with varying structural properties, the effects of combining slicing with other well-known model reduction techniques (such as partial order reduction), and the effects of slicing for different classes of properties. The conclusion is that slicing concurrent object-oriented source code provides significant reductions that are orthogonal to a number of other reduction techniques, and that slicing should always be applied due to its automation and low computational costs. Furthermore, slicing appears to be particularly useful for removing large amounts of irrelevant library code which is a capability that seems crucial for dealing with realistic software systems. TACAS (Tools and Algorithms for the Construction and Analysis of Systems) was held in Vienna, Austria on March 25 - April 2, 2006 as part of ETAPS (European Joint Conferences on Theory and Practice of Software). John Hatcliff traveled to present the research materials to a very receptive audience. The paper is available here: https://projects.cis.ksu.edu/docman/view.php/6/119/tacas06-bandera.pdf Discussions |
||||
| 2005-09-08 | Posted By: Todd Wallentine Bandera1.0a3 Released to Research Partners The Bandera team is proud to announce the 1.0 alpha 3 release. This release is several steps ahead of the alpha 2 release and provides a tutorial that should get new users started. The tutorial also includes some guidance on integrating 3rd party tools into the Bandera tool chain. Other improvements include: - A new Tool from the Indus project, the ConcurrentIndependenceTool, that provides new optimizations. - New examples - A new version of Bogor - A new output architecture that is more flexible - and many bug fixes This release will be provided to a wider audience but will still be moderated to a select few research groups. If you feel that you should be included, please send an email to the lead developer, Todd Wallentine, describing who you are, who you are affiliated with (university, company, etc.), what your research area is, and how you plan to use Bandera. It would also help the process if you mentioned any contacts you have in the SAnToS lab (and included how you know them). Support for this release will be provided based upon the policy that we have outlined here: http://bandera.projects.cis.ksu.edu/supportPolicy.shtml The important thing to keep in mind is that we are very involved in the research aspects of the tool development so we will not have much time to devote to helping others. However, we will do our best to provide support that will allow others to work with us. Discussions |
||||
| 2005-06-28 | Posted By: Todd Wallentine Bandera1.0a2 Released to Research Partners The Bandera team is proud to announce the 1.0 alpha 2 release. This release is several steps ahead of the alpha 1 release and provides a tutorial that should get new users started. The new tutorial also includes some guidance on integrated 3rd party tools into the Bandera tool chain. This release will be provided to a wider audience but will still be moderated to a select few research groups. If you feel that you should be included, please send an email to the lead developer, Todd Wallentine, describing who you are, who you are affiliated with (university, company, etc.), what your research area is, and how you plan to use Bandera. It would also help the process if you mentioned any contacts you have in the SAnToS lab (and included how you know them). Support for this release will be provided based upon the policy that we have outlined here: http://bandera.projects.cis.ksu.edu/supportPolicy.shtml The important thing to keep in mind is that we are very involved in the research aspects of the tool development so we will not have much time to devote to helping others. However, we will do our best to provide support that will allow others to work with us. Discussions |
||||
| 2004-09-30 | Posted By: Todd Wallentine Bandera1.0a1 Released to Research Partners A very alpha version of Bandera 1.0 is now released to select research partners. This release contains a simple command line interface to drive the new framework and tools including the amazing Bogor model checker. There will be very little support provided since we are still deep in development and performing experimentation with better Java examples. There is a README file in the distribution but it is very little help with anything beyond starting the command line interface. We still have great plans for Bandera 1.0 that are in development but we are trying to keep them hush-hush so nobody steals our ideas :) Discussions |
||||
| 2004-02-16 | Posted By: Todd Wallentine Bandera 1.0a1 running A very alpha version of Bandera 1.0 is running. This is already a big improvement on Bandera 0.3. However, we are not releasing anything at this time because a great deal of time would need to be spent supporting it and documenting it. An alpha release should be available sometime this semester that will allow users to start playing with Bandera 1.0. Discussions |
||||
| 2003-06-30 | Posted By: Todd Wallentine SAnToS Welcomes another new Member The SAnToS lab has another new ugrad student working for us. Ben Dolezal will provide graphic artist expertise for the web, for our applications, and for many other types of media. He will be starting by creating some graphics and logos for the Bandera site as well as the other sites (Bogor and Cadena) and eventually start helping to create icons and animations for use in our applications. He will be working 1/2 time for us an sitting in the cubicle area with Jason Web and Jason Tholstrup. Introduce yourself when you get a second. Discussions |
||||
| 2003-06-22 | Posted By: Todd Wallentine Bugzilla Bugs Moved The Bugzilla bugs have been sucessfully (and partially) moved to GForge. The script works fairly well but doesn't include dependencies or attachments. Discussions |
||||
| 2003-06-16 | Posted By: Todd Wallentine IR Posted: Soot 2.0 The Bandera 1.0 release will be based upon the Soot 2.0 API as the intermediate representation. The IR that is required will always be posted on the Bandera site. When it changes, a new version will be posted and all (critical) plug-in owners will be notified. Discussions |
||||
| 2003-06-13 | Posted By: Todd Wallentine Bandera 1.0 Meeting A meeting has been scheduled for Tuesday, June 17th at 2:00pm to discuss the status of Bandera 1.0. Agenda: 1) Bandera 1.0 Core Status 2) Jimple-to-BIR Status 3) Slicer Status 4) Bogor Status Discussions |
||||
| 2003-06-05 | Posted By: Todd Wallentine SAnToS Welcomes another new Member The SAnToS Lab now has 1 more student working for us. Jason Weber has started work for us. He will be getting his feet wet with the Cadena project. He will be working in the cubicule in 324 so make sure to stop by an introduce yourself to him! Discussions |
||||
| 2003-05-19 | Posted By: Todd Wallentine SAnTos Welcomes a new Member The SAnToS Lab now has 1 more student working for us. Jason Tholstrup has started work for us today. He will be getting his feet wet with the Bandera project. He will be working in the cubicule in 324 so make sure to stop by an introduce yourself to him! Discussions |
||||
| 2003-05-12 | Posted By: Todd Wallentine CVS Repository Moved and Ready The CVS repository has been moved from hadar to it's new home on projects. If you have committed to hadar in the last 3 days, please move those changes over. Otherwise, everyone should now be working off the Bandera project's CVS repository on projects.cis.ksu.edu. If you don't know how to switch, take a look at the project page and take the CVS repository link. If that doesn't suffice, talk to Todd or Jesse. Discussions |
||||
| 2003-04-24 | Posted By: Todd Wallentine Presentations posted Some of the talks and presentations that were posted on the Bandera website have been posted in the Doc Manager in this project. Many more need to be moved and all members of Bandera should learn how to upload these docs. Discussions |
||||
| 2003-04-24 | Posted By: Todd Wallentine FAQ Up and Ready The FAQ forum has been populated with questions that were posted on the old Bandera website. Discussions |
||||
| 2003-04-23 | Posted By: Todd Wallentine Bandera Project Started The Bandera project has now been started on the Santos Labs Projects web site. The site will slowly evolve as things are moved from other servers into this centralized repository for the project. Discussions |
||||
