[Pl-seminar] PL seminar schedule (note: nonstandard time!)

[Aaron Turon]

NEU Programming Languages Seminar presents

Peter Dillinger
Coverity

**Friday 11/12**
**3:30pm - 5:00pm**

Room 366 WVH (http://www.ccs.neu.edu/home/wand/directions.html)

For the past year, I have been working as a developer at Coverity,
often considered the leader in industrial-grade static analysis for
software integrity.  Especially considering Coverity's academic roots,
at Stanford University, some here have expressed interest in finding
out more about what Coverity does and sells, and what I do there.

I will give a short, informal presentation and product demo, followed
by Q&A.  I will talk about our customers' needs and our general
approach to fulfilling those needs, and I will show analysis results
for some open-source Java and C projects, using our UI.  (In the
interest of self-deprecation, I will show bugs found in my own ACL2s
code. :)

For more about Coverity, see http://www.coverity.com

--

Also, a reminder that CCIS is hosting a distinguished lecture during
our normal Wednesday slot this week:

Joseph M. Hellerstein

Wednesday 11/10
12:00pm
110 West Village H

Disorderly Programming: Experience and Conjectures in Distributed Logic

Full announcement: http://lists.ccs.neu.edu/pipermail/colloq/2010/000673.html