[ Contact Info | Site Index ]

Welcome

The Paradyn project develops technology that aids tool and application developers in their pursuit of high-performance, scalable, parallel and distributed software. The primary project, Paradyn, leverages a technique called dynamic instrumentation to efficiently obtain performance profiles of unmodified executables. This dynamic binary instrumentation technology is independently available to researchers via the Dyninst API.

Other research by the Paradyn project includes dynamic instrumentation of running operating system kernels, the Kerninst project, and the development of middleware for scalable, efficient, robust applications in the MRNet multicast/reduction network.

 

News Items

MRNet 3.0 has been released.

2010 Paradyn/Dyninst Annual Meeting was held April 12-14, 2010 in Madison in conjunction with the Condor group.

Mark your calendars: The next Paradyn/Dyninst Annual Meeting will be held in Madison May 2-3, 2011.

• Dyninst 6.1, SymtabAPI 6.1, StackwalkerAPI 1.1, InstructionAPI 1.1, and DepgraphAPI 1.0 have been released.

• The Paradyn group had a great research exhibit at the SC2009 Conference. See our group photo from the conference.

Recent Papers

On analyzing and instrumenting binaries that are obfuscated, packed, and self-modifying: "Hybrid Analysis and Control of Malware Binaries" by Roundy and Miller, Recent Advances in Intrusion Detection (RAID), Ottawa, Canada. September 2010.


On using MRNet on Cray XT platforms: MRNet: A Scalable Infrastructure for the Development of Parallel Tools and Applications by Brim, DeRose, Miller, Olichandran, and Roth, Cray User Group, Edinburgh, Scotland. May 2010.


On a new, lightweight library for MRNet: A Lightweight Library for Building Scalable Tools" by Jacobson, Brim, and Miller, Para 2010: State of the Art in Scientific and Parallel Computing, Reykjavik, Iceland. June 2010.


On determining the source compiler from binary code: "Extracting Compiler Provenance from Program Binaries" by Rosenblum, Miller, and Zhu, ACM SIGPLAN-SIGSOFT workshop on Program Analysis for Software Tools and Engineering (PASTE), Toronto, Canada. June 2010.


On a new group file idiom for building highly scalable tools: "Group File Operations for Scalable Tools and Middleware" by Brim and Miller, 16th Annual International Conference on High Performance Computing, Cochin, India. December 2009. Best Paper Award.


On a highly scalable debugging technique: "Scalable Temporal Order Analysis for Large Scale Debugging" by Ahn, de Supinski, Laguna, Lee, Liblit, Miller, and Schulz, Supercomputing 2009 (SC2009), Portland, OR, November 2009.

On fault diagnosis of large-scale clusters using self-propelled instrumentation: "Diagnosing Distributed Systems with Self-Propelled Instrumentation" by Mirgorodskiy and Miller, ACM/IFIP/USENIX 9th International Middleware Conference, Leuven, Belgium, December 2008.


On highly scalable debugging techniques: "Lessons Learned at 208K: Towards Debugging Millions of Cores" by Lee, Ahn, Arnold, Supinski, Legendre, Miller, Schulz, and Liblit, Supercomputing 2008 (SC2008), Austin, TX, November 2008.


On machine-learning approaches to stripped binary parsing: "Learning to Analyze Binary Computer Code" by Rosenblum, Zhu, Miller, and Hunt in AAAI '08, Chicago, Illinois, July 2008.


On scalable daemon launching: "Painless, Portable Large Scale Tool Daemon Launching" by Ahn*, Arnold, de Supinski*, Lee*, Miller and Schulz*. (* LLNL)


On scalable TBON reliability: "A Scalable Failure Recovery Model for Tree-based Overlay Networks" by Arnold and Miller.


[ Contact Info | Site Index ]