Dzintars Avots

According to our database, Dzintars Avots authored at least 4 papers between 2002 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2005

Context-sensitive program analysis as database queries.

Monica S. Lam, John Whaley, V. Benjamin Livshits, Michael C. Martin, Dzintars Avots, Michael Carbin, Christopher Unkel

Proceedings of the Twenty-fourth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2005

Improving software security with a C pointer analysis.

Dzintars Avots, Michael Dalton, V. Benjamin Livshits, Monica S. Lam

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

Using Datalog with Binary Decision Diagrams for Program Analysis.

John Whaley, Dzintars Avots, Michael Carbin, Monica S. Lam

Proceedings of the Programming Languages and Systems, Third Asian Symposium, 2005

2002

A probabilistic technique for simultaneous localization and door state estimation with mobile robots in dynamic environments.

Dzintars Avots, Edward Lim, Romain Thibaux, Sebastian Thrun

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, Lausanne, Switzerland, September 30, 2002