Program Analysis for Software Tools and Engineering - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 143

2013

ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE '13, Seattle, WA, USA, June 20, 2013Stephen N. Freund, Corina S. Pasareanu, editors, ACM, 2013. [doi]

2011

Anywhere, any-time binary instrumentationAndrew R. Bernat, Barton P. Miller. PASTE 2011: 9-16 [doi]

Proceedings of the 10th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools, PASTE'11, Szeged, Hungary, September 5-9, 2011Jeff Foster, Lori L. Pollock, editors, ACM, 2011. [doi]

An evaluation of change-based coverage criteriaMarc Fisher II, Jan Wloka, Frank Tip, Barbara G. Ryder, Alexander Luchansky. PASTE 2011: 21-28 [doi]

Labeling library functions in stripped binariesEmily R. Jacobson, Nathan E. Rosenblum, Barton P. Miller. PASTE 2011: 1-8 [doi]

Assessing modularity via usage changesYana Momchilova Mileva, Andreas Zeller. PASTE 2011: 37-40 [doi]

Locating failure-inducing environment changesDawei Qi, Minh Ngoc Ngo, Tao Sun, Abhik Roychoudhury. PASTE 2011: 29-36 [doi]

Towards systematic, comprehensive trace generation for behavioral pattern detection through symbolic executionMarkus von Detten. PASTE 2011: 17-20 [doi]

2010

Null dereference analysis in practiceNathaniel Ayewah, William Pugh. PASTE 2010: 65-72 [doi]

Interprocedural induction variable analysis based on interprocedural SSA form IRSilvian Calman, Jianwen Zhu. PASTE 2010: 37-44 [doi]

Learning universal probabilistic models for fault localizationMin Feng, Rajiv Gupta. PASTE 2010: 81-88 [doi]

The RoadRunner dynamic analysis framework for concurrent programsCormac Flanagan, Stephen N. Freund. PASTE 2010: 1-8 [doi]

Opportunities for concurrent dynamic analysis with explicit inter-core communicationJungwoo Ha, Stephen P. Crago. PASTE 2010: 17-20 [doi]

Coherent dependence clustersSyed S. Islam, Jens Krinke, David Binkley, Mark Harman. PASTE 2010: 53-60 [doi]

Proceedings of the 9th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE 10, Toronto, Ontario, Canada, June 5-6, 2010Sorin Lerner, Atanas Rountev, editors, ACM, 2010.

Packrat parsers can handle practical grammars in mostly constant spaceKota Mizushima, Atusi Maeda, Yoshinori Yamaguchi. PASTE 2010: 29-36 [doi]

Property-aware program samplingHarish Narayanappa, Mukul S. Bansal, Hridesh Rajan. PASTE 2010: 45-52 [doi]

Visualizing threads, transactions and tasksSteven P. Reiss, Suman Karumuri. PASTE 2010: 9-16 [doi]

Extracting compiler provenance from program binariesNathan E. Rosenblum, Barton P. Miller, Xiaojin Zhu. PASTE 2010: 21-28 [doi]

Expect the unexpected: error code mismatches between documentation and the real worldCindy Rubio-González, Ben Liblit. PASTE 2010: 73-80 [doi]

Towards a unified fault-detection benchmarkSuzanna Schmeelk. PASTE 2010: 61-64 [doi]

2008

A field study in static extraction of runtime architecturesMarwan Abi-Antoun, Jonathan Aldrich. PASTE 2008: 22-28 [doi]

Java memory model aware software validationArnab De, Abhik Roychoudhury, Deepak D Souza. PASTE 2008: 8-14 [doi]

A non-null annotation inferencer for Java bytecodeLaurent Hubert. PASTE 2008: 36-42 [doi]

Towards a more efficient static software change impact analysis methodMohammad-Amin Jashki, Reza Zafarani, Ebrahim Bagheri. PASTE 2008: 84-90 [doi]

