Zobrazeno 1 - 10
of 13
pro vyhledávání: '"Chandrasekhar Boyapati"'
Publikováno v:
Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering.
At ISSTA 2002, the three authors (then Ph.D. students) published the paper "Korat: Automated Testing Based on Java Predicates", which won one of the first ACM SIGSOFT Distinguished paper awards. In 2012, the paper won the ACM SIGSOFT Impact Paper Awa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d6d224db97db7a0e5d21fbed6bdbe3d8
https://doi.org/10.1145/2393596.2407117
https://doi.org/10.1145/2393596.2407117
The need to build next generation air force systems with highly complex functions, but at relatively low cost, will inevitably means a major investment in software. Without highly reliable software, any ambitious air force program cannot succeed. Ind
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::163167a692872b0c329ee7f39863da1c
https://doi.org/10.21236/ada567483
https://doi.org/10.21236/ada567483
Publikováno v:
OOPSLA
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states without explicitly checking them. It is significantly more efficient tha
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5d1be6ead13313c03a807d8266ea8efb
https://doi.org/10.1145/1869459.1869461
https://doi.org/10.1145/1869459.1869461
Publikováno v:
OOPSLA
This paper presents novel techniques for checking the soundness of a type system automatically using a software model checker. Our idea is to systematically generate every type correct intermediate program state (within some finite bounds), execute t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::77d6704c74977090b974b5efa74b0299
https://doi.org/10.1145/1449764.1449803
https://doi.org/10.1145/1449764.1449803
Publikováno v:
LCTES
In previous work on SafeJava we presented a type system extension to the Java source language that statically prevents data races and deadlocks in multithreaded programs. SafeJava is expressive enough to support common programming patterns, its type
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0e2c1ac9034c5623557b3e76108cabbe
https://doi.org/10.1145/1254766.1254768
https://doi.org/10.1145/1254766.1254768
Autor:
Paul T. Darga, Chandrasekhar Boyapati
Publikováno v:
Directed Model Checking
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree implementation. Traditional software model checkers systematically generat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5e9162aec63e0bb52e2572160cd73db0
https://doi.org/10.1145/1167473.1167504
https://doi.org/10.1145/1167473.1167504
Autor:
Chandrasekhar Boyapati
Publikováno v:
Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b8bf5203bb58757cad431e756f314e04
https://doi.org/10.1145/3244314
https://doi.org/10.1145/3244314
Publikováno v:
OOPSLA
Persistent object stores require a way to automatically upgrade persistent objects, to change their code and storage representation. Automatic upgrades are a challenge for such systems. Upgrades must be performed in a way that is efficient both in sp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d9ec429e51627a0161f97ef8fdbdc26c
https://doi.org/10.1145/949305.949341
https://doi.org/10.1145/949305.949341
Publikováno v:
PLDI
The Real Time Specification for Java (RTSJ) allows a program to create real-time threads with hard real-time constraints. Real-time threads use region-based memory management to avoid unbounded pauses caused by interference from the garbage collector
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::888e121d42ee93a00d6039d4685173c3
https://doi.org/10.1145/781131.781168
https://doi.org/10.1145/781131.781168
Publikováno v:
POPL
Ownership types provide a statically enforceable way of specifying object encapsulation and enable local reasoning about program correctness in object-oriented languages. However, a type system that enforces strict object encapsulation is too constra
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e62de63a20b66d9810ac50754d81fd97
https://doi.org/10.1145/604131.604156
https://doi.org/10.1145/604131.604156