Groups
Groups
Sign in
Groups
Groups
UofU Static Analysis Seminar
Conversations
About
Send feedback
Help
Group path
UofU Static Analysis Seminar
1–14 of 14
Mark all as read
Report group
0 selected
Lu Zhao
, …
Prasoon Dadhich
5
12/23/14
static analysis & security summer internship at HP Fortify
HI Do you have similar kind of internship available for now ? On Wednesday, February 29, 2012 6:47:48
unread,
static analysis & security summer internship at HP Fortify
HI Do you have similar kind of internship available for now ? On Wednesday, February 29, 2012 6:47:48
12/23/14
Petey
3/21/12
Seminar tomorrow
All, We'll be discussing a section of Lhotak's PhD dissertation tomorrow. You'll find it
unread,
Seminar tomorrow
All, We'll be discussing a section of Lhotak's PhD dissertation tomorrow. You'll find it
3/21/12
Shuying Liang
3/6/12
Reminder: TVLA for tomorrow's seminar.
Hi, all, Just a little reminder that Tomorrow's seminar we'll discuss Three Valued Logic
unread,
Reminder: TVLA for tomorrow's seminar.
Hi, all, Just a little reminder that Tomorrow's seminar we'll discuss Three Valued Logic
3/6/12
Matt Might
2/28/12
Tomorrow's seminar: Live coding!
Shuying has a deadline this week, so we'll do more live coding tomorrow, and she'll present
unread,
Tomorrow's seminar: Live coding!
Shuying has a deadline this week, so we'll do more live coding tomorrow, and she'll present
2/28/12
Shuying Liang
,
Petey
2
2/21/12
Fwd: ... tomorrow
ty - Petey On 2/21/2012 11:22 AM, Shuying Liang wrote: > ---------- Forwarded message ----------
unread,
Fwd: ... tomorrow
ty - Petey On 2/21/2012 11:22 AM, Shuying Liang wrote: > ---------- Forwarded message ----------
2/21/12
Anton Burtsev
2/13/12
Fwd: [compilers] The grand restart -- new Coq book, plus interactive presentations [this wednesday]
Here is your second chance to understand program verification: we'll restart our Coq study this
unread,
Fwd: [compilers] The grand restart -- new Coq book, plus interactive presentations [this wednesday]
Here is your second chance to understand program verification: we'll restart our Coq study this
2/13/12
Chris
2/13/12
Call Graph Construction in Object-Oriented Languages - David Grove '97 for 2/15/12
This week, we will discuss Grove's paper on CFA in Java, "Call Graph Construction in Object-
unread,
Call Graph Construction in Object-Oriented Languages - David Grove '97 for 2/15/12
This week, we will discuss Grove's paper on CFA in Java, "Call Graph Construction in Object-
2/13/12
Matt Might
2/8/12
Code thus far
This is what we had at the end of today: http://matt.might.net/tmp/kcfa.rkt It'll take 10 minutes
unread,
Code thus far
This is what we had at the end of today: http://matt.might.net/tmp/kcfa.rkt It'll take 10 minutes
2/8/12
Chris
, …
Thomas Gilray
3
2/7/12
Live CFA Implementation for 2/8/12
Great breakdown Shuying. I would personally get more out of a demonstration in Haskell, but I'd
unread,
Live CFA Implementation for 2/8/12
Great breakdown Shuying. I would personally get more out of a demonstration in Haskell, but I'd
2/7/12
Chris
,
Matt Might
2
1/31/12
Abstract interpretation - Cousot/Cousot '77 for 2/1/12
I recommend reading this in conjunction with the Nielson-Nielson-Hankin book chapter and appendices.
unread,
Abstract interpretation - Cousot/Cousot '77 for 2/1/12
I recommend reading this in conjunction with the Nielson-Nielson-Hankin book chapter and appendices.
1/31/12
Chris
,
Shuying Liang
4
1/26/12
Termination...
On Thu, Jan 26, 2012 at 2:02 PM, Chris <cwe...@cs.utah.edu> wrote: 1. I'm not sure I
unread,
Termination...
On Thu, Jan 26, 2012 at 2:02 PM, Chris <cwe...@cs.utah.edu> wrote: 1. I'm not sure I
1/26/12
Chris
1/23/12
Effective Flow Analysis for Avoiding Run-Time Checks - Jagannathan/Wright for 1/25/12
This week, we will discuss Jagannathan and Wright's paper on using polymorphic splitting to avoid
unread,
Effective Flow Analysis for Avoiding Run-Time Checks - Jagannathan/Wright for 1/25/12
This week, we will discuss Jagannathan and Wright's paper on using polymorphic splitting to avoid
1/23/12
Chris
2
1/17/12
CPS Transformation of Flow Information - Palsberg/Wand for 1/18/12
Oops: I linked to the wrong paper by Palsberg. We will be reading Palsberg's paper on constraint-
unread,
CPS Transformation of Flow Information - Palsberg/Wand for 1/18/12
Oops: I linked to the wrong paper by Palsberg. We will be reading Palsberg's paper on constraint-
1/17/12
WeibinSun
1/11/12
Constructing malicious computations automatically
This is the interesting paper I mentioned today Return-Oriented Rootkits: Bypassing Kernel Code
unread,
Constructing malicious computations automatically
This is the interesting paper I mentioned today Return-Oriented Rootkits: Bypassing Kernel Code
1/11/12
