|
|
-
Shuvendu Lahiri, Shaz Qadeer, Zvonimir Rakamaric:
Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers,
21st International Conference on Computer Aided Verification (CAV 2009), Grenoble, France
[pdf]
[bib]
-
Shaunak Chatterjee, Shuvendu Lahiri, Shaz Qadeer, Zvonimir Rakamaric:
A Low-Level Memory Model and an Accompanying Reachability Predicate,
International Journal on Software Tools for Technology Transfer (STTT), 2009
[pdf]
[bib]
-
Zvonimir Rakamaric, Alan J. Hu:
A Scalable Memory Model for Low-Level Code,
10th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2009),
Savannah, GA, USA
[pdf]
[bib]
-
Zvonimir Rakamaric, Alan J. Hu:
Automatic Inference of Frame Axioms Using Static Analysis,
23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), L'Aquila, Italy
[pdf]
[bib]
-
Zvonimir Rakamaric, Roberto Bruttomesso, Alan J. Hu, Alessandro Cimatti:
Verifying Heap-Manipulating Programs in an SMT Framework,
5th International Symposium on Automated Technology for Verification and Analysis (ATVA 2007), Tokyo, Japan
[pdf]
[bib]
-
Domagoj Babic, Byron Cook, Alan J. Hu, Zvonimir Rakamaric:
Proving Termination by Divergence,
5th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), London, UK
[pdf]
[bib]
-
Zvonimir Rakamaric, Roberto Bruttomesso, Alan J. Hu, Alessandro Cimatti:
Deciding Unbounded Heaps in an SMT Framework,
Presentation-only paper,
5th International Workshop on
Satisfiability Modulo Theories (SMT 2007), Berlin, Germany
[abstract]
[slides]
-
Shaunak Chatterjee, Shuvendu Lahiri, Shaz Qadeer, Zvonimir Rakamaric:
A Reachability Predicate for Analyzing Low-Level Software,
13th International Conference on Tools and Algorithms
for the Construction and Analysis of Systems (TACAS 2007),
Braga, Portugal
Outstanding Student Paper
Award sponsored by Microsoft Research Cambridge
[pdf]
[bib]
Shaunak Chatterjee, Shuvendu Lahiri, Shaz Qadeer, Zvonimir Rakamaric:
A Reachability Predicate for Analyzing Low-Level Software,
Microsoft Research Tech Report MSR-TR-2006-154, November 22, 2006
[pdf]
[bib]
[abstract]
-
Zvonimir Rakamaric, Jesse Bingham, Alan J. Hu:
An Inference-Rule-Based Decision Procedure for Verification of
Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures,
8th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2007),
Nice, France
[pdf]
[bib]
-
Zvonimir Rakamaric:
A Logic and Decision Procedure for Verification of Heap-Manipulating Programs,
M.Sc. thesis, Department of Computer Science, The University of British Columbia, August, 2006
[pdf]
[ps]
[bib]
-
Zvonimir Rakamaric, Jesse Bingham, Alan J. Hu:
A Better Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs,
UBC Department of Computer Science Tech Report TR-2006-02, January 30, 2006
[pdf]
[ps]
[bib]
[abstract]
-
Jesse Bingham, Zvonimir Rakamaric:
A Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs,
7th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI 2006),
Charleston, SC, USA
[pdf]
[bib]
[abstract]
Errata: After the paper was published, we found a bug in the
implementation which slightly changes our experimental results.
Our tech-report presents corrected results and adds proofs to the published
version.
Jesse Bingham, Zvonimir Rakamaric:
A Logic and Decision Procedure for Predicate Abstraction of Heap-Manipulating Programs,
UBC Department of Computer Science Tech Report TR-2005-19, September 19, 2005
[pdf]
[bib]
[abstract]
-
Domagoj Babic, Zvonimir Rakamaric:
Bytecode Optimization,
24th International Conference on Information Technology Interfaces (ITI 2002), Cavtat, Croatia
[pdf]
[bib]
Copyright notice: This material is presented to ensure timely dissemination of
scholarly and technical work. Copyright and all rights therein are retained by
authors or by other copyright holders. All persons copying this information are
expected to adhere to the terms and constraints invoked by each author's
copyright.
Guidebook for Graduate Studies Abroad (1st extended online edition)
Authors: Domagoj Babic, Zvonimir Rakamaric
Publisher: P.O.I.N.T.
ISBN: 978-953-99805-1-9
The main purpose of this guidebook in Croatian is to help people who seek
top-quality education through graduate studies abroad. We hope that our
knowledge and personal experience is going to help them to achieve their
goals.
For a free paper edition of the guidebook contact kontakt@udruga-point.hr.
The latest online version of the guide is freely available and can be downloaded
HERE.
In Croatian: Vodic za poslijediplomski studij u inozemstvu (1. dopunjeno online izdanje)
Authori: Domagoj Babic, Zvonimir Rakamaric
Izdavac: P.O.I.N.T.
ISBN: 978-953-99805-1-9
Osnovna namjena ovog vodica je pomoci osobama koje su zainteresirane za
vrhunsko obrazovanje kroz poslijediplomski studij u inozemstvu. Nadamo se da
ce im nase znanje i osobno iskustvo pomoci da ostvare svoje ciljeve.
Za besplatno papirnato izdanje vodica kontaktirajte kontakt@udruga-point.hr.
Najnovija online verzija vodica je dostupna i moze se besplatno skinuti
OVDJE.
|
