The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Martin C. Rinard: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Martin C. Rinard, Pedro C. Diniz
    Commutativity Analysis: A New Analysis Framework for Parallelizing Compilers. [Citation Graph (1, 0)][DBLP]
    PLDI, 1996, pp:54-67 [Conf]
  2. Konstantine Arkoudas, Sarfraz Khurshid, Darko Marinov, Martin C. Rinard
    Integrating Model Checking and Theorem Proving for Relational Reasoning. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2003, pp:21-33 [Conf]
  3. Martin C. Rinard, Cristian Cadar, Daniel Dumitran, Daniel M. Roy, Tudor Leu
    A Dynamic Technique for Eliminating Buffer Overflow Vulnerabilities (and Other Memory Errors). [Citation Graph (0, 0)][DBLP]
    ACSAC, 2004, pp:82-90 [Conf]
  4. Patrick Lam, Viktor Kuncak, Martin C. Rinard
    Crosscutting techniques in program specification and analysis. [Citation Graph (0, 0)][DBLP]
    AOSD, 2005, pp:169-180 [Conf]
  5. Maria-Cristina V. Marinescu, Martin C. Rinard
    High-level specification and efficient implementation of pipelined circuits. [Citation Graph (0, 0)][DBLP]
    ASP-DAC, 2001, pp:655-661 [Conf]
  6. Viktor Kuncak, Huu Hai Nguyen, Martin C. Rinard
    An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic. [Citation Graph (0, 0)][DBLP]
    CADE, 2005, pp:260-277 [Conf]
  7. Patrick Lam, Viktor Kuncak, Martin C. Rinard
    Hob: A Tool for Verifying Data Structure Consistency. [Citation Graph (0, 0)][DBLP]
    CC, 2005, pp:237-241 [Conf]
  8. Radu Rugina, Martin C. Rinard
    Design-Driven Compilation. [Citation Graph (0, 0)][DBLP]
    CC, 2001, pp:150-164 [Conf]
  9. Oscar H. Ibarra, Pedro C. Diniz, Martin C. Rinard
    On the Complexity of Commutativity Analysis. [Citation Graph (0, 0)][DBLP]
    COCOON, 1996, pp:323-332 [Conf]
  10. Viktor Kuncak, Martin C. Rinard, Bruno Marnette
    On Algorithms and Complexity for Sets with Cardinality Constraints. [Citation Graph (0, 0)][DBLP]
    Deduction and Applications, 2005, pp:- [Conf]
  11. Patrick Lam, Martin C. Rinard
    A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2003, pp:275-302 [Conf]
  12. William S. Beebee, Martin C. Rinard
    An Implementation of Scoped Memory for Real-Time Java. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2001, pp:289-305 [Conf]
  13. Martin C. Rinard, Pedro C. Diniz
    Semantic Foundations of Commutativity Analysis. [Citation Graph (0, 0)][DBLP]
    Euro-Par, Vol. I, 1996, pp:414-423 [Conf]
  14. Jianjun Zhao, Martin C. Rinard
    Pipa: A Behavioral Interface Specification Language for AspectJ. [Citation Graph (0, 0)][DBLP]
    FASE, 2003, pp:150-165 [Conf]
  15. Jonathan Babb, Martin C. Rinard, Csaba Andras Moritz, Walter Lee, Matthew Frank, Rajeev Barua, Saman P. Amarasinghe
    Parallelizing Applications into Silicon. [Citation Graph (0, 0)][DBLP]
    FCCM, 1999, pp:70-0 [Conf]
  16. Maria-Cristina V. Marinescu, Martin C. Rinard
    A Formal Framework for Modular Synchronous System Design. [Citation Graph (0, 0)][DBLP]
    FME, 2003, pp:482-502 [Conf]
  17. Konstantine Arkoudas, Karen Zee, Viktor Kuncak, Martin C. Rinard
    Verifying a File System Implementation. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2004, pp:373-390 [Conf]
  18. Martin C. Rinard, Pedro C. Diniz
    Eliminating synchronization bottlenecks in object-based programs using adaptive replication. [Citation Graph (0, 0)][DBLP]
    International Conference on Supercomputing, 1999, pp:83-92 [Conf]
  19. Martin C. Rinard
    Probabilistic accuracy bounds for fault-tolerant computations that discard tasks. [Citation Graph (0, 0)][DBLP]
    ICS, 2006, pp:324-334 [Conf]
  20. Brian Demsky, Martin C. Rinard
    Role-based exploration of object-oriented programs. [Citation Graph (0, 0)][DBLP]
    ICSE, 2002, pp:313-334 [Conf]
  21. Brian Demsky, Martin C. Rinard
    Data structure repair using goal-directed reasoning. [Citation Graph (0, 0)][DBLP]
    ICSE, 2005, pp:176-185 [Conf]
  22. Daniel Jackson, Martin C. Rinard
    Software analysis: a roadmap: a roadmap. [Citation Graph (0, 0)][DBLP]
    ICSE - Future of SE Track, 2000, pp:133-145 [Conf]
  23. Maria-Cristina V. Marinescu, Martin C. Rinard
    A Synthesis Algorithm for Modular Design of Pipelined Circuits. [Citation Graph (0, 0)][DBLP]
    VLSI, 1999, pp:620-635 [Conf]
  24. Martin C. Rinard
    An Integrated Synchronization and Consistency Protocol for the Implementation of a High-Level Parallel Programming Language. [Citation Graph (0, 0)][DBLP]
    IPPS, 1996, pp:549-553 [Conf]
  25. Martin C. Rinard, Pedro C. Diniz
    Commutativity Analysis: A Technique for Automatically Parallelizing Pointer-Based Computations. [Citation Graph (0, 0)][DBLP]
    IPPS, 1996, pp:14-22 [Conf]
  26. Viktor Kuncak, Martin C. Rinard
    An overview of the Jahob analysis system: project goals and current status. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2006, pp:- [Conf]
  27. Brian Demsky, Martin C. Rinard
    Static Specification Analysis for Termination of Specification-Based Data Structure Repair. [Citation Graph (0, 0)][DBLP]
    ISSRE, 2003, pp:71-84 [Conf]
  28. Maria-Cristina V. Marinescu, Martin C. Rinard
    High-level automatic pipelining for sequential circuits. [Citation Graph (0, 0)][DBLP]
    ISSS, 2001, pp:215-220 [Conf]
  29. Brian Demsky, Michael D. Ernst, Philip J. Guo, Stephen McCamant, Jeff H. Perkins, Martin C. Rinard
    Inference and enforcement of data structure consistency specifications. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2006, pp:233-244 [Conf]
  30. Pedro C. Diniz, Martin C. Rinard
    Lock Coarsening: Eliminating Lock Overhead in Automatically Parallelized Object-Based Programs. [Citation Graph (0, 0)][DBLP]
    LCPC, 1996, pp:285-299 [Conf]
  31. Viktor Kuncak, Patrick Lam, Martin C. Rinard
    A Language for Role Specifications. [Citation Graph (0, 0)][DBLP]
    LCPC, 2001, pp:366-382 [Conf]
  32. Radu Rugina, Martin C. Rinard
    Recursion Unrolling for Divide and Conquer Programs. [Citation Graph (0, 0)][DBLP]
    LCPC, 2000, pp:34-48 [Conf]
  33. Daniel J. Scales, Martin C. Rinard, Monica S. Lam, Jennifer-Ann M. Anderson
    Hierarchical Concurrency in Jade. [Citation Graph (0, 0)][DBLP]
    LCPC, 1991, pp:50-64 [Conf]
  34. C. Scott Ananian, Martin C. Rinard
    Data size optimizations for java programs. [Citation Graph (0, 0)][DBLP]
    LCTES, 2003, pp:59-68 [Conf]
  35. Viktor Kuncak, Martin C. Rinard
    Structural Subtyping of Non-Recursive Types is Decidable. [Citation Graph (0, 0)][DBLP]
    LICS, 2003, pp:96-107 [Conf]
  36. Chandrasekhar Boyapati, Robert Lee, Martin C. Rinard
    Ownership types for safe programming: preventing data races and deadlocks. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2002, pp:211-230 [Conf]
  37. Chandrasekhar Boyapati, Martin C. Rinard
    A Parameterized Type System for Race-Free Java Programs. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2001, pp:56-69 [Conf]
  38. Brian Demsky, Martin C. Rinard
    Automatic detection and repair of errors in data structures. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2003, pp:78-95 [Conf]
  39. Steven Fraser, Gregor Kiczales, Ricardo Lopez, Peter G. Neumann, Linda M. Northrop, Martin C. Rinard, Douglas C. Schmidt, Kevin Sullivan
    The ultra challenge: software systems beyond big. [Citation Graph (0, 0)][DBLP]
    OOPSLA Companion, 2006, pp:929-933 [Conf]
  40. Martin C. Rinard
    Acceptability-oriented computing. [Citation Graph (0, 0)][DBLP]
    OOPSLA Companion, 2003, pp:221-239 [Conf]
  41. Martin C. Rinard, Cristian Cadar, Huu Hai Nguyen
    Exploring the acceptability envelope. [Citation Graph (0, 0)][DBLP]
    OOPSLA Companion, 2005, pp:21-30 [Conf]
  42. John Whaley, Martin C. Rinard
    Compositional Pointer and Escape Analysis for Java Programs. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 1999, pp:187-206 [Conf]
  43. Karen Zee, Martin C. Rinard
    Write barrier removal by static analysis. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2002, pp:191-210 [Conf]
  44. Martin C. Rinard, Cristian Cadar, Daniel Dumitran, Daniel M. Roy, Tudor Leu, William S. Beebee
    Enhancing Server Availability and Security Through Failure-Oblivious Computing. [Citation Graph (0, 0)][DBLP]
    OSDI, 2004, pp:303-316 [Conf]
  45. Shahrooz Feizabadi, William S. Beebee, Binoy Ravindran, Peng Li, Martin C. Rinard
    Utilitiy Accrual Scheduling with Real-Time Java. [Citation Graph (0, 0)][DBLP]
    OTM Workshops, 2003, pp:550-563 [Conf]
  46. Chandrasekhar Boyapati, Alexandru Salcianu, William S. Beebee, Martin C. Rinard
    Ownership types for safe region-based memory management in real-time Java. [Citation Graph (0, 0)][DBLP]
    PLDI, 2003, pp:324-337 [Conf]
  47. Wei-Ngan Chin, Florin Craciun, Shengchao Qin, Martin C. Rinard
    Region inference for an object-oriented language. [Citation Graph (0, 0)][DBLP]
    PLDI, 2004, pp:243-254 [Conf]
  48. Pedro C. Diniz, Martin C. Rinard
    Dynamic Feedback: An Effective Technique for Adaptive Computing. [Citation Graph (0, 0)][DBLP]
    PLDI, 1997, pp:71-84 [Conf]
  49. Radu Rugina, Martin C. Rinard
    Symbolic bounds analysis of pointers, array indices, and accessed memory regions. [Citation Graph (0, 0)][DBLP]
    PLDI, 2000, pp:182-195 [Conf]
  50. Radu Rugina, Martin C. Rinard
    Pointer Analysis for Multithreaded Programs. [Citation Graph (0, 0)][DBLP]
    PLDI, 1999, pp:77-90 [Conf]
  51. Frédéric Vivien, Martin C. Rinard
    Incrementalized Pointer and Escape Analysis. [Citation Graph (0, 0)][DBLP]
    PLDI, 2001, pp:35-46 [Conf]
  52. Ovidiu Gheorghioiu, Alexandru Salcianu, Martin C. Rinard
    Interprocedural compatibility analysis for static object preallocation. [Citation Graph (0, 0)][DBLP]
    POPL, 2003, pp:273-284 [Conf]
  53. Viktor Kuncak, Patrick Lam, Martin C. Rinard
    Role analysis. [Citation Graph (0, 0)][DBLP]
    POPL, 2002, pp:17-32 [Conf]
  54. Pedro C. Diniz, Martin C. Rinard
    Synchronization Transformations for Parallel Computing. [Citation Graph (0, 0)][DBLP]
    POPL, 1997, pp:187-200 [Conf]
  55. Martin C. Rinard, Monica S. Lam
    Semantic Foundations of Jade. [Citation Graph (0, 0)][DBLP]
    POPL, 1992, pp:105-118 [Conf]
  56. Vijay A. Saraswat, Martin C. Rinard
    Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    POPL, 1990, pp:232-245 [Conf]
  57. Vijay A. Saraswat, Martin C. Rinard, Prakash Panangaden
    Semantic Foundations of Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    POPL, 1991, pp:333-352 [Conf]
  58. Monica S. Lam, Martin C. Rinard
    Coarse-Grain Parallel Programming in Jade. [Citation Graph (0, 0)][DBLP]
    PPOPP, 1991, pp:94-105 [Conf]
  59. Martin C. Rinard
    Effective Fine-Grain Synchronization for Automatically Parallelized Programs Using Optimistic Synchronization Primitives. [Citation Graph (0, 0)][DBLP]
    PPOPP, 1997, pp:112-123 [Conf]
  60. Radu Rugina, Martin C. Rinard
    Automatic Parallelization of Divide and Conquer Algorithms. [Citation Graph (0, 0)][DBLP]
    PPOPP, 1999, pp:72-83 [Conf]
  61. Alexandru Salcianu, Martin C. Rinard
    Pointer and escape analysis for multithreaded programs. [Citation Graph (0, 0)][DBLP]
    PPOPP, 2001, pp:12-23 [Conf]
  62. Wei-Ngan Chin, Huu Hai Nguyen, Shengchao Qin, Martin C. Rinard
    Memory Usage Verification for OO Programs. [Citation Graph (0, 0)][DBLP]
    SAS, 2005, pp:70-86 [Conf]
  63. Viktor Kuncak, Martin C. Rinard
    Existential Heap Abstraction Entailment Is Undecidable. [Citation Graph (0, 0)][DBLP]
    SAS, 2003, pp:418-438 [Conf]
  64. Viktor Kuncak, Martin C. Rinard
    Generalized Records and Spatial Conjunction in Role Logic. [Citation Graph (0, 0)][DBLP]
    SAS, 2004, pp:361-376 [Conf]
  65. Martin C. Rinard
    Analysis of Multithreaded Programs. [Citation Graph (0, 0)][DBLP]
    SAS, 2001, pp:1-19 [Conf]
  66. Darko Marinov, Sarfraz Khurshid, Suhabe Bugrara, Lintao Zhang, Martin C. Rinard
    Optimizations for Compiling Declarative Models into Boolean Formulas. [Citation Graph (0, 0)][DBLP]
    SAT, 2005, pp:187-202 [Conf]
  67. Martin C. Rinard
    Communication Optimizations for Parallel Computing Using Data Access Information. [Citation Graph (0, 0)][DBLP]
    SC, 1995, pp:- [Conf]
  68. Martin C. Rinard, Daniel J. Scales, Monica S. Lam
    Heterogeneous Parallel Programming in Jade. [Citation Graph (0, 0)][DBLP]
    SC, 1992, pp:245-256 [Conf]
  69. Alessandro Giacalone, Martin C. Rinard, Thomas W. Doeppner Jr.
    IDEOSY: An Ideographic and Interactive Program Description System. [Citation Graph (0, 0)][DBLP]
    Software Development Environments (SDE), 1984, pp:15-20 [Conf]
  70. Martin C. Rinard, Alexandru Salcianu, Suhabe Bugrara
    A classification system and analysis for aspect-oriented programs. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2004, pp:147-158 [Conf]
  71. Alexandru Salcianu, Martin C. Rinard
    Purity and Side Effect Analysis for Java Programs. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2005, pp:199-215 [Conf]
  72. Thomas Wies, Viktor Kuncak, Patrick Lam, Andreas Podelski, Martin C. Rinard
    Field Constraint Analysis. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2006, pp:157-173 [Conf]
  73. Viktor Kuncak, Martin C. Rinard
    Boolean Algebra of Shape Analysis Constraints. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2004, pp:59-72 [Conf]
  74. Patrick Lam, Viktor Kuncak, Martin C. Rinard
    Generalized Typestate Checking for Data Structure Consistency. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2005, pp:430-447 [Conf]
  75. Stefan Andrei, Wei-Ngan Chin, Martin C. Rinard
    Incremental Deterministic Planning. [Citation Graph (0, 0)][DBLP]
    SYNASC, 2006, pp:93-102 [Conf]
  76. Martin C. Rinard, Daniel J. Scales, Monica S. Lam
    Jade: A High-Level, Machine-Independent Language for Parallel Programming. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1993, v:26, n:6, pp:28-38 [Journal]
  77. Pedro C. Diniz, Martin C. Rinard
    Synchronization transformations for parallel computing. [Citation Graph (0, 0)][DBLP]
    Concurrency - Practice and Experience, 1999, v:11, n:13, pp:773-802 [Journal]
  78. Martin C. Rinard
    Applications experience in Jade. [Citation Graph (0, 0)][DBLP]
    Concurrency - Practice and Experience, 1998, v:10, n:6, pp:417-448 [Journal]
  79. Viktor Kuncak, Martin C. Rinard
    The First-Order Theory of Sets with Cardinality Constraints is Decidable [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  80. Viktor Kuncak, Martin C. Rinard
    On the Theory of Structural Subtyping [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  81. Viktor Kuncak, Martin C. Rinard
    On Spatial Conjunction as Second-Order Logic [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  82. Viktor Kuncak, Patrick Lam, Martin C. Rinard
    Roles Are Really Great! [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  83. Viktor Kuncak, Martin C. Rinard
    Typestate Checking and Regular Graph Constraints [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  84. Viktor Kuncak, Martin C. Rinard
    On Role Logic [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  85. Viktor Kuncak, Martin C. Rinard
    On Generalized Records and Spatial Conjunction in Role Logic [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  86. Konstantine Arkoudas, Martin C. Rinard
    Deductive Runtime Certification. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:113, n:, pp:45-63 [Journal]
  87. Viktor Kuncak, Martin C. Rinard
    Decision Procedures for Set-Valued Fields. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:131, n:, pp:51-62 [Journal]
  88. Martin C. Rinard
    Automated Techniques for Surviving (Otherwise) Fatal Software Errors. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:4, pp:113-116 [Journal]
  89. Oscar H. Ibarra, Pedro C. Diniz, Martin C. Rinard
    On the Complexity of Commutativity Analysis. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 1997, v:8, n:1, pp:81-0 [Journal]
  90. Viktor Kuncak, Huu Hai Nguyen, Martin C. Rinard
    Deciding Boolean Algebra with Presburger Arithmetic. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2006, v:36, n:3, pp:213-239 [Journal]
  91. Pedro C. Diniz, Martin C. Rinard
    Lock Coarsening: Eliminating Lock Overhead in Automatically Parallelized Object-Based Programs. [Citation Graph (0, 0)][DBLP]
    J. Parallel Distrib. Comput., 1998, v:49, n:2, pp:218-244 [Journal]
  92. Martin C. Rinard
    Implicitly synchronized abstract data types: data structures for modular parallel programming. [Citation Graph (0, 0)][DBLP]
    J. Prog. Lang., 1998, v:6, n:1, pp:1-35 [Journal]
  93. Patrick Lam, Viktor Kuncak, Martin C. Rinard
    Generalized typestate checking using set interfaces and pluggable analyses. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2004, v:39, n:3, pp:46-55 [Journal]
  94. Karen Zee, Martin C. Rinard
    Write barrier removal by static analysis. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2002, v:37, n:4, pp:32-41 [Journal]
  95. Pedro C. Diniz, Martin C. Rinard
    Eliminating Synchronization Overhead in Automatically Parallelized Programs Using Dynamic Feedback. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Syst., 1999, v:17, n:2, pp:89-132 [Journal]
  96. Martin C. Rinard
    Effective fine-grain synchronization for automatically parallelized programs using optimistic synchronization primitives. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Syst., 1999, v:17, n:4, pp:337-371 [Journal]
  97. Martin C. Rinard, Pedro C. Diniz
    Eliminating synchronization bottlenecks using adaptive replication. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2003, v:25, n:3, pp:316-359 [Journal]
  98. Martin C. Rinard, Pedro C. Diniz
    Commutativity Analysis: A New Analysis Technique for Parallelizing Compilers. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1997, v:19, n:6, pp:942-991 [Journal]
  99. Martin C. Rinard, Monica S. Lam
    The Design, Implementation, and Evaluation of Jade. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1998, v:20, n:3, pp:483-545 [Journal]
  100. Radu Rugina, Martin C. Rinard
    Pointer analysis for structured parallel programs. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2003, v:25, n:1, pp:70-116 [Journal]
  101. Radu Rugina, Martin C. Rinard
    Symbolic bounds analysis of pointers, array indices, and accessed memory regions. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2005, v:27, n:2, pp:185-235 [Journal]
  102. Viktor Kuncak, Patrick Lam, Karen Zee, Martin C. Rinard
    Modular Pluggable Analyses for Data Structure Consistency. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2006, v:32, n:12, pp:988-1005 [Journal]
  103. Brian Demsky, Martin C. Rinard
    Goal-Directed Reasoning for Specification-Based Data Structure Repair. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2006, v:32, n:12, pp:931-951 [Journal]
  104. Viktor Kuncak, Martin C. Rinard
    Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic. [Citation Graph (0, 0)][DBLP]
    CADE, 2007, pp:215-230 [Conf]
  105. Bruno Marnette, Viktor Kuncak, Martin C. Rinard
    Polynomial Constraints for Sets with Cardinality Bounds. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2007, pp:258-273 [Conf]
  106. Patrick Lam, Martin C. Rinard
    Static Verification of Design Constraints and Software Correctness Properties in the Hob System. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2007, pp:1-6 [Conf]
  107. Huu Hai Nguyen, Martin C. Rinard
    Detecting and eliminating memory leaks using cyclic memory allocation. [Citation Graph (0, 0)][DBLP]
    ISMM, 2007, pp:15-30 [Conf]
  108. Martin C. Rinard
    Using early phase termination to eliminate load imbalances at barrier synchronization points. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2007, pp:369-386 [Conf]
  109. Martin C. Rinard
    Living in the comfort zone. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2007, pp:611-622 [Conf]
  110. Thomas Wies, Viktor Kuncak, Karen Zee, Andreas Podelski, Martin C. Rinard
    On Verifying Complex Properties using Symbolic Shape Analysis [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]

  111. Integrated Reasoning and Proof Choice Point Selection in the Jahob System - Mechanisms for Program Survival. [Citation Graph (, )][DBLP]


  112. Taint-based directed whitebox fuzzing. [Citation Graph (, )][DBLP]


  113. Quality of service profiling. [Citation Graph (, )][DBLP]


  114. Verifying linked data structure implementations. [Citation Graph (, )][DBLP]


  115. Automatically identifying critical input regions and code in applications. [Citation Graph (, )][DBLP]


  116. An integrated proof language for imperative programs. [Citation Graph (, )][DBLP]


  117. Full functional verification of linked data structures. [Citation Graph (, )][DBLP]


  118. Automatically patching errors in deployed software. [Citation Graph (, )][DBLP]


  119. Using First-Order Theorem Provers in the Jahob Data Structure Verification System. [Citation Graph (, )][DBLP]


  120. Runtime Checking for Program Verification. [Citation Graph (, )][DBLP]


  121. Implications of a Data Structure Consistency Checking System. [Citation Graph (, )][DBLP]


  122. Technical perspective - Patching program errors. [Citation Graph (, )][DBLP]


  123. On Algorithms and Complexity for Sets with Cardinality Constraints [Citation Graph (, )][DBLP]


Search in 0.047secs, Finished in 0.051secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002