-
1
المؤلفون: Matthew Sotoudeh, Zhe Tao, Aditya V. Thakur
المصدر: International Journal on Software Tools for Technology Transfer. 25:145-165
مصطلحات موضوعية: Software, Information Systems
-
2
المؤلفون: Arnaud J. Venet, Aditya V. Thakur, Sung Kook Kim
المصدر: Proceedings of the ACM on Programming Languages. 4:1-33
مصطلحات موضوعية: FOS: Computer and information sciences, 010302 applied physics, Computer Science - Programming Languages, Speedup, Computer science, Concurrency, Parallel algorithm, 020207 software engineering, 02 engineering and technology, Parallel computing, Fixed point, Abstract interpretation, 01 natural sciences, Program analysis, 0103 physical sciences, Scalability, 0202 electrical engineering, electronic engineering, information engineering, Safety, Risk, Reliability and Quality, Software, Sequential algorithm, Programming Languages (cs.PL)
-
3
المؤلفون: Matthew Sotoudeh, Aditya V. Thakur
المصدر: PLDI
مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Machine Learning, Theoretical computer science, Linear programming, Computer science, Regular polygon, 020207 software engineering, Polytope, 02 engineering and technology, Construct (python library), Machine Learning (cs.LG), 0202 electrical engineering, electronic engineering, information engineering, Key (cryptography), 020201 artificial intelligence & image processing, Point (geometry), Variety (universal algebra), Finite set
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a090e45b36daea9b8dd60245ceefa5ab
https://doi.org/10.1145/3453483.3454064 -
4
المؤلفون: Matthew Sotoudeh, Aditya V. Thakur
المصدر: Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030720124
TACAS (2)مصطلحات موضوعية: Computer science, business.industry, 02 engineering and technology, 010501 environmental sciences, Space (commercial competition), Machine learning, computer.software_genre, 01 natural sciences, Variety (cybernetics), 0202 electrical engineering, electronic engineering, information engineering, Key (cryptography), Deep neural networks, 020201 artificial intelligence & image processing, Point (geometry), Artificial intelligence, Analysis tools, Representation (mathematics), business, computer, 0105 earth and related environmental sciences
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::91be98f7d7904099128c8a273f97b965
https://doi.org/10.1007/978-3-030-72013-1_15 -
5
المؤلفون: Aditya V. Thakur, Matthew Sotoudeh
المصدر: Onward!
مصطلحات موضوعية: FOS: Computer and information sciences, Computational model, Computer Science - Programming Languages, Computer science, business.industry, Computer Science - Artificial Intelligence, Analogy, 020207 software engineering, 02 engineering and technology, Software maintenance, Field (computer science), Software Engineering (cs.SE), Computer Science - Software Engineering, Artificial Intelligence (cs.AI), Software, 020204 information systems, Copycat, 0202 electrical engineering, electronic engineering, information engineering, Mathematical structure, Representation (mathematics), Software engineering, business, Programming Languages (cs.PL)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::124ae60edcde39b8e5d5fed9b1d6cb7b
http://arxiv.org/abs/2009.06592 -
6
المؤلفون: Arnaud J. Venet, Sung Kook Kim, Aditya V. Thakur
المصدر: Static Analysis ISBN: 9783030654733
SASمصطلحات موضوعية: Discrete mathematics, Computation, Time efficiency, 020207 software engineering, 02 engineering and technology, Static analysis, Fixed point, Abstract interpretation, Domain (mathematical analysis), Set (abstract data type), 0202 electrical engineering, electronic engineering, information engineering, Memory footprint, 020201 artificial intelligence & image processing, Mathematics
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::8ad5b9232170136a7d97398e1dc65aeb
https://doi.org/10.1007/978-3-030-65474-0_3 -
7
المؤلفون: Matthew Sotoudeh, Aditya V. Thakur
المصدر: Static Analysis ISBN: 9783030654733
SASمصطلحات موضوعية: Artificial neural network, business.industry, Computer science, Computer Science::Neural and Evolutionary Computation, Hyperbolic function, Activation function, Parameterized complexity, Computer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing), 02 engineering and technology, Interval (mathematics), Sigmoid function, 010501 environmental sciences, 01 natural sciences, Domain (software engineering), 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Artificial intelligence, business, 0105 earth and related environmental sciences, Abstraction (linguistics)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::76e220af6f84edefb85bbff18514ad51
https://doi.org/10.1007/978-3-030-65474-0_4 -
8
المصدر: ESEC/SIGSOFT FSE
مصطلحات موضوعية: business.industry, Computer science, Return statement, 020207 software engineering, 02 engineering and technology, Data loss, Static analysis, computer.software_genre, Set (abstract data type), Software, 020204 information systems, Scalability, 0202 electrical engineering, electronic engineering, information engineering, Code (cryptography), Domain knowledge, Data mining, business, computer
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::f841104cd22c698ea91c4c25c98ade1b
https://doi.org/10.1145/3338906.3338960 -
9
المؤلفون: Cindy Rubio-González, Aditya V. Thakur, Daniel DeFreez
المصدر: ESEC/SIGSOFT FSE
مصطلحات موضوعية: Theoretical computer science, Computer science, Program comprehension, 020207 software engineering, Linux kernel, 02 engineering and technology, Function (mathematics), Program analysis, Semantic equivalence, 020204 information systems, Path (graph theory), 0202 electrical engineering, electronic engineering, information engineering, Graph (abstract data type), Embedding
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::6f70993d39c8e470259aacfbb7092ffc
https://doi.org/10.1145/3236024.3236059 -
10
المصدر: ASPLOS
مصطلحات موضوعية: Correctness, Bidirectional search, Computer science, Superoptimization, 020207 software engineering, Parallel computing, 02 engineering and technology, General Medicine, Computer Graphics and Computer-Aided Design, 020202 computer hardware & architecture, Search algorithm, 0202 electrical engineering, electronic engineering, information engineering, General Earth and Planetary Sciences, 020201 artificial intelligence & image processing, Pruning (decision trees), Algorithm, Program synthesis, Software, Abstraction (linguistics), General Environmental Science