Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
conferences [2008/06/30 23:12] vkuncak |
conferences [2008/06/30 23:13] vkuncak |
||
|---|---|---|---|
| Line 7: | Line 7: | ||
| * LICS 2009, ?, http://www.cl.cam.ac.uk/~amp12/ | * LICS 2009, ?, http://www.cl.cam.ac.uk/~amp12/ | ||
| - | ====== Papers in Progress ===== | + | ====== LARA Papers in Progress ===== |
| * Theories Sharing Sets | * Theories Sharing Sets | ||
| * Online Static Analysis | * Online Static Analysis | ||
| + | * Caching and Combining using Sets | ||
| + | |||