Seth Hallem

According to our database, Seth Hallem authored at least 4 papers between 2000 and 2002.

Collaborative distances:

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

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