Programming Languages Seminar Spring 2011
Meeting time: Mondays noon-1PMClassroom: NEB 218
Discussion Schedule
| Date | Paper/Topic/Visitor | Discussion Leader |
| 2/7 | Organizational Meeting | Everyone |
| 2/14 | Actors and Erlang | Wes / Scott |
| 2/21 | The E programming language | Wes |
| 2/28 | Typestate oriented programming | Zach |
| 3/7 | Relational inductive shape analysis | Ken |
| 3/14 | MetaFJig | Zach |
| / | ||
| / | ||
| / | ||
| / | ||
| / | ||
| / | ||
| / | ||
| / | ||
| / | ||
| / |
Potential topics for discussion:
- Actors; Erlang distributed programming language
- E language
- R language
- Typestate oriented programming paper
- Abstract interpretation; plus abstract interpretations using logics
- Static analysis: dataflow analysis and type effect systems
- Taint analysis
- PLDI paper on a verified microkernel: Verve
- MetaFJig: A metacircular composition language for Java-like classes
- Cache topology aware computation mapping for multicores
- Cache oblivious computing
- Our work: BSJ deltas, BNC language proposal, Shape analysis logic,
- PLDI 2011 soon