×

Found 354 Documents (Results 1–100)

Blunting an adversary against randomized concurrent programs with linearizable implementations. (English) Zbl 07824266

Milani, Alessia (ed.) et al., Proceedings of the 41st ACM symposium on principles of distributed computing, PODC ’22, Salerno, Italy, July 25–29, 2022. New York, NY: Association for Computing Machinery (ACM). 209-219 (2022).
MSC:  68M14 68W15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Moment-based invariants for probabilistic loops with non-polynomial assignments. (English) Zbl 1522.68133

Ábrahám, Erika (ed.) et al., Quantitative evaluation of systems. 19th international conference, QEST 2022, Warsaw, Poland, September 12–16, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13479, 3-25 (2022).
MSC:  68N19
PDFBibTeX XMLCite
Full Text: DOI arXiv

Does a program yield the right distribution? Verifying probabilistic programs via generating functions. (English) Zbl 1514.68028

Shoham, Sharon (ed.) et al., Computer aided verification. 34th international conference, CAV 2022, Haifa, Israel, August 7–10, 2022. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13371, 79-101 (2022).
MSC:  68N19 68Q60
PDFBibTeX XMLCite
Full Text: DOI arXiv

Data-driven invariant learning for probabilistic programs. (English) Zbl 1514.68026

Shoham, Sharon (ed.) et al., Computer aided verification. 34th international conference, CAV 2022, Haifa, Israel, August 7–10, 2022. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13371, 33-54 (2022).
MSC:  68N19 68Q60 68T05
PDFBibTeX XMLCite
Full Text: DOI arXiv

Concurrent correctness in vector space. (English) Zbl 1472.68092

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, 151-173 (2021).
MSC:  68Q60 68N19 68Q85
PDFBibTeX XMLCite
Full Text: DOI

General decidability results for asynchronous shared-memory programs: higher-order and beyond. (English) Zbl 1467.68040

Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 449-467 (2021).
PDFBibTeX XMLCite
Full Text: DOI arXiv

On ranking function synthesis and termination for polynomial programs. (English) Zbl 07559471

Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 15, 15 p. (2020).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Data races and static analysis for interrupt-driven kernels. (English) Zbl 1524.68063

Caires, Luís (ed.), Programming languages and systems. 28th European symposium on programming, ESOP 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11423, 697-723 (2019).
MSC:  68N19
PDFBibTeX XMLCite
Full Text: DOI

Reachability in concurrent uninterpreted programs. (English) Zbl 07650343

Chattopadhyay, Arkadev (ed.) et al., 39th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2019, Bombay, India, December 11–13, 2019. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 150, Article 46, 16 p. (2019).
MSC:  68N30 68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Synchronizing the asynchronous. (English) Zbl 1520.68029

Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 21, 17 p. (2018).
MSC:  68N30 68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Reducing extension edges of concurrent programs for reachability analysis. (English) Zbl 1521.68083

Kim, Donghyun (ed.) et al., Combinatorial optimization and applications. 12th international conference, COCOA 2018, Atlanta, GA, USA, December 15–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11346, 386-401 (2018).
MSC:  68Q85 90C09
PDFBibTeX XMLCite
Full Text: DOI

Run-time verification for observational determinism using dynamic program slicing. (English) Zbl 1498.68066

Nguyen, Phong Q. (ed.) et al., Information security. 20th international conference, ISC 2017, Ho Chi Minh City, Vietnam, November 22–24, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10599, 405-416 (2017).
MSC:  68N19
PDFBibTeX XMLCite
Full Text: DOI

Exact Bayesian inference by symbolic disintegration. (English) Zbl 1380.68106

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). 130-144 (2017).
MSC:  68N19 68N30
PDFBibTeX XMLCite
Full Text: DOI

Precise thread-modular abstract interpretation of concurrent programs using relational interference abstractions. (English) Zbl 1484.68050

Bouajjani, Ahmed (ed.) et al., Verification, model checking, and abstract interpretation. 18th international conference, VMCAI 2017, Paris, France, January 15–17, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10145, 386-404 (2017).
MSC:  68N30 68N19 68Q60
PDFBibTeX XMLCite
Full Text: DOI HAL

Inferring covariances for probabilistic programs. (English) Zbl 1377.68070

