Static Contract Checking for Haskell
(ps)
Dana N. Xu (University of Cambridge)
Simon Peyton Jones (Microsoft Research Cambridge)
Koen Claessen (Chalmers University of Technology)
Implementing a Modular OO Verifier
(pdf)
Cristian Gherghina (Department of Computer Science, Politehnica University of Bucharest)
Cristina David (Department of Computer Science, National University of Singapore)
Huu Hai Nguyen (Computer Science Programme, Singapore-MIT Alliance)
Wei-Ngan Chin (Department of Computer Science, National University of Singapore / Computer Science Programme, Singapore-MIT Alliance)
XHaskell
(ps)
Kenny Zhuo Ming Lu (School of Computing, National University of Singapore)
Region-based Memory for CLI
(pdf)
Alexandru Stefan
Florin Craciun
Wei-Ngan Chin
(Department of Computer Science, National University of Singapore)
Demand-Driven Verification Condition Generation
(doc)
Yu Hongtao
Huo Wei
Zhang Zhaoqing
Qiao Ruliang
Feng Xiaobing
(Advanced Compiler Technology Laboratory, Institute of Computing Technology, Chinese Academy of Sciences)
A Calculus for Hardware Description Languages
(pdf)
Sungwoo Park
Jinha Kim
(Department of Computer Science and Engineering, Pohang University of Science and Technology)
Haskell-Join-Rules
(ps)
Edmund S. L. Lam (School of Computing, National University of Singapore)
Type-Based Partial Buffering for Stream Processing
(pdf)
Ryosuke Sato (School of Engineering, Tohoku University)
Naoki Kobayashi (Graduate School of Information Sciences, Tohoku University)
Kohei Suenaga (Graduate School of Information Science and Technology, Tokyo University)
Towards a Practical π-Calculus Based Mobile Agent System
(pdf)
Seiji Umatani
Masahiro Yasugi
Taiichi Yuasa
(Graduate School of Informatics, Kyoto University)
Monadic Rig-Module Linearity
(pdf)
Kim-Ee Yeoh (Dcolour.com Research)
Model Checking in the Absence of Code, Model and Properties (A Preliminary Study)
(pdf)
David Lo
Siau-Cheng Khoo
(National University of Singapore)
Relaxing Type Restrictions of Around Advice in Aspect-Oriented Programming
(pdf)
Hidehiko Masuhara (Graduate School of Arts and Sciences, University of Tokyo)
Efficient Specialization for Applications Using Shared Libraries
(pdf)
Ping Zhu
Siau-Cheng Khoo
(Department of Computer Science, National University of Singapore)