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)
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 containers streaming arbitrary number of pixel streams to remote displays using locally available GPUs Compared load prediction and container packing algorithms(More)