Search results for "CPP"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
130	Danny Z. Chen, Shuang Luan, Chao Wang 0002	Coupled Path Planning, Region Optimization, and Applications in Intensity-Modulated Radiation Therapy.	ESA	2008	DBLP DOI BibTeX RDF
125	Michael D. Ernst, Greg J. Badros, David Notkin	An Empirical Analysis of C Preprocessor Use.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	C preprocessor, macro substitution, file inclusion, C++, empirical study, C, program understanding, macro, conditional compilation, Cpp
98	Jonathan T. Trostle, Hosei Matsuoka, Muhammad Mukarram Bin Tariq, James Kempf, Toshiro Kawahara, Ravi Jain	Cryptographically Protected Prefixes for Location Privacy in IPv6.	Privacy Enhancing Technologies	2004	DBLP DOI BibTeX RDF
81	Yu-Hao Chang, Shang-Ho Tsai, Xiaoli Yu, C.-C. Jay Kuo	Ultrawideband Transceiver Design Using Channel Phase Precoding.	IEEE Trans. Signal Process.	2007	DBLP DOI BibTeX RDF
81	Yongdong Wu, Feng Bao 0001, Robert H. Deng	Forgery Attack to an Asymptotically Optimal Traitor Tracing Scheme.	ACISP	2007	DBLP DOI BibTeX RDF
81	Kumiko Ishida, Tomoyuki Uchida, Kayo Kawamoto	Extracting Structural Features Among Words from Document Data Streams.	Australian Conference on Artificial Intelligence	2006	DBLP DOI BibTeX RDF
73	Jean-Marie Favre	CPP Denotational Semantics.	SCAM	2003	DBLP DOI BibTeX RDF
60	Tal Cohen, Joseph Gil	Self-Calibration of Metrics of Java Methods.	TOOLS (37)	2000	DBLP DOI BibTeX RDF	metrics self-calibration, Java methods, internal product metrics, common programming practice, external qualities, absolute values, local values, global database, method profiles, traditional programming languages, Java, software quality, software metrics, decision-making, calibration, observations, object oriented languages, data gathering, software complexity, CPP
57	Hong K. Kim, Jack S. N. Jean	Concurrency Preserving Rartitioning (CPP) for Parallel Logic Simulation.	Workshop on Parallel and Distributed Simulation	1996	DBLP DOI BibTeX RDF	Load Balancing, Concurrency, Partitioning, Time Warp, Parallel Logic Simulation
49	Jörg Liebig, Sven Apel, Christian Lengauer, Christian Kästner, Michael Schulze	An analysis of the variability in forty preprocessor-based software product lines.	ICSE (1)	2010	DBLP DOI BibTeX RDF	C preprocessor, empirical study, software product lines
49	Yoann Padioleau	Parsing C/C++ Code without Pre-processing.	CC	2009	DBLP DOI BibTeX RDF
49	Sang-Hong Lee, Hyoung J. Jang, Joon S. Lim	Forecasting Short-Term KOSPI Time Series Based on NEWFM.	New Directions in Intelligent Interactive Multimedia	2008	DBLP DOI BibTeX RDF	weighted average defuzzification, KOSPI, wavelet transform, fuzzy neural networks, nonlinear time series
49	Sang-Hong Lee, Hyoung J. Jang, Joon S. Lim	Extracting Input Features and Fuzzy Rules for Forecasting Exchange Rate Using NEWFM.	New Directions in Intelligent Interactive Multimedia	2008	DBLP DOI BibTeX RDF	wavelet transform, forecasting, fuzzy neural networks, exchange rate
49	Sang-Hong Lee, Joon S. Lim	KOSPI Time Series Analysis Using Neural Network with Weighted Fuzzy Membership Functions.	KES-AMSTA	2008	DBLP DOI BibTeX RDF	weighted average defuzzification, KOSPI, wavelet transform, fuzzy neural networks, nonlinear time series
49	Eric G. Ackermann	Bibliometrics of a controversial scientific literature: Polywater research, 1962-1974.	Scientometrics	2005	DBLP DOI BibTeX RDF
49	Tevfik Bultan, Cevdet Aykanat	Circuit partitioning using parallel mean field annealing algorithms.	SPDP	1991	DBLP DOI BibTeX RDF
44	Amin Timany, Dmitriy Traytel, Brigitte Pientka, Sandrine Blazy (eds.)	Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2024, London, UK, January 15-16, 2024	CPP	2024	DBLP DOI BibTeX RDF
44	Azalea Raad	Under-Approximation for Scalable Bug Detection (Keynote).	CPP	2024	DBLP DOI BibTeX RDF
44	Duc-Than Nguyen, Lennart Beringer, William Mansky, Shengyi Wang	Compositional Verification of Concurrent C Programs with Search Structure Templates.	CPP	2024	DBLP DOI BibTeX RDF
44	David Monniaux	Memory Simulations, Security and Optimization in a Verified Compiler.	CPP	2024	DBLP DOI BibTeX RDF
44	Ike Mulder, Robbert Krebbers	Unification for Subformula Linking under Quantifiers.	CPP	2024	DBLP DOI BibTeX RDF
44	Nao Hirokawa, Dohan Kim 0001, Kiraku Shintani, René Thiemann	Certification of Confluence- and Commutation-Proofs via Parallel Critical Pairs.	CPP	2024	DBLP DOI BibTeX RDF
44	María Inés de Frutos-Fernández, Filippo Alberto Edoardo Nuccio Mortarino Majno di Capriglio	A Formalization of Complete Discrete Valuation Rings and Local Fields.	CPP	2024	DBLP DOI BibTeX RDF
44	Chelsea Edmonds, Lawrence C. Paulson	Formal Probabilistic Methods for Combinatorial Structures using the Lovász Local Lemma.	CPP	2024	DBLP DOI BibTeX RDF
44	Philipp G. Haselwarter, Benjamin Salling Hvass, Lasse Letager Hansen, Théo Winterhalter, Catalin Hritcu, Bas Spitters	The Last Yard: Foundational End-to-End Verification of High-Speed Cryptography.	CPP	2024	DBLP DOI BibTeX RDF
44	Qiyuan Zhao, George Pîrlea, Zhendong Ang, Umang Mathur 0001, Ilya Sergey	Rooting for Efficiency: Mechanised Reasoning about Array-Based Trees in Separation Logic.	CPP	2024	DBLP DOI BibTeX RDF
44	Joseph Eremondi	Strictly Monotone Brouwer Trees for Well Founded Recursion over Multiple Arguments.	CPP	2024	DBLP DOI BibTeX RDF
44	Niels van der Weide, Nima Rasekh, Benedikt Ahrens, Paige Randall North	Univalent Double Categories.	CPP	2024	DBLP DOI BibTeX RDF
44	Nikolai Kudasov, Emily Riehl, Jonathan Weinberger	Formalizing the ∞-Categorical Yoneda Lemma.	CPP	2024	DBLP DOI BibTeX RDF
44	Andrew W. Appel, Ariel Kellison	VCFloat2: Floating-Point Error Analysis in Coq.	CPP	2024	DBLP DOI BibTeX RDF
44	Arthur Adjedj, Meven Lennon-Bertrand, Kenji Maillard, Pierre-Marie Pédrot, Loïc Pujet	Martin-Löf à la Coq.	CPP	2024	DBLP DOI BibTeX RDF
44	Ana de Almeida Borges, Mireia González Bedmar, Juan José Conejero Rodríguez, Eduardo Hermo Reyes, Joaquim Casals Buñuel, Joost J. Joosten	UTC Time, Formally Verified.	CPP	2024	DBLP DOI BibTeX RDF
44	Ian Shillito, Dominik Kirst	A Mechanised and Constructive Reverse Analysis of Soundness and Completeness of Bi-intuitionistic Logic.	CPP	2024	DBLP DOI BibTeX RDF
44	Siddhartha Gadgil, Anand Rao Tadipatri	Formalizing Giles Gardam's Disproof of Kaplansky's Unit Conjecture.	CPP	2024	DBLP DOI BibTeX RDF
44	Lauren White, Laura Titolo, J. Tanner Slagel, César A. Muñoz	A Temporal Differential Dynamic Logic Formal Embedding.	CPP	2024	DBLP DOI BibTeX RDF
44	Benedikt Ahrens, Ralph Matthes, Niels van der Weide, Kobe Wullaert	Displayed Monoidal Categories for the Semantics of Linear Logic.	CPP	2024	DBLP DOI BibTeX RDF
44	Ekaterina Zhuchko, Margus Veanes, Gabriel Ebner	Lean Formalization of Extended Regular Expression Matching with Lookarounds.	CPP	2024	DBLP DOI BibTeX RDF
44	Clément Chavanon, Frédéric Besson, Tristan Ninet	PfComp: A Verified Compiler for Packet Filtering Leveraging Binary Decision Diagrams.	CPP	2024	DBLP DOI BibTeX RDF
44	Robbert Krebbers, Dmitriy Traytel, Brigitte Pientka, Steve Zdancewic (eds.)	Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2023, Boston, MA, USA, January 16-17, 2023	CPP	2023	DBLP DOI BibTeX RDF
44	Rudy Peterson, Eric Hayden Campbell, John Chen, Natalie Isak, Calvin Shyu, Ryan Doenges, Parisa Ataei, Nate Foster	P4Cub: A Little Language for Big Routers.	CPP	2023	DBLP DOI BibTeX RDF
44	Reynald Affeldt, Cyril Cohen, Ayumu Saito	Semantics of Probabilistic Programs using s-Finite Kernels in Coq.	CPP	2023	DBLP DOI BibTeX RDF
44	Hugo Férée, Sam van Gool	Formalizing and Computing Propositional Quantifiers.	CPP	2023	DBLP DOI BibTeX RDF
44	Anthony Bordg, Adrián Doña Mateo	Encoding Dependently-Typed Constructions into Simple Type Theory.	CPP	2023	DBLP DOI BibTeX RDF
44	Kexing Ying, Rémy Degenne	A Formalization of Doob's Martingale Convergence Theorems in mathlib.	CPP	2023	DBLP DOI BibTeX RDF
44	Matthew L. Daggitt, Robert Atkey, Wen Kokke, Ekaterina Komendantskaya, Luca Arnaboldi 0001	Compiling Higher-Order Specifications to SMT Solvers: How to Deal with Rejection Constructively.	CPP	2023	DBLP DOI BibTeX RDF
44	Jannis Limperg, Asta Halkjær From	Aesop: White-Box Best-First Proof Search for Lean.	CPP	2023	DBLP DOI BibTeX RDF
44	Angeliki Koutsoukou-Argyraki, Mantas Baksys, Chelsea Edmonds	A Formalisation of the Balog-Szemerédi-Gowers Theorem in Isabelle/HOL.	CPP	2023	DBLP DOI BibTeX RDF
44	Arvind Arasu, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Aymeric Fromherz, Kesha Hietala, Bryan Parno, Ravi Ramamurthy	FastVer2: A Provably Correct Monitor for Concurrent, Key-Value Stores.	CPP	2023	DBLP DOI BibTeX RDF
44	Yannick Forster 0002, Felix Jahn, Gert Smolka	A Computational Cantor-Bernstein and Myhill's Isomorphism Theorem in Constructive Type Theory (Proof Pearl).	CPP	2023	DBLP DOI BibTeX RDF
44	Cezary Kaliszyk	Improved Assistance for Interactive Proof (Keynote).	CPP	2023	DBLP DOI BibTeX RDF
44	Katherine Kosaian, Yong Kiam Tan, André Platzer	A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL.	CPP	2023	DBLP DOI BibTeX RDF
44	Sandrine Blazy	CompCert: A Journey through the Landscape of Mechanized Semantics for Verified Compilation (Keynote).	CPP	2023	DBLP DOI BibTeX RDF
44	Haobin Ni, Antoine Delignat-Lavaud, Cédric Fournet, Tahina Ramananandro, Nikhil Swamy	ASN1*: Provably Correct, Non-malleable Parsing for ASN.1 DER.	CPP	2023	DBLP DOI BibTeX RDF
44	Thomas Lamiaux, Axel Ljungström, Anders Mörtberg	Computing Cohomology Rings in Cubical Agda.	CPP	2023	DBLP DOI BibTeX RDF
44	Bhavik Mehta	Formalising Sharkovsky's Theorem (Proof Pearl).	CPP	2023	DBLP DOI BibTeX RDF
44	Christina Kohl, Aart Middeldorp	A Formalization of the Development Closedness Criterion for Left-Linear Term Rewrite Systems.	CPP	2023	DBLP DOI BibTeX RDF
44	Floris van Doorn, Patrick Massot, Oliver Nash	Formalising the h-Principle and Sphere Eversion.	CPP	2023	DBLP DOI BibTeX RDF
44	Anne Baanen, Alex J. Best, Nirvana Coppola, Sander R. Dahmen	Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves.	CPP	2023	DBLP DOI BibTeX RDF
44	Valentin Blot, Denis Cousineau 0002, Enzo Crance, Louise Dubois de Prisque, Chantal Keller, Assia Mahboubi, Pierre Vial	Compositional Pre-processing for Automated Reasoning in Dependent Type Theory.	CPP	2023	DBLP DOI BibTeX RDF
44	Michael Färber 0002	Terms for Efficient Proof Checking and Parsing.	CPP	2023	DBLP DOI BibTeX RDF
44	Brae J. Webb, Ian J. Hayes, Mark Utting	Verifying Term Graph Optimizations using Isabelle/HOL.	CPP	2023	DBLP DOI BibTeX RDF
44	Joshua Clune	A Formalized Reduction of Keller's Conjecture.	CPP	2023	DBLP DOI BibTeX RDF
44	Benjamin Grégoire, Jean-Christophe Léchenet, Enrico Tassi	Practical and Sound Equality Tests, Automatically: Deriving eqType Instances for Jasmin's Data Types with Coq-Elpi.	CPP	2023	DBLP DOI BibTeX RDF
44	Xavier Allamigeon, Quentin Canu, Pierre-Yves Strub	A Formal Disproof of Hirsch Conjecture.	CPP	2023	DBLP DOI BibTeX RDF
44	Yann Herklotz, Delphine Demange, Sandrine Blazy	Mechanised Semantics for Gated Static Single Assignment.	CPP	2023	DBLP DOI BibTeX RDF
44	Eske Hoy Nielsen, Danil Annenkov, Bas Spitters	Formalising Decentralised Exchanges in Coq.	CPP	2023	DBLP DOI BibTeX RDF
44	Andrei Popescu 0001, Steve Zdancewic (eds.)	CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17 - 18, 2022	CPP	2022	DBLP DOI BibTeX RDF
44	Louis Cheung, Liam O'Connor, Christine Rizkallah	Overcoming restraint: composing verification of foreign functions with cogent.	CPP	2022	DBLP DOI BibTeX RDF
44	Jeremy Avigad, Lior Goldberg, David Levit, Yoav Seginer, Alon Titelman	A verified algebraic representation of cairo program execution.	CPP	2022	DBLP DOI BibTeX RDF
44	César Muñoz	Structural embeddings revisited (invited talk).	CPP	2022	DBLP DOI BibTeX RDF
44	William Schultz, Ian Dardik, Stavros Tripakis	Formal verification of a distributed dynamic reconfiguration protocol.	CPP	2022	DBLP DOI BibTeX RDF
44	Esther Conrad, Laura Titolo, Dimitra Giannakopoulou, Thomas Pressburger, Aaron Dutle	A compositional proof framework for FRETish requirements.	CPP	2022	DBLP DOI BibTeX RDF
44	Patricia Johann, Enrico Ghiorzi	(Deep) induction rules for GADTs.	CPP	2022	DBLP DOI BibTeX RDF
44	Dan Frumin	Semantic cut elimination for the logic of bunched implications, formalized in Coq.	CPP	2022	DBLP DOI BibTeX RDF
44	Mark Koch, Dominik Kirst	Undecidability, incompleteness, and completeness of second-order logic in Coq.	CPP	2022	DBLP DOI BibTeX RDF
44	Pablo Donato, Pierre-Yves Strub, Benjamin Werner	A drag-and-drop proof tactic.	CPP	2022	DBLP DOI BibTeX RDF
44	Cyril Six, Léo Gourdin, Sylvain Boulmé, David Monniaux, Justus Fasse, Nicolas Nardino	Formally verified superblock scheduling.	CPP	2022	DBLP DOI BibTeX RDF
44	Jonathan Prieto-Cubides	On homotopy of walks and spherical maps in homotopy type theory.	CPP	2022	DBLP DOI BibTeX RDF
44	Sarah Spall, Neil Mitchell, Sam Tobin-Hochstadt	Forward build systems, formally.	CPP	2022	DBLP DOI BibTeX RDF
44	Oliver Nash	Formalising lie algebras.	CPP	2022	DBLP DOI BibTeX RDF
44	Denis Firsov, Dominique Unruh	Reflection, rewinding, and coin-toss in EasyCrypt.	CPP	2022	DBLP DOI BibTeX RDF
44	June Andronick	The sel4 verification: the art and craft of proof and the reality of commercial support (invited talk).	CPP	2022	DBLP DOI BibTeX RDF
44	Benedikt Ahrens, Ralph Matthes, Anders Mörtberg	Implementing a category-theoretic framework for typed abstract syntax.	CPP	2022	DBLP DOI BibTeX RDF
44	Guillaume Ambal, Sergueï Lenglet, Alan Schmitt	Certified abstract machines for skeletal semantics.	CPP	2022	DBLP DOI BibTeX RDF
44	Mihails Milehins	An extension of the framework types-to-sets for Isabelle/HOL.	CPP	2022	DBLP DOI BibTeX RDF
44	Derek Egolf, Sam Lasser, Kathleen Fisher	Verbatim++: verified, optimized, and semantically rich lexing with derivatives.	CPP	2022	DBLP DOI BibTeX RDF
44	Andrew W. Appel	Coq's vibrant ecosystem for verification engineering (invited talk).	CPP	2022	DBLP DOI BibTeX RDF
44	Hing-Lun Chan	Windmills of the minds: an algorithm for fermat's two squares theorem.	CPP	2022	DBLP DOI BibTeX RDF
44	Quentin Carbonneaux, Noam Zilberstein, Christoph Klee, Peter W. O'Hearn, Francesco Zappa Nardelli	Applying formal verification to microkernel IPC at meta.	CPP	2022	DBLP DOI BibTeX RDF
44	Michael Färber 0002	Safe, fast, concurrent proof checking for the lambda-pi calculus modulo rewriting.	CPP	2022	DBLP DOI BibTeX RDF
44	Simon Friis Vindum, Dan Frumin, Lars Birkedal	Mechanized verification of a fine-grained concurrent queue from meta's folly library.	CPP	2022	DBLP DOI BibTeX RDF
44	Ariel Kellison	A machine-checked direct proof of the Steiner-lehmus theorem.	CPP	2022	DBLP DOI BibTeX RDF
44	Shuanglong Kan, Anthony Widjaja Lin, Philipp Rümmer, Micha Schrader	CertiStr: a certified string solver.	CPP	2022	DBLP DOI BibTeX RDF
44	Alexandre Moine 0001, Arthur Charguéraud, François Pottier	Specification and verification of a transient stack.	CPP	2022	DBLP DOI BibTeX RDF
44	Catalin Hritcu, Andrei Popescu 0001 (eds.)	CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, Virtual Event, Denmark, January 17-19, 2021	CPP	2021	DBLP DOI BibTeX RDF
44	Elliot Catt, Michael Norrish	On the formalisation of Kolmogorov complexity.	CPP	2021	DBLP DOI BibTeX RDF
44	C. H. R. Chhak, Andrew Tolmach, Sean Noble Anderson	Towards formally verified compilation of tag-based policy enforcement.	CPP	2021	DBLP DOI BibTeX RDF
44	Véronique Benzaken, Sarah Cohen-Boulakia, Evelyne Contejean, Chantal Keller, Rébecca Zucchini	A Coq formalization of data provenance.	CPP	2021	DBLP DOI BibTeX RDF
44	Tobias Nipkow	Teaching algorithms and data structures with a proof assistant (invited talk).	CPP	2021	DBLP DOI BibTeX RDF
44	Martin Desharnais, Stefan Brunthaler 0001	Towards efficient and verified virtual machines for dynamic languages.	CPP	2021	DBLP DOI BibTeX RDF