Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
56 | Ayal Zaks, Vitaly Feldman, Nava Aizikowitz |
Sealed calls in Java packages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 2000 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications, OOPSLA 2000, Minneapolis, Minnesota, USA, October 15-19, 2000., pp. 83-92, 2000, ACM, 1-58113-200-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
call devirtualization, class hierarchy graph, inter-procedural analysis, method inlining, sealed package, Java, Java, object-oriented programming, call graph |
54 | Liu Yang, Sun Chan, Guang R. Gao, Roy Ju, Guei-Yuan Lueh, Zhaoqing Zhang |
Inter-procedural stacked register allocation for itanium® like architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 17th Annual International Conference on Supercomputing, ICS 2003, San Francisco, CA, USA, June 23-26, 2003, pp. 215-225, 2003, ACM, 1-58113-733-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
hot region, inter-procedural stacked register allocation, quota assignment, register allocation, hotspot |
54 | Helmut Seidl, Bernhard Steffen |
Constraint-Based Inter-Procedural Analysis of Parallel Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 9th European Symposium on Programming, ESOP 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, pp. 351-365, 2000, Springer, 3-540-67262-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Inter-procedural program analysis, explicit parallelism, bitvector problems, simple constant propagation, coincidence theorems |
46 | David Xinliang Li, Raksit Ashok, Robert Hundt |
Lightweight feedback-directed cross-module optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGO ![In: Proceedings of the CGO 2010, The 8th International Symposium on Code Generation and Optimization, Toronto, Ontario, Canada, April 24-28, 2010, pp. 53-61, 2010, ACM, 978-1-60558-635-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
cross-module, feedback-directed, inter-procedural, optimization |
40 | John Ng, Dattatraya Kulkarni, Wei Li 0015, Robert Cox, Scott Bobholz |
Inter-Procedural Loop Fusion, Array Contraction and Rotation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE PACT ![In: 12th International Conference on Parallel Architectures and Compilation Techniques (PACT 2003), 27 September - 1 October 2003, New Orleans, LA, USA, pp. 114-124, 2003, IEEE Computer Society, 0-7695-2021-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
38 | Duane Merrill, Kim M. Hazelwood |
Trace fragment selection within method-based JVMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VEE ![In: Proceedings of the 4th International Conference on Virtual Execution Environments, VEE 2008, Seattle, WA, USA, March 5-7, 2008, pp. 41-50, 2008, ACM, 978-1-59593-796-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
region selection, JVM, traces, JIT compilation |
35 | Lei Wang, Xikun Sun |
Escape analysis for synchronization removal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 1419-1423, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
synchronization removal, java, optimization, escape analysis |
31 | Mahmut T. Kandemir |
Improving whole-program locality using intra-procedural and inter-procedural transformations, . ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Parallel Distributed Comput. ![In: J. Parallel Distributed Comput. 65(5), pp. 564-582, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Markus Müller-Olm, Helmut Seidl |
Upper Adjoints for Fast Inter-procedural Variable Equalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings, pp. 178-192, 2008, Springer, 978-3-540-78738-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Zhongxing Xu, Jian Zhang 0001 |
Path and Context Sensitive Inter-procedural Memory Leak Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: Proceedings of the Eighth International Conference on Quality Software, QSIC 2008, 12-13 August 2008, Oxford, UK, pp. 412-420, 2008, IEEE Computer Society, 978-0-7695-3312-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
path feasibility, memory leak, bug finding |
29 | Swatee Rekha Mohanty, Durga Prasad Mohapatra, Himansu Sekhar Behara |
A Novel Approach for Static Slicing of Inter-Procedural Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIT ![In: 9th International Conference in Information Technology, ICIT 2006, Bhubaneswar, Orissa, India, 18-21 December 2006, pp. 305-306, 2006, IEEE Computer Society, 0-7695-2635-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Christopher L. Conway, Kedar S. Namjoshi, Dennis Dams, Stephen A. Edwards |
Incremental Algorithms for Inter-procedural Analysis of Safety Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings, pp. 449-461, 2005, Springer, 3-540-27231-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Torben Amtoft, Robert Muller |
Inferring annotated types for inter-procedural register allocation with constructor flattening. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLDI ![In: Proceedings of TLDI'03: 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, New Orleans, Louisiana, USA, January 18, 2003, pp. 86-97, 2003, ACM, 1-58113-649-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
type systems, register allocation, effects, defunctionalization, certifying compilers |
28 | Jongeun Lee, Aviral Shrivastava |
A compiler optimization to reduce soft errors in register files. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, LCTES 2009, Dublin, Ireland, June 19-20, 2009, pp. 41-49, 2009, ACM, 978-1-60558-356-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
architectural vulnerability factor, link-time optimization, embedded system, compilation, static analysis, soft error, register file |
28 | Fred C. Chow |
Minimizing Register Usage Penalty at Procedure Calls. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'88 Conference on Programming Language Design and Implementation (PLDI), Atlanta, Georgia, USA, June 22-24, 1988, pp. 85-94, 1988, ACM, 0-89791-269-1. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
26 | Johannes M. Mulder |
Inter: An inexpensive inter-procedural register allocator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocessing and Microprogramming ![In: Microprocessing and Microprogramming 27(1-5), pp. 95-100, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
25 | Chandan Raj Rupakheti, Daqing Hou |
Satisfying Programmers' Information Needs in API-Based Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPC ![In: The 19th IEEE International Conference on Program Comprehension, ICPC 2011, Kingston, ON, Canada, June 22-24, 2011, pp. 250-253, 2011, IEEE Computer Society, 978-1-61284-308-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
API-based programming, inter-procedural analysis, rule-based inferences, abstract interpretation |
25 | Emina Torlak, Satish Chandra 0001 |
Effective interprocedural resource leak detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (1) ![In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1, ICSE 2010, Cape Town, South Africa, 1-8 May 2010, pp. 535-544, 2010, ACM, 978-1-60558-719-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
inter-procedural analysis, resource leaks, alias analysis |
25 | Trishul M. Chilimbi, Aditya V. Nori, Kapil Vaswani |
Quantifying the effectiveness of testing via efficient residual path profiling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007, pp. 545-548, 2007, ACM, 978-1-59593-811-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
inter-procedural, testing, residual, path profiling |
25 | Silvius Vasile Rus, Lawrence Rauchwerger, Jay P. Hoeflinger |
Hybrid analysis: static & dynamic memory reference analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Proceedings of the 16th international conference on Supercomputing, ICS 2002, New York City, NY, USA, June 22-26, 2002, pp. 274-284, 2002, ACM, 1-58113-483-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
hybrid analysis, inter-procedural analysis, run-time parallelization, run-time analysis |
25 | Bruno Malenfant, Giuliano Antoniol, Ettore Merlo, Michel R. Dagenais |
Flow Analysis to Detect Blocked Statements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 2001 International Conference on Software Maintenance, ICSM 2001, Florence, Italy, November 6-10, 2001, pp. 62-, 2001, IEEE Computer Society, 0-7695-1189-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Blocking analysis, inter-procedural flow analysis, software evaluation |
21 | Raymond P. L. Buse, Westley Weimer |
Automatic documentation inference for exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2008, Seattle, WA, USA, July 20-24, 2008, pp. 273-282, 2008, ACM, 978-1-60558-050-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
documentation inference, exception handling, software documentation |
21 | Mario Luca Bernardi, Giuseppe A. Di Lucca |
Testing Aspect Oriented Programs: an Approach Based on the Coverage of the Interactions among Advices and Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QUATIC ![In: Quality of Information and Communications Technology, 6th International Conference on the Quality of Information and Communications Technology, QUATIC 2007, Lisbon, Portugal, September 12-14, 2007, Proceedings, pp. 65-76, 2007, IEEE Computer Society, 0-7695-2948-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Richard Stahl, Francky Catthoor, Diederik Verkest |
Object-Distribution Analysis for Program Decomposition and Re-Clustering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), CD-ROM / Abstracts Proceedings, 4-8 April 2005, Denver, CO, USA, 2005, IEEE Computer Society, 0-7695-2312-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Richard Stahl, Francky Catthoor, Diederik Verkest |
Object-Distribution Analysis: Technique for Parallel Loop Distribution of Object-Oriented Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP Workshops ![In: 34th International Conference on Parallel Processing Workshops (ICPP 2005 Workshops), 14-17 June 2005, Oslo, Norway, pp. 153-160, 2005, IEEE Computer Society, 0-7695-2381-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Kaustubh Patil, Kiran Seth, Frank Mueller 0001 |
Compositional static instruction cache simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 2004 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'04), Washington, DC, USA, June 11-13, 2004, pp. 136-145, 2004, ACM, 1-58113-806-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
scheduling, real-time systems, caches, worst-case execution time |
21 | Julian Dolby, Andrew A. Chien |
An Evaluation of Automatic Object Inline Allocation Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications, OOPSLA 1998, Vancouver, British Columbia, Canada, October 18-22, 1998., pp. 1-20, 1998, ACM, 1-58113-005-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Zhen Li, Ning Wang, Deqing Zou, Yating Li, Ruqian Zhang, Shouhuai Xu, Chao Zhang, Hai Jin 0001 |
On the Effectiveness of Function-Level Vulnerability Detectors for Inter-Procedural Vulnerabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.09767, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
19 | Peihua Zhang, Chenggang Wu 0002, Mingfan Peng, Kai Zeng, Ding Yu, Yuanming Lai, Yan Kang 0002, Wei Wang, Zhe Wang 0017 |
Khaos: The Impact of Inter-procedural Code Obfuscation on Binary Diffing Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2301.11586, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Zihua Song, Junfeng Wang 0003, Kaiyuan Yang 0004, Jigang Wang |
HGIVul: Detecting inter-procedural vulnerabilities based on hypergraph convolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 160, pp. 107219, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Peihua Zhang, Chenggang Wu 0002, Mingfan Peng, Kai Zeng, Ding Yu, Yuanming Lai, Yan Kang 0002, Wei Wang, Zhe Wang 0017 |
Khaos: The Impact of Inter-procedural Code Obfuscation on Binary Diffing Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CGO ![In: Proceedings of the 21st ACM/IEEE International Symposium on Code Generation and Optimization, CGO 2023, Montréal, QC, Canada, 25 February 2023- 1 March 2023, pp. 55-67, 2023, ACM, 979-8-4007-0101-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Bozhi Wu, Shangqing Liu, Yang Xiao, Zhiming Li, Jun Sun 0001, Shang-Wei Lin 0001 |
Learning Program Semantics for Vulnerability Detection via Vulnerability-Specific Inter-procedural Slicing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2023, San Francisco, CA, USA, December 3-9, 2023, pp. 1371-1383, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
19 | Mattia Paccamiccio, Leonardo Mostarda |
Reasoning about inter-procedural security requirements in IoT applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2205.03746, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Changhua Luo, Penghui Li 0001, Wei Meng 0001 |
TChecker: Precise Static Inter-Procedural Analysis for Detecting Taint-Style Vulnerabilities in PHP Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, CCS 2022, Los Angeles, CA, USA, November 7-11, 2022, pp. 2175-2188, 2022, ACM, 978-1-4503-9450-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Mattia Paccamiccio, Leonardo Mostarda |
Reasoning About Inter-procedural Security Requirements in IoT Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA (3) ![In: Advanced Information Networking and Applications - Proceedings of the 36th International Conference on Advanced Information Networking and Applications (AINA-2022), Volume 3, pp. 245-254, 2022, Springer, 978-3-030-99618-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
19 | Daoyuan Wu, Debin Gao, Robert H. Deng, Rocky K. C. Chang |
When Program Analysis Meets Bytecode Search: Targeted and Efficient Inter-procedural Analysis of Modern Android Apps in BackDroid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2021, Taipei, Taiwan, June 21-24, 2021, pp. 543-554, 2021, IEEE, 978-1-6654-3572-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Joshua Heneage Dawes, Domenico Bianculli |
Specifying Properties over Inter-procedural, Source Code Level Behaviour of Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification - 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings, pp. 23-41, 2021, Springer, 978-3-030-88493-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
19 | Daoyuan Wu, Debin Gao, Robert H. Deng, Rocky K. C. Chang |
When Program Analysis Meets Bytecode Search: Targeted and Efficient Inter-procedural Analysis of Modern Android Apps in BackDroid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2005.11527, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
19 | Rahman Lavaee, John Criswell, Chen Ding 0001 |
Codestitcher: inter-procedural basic block layout optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Proceedings of the 28th International Conference on Compiler Construction, CC 2019, Washington, DC, USA, February 16-17, 2019, pp. 65-75, 2019, ACM, 978-1-4503-6277-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Philipp Dominik Schubert, Ben Hermann 0001, Eric Bodden |
PhASAR: An Inter-procedural Static Analysis Framework for C/C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS (2) ![In: Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II, pp. 393-410, 2019, Springer, 978-3-030-17464-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
19 | Rahman Lavaee, John Criswell, Chen Ding |
Codestitcher: Inter-Procedural Basic Block Layout Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1810.00905, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
19 | Stefan Schulze Frielinghaus, Michael Petter, Helmut Seidl |
Inter-procedural Two-Variable Herbrand Equalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 13(2), 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Jakub Mísek, Filip Zavoral |
Control Flow Ambiguous-Type Inter-Procedural Semantic Analysis for Dynamic Language Compilation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ANT/SEIT ![In: The 8th International Conference on Ambient Systems, Networks and Technologies (ANT 2017) / The 7th International Conference on Sustainable Energy Information Technology (SEIT 2017), 16-19 May 2017, Madeira, Portugal, pp. 955-962, 2017, Elsevier. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
19 | Tianyong Wu, Jierui Liu, Zhenbo Xu, Chaorong Guo, Yanli Zhang, Jun Yan 0009, Jian Zhang 0001 |
Light-Weight, Inter-Procedural and Callback-Aware Resource Leak Detection for Android Apps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 42(11), pp. 1054-1076, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
19 | Stefan Schulze Frielinghaus, Michael Petter, Helmut Seidl |
Inter-procedural Two-Variable Herbrand Equalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings, pp. 457-482, 2015, Springer, 978-3-662-46668-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Marco Minutoli, Vito Giovanni Castellana, Antonino Tumeo, Fabrizio Ferrandi |
Inter-procedural resource sharing in High Level Synthesis through function proxies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: 25th International Conference on Field Programmable Logic and Applications, FPL 2015, London, United Kingdom, September 2-4, 2015, pp. 1-8, 2015, IEEE, 978-0-9934-2800-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Elvira Albert, Samir Genaim, Pablo Gordillo |
May-Happen-in-Parallel Analysis for Asynchronous Programs with Inter-Procedural Synchronization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings, pp. 72-89, 2015, Springer, 978-3-662-48287-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
19 | Stefan Schulze Frielinghaus, Michael Petter, Helmut Seidl |
Inter-procedural Two-Variable Herbrand Equalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1410.4416, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
19 | Wesley Jin, Cory F. Cohen, Jeffrey Gennari, Charles Hines, Sagar Chaki, Arie Gurfinkel, Jeffrey Havrilla, Priya Narasimhan |
Recovering C++ Objects From Binaries Using Inter-Procedural Data-Flow Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPREW@POPL ![In: Proceedings of the 3rd ACM SIGPLAN Program Protection and Reverse Engineering Workshop 2014, PPREW 2014, January 25, 2014, San Diego, CA, USA, pp. 1:1-1:11, 2014, ACM, 978-1-4503-2649-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Bryce Holton, Ke Bai 0002, Aviral Shrivastava, Harini Ramaprasad |
Construction of GCCFG for inter-procedural optimizations in Software Managed Manycore (SMM) architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASES ![In: 2014 International Conference on Compilers, Architecture and Synthesis for Embedded Systems, CASES 2014, Uttar Pradesh, India, October 12-17, 2014, pp. 18:1-18:10, 2014, ACM, 978-1-4503-3050-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Stefan Schulze Frielinghaus |
Inter-procedural Herbrand Equalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Joint Workshop of the German Research Training Groups in Computer Science ![In: Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science - Dagstuhl 2014, Dagstuhl, Germany, June 15-18, 2014., pp. 106, 2014, Pro Business GmbH, 978-3-86386-719-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
19 | Franck Cassez, Christian Müller 0008, Karla Burnett |
Summary-Based Inter-Procedural Analysis via Modular Trace Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India, pp. 545-556, 2014, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-77-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
19 | Eric Bodden |
Inter-procedural data-flow analysis with IFDS/IDE and Soot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: Proceedings of the ACM SIGPLAN International Workshop on State of the Art in Java Program analysis, SOAP 2012, Beijing, China, June 14, 2012, pp. 3-8, 2012, ACM, 978-1-4503-1490-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Jiang Ming 0002, Meng Pan, Debin Gao |
iBinHunt: Binary Hunting with Inter-procedural Control Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISC ![In: Information Security and Cryptology - ICISC 2012 - 15th International Conference, Seoul, Korea, November 28-30, 2012, Revised Selected Papers, pp. 92-109, 2012, Springer, 978-3-642-37681-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Aws Albarghouthi, Arie Gurfinkel, Marsha Chechik |
Whale: An Interpolation-Based Algorithm for Inter-procedural Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation - 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings, pp. 39-55, 2012, Springer, 978-3-642-27939-3. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
19 | Lulu Wang 0001, Bixin Li |
A Technology of Profiling Inter-procedural Paths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), Eden Roc Renaissance, Miami Beach, USA, July 7-9, 2011, pp. 31-36, 2011, Knowledge Systems Institute Graduate School, 1-891706-29-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
19 | Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu |
On inter-procedural analysis of programs with lists and data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011, San Jose, CA, USA, June 4-8, 2011, pp. 578-589, 2011, ACM, 978-1-4503-0663-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
19 | Philippe Moret, Walter Binder, Abbas Heydarnoori, Danilo Ansaloni |
Tool demonstration: effective runtime exploration of the inter-procedural control flow in Java applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ ![In: Proceedings of the 8th International Conference on Principles and Practice of Programming in Java, PPPJ 2010, Vienna, Austria, September 15-17, 2010, pp. 162-165, 2010, ACM, 978-1-4503-0269-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Dominic Letarte |
Model checking graph representation of precise boolean inter-procedural flow analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: ASE 2010, 25th IEEE/ACM International Conference on Automated Software Engineering, Antwerp, Belgium, September 20-24, 2010, pp. 511-516, 2010, ACM, 978-1-4503-0116-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Dominic Letarte |
Conversion of fast inter-procedural static analysis to model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 26th IEEE International Conference on Software Maintenance (ICSM 2010), September 12-18, 2010, Timisoara, Romania, pp. 1-2, 2010, IEEE Computer Society, 978-1-4244-8630-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
19 | Xiaohu Yang 0001, Weiwei Qiu, Xinyu Wang 0001 |
Identifying Domain Variables from Inter-Procedural Programs to Extract Business Rule. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Software Engineering Research and Practice ![In: Proceedings of the 2009 International Conference on Software Engineering Research & Practice, SERP 2009, July 13-16, 2009, Las Vegas, Nevada, USA, 2 Volumes, pp. 437-442, 2009, CSREA Press, 1-60132-129-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
19 | Dominic Letarte, Ettore Merlo |
Extraction of Inter-procedural Simple Role Privilege Models from PHP Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCRE ![In: 16th Working Conference on Reverse Engineering, WCRE 2009, 13-16 October 2009, Lille, France, pp. 187-191, 2009, IEEE Computer Society, 978-0-7695-3867-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Anatole Le, Ondrej Lhoták, Laurie J. Hendren |
Using Inter-Procedural Side-Effect Information in JIT Optimizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings, pp. 287-304, 2005, Springer, 3-540-25411-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Karim-Cyril Griche |
Automatic Inter-Procedural Test Case Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 23-27 September 2002, Edinburgh, Scotland, UK, pp. 316, 2002, IEEE Computer Society, 0-7695-1736-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Helmut Seidl, Bernhard Steffen |
Constraint-Based Inter-Procedural Analysis of Parallel Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nord. J. Comput. ![In: Nord. J. Comput. 7(4), pp. 375-, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
19 | Antonio Magnaghi, Shuichi Sakai, Hidehiko Tanaka |
Inter-procedural Analysis for Parallelization of Java Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACPC ![In: Parallel Computation, 4th International ACPC Conference Including Special Tracks on Parallel Numerics (ParNum'99) and Parallel Computing in Image Processing, Video Processing, and Multimedia, Salzburg, Austria, February 1999, Proceedings, pp. 594-595, 1999, Springer, 3-540-65641-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Mohd Yazid Saman, David J. Evans 0001 |
Inter-Procedural Analysis for Parallel Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Comput. ![In: Parallel Comput. 21(2), pp. 315-338, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
19 | Masaaki Mizuno |
An iterative method for secure inter-procedural information flow control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: Proceedings of the 13th Annual International Computer Software and Applications Conference, COMPSAC 1989, Orlando, FL, USA, 20-22 September, 1989, pp. 286-291, 1989, IEEE, 0-8186-1964-3. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
19 | R. Schooler |
Knowing is better than thinking: a simple approach to inter-procedural optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 22(3), pp. 121-122, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
17 | Carsten Gremzow |
Compiled low-level virtual instruction set simulation and profiling for code partitioning and ASIP-synthesis in hardware/software co-design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSC ![In: Proceedings of the 2007 Summer Computer Simulation Conference, SCSC 2007, San Diego, California, USA, July 16-19, 2007, pp. 741-748, 2007, Simulation Councils, Inc., 1-56555-316-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
hardware/software co-synthesis, instruction set architecture simulation, quantitative dataflow analysis, profiling, coarse-grained parallelism, LLVM |
17 | Sigmund Cherem, Radu Rugina |
Uniqueness inference for compile-time object deallocation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMM ![In: Proceedings of the 6th International Symposium on Memory Management, ISMM 2007, Montreal, Quebec, Canada, October 21-22, 2007, pp. 117-128, 2007, ACM, 978-1-59593-893-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
compile-time memory management, individual object deallocation, object destructors, uniqueness inference, program transformations |
17 | Divya Arora, Srivaths Ravi 0001, Anand Raghunathan, Niraj K. Jha |
Hardware-Assisted Run-Time Monitoring for Secure Program Execution on Embedded Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 14(12), pp. 1295-1308, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Divya Arora, Srivaths Ravi 0001, Anand Raghunathan, Niraj K. Jha |
Secure Embedded Processing through Hardware-Assisted Run-Time Monitoring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2005 Design, Automation and Test in Europe Conference and Exposition (DATE 2005), 7-11 March 2005, Munich, Germany, pp. 178-183, 2005, IEEE Computer Society, 0-7695-2288-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Ted Kremenek, Ken Ashcraft, Junfeng Yang, Dawson R. Engler |
Correlation exploitation in error ranking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31 - November 6, 2004, pp. 83-93, 2004, ACM, 1-58113-855-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
error ranking, static analysis, program checking |
17 | Jian-Zhi Wu, Jenq Kuen Lee |
A Bytecode Optimizer to Engineer Bytecodes for Performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCPC ![In: Languages and Compilers for Parallel Computing, 13th International Workshop, LCPC 2000, Yorktown Heights, NY, USA, August 10-12, 2000, Revised Papers, pp. 377-382, 2000, Springer, 3-540-42862-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Eugene W. Myers |
A Precise Interprocedural Data Flow Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Eighth Annual ACM Symposium on Principles of Programming Languages, Williamsburg, Virginia, USA, January 1981, pp. 219-230, 1981, ACM Press, 0-89791-029-X. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
14 | Guohua Jin, John M. Mellor-Crummey, Robert J. Fowler |
Increasing temporal locality with skewing and recursive blocking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings of the 2001 ACM/IEEE conference on Supercomputing, Denver, CO, USA, November 10-16, 2001, CD-ROM, pp. 43, 2001, ACM, 1-58113-293-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Philippe Moret, Walter Binder, Alex Villazón, Danilo Ansaloni |
Exploring large profiles with calling context ring charts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOSP/SIPEW ![In: Proceedings of the first joint WOSP/SIPEW International Conference on Performance Engineering, San Jose, California, USA, January 28-30, 2010, pp. 63-68, 2010, ACM, 978-1-60558-563-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
calling context profiles, calling context tree (cct), visualization, performance analysis, dynamic metrics |
10 | Martim Carbone, Weidong Cui, Long Lu, Wenke Lee, Marcus Peinado, Xuxian Jiang |
Mapping kernel objects to enable systematic integrity checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 2009 ACM Conference on Computer and Communications Security, CCS 2009, Chicago, Illinois, USA, November 9-13, 2009, pp. 555-565, 2009, ACM, 978-1-60558-894-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
kernel integrity, memory analysis, malware, pointer analysis, introspection |
10 | Sumit Gulwani, Krishna K. Mehra, Trishul M. Chilimbi |
SPEED: precise and efficient static estimation of program computational complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009, pp. 127-139, 2009, ACM, 978-1-60558-379-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
counter instrumentation, quantitative functions, symbolic complexity bounds, termination analysis |
10 | Andreas Gal, Brendan Eich, Mike Shaver, David Anderson, David Mandelin, Mohammad R. Haghighat, Blake Kaplan, Graydon Hoare, Boris Zbarsky, Jason Orendorff, Jesse Ruderman, Edwin W. Smith, Rick Reitmaier, Michael Bebenita, Mason Chang, Michael Franz |
Trace-based just-in-time type specialization for dynamic languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009, pp. 465-478, 2009, ACM, 978-1-60558-392-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
trace-based compilation, dynamically typed languages |
10 | Sudheendra Hangal, Monica S. Lam |
Automatic dimension inference and checking for object-oriented programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Proceedings, pp. 155-165, 2009, IEEE, 978-1-4244-3452-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Wonchul Lee, Hyojin Choi, Wonyong Sung |
Algorithm and Software Optimization of Variable Block Size Motion Estimation for H.264/AVC on a VLIW-SIMD DSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Signal Process. Syst. ![In: J. Signal Process. Syst. 51(3), pp. 289-302, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
variable block size motion estimation, H.264/AVC encoder, VLIW (very long instruction word), SIMD (single instruction multiple data) |
10 | Changjun Hu, Yewei Shao, Jue Wang 0013, Jianjiang Li |
Automatic Transformation for Overlapping Communication and Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NPC ![In: Network and Parallel Computing, IFIP International Conference, NPC 2008, Shanghai, China, October 18-20, 2008. Proceedings, pp. 210-220, 2008, Springer, 978-3-540-88139-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Parallel compiling, Communication optimization, Control-flow analysis, Source-to-source transformation |
10 | Daniel Millot, Alain Muller, Christian Parrot, Frédérique Silber-Chaussumier |
STEP: A Distributed OpenMP for Coarse-Grain Parallelism Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWOMP ![In: OpenMP in a New Era of Parallelism, 4th International Workshop, IWOMP 2008, West Lafayette, IN, USA, May 12-14, 2008, Proceedings, pp. 83-99, 2008, Springer, 978-3-540-79560-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Sun C. Chan, Guang R. Gao, Barbara M. Chapman, T. Linthicum, A. Dasgupta |
Open64 compiler infrastructure for emerging multicore/manycore architecture All Symposium Tutorial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 22nd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2008, Miami, Florida USA, April 14-18, 2008, pp. 1, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Carsten Gremzow |
Quantitative global dataflow analysis on virtual instruction set simulators for hardware/software co-design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 26th International Conference on Computer Design, ICCD 2008, 12-15 October 2008, Lake Tahoe, CA, USA, Proceedings, pp. 377-383, 2008, IEEE Computer Society, 978-1-4244-2657-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Guoqing Xu 0001, Atanas Rountev |
AJANA: a general framework for source-code-level interprocedural dataflow analysis of AspectJ software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSD ![In: Proceedings of the 7th International Conference on Aspect-Oriented Software Development, AOSD 2008, Brussels, Belgium, March 31 - April 4, 2008, pp. 36-47, 2008, ACM, 978-1-60558-044-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
AspectJ, dataflow analysis, interprocedural analysis |
10 | Peng Zhao, Shimin Cui, Yaoqing Gao, Raúl Silvera, José Nelson Amaral |
Forma: A framework for safe automatic array reshaping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 30(1), pp. 2, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
reference analysis, data structure, Arrays |
10 | Vineet Kahlon, Aarti Gupta |
On the analysis of interacting pushdown systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007, pp. 303-314, 2007, ACM, 1-59593-575-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
model checking, concurrency, dataflow analysis, LTL, mu-calculus, pushdown systems |
10 | Sigmund Cherem, Radu Rugina |
A Practical Escape and Effect Analysis for Building Lightweight Method Summaries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007, Proceedings, pp. 172-186, 2007, Springer, 978-3-540-71228-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Sigmund Cherem, Lonnie Princehouse, Radu Rugina |
Practical memory leak detection using guarded value-flow analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 10-13, 2007, pp. 480-491, 2007, ACM, 978-1-59593-633-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
static error detection, value-flow analysis, memory management, memory leaks |
10 | Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan |
Path-Sensitive Inference of Function Precedence Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007, pp. 240-250, 2007, IEEE Computer Society, 0-7695-2828-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Mario Luca Bernardi, Giuseppe A. Di Lucca |
An Interprocedural Aspect Control Flow Graph to Support the Maintenance of Aspect Oriented Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 23rd IEEE International Conference on Software Maintenance (ICSM 2007), October 2-5, 2007, Paris, France, pp. 435-444, 2007, IEEE Computer Society, 978-1-4244-1256-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Sigmund Cherem, Radu Rugina |
Compile-time deallocation of individual objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMM ![In: Proceedings of the 5th International Symposium on Memory Management, ISMM 2006, Ottawa, Ontario, Canada, June 10-11, 2006, pp. 138-149, 2006, ACM, 1-59593-221-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
compile-time memory management, individual object deallocation, program transformations, shape analysis |
10 | Rajeev Alur, Swarat Chaudhuri, P. Madhusudan |
A fixpoint calculus for local and global program flows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston, South Carolina, USA, January 11-13, 2006, pp. 153-165, 2006, ACM, 1-59593-027-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
infinite-state, model-checking, verification, games, specification, logic, ?-calculus, pushdown systems |
10 | Ettore Merlo, Dominic Letarte, Giuliano Antoniol |
Insider and Ousider Threat-Sensitive SQL Injection Vulnerability Analysis in PHP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCRE ![In: 13th Working Conference on Reverse Engineering (WCRE 2006), 23-27 October 2006, Benevento, Italy, pp. 147-156, 2006, IEEE Computer Society, 0-7695-2719-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Xiaotong Zhuang, Mauricio J. Serrano, Harold W. Cain, Jong-Deok Choi |
Accurate, efficient, and adaptive calling context profiling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, Ottawa, Ontario, Canada, June 11-14, 2006, pp. 263-271, 2006, ACM, 1-59593-320-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
adaptive, profiling, java virtual machine, call graph, calling context, calling context tree |
10 | Dan R. Ghica, Andrzej S. Murawski |
Compositional Model Extraction for Higher-Order Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 12th International Conference, TACAS 2006 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings, pp. 303-317, 2006, Springer, 3-540-33056-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Zhuopeng Zhang, Hongji Yang, William C. Chu |
Extracting Reusable Object-Oriented Legacy Code Segments with Combined Formal Concept Analysis and Slicing Techniques for Service Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: Sixth International Conference on Quality Software (QSIC 2006), 26-28 October 2006, Beijing, China, pp. 385-392, 2006, IEEE Computer Society, 0-7695-2718-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|