epfl-lara/jahob: Jahob Verification System - GitHub
github.com
Karen Zee, Viktor Kuncak, and Martin Rinard. An integrated proof language for imperative programs. In ACM Conf. Programming Language Design and ... › epfl-lara › jahob
Technical Reports of Martin Rinard
people.csail.mit.edu
Karen Zee Viktor Kuncak Martin Rinard MIT-CSAIL-TR-946 May On Generalized Records and Spatial Conjunction in Role Logic Viktor Kuncak Martin Rinard
Publications of Martin Rinard
people.csail.mit.edu
Karen Zee, Patrick Lam, Viktor Kuncak, and Martin C. Rinard Proceedings of the Second Workshop on Software Verification and Validation Seattle, Washington, November 2004
Combining Theorem Proving with Static Analysis for Data Structure ...
people.csail.mit.edu
Combining Theorem Proving with Static Analysis for Data Structure Consistency Karen Zee, Patrick Lam, Viktor Kuncak, and Martin Rinard Computer Science and Artificial ...
Programming Languages and Systems: Third Asian Symposium, APLAS
books.google.de
In Tools and Algorithms for the Construction and Analysis of Systems (TACAS'04), pages 530–545, Karen Zee, Patrick Lam, Viktor Kuncak, and Martin C.
Runtime Verification: 7th International Workshop, RV 2007, Vancover,...
books.google.de
188 Serdar Tasiran and Tayfun Elmas Runtime Checking for Program Verification Karen Zee, Viktor Kuncak, Michael Taylor, and Martin ...
On verifying a file system implementation - CiteSeerX
citeseerx.ist.psu.edu
by K Arkoudas · Cited by 86 — author = {Konstantine Arkoudas and Karen Zee and Viktor Kuncak and Martin Rinard}, title = {On verifying a file system implementation}, year = {} } ... › viewdoc › summary
Viktor Kuncak - AMiner
static.aminer.org
Karen Zee, Viktor Kuncak, and Martin Rinard. In ACM Conf. Programming Language Design and Implementation (PLDI), • Modular pluggable analyses for data ... › pdf › PDF › developme...
Viktor Kuncak - LARA - EPFL - Yumpu
www.yumpu.com
Karen Zee, Viktor Kuncak, and Martin Rinard. In ACM Conf. Programming Language Design and Implementation (PLDI), [34] CrystalBall: Predicting and ... › document › view › viktor-k...
CiteSeerX — Authors ’ Addresses
citeseerx.ist.psu.edu
by Thomas Wies , Viktor Kuncak , Karen Zee , Andreas Podelski , Martin Rinard , Thomas Wies , Viktor Kuncak , Karen Zee , Andreas Podelski , Martin Rinard ...
Using First-Order Theorem Provers in the SpringerLink
link.springer.com
by C Bouillaguet · · Cited by 69 — Charles Bouillaguet; Viktor Kuncak; Thomas Wies; Karen Zee; Martin Rinard. Charles Bouillaguet. 1. Viktor Kuncak. 2. Thomas Wies. 3. Karen Zee. › chapter
All web results to the name "Karen Van Der Zee"
Heap Analysis and Verification
www.cs.tau.ac.il
Verifying Complex Properties using Symbolic Shape Analysis. Thomas Wies, Viktor Kuncak, Karen Zee, Martin Rinard and Andreas Podelski. › ~msagiv › program
Long Paper Presentation Combining Theorem Proving with ...
www.comp.nus.edu.sg
Karen Zee, Patrick Lam, Viktor Kuncak, Martin Rinard ( MIT, USA ). We describe an approach for combining theorem proving techniques with static analysis to ... › SVV04 › kuncak
Modular pluggable analyses for data structure consistency
waterloo-staging.pure.elsevier.com
Viktor Kuncak, Patrick Lam, Karen Zee, Martin C. Rinard. Research output: Contribution to journal › Article (Contribution to journal) › peer-review. › publications
Using First-Order Theorem Provers ISTA Research Explorer
research-explorer.app.ist.ac.at
1 Jan — Bouillaguet, Charles, Viktor Kuncak, Thomas Wies, Karen Zee, and Martin Rinard. “Using First-Order Theorem Provers in the Jahob Data ... › record
CiteSeerX — Active Bibliography: Verifying a file system ...
citeseer.uark.edu
by Konstantine Arkoudas , Karen Zee , Viktor Kuncak , Martin Martin C. Rinard Thomas Wies, Viktor Kuncak, Karen Zee, Martin Rinard, Andreas Podelski ...
PLDI Program
pldi2008.cs.ucr.edu
Karen Zee (Massachusetts Institute of Technology), Viktor Kuncak (EPFL, Switzerland), and. Martin Rinard (Massachusetts Institute of ...
PLDI Program
www-plan.cs.colorado.edu
... San Diego; An Integrated Proof Language for Imperative Programs by Karen Zee (MIT CSAIL), Viktor Kuncak (EPFL I&C), and Martin Rinard (MIT CSAIL) ...
PLDI Accepted Papers
www-plan.cs.colorado.edu
by Karen Zee (MIT CSAIL), Viktor Kuncak (EPFL I&C), and Martin Rinard (MIT CSAIL); A Randomized Dynamic Program Analysis Technique for Detecting Real ...
Set Interfaces for Generalized Typestate and Data Structure ...
anjou.uwaterloo.ca
Patrick Lam, Viktor Kuncak, Karen Zee, and Martin Rinard. MIT Computer Science and Artificial Intelligence Laboratory, USA. {plam,vkuncak ...
Publications of Patrick Lam
patricklam.ca
Viktor Kuncak, Patrick Lam, Karen Zee and Martin Rinard. Transactions on Software Engineering, December Modular Pluggable Analyses for Data ...
The FLEX group
flex.cscott.net
Graduate students. C. Scott Ananian; Chandrasekhar Boyapati; Brian Demsky; Viktor Kuncak; Patrick Lam; Darko Marinov; Alex Salcianu; Karen Zee; Staff. Wes Beebee
Viktor Kuncak: Publications and manuscripts
lara.epfl.ch
@MISC{ZeeKuncak04FileRefinement, author = {Karen Zee and Viktor Kuncak}, title = {File Refinement}, howpublished = {The Archive of Formal Proofs}, url = {http
Archive of Formal Proofs
www.isa-afp.org
Author: Karen Zee and Viktor Kuncak: : Integration theory and random variables Author: Stefan Richter: : A Mechanically Verified, Efficient, Sound and Complete ...
Thomas Wies: Publications
cs.nyu.edu
Using First-Order Theorem Provers in the Jahob Data Structure Verification System with Charles Bouillaguet, Viktor Kuncak, Karen Zee, and Martin Rinard In Proceedings of
Runtime Verification - Accepted Papers
rtg.cis.upenn.edu
Serdar Tasiran and Tayfun Elmas A Causality-Based Runtime Check for Atomicity; Karen Zee, Viktor Kuncak and Martin Rinard Runtime Checking for Program Verification Systems
CVC3 page
cs.nyu.edu
Karen Zee, Viktor Kuncak, and Martin Rinard. Verifying Linked Data Structure Implementations. In IEEE International Symposium on Parallel and Distributed Processing (IPDPS
Related search requests for Karen Van Der Zee
| Lisa Qin Elga Trad Paolo Corazzi |
Person "van der Zee" (1) Forename "Karen" (70819) Name "van der Zee" (379) |
sorted by relevance / date