Donut domains: Efficient non-convex domains for abstract...
collaborate.princeton.edu
Donut domains: Efficient non-convex domains for abstract interpretation. Khalil Ghorbal, Franjo Ivančić, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta.
Khalil Ghorbal - CV Accueil - Archive ouverte HALArchive ouverte HAL
cv.hal.science
Khalil Ghorbal , Franjo Ivancic , Gogul Balakrishnan , Naoto Maeda , Aarti Gupta et al. VMCAI Verification, Model Checking, and Abstract ... › kghorbal
Publications | Xusheng Xiao
engineering.case.edu
Xusheng Xiao, Gogul Balakrishnan, Franjo Ivancic, Naoto Maeda, Aarti Gupta and Deepak Chhetri. ARC++: Effective Typestate and Lifetime Dependency ...
Alle Infos zum Namen "Naoto Maeda"
Franjo Ivančić - Publications - Google Sitessites.google.com
sites.google.com
Gogul Balakrishnan, Naoto Maeda, Sriram Sankaranarayanan, Franjo Ivančić, Aarti Gupta and Rakesh Pothengil: Modeling and Analyzing the Interaction of C and C++ ... › pubs
Naoto Maeda - researchr alias
researchr.org
Object Model Construction for Inheritance in C++ and Its Applications to Program AnalysisJing Yang 0003, Gogul Balakrishnan, Naoto Maeda, Franjo Ivancic, ...
E Test-Case Generation - ppt download
slidesplayer.net
E1 “Feedback-Directed Unit Test Generation for C/C++ using Concolic Execution” Pranav Garg, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda and Aarti Gupta...
publications – Modeling and Analysis of InriaInria
team.inria.fr
titre: Donut Domains: Efficient Non-convex Domains for Abstract Interpretation; auteur: Khalil Ghorbal, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, ... › hycomes
ARC++: Effective Typestate and Lifetime Dependency AnalysisGoogle Research
research.google
von X Xiao · · Zitiert von: 9 — Xusheng Xiao · Gogul Balakrishnan · Franjo Ivancic · Naoto Maeda · Aarti Gupta · Deepak Chhetri. › pub42939
ARC++: Effective typestate and lifetime dependency analysisPrinceton University
collaborate.princeton.edu
von X Xiao · · Zitiert von: 9 — ARC++: Effective typestate and lifetime dependency analysis. Xusheng Xiao, Gogul Balakrishnan, Franjo Ivančić, Naoto Maeda, Aarti Gupta, Deepak Chhetri. › ...
CC accepted papers - ETAPS 2022etaps.org › ...
etaps.org
Static Detection of Unsafe Component Loadings; Jing Yang, Gogul Balakrishnan, Naoto Maeda, Franjo Ivancic, Aarti Gupta, Nishant Sinha, ...
CC accepted papersetaps 2023
etaps.org
Static Detection of Unsafe Component Loadings; Jing Yang, Gogul Balakrishnan, Naoto Maeda, Franjo Ivancic, Aarti Gupta, Nishant Sinha, ... › contents › 95-c...
Efficient Non-convex Domains for Abstract Interpretationhal.archives-ouvertes.fr › hal
hal.archives-ouvertes.fr
Khalil Ghorbal, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta. Donut Domains: Efficient Non-convex Domains for Abstract Interpretation.
Gogul Balakrishnan - researchr aliasresearchr.org › alias › gogul-balakrishnan
researchr.org
Interprocedural Exception Analysis for C++Prakash Prabhu, Naoto Maeda, Gogul Balakrishnan, Franjo Ivancic, Aarti Gupta. ECOOP 2011: [doi] ...
Feedback-directed unit test generation for C/C++ using ...GitHub Pages
alastairreid.github.io
Feedback-directed unit test generation for C/C++ using concolic execution. Pranav Garg, Franjo Ivančić, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta › gar...
Modeling and Analyzing the Interaction of C and C++ Stringswww.springerprofessional.de › modeling-and-analy...
www.springerprofessional.de
Authors: Gogul Balakrishnan, Naoto Maeda, Sriram Sankaranarayanan, Franjo Ivančić, Aarti Gupta, Rakesh Pothengil. Publisher: Springer Berlin Heidelberg.
Gogul Balakrishnan > Research > Papers
pages.cs.wisc.edu
Franjo Ivancic and Gogul Balakrishnan and Aarti Gupta and Sriram Sankaranarayanan and Naoto Maeda and Hiroki Tokuoka and Takashi ...
Object Model Construction for Inheritance in C++ and Its ...Springer Professional
www.springerprofessional.de
Authors : Jing Yang, Gogul Balakrishnan, Naoto Maeda, Franjo Ivančić, Aarti Gupta, Nishant Sinha, Sriram Sankaranarayanan, Naveen Sharma. Show more. › ...
Publications | Integrated Systems | NEC Labs AmericaNEC Labs
www.nec-labs.com
Naoto Maeda, NEC Laboratories America, Inc.; Franjo Ivancic, NEC Laboratories America, Inc.; Gogul Balakrishnan, NEC Laboratories America, Inc.; ... › publi...
VMCAI Accepted Papers
lara.epfl.ch
Khalil Ghorbal, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda and Aarti Gupta. Donut Domains: Efficient Non-Convex Domains for Abstract Interpretation.
program - LIXwww.lix.polytechnique.fr › NSV › nsvProgram
www.lix.polytechnique.fr
9: :00, Contributed Talk: Khalil Ghorbal, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, Aarti Gupta, Generating non-convex invariants using donut ...
mybib - LIX-polytechniqueÉcole polytechnique
www.lix.polytechnique.fr
[7], Khalil Ghorbal, Franjo Ivancic, Gogul Balakrishnan, Naoto Maeda, and Aarti Gupta. Donut domains: Efficient non-convex domains for abstract interpretation. › ...
Proceedings of Formal Methods in Computer Aided Design, FMCAD 2010
repositories.lib.utexas.edu
... Aarti Gupta, Franjo Ivančić, Vineet Kahlon, Weihong Li, Naoto Maeda, Nadia Papakonstantinou, Sriram Sankaranarayanan (University of Colorado at Boulder) ...
Publications - Computer Science
home.cs.colorado.edu
Franjo Ivancic, Gogul Balakrishnan, Aarti Gupta, Sriram Sankaranarayanan, Naoto Maeda, Takashi Imoto, Rakesh Pothengil, and Mustafa Hussain, Scope ...
Verwandte Suchanfragen zu Naoto Maeda
Personen Vorname "Naoto" (43) Name "Maeda" (117) |
sortiert nach Relevanz / Datum