Agha, Gul (ed.) et al., Quantitative evaluation of systems. 13th international conference, QEST 2016, Quebec City, QC, Canada, August 23–25, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-43424-7/pbk; 978-3-319-43425-4/ebook). Lecture Notes in Computer Science 9826, 191-206 (2016).
MSC:  68N19 68N30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Unboundedness and downward closures of higher-order pushdown automata. (English) Zbl 1347.68205

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). 151-163 (2016).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Directed algebraic topology and concurrency. With a foreword by Maurice Herlihy and a preface by Samuel Mimram. (English) Zbl 1338.68003

SpringerBriefs in Applied Sciences and Technology. Mathematical Methods. Cham: Springer (ISBN 978-3-319-15397-1/pbk; 978-3-319-15398-8/ebook). xi, 167 p. (2016).
Reviewer: Ioan Pop (Iaşi)
PDFBibTeX XMLCite
Full Text: DOI

Rely/guarantee reasoning for asynchronous programs. (English) Zbl 1374.68104

Aceto, Luca (ed.) et al., 26th international conference on concurrency theory, CONCUR’15, Madrid, Spain, September 1–4, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-91-0). LIPIcs – Leibniz International Proceedings in Informatics 42, 483-496 (2015).
MSC:  68N19 68N30
PDFBibTeX XMLCite
Full Text: DOI

On reachability analysis of pushdown systems with transductions: application to Boolean programs with call-by-reference. (English) Zbl 1374.68300

Aceto, Luca (ed.) et al., 26th international conference on concurrency theory, CONCUR’15, Madrid, Spain, September 1–4, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-91-0). LIPIcs – Leibniz International Proceedings in Informatics 42, 383-397 (2015).
PDFBibTeX XMLCite
Full Text: DOI

Probabilistic termination: soundness, completeness, and compositionality. (English) Zbl 1345.68104

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). 489-501 (2015).
PDFBibTeX XMLCite
Full Text: DOI

Succinct representation of concurrent trace sets. (English) Zbl 1345.68108

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). 433-444 (2015).
MSC:  68N30 68N19 68Q60
PDFBibTeX XMLCite
Full Text: DOI Link

A denotational semantic theory of concurrent systems. (English) Zbl 1321.68362

Martí-Oliet, Narciso (ed.) et al., Logic, rewriting, and concurrency. Essays dedicated to José Meseguer on the occasion of his 65th birthday. Cham: Springer (ISBN 978-3-319-23164-8/pbk; 978-3-319-23165-5/ebook). Lecture Notes in Computer Science 9200, 493-518 (2015).
PDFBibTeX XMLCite
Full Text: DOI

Abstracting and counting synchronizing processes. (English) Zbl 1432.68305

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, 227-244 (2015).
PDFBibTeX XMLCite
Full Text: DOI Link

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
PDFBibTeX XMLCite
Full Text: DOI HAL

Algorithm for verifying the equivalence of linear unary recursive programs on ordered semigroup scales. (English. Russian original) Zbl 1269.68046

Mosc. Univ. Comput. Math. Cybern. 37, No. 1, 35-41 (2013); translation from Vest. Mosk. Univ., Ser. XV 2012, No. 4, 37-45 (2012).
MSC:  68N19 68Q60 68Q70
PDFBibTeX XMLCite
Full Text: DOI

Scope-bounded multistack pushdown systems: fixed-point, sequentialization, and tree-width. (English) Zbl 1354.68198

D’Souza, Deepak (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2012). Selected papers based on the presentations at the 32nd conference, Hyderabad, India, December 15–17, 2012. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-47-7). LIPIcs – Leibniz International Proceedings in Informatics 18, 173-184 (2012).
MSC:  68Q85 68N30 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Verification of parameterized concurrent programs by modular reasoning about data and control. (English) Zbl 1321.68192

Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’12, Philadelphia, PA, USA, January 22–28, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1083-3). 297-308 (2012).
MSC:  68N30 68N19
PDFBibTeX XMLCite
Full Text: DOI

Reachability and termination analysis of concurrent quantum programs. (English) Zbl 1364.68145

Koutny, Maciej (ed.) et al., CONCUR 2012 – concurrency theory. 23rd international conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4–7, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32939-5/pbk). Lecture Notes in Computer Science 7454, 69-83 (2012).
MSC:  68N30 68Q85 81P68
PDFBibTeX XMLCite
Full Text: DOI arXiv

Predicate abstraction and refinement for verifying multi-threaded programs. (English) Zbl 1284.68427

Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’11, Austin, TX, USA, January 26–28, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0490-0). 331-344 (2011).
MSC:  68Q85 68M20 68N19
PDFBibTeX XMLCite
Full Text: DOI

