Tag alias [16 articles] Export

Recent papers classified by the tag alias.

	Semi-sparse flow-sensitive pointer analysis [My Copy] In POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2009), pp. 226-238. by Ben Hardekopf, Calvin Lin posted to alias c-language pointer-analysis program-analysis ssa by _Anne_ on 2009-02-18 09:27:53 as
	How is aliasing used in systems software? [My Copy] In SIGSOFT '06/FSE-14: Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering (2006), pp. 69-80. by Brian Hackett, Alex Aiken posted to alias c-language pointer-analysis program-analysis by _Anne_ on 2009-01-14 09:30:58 as along with 1 person bunge
	Pointer analysis: haven't we solved this problem yet? [My Copy] In PASTE '01: Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering (2001), pp. 54-61. by Michael Hind posted to alias pointer-analysis state-of-the-art by _Anne_ on 2009-01-14 09:26:35 as along with 10 people and 2 groups ama08r plaugg pejo wasi salagnac martink linekin keigoi janschaefer srccheck Verimag TU-KL-SoftwareTechnologyGroup
	Structured Types and Separation Logic [My Copy] Electron. Notes Theor. Comput. Sci., Vol. 217 (2008), pp. 41-59. by Harvey Tuch posted to alias memory-model separation-logic wp by _Anne_ on 2008-12-05 14:32:26 as
	AliasServer: a web server to handle multiple aliases used to refer to proteins [My Copy] Bioinformatics, Vol. 20, No. 14. (22 September 2004), pp. 2331-2332. by Florian Iragne, Aurelien Barre, Nicolas Goffard, Antoine de Daruvar posted to alias database proteome by druvus on 2008-10-13 11:32:27 as along with 2 people guhjy kynn
	Footprint Analysis: A Shape Analysis That Discovers Preconditions [My Copy] Static Analysis (2007), pp. 402-418. by Cristiano Calcagno, Dino Distefano, Peter O’hearn, Hongseok Yang posted to alias program-analysis separation-logic by _Anne_ on 2008-08-04 12:42:53 as
	Checking and inferring local non-aliasing [My Copy] SIGPLAN Not., Vol. 38, No. 5. (May 2003), pp. 129-140. by Alex Aiken, Jeffrey S. Foster, John Kodumal, Tachio Terauchi posted to alias c-language restrict semantic by _Anne_ on 2008-06-09 14:18:21 as
	The Protein Identifier Cross-Referencing (PICR) service: reconciling protein identifiers across multiple source databases. [My Copy] BMC bioinformatics, Vol. 8, No. 1. (2007) by Richard G. Côté, Philip Jones, Lennart Martens, et al.Samuel Kerrien, Florian Reisinger, Quan Lin, Rasko Leinonen, Rolf Apweiler, Henning Hermjakob posted to alias annotation databanks database identifier integration interconnexion protein by barriot on 2007-10-22 08:59:29 as along with 12 people saunders robert druvus whoare chad_davis guhjy dullhunk niallhaslam antonkratz dansullivanblk tny kynn
	Email alias detection using social network analysis [My Copy] In LinkKDD '05: Proceedings of the 3rd international workshop on Link discovery (2005), pp. 52-57. by Ralf Hölzer, Bradley Malin, Latanya Sweeney posted to alias detection email by A_Olympia on 2007-08-03 12:55:29 as along with 2 people and 4 groups cmalek skl Philosophy_of_Information Blog_and_Wiki_Research Knowledge_Management Social_Learning_Software_Lab
	Precise alias analysis for static detection of web application vulnerabilities [My Copy] In PLAS '06: Proceedings of the 2006 workshop on Programming languages and analysis for security (2006), pp. 27-36. by Nenad Jovanovic, Christopher Kruegel, Engin Kirda posted to alias analysis application vulnerabilities web by linekin on 2007-03-07 14:50:16 as along with 2 people basus stefanocrosta
	Alias Analysis in Java with Reference-Set Representation for High-Performance Computing [My Copy] International Journal of Parallel Programming, Vol. V32, No. 1. (1 February 2004), pp. 39-76. by Jongwook Woo, Jean-Luc Gaudiot, Andrew L. Wendelborn posted to java analysis alias by linekin on 2007-02-02 07:45:43 as
	Javari: adding reference immutability to Java [My Copy] In OOPSLA '05: Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications, Vol. 40, No. 10. (October 2005), pp. 211-230. by Matthew S. Tschantz, Michael D. Ernst posted to alias by nikomatsakis on 2006-03-29 15:03:13 as along with 4 people and 1 group greenrd plaugg schuh pjdonald SRG_at_UCD
	Storeless semantics and alias logic [My Copy] In PEPM '03: Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation, Vol. 38, No. 10. (October 2003), pp. 55-65. by Marius Bozga, Radu Iosif, Yassine Laknech posted to alias completeness logic relative semantics by kiniry to the group SRG_at_UCD on 2005-10-18 20:54:10 as along with 1 person bunge
	Alias annotations for program understanding [My Copy] (2002) by J. Aldrich, V. Kostadinov, C. Chambers posted to alias annotations by salagnac to the group Verimag on 2005-09-08 08:18:03 as along with 1 person amorkan
	Alias Types [My Copy] Lecture Notes in Computer Science, Vol. 1782 (2000), pp. 366-??. by Frederick Smith, David Walker, Greg Morrisett posted to alias type by wasi on 2005-07-01 19:42:52 as along with 2 people and 1 group dherman josefs NU-PRL
	Alias Types for Recursive Data Structures [My Copy] Lecture Notes in Computer Science, Vol. 2071 (2001), pp. 177-??. by David Walker, Greg Morrisett posted to alias theory type by wasi on 2005-07-01 19:41:32 as along with 2 people and 1 group dherman josefs NU-PRL

Note: You may cite this page as: http://www.citeulike.org/tag/alias

c-language	3
detection	3
email	3
pointer-analysis	3
program-analysis	3
analysis	2
annotations	2
completeness	2
database	2
logic	2
relative	2
semantics	2
separation-logic	2
type	2
annotation	1
application	1
context	1
databanks	1
dsa	1
identifier	1
integration	1
interconnexion	1
java	1
memory-model	1
modref	1
points-to	1
protein	1
proteome	1
restrict	1
semantic	1
ssa	1
state-of-the-art	1
theory	1
vulnerabilities	1
web	1
wp	1

Tag alias [16 articles] Export

Related Tags