معرفی
Jim Buffenbarger is an Associate Professor in the Department of Computer Science at Boise State University. He has maintained a continuous teaching presence at the university since at least 1995, with course schedules documented through Spring 2025.
His educational background includes:
- Ph.D. in Computer Science from the University of California, Davis (1990)
- M.S. in Computer Science from San Jose State University (1985)
- B.S. in Computer Science from California State University, Hayward (1982)
Dr. Buffenbarger's research spans three decades with a clear progression from theoretical foundations to practical applications. His early work focused on formal methods for specifying and verifying concurrent systems, as evidenced by his 1990 dissertation 'Equational Specification and Verification of Concurrent Systems.' Over time, his research evolved toward practical software development tools, particularly in the area of build systems. His most significant contribution appears to be Amake, an enhanced build system that improves upon GNU Make with automatic dependency analysis and target caching capabilities. His recent publications continue this trajectory with work on LLVM and GCC translation systems.
His publication record shows consistent productivity from 1990 through 2023, demonstrating a logical progression from theoretical computer science to practical software engineering tools. The recurring themes in his work include dependency management, build automation, and software configuration management.
Dr. Buffenbarger regularly teaches CS 354 (Programming Languages), CS 452/552 (Operating Systems), and CS 472/572 (Object-Oriented Design Patterns). His teaching portfolio also includes Software Engineering, Programming Language Translation, and Ethical Issues in Computing, reflecting his broad expertise across computer science disciplines.
