×

Found 259 Documents (Results 1–100)

100
MathJax

Checking data-race freedom of GPU kernels, compositionally. (English) Zbl 07498148

Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12759, 403-426 (2021).
MSC:  68M07 68Q60
PDF BibTeX XML Cite
Full Text: DOI

Testing your (static analysis) truths. (English) Zbl 07496652

Fernández, Maribel (ed.), Logic-based program synthesis and transformation. 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12561, 271-292 (2021).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI

Twinning automata and regular expressions for string static analysis. (English) Zbl 1472.68039

Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 267-290 (2021).
MSC:  68N30 68Q45
PDF BibTeX XML Cite
Full Text: DOI arXiv

Two-level reasoning about graph transformation programs. (English) Zbl 1429.68043

Guerra, Esther (ed.) et al., Graph transformation. 12th international conference, ICGT 2019, held as part of STAF 2019, Eindhoven, the Netherlands, July 15–16, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11629, 111-127 (2019).
MSC:  68N30 68Q42 68T27
PDF BibTeX XML Cite
Full Text: DOI Link

Effect-driven flow analysis. (English) Zbl 07157049

Enea, Constantin (ed.) et al., Verification, model checking, and abstract interpretation. 20th international conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11388, 247-274 (2019).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI Link

Fuzzy set abstraction. (English) Zbl 07513442

Scozzari, Francesca (ed.), Proceedings of the 7th international workshop on numerical and symbolic abstract domains, NSAD 2017, New York City, NY, USA, August 29, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 334, 17-29 (2018).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI

Experimental evaluation of numerical domains for inferring ranges. (English) Zbl 07513441

Scozzari, Francesca (ed.), Proceedings of the 7th international workshop on numerical and symbolic abstract domains, NSAD 2017, New York City, NY, USA, August 29, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 334, 3-16 (2018).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI

Inferring energy bounds via static program analysis and evolutionary modeling of basic blocks. (English) Zbl 06932823

Fioravanti, Fabio (ed.) et al., Logic-based program synthesis and transformation. 27th international symposium, LOPSTR 2017, Namur, Belgium, October 10–12, 2017. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10855, 54-72 (2018).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI arXiv

The Verigraph system for graph transformation. (English) Zbl 1383.68041

Heckel, Reiko (ed.) et al., Graph transformation, specifications, and nets. In memory of Hartmut Ehrig. Cham: Springer (ISBN 978-3-319-75395-9/pbk; 978-3-319-75396-6/ebook). Lecture Notes in Computer Science 10800, 160-178 (2018).
MSC:  68Q42 68N30 68Q65
PDF BibTeX XML Cite
Full Text: DOI

Sparsity preserving algorithms for octagons. (English) Zbl 1412.68040

Mastroeni, Isabella (ed.), Proceedings of the 6th international workshop on numerical and symbolic abstract domains, NSAD 2016, Edinburgh, UK, September 11, 2016. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 331, 57-70 (2017).
MSC:  68N30 68Q55 68Q60
PDF BibTeX XML Cite
Full Text: DOI arXiv

Abstract domains for type juggling. (English) Zbl 1412.68033

Mastroeni, Isabella (ed.), Proceedings of the 6th international workshop on numerical and symbolic abstract domains, NSAD 2016, Edinburgh, UK, September 11, 2016. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 331, 41-55 (2017).
PDF BibTeX XML Cite
Full Text: DOI

Static analysis of embedded real-time concurrent software with dynamic priorities. (English) Zbl 1412.68042

Mastroeni, Isabella (ed.), Proceedings of the 6th international workshop on numerical and symbolic abstract domains, NSAD 2016, Edinburgh, UK, September 11, 2016. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 331, 3-39 (2017).
PDF BibTeX XML Cite
Full Text: DOI

Hypercollecting semantics and its application to static analysis of information flow. (English) Zbl 1380.68113

Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 874-887 (2017).
MSC:  68N30 68N15
PDF BibTeX XML Cite
Full Text: DOI arXiv

Fencing off Go: liveness and safety for channel-based programming. (English) Zbl 1380.68298

Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 748-761 (2017).
MSC:  68Q85 68N15 68N30
PDF BibTeX XML Cite
Full Text: DOI arXiv Link

On verifying causal consistency. (English) Zbl 1380.68270

Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 626-638 (2017).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Towards automatic resource bound analysis for OCaml. (English) Zbl 1380.68123

Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 359-373 (2017).
MSC:  68N30 68N15 68N20
PDF BibTeX XML Cite
Full Text: DOI arXiv

Semantic-directed clumping of disjunctive abstract states. (English) Zbl 1380.68129

Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 32-45 (2017).
MSC:  68N30 03B70
PDF BibTeX XML Cite
Full Text: DOI Link

Verification of evolving graph-structured data under expressive path constraints. (English) Zbl 1369.68181

