Search the dblp DataBase

Publications of Author

1. Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof, Yichen Xie
   Zing: A Model Checker for Concurrent Software. [Citation Graph (0, 0)][DBLP]
   CAV, 2004, pp:484-487 [Conf]
   
2. Cédric Fournet, C. A. R. Hoare, Sriram K. Rajamani, Jakob Rehof
   Stuck-Free Conformance. [Citation Graph (0, 0)][DBLP]
   CAV, 2004, pp:242-254 [Conf]
   
3. Sriram K. Rajamani, Jakob Rehof
   Conformance Checking for Models of Asynchronous Message Passing Software. [Citation Graph (0, 0)][DBLP]
   CAV, 2002, pp:166-179 [Conf]
   
4. Fritz Henglein, Jakob Rehof
   Safe Polymorphic Type Inference for Scheme: Translating Scheme to ML. [Citation Graph (0, 0)][DBLP]
   FPCA, 1995, pp:192-203 [Conf]
   
5. Fritz Henglein, Jakob Rehof
   Constraint Automata and the Complexity of Recursive Subtype Entailment. [Citation Graph (0, 0)][DBLP]
   ICALP, 1998, pp:616-627 [Conf]
   
6. Sriram K. Rajamani, Jakob Rehof
   Models for Contract Conformance. [Citation Graph (0, 0)][DBLP]
   ISoLA, 2004, pp:181-196 [Conf]
   
7. Fritz Henglein, Jakob Rehof
   The Complexity of Subtype Entailment for Simple Types. [Citation Graph (0, 0)][DBLP]
   LICS, 1997, pp:352-361 [Conf]
   
8. Manuel Fähndrich, Jakob Rehof, Manuvir Das
   Scalable context-sensitive flow analysis using instantiation constraints. [Citation Graph (0, 0)][DBLP]
   PLDI, 2000, pp:253-263 [Conf]
   
9. Sagar Chaki, Sriram K. Rajamani, Jakob Rehof
   Types as models: model checking message-passing programs. [Citation Graph (0, 0)][DBLP]
   POPL, 2002, pp:45-57 [Conf]
   
10. Todd B. Knoblock, Jakob Rehof
    Type Elaboration and Subtype Completion for Java Bytecode. [Citation Graph (0, 0)][DBLP]
    POPL, 2000, pp:228-242 [Conf]
    
11. Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof
    Summarizing procedures in concurrent programs. [Citation Graph (0, 0)][DBLP]
    POPL, 2004, pp:245-255 [Conf]
    
12. Jakob Rehof
    Minimal Typings in Atomic Subtyping. [Citation Graph (0, 0)][DBLP]
    POPL, 1997, pp:278-291 [Conf]
    
13. Jakob Rehof, Manuel Fähndrich
    Type-base flow analysis: from polymorphic subtyping to CFL-reachability. [Citation Graph (0, 0)][DBLP]
    POPL, 2001, pp:54-66 [Conf]
    
14. Manuvir Das, Ben Liblit, Manuel Fähndrich, Jakob Rehof
    Estimating the Impact of Scalable Pointer Analysis on Optimization. [Citation Graph (0, 0)][DBLP]
    SAS, 2001, pp:260-278 [Conf]
    
15. Sriram K. Rajamani, Jakob Rehof
    A Behavioral Module System for the Pi-Calculus. [Citation Graph (0, 0)][DBLP]
    SAS, 2001, pp:375-394 [Conf]
    
16. Jakob Rehof, Torben Æ. Mogensen
    Tractable Constraints in Finite Semilattices. [Citation Graph (0, 0)][DBLP]
    SAS, 1996, pp:285-300 [Conf]
    
17. Shaz Qadeer, Jakob Rehof
    Context-Bounded Model Checking of Concurrent Software. [Citation Graph (0, 0)][DBLP]
    TACAS, 2005, pp:93-107 [Conf]
    
18. Jakob Rehof, Morten Heine Sørensen
    The Lambda_Delta-calculus. [Citation Graph (0, 0)][DBLP]
    TACS, 1994, pp:516-542 [Conf]
    
19. Jakob Rehof
    Strong Normalization for Non-Structural Subtyping via Saturated Sets. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1996, v:58, n:4, pp:157-162 [Journal]
    
20. Jakob Rehof, Torben Æ. Mogensen
    Tractable Constraints in Finite Semilattices. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1999, v:35, n:2, pp:191-221 [Journal]
    
21. Todd B. Knoblock, Jakob Rehof
    Type elaboration and subtype completion for Java bytecode. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2001, v:23, n:2, pp:243-272 [Journal]
    
22. 
    Models for Contract Conformance. [Citation Graph (, )][DBLP]