Výsledky vyhľadávania - "Thomas Wies"

ANALYSIS OF PARALLELIZATION EFFICIENCY OF COUPLED THERMO-HYDRO-MECHANICAL SIMULATION

Autori: Norihiro WATANABE Olaf KOLDITZ Thomas SCHNICKE a ďalší

Zdroj: Journal of Environmental Science for Sustainable Society. 2009, 3:50

Catch ratios of gauges for solid precipitation in Hokuriku region

Autori: Hiroyuki OHNO Kotaro YOKOYAMA Satoshi INOUE a ďalší

Zdroj: Journal of the Japanese Society of Snow and Ice. 1998, 60(3):225

Characterizing Implementability of Global Protocols with Infinite States and Data

Autori: Elaine Li Felix Stutz Thomas Wies a ďalší

Zdroj: Proceedings of the ACM on Programming Languages. 9:1434-1463

Predmety: FOS: Computer and information sciences, Computer Science - Programming Languages, Formal Languages and Automata Theory (cs.FL), Computer Science - Formal Languages and Automata Theory, Programming Languages (cs.PL)

Prístupová URL adresa: http://arxiv.org/abs/2411.05722

Raven: An SMT-Based Concurrency Verifier

Autori: Ekanshdeep Gupta Nisarg Patel Thomas Wies

Zdroj: Lecture Notes in Computer Science ISBN: 9783031986673

Sprout: A Verifier for Symbolic Multiparty Protocols

Autori: Elaine Li Felix Stutz Thomas Wies a ďalší

Zdroj: Lecture Notes in Computer Science ISBN: 9783031986819

Programming Languages and Systems : 32nd European Symposium on Programming, ESOP 2023, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings

Autori: Thomas Wies

Typ zdroja: eBook.

Predmet: Programming languages (Electronic computers)--Congresses, Computer programming--Congresses

Kategórie: COMPUTERS / Programming / Compilers

Embedding Hindsight Reasoning in Separation Logic

Autori: Roland Meyer Thomas Wies Sebastian Wolff

Zdroj: Proceedings of the ACM on Programming Languages. 7:1848-1871

Predmety: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Programming Languages (cs.PL), Logic in Computer Science (cs.LO)

Prístupová URL adresa: http://arxiv.org/abs/2209.13692

Less is more: refinement proofs for probabilistic proofs

Autori: Kunming Jiang Devora Chait-Roth Zachary DeStefano a ďalší

Zdroj: 2023 IEEE Symposium on Security and Privacy (SP). :1112-1129

Beyond The Text: Analysis of Privacy Statements through Syntactic and Semantic Role Labeling

Autori: Yan Shvartzshanider Ananth Balashankar Thomas Wies a ďalší

Zdroj: Proceedings of the Natural Legal Language Processing Workshop 2023. :85-98

Deciding Subtyping for Asynchronous Multiparty Sessions

Autori: Elaine Li Felix Stutz Thomas Wies

Zdroj: Lecture Notes in Computer Science ISBN: 9783031572616

Predmety: 0202 electrical engineering, electronic engineering, information engineering, Computer Science - Formal Languages and Automata Theory, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Prístupová URL adresa: http://arxiv.org/abs/2401.16395

A concurrent program logic with a future and history

Autori: Roland Meyer Thomas Wies Sebastian Wolff

Zdroj: Proceedings of the ACM on Programming Languages. 6:1378-1407

Predmety: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Programming Languages (cs.PL), Logic in Computer Science (cs.LO)

Prístupová URL adresa: http://arxiv.org/abs/2207.02355

Needles in a Haystack: Using PORT to Catch Bad Behaviors within Application Recordings

Autori: Preston Moore Thomas Wies Marc Waldman a ďalší

Zdroj: Proceedings of the 17th International Conference on Software Technologies. :137-145

Predmety: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Automated repair for timed systems

Autori: Martin Kölbl Stefan Leue Thomas Wies

Zdroj: Formal Methods in System Design. 59:136-169

Predmety: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Popis súboru: application/pdf

Prístupová URL adresa: http://nbn-resolving.de/urn:nbn:de:bsz:352-2-1gelmzvrdev3s7

Verifying concurrent multicopy search structures

Autori: Thomas Wies Nisarg Patel Dennis Shasha a ďalší

Zdroj: Proceedings of the ACM on Programming Languages. 5:1-32

Predmety: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Programming Languages (cs.PL), Logic in Computer Science (cs.LO)

Prístupová URL adresa: https://dl.acm.org/doi/pdf/10.1145/3485490
http://arxiv.org/abs/2109.05631
https://dlnext.acm.org/doi/10.1145/3485490
https://dl.acm.org/doi/10.1145/3485490
https://dblp.uni-trier.de/db/journals/corr/corr2109.html#abs-2109-05631
https://nyuscholars.nyu.edu/en/publications/verifying-concurrent-multicopy-search-structures
https://dl.acm.org/doi/pdf/10.1145/3485490
https://doi.org/10.1145/3485490

Data flow refinement type inference

Autori: Yusen Su Thomas Wies Zvonimir Pavlinovic

Zdroj: Proceedings of the ACM on Programming Languages. 5:1-31

Predmety: FOS: Computer and information sciences, Computer Science - Programming Languages, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Programming Languages (cs.PL)

Prístupová URL adresa: https://dl.acm.org/doi/pdf/10.1145/3434300
http://arxiv.org/abs/2011.04876
https://nyuscholars.nyu.edu/en/publications/data-flow-refinement-type-inference
https://dl.acm.org/doi/pdf/10.1145/3434300
https://dblp.uni-trier.de/db/journals/corr/corr2011.html#abs-2011-04876
https://popl21.sigplan.org/details/POPL-2021-research-papers/19/Data-Flow-Refinement-Type-Inference
https://arxiv.org/pdf/2011.04876
https://arxiv.org/abs/2011.04876

nekton: A Linearizability Proof Checker

Autori: Roland Meyer Anton Opaterny Thomas Wies a ďalší

Zdroj: Lecture Notes in Computer Science ISBN: 9783031377051

Correction to: Programming Languages and Systems

Autori: Thomas Wies

Zdroj: Lecture Notes in Computer Science ISBN: 9783031300431

Make Flows Small Again: Revisiting the Flow Framework

Autori: Roland Meyer Thomas Wies Sebastian Wolff

Zdroj: Lecture Notes in Computer Science ISBN: 9783031308222

Predmety: FOS: Computer and information sciences, Computer Science - Programming Languages, Programming Languages (cs.PL)

Prístupová URL adresa: http://arxiv.org/abs/2304.04886

Complete Multiparty Session Type Projection with Automata

Autori: Elaine Li Felix Stutz Thomas Wies a ďalší

Zdroj: Lecture Notes in Computer Science ISBN: 9783031377082

Predmety: FOS: Computer and information sciences, Computer Science - Programming Languages, Computer Science - Distributed, Parallel, and Cluster Computing, Formal Languages and Automata Theory (cs.FL), Computer Science - Formal Languages and Automata Theory, Distributed, Parallel, and Cluster Computing (cs.DC), Programming Languages (cs.PL)

Prístupová URL adresa: http://arxiv.org/abs/2305.17079

Verifying concurrent search structure templates

Autori: Siddharth Krishna Dennis Shasha Thomas Wies a ďalší

Zdroj: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. :181-196

Predmety: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Prístupová URL adresa: https://dl.acm.org/doi/pdf/10.1145/3385412.3386029
https://nyuscholars.nyu.edu/en/publications/verifying-concurrent-search-structure-templates
https://dblp.uni-trier.de/db/conf/pldi/pldi2020.html#KrishnaPSW20