[OSQ] Reading for Lazy Abstraction Talk

• Next message: George Necula: "Dave Schmidt talk 10/1"
• Previous message: Rupak Majumdar: "Discussion on Lazy Abstraction next Tuesday"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

Date: Sun, 23 Sep 2001 10:45:47 -0700 (PDT)
From: Westley Weimer <weimer@EECS.Berkeley.EDU>
Subject: [OSQ] Reading for Lazy Abstraction Talk
Message-ID: <Pine.SOL.4.30.0109231045160.27428-100000@argus.EECS.Berkeley.EDU>

---------- Forwarded message ----------
Date: Sat, 22 Sep 2001 20:16:02 -0700 (PDT)
From: Ranjit Jhala <jhala@ic.EECS.Berkeley.EDU>
Subject: message for OSQ

Hi,
I (or maybe Rupak) will be talking this week about problems we're facing
with our Lazy abstraction tool. As Alex suggested maybe its a good idea to
be a little familiar with the background.
The talk was on the website but now it can be found at:

www-cad.eecs.berkeley.edu/~jhala/blast.ppt

The paper we wrote is more detailed it can be found at:

www-cad.eecs.berkeley.edu/~jhala/blast.ps.gz

Thanks,
-Ranjit.

• Next message: George Necula: "Dave Schmidt talk 10/1"
• Previous message: Rupak Majumdar: "Discussion on Lazy Abstraction next Tuesday"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

This archive was generated by hypermail 2b30 : 11/04/02 PST