Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456

Address: [go: Go Back, main page]

---

Remove Scripts Accept Cookies Show Images Show Referer Rotate13 Base64 Strip Meta Strip Title Session Cookies

NIKHIL SWAMY

Ph.D. Candidate Department of Computer Science University of Maryland College Park, MD

---

I am a member of the programming languages group and am advised by Dr. Michael Hicks. My research is focused primarily on provably securing software systems by utilizing formal methods in the design, implementation or analysis of programming languages.

---

Projects and Publications

Web Application Security (Dissertation work in progress)
	Fable : A Language for Enforcing User-Defined Security Policies (Extended Version) N. Swamy and M. Hicks Department of Computer Science, University of Maryland, CS-TR-4876
	Verified Enforcement of Security Policies for Cross-Domain Information Flows N. Swamy, M. Hicks and S. Tsang MILCOM 2007 (to appear)
Web Browser Security
	Defeating Script Injection Attacks with Browser Enforced Embedded Policies T. Jim, N. Swamy and M. Hicks WWW 2007
Information Flow Security
	Managing Policy Updates in Security-Typed Languages N. Swamy, M. Hicks, S. Tse and S. Zdancewic In Proc. IEEE Computer Security Foundations, 2006
	Managing Policy Updates in Security-Typed Languages (Extended Version) N. Swamy, M. Hicks, S. Tse and S. Zdancewic Department of Computer Science, University of Maryland; Technical Report CS-TR-4793
Memory Management
	Safe Manual Memory Management in Cyclone N. Swamy, M. Hicks, G. Morrisett, D. Grossman and T. Jim Science of Computer Programming, Special Issue on Memory Management Elsevier Press, 2005
	Initial Experience Porting Linux Device Drivers to Cyclone N. Swamy and M. Hicks Unpublished Manuscript, 2005
Race Detection
	Dynamic Inference of Polymorphic Lock Types J. Rose, N. Swamy and M. Hicks Science of Computer Programming, Special Issue on Concurrency and Synchronization in Java programs Elsevier Press, 2005
	Dynamic Inference of Polymorphic Lock Types J.Rose, N. Swamy and M. Hicks In Proceeding of Principles of Distributed Computing 2004, Workship on Concurrency and Synchronization in Java programs
Performance Analysis
	Finding and Removing Performance Bottlenecks in Large Systems G. Ammons, J. Choi, M. Gupta and N. Swamy In Proceedings of European Conference on Object Oriented Programming (ECOOP) 2004
Network Algorithms
	A Distributed Algorithm for Constructing a Generalization of de Bruijn Graphs N. Swamy and K. Bitsakos and N. Frangiadakis Department of Computer Science, University of Maryland, CS-TR-4792
Artificial Intelligence
	RGL Study in Hybrid Real-Time Systems K. Hennacy, N. Swamy and D. Perlis Neural Networks and Computational Intelligence, 2004
	Finding a Better-than-Classical Quantum AND/OR Algorithm L. Spector, H. Barnum, H.J. Bernstein and N. Swamy Congress of Evolutionary Computation, 1999
	Quantum computing applications of genetic programming L. Spector, H. Barnum, H.J. Bernstein and N. Swamy Advances in Genetic Programming, MIT Press, 2000
	Quantum Computing and AI An overview of this project from L.Spector's invited talk at AAAI '99
Resolution-based Automated Theorem Proving
	Automated Reasoning about Abstract Algebra : Control Strategies for Supported Deductions N. Swamy Hampshire College, Undergraduate Thesis

---

Miscellany

My Erdös number is no greater than 3 : Howard Barnum -> Michael Saks -> Pal Erdös

---

Email:    id AT cs DOT umd DOT edu where id = nswamy