program analysis - researchr tag

researchr

You are not signed in
Sign in
Sign up

2012

SAFECOMP, Proceedings2012.

Synthesising graphics card programs from DSLsLuke Cartey, Rune Lyngso, Oege de Moor. In Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation. 2012: 121-132 [doi]

Run your research: on the effectiveness of lightweight mechanizationCasey Klein, John Clements, Christos Dimoulas, Carl Eastlund, Matthias Felleisen, Matthew Flatt, Jay A. McCarthy, Jon Rafkind, Sam Tobin-Hochstadt, Robby Findler. In Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012. 2012: 285-296 [doi]

A pure embedding of attribute grammarsAnthony M. Sloane, Lennart C. L. Kats, Eelco Visser. SCP, , 2012. [doi]

BNF WAS HERE: What Have We Done About the Unnecessary Diversity of Notation for Syntactic DefinitionsVadim Zaytsev. In Programming Languages Track, Volume II of the Proceedings of the 27th ACM Symposium on Applied Computing (SAC 2012). 2012: 1910-1915 [doi]

2011

Practical change impact analysis based on static program slicing for industrial software systemsMithun Acharya, Brian Robinson. ICSE 2011: 746-755 [doi]

Global convergence of independent component analysis based on semidefinite programming relaxationShotaro Akaho, Jun Fujiki. icassp 2011: 4264-4267 [doi]

Supplier selection and order allocation based on fuzzy SWOT analysis and fuzzy linear programmingSaman Hassanzadeh Amin, Jafar Razmi, Guoqing Zhang. eswa, 38(1):334-342, 2011. [doi]

Self-refining aspects for dynamic program analysisDanilo Ansaloni. AOSD 2011: 75-76 [doi]

A combined linear programming-maximum likelihood approach to radial velocity data analysis for extrasolar planet detectionPrabhu Babu, Petre Stoica. icassp 2011: 4352-4355 [doi]

Mutational analysis in RNAs: comparing programs for RNA deleterious mutation predictionDanny Barash, Alexander Churkin. bib, 12(2):104-114, 2011. [doi]

Optimizing the Distributed Evaluation of Stratified Programs via Structural AnalysisRosamaria Barilaro, Francesco Ricca, Giorgio Terracina. lpnmr 2011: 217-222 [doi]

Ambiguity Detection for Programming Language GrammarsBas Basten. PhD thesis, Universiteit van Amsterdam, December 2011.

A virtual reality system for the treatment of stress-related disorders: A preliminary analysis of efficacy compared to a standard cognitive behavioral programRosa María Baños, V. Guillen, Soledad Quero, Azucena Garcia-Palacios, Mariano Alcañiz Raya, Cristina Botella. ijmms, 69(9):602-613, 2011. [doi]

Mathematical Analysis of an HIV/AIDS Model: Impact of Educational Programs and Abstinence in Sub-Saharan AfricaClaver Pedzisai Bhunu, Steady Mushayabasa, Hristo V. Kojouharov, Steady M. Tchuenche. jmma, 10(1):31-55, 2011. [doi]

A Return on Investment as a Metric for Evaluating Information Systems: Taxonomy and ApplicationAlexei Botchkarev, P. Andru. Interdisciplinary Journal of Information, Knowledge, and Management, 6:245-269, 2011.

On inter-procedural analysis of programs with lists and dataAhmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu. PLDI 2011: 578-589 [doi]

FIRM—A Graph-Based Intermediate RepresentationMatthias Braun, Sebastian Buchwald, Andreas Zwinkau. WIR 2011: 61-68

Runtime Analysis of Probabilistic Programs with Unbounded RecursionTomás Brázdil, Stefan Kiefer, Antonín Kucera, Ivana Hutarová Vareková. icalp 2011: 319-331 [doi]

Efficient Analysis of Probabilistic Programs with an Unbounded CounterTomás Brázdil, Stefan Kiefer, Antonín Kucera. cav 2011: 208-224 [doi]

