Mark Snyder
Students
Name: Mark Snyder
Email: marklsnyder@gmail.com
Courses
Period 1
- Preparation For Software Technology
Period 2
- Implementation of Programming Languages
- Software Generation and Configuration (seminar)
Period 3
- Advanced Functional Programming
- Program Transformation
Period 4
- Automatic Program Analysis
- Generic Programming
Period 5
- Feedback Oriented Static Analysis (seminar)
- Efficient Implementation of Functional Languages (seminar)
Areas of Interest
- Compiler Technology
- parsing techniques
- attribute grammars
- term rewriting systems
- Programming Languages
- aesthetics
- combining object oriented and functional paradigms
- Tools
- syntactic diff
- language aware editors
Colloquium
- Software Transactional Memory (In Progress)