Martens, Wim (ed.) et al., 19th international conference on database theory, ICDT ’16, Bordeaux, France, March 15–18, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-002-6). LIPIcs – Leibniz International Proceedings in Informatics 48, Article 15, 19 p. (2016).
MSC:  68P15 68P05 68Q60
PDF BibTeX XML Cite
Full Text: DOI

Formal analysis of robustness at model and code level. (English) Zbl 1364.93249

Proceedings of the 19th ACM international conference on hybrid systems: computation and control, HSCC 2016, Vienna, Austria, April 12–14, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3955-1). 125-134 (2016).
MSC:  93B40 90C22 93B35 68N30
PDF BibTeX XML Cite
Full Text: DOI

Allocation characterizes polyvariance: a unified methodology for polyvariant control-flow analysis. (English) Zbl 1360.68364

Garrigue, Jacques (ed.) et al., Proceedings of the 21st ACM SIGPLAN international conference on functional programming, ICFP ’16, Nara, Japan, September 18–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4219-3). 407-420 (2016).
MSC:  68N30 68N15
PDF BibTeX XML Cite
Full Text: DOI

Calculating statically maximum log memory used by multi-threaded transactional programs. (English) Zbl 1482.68097

Sampaio, Augusto (ed.) et al., Theoretical aspects of computing – ICTAC 2016. 13th international colloquium, Taipei, Taiwan, ROC, October 24–31, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9965, 82-99 (2016).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI

Pushdown control-flow analysis for free. (English) Zbl 1347.68082

Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 691-704 (2016).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI arXiv

Polycheck: dynamic verification of iteration space transformations on affine programs. (English) Zbl 1347.68068

Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 539-554 (2016).
MSC:  68N30 68Q60
PDF BibTeX XML Cite
Full Text: DOI

Verification of programmable logic controller code using model checking and static analysis. (English) Zbl 1348.68004

Aachen: Shaker Verlag; Aachen: RWTH Aachen Univ., Fakultät für Mathematik, Informatik und Naturwissenschaften (Diss.) (ISBN 978-3-8440-4711-0/pbk). 166 p. (2016).
MSC:  68-02 68N19 68Q60
PDF BibTeX XML Cite

Abstract interpretation with higher-dimensional ellipsoids and conic extrapolation. (English) Zbl 1381.68178

Kroening, Daniel (ed.) et al., Computer aided verification. 27th international conference, CAV 2015, San Francisco, CA, USA, July 18–24, 2015. Proceedings. Part I. Cham: Springer (ISBN 978-3-319-21689-8/pbk; 978-3-319-21690-4/ebook). Lecture Notes in Computer Science 9206, 415-430 (2015).
MSC:  68Q60 68U05 90C22
PDF BibTeX XML Cite
Full Text: DOI arXiv

Closed loop analysis of control command software. (English) Zbl 1364.93504

Proceedings of the 18th ACM international conference on hybrid systems: computation and control, HSCC 2015, Seattle, WA, USA, April 14–16, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3433-4). 108-117 (2015).
PDF BibTeX XML Cite
Full Text: DOI

On characterizing the data access complexity of programs. (English) Zbl 1345.68101

Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’15, Mumbai, India, January 12–18, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3300-9). 567-580 (2015).
MSC:  68N30 05C57 68Q17
PDF BibTeX XML Cite
Full Text: DOI arXiv

Quantitative interprocedural analysis. (English) Zbl 1345.68098

Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’15, Mumbai, India, January 12–18, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3300-9). 539-551 (2015).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI

Automatic static cost analysis for parallel programs. (English) Zbl 1335.68056

Vitek, Jan (ed.), 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. Berlin: Springer (ISBN 978-3-662-46668-1/pbk; 978-3-662-46669-8/ebook). Lecture Notes in Computer Science 9032, 132-157 (2015).
MSC:  68N30 68N18 68N19
PDF BibTeX XML Cite
Full Text: DOI

Using dynamic pushdown networks to automate a modular information-flow analysis. (English) Zbl 1473.68049

Falaschi, Moreno (ed.), Logic-based program synthesis and transformation. 25th international symposium, LOPSTR 2015, Siena, Italy, July 13–15, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9527, 201-217 (2015).
MSC:  68N30 68N19
PDF BibTeX XML Cite
Full Text: DOI

Quadratic zonotopes. An extension of zonotopes to quadratic arithmetics. (English) Zbl 1329.68073

Feng, Xinyu (ed.) et al., Programming languages and systems. 13th Asian symposium, APLAS 2015, Pohang, South Korea, November 30 – December 2, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-26528-5/pbk; 978-3-319-26529-2/ebook). Lecture Notes in Computer Science 9458, 127-145 (2015).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Randomized resource-aware path-sensitive static analysis. (English) Zbl 1329.68075

Feng, Xinyu (ed.) et al., Programming languages and systems. 13th Asian symposium, APLAS 2015, Pohang, South Korea, November 30 – December 2, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-26528-5/pbk; 978-3-319-26529-2/ebook). Lecture Notes in Computer Science 9458, 111-126 (2015).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI

