Samuel Zev Guyer  Home/Search
Context Related
| utexas.edu/users/lin/pape...sammy.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: utexas.edu/users/l...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: vii List of Tables xvi List of Figures xvii Chapter 1 (Update)
Cited by: More
Broadway: A Compiler for Exploiting the Domain-Specific.. - Guyer, Lin (2004) (Correct)
Error Checking with Client-Driven Pointer Analysis - Guyer, Lin (2003) (Correct)
Similar documents (at the sentence level):
7.2%: Client-Driven Pointer Analysis - Guyer, Lin (2003) (Correct)
Active bibliography (related documents): More All
1.9: Detecting Errors with Configurable Whole-program Dataflow.. - Guyer, Berger, Lin (2002) (Correct)
0.7: An Annotation Language for Optimizing Software Libraries - Guyer, Lin (1999) (Correct)
0.6: Optimizing High Performance Software Libraries - Guyer, Lin (2000) (Correct)
Similar documents based on text: More All
0.3: Delay-Sensitive Branch Predictors for Future Technologies - Jimenez (2002) (Correct)
0.2: Approximation Algorithms for NP-Hard Clustering Problems - Mettu (2002) (Correct)
0.2: Memory Management for High-Performance Applications - Berger (2002) (Correct)
Related documents from co-citation: More All
2: An annotation language for optimizing software libraries - Guyer, Lin - 1999
2: Detecting errors with configurable 218 whole-program dataflow analysis - Guyer, Berger et al. - 2002
2: Client-driven pointer analysis - Guyer, Lin - 2003
BibTeX entry: (Update)
S. Z. Guyer. Incorporating Domain-Specific Information into the Compilation Process. PhD thesis, The University of Texas at Austin, Department of Computer Sciences, 2003. http://citeseer.ist.psu.edu/guyer03incorporating.html More
@misc{ guyer03incorporating,
author = "S. Guyer",
title = "Incorporating Domain-Specific Information into the Compilation Process",
text = "S. Z. Guyer. Incorporating Domain-Specific Information into the Compilation
Process. PhD thesis, The University of Texas at Austin, Department of Computer
Sciences, 2003.",
year = "2003",
url = "citeseer.ist.psu.edu/guyer03incorporating.html" }
Citations (may not include all citations):1399 Compilers: Principles (context) - Aho, Sethi et al. - 1986
725 Temporal and modal logic (context) - Emerson - 1990
532 LAPACK Users' Guide (context) - Anderson, Bai et al. - 1995
423 The Art of the Meta-Object Protocol (context) - Kiczales, Rivieres et al. - 1991
387 A set of level 3 basic linear algebra subprograms (context) - Dongarra, Duff et al. - 1990
228 Points-to analysis in almost linear time - Steensgaard - 1996
197 Maximizing multiprocessor performance with the SUIF compiler - Hall, Anderson et al. - 1996
180 Efficient context-sensitive pointer analysis for C programs - Wilson, Lam - 1995
157 Automatically tuned linear algebra software - Whaley, Dongarra - 1998
156 A unified approach to global program optimization (context) - Kildall - 1973
152 An efficient method of computing static single assignment fo.. (context) - Cytron, Ferrante et al. - 1989
149 Precise concrete type inference for object-oriented language.. - Plevyak, Chien - 1994
142 Abstract interpretation frameworks (context) - Cousot, Cousot - 1992
138 Enforcing high-level protocols in low-level software - DeLine, Fahndrich - 2001
129 Precise interprocedural dataflow analysis via graph reachabi.. - Reps, Horwitz et al. - 1995
123 Optimizing matrix multiply using PHiPAC: A portable - Bilmes, Asanovic et al. - 1997
116 Aspect-oriented programming - Kiczales, Lamping et al. - 1997
111 Optimistic incremental spe221 cialization: Streamlining a co.. - Pu, Autrey et al. - 1995
101 Context-insensitive alias analysis reconsidered - Ruf - 1995
100 Checking system rules using system-specific (context) - Engler, Chelf et al. - 2000
88 Cyclone: A safe dialect of C - Jim, Morrisett et al. - 2002
74 Computer-Aided Reasoning: An Approach (context) - Kaufmann, Manolios et al. - 2000
69 Unification-based pointer analysis with directional assignme.. - Das - 2000
68 Hygienic macro expansion (context) - Kohlbecker, Friedman et al. - 1986
67 Expression templates - Veldhuizen - 1995
65 Typestate: A programming language concept for enhancing soft.. (context) - Strom, Yemini - 1986
64 The structure of the THE multiprogramming system (context) - Dijkstra - 1976
64 Detecting format string vulnerabilities with type qualifiers - Shankar, Talwar et al. - 2001
63 LCLint: A tool for using specifications to check code - Evans, Guttag et al. - 1994
62 The SLAM project: Debugging system software via static analy.. (context) - Ball, Rajamani - 2002
59 Demand Interprocedural Dataflow Analysis - Horwitz, Reps et al. - 1995
58 A metaobject protocol for C (context) - Chiba - 1995
54 Abstract interpretation: a semantics-based tool for program .. (context) - Jones, Nielson - 1994
54 The design of whole-program analysis tools - Atkinson, Griswold - 1996
51 ESP: path-sensitive program verification in polynomial time - Das, Lerner et al. - 2002
46 Flow-sensitive type qualifiers - Foster, Terauchi et al. - 2002
44 A fast Fourier transform compiler - Frigo - 1999
41 Sharlit---A tool for building optimizers - Tjiang, Hennessy - 1992
39 The effects of the precision of pointer analysis - Shapiro, Horwitz - 1997
37 An annotation language for optimizing software libraries - Guyer, Lin - 1999
33 Polymorphic versus monomorphic flow-insensitive points-to an.. - Foster, Fahndrich et al. - 2000
32 DiSTiL: a transformation library for data structures - Smaragdakis, Batory - 1997
31 Optimizing layered communication protocols (context) - Hayden, van Renesse - 1996
31 Building an Optimizing Compiler (context) - Morgan - 1998
30 the birth of intentional programming (context) - Simonyi, of - 1995
29 Partial evaluation applied to numerical computation (context) - Berlin - 1990
29 Pointer analysis: Haven't we solved this problem yet - Hind - 2001
28 and Martin Rinard (context) - Kuncak, Lam - 2002
27 Active libraries: Rethinking the roles of compilers and libr.. - Veldhuizen, Gannon - 1998
25 Increasing network throughput by integrating protocol layers - Abbott, Peterson - 1993
25 Increasing network throughput by integrating protocol layers - Abbott, Peterson - 1993
25 Incorporating application semantics and control into compila.. - Engler - 1997
25 ACM SIGPLAN Notices (context) - Chase, Wegman et al. - 1990
24 Which pointer analysis should i use - Hind, Pioli - 2000
24 Imperative program transformation by rewriting - Lacey, de Moor - 2001
23 Computer-Aided Reasoning: ACL2 Case Studies (context) - Kaufmann, Manolios et al. - 2000
23 Overture: An objectoriented framework for solving partial di.. (context) - Brown, Henshaw et al. - 1999
22 Comparing flow and context sensitivity on the modification-s.. - Stocks, Ryder et al. - 1998
21 Arrays in Blitz (context) - Veldhuizen - 1998
20 Automatic generation of global optimizers (context) - Whitfield, Soffa - 1991
20 Using PLAPACK -- Parallel Linear Algebra Package (context) - Geijn - 1997
19 Personal communication (context) - Wegman - 2002
19 Format String Attacks (context) - Newsham - 2000
19 Generative programming and active libraries (context) - Czarnecki, Eisenecker et al. - 2000
18 Experiments with combined analysis for pointer aliasing - Zhang, Ryder et al. - 1998
17 Telescoping languages: A compiler strategy for implementatio.. - Kennedy - 2000
17 POOMA: A framework for scientific simulation on parallel arc.. - Reynders, Hinker et al.
15 Programmable syntax macros - Weise, Crew - 1993
14 Exploiting Specifications to Improve Program Performance - Vandevoorde - 1994
13 Parallel distributed solvers for large stable generalized Ly.. - Benner, Quintana-Orti - 1998
13 PLAPACK: High performance through high-level abstraction (context) - Baker, Gunnels et al. - 1998
13 Extended static checking: A ten-year perspective - Rustan, Leino - 2001
13 Optimizing the use of high performance software libraries - Guyer, Lin - 2000
11 Graph rewrite systems for program optimization - Assmann - 2000
11 Demand-driven pointer analysis - Heintze, Tardieu - 2001
11 The TAMPR program transformation system: Simplifying the dev.. (context) - Boyle, Harmer et al. - 1997
10 PAG -- an efficient program analyzer generator (context) - Martin - 1998
10 Compiling scientific programs using partial evaluation (context) - Berlin, Weise - 1990
9 and Jon Orwant (context) - Wall, Christiansen - 2000
9 Using types to analyze and optimize object-oriented programs - Diwan, McKinley et al. - 2001
8 Evaluating the effectiveness of pointer alias analyses - Hind, Pioli - 2001
8 Design-driven compilation - Rugina, Rinard - 2001
8 Parallel matrix distributions: Have we been doing it all wro.. - Edwards, Geng et al. - 1995
8 Client-driven pointer analysis - Guyer, Lin - 2003
7 Code composition as an implementation language for compilers - Stichnoth, Gross - 1997
6 Compiler techniques for MATLAB programs (context) - DeRose - 1996
6 Encyclopedia of Electrical and Electronics Engineering (context) - Smaragdakis, Batory - 2000
4 Using the bandera tool set to model-check properties of conc.. - Hatcliff, Dwyer - 2001
3 Detecting errors with configurable 218 whole-program dataflo.. - Guyer, Berger et al. - 2002
3 FLAVERS:A finite state verification technique for software s.. - Cobleigh, Clarke et al. - 2002
2 Telescoping matlab for dsp applications (context) - Chauhan - 2002
2 Format String Attacks (context) - Bowman - 2000
2 LPRng can pass user-supplied input as a format string parame.. (context) - CA-- - 2000
2 ISC BIND 4 contains input validation error in nslookupCompla.. (context) - CA-- - 2001
2 Efficient Matrix Computations through Hierarchical Type Spec.. (context) - Collins - 1996
2 Specialized parallel algorithms for solving linear matrix eq.. - Quintana, Geijn - 2001
1 DyC: An expressive an notation-directed dynamic compiler for.. (context) - Grant, Mock et al.
Documents on the same site (http://www.cs.utexas.edu/users/lin/publications.html): More
Seuss: What the Doctor Ordered - Alvisi, Joshi, Lin, Misra (1997) (Correct)
Abstractions for Portable, Scalable Parallel Programming - Gail Alverson (1998) (Correct)
The Implementation and Evaluation of Fusion and Contraction .. - Lewis, Lin, Snyder (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC