ASE 2011 26th IEEE/ACM International Conference on Automated Software Engineering
ASE 2011: 26th IEEE/ACM International Conference
On Automated Software Engineering

Sunday–Saturday • November 6–12, 2011
Oread, Lawrence, Kan.

Workshops

Below you can find an overview of the workshops organized at ASE 2011. The workshops will all take place on Saturday, November 12. Please note that ASE 2011 provides other opportunities to make your attendance even more inspiring and productive!

All workshops will take place concurrently. Please choose only one workshop.

Fees

$150IEEE or ACM Member Workshop Registration
$190Non-member Workshop Registration
$100Student Workshop Registration

Overview

Workshop Co-chairs


Java Pathfinder Workshop 2011

URL

http://ti.arc.nasa.gov/events/jpf-workshop-2011

Date

November 12, 2011

Organizers

  • Peter Mehlitz, NASA Ames Research Center, United States
  • Neha Rungta, NASA Ames Research Center, United States
  • Willem Visser, Stellenbosch University, South Africa

Abstract

Java Pathfinder (JPF) is an automated open source analysis engine for Java programs. At the heart of JPF is an explicit state model checker. JPF is a customized virtual machine that enables the verification of Java bytecode. It checks for violation of properties and pre-defined software bugs such as null pointer exceptions, assertion violations, deadlocks, race-conditions etc. Key software model checking techniques, such as state matching, partial order reduction, heap symmetry reduction, search strategies, heuristics, and listeners to monitor the execution of the programs are implemented within JPF.

JPF has well-defined extension mechanisms, directory structures and build procedures that keep the core stable and also make the core easily extensible. JPF is engineered in a manner that provides a suitable and well separated sandbox for the implementation of new and alternative ideas in the domain of automated software verification and analysis techniques. As a consequence, the JPF toolkit consists of a large number of projects that are \emph{extensions} of the core.

We welcome contributions on all topics related to JPF or one of its extensions. In addition to research papers, we also solicit comparative analysis papers that evaluate algorithms in JPF or its extensions with relevant tools. The goal of the workshop is to encourage the flow of ideas relevant to JPF.


MALETS 2011: International Workshop on Machine Learning Technologies
in Software Engineering

URL

http://malets11.doc.ic.ac.uk/

Date

November 12, 2011

Organizers

Abstract

Software engineering practitioners and researchers continue to face huge demands in the development and maintenance of software specifications, analysis and design. This is mainly driven by the increased complexity, dynamicity and volatility of software systems as they pose new challenges at each stage of the software engineering process. Adaptability, reliability and resilience are characteristics that software systems (from the system-in-the-small to the system-in-the-large) must guarantee both at static and run-time level. Machine learning (ML) techniques have, on the other hand, witnessed advances in methodologies, algorithms and tools, with emphasis on the development of efficient, more expressive and scalable systems. They have played a key role in performing complex tasks in various application domains, but their potential applications in the many fields of computer science including software engineering are still being unfold.

The MALETS workshop aims to provide an interdisciplinary platform where new technologies in machine learning and their integration in the software engineering process are presented and discussed. The focus of this workshop is to bring together researchers and practitioners working in the areas of software engineering and machine learning to discuss existing issues, recent developments, applications, experience reports, and novel ideas of application of ML in all aspects of software engineering.


SoSMD 2011: Workshop on Infrastructure, Tools and Technologies for Systems of Medical Devices

URL

http://santos.cis.ksu.edu/sosmd11

Date

November 12, 2011

Organizers

  • John Hatcliff, Kansas State University
  • Patrice Chalin, Kansas State University
  • Insup Lee, University of Pennsylvania
  • Oleg Sokolsky, University of Pennsylvania

Abstract

Medical devices historically have been monolithic units developed, validated and approved by regulatory authorities as stand-alone entities. Despite the fact that modern medical devices increasingly incorporate connectivity mechanisms that enable device data to be streamed to electronic health records and displays that aggregate data from multiple devices, connectivity is not being leveraged to allow an integrated collection of devices to work together as a single system to automate clinical work flows.

The Workshop on Infrastructure, Tools and Technologies for Systems of Medical Devices (SoSMD) provides a forum for the presentation of research and development covering aspects of medical device integration, interoperability, and coordinated systems of medical devices. The workshop aims to contribute to a community-wide effort for exploring the numerous safety and effectiveness benefits that can accrue from creating medical systems based on interoperability standards and architectures for safely integrating and controlling collections of medical devices to accomplish specific clinical tasks.



AA127040


The University of Kansas prohibits discrimination on the basis of race, color, ethnicity, religion, sex, national origin, age, ancestry, disability, status as a veteran, sexual orientation, marital status, parental status, gender identity, gender expression and genetic information in the University’s programs and activities. The following person has been designated to handle inquiries regarding the non-discrimination policies: Director of the Office of Institutional Opportunity and Access, IOA@ku.edu, 1246 W. Campus Road, Room 153A, Lawrence, KS, 66045, (785)864-6414, 711 TTY.