Automatic synthesis of piecewise linear quadratic invariants for programs. (English) Zbl 1432.68254

D’Souza, Deepak (ed.) et al., Verification, model checking, and abstract interpretation. 16th international conference, VMCAI 2015, Mumbai, India, January 12–14, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8931, 99-116 (2015).
MSC:  68Q60 68N30 93C05
PDF BibTeX XML Cite
Full Text: DOI Link

Abstract interpretation: past, present and future. (English) Zbl 1401.68037

Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 2, 10 p. (2014).
MSC:  68N30 68Q60
PDF BibTeX XML Cite
Full Text: DOI

Type-based parametric analysis of program families. (English) Zbl 1345.68099

Proceedings of the 19th ACM SIGPLAN international conference on functional programming, ICFP ’14, Gothenburg, Sweden, September 1–3, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2873-9). 39-51 (2014).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI

SeLINQ: tracking information across application-database boundaries. (English) Zbl 1346.68065

Proceedings of the 19th ACM SIGPLAN international conference on functional programming, ICFP ’14, Gothenburg, Sweden, September 1–3, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2873-9). 25-38 (2014).
PDF BibTeX XML Cite
Full Text: DOI

Computing invariants with transformers: experimental scalability and accuracy. (English) Zbl 1337.68168

Simon, Axel (ed.) et al., Proceedings of the 5th international workshop on numerical and symbolic abstract domains, NSAD 2014, Munich, Germany, September 10, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 307, 17-31, electronic only (2014).
MSC:  68Q60 68N30
PDF BibTeX XML Cite
Full Text: DOI

Relational thread-modular static value analysis by abstract interpretation. (English) Zbl 1428.68119

McMillan, Kenneth L. (ed.) et al., Verification, model checking, and abstract interpretation. 15th international conference, VMCAI 2014, San Diego, CA, USA, January 19–21, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8318, 39-58 (2014).
MSC:  68N19 68Q85
PDF BibTeX XML Cite
Full Text: DOI Link

Jerboa: a graph transformation library for topology-based geometric modeling. (English) Zbl 1423.68537

Giese, Holger (ed.) et al., Graph transformation. 7th international conference, ICGT 2014, held as part of STAF 2014, York, UK, July 22–24, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8571, 269-284 (2014).
MSC:  68U05 68Q42 68U35
PDF BibTeX XML Cite
Full Text: DOI

Attribute handling for generating preconditions from graph constraints. (English) Zbl 1423.68095

Giese, Holger (ed.) et al., Graph transformation. 7th international conference, ICGT 2014, held as part of STAF 2014, York, UK, July 22–24, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8571, 81-96 (2014).
PDF BibTeX XML Cite
Full Text: DOI

Toward general diagnosis of static errors. (English) Zbl 1284.68141

Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 569-581 (2014).
PDF BibTeX XML Cite
Full Text: DOI Link

Abstract acceleration of general linear loops. (English) Zbl 1284.68188

Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 529-540 (2014).
PDF BibTeX XML Cite
Full Text: DOI arXiv Link

Verifying eventual consistency of optimistic replication systems. (English) Zbl 1284.68383

Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 285-296 (2014).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI

A constraint-based approach to solving games on infinite graphs. (English) Zbl 1284.91009

Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 221-233 (2014).
PDF BibTeX XML Cite
Full Text: DOI Link

Proofs that count. (English) Zbl 1284.68395

Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 151-164 (2014).
MSC:  68Q60 68T15 03B70 68W05
PDF BibTeX XML Cite
Full Text: DOI

A Galois connection calculus for abstract interpretation. (English) Zbl 1284.68173

Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 3-4 (2014).
PDF BibTeX XML Cite
Full Text: DOI

Under-approximation of reachability in multivalued asynchronous networks. (English) Zbl 1337.68181

Merelli, Emanuela (ed.) et al., Proceedings of the 4th international workshop on interactions between computer science and biology (CS2Bio’13), Florence, Italy, June 6, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 299, 33-51 (2013).
MSC:  68Q85 68Q60 92C42
PDF BibTeX XML Cite
Full Text: DOI

HALO, Haskell to logic through denotational semantics. (English) Zbl 1301.68085

Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 431-442 (2013).
MSC:  68N18 03B10 68N30 68T15
PDF BibTeX XML Cite
Full Text: DOI

Inductive data flow graphs. (English) Zbl 1301.68178

Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 129-142 (2013).
PDF BibTeX XML Cite
Full Text: DOI Link

Logico-numerical max-strategy iteration. (English) Zbl 1426.68062

Giacobazzi, Roberto (ed.) et al., Verification, model checking, and abstract interpretation. 14th international conference, VMCAI 2013, Rome, Italy, January 20–22, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 7737, 414-433 (2013).
MSC:  68N30 03B70
PDF BibTeX XML Cite
Full Text: DOI Link

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Year of Publication

all top 3

Classification

all top 3

Software