Automatic Communication Performance Debugging in PGAS Languages Jimmy Su1 and Katherine Yelick1,2 1 Computer Science Division, University of California at Berkeley

Source URL: titanium.cs.berkeley.edu

• Parallel computing
• Concurrent computing
• Pointer
• Debugging
• Thread
• Supercomputer
• Multi-core processor

PIEtrace: Platform Independent Executable Trace Yonghwi Kwon, Xiangyu Zhang, and Dongyan Xu Department of Computer Science, Purdue University West Lafayette, Indiana, USA {kwon58,xyzhang,dxu}@cs.purdue.edu

Source URL: www.cs.purdue.edu

• Software
• Computer programming
• Profilers
• Debuggers
• Debugging
• DynamoRIO
• Valgrind
• Profiling
• X86
• Pin
• System call
• Breakpoint

FireCrystal: Understanding Interactive Behaviors in Dynamic Web Pages Stephen Oney and Brad Myers Human-Computer Interaction Institute - Carnegie Mellon University {soney,bam}@cs.cmu.edu Abstract For developers debugging

Source URL: from.so

• Software
• Computing
• HTML
• Mozilla
• Web design
• Web development
• Web browsers
• Firebug
• JavaScript
• Document Object Model
• Cascading Style Sheets
• Firefox

A Model Checking Perspective on White-Box Testing Helmut Veith Technische Universität Wien

Source URL: icst2015.ist.tu-graz.ac.at

• Formal methods
• Logic in computer science
• Software engineering
• Helmut Veith
• Computer science
• Computer programming
• Debugging
• Veith
• Formal verification
• Turing Award
• Assertion
• Model checking

Evaluating and Debugging OCL Expressions in UML Models Jens Br¨ uning1 , Martin Gogolla2, Lars Hamann2 , and Mirco Kuhlmann2 1 2

Source URL: www.db.informatik.uni-bremen.de

• ECO
• Unified Modeling Language
• Data management
• Where
• OCL
• Class diagram
• Ename
• Software
• Object Constraint Language

Debugging Mobile Web Applications with weinre for OSCON 2011 Patrick Mueller IBM Research Triangle Park, NC

Source URL: muellerware.org

Debugging with Fiddler The complete reference from the creator of the Fiddler Web Debugger This is a SAMPLE containing the Table of Contents and a bit of content so you can decide whether the book meets your needs and re

Source URL: fiddlerbook.com

Systematic Debugging of Concurrent Systems Using Coalesced Stack Trace Graphs Diego Caminha B. de Oliveira1 , Zvonimir Rakamari´c1 , Ganesh Gopalakrishnan1 , Alan Humphrey2 , Qingyu Meng2 , and Martin Berzins2 1

Source URL: www.sci.utah.edu

Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio

Source URL: clip.dia.fi.upm.es

Result3/comp_c_packets.eps

Source URL: conferences2.sigcomm.org

• Network architecture
• Emerging technologies
• Configuration management
• Software-defined networking
• OpenFlow
• Ethernet
• Nox
• Transmission Control Protocol
• Network switch
• Debugging
• OpenDaylight Project
• Firewall