About

I am a fifth-year graduate student at the department of Computer Science in Boston University. My e-mail address can be formed from my first and last initials at domain cs.bu.edu. My advisor is Hongwei Xi.

Teaching

• Assistant for CS108 [Application Programming] Fall 2012
• Assistant for CS131 [Combinatorial Structures] Spr 2010
• Assistant for CS131 [Combinatorial Structures] Fall 2009

Work

• Terrier: OS in development for Panda and Beagle Boards.
• Puppy: beginner's framework for a Beagle Board OS
• ATS programming language project member
• ats-mode for Emacs
• LLVM for ATS
• Quest operating system project member

Papers

• Matthew Danish, Hongwei Xi and Richard West. Applying Language-based Static Verification in an ARM Operating System. In Work-in-progress poster session of the 33rd IEEE Real-Time Systems Symposium. San Juan, PR, USA. Dec 4-7, 2012. [PDF]
• Matthew Danish, Ye Li and Richard West. Virtual-CPU Scheduling in the Quest Operating System. In Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium. Chicago, IL, USA. April 11-14, 2011. [PDF]
• Matthew Danish and Hongwei Xi. Operating System Development with ATS. In PLPV 2010: Proceedings of the 4th Workshop on Programming Languages meets Program Verification. Madrid, Spain. Jan 2010. [PDF]

Stuff

• A BibTeX file of papers I cite
• A LaTeX package providing an ATS language definition for the LaTeX environment listings
• Software and hardware development blog