E-LIB Suche - Ergebnisse für: Viswanathan, Mahesh

1

Optimal Runtime Assurance via Reinforcement Learning:

, In: 2024 ACM/IEEE 15th International Conference on Cyber-Physical Systems (ICCPS),

Miller, Kristina ; Zeitler, Christopher K. ; Shen, William... - p. 67-76 , 2024

Link: https://doi.org/10.1109/..

2

Stack-Aware Hyperproperties:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Bajwa, Ali ; Zhang, Minjian ; Chadha, Rohit. - p. 308-325 , 2023

Link: https://doi.org/10.1007/..

3

Dynamic Race Detection with O(1) Samples:

Thokair, Mosaad Al ; Zhang, Minjian ; Mathur, Umang.
Proceedings of the ACM on Programming Languages. 7 (2023) POPL - p. 1308-1337 , 2023

Link: https://doi.org/10.1145/..

4

Sound Dynamic Deadlock Prediction in Linear Time:

Tunç, Hünkar Can ; Mathur, Umang ; Pavlogiannis, Andreas.
Proceedings of the ACM on Programming Languages. 7 (2023) PLDI - p. 1733-1758 , 2023

Link: https://doi.org/10.1145/..

5

RTAEval: A Framework for Evaluating Runtime Assurance Logic:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,

Miller, Kristina ; Zeitler, Christopher K. ; Shen, William.. - p. 302-313 , 2023

Link: https://doi.org/10.1007/..

6

Deciding Differential Privacy of Online Algorithms with Mul..:

, In: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security,

Chadha, Rohit ; Sistla, A. Prasad ; Viswanathan, Mahesh. - p. 1761-1775 , 2023

Link: https://dl.acm.org/doi/1..

7

Automata Column:

Viswanathan, Mahesh
ACM SIGLOG News. 9 (2022) 4 - p. 4-4 , 2022

Link: https://doi.org/10.1145/..

8

A tree clock data structure for causal orderings in concurr..:

, In: Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems,

Mathur, Umang ; Pavlogiannis, Andreas ; Tunç, Hünkar Can. - p. 710-725 , 2022

Link: https://dl.acm.org/doi/1..

9

Evaluating proof blocks problems as exam questions:

Poulsen, Seth ; Viswanathan, Mahesh ; Herman, Geoffrey L..
ACM Inroads. 13 (2022) 1 - p. 41-51 , 2022

Link: https://doi.org/10.1145/..

10

Evaluating proof blocks problems as exam questions:

Poulsen, Seth ; Viswanathan, Mahesh ; Herman, Geoffrey L..
ACM Inroads. 13 (2022) 1 - p. 41-51 , 2022

Link: https://dl.acm.org/doi/1..

11

Automata column:

Viswanathan, Mahesh
ACM SIGLOG News. 9 (2022) 3 - p. 5-5 , 2022

Link: https://doi.org/10.1145/..

12

Controller Synthesis for Linear System With Reach-Avoid Spe..:

Fan, Chuchu ; Qin, Zengyi ; Mathur, Umang...
IEEE Transactions on Automatic Control. 67 (2022) 4 - p. 1713-1727 , 2022

Link: https://doi.org/10.1109/..

13

Proof Blocks : Autogradable Scaffolding Activities for L..:

, In: Proceedings of the 27th ACM Conference on on Innovation and Technology in Computer Science Education Vol. 1,

Poulsen, Seth ; Viswanathan, Mahesh ; Herman, Geoffrey L.. - p. 428-434 , 2022

Link: https://dl.acm.org/doi/1..

14

Evaluating Proof Blocks Problems as Exam Questions:

, In: Proceedings of the 17th ACM Conference on International Computing Education Research,

Poulsen, Seth ; Viswanathan, Mahesh ; Herman, Geoffrey L.. - p. 157-168 , 2021

Link: https://dl.acm.org/doi/1..

15

Optimal prediction of synchronization-preserving races:

Mathur, Umang ; Pavlogiannis, Andreas ; Viswanathan, Mahesh
Proceedings of the ACM on Programming Languages. 5 (2021) POPL - p. 1-29 , 2021

Link: https://doi.org/10.1145/..