logo epfl

    Ruzica Piskac

Ecole Polytechnique Fédérale de Lausanne

Ruzica Piskac
PhD Student
School of Computer and Communication Sciences
email: ruzica.piskac@epfl.ch
phone: +41 21 69 31221
fax: +41 21 69 36660


mailing address:
Swiss Federal Institute of Technology (EPFL),
School of Computer & Communications Sciences,
Building BC343,
Station 14,
CH-1015 Lausanne,
Switzerland
 

I am a PhD student working in the Laboratory for Automated Reasoning and Analysis under the supervision of Professor Viktor Kuncak.

Curriculum Vitae

Selected Publications

  1. Complete Functional Synthesis , with V. Kuncak, M. Mayer, P. Suter.
    To appear in Proceedings of the ACM SIGPLAN 2010 Conference on Programming Language Design and Implementation (PLDI), Toronto, Canada.
  2. Building a Calculus of Data Structures, with V. Kuncak, P. Suter, T. Wies.
    Proceedings of the 11th International Conference on Verification, Model Checking, and Abstract Interpretation - VMCAI 2010, Madrid, Spain. LNCS Volume 5944, p. 26-44.
  3. Collections, Cardinalities, and Relations, with K. Yessenov, V. Kuncak.
    Proceedings of the 11th International Conference on Verification, Model Checking, and Abstract Interpretation - VMCAI 2010, Madrid, Spain. LNCS Volume 5944, p. 380-395.
  4. Deciding Effectively Propositional Logic using DPLL and substitution sets, with L. de Moura, N. Bjorner.
    Journal of Automated Reasoning, DOI: 10.1007/s10817-009-9161-6
    this is an extended version of the Technical Report, MSR-TR-2008-104, August 2008.
  5. Combining Theories with Shared Set Operations (extended version), with T. Wies, V. Kuncak.
    Proceedings of the 7th International Symposium on Frontiers of Combining Systems - FroCoS 2009, Trento, Italy. Springer, LNCS Volume 5749, p. 366-382.
  6. Deciding Effectively Propositional Logic with Equality, with L. de Moura, N. Bjorner.
    Technical Report, MSR-TR-2008-181, December 2008.
  7. Fractional Collections with Cardinality Bounds, with V. Kuncak.
    Proceedings of the 17th Annual Computer Science Logic - CSL 2008, Bertinoro, Italy. Springer, LNCS Volume 5213, p. 124-138.
  8. Linear Arithmetic with Stars, with V. Kuncak.
    Proceedings of 20th International Conference on Computer Aided Verification CAV 2008, Princeton, USA. Springer, LNCS Volume 5123, p. 268-280.
  9. Decision Procedures for Multisets with Cardinality Constraints, with V. Kuncak.
    Proceedings of the 9th International Conference on Verification, Model Checking and Abstract Interpretation - VMCAI 2008, Springer, LNCS Volume 4905, p. 218-232.
  10. Verification of an Off-Line Checker for Priority Queues, with H. de Nivelle
    Proceedings of the 3rd IEEE International Conference on Software Engineering and Formal Methods, Koblenz, IEEE computer society press, Washington, 2005, 210-219.
  11. Formal Correctness of Result Checking for Priority Queues
    Master Thesis, Universität des Saarlandes, Saarbrücken, Germany, February 2005.

Selected Projects

  1. Theorem Proving
  2. Using F# and Z3 for Inferring Congruence Equations
  3. Using Twelf for Mechanized Specification and Proofs for Reasoning about Multisets

Selected Professional Activities