jcreed's library 233 articles Export

	Mechanism Design via Differential Privacy [My Copy] In FOCS '07: Proceedings of the 48th Annual IEEE Symposium on Foundations of Computer Science (2007), pp. 94-103. by Frank McSherry, Kunal Talwar posted to privacy differential by jcreed on 2009-11-21 18:06:38 as along with 1 person trutat1
	Practical privacy: the SuLQ framework [My Copy] In PODS '05: Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (2005), pp. 128-138. by Avrim Blum, Cynthia Dwork, Frank McSherry, Kobbi Nissim posted to privacy differential by jcreed on 2009-11-21 18:02:10 as
	Single-packet IP traceback [My Copy] IEEE/ACM Trans. Netw., Vol. 10, No. 6. (2002), pp. 721-734. by Alex C. Snoeren, Craig Partridge, Luis A. Sanchez, et al.Christine E. Jones, Fabrice Tchakountio, Beverly Schwartz, Stephen T. Kent, Timothy W. Strayer posted to toread botnets by jcreed on 2009-11-21 17:45:14 as along with 2 people alexbdigital ecronin
	A DoS-limiting network architecture [My Copy] SIGCOMM Comput. Commun. Rev., Vol. 35, No. 4. (2005), pp. 241-252. by Xiaowei Yang, David Wetherall, Thomas Anderson posted to toread botnets by jcreed on 2009-11-21 17:45:07 as along with 1 person alexbdigital
	A Principal Components Analysis-Based Robust DDoS Defense System [My Copy] Communications, 2008. ICC '08. IEEE International Conference on In Communications, 2008. ICC '08. IEEE International Conference on (2008), pp. 1663-1669. by Huizhong Sun, Yan Zhaung, H. J. Chao posted to toread botnets by jcreed on 2009-11-21 17:44:56 as along with 1 person alexbdigital
	Calibrating Noise to Sensitivity in Private Data Analysis [My Copy] In Theory of Cryptography Conference (2006) by Cynthia Dwork, Frank Mcsherry, Kobbi Nissim, Adam Smith posted to privacy differential by jcreed on 2009-11-21 17:42:42 as along with 1 person and 1 group mhay kdl
	Generalized Ultrametrics, Domains And An Application To Computational Logic [My Copy] Irish Mathematical Society Bulletin, Vol. 41 (1998), pp. 31-43. by Anthony K. Seda, Pascal Hitzler posted to ultrametric logic by jcreed on 2009-11-20 17:03:39 as
	Ultrametric spaces and logic programming [My Copy] The Journal of Logic Programming, Vol. 42, No. 2. (February 2000), pp. 59-70. by S. Priesscrampe, P. Ribenboim posted to ultrametric logic-programming by jcreed on 2009-11-20 17:00:08 as
	Continuous grammars [My Copy] In POPL '99: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1999), pp. 303-310. by Martin Ruckert posted to lipschitz grammar by jcreed on 2009-11-20 14:40:59 as
	Game-Based Analysis of Denial-of-Service Prevention Protocols [My Copy] In CSFW '05: Proceedings of the 18th IEEE workshop on Computer Security Foundations (2005), pp. 287-301. by Ajay Mahimkar, Vitaly Shmatikov posted to games botnets by jcreed on 2009-11-17 20:26:11 as
	The Price of Malice in Linear Congestion Games [My Copy] Internet and Network Economics (2008), pp. 118-125. by Aaron Roth posted to games botnets by jcreed on 2009-11-17 20:25:07 as
	Malicious Bayesian Congestion Games [My Copy] (5 Jun 2008) by Martin Gairing posted to games botnets by jcreed on 2009-11-17 20:24:26 as along with 1 person proportional
	Differential privacy [My Copy] In Proceedings of ICALP (Part, Vol. 2 (2006), pp. 1-12. by Cynthia Dwork posted to privacy differential by jcreed on 2009-11-16 20:00:19 as along with 1 person dfabbri
	Simplicial Databases [My Copy] (13 Apr 2009) by David I. Spivak posted to simplices databases category-theory by jcreed on 2009-11-13 21:58:24 as
	Resource Usage Analysis [My Copy] (2002) by Atsushi Igarashi, Naoki Kobayashi posted to types resources by jcreed on 2009-11-13 21:53:24 as along with 1 person ama08r
	Applicative Programming with Effects [My Copy] by Conor Mcbride, Ross Paterson posted to monads arrows applicative-functors by jcreed on 2009-11-08 20:05:40 as along with 9 people pedagand msakai shimomura zednenem josefs mstone bringert conal croys
	A computational investigation of graph reconstruction [My Copy] (January 2008) by David Rivshin posted to reconstruction graphs by jcreed on 2009-11-07 18:35:06 as
	Families of pairs of graphs with a large number of common cards [My Copy] Journal of Graph Theory, Vol. 9999, No. 9999. (2009), n/a. by Andrew Bowler, Paul Brown, Trevor Fenner posted to reconstruction graphs by jcreed on 2009-11-07 18:29:23 as
	Unembedding domain-specific languages [My Copy] In Haskell '09: Proceedings of the 2nd ACM SIGPLAN symposium on Haskell (2009), pp. 37-48. by Robert Atkey, Sam Lindley, Jeremy Yallop posted to unembedding phoas by jcreed on 2009-10-26 23:07:42 as along with 2 people keigoi noam_zeilberger
	A poor man's concurrency monad [My Copy] J. Funct. Program., Vol. 9, No. 3. (May 1999), pp. 313-323. by Koen Claessen posted to monad concurrency by jcreed on 2009-10-23 14:33:59 as along with 5 people and 2 groups draganigajic dalev keigoi janschaefer pedagand NU-PRL TU-KL-SoftwareTechnologyGroup
	The Zipper [My Copy] Journal of Functional Programming, Vol. 7, No. 05. (September 1997), pp. 549-554. by T. GÉRARD HUE posted to zipper by jcreed on 2009-10-11 21:05:37 as along with 10 people and 2 groups robertjohnsimmons dimvar draganigajic yallop kowey jonathlela pedagand mcclurmc namin sclv functional programming Lambda the Ultimate
	Eliminating the call stack to save RAM [My Copy] In LCTES '09: Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems (2009), pp. 60-69. by Xuejun Yang, Nathan Cooprider, John Regehr posted to embedded compilers by jcreed on 2009-10-07 21:39:28 as along with 1 person mattmight
	The Pi-Calculus as a Theory in Linear Logic [My Copy] (1992) by Dale Miller posted to pi-calculus by jcreed on 2009-10-06 20:39:25 as
	On the pi-Calculus and Linear Logic [My Copy] (1994) by G. Bellin, P. J. Scott posted to pi-calculus by jcreed on 2009-10-06 20:20:24 as
	A Spatial Extension to the π Calculus [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the First Workshop "From Biology To Concurrency and back (FBTC 2007)", Vol. 194, No. 3. (20 January 2008), pp. 133-148. by M. John posted to pi-calculus by jcreed on 2009-10-06 20:16:33 as along with 4 people and 2 groups fierykylin mattis23 Grobi dagmar dIEMoSIRIS MoSi-Rostock
	Survey of network-based defense mechanisms countering the DoS and DDoS problems [My Copy] ACM Comput. Surv., Vol. 39, No. 1. (2007) by Tao Peng, Christopher Leckie, Kotagiri Ramamohanarao posted to botnets by jcreed on 2009-10-06 19:54:59 as along with 2 people alexloh80 missiongiraffe
	A taxonomy of DDoS attack and DDoS defense mechanisms [My Copy] ACM SIGCOMM Computer Communication Review, Vol. 34, No. 2. (April 2004), pp. 39-53. by Jelena Mirkovic, Peter Reiher posted to toread botnets by jcreed on 2009-10-06 19:41:57 as along with 2 people cmalek tnhh
	ALPi: A DDoS Defense System for High-Speed Networks [My Copy] Selected Areas in Communications, IEEE Journal on In Selected Areas in Communications, IEEE Journal on, Vol. 24, No. 10. (2006), pp. 1864-1876. by P. E. Ayres, Huizhong Sun, H. J. Chao, Wing C. Lau posted to toread botnets by jcreed on 2009-10-06 19:41:37 as along with 1 person alexbdigital
	A Foray into Conficker’s Logic and Rendezvous Points [My Copy] In 2nd Usenix Workshop on Large-Scale Exploits and Emergent Threats (LEET '09) (2009) by Phillip Porras, Hassen Saidi, Vinod Yegneswaran posted to botnets by jcreed on 2009-10-06 18:58:48 as
	An Empirical Study of Real-world Polymorphic Code Injection Attacks [My Copy] In 2nd Usenix Workshop on Large-Scale Exploits and Emergent Threats (LEET '09) (2009) by Michalis Polychronakis, Kostas G. Anagnostakis, Evangelos P. Markatos posted to botnets by jcreed on 2009-10-06 15:38:51 as
	A Logic for Constrained Process Calculi with Applications to Molecular Biology [My Copy] (May 2009) by Kaustuv Chaudhuri, Joëlle Despeyroux posted to linear-logic hybrid-logic by jcreed on 2009-10-06 14:12:42 as
	A Survey of Linear Logic Programming [My Copy] COMPUTATIONAL LOGIC, Vol. 2 (1995), pp. 2-2. by Dale Miller posted to logic-programming linear-logic by jcreed on 2009-10-06 14:05:01 as
	Higher-order Representation of Substructural Logics [My Copy] (2009) by Karl Crary posted to substructural-logics file-import-09-10-05b by jcreed on 2009-10-05 21:42:24 as
	The Proof Theory and Semantics of Intuitionistic Modal Logic [My Copy] (1994) by Alex K. Simpson posted to file-import-09-10-05b modal-logic by jcreed on 2009-10-05 21:42:24 as
	Mixin' up the ML module system [My Copy] SIGPLAN Not., Vol. 43, No. 9. (2008), pp. 307-320. by Derek Dreyer, Andreas Rossberg posted to module-systems file-import-09-10-05b by jcreed on 2009-10-05 21:42:24 as
	Nominal logic, a first order theory of names and binding [My Copy] Inf. Comput., Vol. 186, No. 2. (2003), pp. 165-193. by Andrew M. Pitts posted to nominal-logic file-import-09-10-05b by jcreed on 2009-10-05 21:42:24 as
	Adventures in Associative-Commutative Unification [My Copy] Journal of Symbolic Computation, Vol. 8 (1994), pp. 393-416. by Patrick Lincoln, Jim Christian posted to unification file-import-09-10-05b by jcreed on 2009-10-05 21:42:24 as
	The Lambda-Calculus with Multiplicities [My Copy] No. 2025. (1993) by Gérard Boudol posted to substructural-logics lambda-calculus file-import-09-10-05b by jcreed on 2009-10-05 21:42:24 as
	AC-Unification of Higher-order Patterns [My Copy] In In G. Smolka (Ed), Proc. Principles and Practice of Constraint Programming -- CP'97, Lecture (1997), pp. 267-281. by Alexandre Boudet, Re Boudet, Evelyne Contejean posted to unification patterns file-import-09-10-05b by jcreed on 2009-10-05 21:42:24 as
	Substructural Operational Semantics as Ordered Logic Programming [My Copy] In Proceedings of the 24th Annual Symposium on Logic in Computer Science (LICS'09) (2009) by Frank Pfenning, Robert J. Simmons posted to substructural-logics ordered-logic file-import-09-10-05b by jcreed on 2009-10-05 21:42:24 as
	Substructural operational semantics and linear destination-passing style [My Copy] In Proceedings of the 2nd Asian Symposium on Programming Languages and Systems (APLAS'04) (2004) by Frank Pfenning posted to substructural-logics file-import-09-10-05b by jcreed on 2009-10-05 21:42:24 as
	A Game-Theoretic Approach to Deciding Higher-Order Matching [My Copy] In ICALP (2006), pp. 348-359. by Colin Stirling posted to unification matching file-import-09-10-05b by jcreed on 2009-10-05 21:42:24 as
	A simplified account of the metatheory of linear LF [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 70, No. 2. (2002), pp. 11-28. by J. C. Vanderwaart, K. Crary posted to linear-logic lf file-import-09-10-05b by jcreed on 2009-10-05 21:42:24 as
	Separation Logic: A Logic for Shared Mutable Data Structures [My Copy] In Proceedings of the 17th Annual Symposium on Logic in Computer Science ({LICS}'02) (2002), pp. 55-74. by John C. Reynolds posted to substructural-logics file-import-09-10-05b bi by jcreed on 2009-10-05 21:42:24 as
	Some logical and syntactical observations concerning the first-order dependent type system $\λ$P [My Copy] Mathematical. Structures in Comp. Sci., Vol. 9, No. 4. (1999), pp. 335-359. by Herman Geuvers, Erik Barendsen posted to lf file-import-09-10-05b by jcreed on 2009-10-05 21:42:24 as
	A Modal Deconstruction of Access Control Logics [My Copy] In Proceedings of the 11th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2008) (April 2008) by Deepak Garg, Martín Abadi posted to modal-logic file-import-09-10-05b by jcreed on 2009-10-05 21:42:23 as
	Reasoning about the Consequences of Authorization Policies in a Linear Epistemic Logic [My Copy] (2009) by Henry DeYoung, Frank Pfenning posted to modal-logic file-import-09-10-05b by jcreed on 2009-10-05 21:42:23 as
	Intuitionistic Letcc via Labelled Deduction [My Copy] In Proceedings of the 5th Workshop on Methods for Modalities (M4M5) (2007) by Jason Reed, Frank Pfenning edited by C. Areces, S. Demri posted to file-import-09-10-05b callcc by jcreed on 2009-10-05 21:42:23 as
	On Transforming Intuitionistic Matrix Proofs into Standard-Sequent Proofs [My Copy] In 4th Workshop on Theorem Proving with Analytic Tableaux and Related Methods (1995), pp. 106-121. by Stephan Schmitt, Christoph Kreitz edited by P. Baumgartner, R. Hähnle, J. Posegga posted to tableaux file-import-09-10-05b by jcreed on 2009-10-05 21:42:23 as
	T-String-Unification: Unifying Prefixes in Non-Classical Proof Methods [My Copy] In 5th Workshop on Theorem Proving with Analytic Tableaux and Related Methods (May 1996), pp. 244-260. by Jens Otten, Christoph Kreitz edited by P. Miglioli, U. Moscato, D. Mundici, M. Ornaghi posted to unification file-import-09-10-05b by jcreed on 2009-10-05 21:42:23 as

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

Result page: 1 2 3 4 5 Next

file-import-09-10-05b	153
botnets	56
file-import-09-10-05	43
lf	14
callcc	13
elf	10
unification	6
substructural-logics	5
toread	5
differential	4
linear	4
linear-logic	4
logic-programming	4
modal-logic	4
privacy	4
constructive	3
games	3
pi-calculus	3
graphs	2
labelled-deduction	2
logic	2
magic-sets	2
reconstruction	2
ultrametric	2
applicative-functors	1
arrows	1
atp	1
bi	1
category-theory	1
classical-logic	1
compilers	1
concurrency	1
constructive-logic	1
counterexample	1
databases	1
dependent-types	1
duality	1
embedded	1
funny	1
godel	1
grammar	1
hybrid-logic	1
lambda-calculus	1
lipschitz	1
matching	1
misc	1
module-systems	1
monad	1
monads	1
nominal-logic	1
ordered-logic	1
patterns	1
phoas	1
programming-languages	1
proof-theory	1
resources	1
simplices	1
tableaux	1
twelf	1
types	1
type-theory	1
unembedding	1
zipper	1

jcreed's library 233 articles Export

jcreed's tags