Path projection for user-centered static analysis toolsYit Phang Khoo, Jeffrey S. Foster, Michael Hicks, Vibha Sazawal. PASTE 2008: 57-63 [doi]

Proceedings of the 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE 08, Atlanta, Georgia, November 9-10, 2008Shriram Krishnamurthi, Michal Young, editors, ACM, 2008.

Static analysis for inference of explicit information flowYin Liu, Ana Milanova. PASTE 2008: 50-56 [doi]

Specification mining of symbolic scenario-based modelsDavid Lo, Shahar Maoz. PASTE 2008: 29-35 [doi]

Sharing analysis of arrays, collections, and recursive structuresMark Marron, Mario Méndez-Lojo, Manuel V. Hermenegildo, Darko Stefanovic, Deepak Kapur. PASTE 2008: 43-49 [doi]

Elyze: enabling safe parallelism in event-driven serversKiran Pamnany, John Jannotti. PASTE 2008: 15-21 [doi]

XFindBugs: eXtended FindBugs for AspectJHaihao Shen, Sai Zhang, Jianjun Zhao, Jianhong Fang, Shiyuan Yao. PASTE 2008: 70-76 [doi]

Addressing common crosscutting problems with ArcumMacneil Shonle, William G. Griswold, Sorin Lerner. PASTE 2008: 64-69 [doi]

Program analysis for compiler validationAnna Zaks, Amir Pnueli. PASTE 2008: 1-7 [doi]

Effective identification of failure-inducing changes: a hybrid approachSai Zhang, Yu Lin, Zhongxian Gu, Jianjun Zhao. PASTE 2008: 77-83 [doi]

2007

An overview of the saturn projectAlex Aiken, Suhabe Bugrara, Isil Dillig, Thomas Dillig, Brian Hackett, Peter Hawkins. PASTE 2007: 43-48 [doi]

Evaluating static analysis defect warnings on production softwareNathaniel Ayewah, William Pugh, J. David Morgenthaler, John Penix, YuQian Zhou. PASTE 2007: 1-8 [doi]

AWE: improving software analysis through modular integration of static and dynamic analysesRuben E. Brown. PASTE 2007: 69-74 [doi]

Enforcing and validating user-defined programming disciplinesBrian Chin, Daniel Marino, Shane Markstrum, Todd D. Millstein. PASTE 2007: 85-86 [doi]

Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE 07, San Diego, California, USA, June 13-14, 2007Manuvir Das, Dan Grossman, editors, ACM, 2007.

Improving software quality with static analysisJeffrey S. Foster, Michael W. Hicks, William Pugh. PASTE 2007: 83-84 [doi]

Finding more null pointer bugs, but not too manyDavid Hovemeyer, William Pugh. PASTE 2007: 9-14 [doi]

Refining buffer overflow detection via demand-driven path-sensitive analysisWei Le, Mary Lou Soffa. PASTE 2007: 63-68 [doi]

Comparing call graphsOndřej Lhoták. PASTE 2007: 37-42 [doi]

Heap analysis in the presence of collection librariesMark Marron, Darko Stefanovic, Manuel V. Hermenegildo, Deepak Kapur. PASTE 2007: 31-36 [doi]

Light context-sensitive points-to analysis for javaAna Milanova. PASTE 2007: 25-30 [doi]

Introducing natural language program analysisLori L. Pollock, K. Vijay-Shanker, David Shepherd, Emily Hill, Zachary P. Fry, Kishen Maloor. PASTE 2007: 15-16 [doi]

Interstatement must aliases for data dependence analysis of heap locationsJu Qian, Baowen Xu, Hongbo Min. PASTE 2007: 17-24 [doi]

Case study: supplementing program analysis with natural language analysis to improve a reverse engineering taskDavid Shepherd, Lori L. Pollock, K. Vijay-Shanker. PASTE 2007: 49-54 [doi]

Dynamic purity analysis for java programsHaiying Xu, Christopher J. F. Pickett, Clark Verbrugge. PASTE 2007: 75-82 [doi]

