[Fwd: UW-CSE Colloq / 11-4-02 / Koved / IBM TJ Watson / SABER: StaticAnalysis Based Error Reduction]

From: Craig Chambers (chambers@cs.washington.edu)
Date: Thu Oct 24 2002 - 13:17:03 PDT

  • Next message: ckrocsecmem@cs.com: "Re: Earn a Full Income on e Bay 27151"

    FYI, this talk is about some work by people related to the Jalapeno project, on
    some new static analysis techniques. I encourage you to come.

    -- Craig

    -------- Original Message --------
    Subject: UW-CSE Colloq / 11-4-02 / Koved / IBM TJ Watson / SABER: StaticAnalysis
    Based Error Reduction
    Date: Thu, 24 Oct 2002 11:55:12 -0700 (PDT)
    From: Scott Dakins <sjdakins@cs.washington.edu>
    To: talks <talks@cs.washington.edu>

    *******************************************
    *NOTE: THIS LECTURE WILL NOT BE VIDEOTAPED*
    *******************************************

    UNIVERSITY OF WASHINGTON
    Seattle, Washington 98195

    Department of Computer Science and Engineering
    Box 352350
    (206) 543-1695

    COLLOQUIUM

    SPEAKER: Larry Koved, IBM T.J. Watson Research Center

    TITLE: SABER: Static Analysis Based Error Reduction

    DATE: Monday, November 4, 2002

    TIME: 4pm

    PLACE: MGH 242

    HOST: Craig Chambers

    ABSTRACT:

    The industry standard Java 2 Enterprise Edition (J2EE) platform, provides
    a rich and flexible environment for developing a wide range of server
    applications. Developers have the freedom to choose from a multitude of
    options both in the components they use, and in how they use each
    component to write their applications. However, the model has a number of
    pitfalls that can cause performance and/or stability/correctness problems
    for deployed applications. The challenge is in identifying misuses of the
    Java and J2EE programming model.

    The SABER project is investigating a set of technologies based on control
    and data flow analysis of programs that aide in improving runtime
    performance and stability of deployed application code. In particular we
    will focus on a set of analyses that identify J2EE programming model
    coding errors that cause correctness and performance degradation. Unlike
    a traditional "lint" program, we perform a deep analysis of the program
    using detailed control and data flow analyses. These deeper analyses give
    us a much better picture of the overall application behavior. This deep
    analysis is in contrast to shallow analyses in current industry tools,
    that only look at a single or a few classes at a time.

    The University of Washington is committed to providing access, equal
    opportunity and reasonable accommodation in its sevices, programs,
    activities, education and employmen for individuals with disabilities. To
    request disability accommodation, contact the Disability Services Office
    at least ten days in advance of the event at: (206) 543-6450/V, (206)
    543-6452/TTY, (206) 685-3885/FAX, or access@u.washington.edu.
    _______________________________________________
    Cecil mailing list
    Cecil@cs.washington.edu
    http://majordomo.cs.washington.edu/mailman/listinfo/cecil



    This archive was generated by hypermail 2.1.5 : Thu Oct 24 2002 - 13:17:09 PDT