A shape analysis for optimizing parallel graph programs. (English) Zbl 1284.68196

Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’11, Austin, TX, USA, January 26–28, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0490-0). 159-172 (2011).
MSC:  68N30 68N19 68W10
PDFBibTeX XMLCite
Full Text: DOI

Using algebraic models of programs for detecting metamorphic malwares. (English. Russian original) Zbl 1221.68158

J. Math. Sci., New York 172, No. 5, 740-750 (2011); translation from Fundam. Prikl. Mat. 15, No. 5, 181-198 (2009).
MSC:  68Q70 68N19 68N99
PDFBibTeX XMLCite
Full Text: DOI

Runtime analysis of probabilistic programs with unbounded recursion. (English) Zbl 1242.68064

Aceto, Luca (ed.) et al., Automata, languages and programming. 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4–8, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-22011-1/pbk). Lecture Notes in Computer Science 6756, 319-331 (2011).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Compositionality entails sequentializability. (English) Zbl 1315.68091

Abdulla, Parosh Aziz (ed.) et al., Tools and algorithms for the construction and analysis of systems. 17th international conference, TACAS 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. Berlin: Springer (ISBN 978-3-642-19834-2/pbk). Lecture Notes in Computer Science 6605, 26-40 (2011).
MSC:  68N30 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Static analysis of run-time errors in embedded critical parallel C programs. (English) Zbl 1239.68021

Barthe, Gilles (ed.), Programming languages and systems. 20th European symposium on programming, ESOP 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. Berlin: Springer (ISBN 978-3-642-19717-8/pbk). Lecture Notes in Computer Science 6602, 398-418 (2011).
MSC:  68N19
PDFBibTeX XMLCite
Full Text: DOI arXiv

Static data race analysis of heap-manipulating C programs. (English) Zbl 1360.68004

Dissertationes Mathematicae Universitatis Tartuensis 64. Tartu: University of Tartu Press; Tartu: Univ. Tartu, Faculty of Mathematics and Computer Science (Diss.) (ISBN 978-9949-19-508-4/pbk; 978-9949-19-509-1/ebook). 137 p. (2010).
PDFBibTeX XMLCite
Full Text: Link Link

Global model checking of ordered multi-pushdown systems. (English) Zbl 1245.68130

Lodaya, Kamal (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2010), December 15–18, 2010, Chennai, India. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-23-1). LIPIcs – Leibniz International Proceedings in Informatics 8, 216-227, electronic only (2010).
MSC:  68Q60
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Parallel programming for multicore and cluster systems. Extended English translation of the 2007 2nd German ed. (English) Zbl 1211.68073

Berlin: Springer (ISBN 978-3-642-04817-3/hbk; 978-3-642-04818-0/ebook). x, 455 p. (2010).
MSC:  68N19 68-01 68M99
PDFBibTeX XMLCite
Full Text: DOI

Avoid a void: The eradication of null dereferencing. (English) Zbl 1215.68063

Jones, Cliff B. (ed.) et al., Reflections on the work of C. A. R. Hoare. Most papers based on the presentations at the meeting to celebrate Tony Hoare’s 75th birthday, Cambridge, UK, April 2009. London: Springer (ISBN 978-1-84882-911-4/hbk; 978-1-84882-912-1/ebook). 189-211 (2010).
MSC:  68N19
PDFBibTeX XMLCite
Full Text: DOI

Linear-invariant generation for probabilistic programs: automated support for proof-based methods. (English) Zbl 1239.68020

Cousot, Radhia (ed.) et al., Static analysis. 17th international symposium, SAS 2010, Perpignan, France, September 14–16, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15768-4/pbk). Lecture Notes in Computer Science 6337, 390-406 (2010).
MSC:  68N19 68Q60 68Q87
PDFBibTeX XMLCite
Full Text: DOI

A calculus of atomic actions. (English) Zbl 1315.68087

Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’09, Savannah, GA, USA, January 18–24, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-379-2). 2-15 (2009).
MSC:  68N30 68N15 68N19
PDFBibTeX XMLCite
Full Text: DOI

Verifying multithreaded recursive programs with integer variables. (English) Zbl 1347.68069

