![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Rastislav Bodík
Person information
- affiliation: University of Washington, Seattle, USA
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j20]Dan Cascaval
, Rastislav Bodík
, Adriana Schulz
:
A Lineage-Based Referencing DSL for Computer-Aided Design. Proc. ACM Program. Lang. 7(PLDI): 76-99 (2023) - [j19]Junrui Liu
, Yanju Chen
, Eric Atkinson
, Yu Feng
, Rastislav Bodík
:
Conflict-Driven Synthesis for Layout Engines. Proc. ACM Program. Lang. 7(PLDI): 638-659 (2023) - [j18]Sirui Lu
, Rastislav Bodík
:
Grisette: Symbolic Compilation as a Functional Programming Library. Proc. ACM Program. Lang. 7(POPL): 455-487 (2023) - 2022
- [j17]Dan Cascaval, Mira Shalah, Phillip Quinn, Rastislav Bodík, Maneesh Agrawala, Adriana Schulz:
Differentiable 3D CAD Programs for Bidirectional Editing. Comput. Graph. Forum 41(2): 309-323 (2022) - [c76]Yanju Chen
, Junrui Liu, Yu Feng
, Rastislav Bodík:
Tree traversal synthesis using domain-specific symbolic compilation. ASPLOS 2022: 1030-1042 - [c75]Xiangyu Zhou, Rastislav Bodík, Alvin Cheung
, Chenglong Wang:
Synthesizing analytical SQL queries from computation demonstration. PLDI 2022: 168-182 - [i13]Xiangyu Zhou, Rastislav Bodík, Alvin Cheung
, Chenglong Wang:
Synthesizing Analytical SQL Queries from Computation Demonstration. CoRR abs/2204.07102 (2022) - 2021
- [c74]Chenglong Wang, Yu Feng
, Rastislav Bodík, Isil Dillig, Alvin Cheung
, Amy J. Ko:
Falx: Synthesis-Powered Visualization Authoring. CHI 2021: 106:1-106:15 - [i12]Chenglong Wang, Yu Feng, Rastislav Bodík, Isil Dillig, Alvin Cheung, Amy J. Ko:
Falx: Synthesis-Powered Visualization Authoring. CoRR abs/2102.01024 (2021) - [i11]Dan Cascaval, Mira Shalah, Phillip Quinn, Rastislav Bodík, Maneesh Agrawala, Adriana Schulz:
Differentiable 3D CAD Programs for Bidirectional Editing. CoRR abs/2110.01182 (2021) - 2020
- [j16]Grigory Fedyukovich
, Samuel J. Kaufman, Rastislav Bodík:
Learning inductive invariants by sampling from frequency distributions. Formal Methods Syst. Des. 56(1): 154-177 (2020) - [j15]Julie L. Newcomb, Andrew Adams, Steven Johnson, Rastislav Bodík, Shoaib Kamil:
Verifying and improving Halide's term rewriting system with program synthesis. Proc. ACM Program. Lang. 4(OOPSLA): 166:1-166:28 (2020) - [j14]Chenglong Wang, Yu Feng, Rastislav Bodík, Alvin Cheung
, Isil Dillig:
Visualization by example. Proc. ACM Program. Lang. 4(POPL): 49:1-49:28 (2020) - [c73]Bastian Hagedorn, Archibald Samuel Elliott, Henrik Barthels, Rastislav Bodík, Vinod Grover:
Fireiron: A Data-Movement-Aware Scheduling Language for GPUs. PACT 2020: 71-82 - [c72]Yu Feng
, Emina Torlak, Rastislav Bodík:
Summary-Based Symbolic Evaluation for Smart Contracts. ASE 2020: 1141-1152 - [i10]Bastian Hagedorn, Archibald Samuel Elliott, Henrik Barthels, Rastislav Bodík, Vinod Grover:
Fireiron: A Scheduling Language for High-Performance Linear Algebra on GPUs. CoRR abs/2003.06324 (2020) - [i9]Rajeev Alur, Richard G. Baraniuk, Rastislav Bodík, Ann W. Drobnis
, Sumit Gulwani, Bjoern Hartmann, Yasmin B. Kafai, Jeff Karpicke, Ran Libeskind-Hadas, Debra J. Richardson, Armando Solar-Lezama, Candace Thille, Moshe Y. Vardi:
Computer-Aided Personalized Education. CoRR abs/2007.03704 (2020)
2010 – 2019
- 2019
- [j13]Max Willsey
, Vincent T. Lee
, Alvin Cheung
, Rastislav Bodík, Luis Ceze
:
Iterative Search for Reconfigurable Accelerator Blocks With a Compiler in the Loop. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 38(3): 407-418 (2019) - [c71]Phitchaya Mangpo Phothilimthana, Archibald Samuel Elliott, An Wang, Abhinav Jangda, Bastian Hagedorn, Henrik Barthels, Samuel J. Kaufman, Vinod Grover, Emina Torlak, Rastislav Bodík:
Swizzle Inventor: Data Movement Synthesis for GPU Kernels. ASPLOS 2019: 65-78 - [e8]Benjamin S. Lerner, Rastislav Bodík, Shriram Krishnamurthi:
3rd Summit on Advances in Programming Languages, SNAPL 2019, May 16-17, 2019, Providence, RI, USA. LIPIcs 136, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-113-9 [contents] - [i8]Yu Feng, Emina Torlak, Rastislav Bodík:
Precise Attack Synthesis for Smart Contracts. CoRR abs/1902.06067 (2019) - [i7]Julie L. Newcomb, Rastislav Bodík:
Using human-in-the-loop synthesis to author functional reactive programs. CoRR abs/1909.11206 (2019) - [i6]Chenglong Wang, Yu Feng, Rastislav Bodík, Alvin Cheung, Isil Dillig:
Visualization by Example. CoRR abs/1911.09668 (2019) - 2018
- [j12]Chenglong Wang, Alvin Cheung
, Rastislav Bodík:
Speeding up symbolic reasoning for relational queries. Proc. ACM Program. Lang. 2(OOPSLA): 157:1-157:25 (2018) - [j11]Kartik Chandra, Rastislav Bodík:
Bonsai: synthesis-based reasoning for type systems. Proc. ACM Program. Lang. 2(POPL): 62:1-62:34 (2018) - [c70]Phitchaya Mangpo Phothilimthana, Ming Liu, Antoine Kaufmann, Simon Peter, Rastislav Bodík, Thomas E. Anderson:
Floem: A Programming System for NIC-Accelerated Network Applications. OSDI 2018: 663-679 - [c69]Grigory Fedyukovich
, Rastislav Bodík:
Accelerating Syntax-Guided Invariant Synthesis. TACAS (1) 2018: 251-269 - [c68]Sarah E. Chasins
, Maria Mueller, Rastislav Bodík:
Rousillon: Scraping Distributed Hierarchical Web Data. UIST 2018: 963-975 - 2017
- [j10]Sarah E. Chasins
, Rastislav Bodík:
Skip blocks: reusing execution history to accelerate web scripts. Proc. ACM Program. Lang. 1(OOPSLA): 51:1-51:28 (2017) - [c67]Grigory Fedyukovich
, Samuel J. Kaufman, Rastislav Bodík:
Sampling invariants from frequency distributions. FMCAD 2017: 100-107 - [c66]Chenglong Wang, Alvin Cheung
, Rastislav Bodík:
Synthesizing highly expressive SQL queries from input-output examples. PLDI 2017: 452-466 - [c65]Grigory Fedyukovich
, Maaz Bin Safeer Ahmad
, Rastislav Bodík:
Gradual synthesis for static parallelization of single-pass array-processing programs. PLDI 2017: 572-585 - [c64]Chenglong Wang, Alvin Cheung
, Rastislav Bodík:
Interactive Query Synthesis from Input-Output Examples. SIGMOD Conference 2017: 1631-1634 - [c63]Rastislav Bodík, Kartik Chandra, Phitchaya Mangpo Phothilimthana, Nathaniel Yazdani:
Domain-Specific Symbolic Compilation. SNAPL 2017: 2:1-2:17 - [e7]Benjamin S. Lerner, Rastislav Bodík, Shriram Krishnamurthi:
2nd Summit on Advances in Programming Languages, SNAPL 2017, May 7-10, 2017, Asilomar, CA, USA. LIPIcs 71, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2017, ISBN 978-3-95977-032-3 [contents] - [i5]Kartik Chandra, Rastislav Bodík:
Bonsai: Synthesis-Based Reasoning for Type Systems. CoRR abs/1708.00551 (2017) - 2016
- [c62]Phitchaya Mangpo Phothilimthana, Aditya Thakur, Rastislav Bodík, Dinakar Dhurjati:
Scaling up Superoptimization. ASPLOS 2016: 297-310 - [c61]Phitchaya Mangpo Phothilimthana, Aditya Thakur, Rastislav Bodík, Dinakar Dhurjati:
GreenThumb: superoptimizer construction framework. CC 2016: 261-262 - [c60]Yi Wu, Lei Li, Stuart Russell, Rastislav Bodík:
Swift: Compiled Inference for Probabilistic Programming Languages. IJCAI 2016: 3637-3645 - [c59]Phitchaya Mangpo Phothilimthana, Michael Schuldt, Rastislav Bodík:
Compiling a gesture recognition application for a low-power spatial architecture. LCTES 2016: 102-112 - [c58]Shaon Barman, Sarah E. Chasins
, Rastislav Bodík, Sumit Gulwani:
Ringer: web automation by demonstration. OOPSLA 2016: 748-764 - [c57]Grigory Fedyukovich
, Rastislav Bodík:
Approaching Symbolic Parallelization by Synthesis of Recurrence Decompositions. SYNT@CAV 2016: 55-66 - [e6]Rastislav Bodík, Rupak Majumdar:
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20 - 22, 2016. ACM 2016, ISBN 978-1-4503-3549-2 [contents] - [i4]Rohin Shah, Emina Torlak, Rastislav Bodík:
SIMPL: A DSL for Automatic Specialization of Inference Algorithms. CoRR abs/1604.04729 (2016) - [i3]Yi Wu, Lei Li, Stuart Russell, Rastislav Bodík:
Swift: Compiled Inference for Probabilistic Programming Languages. CoRR abs/1606.09242 (2016) - 2015
- [c56]Rastislav Bodík:
Program synthesis: opportunities for the next decade. ICFP 2015: 1 - [c55]Thibaud Hottelier, Rastislav Bodík:
Synthesis of layout engines from relational constraints. OOPSLA 2015: 74-88 - [c54]Shaon Barman, Rastislav Bodík, Satish Chandra, Emina Torlak, Arka Aloke Bhattacharya, David E. Culler:
Toward tool support for interactive synthesis. Onward! 2015: 121-136 - [c53]Sarah E. Chasins
, Shaon Barman, Rastislav Bodík, Sumit Gulwani:
Browser Record and Replay as a Building Block for End-User Web Automation Tools. WWW (Companion Volume) 2015: 179-182 - [p1]Rajeev Alur, Rastislav Bodík, Eric Dallal, Dana Fisman
, Pranav Garg, Garvit Juniwal, Hadas Kress-Gazit, P. Madhusudan, Milo M. K. Martin, Mukund Raghothaman
, Shambwaditya Saha, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama
, Emina Torlak, Abhishek Udupa:
Syntax-Guided Synthesis. Dependable Software Systems Engineering 2015: 1-25 - [e5]Thomas Ball, Rastislav Bodík, Shriram Krishnamurthi, Benjamin S. Lerner, Greg Morrisett:
1st Summit on Advances in Programming Languages, SNAPL 2015, May 3-6, 2015, Asilomar, California, USA. LIPIcs 32, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2015, ISBN 978-3-939897-80-4 [contents] - 2014
- [c52]Joel Galenson, Philip Reames, Rastislav Bodík, Björn Hartmann, Koushik Sen:
CodeHint: dynamic and interactive synthesis of code snippets. ICSE 2014: 653-663 - [c51]Phitchaya Mangpo Phothilimthana, Tikhon Jelvis
, Rohin Shah, Nishant Totla, Sarah E. Chasins
, Rastislav Bodík:
Chlorophyll: synthesis-aided compiler for low-power spatial architectures. PLDI 2014: 396-407 - [c50]Emina Torlak, Rastislav Bodík:
A lightweight symbolic virtual machine for solver-aided host languages. PLDI 2014: 530-541 - [c49]Thibaud Hottelier, Ras Bodík, Kimiko Ryokai:
Programming by manipulation for layout. UIST 2014: 231-241 - 2013
- [j9]Rastislav Bodík, Barbara Jobstmann:
Algorithmic program synthesis: introduction. Int. J. Softw. Tools Technol. Transf. 15(5-6): 397-411 (2013) - [c48]Rajeev Alur, Rastislav Bodík, Garvit Juniwal, Milo M. K. Martin, Mukund Raghothaman, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama
, Emina Torlak, Abhishek Udupa:
Syntax-guided synthesis. FMCAD 2013: 1-8 - [c47]Rastislav Bodík:
Modeling biology with solver-aided programming languages. GPCE 2013: 1-2 - [c46]Emina Torlak, Rastislav Bodík:
Growing solver-aided languages with rosette. Onward! 2013: 135-152 - [c45]Ali Sinan Köksal, Yewen Pu, Saurabh Srivastava, Rastislav Bodík, Jasmin Fisher
, Nir Piterman
:
Synthesis of biological models from mutation experiments. POPL 2013: 469-482 - [c44]Leo A. Meyerovich, Matthew E. Torok, Eric Atkinson, Rastislav Bodík:
Parallel schedule synthesis for attribute grammars. PPoPP 2013: 187-196 - [e4]Vivek Sarkar, Rastislav Bodík:
Architectural Support for Programming Languages and Operating Systems, ASPLOS 2013, Houston, TX, USA, March 16-20, 2013. ACM 2013, ISBN 978-1-4503-1870-9 [contents] - 2012
- [j8]Rastislav Bodík:
Compiling what to how: technical perspective. Commun. ACM 55(2): 102 (2012) - [c43]Rastislav Bodík, Emina Torlak:
Synthesizing Programs with Constraint Solvers. CAV 2012: 3 - [i2]Rastislav Bodík, Sumit Gulwani, Eran Yahav:
Software Synthesis (Dagstuhl Seminar 12152). Dagstuhl Reports 2(4): 21-38 (2012) - 2011
- [c42]Satish Chandra, Emina Torlak, Shaon Barman, Rastislav Bodík:
Angelic debugging. ICSE 2011: 121-130 - [c41]Yewen Pu, Rastislav Bodík, Saurabh Srivastava:
Synthesis of first-order dynamic programming algorithms. OOPSLA 2011: 83-98 - 2010
- [c40]Gilad Arnold, Johannes Hölzl
, Ali Sinan Köksal, Rastislav Bodík, Mooly Sagiv:
Specifying and verifying sparse matrix codes. ICFP 2010: 249-260 - [c39]Rastislav Bodík, Satish Chandra, Joel Galenson, Doug Kimelman, Nicholas Tung, Shaon Barman, Casey Rodarmor:
Programming with angelic nondeterminism. POPL 2010: 339-352 - [c38]Shay Litvak, Nurit Dor, Rastislav Bodík, Noam Rinetzky, Mooly Sagiv:
Field-sensitive program dependence analysis. SIGSOFT FSE 2010: 287-296 - [c37]Leo A. Meyerovich, Rastislav Bodík:
Fast and parallel webpage layout. WWW 2010: 711-720
2000 – 2009
- 2009
- [j7]Krste Asanovic, Rastislav Bodík, James Demmel, Tony M. Keaveny, Kurt Keutzer, John Kubiatowicz, Nelson Morgan, David A. Patterson, Koushik Sen, John Wawrzynek, David Wessel, Katherine A. Yelick:
A view of the parallel computing landscape. Commun. ACM 52(10): 56-67 (2009) - [c36]Andreas Raabe, Rastislav Bodík:
Synthesizing hardware from sketches. DAC 2009: 623-624 - [c35]Rastislav Bodík:
Algorithmic Program Synthesis with Partial Programs and Decision Procedures. SAS 2009: 1 - [e3]Rastislav Bodík, Orna Kupferman, Douglas R. Smith, Eran Yahav:
Software Synthesis, 06.12. - 11.12.2009. Dagstuhl Seminar Proceedings 09501, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - [i1]Rastislav Bodík, Orna Kupferman, Douglas R. Smith, Eran Yahav:
09501 Abstracts Collection - Software Synthesis. Software Synthesis 2009 - 2008
- [j6]Eric Allen, Mark W. Bailey, Rastislav Bodík, Kim B. Bruce, Kathleen Fisher, Stephen N. Freund, Robert Harper, Chandra Krintz, Shriram Krishnamurthi, James R. Larus, Doug Lea, Gary T. Leavens, Lori L. Pollock, Stuart Reges, Martin C. Rinard, Mark A. Sheldon, Franklyn A. Turbak, Mitchell Wand:
SIGPLAN programming language curriculum workshop: Discussion Summaries and recommendations. ACM SIGPLAN Notices 43(11): 6-29 (2008) - [j5]Rastislav Bodík:
Small languages in an undergraduate PL/Compiler course. ACM SIGPLAN Notices 43(11): 39-44 (2008) - [c34]Ajeet Shankar, Matthew Arnold, Rastislav Bodík:
Jolt: lightweight dynamic analysis and removal of object churn. OOPSLA 2008: 127-142 - [c33]Rastislav Bodík:
Software synthesis with sketching. PEPM 2008: 1-2 - [c32]Armando Solar-Lezama
, Christopher Grant Jones, Rastislav Bodík:
Sketching concurrent data structures. PLDI 2008: 136-148 - [c31]Satish Chandra, Vijay A. Saraswat, Vivek Sarkar, Rastislav Bodík:
Type inference for locality analysis of distributed data structures. PPoPP 2008: 11-22 - 2007
- [j4]Min Xu, Rastislav Bodík, Mark D. Hill:
A Hardware Memory Race Recorder for Deterministic Replay. IEEE Micro 27(1): 48-55 (2007) - [c30]Manu Sridharan
, Stephen J. Fink, Rastislav Bodík:
Thin slicing. PLDI 2007: 112-122 - [c29]Armando Solar-Lezama
, Gilad Arnold, Liviu Tancau, Rastislav Bodík, Vijay A. Saraswat, Sanjit A. Seshia:
Sketching stencils. PLDI 2007: 167-178 - [c28]Ajeet Shankar, Rastislav Bodík:
DITTO: automatic incrementalization of data structure invariant checks (in Java). PLDI 2007: 310-319 - 2006
- [c27]Min Xu, Mark D. Hill, Rastislav Bodík:
A regulated transitive reduction (RTR) for longer memory race recording. ASPLOS 2006: 49-60 - [c26]Armando Solar-Lezama
, Liviu Tancau, Rastislav Bodík, Sanjit A. Seshia, Vijay A. Saraswat:
Combinatorial sketching for finite programs. ASPLOS 2006: 404-415 - [c25]Manu Sridharan
, Rastislav Bodík:
Refinement-based context-sensitive points-to analysis for Java. PLDI 2006: 387-400 - 2005
- [c24]Manu Sridharan
, Denis Gopan, Lexin Shan, Rastislav Bodík:
Demand-driven points-to analysis for Java. OOPSLA 2005: 59-76 - [c23]Ajeet Shankar, S. Subramanya Sastry, Rastislav Bodík, James E. Smith:
Runtime specialization with optimistic heap analysis. OOPSLA 2005: 327-343 - [c22]Min Xu, Rastislav Bodík, Mark D. Hill:
A serializability violation detector for shared-memory server programs. PLDI 2005: 1-14 - [c21]David Mandelin, Lin Xu, Rastislav Bodík, Doug Kimelman:
Jungloid mining: helping to navigate the API jungle. PLDI 2005: 48-61 - [c20]Armando Solar-Lezama
, Rodric M. Rabbah, Rastislav Bodík, Kemal Ebcioglu:
Programming by sketching for bit-streaming programs. PLDI 2005: 281-294 - [e2]Rastislav Bodík:
Compiler Construction, 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings. Lecture Notes in Computer Science 3443, Springer 2005, ISBN 3-540-25411-0 [contents] - 2004
- [j3]Brian A. Fields, Rastislav Bodík, Mark D. Hill, Chris J. Newburn:
Interaction Cost: For When Event Counts Just Don't Add Up. IEEE Micro 24(6): 57-61 (2004) - [j2]Brian A. Fields, Rastislav Bodík, Mark D. Hill, Chris J. Newburn:
Interaction cost and shotgun profiling. ACM Trans. Archit. Code Optim. 1(3): 272-304 (2004) - 2003
- [c19]Min Xu, Rastislav Bodík, Mark D. Hill:
A "Flight Data Recorder" for Enabling Full-System Multiprocessor Deterministic Replay. ISCA 2003: 122-133 - [c18]Brian A. Fields, Rastislav Bodík, Mark D. Hill, Chris J. Newburn:
Using Interaction Costs for Microarchitectural Bottleneck Analysis. MICRO 2003: 228-242 - [c17]Glenn Ammons, David Mandelin, Rastislav Bodík, James R. Larus:
Debugging temporal specifications with concept analysis. PLDI 2003: 182-195 - 2002
- [c16]Brian A. Fields, Rastislav Bodík, Mark D. Hill:
Slack: Maximizing Performance Under Technological Constraints. ISCA 2002: 47-58 - [c15]Glenn Ammons, Rastislav Bodík, James R. Larus:
Mining specifications. POPL 2002: 4-16 - [c14]Shai Rubin, Rastislav Bodík, Trishul M. Chilimbi:
An efficient profile-analysis framework for data-layout optimizations. POPL 2002: 140-153 - 2001
- [c13]Brian A. Fields, Shai Rubin, Rastislav Bodík:
Focusing processor policies via critical-path prediction. ISCA 2001: 74-85 - [c12]S. Subramanya Sastry, Rastislav Bodík, James E. Smith:
Rapid profiling via stratified sampling. ISCA 2001: 278-289 - [e1]Rastislav Bodík, Vugranam C. Sreedhar:
Proceedings of the 2001 ACM SIGPLAN Workshop on Optimization of Middleware and Distributed Systems, OM '01, Snow Bird, Utah, USA. ACM 2001 [contents] - 2000
- [c11]Rastislav Bodík, Rajiv Gupta, Vivek Sarkar:
ABCD: eliminating array bounds checks on demand. PLDI 2000: 321-333
1990 – 1999
- 1999
- [c10]Rajiv Gupta, Rastislav Bodík:
Register Pressure Sensitive Redundancy Elimination. CC 1999: 107-121 - [c9]Rastislav Bodík, Rajiv Gupta
, Mary Lou Soffa:
Load-Reuse Analysis: Design and Evaluation. PLDI 1999: 64-76 - 1998
- [c8]Rastislav Bodík, Rajiv Gupta
, Mary Lou Soffa:
Complete Removal of Redundant Computations. PLDI 1998: 1-14 - [c7]Rastislav Bodík, Rajiv Gupta
, Mary Lou Soffa:
Complete removal of redundant expressions (with retrospective). Best of PLDI 1998: 596-611 - [c6]Rastislav Bodík, Sadun Anik:
Path-Sensitive Value-Flow Analysis. POPL 1998: 237-251 - 1997
- [c5]Rastislav Bodík, Rajiv Gupta
, Mary Lou Soffa:
Refining Data Flow Information Using Infeasible Paths. ESEC / SIGSOFT FSE 1997: 361-377 - [c4]Rastislav Bodík, Rajiv Gupta
, Mary Lou Soffa:
Interprocedural Conditional Branch Elimination. PLDI 1997: 146-158 - [c3]Rastislav Bodík, Rajiv Gupta
:
Partial Dead Code Elimination using Slicing Transformations. PLDI 1997: 159-170 - 1996
- [j1]Rastislav Bodík, Rajiv Gupta
:
Array Data Flow Analysis for Load-Store Optimizations in Fine-Grained Architectures. Int. J. Parallel Program. 24(6): 481-512 (1996) - 1995
- [c2]Rastislav Bodík, Rajiv Gupta
:
Array Data Flow Analysis for Load-Store Optimizations in Superscalar Architectures. LCPC 1995: 1-15 - [c1]Rajiv Gupta, Rastislav Bodík:
Adaptive loop transformations for scientific programs. SPDP 1995: 368-375
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-22 20:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint