The focus of research in this group is computer systems — with an emphasis on dependable, embedded and real-time systems. Work in the research group spans the theory and practice of resource allocation and management in computer systems.
SyNeRG is supported by the National Sciences and Engineering Research Council of Canada (NSERC), the Canada Foundation for Innovation (CFI), the British Columbia Innovation Council (BCIC), the British Columbia Knowledge Development Fund (BCKDF) and Nokia.
More information on the SyNeRG group can be found on their website.
| 2012 |
AutoFLox: An Automatic Fault Localizer for Client-Side JavaScript Conference Paper | Proceedings of the 5th IEEE International Conference on Software Testing, Verification and Validation (ICST) |
| 2010 |
Automated Derivation of Application-specific Error Detectors Using Dynamic Analysis Journal Article | Dependable and Secure Computing, IEEE Transactions on |
| 2010 |
Towards understanding the effects of intermittent hardware faults on programs Conference Paper | Dependable Systems and Networks Workshops (DSN-W), 2010 International Conference on |
| 2009 |
An end-to-end approach for the automatic derivation of application-aware error detectors Conference Paper | Dependable Systems Networks, 2009. DSN '09. IEEE/IFIP International Conference on |
| 2009 |
Automated Derivation of Application-Aware Error Detectors using Static Analysis: The Trusted Illiac approach Journal Article | Dependable and Secure Computing, IEEE Transactions on |
| Sathish Gopalakrishnan | Assistant Professor |
| Karthik Pattabiraman | Assistant Professor |
| Matei Ripeanu | Associate Professor |
