|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 362 occurrences of 221 keywords
|
|
|
Results
Found 364 publication records. Showing 364 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
13 | Dinh Doan Van Bien, David Lillis, Rem W. Collier |
Call Graph Profiling for Multi Agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1508.02677, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
13 | Karim Ali 0001, Marianna Rapoport, Ondrej Lhoták, Julian Dolby, Frank Tip |
Type-Based Call Graph Construction Algorithms for Scala. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 25(1), pp. 9:1-9:43, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Yu Qu, Xiaohong Guan, Qinghua Zheng, Ting Liu 0002, Lidan Wang, Yuqiao Hou, Zijiang Yang 0006 |
Exploring community structure of software Call Graph and its applications in class cohesion measurement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Softw. ![In: J. Syst. Softw. 108, pp. 193-210, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Markus Trapp, Michael Rossberg, Guenter Schaefer |
Program partitioning based on static call graph analysis for privilege separation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: 2015 IEEE Symposium on Computers and Communication, ISCC 2015, Larnaca, Cyprus, July 6-9, 2015, pp. 613-618, 2015, IEEE Computer Society, 978-1-4673-7194-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Alexandru Marginean, Earl T. Barr, Mark Harman, Yue Jia 0001 |
Automated Transplantation of Call Graph and Layout Features into Kate. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSBSE ![In: Search-Based Software Engineering - 7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015, Proceedings, pp. 262-268, 2015, Springer, 978-3-319-22182-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
13 | Frank Eichinger, Victor Pankratius, Klemens Böhm |
Data mining for defects in multicore applications: an entropy-based call-graph technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Comput. Pract. Exp. ![In: Concurr. Comput. Pract. Exp. 26(1), pp. 1-20, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Zhiyuan Wan, Bo Zhou 0010, Ye Wang, Yuanhong Shen |
Efficient Points-To Analysis for Partial Call Graph Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: The 26th International Conference on Software Engineering and Knowledge Engineering, Hyatt Regency, Vancouver, BC, Canada, July 1-3, 2013., pp. 416-421, 2014, Knowledge Systems Institute Graduate School. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
13 | Jae-wook Jang, Jiyoung Woo, Jaesung Yun, Huy Kang Kim |
Mal-netminer: malware classification based on social network analysis of call graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW (Companion Volume) ![In: 23rd International World Wide Web Conference, WWW '14, Seoul, Republic of Korea, April 7-11, 2014, Companion Volume, pp. 731-734, 2014, ACM, 978-1-4503-2745-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | Takuya Nakaike, Hiroshi Inoue, Toshio Suganuma, Moriyoshi Ohara |
Characterization of call-graph profiles in Java workloads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IISWC ![In: 2014 IEEE International Symposium on Workload Characterization, IISWC 2014, Raleigh, NC, USA, October 26-28, 2014, pp. 161-170, 2014, IEEE Computer Society, 978-1-4799-6452-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
13 | M. Rajasekhara Babu, Krishnakumar Ventakasubramanian, George Abraham, Kiransinh Borasia |
KRAB Algorithm - A Revised Algorithm for Incremental Call Graph Generation ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1303.0908, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
13 | Ming Xu 0001, Lingfei Wu, Shuhui Qi, Jian Xu 0001, Haiping Zhang, Yizhi Ren, Ning Zheng 0001 |
A similarity metric method of obfuscated malware using function-call graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Virol. Hacking Tech. ![In: J. Comput. Virol. Hacking Tech. 9(1), pp. 35-47, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Bixin Li, Qiandong Zhang, Xiaobing Sun 0001, Hareton Leung |
WAVE-CIA: a novel CIA approach based on call graph mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, Coimbra, Portugal, March 18-22, 2013, pp. 1000-1005, 2013, ACM, 978-1-4503-1656-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Anis Yousefi, Alan Wassyng |
A Call Graph Mining and Matching Based Defect Localization Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST Workshops ![In: Sixth IEEE International Conference on Software Testing, Verification and Validation, ICST 2013 Workshops Proceedings, Luxembourg, Luxembourg, March 18-22, 2013, pp. 86-95, 2013, IEEE Computer Society, 978-1-4799-1324-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Ziyi Su, Frédérique Biennier |
Service Call Graph (SCG) - Information Flow Analysis in Web Service Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS (2) ![In: ICEIS 2013 - Proceedings of the 15th International Conference on Enterprise Information Systems, Volume 2, Angers, France, 4-7 July, 2013, pp. 17-24, 2013, SciTePress, 978-989-8565-60-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Ziyi Su, Frédérique Biennier |
Foundation for Fine-Grained Security and DRM Control Based on a Service Call Graph Context Identification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEIS ![In: Enterprise Information Systems - 15th International Conference, ICEIS 2013, Angers, France, July 4-7, 2013, Revised Selected Papers, pp. 226-241, 2013, Springer, 978-3-319-09491-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
13 | Bixin Li, Xiaobing Sun 0001, Hareton Leung |
Combining concept lattice with call graph for impact analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Eng. Softw. ![In: Adv. Eng. Softw. 53, pp. 1-13, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
13 | Rohit Jalan, Arun Kejariwal |
Trin-Trin: Who's Calling? A Pin-Based Dynamic Call Graph Extraction Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Parallel Program. ![In: Int. J. Parallel Program. 40(4), pp. 410-442, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
13 | Qiandong Zhang, Bixin Li, Xiaobing Sun 0001 |
Mining Call Graph for Change Impact Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), Hotel Sofitel, Redwood City, San Francisco Bay, USA July 1-3, 2012, pp. 7-12, 2012, Knowledge Systems Institute Graduate School, 1-891706-31-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
13 | Karim Ali 0001, Ondrej Lhoták |
Application-Only Call Graph Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2012 - Object-Oriented Programming - 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings, pp. 688-712, 2012, Springer, 978-3-642-31056-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
13 | Jan-Peter Krämer, Joachim Kurz, Thorsten Karrer, Jan O. Borchers |
Blaze: supporting two-phased call graph navigation in source code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: CHI Conference on Human Factors in Computing Systems, CHI '12, Extended Abstracts Volume, Austin, TX, USA, May 5-10, 2012, pp. 2195-2200, 2012, ACM, 978-1-4503-1016-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
13 | Teppei Kato, Shinpei Hayashi, Motoshi Saeki |
Cutting a Method Call Graph for Supporting Feature Location. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWESEP ![In: Fourth International Workshop on Empirical Software Engineering in Practice, IWESEP 2012, Osaka, Japan, October 26-27, 2012, pp. 55-57, 2012, IEEE Computer Society, 978-1-4673-4366-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
13 | Nan Jiang 0017, Yu Jin 0001, Ann Skudlark, Wen-Ling Hsu, Guy Jacobson, Siva Prakasam, Zhi-Li Zhang |
Isolating and analyzing fraud activities in a large cellular network via voice call graph analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiSys ![In: The 10th International Conference on Mobile Systems, Applications, and Services, MobiSys'12, Ambleside, United Kingdom - June 25 - 29, 2012, pp. 253-266, 2012, ACM, 978-1-4503-1301-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
13 | Krishna Janakiraman, Sara Motahari |
How Are You Related? Predicting the Type of a Social Relationship Using Call Graph Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SocialCom/PASSAT ![In: 2012 International Conference on Privacy, Security, Risk and Trust, PASSAT 2012, and 2012 International Confernece on Social Computing, SocialCom 2012, Amsterdam, Netherlands, September 3-5, 2012, pp. 111-116, 2012, IEEE Computer Society, 978-1-4673-5638-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
13 | Toshihiro Kamiya |
Conte∗t clones or re-thinking clone on a call graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSC ![In: Proceeding of the 6th International Workshop on Software Clones, IWSC 2012, Zurich, Switzerland, June 4, 2012, pp. 74-75, 2012, IEEE Computer Society, 978-1-4673-1794-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
13 | Joris Kinable, Orestis Kostakis |
Malware classification based on call graph clustering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Virol. ![In: J. Comput. Virol. 7(4), pp. 233-245, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
13 | Orestis Kostakis, Joris Kinable, Hamed Mahmoudi, Kimmo Mustonen |
Improved call graph comparison using simulated annealing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21 - 24, 2011, pp. 1516-1523, 2011, ACM, 978-1-4503-0113-8. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
13 | Junwhan Kim, V. S. Anil Kumar 0001, Achla Marathe, Guanhong Pei, Sudip Saha, Balaaji S. P. Subbiah |
Modeling cellular network traffic with mobile call graph constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Winter Simulation Conference 2011, WSC'11, Phoenix, AZ, USA, December 11-14, 2011, pp. 3170-3182, 2011, IEEE, 978-1-4577-2108-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
13 | Thorsten Karrer, Jan-Peter Krämer, Jonathan Diehl, Björn Hartmann, Jan O. Borchers |
Stacksplorer: call graph navigation helps increasing code maintenance efficiency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UIST ![In: Proceedings of the 24th Annual ACM Symposium on User Interface Software and Technology, Santa Barbara, CA, USA, October 16-19, 2011, pp. 217-224, 2011, ACM, 978-1-4503-0716-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
13 | Jason Sawin, Atanas Rountev |
Assumption Hierarchy for a CHA Call Graph Construction Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCAM ![In: 11th IEEE Working Conference on Source Code Analysis and Manipulation, SCAM 2011, Williamsburg, VA, USA, September 25-26, 2011, pp. 35-44, 2011, IEEE Computer Society, 978-1-4577-0932-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
13 | Qirun Zhang, Wujie Zheng, Michael R. Lyu |
Flow-Augmented Call Graph: A New Foundation for Taming API Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering - 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings, pp. 386-400, 2011, Springer, 978-3-642-19810-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
13 | Frank Eichinger |
Data-mining techniques for call-graph-based software-defect localisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2011 |
RDF |
|
13 | Joris Kinable, Orestis Kostakis |
Malware Classification based on Call Graph Clustering ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1008.4365, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
13 | Koon-Kiu Yan, Mark Gerstein |
Hierarchical analysis of regulatory networks and cross-disciplinary comparison with the Linux call graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GENSiPS ![In: 2010 IEEE International Workshop on Genomic Signal Processing and Statistics, GENSiPS 2010, Cold Spring Harbor, NY, USA, November 10-12, 2010, pp. 1, 2010, IEEE, 978-1-61284-792-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
13 | Bogumil Kaminski, Maciej Latek |
The Influence of Call Graph Topology on the Dynamics of Telecommunication Markets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES-AMSTA (1) ![In: Agent and Multi-Agent Systems: Technologies and Applications, 4th KES International Symposium, KES-AMSTA 2010, Gdynia, Poland, June 23-25, 2010, Proceedings. Part I, pp. 263-272, 2010, Springer, 978-3-642-13479-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
13 | Shanhu Shang, Ning Zheng 0001, Jian Xu 0001, Ming Xu 0001, Haiping Zhang |
Detecting malware variants via function-call graph similarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MALWARE ![In: 5th International Conference on Malicious and Unwanted Software, MALWARE 2010, Nancy, France, October 19-20, 2010, pp. 113-120, 2010, IEEE Computer Society, 978-1-4244-9355-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
13 | Dinh Doan Van Bien, David Lillis, Rem W. Collier |
Call Graph Profiling for Multi Agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LADS ![In: Languages, Methodologies, and Development Tools for Multi-Agent Systems, Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers, pp. 153-167, 2009, Springer, 978-3-642-13337-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
13 | Shin-Young Ahn, Sungwon Kang, Jongmoon Baik, Ho-Jin Choi |
A Weighted Call Graph Approach for Finding Relevant Components in Source Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNPD ![In: 10th ACIS International Conference on Software Engineering, Artificial Intelligences, Networking and Parallel/Distributed Computing, SNPD 2009, in conjunction with 3rd International Workshop on e-Activity, IWEA 2009, 1st International Workshop on Enterprise Architecture Challenges and Responses, WEACR 2009, Catholic University of Daegu, Daegu, Korea, 27-29 May 2009, pp. 539-544, 2009, IEEE Computer Society, 978-0-7695-3642-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Recovering Traceability, Requirement, Open Source, Feature, Software Understanding |
13 | Dinh Doan Van Bien, David Lillis, Rem W. Collier |
Call Graph Profiling for Multi Agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MALLOW ![In: Proceedings of the Second Multi-Agent Logics, Languages, and Organisations Federated Workshops, Turin, Italy, September 7-10, 2009, 2009, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
13 | Muthiah Annamalai, R. Leela Velusamy |
A Call-Graph Profiler for GNU Octave ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0810.3468, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
13 | Yui Terashima, Katsuhiko Gondow |
Static Call Graph Generator for C++ using Debugging Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 5-7 December 2007, Nagoya, Japan, pp. 127-134, 2007, IEEE Computer Society, 0-7695-3057-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Johannes Bohnet, Jürgen Döllner |
CGA Call Graph Analyzer - Locating and Understanding Functionality within the Gnu Compiler Collection's Million Lines of Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VISSOFT ![In: Proceedings of the 4th IEEE International Workshop on Visualizing Software for Understanding and Analysis, VISSOFT 2007, Banff, Alberta, Canada, June 25-26, 2007, pp. 161-162, 2007, IEEE Computer Society, 1-4244-0600-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
13 | Linda Badri, Mourad Badri, Daniel St-Yves |
Supporting Predictive Change Impact Analysis: A Control Call Graph Based Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 15-17 December 2005, Taipei, Taiwan, pp. 167-175, 2005, IEEE Computer Society, 0-7695-2465-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
13 | J. Michael Spivey |
Fast, accurate call graph profiling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 34(3), pp. 249-264, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Mikhail Dmitriev 0001 |
Profiling Java applications using code hotswapping and dynamic call graph revelation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOSP ![In: Proceedings of the Fourth International Workshop on Software and Performance, WOSP 2004, Redwood Shores, California, USA, January 14-16, 2004, pp. 139-150, 2004, ACM. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
13 | Che-Tai Lee, Zeng-Wei Hong, Jim-Min Lin |
Linux kernel customization for embedded systems by using call graph approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 2003 Asia and South Pacific Design Automation Conference, ASP-DAC '03, Kitakyushu, Japan, January 21-24, 2003, pp. 689-692, 2003, ACM, 0-7803-7660-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
13 | Luiz De Rose, Felix Wolf 0001 |
CATCH - A Call-Graph Based Automatic Tool for Capture of Hardware Performance Metrics for MPI and OpenMP Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2002, Parallel Processing, 8th International Euro-Par Conference Paderborn, Germany, August 27-30, 2002, Proceedings, pp. 167-176, 2002, Springer, 3-540-44049-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
13 | Gail C. Murphy, David Notkin, William G. Griswold, Erica S.-C. Lan |
An Empirical Study of Static Call Graph Extractors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 7(2), pp. 158-191, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
software system analysis, static analysis, empirical study, design space, call graphs |
13 | Jonathan M. D. Hill, Stephen A. Jarvis, Constantinos J. Siniolakis, Vasil P. Vasilev |
Portable and architecture independent parallel performance tuning using a call-graph profiling tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: Proceedings of the Sixth Euromicro Workshop on Parallel and Distributed Processing - PDP '98, University of Madrid, Madrid, Spain, January 21-23, 1998-, pp. 286-294, 1998, IEEE Computer Society, 0-8186-8332-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
13 | David Grove, Greg DeFouw, Jeffrey Dean, Craig Chambers |
Call Graph Construction in Object-Oriented Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 1997 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications, OOPSLA 1997, Atlanta, Georgia, October 5-9, 1997., pp. 108-124, 1997, ACM, 0-89791-908-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
13 | Mark W. Perlin |
Transforming Recursive Processes into Efficient Algorithms: Call-Graph Caching for Artificial Intelligence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Artif. Intell. Tools ![In: Int. J. Artif. Intell. Tools 1(2), pp. 137-174, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
13 | Mary W. Hall, Ken Kennedy |
Efficient Call Graph Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPLAS ![In: LOPLAS 1(3), pp. 227-242, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
13 | Mark W. Perlin |
Transforming Conjunctive Match into Rete: a Call-Graph Caching Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Eng. Knowl. Eng. ![In: Int. J. Softw. Eng. Knowl. Eng. 1(4), pp. 373-408, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
13 | Mark W. Perlin |
RETE and chart parsing from bottom-up call-graph caching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: Third International Conference on Tools for Artificial Intelligence, TAI '91, San Jose, CA, USA, November 10-13, 1991, pp. 458-467, 1991, IEEE Computer Society, 0-8186-2300-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
13 | Mark Perlin |
Call-Graph Caching: Transforming Programs into Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCAI ![In: Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, MI, USA, August 1989, pp. 122-128, 1989, Morgan Kaufmann, 1-55860-094-9. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
13 | Susan L. Graham, Peter B. Kessler, Marshall K. McKusick |
gprof: a Call Graph Execution Profiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGPLAN Symposium on Compiler Construction ![In: Proceedings of the SIGPLAN '82 Symposium on Compiler Construction, Boston, Massachusetts, USA, June 23-25, 1982, pp. 120-126, 1982, ACM, 0-89791-074-5. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
13 | Barbara G. Ryder |
Constructing the Call Graph of a Program. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 5(3), pp. 216-226, 1979. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
12 | Neil Walkinshaw, Marc Roper, Murray Wood |
Feature Location and Extraction using Landmarks and Barriers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 23rd IEEE International Conference on Software Maintenance (ICSM 2007), October 2-5, 2007, Paris, France, pp. 54-63, 2007, IEEE Computer Society, 978-1-4244-1256-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Johannes Bohnet, Jürgen Döllner |
Visual exploration of function call graphs for feature location in complex software systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFTVIS ![In: Proceedings of the ACM 2006 Symposium on Software Visualization, Brighton, UK, September 4-5, 2006, pp. 95-104, 2006, ACM, 1-59593-464-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
reverse engineering, program comprehension, dynamic analysis, software visualization, feature location, feature analysis |
12 | Dinakar Dhurjati, Sumant Kowshik, Vikram S. Adve |
SAFECode: enforcing alias analysis for weakly typed languages. ![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. 144-157, 2006, ACM, 1-59593-320-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
automatic pool allocation, compilers, programming languages, alias analysis, region management |
11 | Seokwoo Choi, Heewan Park, Hyun-il Lim, Taisook Han |
A Static Birthmark of Binary Executables Based on API Call Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Advances in Computer Science - ASIAN 2007. Computer and Network Security, 12th Asian Computing Science Conference, Doha, Qatar, December 9-11, 2007, Proceedings, pp. 2-16, 2007, Springer, 978-3-540-76927-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
software piracy, binary analysis, software birthmark |
11 | Diptikalyan Saha, C. R. Ramakrishnan 0001 |
Incremental Evaluation of Tabled Prolog: Beyond Pure Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings, pp. 215-229, 2006, Springer, 3-540-30947-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Christopher Barton, José Nelson Amaral, Bob Blainey |
Should potential loop optimizations influence inlining decisions? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 2003 conference of the Centre for Advanced Studies on Collaborative Research, October 6-9, 2003, Toronto, Ontario, Canada, pp. 30-38, 2003, IBM. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
11 | Saumya K. Debray, Todd A. Proebsting |
Interprocedural Control Flow Analysis of First-Order Programs with Tail-Call Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 19(4), pp. 568-585, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
control-flow analysis |
11 | Olivier Danvy, Ulrik Pagh Schultz |
Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), Amsterdam, The Netherlands, June 12-13, 1997, pp. 90-106, 1997, ACM, 0-89791-917-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
11 | Thomas P. Murtagh |
A Less Dynamic Memory Allocation Scheme for Algol-like Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, Salt Lake City, Utah, USA, January 1984, pp. 283-289, 1984, ACM Press, 0-89791-125-3. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
ALGOL |
11 | Nan Du, Bin Wu 0001, Liutong Xu, Bai Wang 0001, Xin Pei |
A Parallel Algorithm for Enumerating All Maximal Cliques in Complex Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDM Workshops ![In: Workshops Proceedings of the 6th IEEE International Conference on Data Mining (ICDM 2006), 18-22 December 2006, Hong Kong, China, pp. 320-324, 2006, IEEE Computer Society, 0-7695-2702-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Keith B. Gallagher |
Some Notes on Interprocedural Program Slicing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCAM ![In: 4th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2004), 15-16 September 2004, Chicago, IL, USA, pp. 36-42, 2004, IEEE Computer Society, 0-7695-2144-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | César Sánchez 0001, Henny B. Sipma, Zohar Manna, Venkita Subramonian, Christopher D. Gill |
On efficient distributed deadlock avoidance for real-time and embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece, 2006, IEEE. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Katsuhiko Gondow, Tomoya Suzuki II, Hayato Kawashima |
Binary-Level Lightweight Data Integration to Develop Program Understanding Tools for Embedded Software in C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 11th Asia-Pacific Software Engineering Conference (APSEC 2004), 30 November - 3 December 2004, Busan, Korea, pp. 336-345, 2004, IEEE Computer Society, 0-7695-2245-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Sara Porat, Bilha Mendelson, Irina Shapira |
Sharpening global static analysis to cope with Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative Research, November 30 - December 3, 1998, Toronto, Ontario, Canada, pp. 19, 1998, IBM. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
Java |
10 | 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 |
|
9 | Marco T. Morazán, Ulrik Pagh Schultz |
Optimal Lambda Lifting in Quadratic Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation and Application of Functional Languages, 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers, pp. 37-56, 2007, Springer, 978-3-540-85372-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
8 | Ward Douglas Maurer |
Using mathematics to improve ada compiled code, part 2: the proof. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGAda ![In: Proceedings of the 2007 Annual ACM SIGAda International Conference on Ada, Fairfax, Virginia, USA, November 4-8, 2007, pp. 11-26, 2007, ACM, 978-1-59593-876-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
ada compilers, base registers, code improvement, display method, loop trees, nested procedures |
8 | Chris Lattner, Andrew Lenharth, Vikram S. Adve |
Making context-sensitive points-to analysis with heap cloning practical for the real world. ![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. 278-289, 2007, ACM, 978-1-59593-633-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
field-sensitive, static analysis, pointer analysis, context-sensitive, recursive data structure, interprocedural |
8 | Jiwei Li, Xianghua Zhang, Chun Yuan, Zhaohui Jiang, Huanqing Feng |
Motif Extraction with Indicative Events for System Call Sequence Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (3) ![In: Fourth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2007, 24-27 August 2007, Haikou, Hainan, China, Proceedings, Volume 3, pp. 611-616, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
8 | Byeong-Mo Chang |
Static check analysis for Java stack inspection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 41(3), pp. 40-48, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
security, Java, Java, static analysis, stack inspection |
8 | Kristof Beyls, Erik H. D'Hollander |
Intermediately executed code is the key to find refactorings that improve temporal data locality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Conf. Computing Frontiers ![In: Proceedings of the Third Conference on Computing Frontiers, 2006, Ischia, Italy, May 3-5, 2006, pp. 373-382, 2006, ACM, 1-59593-302-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
performance debugger, temporal data locality, program analysis, refactoring, program optimizations, loop transformations |
8 | Ana L. Milanova, Atanas Rountev, Barbara G. Ryder |
Parameterized object sensitivity for points-to analysis for Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 14(1), pp. 1-41, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
def-use analysis, side-effect analysis, Static analysis, context sensitivity, points-to analysis, class analysis |
8 | James Law, Gregg Rothermel |
Whole Program Path-Based Dynamic Impact Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 25th International Conference on Software Engineering, May 3-10, 2003, Portland, Oregon, USA, pp. 308-318, 2003, IEEE Computer Society, 0-7695-1877-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
8 | Philip C. Roth, Barton P. Miller |
Deep Start: A Hybrid Strategy for Automated Performance Problem Searches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par 2002, Parallel Processing, 8th International Euro-Par Conference Paderborn, Germany, August 27-30, 2002, Proceedings, pp. 86-96, 2002, Springer, 3-540-44049-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
8 | Ana L. Milanova, Atanas Rountev, Barbara G. Ryder |
Parameterized object sensitivity for points-to and side-effect analyses for Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the International Symposium on Software Testing and Analysis, ISSTA 2002, Roma, Italy, July 22-24, 2002, pp. 1-11, 2002, ACM, 1-58113-562-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
8 | Tim A. Wagner, Vance Maverick, Susan L. Graham, Michael A. Harrison |
Accurate Static Estimators for Program Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'94 Conference on Programming Language Design and Implementation (PLDI), Orlando, Florida, USA, June 20-24, 1994, pp. 85-96, 1994, ACM, 0-89791-662-X. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
C |
7 | Bin Wu 0001, Qi Ye, Yi Wang 0010, Ran Bi, Lijun Suo, Deyong Hu, Shengqi Yang |
Visual Analysis of Complex Networks and Community Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex (2) ![In: Complex Sciences, First International Conference, Complex 2009, Shanghai, China, February 23-25, 2009. Revised Papers, Part 2, pp. 2171-2183, 2009, Springer, 978-3-642-02468-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Complex Network, Visual Analytics, Community Structure |
7 | Peter Bertels, Wim Heirman, Dirk Stroobandt |
Efficient measurement of data flow enabling communication-aware parallelisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFMT ![In: Proceedings of the 1st international forum on Next-generation multicore/manycore technologies, IFMT 2008, Cairo, Egypt, November 24-25, 2008, pp. 6, 2008, ACM, 978-1-60558-407-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
profiling, data-flow |
7 | Apostolos Syropoulos |
Pi machines: virtual machines realizing graph structured transition P systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 42(12), pp. 15-22, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
graph structured P systems, distributed computing, virtual machines |
7 | Paolo D'Alberto, Alexandru Nicolau |
JuliusC: A Practical Approach for the Analysis of Divide-and-Conquer Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCPC ![In: Languages and Compilers for High Performance Computing, 17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers, pp. 117-131, 2004, Springer, 3-540-28009-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
7 | Wei Zhang 0002, Guangyu Chen, Mahmut T. Kandemir, Mustafa Karaköy |
Interprocedural optimizations for improving data cache performance of array-intensive embedded applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 40th Design Automation Conference, DAC 2003, Anaheim, CA, USA, June 2-6, 2003, pp. 887-892, 2003, ACM, 1-58113-688-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
embedded system, cache, locality |
7 | Giuliano Antoniol, Gerardo Casazza, Ettore Merlo |
Identification of Lower-Level Artifacts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWPC ![In: 8th International Workshop on Program Comprehension (IWPC 2000), 10-11 June 2000, Limerick, Ireland, pp. 253, 2000, IEEE Computer Society, 0-7695-0656-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
7 | Warwick Allison, David A. Carrington, Tim Jones, Larry Stewart-Zerba, Jim Welsh |
Visualising Software Documents in a Generic Development Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Software Engineering Conference ![In: 1997 Australian Software Engineering Conference (ASWEC '97), 28 September - 2 October 1997, Sydney, Australia, pp. 49-59, 1997, IEEE Computer Society, 0-8186-8081-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
7 | Amit M. Paradkar |
Inter-class testing of O-O software in the presence of polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 1996 conference of the Centre for Advanced Studies on Collaborative Research, November 12-14, 1996, Toronto, Ontario, Canada, pp. 30, 1996, IBM. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
7 | David W. Wall |
Global register allocation at link time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGPLAN Symposium on Compiler Construction ![In: Proceedings of the 1986 SIGPLAN Symposium on Compiler Construction, Palo Alto, California, USA, June 25-27, 1986, pp. 264-275, 1986, ACM, 0-89791-197-0. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
7 | David W. Wall |
Global register allocation at link time (with retrospective) ![Search on Bibsonomy](Pics/bibsonomy.png) |
Best of PLDI ![In: 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, A Selection, pp. 192-204, 1986, ACM, 1-58113-623-4. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
7 | William E. Weihl |
Interprocedural Data Flow Analysis in the Presence of Pointers, Procedure Variables and Label Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Seventh Annual ACM Symposium on Principles of Programming Languages, Las Vegas, Nevada, USA, January 1980, pp. 83-94, 1980, ACM Press, 0-89791-011-7. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
5 | Jungwoo Ha, Stephen P. Crago |
Opportunities for concurrent dynamic analysis with explicit inter-core communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASTE ![In: Proceedings of the 9th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE'10, Toronto, Ontario, Canada, June 5-6, 2010, pp. 17-20, 2010, ACM, 978-1-4503-0082-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
inter-core communication, concurrency, dynamic analysis, instrumentation |
5 | Xin Li 0010, Mizuhito Ogawa |
Conditional weighted pushdown systems and applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010, Madrid, Spain, January 18-19, 2010, pp. 141-150, 2010, ACM, 978-1-60558-727-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
weighted pushdown systems, model checking |
5 | Michael D. Bond, Graham Z. Baker, Samuel Z. Guyer |
Breadcrumbs: efficient context sensitivity for dynamic bug detection analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, June 5-10, 2010, pp. 13-24, 2010, ACM, 978-1-4503-0019-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
dynamic analysis, context sensitivity, bug detection |
5 | Sukanya Ratanotayanon, Susan Elliott Sim |
Creating task-based concern maps by merging concern fragments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPC ![In: The 17th IEEE International Conference on Program Comprehension, ICPC 2009, Vancouver, British Columbia, Canada, May 17-19, 2009, pp. 299-300, 2009, IEEE Computer Society, 978-1-4244-3998-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
5 | Xiaoqin Du, Qinghua Li, Jianjun Han |
An Analysis and Hierarchical Decomposition for HAMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSE (2) ![In: Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, CSE 2009, Vancouver, BC, Canada, August 29-31, 2009, pp. 1050-1054, 2009, IEEE Computer Society, 978-1-4244-5334-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
5 | Jean Utke, Uwe Naumann, Michael W. Fagan, Nathan R. Tallent, Michelle Mills Strout, Patrick Heimbach, Chris Hill, Carl Wunsch |
OpenAD/F: A Modular Open-Source Tool for Automatic Differentiation of Fortran Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 34(4), pp. 18:1-18:36, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
adjoint compiler, Automatic differentiation, source transformation |
5 | Ondrej Lhoták, Laurie J. Hendren |
Relations as an abstraction for BDD-based program analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 30(4), pp. 19:1-19:63, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Boolean formula satisfiability, physical domain assignment, Java, program analysis, Binary decision diagrams, language design, relations, points-to analysis |
Displaying result #201 - #300 of 364 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ >>] |
|