|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 52 occurrences of 38 keywords
|
|
|
|
|
Results
Found 74 publication records. Showing 74 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter |
Software synthesis procedures.  |
Commun. ACM  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachid Guerraoui, Viktor Kuncak, Giuliano Losa |
Abortable Linearizable Modules. |
Archive of Formal Proofs |
2012 |
DBLP BibTeX RDF |
|
| 1 | Ali Sinan Köksal, Viktor Kuncak, Philippe Suter |
Constraints as control. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Wies, Marco Muñiz, Viktor Kuncak |
Deciding Functional Lists with Sublist Sets. |
VSTTE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Milena Vujosevic-Janicic, Viktor Kuncak |
Development and Evaluation of LAV: An SMT-Based Error Finding Platform - System Description. |
VSTTE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktor Kuncak, Andrey Rybalchenko (eds.) |
Verification, Model Checking, and Abstract Interpretation - 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings |
VMCAI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Sinan Köksal, Viktor Kuncak, Philippe Suter |
Scala to the Power of Z3: Integrating SMT and Programming. |
CADE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Wies, Marco Muñiz, Viktor Kuncak |
An Efficient Decision Procedure for Imperative Tree Data Structures. |
CADE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Eva Darulova, Viktor Kuncak |
Trustworthy numerical computation in Scala. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tihomir Gvero, Viktor Kuncak, Ruzica Piskac |
Interactive Synthesis of Code Snippets. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Suter, Ali Sinan Köksal, Viktor Kuncak |
Satisfiability Modulo Recursive Programs. |
SAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Swen Jacobs, Viktor Kuncak |
Towards Complete Reasoning about Axiomatic Specifications. |
VMCAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Suter, Robin Steiger, Viktor Kuncak |
Sets with Cardinality Constraints in Satisfiability Modulo Theories. |
VMCAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Maysam Yabandeh, Nikola Knezevic, Dejan Kostic, Viktor Kuncak |
Predicting and preventing inconsistencies in deployed distributed systems. |
ACM Trans. Comput. Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter |
Complete functional synthesis. |
PLDI |
2010 |
DBLP DOI BibTeX RDF |
bapa, synthesis procedure, decision procedure, presburger arithmetic |
| 1 | Etienne Kneuss, Philippe Suter, Viktor Kuncak |
Runtime Instrumentation for Precise Flow-Sensitive Type Analysis. |
RV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruzica Piskac, Viktor Kuncak |
MUNCH - Automated Reasoner for Sets and Multisets. |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jad Hamza, Barbara Jobstmann, Viktor Kuncak |
Synthesis for regular specifications over unbounded domains. |
FMCAD |
2010 |
DBLP BibTeX RDF |
|
| 1 | Philippe Suter, Mirco Dotta, Viktor Kuncak |
Decision procedures for algebraic data types with abstractions. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
data structure, decision procedure, algebraic data type, catamorphism |
| 1 | Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter |
Comfusy: A Tool for Complete Functional Synthesis. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kuat Yessenov, Ruzica Piskac, Viktor Kuncak |
Collections, Cardinalities, and Relations. |
VMCAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktor Kuncak, Ruzica Piskac, Philippe Suter, Thomas Wies |
Building a Calculus of Data Structures. |
VMCAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Milos Gligoric, Tihomir Gvero, Vilas Jagannath, Sarfraz Khurshid, Viktor Kuncak, Darko Marinov |
Test generation through programming in UDITA. |
ICSE |
2010 |
DBLP DOI BibTeX RDF |
Pex, UDITA, test filtering, test predicates, test generation, automated testing, test programs, Java PathFinder |
| 1 | Viktor Kuncak, Ruzica Piskac, Philippe Suter |
Ordered Sets in the Calculus of Data Structures. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Etienne Kneuss, Philippe Suter, Viktor Kuncak |
Phantm: PHP analyzer for type mismatch. |
SIGSOFT FSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Karen Zee, Viktor Kuncak, Martin C. Rinard |
An integrated proof language for imperative programs. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
verification, theorem prover, proof system |
| 1 | Maysam Yabandeh, Nikola Knezevic, Dejan Kostic, Viktor Kuncak |
CrystalBall: Predicting and Preventing Inconsistencies in Deployed Distributed Systems. |
NSDI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Maysam Yabandeh, Nedeljko Vasic, Dejan Kostic, Viktor Kuncak |
Simplifying Distributed System Development. |
HotOS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Thomas Wies, Ruzica Piskac, Viktor Kuncak |
Combining Theories with Shared Set Operations. |
FroCos |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre-Évariste Dagand, Dejan Kostic, Viktor Kuncak |
Opis: reliable distributed systems in OCaml. |
TLDI |
2009 |
DBLP DOI BibTeX RDF |
distributed systems, model checking, functional programming, arrows |
| 1 | Karen Zee, Viktor Kuncak, Martin C. Rinard |
Full functional verification of linked data structures. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
java, verification, data structure, decision procedure, theorem prover |
| 1 | Karen Zee, Viktor Kuncak, Martin C. Rinard |
Verifying linked data structure implementations. |
IPDPS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruzica Piskac, Viktor Kuncak |
Linear Arithmetic with Stars. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Huu Hai Nguyen, Viktor Kuncak, Wei-Ngan Chin |
Runtime Checking for Separation Logic. |
VMCAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruzica Piskac, Viktor Kuncak |
Decision Procedures for Multisets with Cardinality Constraints. |
VMCAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruzica Piskac, Viktor Kuncak |
Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars. |
CSL |
2008 |
DBLP DOI BibTeX RDF |
verification and program analysis, cardinality operator, mixed linear integer-rational arithmetic, fuzzy sets, sets, multisets |
| 1 | Karen Zee, Viktor Kuncak, Michael Taylor, Martin C. Rinard |
Runtime Checking for Program Verification. |
RV |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktor Kuncak, Martin C. Rinard |
Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic. |
CADE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Charles Bouillaguet, Viktor Kuncak, Thomas Wies, Karen Zee, Martin C. Rinard |
Using First-Order Theorem Provers in the Jahob Data Structure Verification System. |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Marnette, Viktor Kuncak, Martin C. Rinard |
Polynomial Constraints for Sets with Cardinality Bounds. |
FoSSaCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktor Kuncak, Patrick Lam, Karen Zee, Martin C. Rinard |
Modular Pluggable Analyses for Data Structure Consistency. |
IEEE Trans. Software Eng. |
2006 |
DBLP DOI BibTeX RDF |
formal methods, data structure, program analysis, program verification, invariant, shape analysis, Typestate, programming language design |
| 1 | Thomas Wies, Viktor Kuncak, Karen Zee, Andreas Podelski, Martin C. Rinard |
On Verifying Complex Properties using Symbolic Shape Analysis |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Viktor Kuncak, Huu Hai Nguyen, Martin C. Rinard |
Deciding Boolean Algebra with Presburger Arithmetic. |
J. Autom. Reasoning |
2006 |
DBLP DOI BibTeX RDF |
complexity, program verification, decision procedure, Boolean algebra, quantifier elimination, Presburger arithmetic |
| 1 | Viktor Kuncak, Martin C. Rinard |
An overview of the Jahob analysis system: project goals and current status. |
IPDPS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Wies, Viktor Kuncak, Patrick Lam, Andreas Podelski, Martin C. Rinard |
Field Constraint Analysis. |
VMCAI |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktor Kuncak, Martin C. Rinard |
Decision Procedures for Set-Valued Fields. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Marnette, Viktor Kuncak, Martin C. Rinard |
On Algorithms and Complexity for Sets with Cardinality Constraints |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Viktor Kuncak, Huu Hai Nguyen, Martin C. Rinard |
An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic. |
CADE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Lam, Viktor Kuncak, Martin C. Rinard |
Crosscutting techniques in program specification and analysis. |
AOSD |
2005 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, program verification, crosscutting concerns, static analysis tools |
| 1 | Viktor Kuncak, Martin C. Rinard, Bruno Marnette |
On Algorithms and Complexity for Sets with Cardinality Constraints. |
Deduction and Applications |
2005 |
DBLP BibTeX RDF |
|
| 1 | Viktor Kuncak, Patrick Lam, Karen Zee, Martin C. Rinard |
Implications of a Data Structure Consistency Checking System. |
VSTTE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Lam, Viktor Kuncak, Martin C. Rinard |
Hob: A Tool for Verifying Data Structure Consistency. |
CC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Lam, Viktor Kuncak, Martin C. Rinard |
Generalized Typestate Checking for Data Structure Consistency. |
VMCAI |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktor Kuncak, Daniel Jackson |
Relational analysis of algebraic datatypes. |
ESEC/SIGSOFT FSE |
2005 |
DBLP DOI BibTeX RDF |
algebraic datatypes, model finding, transitive closure logic, model checking, constraint solving |
| 1 | Patrick Lam, Viktor Kuncak, Martin C. Rinard |
Generalized typestate checking using set interfaces and pluggable analyses. |
SIGPLAN Notices |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Karen Zee, Viktor Kuncak |
File Refinement. |
Archive of Formal Proofs |
2004 |
DBLP BibTeX RDF |
|
| 1 | Viktor Kuncak |
Binary Search Trees. |
Archive of Formal Proofs |
2004 |
DBLP BibTeX RDF |
|
| 1 | Viktor Kuncak, Martin C. Rinard |
Typestate Checking and Regular Graph Constraints |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Viktor Kuncak, Martin C. Rinard |
The First-Order Theory of Sets with Cardinality Constraints is Decidable |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Viktor Kuncak, Patrick Lam, Martin C. Rinard |
Roles Are Really Great! |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Viktor Kuncak, Martin C. Rinard |
On Spatial Conjunction as Second-Order Logic |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Viktor Kuncak, Martin C. Rinard |
On Generalized Records and Spatial Conjunction in Role Logic |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Viktor Kuncak, Martin C. Rinard |
On Role Logic |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Viktor Kuncak, Martin C. Rinard |
On the Theory of Structural Subtyping |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Viktor Kuncak, K. Rustan M. Leino |
On computing the fixpoint of a set of boolean equations |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Konstantine Arkoudas, Karen Zee, Viktor Kuncak, Martin C. Rinard |
Verifying a File System Implementation. |
ICFEM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktor Kuncak, Martin C. Rinard |
Generalized Records and Spatial Conjunction in Role Logic. |
SAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktor Kuncak, Martin C. Rinard |
Boolean Algebra of Shape Analysis Constraints. |
VMCAI |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktor Kuncak, Martin C. Rinard |
Structural Subtyping of Non-Recursive Types is Decidable. |
LICS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktor Kuncak, Martin C. Rinard |
Existential Heap Abstraction Entailment Is Undecidable. |
SAS |
2003 |
DBLP DOI BibTeX RDF |
Program Verification, Shape Analysis, Type Checking, Monadic Second-Order Logic, Typestate, Graph Homomorphism, Post Correspondence Problem |
| 1 | Mirjana Ivanovic, Viktor Kuncak |
Numerical Representations as Purely Functional Data Structures: a New Approach. |
Informatica, Lith. Acad. Sci. |
2002 |
DBLP BibTeX RDF |
|
| 1 | Viktor Kuncak, Patrick Lam, Martin C. Rinard |
Role analysis. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvia Ghilezan, Viktor Kuncak |
Confluence of Untyped Lambda Calculus via Simple Types. |
ICTCS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Viktor Kuncak, Patrick Lam, Martin C. Rinard |
A Language for Role Specifications. |
LCPC |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #74 of 74 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")