krisn11's Top Recommendations

These recommendations were last updated about an hour ago.

	BugNet: Continuously Recording Program Execution for Deterministic Replay Debugging [My Copy] by Satish Narayanasamy, Gilles Pokam, Brad Calder posted by 1 person roylee
	Flashback: A lightweight extension for rollback and deterministic replay for software debugging [My Copy] (2004) by S. Srinivasan, S. Kandula, C. Andrews, Y. Zhou posted by 1 person roylee
	Buffer Overflow and Format String Overflow Vulnerabilities [My Copy] (2003) by K. Lhee, S. Chapin posted by 1 person roylee
	Enhancing server availability and security through failure-oblivious computing [My Copy] (2004) by M. Rinard, C. Cadar, D. Dumitran, D. Roy, T. Leu, J. Beebee posted by 2 people laurobeltrao roylee
	Secure execution via program shepherding [My Copy] (2002) by V. Kiriansky, D. Bruening, S. Amarasinghe posted by 1 person roylee
	Vulnerability-Specific Execution Filtering for Exploit Prevention on Commodity Software [My Copy] by James Newsome, David Brumley, Dawn Song posted by 1 person roylee
	Automatic diagnosis and response to memory corruption vulnerabilities [My Copy] (2005) by J. Xu, P. Ning, C. Kil, Y. Zhai, C. Bookholt posted by 1 person roylee
	Automatic generation of buffer overflow attack signatures: An approach based on program behavior models [My Copy] (2005) by Z. Liang, R. Sekar posted by 1 person roylee
	A First Step towards Automated Detection of Buffer Overrun Vulnerabilities [My Copy] In Network and Distributed System Security Symposium (February 2000), pp. 3-17. by David Wagner, Jeffrey S. Foster, Eric A. Brewer, Alexander Aiken posted by 4 people martink roylee srccheck zuleger
	Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire [My Copy] In Proceedings 5th ACM Conf.\ on Functional Programming Languages and Computer Architecture, {FPCA}'91, Cambridge, {MA}, {USA}, 26--30 Aug 1991, Vol. 523 (1991), pp. 124-144. by Erik Meijer, Maarten Fokkinga, Ross Paterson edited by J. Hughes posted by 36 people ama08r ddemange pirapira ariels draganigajic rgrig jrw tautologico MattOConnor rahul ergodique kavabean damaru pintman croys roi msakai lomeo scis0000001 brothers calvins armintroy dhag Porges conal cdiggins SRL SRG_at_UCD complogic mmarcus jimburton Lambda the Ultimate namin dvgb jkominek pedagand
	Generalized algebraic data types and object-oriented programming [My Copy] In OOPSLA '05: Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming systems languages and applications (2005), pp. 21-40. by Andrew Kennedy, Claudio V. Russo posted by 4 people MattOConnor hannes wadler mcclurmc
	Viewpoint: Intuitive equals familiar [My Copy] Commun. ACM, Vol. 37, No. 9. (September 1994), pp. 17-18. by Jef Raskin posted by 4 people bangb plonsdale MattOConnor HCI-Bham
	The greedy trap and learning from mistakes [My Copy] In SIGCSE '03: Proceedings of the 34th SIGCSE technical symposium on Computer science education, Vol. 35, No. 1. (January 2003), pp. 11-15. by David Ginat posted by 3 people SuzanneThompson MattOConnor CHISEL
	INSERTION SORT is $O(n log n)$ [My Copy] by Michael A. Bender, Martín F. Colton, Miguel Mosteiro posted by 2 people MattOConnor michaelfieseler
	Eager Haskell: resource-bounded execution yields efficient iteration [My Copy] In Haskell '02: Proceedings of the ACM SIGPLAN workshop on Haskell (2002), pp. 38-50. by Jan-Willem Maessen posted by 4 people greenrd MattOConnor voigt SRG_at_UCD
	Efficient Method Dispatch in PCL [My Copy] In Object-Oriented Programming: the CLOS Perspective (1993), pp. 335-348. by Gregor Kiczales, Luis H. Rodriguez edited by Andreas Paepcke posted by 1 person MattOConnor
	Functional Data Structures [My Copy] In The Second International Summer School on Advanced Functional Programming Techniques (August 1996) by Chris Okasaki posted by 9 people puzza jweslley JeffreyPalmer jrw MattOConnor damaru meiersi iff eblood
	Extensibility in programming language design [My Copy] SIGPLAN Not., Vol. 10, No. 7. (July 1975), pp. 18-21. by Thomas A. Standish posted by 3 people MattOConnor mbravenboer dfisher
	Functional Pearl: Even higher-order functions for parsing or Why would anyone ever want to use a sixth-order function? [My Copy] Journal of Functional Programming, Vol. 8, No. 2. (1998), pp. 195-199. by Chris Okasaki posted by 3 people MattOConnor damaru jonathlela
	Procedural modeling of cities [My Copy] In SIGGRAPH '01: Proceedings of the 28th annual conference on Computer graphics and interactive techniques (2001), pp. 301-308. by Yoav I. H. Parish, Pascal M&\#252;ller posted by 10 people Jefficus MattOConnor jessmartin gilgamec craigtalbert denizinho unc_cs_eve UNC-EVE sgroenewegen rprince
	Intel Virtualization Technology [My Copy] Computer, Vol. 38, No. 5. (2005), pp. 48-56. by Rich Uhlig, Gil Neiger, Dion Rodgers, et al.Amy L. Santoni, Fernando C. M. Martins, Andrew V. Anderson, Steven M. Bennett, Alain K?gi, Felix H. Leung, Larry Smith posted by 8 people sachingarg urvoy lionell baurm unitial kartoch cybrpunk rkb
	Permissive interfaces [My Copy] SIGSOFT Softw. Eng. Notes, Vol. 30, No. 5. (September 2005), pp. 31-40. by Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar posted by 1 person lionell
	The Bloomier filter: an efficient data structure for static support lookup tables [My Copy] In SODA '04: Proceedings of the fifteenth annual ACM-SIAM symposium on Discrete algorithms (2004), pp. 30-39. by Bernard Chazelle, Joe Kilian, Ronitt Rubinfeld, Ayellet Tal posted by 1 person lionell
	Efficient software-based fault isolation [My Copy] In SOSP '93: Proceedings of the fourteenth ACM symposium on Operating systems principles, Vol. 27, No. 5. (December 1993), pp. 203-216. by Robert Wahbe, Steven Lucco, Thomas E. Anderson, Susan L. Graham posted by 4 people gtsysqual pedagand dsilva lionell
	SASI Enforcement of Security Policies: A Retrospective [My Copy] In WNSP: New Security Paradigms Workshop (2000) by Erlingsson, Schneider posted by 2 people lionell jfischer
	Metaphor in diagrams [My Copy] (1998) by A. Blackwell posted by 1 person cdiggins
	When Visual Programs are Harder to Read than Textual Programs [My Copy] In Human-Computer Interaction: Tasks and Organisation, Proceedings ECCE-6 (6th European Conference Cognitive Ergonomics) (1992) by T. R. G. Green, M. Petre posted by 1 person cdiggins
	Proving Java Type Soundness [My Copy] In Formal Syntax and Semantics of Java (1999), pp. 83-118. by Don Syme posted by 1 person cdiggins
	Context-Oriented Programming [My Copy] by M. L. Gassanenko posted by 1 person cdiggins
	A Type System For the Push-Enter Model [My Copy] by Kwanghoon C. Cs posted by 1 person cdiggins
	Making a Fast Curry [My Copy] by Push E. Vs posted by 5 people draganigajic cdiggins sclv SamB functional programming
	Recursion and Dynamic Data-structures in Bounded Space: Towards Embedded ML Programming [My Copy] In International Conference on Functional Programming (1999), pp. 70-81. by John Hughes, Lars Pareto posted by 1 person cdiggins
	Compiling Haskell by Program Transformation: A Report from the Trenches [My Copy] In European Symposium on Programming (1996), pp. 18-44. by Simon posted by 1 person cdiggins
	Verification of xUML Specifications [My Copy] by In T. Context posted by 1 person cdiggins
	MDA and Programming Languages [My Copy] (2002) by M. Eichberg posted by 1 person cdiggins
	Model transformations and tool integration [My Copy] (2004) by L. Tratt posted by 1 person cdiggins
	The MT model transformation language [My Copy] In SAC' 06 (2006) by Laurence Tratt posted by 1 person cdiggins
	Transformation: The missing link of MDA [My Copy] (2002) by A. Gerber, M. Lawley, K. Raymond, J. Steel, A. Wood posted by 1 person cdiggins
	Anti-Yacc: MOF-to-text [My Copy] (2002) by D. Hearnden, K. Raymond posted by 1 person cdiggins
	Towards a Precise Definition of the OMG/MDA Framework [My Copy] (2001) by Jean Bezivin, Et posted by 1 person cdiggins
	Platform-independent modelling in MDA: supporting abstract platforms [My Copy] by Joao, Remco Dijkman, Marten van Sinderen, Luis F. Pires posted by 1 person cdiggins
	Towards more ecient Software Engineering [My Copy] by With F. Mda posted by 1 person cdiggins
	Model Driven Architecture Approach in Tropos [My Copy] by A. Novikau posted by 1 person cdiggins
	Using UML Action Semantics for Executable Modeling and Beyond [My Copy] In Conference on Advanced Information Systems Engineering (2001), pp. 433-447. by Gerson Sunye, Francois Pennaneac'h, Wai M. Ho, Alain Le Guennec, Jean M. Jquel posted by 1 person cdiggins
	On Formalizing the UML Object Constraint Language OCL [My Copy] In Proc. 17th International Conference on Conceptual Modeling (ER), Vol. 1507 (1998), pp. 449-464. by Mark Richters, Martin Gogolla edited by Tok W. Ling, Sudha Ram, Mong L. Lee posted by 3 people jgaffuri cdiggins xiangzhangchina
	The UML as a Formal Modeling Notation [My Copy] In Proceedings OOPSLA'97 Workshop on Object-oriented Behavioral Semantics (1997), pp. 75-81. by Robert France, Andy Evans, Kevin Lano edited by Haim Kilov, Bernhard Rumpe, Ian Simmonds posted by 1 person cdiggins
	An ASM Semantics for UML Activity Diagrams [My Copy] by E. Borger, A. Cavarra, E. Riccobene posted by 1 person cdiggins
	Improving Bracket Abstraction -- A Cost Free Optimization [My Copy] No. CSIRP-91-3. (November 1991) by David J. Stevens posted by 1 person cdiggins
	Bracket abstraction in the combinator system Cl(K) [My Copy] by Sabine Broda, Luís Damas posted by 1 person cdiggins
	SINTL: A Strongly-Typed Generic Intermediate Language for Scheme [My Copy] by Mark Depristo posted by 1 person cdiggins
	Compiling Standard ML to Java Bytecodes [My Copy] In Proceedings of the ACM {SIGPLAN} International Conference on Functional Programming ({ICFP} '98), Vol. 34(1) (1999), pp. 129-140. by Nick Benton, Andrew Kennedy, George Russell posted by 1 person cdiggins
	Minimizing Reference count Updating with Deferred and Anchored Pointers for Functional Data Structures [My Copy] SIGPLAN Notices, Vol. 29, No. 9. (1994), pp. 38-43. by $^♣$henry G. Baker posted by 1 person cdiggins
	A Modal Analysis of Staged Computation [My Copy] In Conf.\ Record 23rd ACM {SIGPLAN}/{SIGACT} Symp.\ on Principles of Programming Languages, {POPL}'96, St.~Petersburg Beach, {FL}, {USA}, 21--24 Jan 1996 (1996), pp. 258-270. by Rowan Davies, Frank Pfenning posted by 1 person cdiggins
	Typed Closure Conversion [My Copy] In Symposium on Principles of Programming Languages (1996), pp. 271-283. by Yasuhiko Minamide, Gregory J. Morrisett, Robert Harper posted by 2 people cdiggins d23
	Lambda lifting: transforming programs to recursive equations [My Copy] In Functional programming languages and computer architecture. Proc. of a conference (Nancy, France, Sept. 1985) (1985), pp. ??-??. by Thomas Johnsson posted by 1 person cdiggins
	Type-Directed Partial Evaluation [My Copy] In POPL'96: The 23rd {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages, St. Petersburg, Florida, January 1996 (1996), pp. 242-257. by O. Danvy posted by 1 person cdiggins
	Teaching Functional Programming to First-Year Students [My Copy] Journal of Functional Programming, Vol. 3, No. 1. (1993), pp. 49-65. by Stef Joosten, Klaas van den Berg, Gerrit Van Der Hoeven posted by 2 people education03 cdiggins
	Type-Preserving Compilation of Featherweight Java [My Copy] In Foundations of Object-Oriented Languages (FOOL8) (2001) by Christopher League, Valery Trifonov, Zhong Shao posted by 1 person cdiggins
	Type-indexed rows [My Copy] ACM SIG\-PLAN Notices, Vol. 36, No. 3. (2001), pp. 261-275. by Mark Shields, Erik Meijer posted by 1 person cdiggins
	Type Inference for Record Concatenation and Multiple Inheritance [My Copy] In Fourth Annual Symposium on Logic in Computer Science (1989), pp. 92-97. by Mitchell Wand posted by 1 person cdiggins
	The logical approach to stack typing [My Copy] (2003) by A. Ahmed, D. Walker posted by 3 people network03 network01 cdiggins
	Signatures: A Language Extension for Improving Type Abstraction and Subtype Polymorphism in C++ [My Copy] Software--Practice & Experience, Vol. 25, No. 8. (Aug 1995), pp. 863-889. by Gerald Baumgartner, Vincent F. Russo posted by 1 person cdiggins
	An FPGA-Based Minimal Instruction Set Computer [My Copy] (1995) by H. Jr, R. Lew posted by 1 person cdiggins
	Type Inference with Polymorphic Recursion [My Copy] ACM Transactions on Programming Languages and Systems, Vol. 15, No. 2. (April 1993), pp. 253-289. by Fritz Henglein posted by 1 person cdiggins
	Type Reconstruction in the Presence of Polymorphic Recursion and Recursive Types [My Copy] No. BU-CS 93-019. (1993) by Said Jahama, A. J. Kfoury posted by 1 person cdiggins
	The essence of principal typings [My Copy] (2002) by J. Wells posted by 1 person cdiggins
	PCp³: A C Front End for Preprocessor Analysis and Transformation [My Copy] by Greg J. Badros posted by 1 person cdiggins
	Preprocessing C++: Substitution and Composition [My Copy] by Edward D. Willink, Vyacheslav B. Muchnick posted by 1 person cdiggins
	Program Generators and the Tools to Make Them [My Copy] by Yannis Smaragdakis, Shan S. Huang, David Zook posted by 1 person cdiggins
	A type system for the Java bytecode language and verifier [My Copy] by S. Freund, J. Mitchell posted by 1 person cdiggins
	Stack-Based Typed Assembly Language [My Copy] In Types in Compilation (1998), pp. 28-52. by Gregory J. Morrisett, Karl Crary, Neal Glew, David Walker posted by 1 person cdiggins
	A family of syntax definition formalisms [My Copy] by E. Visser posted by 1 person cdiggins
	The Syntax Definition Formalism SDF --- Reference Manual [My Copy] SIGPLAN Notices, Vol. 24, No. 11. (1989), pp. 43-75. by C. Heering, P. R. H. Hendriks, P. Klint, J. Rekers posted by 1 person cdiggins
	Compressing Java Class Files [My Copy] In SIGPLAN Conference on Programming Language Design and Implementation (1999), pp. 247-258. by William Pugh posted by 2 people cdiggins gvdh
	Warm Fusion: Deriving Build-Catas from Recursive Definitions [My Copy] In Conf.\ Record 7th ACM {SIGPLAN}/{SIGARCH} Int.\ Conf.\ on Functional Programming Languages and Computer Architecture, {FPCA}'95, La Jolla, San Diego, {CA}, {USA}, 25--28 June 1995 (1995), pp. 314-323. by John Launchbury, Tim Sheard posted by 1 person cdiggins
	A Fold for All Seasons [My Copy] In Proceedings 6th ACM {SIGPLAN}/{SIGARCH} Int.\ Conf.\ on Functional Programming Languages and Computer Architecture, {FPCA}'93, Copenhagen, Denmark, 9--11 June 1993 (1993), pp. 233-242. by Tim Sheard, Leonidas Fegaras posted by 1 person cdiggins
	Code Compression [My Copy] In SIGPLAN Conference on Programming Language Design and Implementation (1997), pp. 358-365. by Jens Ernst, William S. Evans, Christopher W. Fraser, Steven Lucco, Todd A. Proebsting posted by 1 person cdiggins
	Shortcut fusion for accumulating 14 parameters & zip-like functions [My Copy] (2002) by J. Svenningsson posted by 1 person cdiggins
	Playing by the rules: rewriting as a practical optimisation technique [My Copy] (2001) by S. Jones, T. Hoare, A. Tolmach posted by 1 person cdiggins
	When will deforestation stop? [My Copy] pp. 39-56. by A. B. Ferguson, Phil Wadler posted by 1 person cdiggins
	Comparison of Deforestation Techniques for Functional Programs And and for Tree Transducers [My Copy] by Armin Kühnemann posted by 1 person cdiggins
	Deforestation for Higher Order Functional Programs [My Copy] (1996) by S. Marlow posted by 1 person cdiggins
	Deforestation of Functional Programs through Type Inference [My Copy] by Olaf Chitil posted by 1 person cdiggins
	Towards logical understanding of delimited continuations [My Copy] (2000) by Y. Kameyama posted by 1 person cdiggins
	Mate: A tiny virtual machine for sensor networks [My Copy] In International Conference on Architectural Support for Programming Languages and Operating Systems, San Jose, CA, USA (Oct 2002) by P. Levis, D. Culler posted by 4 people dvalises goldsmid ramyeltarras cdiggins
	Two for the Price of One: Composing Partial Evaluation and Compilation [My Copy] In SIGPLAN Conference on Programming Language Design and Implementation (1997), pp. 215-225. by Michael Sperber, Peter Thiemann posted by 1 person cdiggins
	Parsing Expression Grammars: A Recognition-Based Syntactic Foundation [My Copy] (2004) by B. Ford posted by 1 person cdiggins
	Scannerless Boolean Parsing [My Copy] by Adam Megacz posted by 1 person cdiggins
	A Demand-Driven Adaptive Type Analysis [My Copy] by Danny Dubé, Marc Feeley posted by 1 person cdiggins
	Cheap Deforestation for Non-strict Functional Languages [My Copy] (1996) by Andrew Gill posted by 2 people msakai cdiggins
	Abstracting Control [My Copy] In Proceedings of the 1990 ACM Conference on {LISP} and Functional Programming, Nice (1990), pp. 151-160. by O. Danvy, A. Filinski posted by 1 person cdiggins
	Representing control in the presence of first-class continuations [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. 66-77. by R. Hieb, R. K. Dybvig, C. Bruggerman posted by 2 people cdiggins ch
	SINTL: A Strongly-Typed Generic Intermediate Language for Scheme [My Copy] by Mark Depristo posted by 1 person cdiggins
	A Practical Soft Type System for Scheme [My Copy] ACM Transactions on Programming Languages and Systems, Vol. 19, No. 1. (January 1997), pp. 87-152. by Andrew K. Wright, Robert Cartwright posted by 1 person cdiggins
	A General Approach for Run-Time Specialization and its Application to C [My Copy] In Symposium on Principles of Programming Languages (1996), pp. 145-156. by Charles Consel, Francois Noel posted by 3 people miteshjain cdiggins ronnix
	Generative Programming and Active Libraries (Extended Abstract) [My Copy] by Krzysztof Czarnecki, Ulrich Eisenecker, Et posted by 2 people miteshjain cdiggins
	Partial Evaluation of Computation Process - An Approach to a Compiler-Compiler [My Copy] Higher-Order and Symbolic Computation, Vol. 12, No. 4. (1999), pp. 381-391. by Yoshihiko Futamura posted by 5 people MartinSchuerrer scavadini cdiggins ronnix bunge
	Continuation Semantics in Typed Lambda-Calculi [My Copy] In Proceedings 3rd Workshop on Logics of Programs, Brooklyn, NY, {USA}, 17--19 June 1985, Vol. 193 (1985), pp. 219-224. by Albert R. Meyer, Mitchell Wand edited by R. Parikh posted by 2 people ds cdiggins
	Final Shift for Call/cc: Direct Implementation of Shift and Reset [My Copy] (2002) by Martin Gasbichler, Michael Sperber posted by 3 people harshrc cdiggins shimomura
	Monads and Composable Continuations [My Copy] Lisp and Symbolic Computation, Vol. 7, No. 1. (1994), pp. 39-56. by Philip Wadler posted by 4 people glaubersp cdiggins benchambers bringert