rnsanchez's library 45 articles Export

	The compiler as a static analysis tool [My Copy] In SIGAda '07: Proceedings of the 2007 ACM international conference on SIGAda annual international conference (2007), pp. 83-88. by Robert B. K. Dewar posted to no-tag by rnsanchez on 2008-10-27 07:07:06 as
	Improving security using extensible lightweight static analysis [My Copy] Software, IEEE, Vol. 19, No. 1. (2002), pp. 42-51. by D. Evans, D. Larochelle posted to no-tag by rnsanchez on 2008-10-27 06:09:51 as along with 5 people knowlengr plaugg tmende martink criswell
	An empirical analysis of FORTRAN programs [My Copy] The Computer Journal, Vol. 19, No. 1. (1 January 1976), pp. 56-62. by S. K. Robinson, I. S. Torsun posted to no-tag by rnsanchez on 2008-10-27 04:03:59 as
	Iterative Optimization in the Polyhedral Model: Part I, One-Dimensional Time [My Copy] Code Generation and Optimization, 2007. CGO '07. International Symposium on In Code Generation and Optimization, 2007. CGO '07. International Symposium on (2007), pp. 144-156. by Louis-Noel Pouchet, Cedric Bastoul, Albert Cohen, Nicolas Vasilache posted to no-tag by rnsanchez on 2008-10-22 04:01:53 as
	Cetus – An Extensible Compiler Infrastructure for Source-to-Source Transformation [My Copy] Languages and Compilers for Parallel Computing (2004), pp. 539-553. by Sang-Ik Lee, Troy A. Johnson, Rudolf Eigenmann posted to no-tag by rnsanchez on 2008-10-05 09:18:52 as
	On the efficient engineering of ambitious program analysis [My Copy] Software Engineering, IEEE Transactions on In Software Engineering, IEEE Transactions on, Vol. 20, No. 2. (1994), pp. 105-114. by Jong-Deok Choi, R. Cytron, J. Ferrante posted to compiler data-flow-analysis static-analysis by rnsanchez on 2008-09-30 07:53:25 as
	Data Flow Analysis for Procedural Languages [My Copy] J. ACM, Vol. 26, No. 2. (1979), pp. 322-344. by Barry K. Rosen posted to no-tag by rnsanchez on 2008-09-29 20:21:43 as
	Symbolic evaluation and the global value graph [My Copy] In POPL '77: Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1977), pp. 104-118. by John H. Reif, Harry R. Lewis posted to no-tag by rnsanchez on 2008-09-29 20:20:38 as
	A precise inter-procedural data flow algorithm [My Copy] In POPL '81: Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1981), pp. 219-230. by Eugene M. Myers posted to no-tag by rnsanchez on 2008-09-29 20:19:50 as
	A unified approach to global program optimization [My Copy] In POPL '73: Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1973), pp. 194-206. by Gary A. Kildall posted to no-tag by rnsanchez on 2008-09-29 20:19:17 as along with 6 people and 1 group mattmight bdauvergne pganty bunge clconway zuleger groupverif
	Data flow analysis for `intractable' system software [My Copy] SIGPLAN Not., Vol. 21, No. 7. (1986), pp. 109-117. by Harold Johnson posted to no-tag by rnsanchez on 2008-09-29 20:17:41 as
	Interprocedural constant propagation [My Copy] In SIGPLAN '86: Proceedings of the 1986 SIGPLAN symposium on Compiler construction, Vol. 21, No. 7. (July 1986), pp. 152-161. by David Callahan, Keith D. Cooper, Ken Kennedy, Linda Torczon posted to no-tag by rnsanchez on 2008-09-29 20:12:46 as along with 1 person bunge
	Interprocedural dependence analysis and parallelization [My Copy] SIGPLAN Not., Vol. 21, No. 7. (1986), pp. 162-175. by Michael Burke, Ron Cytron posted to no-tag by rnsanchez on 2008-09-29 20:12:02 as
	An interprocedural data flow analysis algorithm [My Copy] In POPL '77: Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1977), pp. 119-131. by Jeffrey M. Barth posted to no-tag by rnsanchez on 2008-09-29 20:10:54 as
	An efficient way to find the side effects of procedure calls and the aliases of variables [My Copy] In POPL '79: Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages (1979), pp. 29-41. by John P. Banning posted to no-tag by rnsanchez on 2008-09-29 20:09:57 as along with 1 person bunge
	Predicting the effects of optimization on a procedure body [My Copy] In SIGPLAN '79: Proceedings of the 1979 SIGPLAN symposium on Compiler construction (1979), pp. 214-220. by Eugene J. Ball posted to no-tag by rnsanchez on 2008-09-29 20:08:32 as
	Continuation-passing, closure-passing style [My Copy] In POPL '89: Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1989), pp. 293-302. by A. W. Appel, T. Jim posted to no-tag by rnsanchez on 2008-09-29 20:07:09 as
	Constant propagation with conditional branches [My Copy] ACM Trans. Program. Lang. Syst., Vol. 13, No. 2. (April 1991), pp. 181-210. by Mark N. Wegman, F. Kenneth Zadeck posted to compiler data-flow-analysis global-optimization optimization by rnsanchez on 2008-09-15 20:30:44 as along with 3 people and 1 group surana martink bunge Verimag-STmicro
	The Cydra 5 departmental supercomputer: design philosophies, decisions, and trade-offs [My Copy] Computer In Computer, Vol. 22, No. 1. (1989), pp. 12-35. by B. R. Rau, D. W. L. Yen, Wei Yen, R. A. Towle posted to no-tag by rnsanchez on 2008-09-15 03:40:36 as
	Optimizing Direct-threaded Code by Selective Inlining [My Copy] In SIGPLAN Conference on Programming Language Design and Implementation (1998), pp. 291-300. by Ian Piumarta, Fabio Riccardi posted to binary-analysis binary-translation dynamic-optimization optimization virtual-machines by rnsanchez on 2008-05-27 18:24:57 as along with 2 people water451 cdiggins
	Processor-memory coexploration using an architecture description language [My Copy] Trans. on Embedded Computing Sys., Vol. 3, No. 1. (February 2004), pp. 140-162. by Prabhat Mishra, Mahesh Mamidipaka, Nikil Dutt posted to no-tag by rnsanchez on 2007-04-23 15:55:33 as along with 1 person and 1 group ronnix P2P-SeC
	TDL - A Hardware and Assembly Description Language [My Copy] by Daniel Kästner posted to no-tag by rnsanchez on 2007-04-23 15:54:46 as along with 1 person and 1 group ronnix P2P-SeC
	TDL: A Hardware Description Language for Retargetable Postpass Optimizations and Analyzes [My Copy] by Daniel Kästner posted to no-tag by rnsanchez on 2007-04-23 15:54:03 as along with 1 person and 1 group ronnix P2P-SeC
	Optimization of Machine Descriptions for Efficient Use [My Copy] In International Symposium on Microarchitecture (1996), pp. 349-358. by John C. Gyllenhaal, Wen, Ramakrishna B. Rau posted to no-tag by rnsanchez on 2007-04-23 15:51:41 as along with 1 group P2P-SeC
	A Survey of Adaptive Optimization in Virtual Machines [My Copy] Proceedings of the IEEE In Proceedings of the IEEE, Vol. 93, No. 2. (2005), pp. 449-466. by M. Arnold, S. J. Fink, D. Grove, M. Hind, P. F. Sweeney posted to virtual-machines survey profiling optimization dynamic-optimization by rnsanchez on 2007-02-07 16:58:31 as along with 8 people and 2 groups akuhn hannibal_08 mrt2k9 NickGasson ioana hcr cybrpunk Alois P2P-SeC dopsy
	Sharlit—a tool for building optimizers [My Copy] In PLDI '92: Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation (1992), pp. 82-93. by Steven W. K. Tjiang, John L. Hennessy posted to optimization global-optimization dfa compiler by rnsanchez on 2007-02-07 16:55:26 as along with 1 group P2P-SeC
	Dynamic binary translation and optimization [My Copy] Computers, IEEE Transactions on In Computers, IEEE Transactions on, Vol. 50, No. 6. (2001), pp. 529-548. by K. Ebcioglu, E. Altman, M. Gschwind, S. Sathaye posted to binary-translation dynamic-optimization optimization by rnsanchez on 2006-08-16 17:44:18 as along with 1 person and 1 group ronnix P2P-SeC
	Advanced Data Layout Optimization for Multimedia Applications [My Copy] In IPDPS '00: Proceedings of the 15 IPDPS 2000 Workshops on Parallel and Distributed Processing (2000), pp. 186-193. by Chidamber Kulkarni, Francky Catthoor, Hugo De Man posted to optimization by rnsanchez on 2006-08-15 20:24:48 as along with 1 group P2P-SeC
	Reality-based optimization [My Copy] In CGO '03: Proceedings of the international symposium on Code generation and optimization (2003), pp. 59-68. by Scott Mcfarling posted to dynamic-optimization optimization profiling by rnsanchez on 2006-08-15 19:45:29 as along with 1 group P2P-SeC
	Hyperthreading technology in the netburst microarchitecture [My Copy] Micro, IEEE, Vol. 23, No. 2. (2003), pp. 56-65. by D. Koufaty, D. T. Marr posted to microarchitecture by rnsanchez on 2006-08-15 17:11:24 as along with 1 group P2P-SeC
	Compiler techniques for code compaction [My Copy] ACM Transactions on Programming Languages and Systems, Vol. 22, No. 2. (2000), pp. 378-415. by Saumya K. Debray, William Evans, Robert Muth, Bjorn De Sutter posted to compiler by rnsanchez on 2006-08-10 18:38:05 as along with 1 person and 1 group flander P2P-SeC
	Dynamic optimization of micro-operations [My Copy] High-Performance Computer Architecture, 2003. HPCA-9 2003. Proceedings. The Ninth International Symposium on (2003), pp. 165-176. by B. Slechta, D. Crowe, N. Fahs, et al.M. Fertig, G. Muthler, J. Quek, F. Spadini, S. J. Patel, S. S. Lumetta posted to dynamic-optimization optimization by rnsanchez on 2006-08-10 18:25:29 as along with 1 group P2P-SeC
	An infrastructure for adaptive dynamic optimization [My Copy] (2003) by D. Bruening, T. Garnett, S. Amarasinghe posted to dynamic-optimization optimization by rnsanchez on 2006-08-10 18:17:38 as along with 1 person and 1 group ronnix P2P-SeC
	SUIF: an infrastructure for research on parallelizing and optimizing compilers [My Copy] SIGPLAN Not., Vol. 29, No. 12. (December 1994), pp. 31-37. by Robert P. Wilson, Robert S. French, Christopher S. Wilson, et al.Saman P. Amarasinghe, Jennifer M. Anderson, Steve W. K. Tjiang, Shih-Wei Liao, Chau-Wen Tseng, Mary W. Hall, Monica S. Lam, John L. Hennessy posted to compiler optimization by rnsanchez on 2006-08-10 18:16:17 as along with 1 person and 1 group krisn11 P2P-SeC
	Retargetable and Reconfigurable Software Dynamic Translation [My Copy] by K. Scott, N. Kumar, S. Velusamy, B. Childers, J. W. Davidson, M. L. Soffa posted to dynamic-optimization optimization by rnsanchez on 2006-08-10 17:58:54 as along with 1 person and 1 group ronnix P2P-SeC
	Continuous program optimization: A case study [My Copy] ACM Trans. Program. Lang. Syst., Vol. 25, No. 4. (July 2003), pp. 500-548. by Thomas Kistler, Michael Franz posted to dynamic-optimization optimization by rnsanchez on 2006-08-10 17:43:40 as along with 1 group P2P-SeC
	Generation of Control and Data Flow Graphs from Scheduled and Pipelined Assembly Code [My Copy] In 18th International Workshop on Languages and Compilers for Parallel Computing (20--22 October 2005) by David C. Zaretsky, Gaurav Mittal, Robert Dick, Prith Banerjee posted to binary-translation cdfg optimization by rnsanchez on 2006-08-08 21:05:14 as along with 1 group P2P-SeC
	Alias Analysis of Executable Code [My Copy] In Symposium on Principles of Programming Languages (1998), pp. 12-24. by Saumya K. Debray, Robert Muth, Matthew Weippert posted to binary-analysis by rnsanchez on 2006-08-07 04:42:06 as along with 2 people and 1 group mercutio ronnix P2P-SeC
	Rewriting executable files to measure program behavior [My Copy] No. CS-TR-92-1083. (March 1992) by James R. Larus, Thomas Ball posted to optimization by rnsanchez on 2006-08-07 04:41:09 as along with 2 people and 3 groups warkdarrior ronnix Security Usable_Security P2P-SeC
	Interprocedural Dataflow Analysis in an Executable Optimizer [My Copy] In SIGPLAN Conference on Programming Language Design and Implementation (1997), pp. 122-133. by David W. Goodwin posted to global-optimization optimization by rnsanchez on 2006-08-07 04:40:21 as along with 1 group P2P-SeC
	A Formal, Language-Independent, and Compositional Approach to Interprocedural Control Dependence Analysis [My Copy] (July 2000) by Judith A. Stafford posted to optimization by rnsanchez on 2006-08-07 04:37:58 as along with 1 group P2P-SeC
	A First Look at the Interplay of Code Reordering and Configurable Caches [My Copy] by Configurable C. Es posted to optimization by rnsanchez on 2006-08-07 04:36:10 as along with 1 group P2P-SeC
	A practical system for intermodule code optimization at link-time [My Copy] Journal of Programming Languages, Vol. 1, No. 1. (December 1992), pp. 1-18. by Amitabh Srivastava, David W. Wall posted to global-optimization rtl by rnsanchez on 2006-08-07 04:33:14 as along with 1 person and 2 groups jolilius TUCS-ES_Lab P2P-SeC
	Static analysis of binary code to isolate malicious behaviors [My Copy] Enabling Technologies: Infrastructure for Collaborative Enterprises, 1999. (WET ICE '99) Proceedings. IEEE 8th International Workshops on (1999), pp. 184-189. by J. Bergeron, M. Debbabi, M. M. Erhioui, B. Ktari posted to no-tag by rnsanchez on 2006-04-16 04:59:25 as along with 1 person and 3 groups warkdarrior Security Usable_Security P2P-SeC
	A SNMP-based platform for distributed stateful intrusion detection in enterprise networks [My Copy] Selected Areas in Communications, IEEE Journal on, Vol. 23, No. 10. (2005), pp. 1973-1982. by L. P. Gaspary, R. N. Sanchez, D. W. Antunes, E. Meneghetti posted to ids network-management network-monitoring rmon2 security snmp by rnsanchez on 2006-02-21 17:55:47 as along with 1 group P2P-SeC

Note: You may cite this page as: http://www.citeulike.org/user/rnsanchez

optimization	17
dynamic-optimization	8
compiler	5
global-optimization	4
binary-translation	3
binary-analysis	2
data-flow-analysis	2
profiling	2
virtual-machines	2
cdfg	1
dfa	1
ids	1
microarchitecture	1
network-management	1
network-monitoring	1
rmon2	1
rtl	1
security	1
snmp	1
static-analysis	1
survey	1

rnsanchez's library 45 articles Export

rnsanchez's tags