The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Rastislav Bodík: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Min Xu, Mark D. Hill, Rastislav Bodík
    A regulated transitive reduction (RTR) for longer memory race recording. [Citation Graph (0, 0)][DBLP]
    ASPLOS, 2006, pp:49-60 [Conf]
  2. Armando Solar-Lezama, Liviu Tancau, Rastislav Bodík, Sanjit A. Seshia, Vijay A. Saraswat
    Combinatorial sketching for finite programs. [Citation Graph (0, 0)][DBLP]
    ASPLOS, 2006, pp:404-415 [Conf]
  3. Rajiv Gupta, Rastislav Bodík
    Register Pressure Sensitive Redundancy Elimination. [Citation Graph (0, 0)][DBLP]
    CC, 1999, pp:107-121 [Conf]
  4. Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa
    Refining Data Flow Information Using Infeasible Paths. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 1997, pp:361-377 [Conf]
  5. Brian A. Fields, Rastislav Bodík, Mark D. Hill
    Slack: Maximizing Performance Under Technological Constraints. [Citation Graph (0, 0)][DBLP]
    ISCA, 2002, pp:47-58 [Conf]
  6. Brian A. Fields, Shai Rubin, Rastislav Bodík
    Focusing processor policies via critical-path prediction. [Citation Graph (0, 0)][DBLP]
    ISCA, 2001, pp:74-85 [Conf]
  7. S. Subramanya Sastry, Rastislav Bodík, James E. Smith
    Rapid profiling via stratified sampling. [Citation Graph (0, 0)][DBLP]
    ISCA, 2001, pp:278-289 [Conf]
  8. Min Xu, Rastislav Bodík, Mark D. Hill
    A "Flight Data Recorder" for Enabling Full-System Multiprocessor Deterministic Replay. [Citation Graph (0, 0)][DBLP]
    ISCA, 2003, pp:122-133 [Conf]
  9. Rastislav Bodík, Rajiv Gupta
    Array Data Flow Analysis for Load-Store Optimizations in Superscalar Architectures. [Citation Graph (0, 0)][DBLP]
    LCPC, 1995, pp:1-15 [Conf]
  10. Brian A. Fields, Rastislav Bodík, Mark D. Hill, Chris J. Newburn
    Using Interaction Costs for Microarchitectural Bottleneck Analysis. [Citation Graph (0, 0)][DBLP]
    MICRO, 2003, pp:228-242 [Conf]
  11. Ajeet Shankar, S. Subramanya Sastry, Rastislav Bodík, James E. Smith
    Runtime specialization with optimistic heap analysis. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2005, pp:327-343 [Conf]
  12. Manu Sridharan, Denis Gopan, Lexin Shan, Rastislav Bodík
    Demand-driven points-to analysis for Java. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2005, pp:59-76 [Conf]
  13. Rastislav Bodík, Rajiv Gupta
    Partial Dead Code Elimination using Slicing Transformations. [Citation Graph (0, 0)][DBLP]
    PLDI, 1997, pp:159-170 [Conf]
  14. Rastislav Bodík, Rajiv Gupta, Vivek Sarkar
    ABCD: eliminating array bounds checks on demand. [Citation Graph (0, 0)][DBLP]
    PLDI, 2000, pp:321-333 [Conf]
  15. Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa
    Interprocedural Conditional Branch Elimination. [Citation Graph (0, 0)][DBLP]
    PLDI, 1997, pp:146-158 [Conf]
  16. Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa
    Complete Removal of Redundant Computations. [Citation Graph (0, 0)][DBLP]
    PLDI, 1998, pp:1-14 [Conf]
  17. Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa
    Complete removal of redundant expressions (with retrospective) [Citation Graph (0, 0)][DBLP]
    Best of PLDI, 1998, pp:596-611 [Conf]
  18. Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa
    Load-Reuse Analysis: Design and Evaluation. [Citation Graph (0, 0)][DBLP]
    PLDI, 1999, pp:64-76 [Conf]
  19. Glenn Ammons, David Mandelin, Rastislav Bodík, James R. Larus
    Debugging temporal specifications with concept analysis. [Citation Graph (0, 0)][DBLP]
    PLDI, 2003, pp:182-195 [Conf]
  20. David Mandelin, Lin Xu, Rastislav Bodík, Doug Kimelman
    Jungloid mining: helping to navigate the API jungle. [Citation Graph (0, 0)][DBLP]
    PLDI, 2005, pp:48-61 [Conf]
  21. Armando Solar-Lezama, Rodric M. Rabbah, Rastislav Bodík, Kemal Ebcioglu
    Programming by sketching for bit-streaming programs. [Citation Graph (0, 0)][DBLP]
    PLDI, 2005, pp:281-294 [Conf]
  22. Manu Sridharan, Rastislav Bodík
    Refinement-based context-sensitive points-to analysis for Java. [Citation Graph (0, 0)][DBLP]
    PLDI, 2006, pp:387-400 [Conf]
  23. Min Xu, Rastislav Bodík, Mark D. Hill
    A serializability violation detector for shared-memory server programs. [Citation Graph (0, 0)][DBLP]
    PLDI, 2005, pp:1-14 [Conf]
  24. Rastislav Bodík, Sadun Anik
    Path-Sensitive Value-Flow Analysis. [Citation Graph (0, 0)][DBLP]
    POPL, 1998, pp:237-251 [Conf]
  25. Glenn Ammons, Rastislav Bodík, James R. Larus
    Mining specifications. [Citation Graph (0, 0)][DBLP]
    POPL, 2002, pp:4-16 [Conf]
  26. Shai Rubin, Rastislav Bodík, Trishul M. Chilimbi
    An efficient profile-analysis framework for data-layout optimizations. [Citation Graph (0, 0)][DBLP]
    POPL, 2002, pp:140-153 [Conf]
  27. Brian A. Fields, Rastislav Bodík, Mark D. Hill, Chris J. Newburn
    Interaction Cost: For When Event Counts Just Don't Add Up. [Citation Graph (0, 0)][DBLP]
    IEEE Micro, 2004, v:24, n:6, pp:57-61 [Journal]
  28. Brian A. Fields, Rastislav Bodík, Mark D. Hill, Chris J. Newburn
    Interaction cost and shotgun profiling. [Citation Graph (0, 0)][DBLP]
    TACO, 2004, v:1, n:3, pp:272-304 [Journal]
  29. Ajeet Shankar, Rastislav Bodík
    DITTO: automatic incrementalization of data structure invariant checks (in Java). [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:310-319 [Conf]
  30. Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodík, Vijay A. Saraswat, Sanjit A. Seshia
    Sketching stencils. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:167-178 [Conf]
  31. Manu Sridharan, Stephen J. Fink, Rastislav Bodík
    Thin slicing. [Citation Graph (0, 0)][DBLP]
    PLDI, 2007, pp:112-122 [Conf]
  32. Min Xu, Rastislav Bodík, Mark D. Hill
    A Hardware Memory Race Recorder for Deterministic Replay. [Citation Graph (0, 0)][DBLP]
    IEEE Micro, 2007, v:27, n:1, pp:48-55 [Journal]

  33. Synthesizing hardware from sketches. [Citation Graph (, )][DBLP]


  34. Jolt: lightweight dynamic analysis and removal of object churn. [Citation Graph (, )][DBLP]


  35. Software synthesis with sketching. [Citation Graph (, )][DBLP]


  36. Sketching concurrent data structures. [Citation Graph (, )][DBLP]


  37. Programming with angelic nondeterminism. [Citation Graph (, )][DBLP]


  38. Type inference for locality analysis of distributed data structures. [Citation Graph (, )][DBLP]


  39. Algorithmic Program Synthesis with Partial Programs and Decision Procedures. [Citation Graph (, )][DBLP]


  40. Fast and parallel webpage layout. [Citation Graph (, )][DBLP]


  41. A view of the parallel computing landscape. [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.008secs
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