Search results for "control-flow graphs"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Hyesoon Kim, José A. Joao, Onur Mutlu, Yale N. Patt	Diverge-Merge Processor (DMP): Dynamic Predicated Execution of Complex Control-Flow Graphs Based on Frequently Executed Paths.	MICRO	2006	DBLP DOI BibTeX RDF
2	Jens Krinke	Mining Control Flow Graphs for Crosscutting Concerns.	WCRE	2006	DBLP DOI BibTeX RDF
2	Samik Basu, Prem Uppuluri	Proxy-Annotated Control Flow Graphs: Deterministic Context-Sensitive Monitoring for Intrusion Detection.	ICDCIT	2004	DBLP DOI BibTeX RDF
2	Johan Janssen, Henk Corporaal	Making Graphs Reducible with Controlled Node Splitting.	ACM Trans. Program. Lang. Syst.	1997	DBLP DOI BibTeX RDF	compilation, instruction-level parallelism, reducibility, control flow graphs, node splitting, irreducibility
2	Johan Janssen, Henk Corporaal	Controlled Node Splitting.	CC	1996	DBLP DOI BibTeX RDF	compilation, instruction level parallelism, reducibility, control flow graphs, node splitting, irreducibility
2	Aniello Cimitile, Andrea De Lucia, Malcolm Munro	Identifying reusable functions using specification driven program slicing: a case study. (PDF / PS)	ICSM	1995	DBLP DOI BibTeX RDF	reusable function identification, specification driven program slicing, code fragment isolation, functional abstractions, program statement execution, program predicate execution, entry points, exit points, algorithms, formal specification, software maintenance, software reusability, data flow analysis, symbolic execution, precondition, program diagnostics, dependence graphs, symbol manipulation, control flow graphs, program control structures, C programs, postcondition
1	Robert Gold	Control flow graphs and code coverage.	Applied Mathematics and Computer Science	2010	DBLP DOI BibTeX RDF
1	Simone Campanoni, Stefano Crespi-Reghizzi	Traces of Control-Flow Graphs.	Developments in Language Theory	2009	DBLP DOI BibTeX RDF
1	Aimen Bouchhima, Patrice Gerin, Frédéric Pétrot	Automatic instrumentation of embedded software for high level hardware/software co-simulation.	ASP-DAC	2009	DBLP DOI BibTeX RDF
1	Yin Wang, Stéphane Lafortune, Terence Kelly, Manjunath Kudlur, Scott A. Mahlke	The theory of deadlock avoidance via discrete control.	POPL	2009	DBLP DOI BibTeX RDF	discrete control theory, dynamic deadlock avoidance, parallel programming, concurrent programming, multicore processors, multithreaded programming
1	Christian Wagner, Tiziana Margaria, Hans-Georg Pagendarm	Analysis and Code Model Extraction for C/C++ Source Code.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Monirul I. Sharif, Andrea Lanzi, Jonathon T. Giffin, Wenke Lee	Automatic Reverse Engineering of Malware Emulators.	IEEE Symposium on Security and Privacy	2009	DBLP DOI BibTeX RDF
1	Geng-Dian Huang, Lin-Zan Cai, Farn Wang	LTL Model Checking for Recursive Programs.	ATVA	2009	DBLP DOI BibTeX RDF
1	Matthias Braun, Sebastian Hack	Register Spilling and Live-Range Splitting for SSA-Form Programs.	CC	2009	DBLP DOI BibTeX RDF
1	Frank Eichinger, Klemens Böhm	Selecting Computer Architectures by Means of Control-Flow-Graph Mining.	IDA	2009	DBLP DOI BibTeX RDF
1	Paulo R. F. Nunes, Simone Hanazumi, Ana Cristina Vieira de Melo	OConGraX - Automatically Generating Data-Flow Test Cases for Fault-Tolerant Systems.	TestCom/FATES	2009	DBLP DOI BibTeX RDF
1	Dilian Gurov, Marieke Huisman	Reducing Behavioural to Structural Properties of Programs with Procedures.	VMCAI	2009	DBLP DOI BibTeX RDF
1	Johannes Kinder, Florian Zuleger, Helmut Veith	An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries.	VMCAI	2009	DBLP DOI BibTeX RDF
1	Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion	Architecture of a morphological malware detector.	Journal in Computer Virology	2009	DBLP DOI BibTeX RDF
1	Michael Ruth, Shengru Tu	Empirical studies of a decentralized regression test selection framework for web services.	TAV-WEB	2008	DBLP DOI BibTeX RDF	web services, empirical studies, software maintenance, control-flow graphs, selective retest
1	Pedro C. Diniz, Diogo R. Ferreira	Automatic Extraction of Process Control Flow from I/O Operations.	BPM	2008	DBLP DOI BibTeX RDF	Process mining, Fourier analysis, Control-flow graphs
1	Jingbo Zhang, Wen Fu, Jianmin Pang, Rongcai Zhao	Using Propositional Calculas to Accurately Structure Control-Flow from Binary Executables.	CSSE	2008	DBLP DOI BibTeX RDF
1	Devanir Zuliane, Marcio K. Oikawa, Simon Malkowski, José de Jesús Perez Alcázar, João Eduardo Ferreira	The RiverFish Approach to Business Process Modeling: Linking Business Steps to Control-Flow Patterns.	CollaborateCom	2008	DBLP DOI BibTeX RDF	control-flow patterns, information systems, process modeling, business process management, conceptual schema
1	Marieke Huisman, Irem Aktug, Dilian Gurov	Program Models for Compositional Verification.	ICFEM	2008	DBLP DOI BibTeX RDF
1	Johannes Bohnet, Jürgen Döllner	Visually exploring control flow graphs to support legacy software migration.	Software Engineering	2007	DBLP BibTeX RDF
1	Michael Ruth, Shengru Tu	Towards automating regression test selection for web services.	WWW	2007	DBLP DOI BibTeX RDF	web services, automation, control-flow graphs, regression test selection
1	Nguyet T. M. Nguyen, Mary Lou Soffa	Program representations for testing wireless sensor network applications.	DOSTA	2007	DBLP DOI BibTeX RDF	wireless sensor networks, program representation, test criteria
1	Venkatesh Prasad Ranganath, Torben Amtoft, Anindya Banerjee, John Hatcliff, Matthew B. Dwyer	A new foundation for control dependence and slicing for modern program structures.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	Indus, Nontermination, order dependence, program slicing, bisimulation, control dependence
1	Bjorn De Sutter, Ludo Van Put, Koen De Bosschere	A practical interprocedural dominance algorithm.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	Interprocedural control flow graph, dominators, interprocedural analysis
1	Hyesoon Kim, José A. Joao, Onur Mutlu, Yale N. Patt	Profile-assisted Compiler Support for Dynamic Predication in Diverge-Merge Processors.	CGO	2007	DBLP DOI BibTeX RDF
1	Anastasis A. Sofokleous, Andreas S. Andreou	Batch-Optimistic Test-Cases Generation Using Genetic Algorithms.	ICTAI	2007	DBLP DOI BibTeX RDF
1	Andreas S. Andreou, Kypros A. Economides, Anastasis A. Sofokleous	An Automatic Software Test-Data Generation Scheme Based on Data Flow Criteria and Genetic Algorithms.	CIT	2007	DBLP DOI BibTeX RDF
1	Miao Wang, Rongcai Zhao, Guoming Cai	Un-speculation in Modulo Scheduled Loops.	IMSCCS	2007	DBLP DOI BibTeX RDF
1	Tao Wei, Jian Mao, Wei Zou, Yu Chen	A New Algorithm for Identifying Loops in Decompilation.	SAS	2007	DBLP DOI BibTeX RDF	Loop identifying, Unstructuredness coefficient, Control flow analysis, Decompilation
1	Anastasis A. Sofokleous, Andreas S. Andreou, Gianna Ioakim	Creating and Manipulating Control Flow Graphs with Multilevel Grouping and Code Coverage.	ICEIS	2006	DBLP BibTeX RDF
1	Yixin Shou, Robert A. van Engelen, Johnnie Birch, Kyle A. Gallivan	Toward efficient flow-sensitive induction variable analysis and dependence testing for loop optimization.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF	loop parallelization, recurrences, induction variables, compiler algorithms
1	Jianjun Zhao, Tao Xie, Nan Li	Towards regression test selection for AspectJ programs.	WTAOP	2006	DBLP DOI BibTeX RDF
1	Stephen Weeks	Whole-program compilation in MLton.	ML	2006	DBLP DOI BibTeX RDF
1	Jan Jürjens	Security Analysis of Crypto-based Java Programs using Automated Theorem Provers.	ASE	2006	DBLP DOI BibTeX RDF
1	Danilo Bruschi, Lorenzo Martignoni, Mattia Monga	Detecting Self-mutating Malware Using Control-Flow Graph Matching.	DIMVA	2006	DBLP DOI BibTeX RDF
1	Akash Lal, Junghee Lim, Marina Polishchuk, Ben Liblit	Path Optimization in Programs and Its Application to Debugging.	ESOP	2006	DBLP DOI BibTeX RDF
1	Olin Shivers	The anatomy of a loop: a story of scope and control.	ICFP	2005	DBLP DOI BibTeX RDF	compilers, programming languages, functional programming, scheme, continuations, lambda-calculus, iteration, macros, control structures
1	Jan Jürjens, Mark Yampolskiy	Code security analysis with assertions.	ASE	2005	DBLP DOI BibTeX RDF	code security analysis, cryto-based software, cryptographic protocols, first-order logic, assertions, automated theorem proving, C programs
1	Tetsuo Saitou, Mitsugu Suzuki, Tan Watanabe	Dominance analysis of irreducible CFGs by reduction.	SIGPLAN Notices	2005	DBLP DOI BibTeX RDF	dominance frontier, immediate dominator, reduction, control flow graph, dominator tree, irreducible
1	Jan Jürjens	Code Security Analysis of a Biometric Authentication System Using Automated Theorem Provers.	ACSAC	2005	DBLP DOI BibTeX RDF
1	Jan Jürjens	Understanding Security Goals Provided by Crypto-Protocol Implementations.	ICSM	2005	DBLP DOI BibTeX RDF
1	Bradley Dux, Anand Iyer, Saumya K. Debray, David Forrester, Stephen G. Kobourov	Visualizing the Behavior of Dynamically Modifiable Code.	IWPC	2005	DBLP DOI BibTeX RDF
1	Katsuhisa Maruyama, Shinichiro Yamamoto	Design and Implementation of an Extensible and Modifiable Refactoring Tool.	IWPC	2005	DBLP DOI BibTeX RDF
1	Edward B. Duffy, Brian A. Malloy	A Language and Platform-Independent Approach for Reverse Engineering.	SERA	2005	DBLP DOI BibTeX RDF
1	David Cachera, Thomas P. Jensen, David Pichardie, Gerardo Schneider	Certified Memory Usage Analysis.	FM	2005	DBLP DOI BibTeX RDF	certified memory analysis, Program analysis, theorem proving, constraint solving
1	Henrik Theiling	Control flow graphs for real-time systems analysis: reconstruction from binary executables and usage in ILP-based path analysis.		2004	RDF
1	Uwe Naumann, Jean Utke, Andrew Lyons, Michael W. Fagan	Control Flow Reversal for Adjoint Code Generation.	SCAM	2004	DBLP DOI BibTeX RDF
1	Hee Beng Kuan Tan, Ni Lar Thein	Recovery of PTUIE Handling from Source Codes through Recognizing Its Probable Properties.	IEEE Trans. Knowl. Data Eng.	2004	DBLP DOI BibTeX RDF
1	Alexander Metzner	Why Model Checking Can Improve WCET Analysis.	CAV	2004	DBLP DOI BibTeX RDF
1	Olivier Ly	Compositional Verification: Decidability Issues Using Graph Substitutions.	MFCS	2004	DBLP DOI BibTeX RDF	Tree Automata, Compositional Verification, Monadic Second-Order Logic
1	Stefan Leue, Richard Mayr, Wei Wei	A Scalable Incomplete Test for Message Buffer Overflow in Promela Models.	SPIN	2004	DBLP DOI BibTeX RDF
1	Stefan Leue, Richard Mayr, Wei Wei	A Scalable Incomplete Test for the Boundedness of UML RT Models.	TACAS	2004	DBLP DOI BibTeX RDF
1	Kousha Etessami	Analysis of Recursive Game Graphs Using Data Flow Equations.	VMCAI	2004	DBLP DOI BibTeX RDF
1	Oscar Hernandez, Chunhua Liao, Barbara M. Chapman	Dragon: A Static and Dynamic Tool for OpenMP.	WOMPAT	2004	DBLP DOI BibTeX RDF
1	Mark Harman, Lin Hu, Malcolm Munro, Xingyuan Zhang, David Binkley, Sebastian Danicic, Mohammed Daoudi, Lahcen Ouarbya	Syntax-Directed Amorphous Slicing.	Autom. Softw. Eng.	2004	DBLP DOI BibTeX RDF	amorphous slicing, conditioned slicing, FermaT, transformation, WSL
1	Cinzia Bernardeschi, Nicoletta De Francesco, Luca Martini	Efficient Bytecode Verification Using Immediate Postdominators in Control Flow Graphs: Extended Abstract.	OTM Workshops	2003	DBLP DOI BibTeX RDF
1	Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano	Iterative-free program analysis.	ICFP	2003	DBLP DOI BibTeX RDF	SP term, dynamic programming, program analysis, register allocation, control flow graph, tree width, catamorphism
1	Kazuaki Ishizaki, Mikio Takeuchi, Kiyokuni Kawachiya, Toshio Suganuma, Osamu Gohda, Tatsushi Inagaki, Akira Koseki, Kazunori Ogata, Motohiro Kawahito, Toshiaki Yasue, Takeshi Ogasawara, Tamiya Onodera, Hideaki Komatsu, Toshio Nakatani	Effectiveness of cross-platform optimizations for a java just-in-time compiler.	OOPSLA	2003	DBLP DOI BibTeX RDF	Java, optimization, just-in-time compiler
1	Larry Carter, Jeanne Ferrante, Clark D. Thomborson	Folklore confirmed: reducible flow graphs are exponentially larger.	POPL	2003	DBLP DOI BibTeX RDF	safety/security in digital systems, computational complexity, compilers, programming languages
1	Jianjun Zhao	Data-Flow-Based Unit Testing of Aspect-Oriented Programs.	COMPSAC	2003	DBLP DOI BibTeX RDF
1	Li-Ling Chen, Youfeng Wu	Aggressive Compiler Optimization and Parallelization with Thread-Level Speculation.	ICPP	2003	DBLP DOI BibTeX RDF	high-performance architecture and region formation, compiler optimizations, speculative execution, thread-level parallelism
1	Jan Obdrzálek	Fast Mu-Calculus Model Checking when Tree-Width Is Bounded.	CAV	2003	DBLP DOI BibTeX RDF
1	Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre	Software Verification with BLAST.	SPIN	2003	DBLP DOI BibTeX RDF
1	Sebastian Unger, Frank Mueller	Handling irreducible loops: optimized node splitting versus DJ-graphs.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF	irreducible flowgraphs, reducible flowgraphs, compilation, instruction-level parallelism, Code optimization, loops, control flow graphs, node splitting
1	G. Ramalingam	On loops, dominators, and dominance frontiers.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF	irreducible graph, iterated dominance frontier, least common ancestor, loop nesting forest, sparse evaluation, graph transformation, Dominator, loop
1	Ali Akoglu, Aravind Dasu, Arvind Sudarsanam, Mayur Srinivasan, Sethuraman Panchanathan	Pattern Recognition Tool to Detect Reconfigurable Patterns in MPEG4 Video Processing. (PDF / PS)	IPDPS	2002	DBLP DOI BibTeX RDF	reconfigurable media processor, recurring pattern analyzer, mobile multimedia processing, partition, dynamic reconfiguration, reconfigurable architectures, data flow graph, control flow graph, MPEG4, hardware software co-design, hardware software partitioning, routing architecture
1	Arie van Deursen, Joost Visser	Building Program Understanding Tools Using Visitor Combinators. (PDF / PS)	IWPC	2002	DBLP DOI BibTeX RDF	visitor design pattern, Program analysis, program comprehension, software visualization
1	Hee Beng Kuan Tan, Ni Lar Thein	Verifying Provisions for Post-Transaction User Input Error Correction through Static Program Analysis. (PDF / PS)	WCRE	2002	DBLP DOI BibTeX RDF
1	Henrik Theiling	ILP-Based Interprocedural Path Analysis.	EMSOFT	2002	DBLP DOI BibTeX RDF
1	Frédéric Besson, Thomas P. Jensen, Daniel Le Métayer	Model Checking Security Properties of Control Flow Graphs.	Journal of Computer Security	2001	DBLP BibTeX RDF
1	Sami Beydeda, Volker Gruhn, Michael Stachorski	A Graphical Class Representation for Integrated Black- and White-Box Testing. (PDF / PS)	ICSM	2001	DBLP DOI BibTeX RDF	Class-level testing, integrated black- and white-box testing, selective regression testing, test suite reduction
1	Zhenqiang Chen, Baowen Xu, Hongji Yang	Detecting Dead Statements for Concurrent Programs.	SCAM	2001	DBLP DOI BibTeX RDF	concurrent program flow graph, MHP algorithm, dead statements, rendezvous
1	Zhiyuan Li, Junjie Gu, Gyungho Lee	Interprocedural Analysis Based on Guarded Array Regions.	Compiler Optimizations for Scalable Parallel Systems Languages	2001	DBLP DOI BibTeX RDF	array data flow analysis, array privatization, guarded array regions, Parallelizing compilers, interprocedural analysis, symbolic analysis
1	John Aycock, R. Nigel Horspool	Simple Generation of Static Single-Assignment Form.	CC	2000	DBLP DOI BibTeX RDF
1	Aynur Abdurazik, A. Jefferson Offutt	Using UML Collaboration Diagrams for Static Checking and Test Generation.	UML	2000	DBLP DOI BibTeX RDF
1	Matthias Anlauff, Philipp W. Kutter, Alfonso Pierantonio	Enhanced Control Flow Graphs in Montages.	Ershov Memorial Conference	1999	DBLP DOI BibTeX RDF
1	Gregg Rothermel, Mary Jean Harrold	A Safe, Efficient Regression Test Selection Technique.	ACM Trans. Softw. Eng. Methodol.	1997	DBLP DOI BibTeX RDF	regression testing, regression test selection, selective retest
1	Thomas Fahringer, Eduard Mehofer	Buffer-Safe Communication Optimization Based on Data Flow Analysis and Performance Prediction.	IEEE PACT	1997	DBLP DOI BibTeX RDF	Communication, Performance Prediction, Data Flow Analysis, Communication Optimization
1	Christian Mossin	Higher-Order Value Flow Graphs.	PLILP	1997	DBLP DOI BibTeX RDF	polyvariance, efficiency, program analysis, type system, polymorphism, recursive types
1	Robert Muth, Saumya K. Debray	On the Complexity of Function Pointer May-Alias Analysis.	TAPSOFT	1997	DBLP DOI BibTeX RDF
1	Taghi M. Khoshgoftaar, Edward B. Allen, Kalai Kalaichelvan, Nishith Goel	Early Quality Prediction: A Case Study in Telecommunications.	IEEE Software	1996	DBLP DOI BibTeX RDF
1	Cristina Cifuentes	Structuring Decompiled Graphs.	CC	1996	DBLP DOI BibTeX RDF
1	Maher Rahmouni, Ahmed Amine Jerraya	Formulation and evaluation of scheduling techniques for control flow graphs.	EURO-DAC	1995	DBLP DOI BibTeX RDF
1	Bruce A. Cota, Douglas G. Fritz, Robert G. Sargent	Control flow graphs as a representation language.	Winter Simulation Conference	1994	DBLP BibTeX RDF
1	Richard Johnson, David Pearson, Keshav Pingali	The Program Structure Tree: Computing Control Regions in Linear Time.	PLDI	1994	DBLP DOI BibTeX RDF
1	Arnd Poetzsch-Heffter	Developing Efficient Interpreters Based on Formal Language Specifications.	CC	1994	DBLP DOI BibTeX RDF
1	Thomas Ball	What's In a Region? Or Computing Control Dependence Regions In Near-Linear Time for Reducible Control Flow.	LOPLAS	1993	DBLP DOI BibTeX RDF	regions, control-flow graph, control dependence
1	C. L. McCreary, D. H. Gill	Automatic partitioning and virtual scheduling for efficient parallel execution.	ACM Southeast Regional Conference	1992	DBLP DOI BibTeX RDF
1	Albert Zündorf, Andy Schürr	Nondeterministic Control Structures for Graph Rewriting Systems.	WG	1991	DBLP DOI BibTeX RDF
1	Williams Ludwell Harrison III, Zahira Ammarguellat	The Design of Automatic Parallelizers for Symbolic and Numeric Programs.	Workshop on Parallel Lisp	1989	DBLP DOI BibTeX RDF
1	John H. Reif	Symbolic Programming Analysis in Almost Linear Time.	POPL	1978	DBLP DOI BibTeX RDF
1	Ken Kennedy, Linda Zucconi	Applications of Graph Grammar for Program Control Flow Analysis.	POPL	1977	DBLP DOI BibTeX RDF