linekin's library 34 articles Export

	Recursive Monadic Bindings: Technical Development and Details [My Copy] (2000) by Levent Erkok, John Launchbury posted to no-tag by linekin on 2008-01-18 17:40:29 as
	Extending Functional Languages with Stateful Computations [My Copy] In SPDP '96: Proceedings of the 8th IEEE Symposium on Parallel and Distributed Processing (SPDP '96) (1996) by Yung-Syau Chen, Jean-Luc Gaudiot posted to no-tag by linekin on 2008-01-18 17:40:02 as
	Integrating functional and imperative programming [My Copy] In LFP '86: Proceedings of the 1986 ACM conference on LISP and functional programming (1986), pp. 28-38. by David K. Gifford, John M. Lucassen posted to no-tag by linekin on 2008-01-18 17:38:47 as
	Lazy Functional State Threads [My Copy] In SIGPLAN Conference on Programming Language Design and Implementation (1994), pp. 24-35. by John Launchbury, Simon posted to functional language lazy programming by linekin on 2008-01-18 17:24:46 as
	Lazy Imperative Programming [My Copy] In Proceedings of the ACM {SIGPLAN} Workshop on State in Programming Languages, Copenhagen, {DK}, {SIPL} '92 (1993), pp. 46-56. by J. Launchbury posted to functional language lazy programming by linekin on 2008-01-18 17:21:29 as
	Type classes: an exploration of the design space [My Copy] (1997) by S. Jones, M. Jones, E. Meijer posted to class haskell language programming type by linekin on 2008-01-05 05:31:39 as along with 3 people draganigajic jpbernardy pedagand
	A Theory of Qualified Types [My Copy] In ESOP '92, 4th European Symposium on Programming, Rennes, France, February 1992, Proceedings, Vol. 582 (1992), pp. 287-306. by Mark P. Jones edited by Bernd K. Bruckner posted to qualified types by linekin on 2007-08-12 08:10:22 as
	Static analysis of aspects [My Copy] (2003) by D. Sereni, O. de Moor posted to analysis aspects static by linekin on 2007-04-30 22:28:40 as
	JFlow: practical mostly-static information flow control [My Copy] In POPL '99: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1999), pp. 228-241. by Andrew C. Myers posted to no-tag by linekin on 2007-03-24 12:07:21 as along with 7 people michaelbanks mercutio plaugg schuh lambdageek scavadini tesissvc
	Abstracting application-level web security [My Copy] In WWW '02: Proceedings of the 11th international conference on World Wide Web (2002), pp. 396-407. by David Scott, Richard Sharp posted to application security web by linekin on 2007-03-24 08:12:23 as along with 1 person sumeetonweb
	Automatically hardening web applications using precise tainting [My Copy] (2005) by Nguyen A. Tuong, S. Guarnieri, D. Greene, J. Shirley, D. Evans posted to no-tag by linekin on 2007-03-24 07:06:46 as
	Securing web application code by static analysis and runtime protection [My Copy] In WWW '04: Proceedings of the 13th international conference on World Wide Web (2004), pp. 40-52. by Yao W. Huang, Fang Yu, Christian Hang, Chung H. Tsai, Der T. Lee, Sy Y. Kuo posted to analysis application php security static web by linekin on 2007-03-24 03:21:22 as along with 5 people akshayk mercutio emiliorp GeoffWozniak network01
	Non-Detrimental Web Application Security Scanning [My Copy] In ISSRE '04: Proceedings of the 15th International Symposium on Software Reliability Engineering (ISSRE'04) (2004), pp. 219-230. by Yao-Wen Huang, Chung-Hung Tsai, D. T. Lee, Sy-Yen Kuo posted to no-tag by linekin on 2007-03-13 11:35:05 as
	Verifying Web applications using bounded model checking [My Copy] Dependable Systems and Networks, 2004 International Conference on (2004), pp. 199-208. by Yao-Wen Huang, Fang Yu, C. Hang, Chung-Hung Tsai, D. T. Lee, Sy-Yen Kuo posted to no-tag by linekin on 2007-03-13 11:00:53 as
	Web application security assessment by fault injection and behavior monitoring [My Copy] In WWW '03: Proceedings of the 12th international conference on World Wide Web (2003), pp. 148-159. by Yao-Wen Huang, Shih-Kun Huang, Tsung-Po Lin, Chung-Hung Tsai posted to no-tag by linekin on 2007-03-12 15:23:34 as
	Effective static race detection for Java [My Copy] In PLDI '06: Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation (2006), pp. 308-319. by Mayur Naik, Alex Aiken, John Whaley posted to no-tag by linekin on 2007-03-07 15:02:09 as along with 2 people bfraser sharonel22
	A Systematic Approach to Static Access Control [My Copy] Lecture Notes in Computer Science, Vol. 2028 (2001), pp. 30-??. by Fran\ccois Pottier, Christian Skalka, Scott Smith posted to no-tag by linekin on 2007-03-07 14:57:11 as
	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 for Java with Reference-Set Representation [My Copy] posted to reference-set java analysis alias by linekin on 2007-02-08 17:00:33 as
	Interprocedural Probabilistic Pointer Analysis [My Copy] IEEE Trans. Parallel Distrib. Syst., Vol. 15, No. 10. (October 2004), pp. 893-907. by Peng-Sheng Chen, Yuan-Shin Hwang, Roy D. Ju, Jenq K. Lee posted to probabilistic pointer interprocedural analysis by linekin on 2007-02-04 14:01:05 as
	Escape analysis for Java<sup>TM</sup>: Theory and practice [My Copy] ACM Trans. Program. Lang. Syst., Vol. 25, No. 6. (November 2003), pp. 713-775. by Bruno Blanchet posted to java escape analysis by linekin on 2007-02-03 03:40:14 as
	Pointer Analysis for Java Programs: Novel Techniques and Applications [My Copy] posted to pointer java analysis by linekin on 2007-02-02 18:26:24 as
	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
	Escape analysis for Java [My Copy] In OOPSLA '99: Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (1999), pp. 1-19. by Jong-Deok Choi, Manish Gupta, Mauricio Serrano, Vugranam C. Sreedhar, Sam Midkiff posted to escape analysis java by linekin on 2007-02-02 07:35:48 as along with 4 people guillonc amorkan fgeller yang
	JAAT: A Practical Alias Analysis Tool for Java Programs [My Copy] posted to program java analysis alias by linekin on 2007-02-02 07:32:36 as
	Alias analysis for exceptions in Java [My Copy] posted to java exceptions analysis alias by linekin on 2007-02-02 07:18:10 as
	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 pointer analysis by linekin on 2007-02-02 06:22:04 as along with 10 people and 2 groups ama08r _Anne_ plaugg pejo wasi salagnac martink keigoi janschaefer srccheck Verimag TU-KL-SoftwareTechnologyGroup
	Finding bugs is easy [My Copy] SIGPLAN Not., Vol. 39, No. 12. (December 2004), pp. 92-106. by David Hovemeyer, William Pugh posted to findbugs by linekin on 2006-12-08 13:49:40 as along with 3 people and 2 groups ricardoaraujo ronison srccheck Oracle_10g_Group GMF-UFCG
	Evaluating and tuning a static analysis to find null pointer bugs [My Copy] In PASTE '05: The 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering (2005), pp. 13-19. by David Hovemeyer, Jaime Spacco, William Pugh posted to static pointer null analysis by linekin on 2006-12-08 13:39:24 as along with 1 person swiftwatch
	A static analyzer for finding dynamic programming errors [My Copy] Software: Practice and Experience, Vol. 30, No. 7. (2 May 2000), pp. 775-802. by William R. Bush, Jonathan D. Pincus, David J. Sielaff posted to static analysis by linekin on 2006-12-08 13:35:55 as along with 3 people mercutio martink NSumner
	Pointer Analysis and its Applications for Java Programs [My Copy] by Alexandru Salcianu posted to pointer java analysis by linekin on 2006-11-09 10:05:20 as
	A classification system and analysis for aspect-oriented programs [My Copy] In SIGSOFT '04/FSE-12: Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering (2004), pp. 147-158. by Martin Rinard, Alexandru Salcianu, Suhabe Bugrara posted to classification aspect aop by linekin on 2006-11-09 09:00:56 as along with 1 person ktonon
	On the criteria to be used in decomposing systems into modules [My Copy] Commun. ACM, Vol. 15, No. 12. (December 1972), pp. 1053-1058. by D. L. Parnas posted to module by linekin on 2006-11-09 08:58:51 as along with 35 people and 8 groups thermostat alexloh80 leonardo frangaiz michaelbanks gvdh ingo brothers martinrytter phreeza jago andreff eabait jonathanbp cameleon911 pridkett hamish kistijantoro lgaio grosskur mbravenboer ddahlem pverstra emerson schuh billkidwell KarlKlose rsantana VRadenovic kklo RalfMitschke saintedlama buchgeher rdyer alphabetagamma Method_Engineering_Services Software Quality SoftwareEvolutionAndMaintenance Software-Architecture Software_Architecture macc DSTO-CAS Laboratory for Software Design
	Detecting Precedence-Related Advice Interference [My Copy] In ASE '06: Proceedings of the 21st IEEE International Conference on Automated Software Engineering (ASE'06) (2006), pp. 317-322. by Maximilian Storzer, Florian Forster posted to aop precedence by linekin on 2006-11-09 08:49:25 as

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

analysis	15
java	8
pointer	5
alias	5
static	4
language	3
programming	3
web	3
application	3
aop	2
escape	2
security	2
functional	2
lazy	2
types	1
type	1
program	1
precedence	1
qualified	1
exceptions	1
probabilistic	1
vulnerabilities	1
reference-set	1
findbugs	1
interprocedural	1
aspects	1
haskell	1
aspect	1
null	1
module	1
classification	1
php	1
class	1

linekin's library 34 articles Export

linekin's tags