Home » Projects » Active Projects » BASTION (Binary AnalysiS and TransformatION)

BASTION (Binary AnalysiS and TransformatION)

Seeking students interested in static, load-time and dynamic program analysis and manipulation of C/Linux binaries for layer-flattening optimizations and offloading segments to hardware accelerators. Must be familiar with ELF format and DWARF metadata, and be comfortable working with x86 and ARM instruction sets.

Contact Professor Gail Kaiser to discuss opportunities: kaiser@cs.columbia.edu.