Discovering accurate interclass test dependencesWeilei Zhang, Barbara G. Ryder. PASTE 2007: 55-62 [doi]

2005

Weakest-precondition of unstructured programsMichael Barnett, K. Rustan M. Leino. PASTE 2005: 82-87 [doi]

An empirical framework for comparing effectiveness of testing and property-based formal analysisJeremy S. Bradbury, James R. Cordy, Jürgen Dingel. PASTE 2005: 2-5 [doi]

String analysis for x86 binariesMihai Christodorescu, Nicholas Kidd, Wen-Han Goh. PASTE 2005: 88-95 [doi]

MonDe: safe updating through monitored deployment of new component versionsJonathan Cook, Alessandro Orso. PASTE 2005: 43-46 [doi]

PASTE at MicrosoftManuvir Das. PASTE 2005: 1 [doi]

Proceedings of the 2005 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE 05, Lisbon, Portugal, September 5-6, 2005Michael D. Ernst, Thomas P. Jensen, editors, ACM, 2005.

Invariants and state in testing and formal methodsDick Hamlet. PASTE 2005: 48-51 [doi]

Symbolic path simulation in path-sensitive dataflow analysisHari Hampapuram, Yue Yang, Manuvir Das. PASTE 2005: 52-58 [doi]

Evaluating and tuning a static analysis to find null pointer bugsDavid Hovemeyer, Jaime Spacco, William Pugh. PASTE 2005: 13-19 [doi]

Generalizing symbolic execution to library classesSarfraz Khurshid, Yuk Lai Suen. PASTE 2005: 103-110 [doi]

Low overhead program monitoring and profilingNaveen Kumar, Bruce R. Childers, Mary Lou Soffa. PASTE 2005: 28-34 [doi]

Evaluating the impact of context-sensitivity on Andersen s algorithm for Java programsDonglin Liang, Maikel Pennings, Mary Jean Harrold. PASTE 2005: 6-12 [doi]

Making distributed systems secure with program analysis and transformationAndrew C. Myers. PASTE 2005: 47 [doi]

Automatically generating refactorings to support API evolutionJeff H. Perkins. PASTE 2005: 111-114 [doi]

SableSpMT: a software framework for analysing speculative multithreading in JavaChristopher J. F. Pickett, Clark Verbrugge. PASTE 2005: 59-66 [doi]

Link-time static analysis for efficient separate compilation of object-oriented languagesJean Privat, Roland Ducournau. PASTE 2005: 20-27 [doi]

LANCET: a nifty code editing toolLudo Van Put, Bjorn De Sutter, Matias Madou, Bruno De Bus, Dominique Chanet, Kristof Smits, Koen De Bosschere. PASTE 2005: 75-81 [doi]

Static control-flow analysis for reverse engineering of UML sequence diagramsAtanas Rountev, Olga Volgin, Miriam Reddoch. PASTE 2005: 96-102 [doi]

Representation-independent program analysisMichelle Mills Strout, John M. Mellor-Crummey, Paul D. Hovland. PASTE 2005: 67-74 [doi]

A concept analysis inspired greedy algorithm for test suite minimizationSriraman Tallam, Neelam Gupta. PASTE 2005: 35-42 [doi]

2004

The design and implementation of FIT: a flexible instrumentation toolkitBruno De Bus, Dominique Chanet, Bjorn De Sutter, Ludo Van Put, Koen De Bosschere. PASTE 2004: 29-34 [doi]

Invited Talk Static and dynamic analysis: synergy and dualityMichael D. Ernst. PASTE 2004: 35 [doi]

Resolving and applying constraint queries on context-sensitive analysesJames Ezick. PASTE 2004: 2-7 [doi]

Proceedings of the 2004 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE 04, Washington, DC, USA, June 7-8, 2004Cormac Flanagan, Andreas Zeller, editors, ACM, 2004.

