(
+
--
)
Summary / CV
|
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. http://researcher.ibm.com/person/us-mrhines |
University seals from places into which I've actually matriculated or worked. Cute, aren't they?
(
+
--
)
EmploymentSeveral jobs over the years:
| Company | Year | Summary | |
| 1. | Research Staff Member | (Curr): | IBM T.J. Watson Research Center, Yorktown Heights, |
| 2. | Post-Doc | (2010): | IBM T.J. Watson Research Center, Yorktown Heights, |
| 3. | Post-Doc | (2009): | Columbia University, Dept. of Computer Science |
| 4. | Research Asst. | (2009): | Operating Systems and Network Laboratory @ S.U.N.Y. |
| 5. | Teaching Asst. | (2008): | SUNY Binghamton University |
| 6. | Research Asst. | (2007): | SUNY Binghamton University |
| 7. | Google (Intern) | (2006): | low-level linux kernel work (under NDA). |
| 8. | AT&T Labs (Intern) | (2005): | BGP-level networking research. |
| 9. | Research Asst. | (2004): | Florida State University |
| 10. | Teaching Asst. | (2003): | Florida State University |
| 11. | Web-designer | (2002): | at Johns Hopkins. |
(
+
--
)
Projects
| Project | Year | Language(s) | Description |
| KVM Virtual Machine on ARM processors w/ Android | 2009 | (C) | An attempt to port the Linux Kernel Virtual Machine to ARMv5 processors. |
| (CIVIC) VM Memory Over-subscription to Network RAM | 2009 | (C and Python) | A Non-Shared Global Memory System based on the Xen Virtualization Platform: provides cluster RAM for un-modified virtual machines. http://civix.googlecode.com |
| Post-Copy Live VM Migration System with Auto-Ballooning | 2008/2009 | (C and Python) | A Xen-based Live Migration improvement, where pre-copy is reversed by sending CPU state before Memory state |
| (MemX) Distributed Memory System | 2007- Current | (C) | Block-device based Non-Shared Global Memory system in Linux. Open Source: http://memx.googlecode.com |
| Satisfiability and Cryptarithm | 2007 | (Haskell and Prolog) | functional solvers for variable inputs. |
| Route Control Platform | 2006 | (C and Perl) | a BGP improvement to today's AS-level routing architecture. Joint work w/ AT&T's Labs research, New Jersey |
| NFSv3 / SunRPC Proxy: | 2006 | (C++) | This was a way to virtualize arbitrary file-handles opened on an NFS-mounted filesystem to an arbitrary number of nodes in a cluster. |
| Network Simulator | 2006 | (C++ and Java) | a full network-simulation including TCP, UDP, ARP, IP, routers, bridges, and hosts |
| C Compiler | 2006 | (C) | for a subset of C, including grammar, lexical analyzer, semantic parser, translator, and assembly. |
| Interactive Shell | 2005 | (C++) | basic shell supporting fork, exec, pipes, and signal handling |
| Architecture Simulations | 2005 | (C++) | including Memory Hierarchy, MIPS VLIW, and Pipeline simulators |
| Traffic analysis engine and sniffer | 2005 | (C++) | using raw-sockets and header de-mangling. |
| Website crawler | 2004 | (Perl) | for systematically parsing particular websites |
| fsck | 2004 | (C) | A re-implementation of the ext2-checking utility for correcting damaged filesystems. |
| A Berkeley-DB style file-storage system | 2004 | (C) | Based on a 3-level layering of blocks and slab-allocation |
| Protocol Implementations | 2003 | (Java) | including [TCP] and [RIP] Routing Information Protocol |
| Basic C translator (a boiled-down compiler) | 2003 | (ML) | written in the O-CAML language |
| Backend Website Design | 2001-2002 | (Java, PHP, Perl JSP, and XML/XSLT) | Using various databases for various contractors |
(
+
--
)
PublicationsConference Papers
- Applications Know Best: Performance-Driven Memory Overcommit With Ginkgo [Slides],
CloudCom 2011: Proceedings of the International Conference Cloud Computing Technology and Science, Athens, Greece
Michael Hines, Abel Gordon, Marcio Silva, Dilma Da Silva, Kyung Ryu and Muli Ben-Yehuda - Ginkgo: Automated, Application-Driven Memory Overcommitment for Cloud Computing,
RESoLVE: Runtime Environments/Systems, Layering, and Virtualized Environments Workshop (co-located with ASPLOS), 2011
Abel Gordon, Michael R Hines, Dilma Silva da, Muli Ben-Yehuda, Marcio Silva, Gabriel Lizarraga - MemX: Virtualization of Cluster-wide Memory,
Proc. of 39th International Conference on Parallel Processing (ICPP), 2010
U Deshpande, B Wang, S Haque, M Hines, K Gopalan - Post-Copy Live Migration of Virtual Machines,
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] [bib]
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] [bib]
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 [bib],
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 [bib],
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 [bib],
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
Dissertation
- Techniques for Collective
Physical Memory Ubiquity Within Networked Clusters of Virtual
Machines [Slides],
M. Hines, Summer 2009, Binghamton University, Operating Systems and Networks Laboratory
PhD Advisor: Dr. Kartik 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
(
+
--
)
Contact
-
PGP Key that nobody really uses, but it's here because everybody else posts theirs =)
Email format = A@B
Work: A = mrhines and B = us.ibm.com
Family: A = my_first_name and B = hinespot.net
|
I don't have a cell phone. So, if you can't reach me at work or by email, then, ummm, you can't reach me.
(
+
--
)
HobbiesAfter grad school (when reality started), I like to:
 |
 |
| Go to billiards competitions | Play classical piano. |
| ...Game of mind, body, and character. |
...this picture is when I was 15 |
Before grad school started, I used to have a life at:
 |
 |
| Skateboarding | Throwing Yo-Yo's. |
| ...Best way to fly without actually flying |
...Yes, you read correctly =) |
Unfortunately, I sold my piano, got a real job, and fell on my butt inside of a half-pipe, so now I sit with my friends "imagining" how I used to play the piano and complaining to the doctor about how my knees no longer act properly while watching crappy youtube skate videos.
(
+
--
)
TutorialsSome tutorials that I wrote up:
(
+
--
)
FeedsI list of some of the RSS feeds I follow. I've stopped making blog posts completely. Other people are far more interesting:
Michael R. Hines | |||
|
S.U.N.Y. Binghamton, Ph.D., 2009 Florida State University, M.S., 2005 Johns Hopkins University, B.S., 2003 U. North Texas, TAMS Program, 2001 |
|||
 | |||