Home Discussions10 of 24 messages view all » Seminar tomorrow By Petey - Mar 20 - 1 author - 0 replies Reminder: TVLA for tomorrow's seminar. By Shuying Liang - Mar 6 - 1 author - 0 replies static analysis & security summer internship at HP Fortify By Christopher Earl - Feb 29 - 3 authors - 2 replies Tomorrow's seminar: Live coding! By Matt Might - Feb 28 - 1 author - 0 replies Fwd: ... tomorrow By Petey - Feb 21 - 2 authors - 1 reply Fwd: [compilers] The grand restart -- new Coq book, plus interactive presentations [this wednesday] By Anton Burtsev - Feb 13 - 1 author - 0 replies Call Graph Construction in Object-Oriented Languages - David Grove '97 for 2/15/12 By Chris - Feb 13 - 1 author - 0 replies Code thus far By Matt Might - Feb 8 - 1 author - 0 replies Live CFA Implementation for 2/8/12 By Thomas Gilray - Feb 7 - 3 authors - 2 replies Abstract interpretation - Cousot/Cousot '77 for 2/1/12 By Matt Might - Jan 30 - 2 authors - 1 reply Report this group   XML       Send email to this group: UoU-static-analysis-seminar@googlegroups.com