An approach to interval programming problems with left-hand-side stochastic coefficients: An application to environmental decisions analysisM. F. Cao, G. H. Huang, L. He. eswa, 38(9):11538-11546, 2011. [doi]

Analysis of National Strategies to Counter a Country s Nuclear Weapons ProgramDavid J. Caswell, Ronald A. Howard, M. Elisabeth Paté-Cornell. da, 8(1):30-45, 2011. [doi]

The SANTE Tool: Value Analysis, Program Slicing and Test Generation for C Program DebuggingOmar Chebaro, Nikolai Kosmatov, Alain Giorgetti, Jacques Julliand. tap 2011: 78-83 [doi]

Static analysis of multi-staged programs via unstaging translationWontae Choi, Baris Aktemur, Kwangkeun Yi, Makoto Tatsuta. POPL 2011: 81-92 [doi]

Data and Process Abstraction in PIPS Internal RepresentationFabien Coelho, Pierre Jouvelot, Corinne Ancourt, François Irigoin. WIR 2011: 77-84

A Generic Tool for Tracing Executions Back to a DSML's Operational SemanticsBenoit Combemale, Laure Gonnord, Vlad Rusu. In Seventh European Conference on Modelling Foundations and Applications. 2011:

Temporal Property Verification as a Program Analysis TaskByron Cook, Eric Koskinen, Moshe Y. Vardi. cav 2011: 333-348 [doi]

A Preliminary Analysis and Simulation of Load Balancing Techniques Applied to Parallel Genetic ProgrammingFrancisco Fernández de Vega, J. G. Abengózar Sánchez, Carlos Cotta. iwann 2011: 308-315 [doi]

Dataflow Analysis for Datarace-Free ProgramsArnab De, Deepak D Souza, Rupesh Nasre. ESOP 2011: 196-215 [doi]

Smoothed analysis of condition numbers and complexity implications for linear programmingJohn Dunagan, Daniel A. Spielman, Shang-Hua Teng. mp, 126(2):315-350, 2011. [doi]

Computational complexity analysis of simple genetic programming on two problems modeling isolated program semanticsGreg Durrett, Frank Neumann, Una-May O Reilly. foga 2011: 69-80 [doi]

Sensitivity analysis in fuzzy number linear programming problemsAli Ebrahimnejad. mcm, 53(9-10):1878-1888, 2011. [doi]

Flow Sensitive-Insensitive Pointer Analysis Based Memory Safety for Multithreaded ProgramsMohamed A. El-Zawawy. iccsa 2011: 355-369 [doi]

Termination Analysis of C Programs Using Compiler Intermediate LanguagesStephan Falke, Deepak Kapur, Carsten Sinz. RTA 2011: 41-50 [doi]

Static analysis of synchronous programs in signal for efficient design of multi-clocked embedded systemsAbdoulaye Gamatié, Laure Gonnord. lctrts 2011: 71-80 [doi]

Static Average Case Analysis Fork-Join Framework Programs Based on MOQA MethodAng Gao, Kenneth Rea, Michel P. Schellekens. parelec 2011: 1-6 [doi]

Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process CreationThomas Martin Gawlitza, Peter Lammich, Markus Müller-Olm, Helmut Seidl, Alexander Wenner. vmcai 2011: 199-213 [doi]

Local Perturbation Analysis of Linear Programming with Functional Relation Among ParametersPayam Hanafizadeh, Abolfazl Ghaemi, Madjid Tavana. ijoris, 2(1):42-65, 2011. [doi]

Bivariate interval semi-infinite programming with an application to environmental decision-making analysisLi He, Guo H. Huang, Hong-Wei Lu. eor, 211(3):452-465, 2011. [doi]

Mathematical analysis of stage-based programmable logic controllerAnping He, William N. N. Hung, Guowu Yang, Jinzhao Wu, Lian Li. cma, 61(7):1769-1785, 2011. [doi]

