Effective Flow Analysis for Avoiding Run-Time Checks - Jagannathan/Wright for 1/25/12

2 views
Skip to first unread message

Chris

unread,
Jan 23, 2012, 3:33:25 PM1/23/12
to UofU Static Analysis Seminar
This week, we will discuss Jagannathan and Wright's paper on using
polymorphic splitting to avoid run-time checks, "Effective Flow
Analysis for Avoiding Run-Time Checks." This paper can
be found at: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.351

Chris
Reply all
Reply to author
Forward
0 new messages