Search results for "Rastislav Bodík"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Rastislav Bodík	Compiling what to how: technical perspective.	Commun. ACM	2012	DBLP DOI BibTeX RDF
1	Yewen Pu, Rastislav Bodík, Saurabh Srivastava	Synthesis of first-order dynamic programming algorithms.	OOPSLA	2011	DBLP DOI BibTeX RDF
1	Satish Chandra, Emina Torlak, Shaon Barman, Rastislav Bodík	Angelic debugging.	ICSE	2011	DBLP DOI BibTeX RDF
1	Rastislav Bodík, Satish Chandra, Joel Galenson, Doug Kimelman, Nicholas Tung, Shaon Barman, Casey Rodarmor	Programming with angelic nondeterminism.	POPL	2010	DBLP DOI BibTeX RDF	angelic non-determinism, constraints, refinement, traces, bounded model-checking
1	Leo A. Meyerovich, Rastislav Bodík	Fast and parallel webpage layout.	WWW	2010	DBLP DOI BibTeX RDF	box model, mobile, html, multicore, layout, attribute grammar, css, font, selector
1	Gilad Arnold, Johannes Hölzl, Ali Sinan Köksal, Rastislav Bodík, Mooly Sagiv	Specifying and verifying sparse matrix codes.	ICFP	2010	DBLP DOI BibTeX RDF
1	Shay Litvak, Nurit Dor, Rastislav Bodík, Noam Rinetzky, Mooly Sagiv	Field-sensitive program dependence analysis.	SIGSOFT FSE	2010	DBLP DOI BibTeX RDF
1	Krste Asanovic, Rastislav Bodík, James Demmel, Tony 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	2009	DBLP DOI BibTeX RDF
1	Andreas Raabe, Rastislav Bodík	Synthesizing hardware from sketches.	DAC	2009	DBLP DOI BibTeX RDF	sketching
1	Rastislav Bodík	Algorithmic Program Synthesis with Partial Programs and Decision Procedures.	SAS	2009	DBLP DOI BibTeX RDF
1	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.	SIGPLAN Notices	2008	DBLP DOI BibTeX RDF
1	Rastislav Bodík	Small languages in an undergraduate PL/Compiler course.	SIGPLAN Notices	2008	DBLP DOI BibTeX RDF
1	Armando Solar-Lezama, Christopher Grant Jones, Rastislav Bodík	Sketching concurrent data structures.	PLDI	2008	DBLP DOI BibTeX RDF	concurrency, synthesis, sketching, sat, spin
1	Rastislav Bodík	Software synthesis with sketching.	PEPM	2008	DBLP DOI BibTeX RDF	synthesis
1	Ajeet Shankar, Matthew Arnold, Rastislav Bodík	Jolt: lightweight dynamic analysis and removal of object churn.	OOPSLA	2008	DBLP DOI BibTeX RDF	allocation optimization, selective optimization, java, virtual machine, churn, inlining, escape analysis
1	Satish Chandra, Vijay A. Saraswat, Vivek Sarkar, Rastislav Bodík	Type inference for locality analysis of distributed data structures.	PPOPP	2008	DBLP DOI BibTeX RDF	equality-based constraint system, type inference, unification, x10, partitioned global address space
1	Min Xu, Rastislav Bodík, Mark D. Hill	A Hardware Memory Race Recorder for Deterministic Replay.	IEEE Micro	2007	DBLP DOI BibTeX RDF	shared-memory race recording, multithreading, multicore, cache coherence, determinism
1	Armando Solar-Lezama, Gilad Arnold, Liviu Tancau, Rastislav Bodík, Vijay A. Saraswat, Sanjit A. Seshia	Sketching stencils.	PLDI	2007	DBLP DOI BibTeX RDF	sketching, SAT, stencil
1	Manu Sridharan, Stephen J. Fink, Rastislav Bodík	Thin slicing.	PLDI	2007	DBLP DOI BibTeX RDF	debugging, program understanding, slicing
1	Ajeet Shankar, Rastislav Bodík	DITTO: automatic incrementalization of data structure invariant checks (in Java).	PLDI	2007	DBLP DOI BibTeX RDF	data structure invariants, optimistic memoization, program analysis, dynamic optimization, incrementalization, automatic
1	Manu Sridharan, Rastislav Bodík	Refinement-based context-sensitive points-to analysis for Java.	PLDI	2006	DBLP DOI BibTeX RDF	refinement, points-to analysis, context-sensitive analysis, demand-driven analysis
1	Armando Solar-Lezama, Liviu Tancau, Rastislav Bodík, Sanjit A. Seshia, Vijay A. Saraswat	Combinatorial sketching for finite programs.	ASPLOS	2006	DBLP DOI BibTeX RDF	sketching, SAT
1	Min Xu, Mark D. Hill, Rastislav Bodík	A regulated transitive reduction (RTR) for longer memory race recording.	ASPLOS	2006	DBLP DOI BibTeX RDF	race recording, multithreading, determinism
1	David Mandelin, Lin Xu, Rastislav Bodík, Doug Kimelman	Jungloid mining: helping to navigate the API jungle.	PLDI	2005	DBLP DOI BibTeX RDF	reuse, program synthesis, mining
1	Armando Solar-Lezama, Rodric M. Rabbah, Rastislav Bodík, Kemal Ebcioglu	Programming by sketching for bit-streaming programs.	PLDI	2005	DBLP DOI BibTeX RDF	domain specific compiler, domain specific language, sketching, synchronous dataflow, stream programming, StreamIt
1	Min Xu, Rastislav Bodík, Mark D. Hill	A serializability violation detector for shared-memory server programs.	PLDI	2005	DBLP DOI BibTeX RDF	multithreading, serializability, race conditions
1	Rastislav Bodík (eds.)	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	CC	2005	DBLP BibTeX RDF
1	Manu Sridharan, Denis Gopan, Lexin Shan, Rastislav Bodík	Demand-driven points-to analysis for Java.	OOPSLA	2005	DBLP DOI BibTeX RDF	refinement, points-to analysis, demand-driven analysis, context-free language reachability
1	Ajeet Shankar, S. Subramanya Sastry, Rastislav Bodík, James E. Smith	Runtime specialization with optimistic heap analysis.	OOPSLA	2005	DBLP DOI BibTeX RDF	program analysis, partial evaluation, dynamic optimization, specialization
1	Brian A. Fields, Rastislav Bodík, Mark D. Hill, Chris J. Newburn	Interaction cost and shotgun profiling.	TACO	2004	DBLP DOI BibTeX RDF	modeling, Performance analysis, profiling, critical path
1	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	2004	DBLP DOI BibTeX RDF
1	Glenn Ammons, David Mandelin, Rastislav Bodík, James R. Larus	Debugging temporal specifications with concept analysis.	PLDI	2003	DBLP DOI BibTeX RDF	specification debuggers, hierarchical clustering, concept analysis, temporal specifications
1	Min Xu, Rastislav Bodík, Mark D. Hill	A "Flight Data Recorder" for Enabling Full-System Multiprocessor Deterministic Replay. (PDF / PS)	ISCA	2003	DBLP DOI BibTeX RDF
1	Brian A. Fields, Rastislav Bodík, Mark D. Hill, Chris J. Newburn	Using Interaction Costs for Microarchitectural Bottleneck Analysis.	MICRO	2003	DBLP DOI BibTeX RDF
1	Brian A. Fields, Rastislav Bodík, Mark D. Hill	Slack: Maximizing Performance Under Technological Constraints. (PDF / PS)	ISCA	2002	DBLP DOI BibTeX RDF	microexecution, technological constraints, wire delay, clusters, performance analysis, power, circuit complexity, critical path, program behavior, slack
1	Glenn Ammons, Rastislav Bodík, James R. Larus	Mining specifications.	POPL	2002	DBLP DOI BibTeX RDF
1	Shai Rubin, Rastislav Bodík, Trishul M. Chilimbi	An efficient profile-analysis framework for data-layout optimizations.	POPL	2002	DBLP DOI BibTeX RDF
1	S. Subramanya Sastry, Rastislav Bodík, James E. Smith	Rapid profiling via stratified sampling.	ISCA	2001	DBLP DOI BibTeX RDF	Systems Application Architecture
1	Brian A. Fields, Shai Rubin, Rastislav Bodík	Focusing processor policies via critical-path prediction.	ISCA	2001	DBLP DOI BibTeX RDF
1	Rastislav Bodík, Rajiv Gupta, Vivek Sarkar	ABCD: eliminating array bounds checks on demand.	PLDI	2000	DBLP DOI BibTeX RDF
1	Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa	Load-Reuse Analysis: Design and Evaluation.	PLDI	1999	DBLP DOI BibTeX RDF	data-flow analysis, program representations, profile-guided optimizations, register promotion
1	Rajiv Gupta, Rastislav Bodík	Register Pressure Sensitive Redundancy Elimination.	CC	1999	DBLP DOI BibTeX RDF
1	Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa	Complete Removal of Redundant Computations.	PLDI	1998	DBLP DOI BibTeX RDF	control flow restructuring, demand-driven frequency data-flow analysis, speculative execution, partial redundancy elimination, profile-guided optimization
1	Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa	Complete removal of redundant expressions (with retrospective)	Best of PLDI	1998	DBLP DOI BibTeX RDF	control flow restructuring, demand-driven frequency data-flow analysis, speculative execution, partial redundancy elimination, profile-guided optimization
1	Rastislav Bodík, Sadun Anik	Path-Sensitive Value-Flow Analysis.	POPL	1998	DBLP DOI BibTeX RDF
1	Rastislav Bodík, Rajiv Gupta	Partial Dead Code Elimination using Slicing Transformations.	PLDI	1997	DBLP DOI BibTeX RDF
1	Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa	Interprocedural Conditional Branch Elimination.	PLDI	1997	DBLP DOI BibTeX RDF
1	Rastislav Bodík, Rajiv Gupta, Mary Lou Soffa	Refining Data Flow Information Using Infeasible Paths.	ESEC / SIGSOFT FSE	1997	DBLP DOI BibTeX RDF
1	Rastislav Bodík, Rajiv Gupta	Array Data Flow Analysis for Load-Store Optimizations in Fine-Grained Architectures.	International Journal of Parallel Programming	1996	DBLP BibTeX RDF
1	Rastislav Bodík, Rajiv Gupta	Array Data Flow Analysis for Load-Store Optimizations in Superscalar Architectures.	LCPC	1995	DBLP DOI BibTeX RDF

Publications of "Rastislav Bodík" ( http://dblp.L3S.de/Authors/Rastislav_Bodík )