RLSRunner: Linking Rascal with K for Program AnalysisHills, Mark, Klint, P. , Jurgen J. Vinju. In Proceedings of the Fourth International Conference on Software Language Engineering (SLE 2011). 2011:

Abstracting abstract machines: a systematic approach to higher-order program analysisDavid Van Horn, Matthew Might. CACM, 54(9):101-109, 2011. [doi]

Capturing expert knowledge of mesh refinement in numerical methods of impact analysis by means of genetic programmingDaniel Howard, Adrian Brezulianu. soco, 15(1):103-110, 2011. [doi]

Program analysis for event-based distributed systemsK. R. Jayaram, Patrick Eugster. debs 2011: 113-124 [doi]

VMAD: A virtual machine for advanced dynamic analysis of programsAlexandra Jimborean, Matthieu Herrmann, Vincent Loechner, Philippe Clauss. ispass 2011: 125-126 [doi]

Static program analysis of large embedded code base: an experienceShubhangi Khare, Sandeep Saraswat, Shrawan Kumar. indiaSE 2011: 99-102 [doi]

Experimental Analysis of Primary-Shadow Replication Scheme for Fault-Tolerant Operational Flight Program of Small Scale UAVJunyeong Kim, Doo-Hyun Kim. isorc 2011: 171-178 [doi]

Sensitivity Analysis for Fuzzy Linear Programming ProblemsAmit Kumar, Neha Bhatia. rsfdgrc 2011: 103-110 [doi]

Program Analysis for Overlaid Data StructuresOukseh Lee, Hongseok Yang, Rasmus Petersen. cav 2011: 592-608 [doi]

A pointcut-based coverage analysis approach for aspect-oriented programsOtávio Augusto Lazzarini Lemos, Paulo Cesar Masiero. isci, 181(13):2721-2746, 2011. [doi]

An empirical analysis on auto corporation training program planning by data mining techniquesW.-T. Lin, S. J. Wang, Y. C. Wu, T. C. Ye. eswa, 38(5):5841-5850, 2011. [doi]

Stability Analysis of Two-Stage Stochastic Mathematical Programs with Complementarity Constraints via NLP RegularizationYongchao Liu, Huifu Xu, Gui-Hua Lin. siamjo, 21(3):669-705, 2011. [doi]

Change impact analysis for object-oriented programs evolved to aspect-oriented programsChien-Hung Liu, Shu-Ling Chen, Wei-Lun Jhu. SAC 2011: 59-65 [doi]

Program analysis: from qualitative analysis to quantitative analysis (NIER track)Sheng Liu, Jian Zhang. ICSE 2011: 956-959 [doi]

Dynamic shape analysis of program heap using graph spectra: nier trackMuhammad Zubair Malik. ICSE 2011: 952-955 [doi]

Static Analysis of Run-Time Errors in Embedded Critical Parallel C ProgramsAntoine Miné. ESOP 2011: 398-418 [doi]

Modeling and analysis of effects of awareness programs by media on the spread of infectious diseasesA. K. Misra, Anupama Sharma, J. B. Shukla. mcm, 53(5-6):1221-1228, 2011. [doi]

XML graphs in program analysisAnders Møller, Michael I. Schwartzbach. SCP, 76(6):492-515, 2011. [doi]

Sensitivity Analysis on Linear Programming Problems with Trapezoidal Fuzzy VariablesSeyed Hadi Nasseri, Ali Ebrahimnejad. ijoris, 2(2):22-39, 2011. [doi]

Polytool: Polynomial interpretations as a basis for termination analysis of logic programsManh Thang Nguyen, Danny De Schreye, Jürgen Giesl, Peter Schneider-Kamp. tplp, 11(1):33-63, 2011. [doi]

Application of Answer Set Programming for Public Health Data Integration and AnalysisMonica L. Nogueira, Noel P. Greis. IEEEares 2011: 118-134 [doi]

A shape analysis for optimizing parallel graph programsDimitrios Prountzos, Roman Manevich, Keshav Pingali, Kathryn S. McKinley. POPL 2011: 159-172 [doi]