Invited Talk: Model checking software with VeriSoftPatrice Godefroid. PASTE 2004: 36 [doi]

An improved slicer for JavaChristian Hammer, Gregor Snelting. PASTE 2004: 17-22 [doi]

Invited Talk: JML framed!Gary T. Leavens. PASTE 2004: 1 [doi]

Validation of assembler programs for DSPs: a static analyzerMatthieu Martel. PASTE 2004: 8-13 [doi]

Importance of heap specialization in pointer analysisErik M. Nystrom, Hong-seok Kim, Wen-mei W. Hwu. PASTE 2004: 43-48 [doi]

Efficient field-sensitive pointer analysis for CDavid J. Pearce, Paul H. J. Kelly, Chris Hankin. PASTE 2004: 37-42 [doi]

Elided conditionalsManos Renieris, Sébastien Chan-Tin, Steven P. Reiss. PASTE 2004: 52-57 [doi]

Evaluating the imprecision of static analysisAtanas Rountev, Scott Kagan, Michael Gibas. PASTE 2004: 14-16 [doi]

Mock object creation for test factoringDavid Saff, Michael D. Ernst. PASTE 2004: 49-51 [doi]

Dynamically inferring temporal propertiesJinlin Yang, David Evans. PASTE 2004: 23-28 [doi]

2002

Instruction-level reverse execution for debuggingTankut Akgul, Vincent John Mooney. PASTE 2002: 18-25 [doi]

Selective path profilingTaweesup Apiwattanapong, Mary Jean Harrold. PASTE 2002: 35-42 [doi]

Monitoring deployed software using software tomographyJames F. Bowring, Alessandro Orso, Mary Jean Harrold. PASTE 2002: 2-9 [doi]

STEP: a framework for the efficient encoding of general trace dataRhodes Brown, Karel Driesen, David Eng, Laurie J. Hendren, John Jorgensen, Clark Verbrugge, Qin Wang. PASTE 2002: 27-34 [doi]

How to write system-specific, static checkers in metalBenjamin Chelf, Dawson R. Engler, Seth Hallem. PASTE 2002: 51-60 [doi]

Proceedings of the 2002 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE 02, Charleston, South Carolina, USA, November 18-19, 2002Matthew B. Dwyer, Jens Palsberg, editors, ACM, 2002.

Combining static and dynamic data in code visualizationDavid Eng. PASTE 2002: 43-50 [doi]

Flow equations as a generic programming tool for manipulation of attributed graphsJohn Howard Eli Fiskio-Lasseter, Michal Young. PASTE 2002: 69-76 [doi]

Analysis issues for cycloneJ. Gregory Morrisett. PASTE 2002: 26 [doi]

Using the observer design pattern for implementation of data flow analysesGleb Naumovich. PASTE 2002: 61-68 [doi]

Longitudinal program analysisDavid Notkin. PASTE 2002: 1 [doi]

The code of many colors: relating threads to code and shared stateDean F. Sutherland, Aaron Greenhouse, William L. Scherlis. PASTE 2002: 77-83 [doi]

Recompilation for debugging support in a JIT-compilerMustafa M. Tikir, Jeffrey K. Hollingsworth, Guei-Yuan Lueh. PASTE 2002: 10-17 [doi]

2001

Proceedings of the 2001 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE 01, Snowbird, Utah, USA, June 18-19, 2001ACM, 2001.

Detecting race conditions in large programsCormac Flanagan, Stephen N. Freund. PASTE 2001: 90-96 [doi]

Links

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1

Program Analysis for Software Tools and Engineering (PASTE)

Viewing Publication 1 - 100 from 143

2013

2011

2010

2008

2007

2005

2004

2002

2001

Links

Filter by YearOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top terms [+]OR AND NOT 1

Program Analysis for Software Tools and Engineering (PASTE)

Viewing Publication 1 - 100 from 143

2013

2011

2010

2008

2007

2005

2004

2002

2001

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1