Dzintars Avots

Publication Activity (10 Years)

Years Active: 2002-2005
Publications (10 Years): 0

Publications

Monica S. Lam, John Whaley, V. Benjamin Livshits, Michael C. Martin, Dzintars Avots, Michael Carbin, Christopher Unkel
Context-sensitive program analysis as database queries. PODS (2005)
John Whaley, Dzintars Avots, Michael Carbin, Monica S. Lam
Using Datalog with Binary Decision Diagrams for Program Analysis. APLAS (2005)
Dzintars Avots, Michael Dalton, V. Benjamin Livshits, Monica S. Lam
Improving software security with a C pointer analysis. ICSE (2005)
Dzintars Avots, Edward Lim, Romain Thibaux, Sebastian Thrun
A probabilistic technique for simultaneous localization and door state estimation with mobile robots in dynamic environments. IROS (2002)