Tralfamadore: Unifying source code and execution experience (short paper)

Proceedings of the 4th ACM European Conference on Computer Systems, EuroSys'09

Volumn , Issue , 2009, Pages 199-204

  Lefebvre, Geoffrey ^a   Cully, Brendan ^a   Feeley, Michael J ^a   Hutchinson, Norman C ^a   Warfield, Andrew ^a  

^a UNIVERSITY OF BRITISH COLUMBIA   (Canada)

Author keywords

Design; Experimentation; Languages

Indexed keywords

DEVELOPMENT TOOLS; EXECUTION TRACE ANALYSIS; EXPERIMENTATION; HIGH FIDELITY; INTERMEDIATE REPRESENTATIONS; LANGUAGES; PRODUCTION SOFTWARE; SHARED REPOSITORIES; SOFTWARE DEVELOPMENT ENVIRONMENT; SOURCE CODES; STATIC REPRESENTATION;

LINGUISTICS; TRACE ANALYSIS;

COMPUTER SOFTWARE;

EID: 70349137919     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1519065.1519087     Document Type: Conference Paper

References (15)

1. R Bellard. QEMU, a fast and portable dynamic translator. In USENIX Annual Technical Conference, 2005.
2. S. Bhansali, W. Chen, S. de Jong, A. Edwards, R. Murray, M. Drinić, D. Mihočka, and J. Chau. Framework for instruction-level tracing and analysis of program executions. In Proceedings of the 2nd International Conference on Virtual Execution Environments, 2006.
3. J. Chow, T. Garfinkel, and P. M. Chen. Decoupling dynamic program analysis from execution in virtual environments. In USENIX Annual Technical Conference, 2008.
4. G. W. Dunlap, S. T. King, S. Cinar, M. A. Basrai, and P. M. Chen. ReVirt: enabling intrusion analysis through virtual-machine logging and replay. In Proceedings of the 5th symposium on Operating Systems Design and Implementation, 2002.
5. D. Engler and K. Ashcraft. RacerX: effective, static detection of race conditions and deadlocks. In Proceedings of the Nineteenth ACM Symposium on Operating Systems Principles, 2003.
6. S. Goldsmith, R. O'Callahan, and A. Aiken. Relational queries over program traces. In Proceedings of the ACM SIGPLAN 2005 Conference on Object-Oriented Programming, Systems, Languages, and Applications, 2005.
7. Intel. Intel 64 and ia-32 architectures software developer's manual volume 3b: System programming guide. http://www.intel.com/products/processor/ manuals/, 2008.
8. S. T. King, G. W. Dunlap, and P. M. Chen. Debugging operating systems with time-traveling virtual machines. In USENIX Annual Technical Conference, 2005.
9. M. Mackall. Mercurial. http://www.selenic.com/mercurial/, 2005.
10. M. Martin, B. Livshits, and M. S. Lam. Finding application errors and security flaws using PQL: a program query language. In Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, 2005.
11. N. Nethercote and J. Seward. Valgrind: a framework for heavyweight dynamic binary instrumentation. In Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2007.
12. R. O'Callahan. Chronomancer: C/C++ trace-based debugger based on chronicle and eclipse. http://code.google.com/p/chronomancer/, 2008.
13. M. Weiser. Program slicing. In Proceedings of the 5th International Conference on Software Engineering, 1981.
14. M. Xu, R. Bodik, and M. D. Hill. A "flight data recorder" for enabling full-system multiprocessor deterministic replay. In Proceedings of the 30th Annual International Symposium on Computer Architecture, 2003.
15. M. Xu, V. Malyugin, J. Sheldon, G. Venkitachalam, and B. Weissman. Retrace: Collecting execution trace with virtual machine deterministic replay. In Third Annual Workshop on Modeling, Benchmarking and Simulation, held in conjunction with the 34th Annual International Symposium on Computer Architecture, 2007.