Electrical Engineering
      and Computer Sciences

Electrical Engineering and Computer Sciences

COLLEGE OF ENGINEERING

UC Berkeley

   

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

Articles in journals or magazines

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

Talks or presentations

Masters Reports