Martin D. Carroll

Learn More
We present an algorithm for updating data flow information derived from a program, in response to program edits. Our algorithm, applicable to intraprocedural or interprocedural data flow problems, is more general than previous methods because it can update any monotone data flow problem defined on a reducible flow graph and can handle arbitrary program(More)
We present a system, called Cygnet, that makes it easy both to use and to implement media-rich interactive cloud services. Usage simplicity is achieved by providing a simple but powerful mechanism that makes an I/O device a first-class network-accessible resource that any user can dynamically "bind" to any service at any time. Implementation simplicity is(More)
Professional Experience Load-Based Server Selection for Containers (Bell Labs) [Jun’15 – Aug’15] Mentors: Martin Carroll, Ilija Hadzic, Christian Hans Woithe Developed a monitoring infrastructure for Linux containers using collectd, influxdb (a time series database) and grafana (for visualization of various metrics) Analyzed workload of a specific set of(More)