Zvonimir Rakamaric's Homepage

Business...

Zvonimir Rakamaric

Ph.D. Student
Department of Computer Science
University of British Columbia
2366 Main Mall
Vancouver, BC V6T 1Z4
Canada

E-mail: email

E-mail: firstname.lastname@gmail.com
My CV in pdf.

...and pleasure.

Aloha!

As you probably already figured out, my name is Zvonimir Rakamaric. I grew up and did my undergrad in Croatia. Currently, I am a Ph.D. student (I completed my M.Sc. degree in August 2006) in the Department of Computer Science at the University of British Columbia. My supervisor is Alan Hu. When I am at the department, I can usually be found in the Integrated Systems Design Lab, which is located in the ICICS/CS room 342.

Research interests

Effective, automatic techniques for formal verification of complex systems and error detection
Verification of heap-manipulating programs
Model checking and abstraction techniques
Static program analysis and abstract interpretation

Recent Blog Entries

Visited Verimag in Grenoble
06/29/2009 07:23 AM
I gave an invited talk about my recent work on finding concurrency errors in systems code at Verimag in Grenoble, France. Verimag is a very nice place and it was a pleasant visit. I would like to thank Radu Iosif again for hosting me.
Final version of my CAV 2009 paper is out
04/23/2009 01:02 PM
I posted the final version of my CAV 2009 paper "Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers" on my homepage. Check it out!
And comments and/or questions are always appreciated.
Paper accepted to CAV 2009!
03/27/2009 08:34 AM
The paper on static context-bounded analysis of systems software I coauthored with Shuvendu and Shaz got accepted to 21st International Conference on Computer Aided Verification (CAV 2009). I am really excited about this work and glad it got in. I'll put the final version of the paper on my homepage soon, so be sure to stop by again and check it out. And off to France in June!
STTT paper published - my first journal publication
02/23/2009 05:59 PM
Almost two years ago, me and my coauthors got invited to submit the extended version of our TACAS 2007 paper to a special issue of the International Journal on Software Tools for Technology Transfer (STTT). Last weekend I received an email that our journal paper titled "A Low-Level Memory Model and an Accompanying Reachability Predicate" got published. Finally :)!
Received Dagstuhl Seminar invitation
02/16/2009 02:53 PM
Awesome news! I got invited to the Dagstuhl Seminar "Interaction versus Automation: The Two Faces of Deduction"! Dagstuhl seminars are invitation-only computer science seminars held in Germany. They bring together established scientists as well as promising young researchers, with the goal to promote open, in-depth discussions and collaboration on the topic of interest.
I am looking forward to visit Germany in October. I am sure it'll be a great and productive experience.