Kazuhiro Inaba's Top Recommendations

These recommendations were last updated about an hour ago.

	Region-Based Memory Management in Cyclone [My Copy] by Dan Grossman, Greg Morrisett, Trevor Jim, Michael Hicks, Yanling Wang, James Cheney posted by 6 people tautologico MattOConnor salagnac tomatoplan Verimag krisn11
	Some applications of Laplace eigenvalues of graphs [My Copy] (1997) by B. Mohar posted by 1 person kozaki
	Genetic algorithms in Haskell with polytypic programming [My Copy] (1997) by M. Ns posted by 1 person kozaki
	Best practices for convolutional neural networks applied to visual document analysis [My Copy] Document Analysis and Recognition, 2003. Proceedings. Seventh International Conference on In Document Analysis and Recognition, 2003. Proceedings. Seventh International Conference on (2003), pp. 958-963. by P. Y. Simard, D. Steinkraus, J. C. Platt posted by 1 person kozaki
	Distortion estimation techniques in solving visual CAPTCHAs [My Copy] Computer Vision and Pattern Recognition, 2004. CVPR 2004. Proceedings of the 2004 IEEE Computer Society Conference on In Computer Vision and Pattern Recognition, 2004. CVPR 2004. Proceedings of the 2004 IEEE Computer Society Conference on, Vol. 2 (2004), pp. II-23-II-28 Vol.2. by G. Moy, N. Jones, C. Harkless, R. Potter posted by 2 people kozaki jmgomez
	Breaking Visual CAPTCHAs with Naive Pattern Recognition Algorithms [My Copy] Computer Security Applications Conference, 2007. ACSAC 2007. Twenty-Third Annual In Computer Security Applications Conference, 2007. ACSAC 2007. Twenty-Third Annual (02 January 2008), pp. 279-291. by J. Yan, A. S. El Ahmad posted by 2 people dijewu kozaki
	Recognizing objects in adversarial clutter -- breaking a visual captcha [My Copy] (2003) by G. Mori, J. Malik posted by 1 person kozaki
	On-line EM Algorithm for the Normalized Gaussian Network [My Copy] Neural Computation, Vol. 12, No. 2. (2000), pp. 407-432. by Masa A. Sato, Shin Ishii posted by 1 person kozaki
	Interaction Is The Key To Machine Learning Applications [My Copy] by Henry Lieberman posted by 3 people suleehs kozaki brianlimyl
	Managing Gigabytes: Compressing and Indexing Documents and Images [My Copy] (1999) by Ian H. Witten, Alistair Moffat, Timothy C. Bell posted by 4 people gerold kaineci kozaki dmeister
	An experimental comparison of human and machine learning formalisms [My Copy] In Proc. Sixth International Workshop on Machine Learning (1989), pp. 113-118. by S. H. Muggleton, M. Bain, Hayes J. Michie, D. Michie posted by 2 people kozaki aglika
	An Introduction to MCMC for Machine Learning [My Copy] Machine Learning, Vol. 50, No. 1. (1 January 2003), pp. 5-43. by Christophe Andrieu, Nando de Freitas, Arnaud Doucet, Michael I. Jordan posted by 16 people mthomure hgfernan Forest inventory and monitoring xuzhe83 pqnga phil511 pdlug ldietz mshafiei wasteland93 bhaddow dowlingj markusd kozaki robotact delip
	Support Vector Machine Active Learning with Applications to Text Classification [My Copy] In Proceedings of ICML-00, 17th International Conference on Machine Learning (2000), pp. 999-1006. by Simon Tong, Daphne Koller edited by Pat Langley posted by 4 people johnkork Mohan-S jread82 kozaki
	Statistical Learning and Kernel Methods [My Copy] by Bernhard Schölkopf posted by 4 people sdvillal atbrew j0nes kozaki
	Semi-supervised learning with graphs [My Copy] (2005) by Xiaojin Zhu posted by 4 people mmcgloho sdvillal kozaki adamsi
	A semi-supervised document clustering algorithm based on EM [My Copy] Web Intelligence, 2005. Proceedings. The 2005 IEEE/WIC/ACM International Conference on (2005), pp. 200-206. by L. Rigutini, M. Maggini posted by 2 people sdvillal kozaki
	Graph mining: Laws, generators, and algorithms [My Copy] ACM Comput. Surv., Vol. 38, No. 1. (2006) by Deepayan Chakrabarti, Christos Faloutsos posted by 40 people eustachediemert dcombe makrehchi thegoose Social Web Adaptive-Web denisparra conservatism mmcgloho EmreSevinc Torsten_Holmer pdlug jrw mapio tmmurali ChaTo scis0000001 bigbossman AbnerCYH rgb joergkurtwegner graphminer azygmunt Repton jaspervoskuilen nvemuri iris_2001 InternetAlgorithms tuttle furykerry kozaki Molecular-Modelling Drug-Design Cheminformatics pileWorks AGH-IISG CSBBGraphTheory Community_SSTZ styliani krisl
	Graph-Based Data Mining [My Copy] IEEE Intelligent Systems, Vol. 15, No. 2. (March 2000), pp. 32-41. by Diane J. Cook, Lawrence B. Holder posted by 6 people pezi bigbossman graphminer azygmunt kozaki AGH-IISG
	Semi-supervised protein classification using cluster kernels. [My Copy] Bioinformatics, Vol. 21, No. 15. (1 August 2005), pp. 3241-3247. by J. Weston, C. Leslie, E. Ie, D. Zhou, A. Elisseeff, W. S. Noble posted by 4 people chrn filippone kallberg kozaki
	Semi-supervised learning using Gaussian fields and harmonic functions [My Copy] (2003) by X. Zhu, Z. Ghahramani, J. Lafferty posted by 3 people dwf kozaki amargoli
	Problem spotting in human-machine interaction [My Copy] (1999) by E. Krahmer, M. Swerts, M. Theune, M. Weegels posted by 2 people metropol kozaki
	On the nature of chaos [My Copy] (26 Feb 2006) by Bau-Sen Du posted by 2 people ansobol kozaki
	An algorithm for semi-supervised learning in image retrieval [My Copy] Pattern Recognition, Vol. 39, No. 4. (April 2006), pp. 717-720. by Ke Lu, Jidong Zhao, Deng Cai posted by 6 people thsant sdvillal seudonimo_falso video_retrieval kozaki thienanh
	Learning Segmentation by Random Walks [My Copy] In NIPS (2000), pp. 873-879. by Marina Meila, Jianbo Shi posted by 4 people xtizon kozaki mpotamias yoonk
	Online Passive-Aggressive Algorithms [My Copy] by Koby Crammer, Ofer Dekel, Shai S. Shwartz, Yoram Singer posted by 5 people semantic01 kvorg mthomure markusd kozaki
	An introduction to kernel-based learning algorithms [My Copy] Neural Networks, IEEE Transactions on, Vol. 12, No. 2. (2001), pp. 181-201. by K. R. Muller, S. Mika, G. Ratsch, K. Tsuda, B. Scholkopf posted by 18 people esyoun awg2 ckai1 Fujisaki babakap gkvas eddymier vi_z grzegorz bayesian pliz mthomure zoop atbrew kozaki teesid jccaicedo i-stevenson
	Transductive Inference for Text Classification using Support Vector Machines [My Copy] In Proceedings of ICML-99, 16th International Conference on Machine Learning (1999), pp. 200-209. by Thorsten Joachims edited by Ivan Bratko, Saso Dzeroski posted by 9 people bioinfo mthomure scis0000001 krikamol kaineci ehohman vlachmore kozaki adamsi
	Telling humans and computers apart automatically [My Copy] (2004) by L. von Ahn, M. Blum, J. Langford posted by 7 people harperf Sagromus warkdarrior kozaki Security GroupLens Usable_Security
	Efficiently Mining Frequent Trees in a Forest: Algorithms and Applications [My Copy] Knowledge and Data Engineering, IEEE Transactions on, Vol. 17, No. 8. (2005), pp. 1021-1035. by M. J. Zaki posted by 4 people clucches graphminer kozaki InformationRetrieval
	Text Classification from Labeled and Unlabeled Documents using EM [My Copy] Machine Learning, Vol. 39, No. 2/3. (2000), pp. 103-134. by Kamal Nigam, Andrew K. Mccallum, Sebastian Thrun, Tom M. Mitchell posted by 9 people MatMay buescher76 adamchandra jread82 karlmicha ananthrk NinaG kozaki ecome
	Kernel Methods for Pattern Analysis [My Copy] (28 June 2004) by John Shawe-Taylor, Nello Cristianini posted by 21 people gavin1332 rramirezp vlasto thefillm sb-3000 davidr nello MatMay bayesian lyongu klaudius filippone sdvillal ecome librain kozaki Computational-Genomics Pattern-Analysis LTN jung_dalglish quianominorleo
	Purely functional data structures [My Copy] (1998) by Chris Okasaki posted by 6 people JeffreyPalmer muli msakai AndreasSchropp kozaki jimburton
	Compositional pointer and escape analysis for Java programs [My Copy] ACM SIG\-PLAN Notices, Vol. 34, No. 10. (1999), pp. 187-206. by John Whaley, Martin Rinard posted by 5 people plaugg salagnac schuh yang Verimag
	A combined pointer and purity analysis for Java programs [My Copy] No. MIT-CSAILTR-949. (May 2004) by A. Salcianu, M. Rinard posted by 4 people salagnac amorkan schuh Verimag
	Checking ownership and confinement [My Copy] Concurrency and Computation: Practice and Experience, Vol. 16, No. 7. (27 April 2004), pp. 671-687. by Alex Potanin, James Noble, Robert Biddle posted by 3 people plaugg salagnac Verimag
	Parameterized Object Sensitivity for Points-to Analysis for [My Copy] by Java A. Milanova posted by 3 people plaugg salagnac Verimag
	Modern Compiler Implementation in Java [My Copy] (21 October 2002) by Andrew W. Appel, Jens Palsberg posted by 3 people salagnac bringert Verimag
	Alias annotations for program understanding [My Copy] (2002) by J. Aldrich, V. Kostadinov, C. Chambers posted by 3 people salagnac amorkan Verimag
	Destructors, finalizers, and synchronization [My Copy] In POPL '03: Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 38, No. 1. (January 2003), pp. 262-272. by Hans J. Boehm posted by 4 people ConcertRG tautologico salagnac Verimag
	The Treadmill: Real-Time Garbage Collection without Motion Sickness [My Copy] ACM Sigplan Notices, Vol. 27, No. 3. (March 1992), pp. 66-70. by Henry G. Baker posted by 2 people salagnac Verimag
	The space cost of lazy reference counting [My Copy] In POPL '04: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 39, No. 1. (January 2004), pp. 210-219. by Hans-J posted by 3 people tautologico salagnac Verimag
	Thin Locks: Featherweight Synchronization for Java [My Copy] In SIGPLAN Conference on Programming Language Design and Implementation (1998), pp. 258-268. by David F. Bacon, Ravi B. Konuru, Chet Murthy, Mauricio J. Serrano posted by 2 people salagnac Verimag
	Pointer and escape analysis for multithreaded programs [My Copy] ACM SIG\-PLAN Notices, Vol. 36, No. 7. (2001), pp. 12-23. by Alexandru Salcianu, Martin Rinard posted by 4 people salagnac amorkan Verimag NSumner
	Path-Sensitive Value-Flow Optimizations of Programs [My Copy] (1999) by R. Bodik posted by 3 people network01 salagnac Verimag
	Finding your cronies: static analysis for dynamic object colocation [My Copy] (2004) by S. Guyer, K. Mckinley posted by 3 people plaugg salagnac Verimag
	An incremental flow- and context-sensitive pointer aliasing analysis [My Copy] In ICSE '99: Proceedings of the 21st international conference on Software engineering (1999), pp. 442-451. by Jyh-Shiarn Yur, Barbara G. Ryder, William A. Landi posted by 4 people plaugg salagnac schuh Verimag
	Memory Management with Use-Counted Regions [My Copy] by Tachio Terauchi, Alex Aiken posted by 3 people tautologico salagnac Verimag
	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 by 13 people ama08r _Anne_ plaugg pejo wasi salagnac martink linekin keigoi janschaefer Verimag TU-KL-SoftwareTechnologyGroup srccheck
	Automatic pool allocation: improving performance by controlling data structure layout in the heap [My Copy] In PLDI '05: Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, Vol. 40, No. 6. (June 2005), pp. 129-142. by Chris Lattner, Vikram Adve posted by 6 people hcr qiongc pejo salagnac eraman Verimag
	Ulterior reference counting: fast garbage collection without a long wait [My Copy] In OOPSLA '03: Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications, Vol. 38, No. 11. (November 2003), pp. 344-358. by Stephen M. Blackburn, Kathryn S. Mckinley posted by 3 people kschiess salagnac Verimag
	Combining region inference and garbage collection [My Copy] In PLDI '02: Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation, Vol. 37, No. 5. (May 2002), pp. 141-152. by Niels Hallenberg, Martin Elsman, Mads Tofte posted by 4 people pnkfelix salagnac RalfMitschke Verimag
	Language support for regions [My Copy] In PLDI '01: Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation, Vol. 36, No. 5. (May 2001), pp. 70-80. by David Gay, Alex Aiken posted by 3 people pnkfelix salagnac Verimag
	Ownership types for safe region-based memory management in real-time Java [My Copy] In PLDI '03: Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation, Vol. 38, No. 5. (May 2003), pp. 324-337. by Chandrasekhar Boyapati, Alexandru Salcianu, William Beebee, Martin Rinard posted by 5 people pnkfelix salagnac kiniry Verimag SRG_at_UCD
	Region Inference for an Object-Oriented Language [My Copy] by Wei-Ngan Chin, Florin Craciun, Shengchao Qin, Martin Rinard posted by 4 people tautologico salagnac tomatoplan Verimag
	Role-based exploration of object-oriented programs [My Copy] In ICSE '02: Proceedings of the 24th International Conference on Software Engineering (2002), pp. 313-324. by Brian Demsky, Martin Rinard posted by 3 people V salagnac Verimag
	Reconsidering custom memory allocation [My Copy] In Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, Vol. 37, No. 11. (November 2002), pp. 1-12. by Emery D. Berger, Benjamin G. Zorn, Kathryn S. Mckinley posted by 5 people sourada dfsweeney salagnac neilc Verimag
	Language Support for Regions [My Copy] In SIGPLAN Conference on Programming Language Design and Implementation (2001), pp. 70-80. by David Gay, Alexander Aiken posted by 6 people dfsweeney tautologico jolilius salagnac TUCS-ES_Lab Verimag
	Memory Management with Explicit Regions [My Copy] In SIGPLAN Conference on Programming Language Design and Implementation (1998), pp. 313-323. by David Gay, Alexander Aiken posted by 6 people dfsweeney tautologico salagnac tmiya neilc Verimag
	Region-Based Memory Management [My Copy] Information and Computation (1997) by Mads Tofte, Jean-Pierre Talpin posted by 10 people dfsweeney tautologico jolilius salagnac tomatoplan tmiya glaubersp harshrc TUCS-ES_Lab Verimag
	Static specification inference using predicate mining [My Copy] SIGPLAN Not., Vol. 42, No. 6. (June 2007), pp. 123-134. by Murali K. Ramanathan, Ananth Grama, Suresh Jagannathan posted by 1 person jespera
	Path-Sensitive Inference of Function Precedence Protocols [My Copy] In ICSE '07: Proceedings of the 29th International Conference on Software Engineering (2007), pp. 240-250. by Murali K. Ramanathan, Ananth Grama, Suresh Jagannathan posted by 3 people jespera alphabetagamma newdawn
	Dex: A Semantic-Graph Differencing Tool for Studying Changes in Large Code Bases [My Copy] In ICSM '04: Proceedings of the 20th IEEE International Conference on Software Maintenance (2004), pp. 188-197. by Shruti Raghavan, Rosanne Rohana, David Leon, Andy Podgurski, Vinay Augustine posted by 1 person jespera
	Bugs as Inconsistent Behavior: A General Approach to Inferring Errors in Systems Code [My Copy] In Symposium on Operating Systems Principles (2001), pp. 57-72. by Dawson R. Engler, David Y. Chen, Andy Chou posted by 1 person jespera
	API-Evolution Support with Diff-CatchUp [My Copy] IEEE Trans. Softw. Eng., Vol. 33, No. 12. (December 2007), pp. 818-836. by Zhenchang Xing, Eleni Stroulia posted by 1 person jespera
	Change Distilling:Tree Differencing for Fine-Grained Source Code Change Extraction [My Copy] Software Engineering, IEEE Transactions on In Software Engineering, IEEE Transactions on, Vol. 33, No. 11. (08 October 2007), pp. 725-743. by B. Fluri, M. Wursch, M. Pinzger, H. C. Gall posted by 2 people jespera alexloh80
	Understanding source code evolution using abstract syntax tree matching [My Copy] SIGSOFT Softw. Eng. Notes, Vol. 30, No. 4. (July 2005), pp. 1-5. by Iulian Neamtiu, Jeffrey S. Foster, Michael Hicks posted by 2 people ama08r jespera
	Identifying Refactorings from Source-Code Changes [My Copy] In ASE '06: Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (2006), pp. 231-240. by Peter Weissgerber, Stephan Diehl posted by 3 people pezi emerson jespera
	Automatic Inference of Structural Changes for Matching across Program Versions [My Copy] In ICSE '07: Proceedings of the 29th international conference on Software Engineering (2007), pp. 333-343. by Miryung Kim, David Notkin, Dan Grossman posted by 3 people alexloh80 khatchad jespera
	Identifying the semantic and textual differences between two versions of a program [My Copy] SIGPLAN Notices In Proceedings of the ACM {SIGPLAN} '90 Conference on Programming Language Design and Implementation, Vol. 25, No. 6. (June 1990), pp. 234-245. by Susan Horwitz posted by 1 person jespera
	PR-Miner: automatically extracting implicit programming rules and detecting violations in large software code [My Copy] In ESEC/FSE-13: Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering, Vol. 30, No. 5. (September 2005), pp. 306-315. by Zhenmin Li, Yuanyuan Zhou posted by 5 people himosqui jespera alec pfrancis fgeller
	Parallel processing: a smart compiler and a dumb machine [My Copy] In SIGPLAN '84: Proceedings of the 1984 SIGPLAN symposium on Compiler construction, Vol. 19, No. 6. (June 1984), pp. 37-47. by Joseph A. Fisher, John R. Ellis, John C. Ruttenberg, Alexandru Nicolau posted by 2 people jespera visit0r
	The categorical abstract machine [My Copy] Sci. Comput. Program., Vol. 8, No. 2. (April 1987), pp. 173-202. by G. Cousineau, P. L. Curien posted by 11 people jespera LeonSmith mahler msakai bonotake scis0000001 mstone rgb devnull Rightscom pileWorks
	An Event Algebra for Specifying and Scheduling Workflows [My Copy] In Database Systems for Advanced Applications (1995), pp. 53-60. by Munindar P. Singh, Greg Meredith, Christine Tomlinson, Paul C. Attie posted by 1 person jespera
	Mining sequential patterns [My Copy] In Eleventh International Conference on Data Engineering (1995), pp. 3-14. by Rakesh Agrawal, Ramakrishnan Srikant edited by Philip S. Yu, Arbee S. P. Chen posted by 16 people votis jespera bluestan feasel tetsus QFRMC robincha michaelmampaey jcsilva amsantos markymaypo unc_cs_eve QFRMC_ConsumerCredit UNC-FPM ADMiRes ARTFL
	Flow-Directed Closure Conversion for Typed Languages [My Copy] Lecture Notes in Computer Science, Vol. 1782 (2000), 56. by Henry Cejtin, Suresh Jagannathan, Stephen Weeks posted by 1 person jespera
	Design and Correctness of Program Transformations Based on Control-Flow Analysis [My Copy] Lecture Notes in Computer Science, Vol. 2215 (2001) by Anindya Banerjee, Nevin Heintze, Jon G. Riecke posted by 1 person jespera
	Type-driven defunctionalization [My Copy] In ICFP '97: Proceedings of the second ACM SIGPLAN international conference on Functional programming, Vol. 32, No. 8. (August 1997), pp. 25-37. by Jeffrey M. Bell, Fran&\#231;oise Bellegarde, James Hook posted by 1 person jespera
	Polymorphic typed defunctionalization [My Copy] In POPL '04: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Vol. 39, No. 1. (January 2004), pp. 89-98. by François Pottier, Nadji Gauthier posted by 2 people bulwahn jespera
	The essence of LR parsing [My Copy] In PEPM '95: Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (1995), pp. 146-155. by Michael Sperber, Peter Thiemann posted by 1 person jespera
	Definitional interpreters for higher-order programming languages [My Copy] In ACM '72: Proceedings of the ACM annual conference (1972), pp. 717-740. by John C. Reynolds posted by 7 people robertjohnsimmons ConcertRG kschiess jespera calvins spl pedagand
	Communicating Sequential Processes (Prentice Hall International Series in Computing Science) [My Copy] (01 April 1985) by C. A. R. Hoare posted by 5 people gvdh sgwyj streetlightios jespera cbertolini
	Running Programs Backwards: The Logical Inversion of Imperative Computation [My Copy] Formal Aspects of Computing, Vol. 9, No. 3. (1997), pp. 331-348. by Brian J. Ross posted by 1 person jespera
	The universal resolving algorithm: inverse computation in a functional language [My Copy] In Mathematics of Program Construction. Proceedings, Vol. 1837 (2000), pp. 187-212. by Sergei M. Abramov, Robert Glück edited by R. Backhouse, J. N. Oliveira posted by 1 person jespera
	Proving correctness of compiler optimizations by temporal logic [My Copy] In Symposium on Principles of Programming Languages (2002), pp. 283-294. by David Lacey, Neil D. Jones, Eric V. Van Wyk, Carl C. Frederiksen posted by 1 person jespera
	Correctness of Classical Compiler Optimizations using CTL [My Copy] (2001) by Carl C. Frederiksen posted by 1 person jespera
	Logic in Computer Science: Modelling and Reasoning about Systems [My Copy] (2000) by Michael R. A. Huth, Mark D. Ryan posted by 1 person jespera
	From checking to inference via driving and dag grammars [My Copy] In PEPM '02: Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation, Vol. 37, No. 3. (March 2002), pp. 41-51. by Jens P. Secher, Morten H. S&\#248;rensen posted by 1 person jespera
	$My PDF gl&\#252;ck_03_transforming.pdf$ Transforming interpreters into inverse interpreters by partial evaluation [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. 10-19. by Robert Gl&\#252;ck, Youhei Kawada, Takuya Hashimoto posted by 1 person jespera
	A Heuristic Approach to Program Inversion [My Copy] In IJCAI (1985), pp. 219-221. by David Eppstein posted by 1 person jespera
	The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code [My Copy] In FLOPS '99: Proceedings of the 4th Fuji International Symposium on Functional and Logic Programming (1999), pp. 300-318. by Atsushi Ohori posted by 3 people ddemange noam_zeilberger jespera
	A programmable editor for developing structured documents based on bidirectional transformations [My Copy] In PEPM '04: Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation (2004), pp. 178-189. by Zhenjiang Hu, Shin-Cheng Mu, Masato Takeichi posted by 1 person jespera
	A formal approach to program inversion [My Copy] In CSC '90: Proceedings of the 1990 ACM annual conference on Cooperation (1990), pp. 398-403. by Wei Chen posted by 3 people jff jespera paper_jac
	Defunctionalization at work [My Copy] In PPDP '01: Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming (2001), pp. 162-174. by Olivier Danvy, Lasse R. Nielsen posted by 5 people bulwahn neelk eaubin jespera pedagand
	A functional correspondence between evaluators and abstract machines [My Copy] In PPDP '03: Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming (2003), pp. 8-19. by Mads S. Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard posted by 6 people jpbernardy dherman jacob eaubin jespera NU-PRL
	Cache-Oblivious Algorithms [My Copy] (June 1999) by H. Prokop posted by 1 person krisn11
	A New Stack Technique for the Management of Runtime Structures in Distributed Implementations [My Copy] No. 93-3. (1993) by Guido Hogen, Rita Loogen posted by 1 person krisn11
	A Binary Rewriting Defense against Stack Based Overflow attacks [My Copy] by Manish Prasad, Tzi C. Chiueh posted by 1 person krisn11
	Testing C Programs for Buffer Overflow Vulnerabilities [My Copy] by Eric Haugh, Matt Bishop posted by 1 person krisn11
	StackGhost: Hardware Facilitated Stack Protection [My Copy] pp. 55-66. by Mike Frantzen, Mike Shuey posted by 1 person krisn11
	Type Inference in Stack Based Languages [My Copy] Formal Aspects of Computing, Vol. 5, No. 4. (1993), pp. 289-298. by Bill Stoddart, Peter J. Knaggs posted by 2 people cdiggins krisn11