Resume [HTML] (use browser to print to PDF)

I enjoy building and analyzing experimental, networked systems. Particularly ones where the application (usually) does not know where its resources are coming from. Sometimes that involves manipulating the OS. Sometimes writing a network protocol. Or it may, perhaps, require a virtual machine.

Activites:

1. Looking for a job! (And planning for a defense).
2. GSO CS sub-organization: I helped create and run a new group to represent grad CS students.
3. I'm a part of the OSNET Research Group (Operating Systems and Networks Lab)
4. I'm a Fellow of the AT&T Labs Fellowship Program (ALFP).
5. I'm a Fellow of the Clifford D. Clark Fellowship Program at Binghamton University

Several jobs over the years:

	Company	Year	Summary
1.	RA	(2009):	research assistant @ S.U.N.Y.
1.	TA	(2008):	teaching assistant @ S.U.N.Y.
2.	RA	(2007):	research assistant @ S.U.N.Y.
3.	Google	(2006):	doing low-level linux kernel work (under NDA).
4.	AT&T Labs	(2005):	doing BGP-level networking research.
5.	RA	(2004):	research assistant @ Florida State
6.	TA	(2003):	teaching assistant @ Florida State
7.	Webdesigner	(2002):	at Johns Hopkins.

Older (completed) stuff. All within Linux:

Project	Language(s)	Description
(MemX) Distributed Memory System	(C)	Open Source Release: http://memx.googlecode.com
Route Control Platform	(C and Perl)	a BGP improvement to today's AS-level routing architecture. Joint work w/ AT&T's Labs research, New Jersey
Network Simulator	(C++ and Java)	a full simulation including TCP, UDP, ARP, IP, routers, bridges, and hosts
C Compiler	(C)	for a subset of C, including grammar, lexical analyzer, semantic parser, translator, and assembly.
Interactive Shell	(C++)	basic shell supporting fork, exec, pipes, and signal handling
Architecture Simulations	(C++)	including Memory Hierarchy, MIPS VLIW, and Pipeline simulators
Satisfiability and Cryptarithm	(Haskell and Prolog)	functional solvers for variable inputs.
Website crawler	(Perl)	for systematically parsing particular websites
Protocol Implementations	(Java)	including [TCP] and [RIP] Routing Information Protocol
fsck	(C)	A re-implementation of the ext2-checking utility for correcting damaged filesystems.
A Berkeley-DB style file-storage system	(C)	Based on a 3-level layering of blocks and slab-allocation
Basic C translator (a boiled-down compiler)	(ML)	written in the O-CAML language
Traffic analysis engine and sniffer	(C++)	using raw-sockets and header de-mangling.
Backend Website Design	(Java, PHP, Perl JSP, and XML/XSLT)	Using various databases for various contractors

Conference Papers

• Post-Copy Live of Virtual Machines,
  To Appear in SIGOPS Operating Systems Review, July 2009
  M. Hines and Umesh Deshpande and K. Gopalan
• Post-Copy Based Live Virtual Machine Migration Using Adaptive Pre-Paging And Dynamic Self-Ballooning, [Slides]
  In Proc. of March, 2009 International Conference on Virtual Execution Environments (VEE '09), Washington, DC.
  M. Hines and K. Gopalan
• MemX: Supporting Large Memory Applications in Xen Virtual Machines, [Slides]
  In Proc. of November, 2007 Second International Workshop on Virtualization Technology in Distributed Computing (VTDC07).
  A workshop in cunjunction with Super Computing 2007, Reno, Nevada.
  M. Hines and K. Gopalan
• Measurement Informed Route Selection, Extended Abstract,
  In Proc. of April 2007 Passive and Active Measurements Conference (PAM'07), Belgium,
  Nick Duffield, Kartik Gopalan, Michael Hines, Aman Shaikh, Jacobus E. van der Merwe
• Distributed Anemone: Transparent Low-Latency Access to Remote Memory in Commodity Clusters,
  In Proc. of December, 2006 International Conference on High-Performance Computing (HiPC'06). Bangalore, India,
  M. Hines, J. Wang and K. Gopalan
• Anemone: Transparently Harnessing Cluster-Wide Memory,
  In Proc. of August, 2006 International Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS'06). Calgary, Alberta, Canada,
  M. Hines, M. Lewandowski, J. Wang, and K. Gopalan

Invited Presentations

• Trade-offs in Transient Fault Recovery Schemes for Redundant Multithreaded Processors
  In Proc. of December, 2006 International Conference on High-Performance Computing (HiPC'06). Bangalore, India
  Joseph Sharkey, Nayef Abu-Ghazaleh, Dmitry Ponomarev, Kanad Ghose, Aneesh Aggarwal
• The Entropia Virtual Machine for Desktop Grids,
  Presentation for LENS paper seminar @ Florida State University

Looking for a Binghamton Thesis Template for latex? You can find it here

PGP Key

Let email = A@B where A = mhines and B = cs.binghamton.edu

Office: Lib. South 4677 CS Lab: Room EB G-17 Home: (607)-341-7256 Work: (607)-341-7256 Fax: (607)-777-4729		Binghamton University Dept. of Computer Science Watson School of Engineering Vestal Parkway East Binghamton, NY 13902
My weelky availability: M: All day T: After 2pm W: Mornings TR: All day F: Mornings

Graduate CS SUNY Binghamton & Florida State (2003-2006)	Undergraduate CS Johns Hopkins University (2001-2003)	Lower-Level Undergrad (University of North Texas, Academy of Math & Science) (1999-2001)
Adv. Networking Systems Adv. Unix Programming Adv. Algorithms Compiler Construction Comp. Architecture Comp. Security Data & Communication Networks Internet Protocols Logic Network Security Operating Systems Programming Languages Systems Administration Web Services	Automata Comp. Architecture Cryptography (Graduate) Comp. Networks Data Structures & Algorithms Databases Digital Systems Fundamentals Embedded Systems Graphics Intro CAD Pro-e Logic Network Security Operating Systems Programming Languages (Graduate) Storage Systems Various Programming Courses	Mathematics: Calculus I Calculus II Calculus III Differential Equations Linear Algebra Pre-Calculus Sciences: Physics, 2 sem. & lab Chemistry, 2 sem. & lab Biology, 2 sem. & lab Humanities: Literature & writing, 2 sem. History, 2 sem. Science & Religion (@ Hopkins)

Aside from staring at a computer screen, I tend to:

Classical Piano.	Billiards.	Skateboarding.	Yo-Yo's.
...this picture is when I was 15	...Game of mind, body, and character.	...Best way to fly without actually flying	...Yes, you read correctly =)

non-academic life can be found here