pith. sign in

Viktor Kuncak

Identifiers

  • name variant Viktor Kuncak 0.60 · backfill

Papers (19)

  1. On Repair with Probabilistic Attribute Grammars cs.PL · 2017 · author #4
  2. Polynomial-Time Proactive Synthesis of Tree-to-String Functions from Examples cs.FL · 2017 · author #3
  3. Translating Scala Programs to Isabelle/HOL cs.LO · 2016 · author #2
  4. An Instantiation-Based Approach for Solving Quantified Linear Arithmetic cs.LO · 2015 · author #3
  5. On Counterexample Guided Quantifier Instantiation for Synthesis in CVC4 cs.LO · 2015 · author #3
  6. Towards a Compiler for Reals cs.PL · 2014 · author #2
  7. On Sound Compilation of Reals cs.PL · 2013 · author #2
  8. On Integrating Deductive Synthesis and Verification Systems cs.PL · 2013 · author #2
  9. Software Verification and Graph Similarity for Automated Evaluation of Students' Assignments cs.AI · 2012 · author #4
  10. On Verifying Complex Properties using Symbolic Shape Analysis cs.PL · 2006 · author #2
  11. On Algorithms and Complexity for Sets with Cardinality Constraints cs.PL · 2005 · author #2
  12. On Spatial Conjunction as Second-Order Logic cs.LO · 2004 · author #1
  13. On computing the fixpoint of a set of boolean equations cs.PL · 2004 · author #1
  14. On Generalized Records and Spatial Conjunction in Role Logic cs.PL · 2004 · author #1
  15. On Role Logic cs.PL · 2004 · author #1
  16. On the Theory of Structural Subtyping cs.LO · 2004 · author #1
  17. Typestate Checking and Regular Graph Constraints cs.PL · 2004 · author #1
  18. Roles Are Really Great! cs.PL · 2004 · author #1
  19. The First-Order Theory of Sets with Cardinality Constraints is Decidable cs.LO · 2004 · author #1

Mentions

  • 1309.2511 #2 · backfill · confidence 0.70 Viktor Kuncak
  • 1304.5661 #2 · backfill · confidence 0.70 Viktor Kuncak
  • 1206.7064 #4 · backfill · confidence 0.70 Viktor Kuncak

Frequent Coauthors