Monitoring Oriented Programming and Analysis

[1]  Benjamin Livshits,et al.  Finding application errors and security flaws using PQL: a program query language , 2005, OOPSLA '05.

[2]  Alexander Aiken,et al.  Relational queries over program traces , 2005, OOPSLA '05.

[3]  Stephen N. Freund,et al.  Atomizer: a dynamic atomicity checker for multithreaded programs , 2004, 18th International Parallel and Distributed Processing Symposium, 2004. Proceedings..

[4]  Peter Winkler,et al.  Counting linear extensions is #P-complete , 1991, STOC '91.

[5]  Edward F. Moore,et al.  Gedanken-Experiments on Sequential Machines , 1956 .

[6]  Grigore Rosu,et al.  Parametric and Sliced Causality , 2007, CAV.

[7]  Oege de Moor,et al.  Making trace monitors feasible , 2007, OOPSLA.

[8]  Jong-Deok Choi,et al.  Hybrid dynamic data race detection , 2003, PPoPP '03.

[9]  Amer Diwan,et al.  The DaCapo benchmarks: java benchmarking development and analysis , 2006, OOPSLA '06.

[10]  José Meseguer,et al.  Formal Analysis of Java Programs in JavaFAN , 2004, CAV.

[11]  Scott D. Stoller,et al.  Accurate and efficient runtime detection of atomicity errors in concurrent programs , 2006, PPoPP '06.

[12]  Grigore Rosu,et al.  Java-MOP: A Monitoring Oriented Programming Environment for Java , 2005, TACAS.

[13]  Bertrand Meyer,et al.  Object-Oriented Software Construction, 2nd Edition , 1997 .

[14]  Eitan Farchi,et al.  Multithreaded Java program test generation , 2002, IBM Syst. J..

[15]  Martin C. Rinard,et al.  Acceptability-oriented computing , 2003, OOPSLA '03.

[16]  Keith Marzullo,et al.  Consistent detection of global predicates , 1991, PADD '91.

[17]  Grigore Rosu,et al.  Dependent advice: a general approach to optimizing history-based aspects , 2009, AOSD '09.

[18]  Leslie Lamport,et al.  Time, clocks, and the ordering of events in a distributed system , 1978, CACM.

[19]  Grigore Rosu,et al.  Parametric and Termination-Sensitive Control Dependence - Extended Abstract , 2006 .

[20]  Mahesh Viswanathan,et al.  Java-MaC: A Run-Time Assurance Approach for Java Programs , 2004, Formal Methods Syst. Des..

[21]  Lori A. Clarke,et al.  A Formal Model of Program Dependences and Its Implications for Software Testing, Debugging, and Maintenance , 1990, IEEE Trans. Software Eng..

[22]  K. Rustan M. Leino,et al.  The Spec# Programming System: An Overview , 2004, CASSIS.

[23]  Grigore Rosu,et al.  Parametric Trace Slicing and Monitoring , 2009, TACAS.

[24]  Cristina V. Lopes,et al.  Aspect-oriented programming , 1999, ECOOP Workshops.

[25]  Gary T. Leavens,et al.  JML: notations and tools supporting detailed design in Java , 2000 .

[26]  Grigore Rosu,et al.  Monitoring Java Programs with Java PathExplorer , 2001, RV@CAV.

[27]  Grigore Rosu,et al.  Hardware Runtime Monitoring for Dependable COTS-Based Real-Time Embedded Systems , 2008, 2008 Real-Time Systems Symposium.

[28]  Grigore Rosu,et al.  Rewriting-Based Techniques for Runtime Verification , 2005, Automated Software Engineering.

[29]  Koushik Sen,et al.  Runtime safety analysis of multithreaded programs , 2003, ESEC/FSE-11.

[30]  Frank Tip,et al.  Associating synchronization constraints with data in an object-oriented language , 2006, POPL '06.

[31]  Eitan Farchi,et al.  Concurrent bug patterns and how to test them , 2003, Proceedings International Parallel and Distributed Processing Symposium.

[32]  James C. Corbett,et al.  A Formal Study of Slicing for Multi-threaded Programs with JVM Concurrency Primitives , 1999, SAS.

[33]  Marcelo d'Amorim,et al.  Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP , 2006, RV@CAV.

[34]  Ondrej Lhoták,et al.  Adding trace matching with free variables to AspectJ , 2005, OOPSLA '05.

[35]  Ondrej Lhoták,et al.  Aspects for Trace Monitoring , 2006, FATES/RV.

[36]  Grigore Rosu,et al.  Synthesizing Monitors for Safety Properties: This Time with Calls and Returns , 2008, RV.

[37]  Grigore Rosu,et al.  Rule-Based Analysis of Dimensional Safety , 2003, RTA.

[38]  Vijay K. Garg,et al.  Detecting Temporal Logic Predicates in Distributed Programs Using Computation Slicing , 2003, OPODIS.

[39]  Grigore Rosu,et al.  Towards Monitoring-Oriented Programming: A Paradigm Combining Specification and Implementation , 2003, RV@CAV.

[40]  Mahesh Viswanathan,et al.  Java-MaC: a Run-time Assurance Tool for Java Programs , 2001, RV@CAV.

[41]  Michael Burrows,et al.  Eraser: a dynamic data race detector for multithreaded programs , 1997, TOCS.

[42]  Joseph Robert Horgan,et al.  Dynamic program slicing , 1990, PLDI '90.

[43]  Azadeh Farzan,et al.  Causal Atomicity , 2006, CAV.

[44]  Koushik Sen,et al.  Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions , 2005, FMOODS.

[45]  Koushik Sen,et al.  Rule-Based Runtime Verification , 2004, VMCAI.

[46]  William G. Griswold,et al.  An Overview of AspectJ , 2001, ECOOP.

[47]  Murat Karaorman,et al.  jContractor: Bytecode Instrumentation Techniques for Implementing Design by Contract in Java , 2002, Electron. Notes Theor. Comput. Sci..

[48]  Leslie Lamport,et al.  Distributed snapshots: determining global states of distributed systems , 1985, TOCS.

[49]  Selmer M. Johnson.  Generation of permutations by adjacent transposition , 1963 .

[50]  Jens Krinke,et al.  Static slicing of threaded programs , 1998, PASTE '98.

[51]  C. A. R. Hoare,et al.  Communicating Sequential Processes (Reprint) , 1983, Commun. ACM.

[52]  Barton P. Miller,et al.  Improving the accuracy of data race detection , 1991, PPOPP '91.

[53]  Michael R. Lowry,et al.  Experiments with Test Case Generation and Runtime Analysis , 2003, Abstract State Machines.

[54]  Thomas W. Reps,et al.  The use of program dependence graphs in software engineering , 1992, International Conference on Software Engineering.

[55]  Thomas R. Gross,et al.  Object race detection , 2001, OOPSLA '01.

[56]  Joe D. Warren,et al.  The program dependence graph and its use in optimization , 1987, TOPL.

[57]  Chris Anley,et al.  Advanced SQL Injection In SQL Server Applications , 2002 .

[58]  Heike Wehrheim,et al.  Jass - Java with Assertions , 2001, RV@CAV.

[59]  Tibor Gyimóthy,et al.  An efficient relevant slicing method for debugging , 1999, ESEC/FSE-7.