Modeling fuzzy data envelopment analysis by parametric programming methodRui Qin, Yankui Liu, Zhi-Qiang Liu. eswa, 38(7):8648-8663, 2011. [doi]

MPI-CUDA parallelization of a finite-strip program for geometric nonlinear analysis: A hybrid approachPredrag Rakic, D. D. Milasinovic, Zarko Zivanov, Zorica Suvajdzin, M. Nikolic, Miroslav Hajdukovic. aes, 42(5):273-285, 2011. [doi]

Tainted Flow Analysis on e-SSA-Form ProgramsAndrei Rimsa, Marcelo d Amorim, Fernando Magno Quintão Pereira. CC 2011: 124-143 [doi]

Direct lightning surge analysis in wind turbines using electromagnetic transients computer programRafael B. Rodrigues, Victor M. F. Mendes, João P. S. Catalao. eurocon 2011: 1-4 [doi]

On the equivalence of Kernel Fisher discriminant analysis and Kernel Quadratic Programming Feature SelectionIrene Rodriguez-Lujan, Carlos Santa Cruz, Ramón Huerta. prl, 32(11):1567-1571, 2011. [doi]

Static analysis of interrupt-driven programs synchronized via the priority ceiling protocolMartin D. Schwarz, Helmut Seidl, Vesal Vojdani, Peter Lammich, Markus Müller-Olm. POPL 2011: 93-104 [doi]

Wordom: A user-friendly program for the analysis of molecular structures, trajectories, and free energy surfacesMichele Seeber, Angelo Felline, Francesco Raimondi, Stefanie Muff, Ran Friedman, Francesco Rao, Amedeo Caflisch, Francesca Fanelli. jcc, 32(6):1183-1194, 2011. [doi]

Analysis of stochastic dual dynamic programming methodAlexander Shapiro. eor, 209(1):63-72, 2011. [doi]

Sensitivity Analysis of Weak Efficiency in Multiple Objective Linear ProgrammingSebastian Sitarz. apjor, 28(4):445-455, 2011. [doi]

A Mixed Integer Programming Model for Multiple-Class Discriminant AnalysisMinghe Sun. ijitdm, 10(4):589-612, 2011. [doi]

Using lattice of class and method dependence for change impact analysis of object oriented programsXiaobing Sun, Bixin Li, Sai Zhang, Chuanqi Tao, Xiang Chen, Wanzhi Wen. SAC 2011: 1439-1444 [doi]

Cache Miss Analysis for GPU Programs Based on Stack Distance ProfileTao Tang, Xuejun Yang, Yisong Lin. icdcs 2011: 623-634 [doi]

Workshop on tools for program development and analysis in computational scienceJie Tao, Arndt Bode, Christof Klausecker, Andreas Knüpfer, Dieter Kranzlmüller, Jens Volkert, Roland Wismüller. procedia, 4:2047-2048, 2011. [doi]

Snowfall: Hardware Stream Analysis Made EasyJens Teubner, Louis Woods. btw 2011: 738-741

Eucb: A C++ program for molecular dynamics trajectory analysisIoannis G. Tsoulos, Athanassios Stavrakoudis. cphysics, 182(3):834-841, 2011. [doi]

Analysis of the motivation of learners in the in-house training of programming in Japanese ICT industriesHidekuni Tsukamoto, Yasuhiro Takemura, Hideo Nagumo, Ken-ichi Matsumoto. csee 2011: 121-128 [doi]

Whole-Array SSA: An Intermediate Representation of Memory for Trading-Off Precision against ComplexityHans Vandierendonck, Koen De Bosschere. WIR 2011: 69-76

Non-termination analysis of logic programs with integer arithmeticsDean Voets, Danny De Schreye. tplp, 11(4-5):521-536, 2011. [doi]

A Novel Genetic Programming Algorithm for Designing Morphological Image Analysis MethodJun Wang, Ying Tan. swarm 2011: 549-558 [doi]

