Faculty Publications - Ras Bodik

Books

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

Book chapters or sections

• J. Condit and G. Necula, "Data slicing: Separating the heap into independent regions," in Compiler Construction: Proc. 14th Intl. Conf. (CC 2005), R. Bodik, Ed., Lecture Notes in Computer Science, Vol. 3443, Berlin, Germany: Springer-Verlag, 2005, pp. 172-187.

Articles in journals or magazines

• K. Asanović, R. Bodik, J. Demmel, T. Keaveny, K. Keutzer, N. Morgan, D. A. Patterson, K. Sen, J. Wawrzynek, D. Wessel, and K. A. Yelick, "A View of the Parallel Computing Landscape," Communications of the ACM, vol. 52, Oct. 2009.
• A. Shankar, M. Arnold, and R. Bodik, "JOLT: Lightweight dynamic anaysis and removal of object churn," ACM SIGPLAN Notices, vol. 43, no. 10, pp. 127-142, Oct. 2008.
• A. Solar-Lezama, C. G. Jones, and R. Bodik, "Sketching concurrent data structures," ACM SIGPLAN Notices, vol. 43, no. 6, pp. 136-148, June 2008.
• 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 (MICRO Top Picks)," IEEE Micro Special Issue: Micro's Top Picks from Microarchitecture Conferences, 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

• L. A. Meyerovich, M. E. Torok, E. Atkinson, and R. Bodik, "Parallel schedule synthesis for attribute grammars," in Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of parallel programming, PPoPP '13, New York, NY, USA: ACM, 2013, pp. 187--196.
• M. E. Torok, E. Atkinson, R. Bodik, and L. Meyerovich, "Parallel schedule synthesis for attribute grammars," in Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of parallel programming, PPoPP '13, New York, NY, USA: ACM, 2013, pp. 187--196.
• L. A. Meyerovich and R. Bodik, "Fast and Parallel Webpage Layout," in Proceedings of the WWW 2010, Raleigh NC, USA, 2010.
• C. Jones, R. Liu, L. Meyerovich, K. Asanović, and R. Bodik, "Parallelizing the Web Browser," in First USENIX Workshop on Hot Topics in Parallelism, 2009.
• A. Shankar, M. Arnold, and R. Bodik, "JOLT: Lightweight dynamic analysis and removal of object churn," in Proc. 23rd ACM SIGPLAN Conf. on Object Oriented Programming, Systems, Languages, and Applications (OOPSLA 2008), New York, NY: The Association for Computing Machinery, Inc., 2008, pp. 127-142.
• A. Solar-Lezama, C. G. Jones, and R. Bodik, "Sketching concurrent data structures," in Proc. 2008 ACM SIGPLAN Conf. on Programming Language Design and Implementation (PLDI '08), New York, NJ: The Association for Computing Machinery, Inc., 2008, pp. 136-148.
• S. Chandra, V. Saraswat, V. Sarlar, and R. Bodik, "Type inference for locality analysis of distributed data structures," in Proc. 13th ACM SIGPLAN Symp. on Principles and Practice of Parallel Programming (PPoPP 2008), New York, NY: The Association for Computing Machinery, Inc., 2008, pp. 11-22.
• 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 (Poster)," 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 Proc. 12th Intl. Conf. on Architectural Support for Programming Languages and Operating Systems (ASPLOS-XII), New York, NY: The Association for Computing Machinery, Inc., 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

• T. Hottelier, J. Ide, D. Kimelman, and R. Bodik, "Parallel Web Scripting with Reactive Constraints," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2010-16, Feb. 2010. [abstract]
• 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. [abstract]
• M. Sridharan, S. J. Fink, and R. Bodik, "Thin Slicing," EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2006-184, Dec. 2006. [abstract]
• 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. [abstract]
• 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. [abstract]

Talks or presentations

• R. Bodik, "Software Synthesis with Sketching (Invited Talk)," presented at 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, San Francisco, CA, Jan. 2008.