Habermehl, P. (ed.) et al., Proceedings of the 8th, 9th, and 10th international workshops on verification of infinite-state systems (INFINITY 2006, 2007, 2008), Bonn, Germany, August 26, 2006, Lisbon, Portugal, September 8, 2007, Toronto, Canada, August 23, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 239, 143-154 (2009).
PDFBibTeX XMLCite
Full Text: DOI

Bounded communication reachability analysis of process rewrite systems with ordered parallelism. (English) Zbl 1347.68274

Habermehl, P. (ed.) et al., Proceedings of the 8th, 9th, and 10th international workshops on verification of infinite-state systems (INFINITY 2006, 2007, 2008), Bonn, Germany, August 26, 2006, Lisbon, Portugal, September 8, 2007, Toronto, Canada, August 23, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 239, 43-56 (2009).
PDFBibTeX XMLCite
Full Text: DOI

Empirical comparison of race detection tools for OpenMP programs. (English) Zbl 1211.68071

Ślȩzak, Dominik (ed.) et al., Grid and distributed computing. International conference, GDC 2009, held as part of the future generation information technology conference, FGIT 2009, Jeju Island, Korea, December 10–12, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-10548-7/pbk; 978-3-642-10549-4/ebook). Communications in Computer and Information Science 63, 108-116 (2009).
MSC:  68N19
PDFBibTeX XMLCite
Full Text: DOI

Hybrid performance modeling and prediction of large-scale parallel systems. (English) Zbl 1189.68033

Xhafa, Fatos (ed.), Parallel programming, models and applications in grid and P2P systems. Amsterdam: IOS Press (ISBN 978-1-60750-004-9/hbk; 978-3-540-68844-0/ebook). Advances in Parallel Computing 17, 54-82 (2009).
MSC:  68N19 68M20
PDFBibTeX XMLCite
Full Text: DOI

Refinement of parallel algorithms. (English) Zbl 1171.68854

Alexander, Michael (ed.) et al., Process algebra for parallel and distributed processing. Boca Raton, FL: CRC pRESS (ISBN 978-1-4200-6486-5/hbk). Chapman & Hall / CRC Computational Science Series, 77-96 (2009).
MSC:  68W10 68N19
PDFBibTeX XMLCite

Linking event-B and concurrent object-oriented programs. (English) Zbl 1283.68126

Boiten, Eerke (ed.) et al., Proceedings of the 13th BCS-FACS refinement workshop (REFINE 2008), Turku, Finland, May 27, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 214, 159-182 (2008).
MSC:  68N30 68N19
PDFBibTeX XMLCite
Full Text: DOI

Invariants for non-hierarchical object structures. (English) Zbl 1279.68058

Moreira, Anamaria Martins (ed.) et al., Proceedings of the Brazilian symposium on formal methods (SBMF 2006), Natal, Rio Grande de Norte, Brazil, September 17–23, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 195, 211-229 (2008).
MSC:  68N30 68N19 68Q60
PDFBibTeX XMLCite
Full Text: DOI

Analyzing the implicit computational complexity of object-oriented programs. (English) Zbl 1248.68255

Hariharan, Ramesh (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2008), December 9–11, 2008, Bangalore, India. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-08-8). LIPIcs – Leibniz International Proceedings in Informatics 2, 316-327, electronic only (2008).
MSC:  68Q25 68N19
PDFBibTeX XMLCite
Full Text: DOI Link

Analyzing asynchronous programs with preemption. (English) Zbl 1248.68348

Hariharan, Ramesh (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2008), December 9–11, 2008, Bangalore, India. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-08-8). LIPIcs – Leibniz International Proceedings in Informatics 2, 37-48, electronic only (2008).
MSC:  68Q85 68Q60
PDFBibTeX XMLCite
Full Text: DOI Link

Design and synthesis of synchronization skeletons using branching time temporal logic. (English) Zbl 1142.68431

Grumberg, Orna (ed.) et al., 25 years of model checking. History, achievements, perspectives. Berlin: Springer (ISBN 978-3-540-69849-4/pbk). Lecture Notes in Computer Science 5000, 196-215 (2008).
PDFBibTeX XMLCite
Full Text: DOI

Static analysis via abstract interpretation of the happens-before memory model. (English) Zbl 1138.68448

Beckert, Bernhard (ed.) et al., Tests and proofs. Second international conference, TAP 2008, Prato, Italy, April 9–11, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-79123-2/pbk). Lecture Notes in Computer Science 4966, 116-133 (2008).
MSC:  68Q60 68N19
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software