Analysis of the effects of enhanced selection concepts for genetic programming based structure identification using fine-grained population diversity estimationStephan M. Winkler, Michael Affenzeller, Stefan Wagner. gecco 2011: 195-196 [doi]

Performance analysis of gradient neural network exploited for online time-varying quadratic minimization and equality-constrained quadratic programmingYunong Zhang, Yiwen Yang, Gongqin Ruan. ijon, 74(10):1710-1719, 2011. [doi]

Combined static and dynamic automated test generationSai Zhang, David Saff, Yingyi Bu, Michael D. Ernst. ISSTA 2011: 353-363 [doi]

Static Analysis of Android ProgramsÉtienne Payet, Fausto Spoto. cade 2011: 439-445 [doi]

2010

T-Analyst: a program for efficient analysis of protein conformational changes by torsion anglesRizi Ai, M. Qaiser Fatmi, Chia-en A. Chang. jcamd, 24(10):819-827, 2010. [doi]

How AspectJ is Used: An Analysis of Eleven AspectJ ProgramsSven Apel. jot, 9(1):117-142, 2010. [doi]

WellReader: a MATLAB program for the analysis of fluorescence and luminescence reporter gene dataFrédéric Boyer, Bruno Besson, Guillaume Baptist, Jérôme Izard, Corinne Pinel, Delphine Ropers, Johannes Geiselmann, Hidde de Jong. bioinformatics, 26(9):1262-1263, 2010. [doi]

Analysis of the consistency of a mixed integer programming-based multi-category constrained discriminant modelJ. Paul Brooks, Eva K. Lee. anor, 174(1):147-168, 2010. [doi]

Reachability Analysis of Augmented Marked Graphs via Integer Linear ProgrammingChien-Liang Chen, Shao-Chi Chin, Hsu-Chun Yen. cj, 53(6):623-633, 2010. [doi]

Fade to Grey: Tuning Static Program AnalysisAnsgar Fehnker, Ralf Huuck, Sean Seefried, Michael Tapp. ENTCS, 266:17-32, 2010. [doi]

Learning the optimal kernel for Fisher discriminant analysis via second order cone programmingReshma Khemchandani, Jayadeva, Suresh Chandra. eor, 203(3):692-697, 2010. [doi]

Sensitivity analysis on the priority of the objective functions in lexicographic multiple objective linear programsE. Khorram, M. Zarepisheh, B. A. Ghaznavi-ghosoni. eor, 207(3):1162-1168, 2010. [doi]

Fast and Accurate Strong Termination Analysis with an Application to Partial EvaluationLeuschel, Michael, Tamarit, Salvador, Vidal, Germ?n. In Functional and Constraint Logic Programming. Volume 5979 of Lecture Notes in Computer Science, Springer Berlin / Heidelberg, 2010.

Program Analysis Probably Counts: Discussant Contribution for the ::::Computer Journal Lecture:::: by Chris HankinPasquale Malacaria. cj, 53(6):881, 2010. [doi]

Graph Transformation Systems in Constraint Handling Rules - Improved Methods for Program AnalysisFrank Raiser. PhD thesis, Universität Ulm, 2010.

Linear Programming Approaches for Multiple-Class Discriminant and Classification AnalysisMinghe Sun. ijsds, 1(1):57-80, 2010. [doi]

BiLevel programming Data Envelopment Analysis with constrained resourceDesheng Dash Wu. eor, 207(2):856-864, 2010. [doi]

A network analysis of interdisciplinary research relationships: the Korean government s R&D grant programChang Hoon Yang, Han Woo Park, Jungeun Heo. scientometrics, 83(1):77-92, 2010. [doi]

PKSolver: An add-in program for pharmacokinetic and pharmacodynamic data analysis in Microsoft ExcelYong Zhang, Meirong Huo, Jianping Zhou, Shaofei Xie. cmpb, 99(3):306-314, 2010. [doi]

PreviousNext