Seth Hallem

According to our database, Seth Hallem authored at least 6 papers between 2000 and 2010.

Collaborative distances:

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

2010

A few billion lines of code later: using static analysis to find bugs in the real world.

Al Bessey, Ken Block, Benjamin Chelf, Andy Chou, Bryan Fulton, Seth Hallem, Charles-Henri Gros, Asya Kamsky, Scott McPeak, Dawson R. Engler

Commun. ACM, 2010

2003

Uprooting Software Defects at the Source.

Seth Hallem, David Y. W. Park, Dawson R. Engler

ACM Queue, 2003

2002

A System and Language for Building System-Specific, Static Analyses.

Seth Hallem, Benjamin Chelf, Yichen Xie, Dawson R. Engler

Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2002

How to write system-specific, static checkers in metal.

Benjamin Chelf, Dawson R. Engler, Seth Hallem

Proceedings of the 2002 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2002

2001

An Empirical Study of Operating System Errors.

Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, Dawson R. Engler

Proceedings of the 18th ACM Symposium on Operating System Principles, 2001

2000

Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions.

Dawson R. Engler, Benjamin Chelf, Andy Chou, Seth Hallem

Proceedings of the 4th Symposium on Operating System Design and Implementation (OSDI 2000), 2000