Faculty Publications - Ras Bodik

Books

• R. Bodik, Ed., Compiler Construction, Lecture Notes in Computer Science, Vol. 3443, Berlin: Springer-Verlag, 2005.
• R. Bodik, Ed., Compiler Construction, Lecture Notes in Computer Science: Theoretical Computer Science and General Issues, Vol. 3443, Berlin, Germany: Springer-Verlag, 2005.

Articles in journals or magazines

• A. Shankar and R. Bodik, "DITTO: Automatic incrementalization of data structure invariant checks (in Java)," ACM SIGPLAN Notices, vol. 42, no. 6, pp. 310-319, June 2007.
• M. Sridharan, S. J. Fink, and R. Bodik, "Thin slicing," ACM SIGPLAN Notices, vol. 42, no. 6, pp. 112-122, June 2007.
• A. Solar Lezama, G. Arnold, L. Tancau, R. Bodik, V. Saraswat, and S. A. Seshia, "Sketching stencils," ACM SIGPLAN Notices, vol. 42, no. 6, pp. 167-178, June 2007.
• M. Xu, R. Bodik, and M. D. Hill, "A hardware memory race recorder for deterministic replay," IEEE Micro, vol. 27, no. 1, pp. 48-55, Jan. 2007.
• M. Xu, M. D. Hill, and R. Bodik, "A regulated transitive reduction (RTR) for longer memory race recording," ACM SIGOPS Operating Systems Review, vol. 40, no. 5, pp. 49-60, Dec. 2006.
• A. Solar Lezama, L. Tancau, R. Bodik, V. Saraswat, and S. A. Seshia, "Combinatorial sketching for finite programs," ACM SIGPLAN Notices, vol. 41, no. 11, pp. 404-415, Nov. 2006.
• M. Sridharan and R. Bodik, "Refinement-based context-sensitive points-to-analysis for Java," ACM SIGPLAN Notices, vol. 41, no. 6, pp. 387-400, June 2006.
• M. Sridharan, D. Gopan, L. Shan, and R. Bodik, "Demand-driven points-to analysis for Java," ACM SIGPLAN Notices, vol. 40, no. 10, pp. 59-76, Oct. 2005.
• A. Shankar, S. S. Sastry, R. Bodik, and J. E. Smith, "Runtime specialization with optimistic heap analysis," ACM SIGPLAN Notices, vol. 40, no. 10, pp. 327-343, Oct. 2005.
• M. Xu, R. Bodik, and M. D. Hill, "A serializability violation detector for shared-memory server programs," ACM SIGPLAN Notices, vol. 40, no. 6, pp. 1-14, June 2005.
• A. Solar-Lezama, R. Rabbah, R. Bodik, and K. Ebcioglu, "Programming by sketching for bitstreaming programs," ACM SIGPLAN Notices, vol. 40, no. 6, pp. 281-294, June 2005.
• D. Mandelin, L. Xu, R. Bodik, and D. Kimelman, "Jungloid mining: Helping to navigate the API jungle," ACM SIGPLAN Notices, vol. 40, no. 6, pp. 48-61, June 2005.
• B. A. Fields, R. Bodik, M. D. Hill, and C. J. Newburn, "Interaction cost: For when event counts just don't add up," IEEE Micro, vol. 24, no. 6, pp. 57-61, Nov. 2004.
• B. A. Fields, R. Bodik, M. D. Hill, and C. J. Newburn, "Interaction cost and shotgun profiling," ACM Trans. Architecture and Code Optimization (TACO), vol. 1, no. 3, pp. 272-304, Sep. 2004.
• R. Bodik, R. Gupta, and M. L. Soffa, "Retrospective: Complete removal of redundant expressions," ACM SIGPLAN Notices: Best of PLDI 1979-1999, vol. 39, no. 4, pp. 596-611, April 2004.
• G. Ammons, D. Mandelin, R. Bodik, and J. R. Larus, "Debugging temporal specification with concept analysis," ACM SIGPLAN Notices, vol. 38, no. 5, pp. 182-195, May 2003.
• M. Xu, R. Bodik, and M. D. Hill, "A "flight data recorder" for enabling full-system multiprocessor deterministic replay," ACM SIGARCH Computer Architecture News, vol. 31, no. 2, pp. 122-135, May 2003.
• B. Fields, R. Bodik, and M. D. Hill, "Slack: Maximizing performance under technological constraints," ACM SIGARCH Computer Architecture News, vol. 30, no. 2, pp. 47-58, May 2002.
• G. Ammons, R. Bodik, and J. R. Larus, "Mining specifications," ACM SIGPLAN Notices, vol. 37, no. 1, pp. 4-16, Jan. 2002.
• S. Rubin, R. Bodik, and T. Chilimbi, "An efficient profile-analysis framework for data-layout optimizations," ACM SIGPLAN Notices, vol. 37, no. 1, pp. 140-153, Jan. 2002.
• S. S. Sastry, R. Bodik, and J. E. Smith, "Rapid profiling via stratified sampling," ACM SIGARCH Computer Architecture News, vol. 29, no. 2, pp. 278-289, May 2001.
• R. Bodik, R. Gupta, and V. Sarkar, "ABCD: Eliminating array bounds checks on demand," ACM SIGPLAN Notices, vol. 35, no. 5, pp. 321-333, May 2000.

