[oopsla'25] Incidfa: An Efficient And Generic Algorithm For Incremental Iterative Dataflow Analysis
Synopsis
IncIDFA: An Efficient and Generic Algorithm for Incremental Iterative Dataflow Analysis (Video, OOPSLA1 2025) Aman Nougrahiya ...
You Might Also Like
![[OOPSLA'25] Incremental Bidirectional Typing via Order Maintenance](https://i.ytimg.com/vi/Es_VSRIk7t0/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAXXy_I58U0YrjIVJIKJX49S2KsJQ)
![[OOPSLA'25] Statically Analyzing the Dataflow of R Programs](https://i.ytimg.com/vi/4IKR-k0B5Dw/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLBDlyFuZi3CjC7YvG5dPZGG5eqZDg)
![[OOPSLA'25] Incremental Certified Programming](https://i.ytimg.com/vi/7uQnVfyK6YA/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLAWSMZfbVxLXPcpgDRGjkp8mALIKg)
![[OOPSLA'25] Revealing Sources of (Memory) Errors via Backward Analysis](https://i.ytimg.com/vi/NOCz8ccQmag/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLCFje83Vk9Bn6r-ls3nPqDfSv_Wkg)
![[OOPSLA'25] Structural Information Flow: A Fresh Look at Types for Non-Interference](https://i.ytimg.com/vi/60gftf-nUEM/hq720.jpg?sqp=-oaymwEcCNAFEJQDSFXyq4qpAw4IARUAAIhCGAFwAcABBg==&rs=AOn4CLCUOlCaQ7OjD_mdfJb3VdMzNPoSSQ)
Download Options
Choose a download method below. All links open in new tabs.
| Service | Features | Action |
|---|---|---|
| SaveFrom |
MP4 & MP3 • HD Quality • Browser Extension Available
|
Download |
Security Notice: These are third-party services. We recommend using antivirus software and being cautious of pop-up ads.