Radu Rugina Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2009
c20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Greg Bronevetsky, Daniel Marques, Keshav Pingali, Sally A. McKee, Radu Rugina: Compiler-enhanced incremental checkpointing for OpenMP applications. IPDPS 2009: 1-12
2008
c19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Xin Zheng, Radu Rugina: Demand-driven alias analysis for C. POPL 2008: 197-208
c18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Greg Bronevetsky, Daniel Marques, Keshav Pingali, Radu Rugina, Sally A. McKee: Compiler-enhanced incremental checkpointing for OpenMP applications. PPOPP 2008: 275-276
2007
c17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sigmund Cherem, Radu Rugina: A Practical Escape and Effect Analysis for Building Lightweight Method Summaries. CC 2007: 172-186
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sigmund Cherem, Radu Rugina: Uniqueness inference for compile-time object deallocation. ISMM 2007: 117-128
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Greg Bronevetsky, Daniel Marques, Keshav Pingali, Radu Rugina: Compiler-Enhanced Incremental Checkpointing. LCPC 2007: 1-15
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sigmund Cherem, Lonnie Princehouse, Radu Rugina: Practical memory leak detection using guarded value-flow analysis. PLDI 2007: 480-491
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sigmund Cherem, Radu Rugina: Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning. VMCAI 2007: 234-250
2006
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sigmund Cherem, Radu Rugina: Compile-time deallocation of individual objects. ISMM 2006: 138-149
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Maksim Orlovich, Radu Rugina: Memory Leak Analysis by Contradiction. SAS 2006: 405-424
2005
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sigmund Cherem, Radu Rugina: A Verifier for Region-Annotated Java Bytecodes. Electr. Notes Theor. Comput. Sci. 141(1): 183-201 (2005)
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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)
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Brian Hackett, Radu Rugina: Region-based shape analysis with tracked locations. POPL 2005: 310-323
2004
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Sigmund Cherem, Radu Rugina: Region analysis and transformation for Java programs. ISMM 2004: 85-96
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Radu Rugina: Shape Analysis Quantitative Shape Analysis. SAS 2004: 228-245
2003
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Radu Rugina, Martin C. Rinard: Pointer analysis for structured parallel programs. ACM Trans. Program. Lang. Syst. 25(1): 70-116 (2003)
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stephen Chong, Radu Rugina: Static Analysis of Accessed Regions in Recursive Data Structures. SAS 2003: 463-482
2001
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Radu Rugina, Martin C. Rinard: Design-Driven Compilation. CC 2001: 150-164
2000
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Radu Rugina, Martin C. Rinard: Recursion Unrolling for Divide and Conquer Programs. LCPC 2000: 34-48
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Radu Rugina, Martin C. Rinard: Symbolic bounds analysis of pointers, array indices, and accessed memory regions. PLDI 2000: 182-195
1999
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Radu Rugina, Martin C. Rinard: Pointer Analysis for Multithreaded Programs. PLDI 1999: 77-90
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Radu Rugina, Martin C. Rinard: Automatic Parallelization of Divide and Conquer Algorithms. PPOPP 1999: 72-83
1998
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Radu Rugina, Klaus E. Schauser: Predicting the Running Times of Parallel Programs by Simulation. IPPS/SPDP 1998: 654-660

Coauthor Index

1Greg Bronevetsky
[c20] [c18] [c15]
2Sigmund Cherem
[c17] [c16] [c14] [c13] [c12] [j3] [c9]
3Stephen Chong
[c7]
4Brian Hackett
[c10]
5Daniel Marques
[c20] [c18] [c15]
6Sally A. McKee
[c20] [c18]
7Maksim Orlovich
[c11]
8Keshav Pingali
[c20] [c18] [c15]
9Lonnie Princehouse
[c14]
10Martin C. Rinard
[j2] [j1] [c6] [c5] [c4] [c3] [c2]
11Klaus E. Schauser
[c1]
12Xin Zheng
[c19]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Tue May 21 00:40:18 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page