Articles in conference proceedings

• A. Shankar and R. Bodik, "DITTO: Automatic incrementalization of data structure invariant checks (in Java)," in Proc. 2007 ACM SIGPLAN Conf. on Programming Language Design and Implementation (PLDI '07), New York, NY: The Association for Computing Machinery, Inc., 2007, pp. 310-319.
• M. Sridharan, S. J. Fink, and R. Bodik, "Thin slicing," in Proc. 2007 ACM SIGPLAN Conf. on Programming Language Design and Implementation (PLDI '07), New York, NY: The Association for Computing Machinery, Inc., 2007, pp. 112-122.
• A. Solar Lezama, G. Arnold, L. Tancau, R. Bodik, V. Saraswat, and S. A. Seshia, "Sketching stencils," in Proc. 2007 ACM SIGPLAN Conf. on Programming Language Design and Implementation (PLDI '07), New York, NY: The Association for Computing Machinery, Inc., 2007, pp. 167-178.
• M. Xu, M. D. Hill, and R. Bodik, "A regulated transitive reduction (RTR) for longer memory race recording," in Proc. 12th Intl. Conf. on Architectural Support for Programming Languages and Operating Systems (APLOS 2006), New York, NY: The Association for Computing Machinery, Inc., 2006, pp. 49-60.
• A. Solar Lezama, L. Tancau, R. Bodik, V. Saraswat, and S. A. Seshia, "Combinatorial Sketching for Finite Programs," in 12th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), ACM Press, 2006, pp. 404-415.
• M. Sridharan and R. Bodik, "Refinement-based context-sensitive points-to-analysis for Java," in Proc. 2006 ACM SIGPLAN Conf. on Programming Language Design and Implementation (PLDI '06), New York, Ny: The Association for Computing Machinery, Inc., 2006, pp. 387-400.
• M. Sridharan, D. Gopan, L. Shan, and R. Bodik, "Demand-driven points-to analysis for Java," in Proc. 20th Annual ACM SIGPLAN Conf. on Object Oriented Programming, Systems, Languages, and Applications (OOPSLA '05), New York, NY: The Association for Computing Machinery, Inc., 2005, pp. 59-76.
• A. Shankar, S. S. Sastry, R. Bodik, and J. E. Smith, "Runtime specialization with optimistic heap analysis," in Proc. 20th Annual ACM SIGPLAN Conf. on Object Oriented Programming, Systems, Languages, and Applications (OOPSLA '05), New York, NY: The Association for Computing Machinery, Inc., 2005, pp. 327-343.
• M. Xu, R. Bodik, and M. D. Hill, "A serializability violation detector for shared-memory server programs," in Proc. 2005 ACM SIGPLAN Conf. on Programming Language Design and Implementation (PLDI 2005), New York, NY: The Association for Computer Machinery, Inc., 2005, pp. 1-14.
• D. P. Mandelin, L. Xu, R. Bodik, and D. Kimelman, "Jungloid mining: Helping to navigate the API jungle," in Proc. 2005 ACM SIGPLAN Conf. on Programming Language Design and Implementation (PLDI 2005), New York, NY: The Association for Computing Machinery, Inc., 2005, pp. 48-61.
• B. A. Fields, R. Bodik, M. D. Hill, and C. J. Newburn, "Using interaction costs for microarchitectural bottleneck analysis," in Proc. 36th Annual IEEE/ACM Intl. Symp. on Microarchitecture (MICRO-36 2003), Los Alamitos, CA: IEEE Computer Society Press, 2003, pp. 228-239.
• G. Ammons, D. Mandelin, R. Bodik, and J. R. Larus, "Debugging temporal specifications with concept analysis," in Proc. ACM SIGPLAN 2003 Conf. on Programming Language Design and Implementation (PLDI '03), New York, NY: The Association for Computing Machinery, Inc., 2003, pp. 182-195.
• M. Xu, R. Bodik, and M. D. Hill, "A "flight data recorder" for enabling full-system multiprocessor deterministic replay," in Proc. 30th Annual Intl. Symp. on Computer Architecture (ISCA 2003), Los Alamitos, CA: IEEE Computer Society Press, 2003, pp. 122-133.
• B. Fields, R. Bodik, and M. D. Hill, "Slack: Maximizing performance under technological constraints," in Proc. 29th Annual Intl. Symp. on Computer Architecture (ISCA '02), Los Alamitos, CA: IEEE Computer Society Press, 2002, pp. 47-58.
• G. Ammons, R. Bodik, and J. R. Larus, "Mining specifications," in Proc. 29th ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages (POPL 2002), New York, NY: The Association for Computing Machinery, Inc., 2002, pp. 4-16.
• S. Rubin, R. Bodik, and T. Chilimbi, "An efficient profile-analysis framework for data-layout optimizations," in Proc. 29th ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages (POPL 2002), New York, NY: The Association for Computing Machinery, Inc., 2002, pp. 140-153.
• S. S. Sastry, R. Bodik, and J. E. Smith, "Rapid profiling via stratified sampling," in Proc. 28th Annual Intl. Symp. on Computer Architecture (ISCA 2001), Los Alamitos, CA: IEEE Computer Society Press, 2001, pp. 278-289.
• B. Fields, S. Rubin, and R. Bodik, "Focusing processor policies via critical-path prediction," in Proc. 28th Ann. IEEE Intl. Symp. on Computer Architecture, New York, NY: ACM Press, 2001, pp. 74-85.

Technical Reports

• K. Asanovic, R. Bodik, J. Demmel, T. Keaveny, K. Keutzer, J. D. Kubiatowicz, E. A. Lee, N. Morgan, G. Necula, D. A. Patterson, K. Sen, J. Wawrzynek, D. Wessel, and K. A. Yelick, "The Parallel Computing Laboratory at U.C. Berkeley: A Research Agenda Based on the Berkeley View," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2008-23, March 2008.
• M. Sridharan, S. J. Fink, and R. Bodik, "Thin Slicing," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2006-184, Dec. 2006.
• K. Asanovic, R. Bodik, B. C. Catanzaro, J. J. Gebis, P. Husbands, K. Keutzer, D. A. Patterson, W. L. Plishker, J. Shalf, S. W. Williams, and K. A. Yelick, "The Landscape of Parallel Computing Research: A View from Berkeley," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2006-183, Dec. 2006.
• M. Sridharan and R. Bodik, "Refinement-Based Context-Sensitive Points-To Analysis for Java," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2006-31, March 2006.