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