E-LIB Suche - Ergebnisse für: Stephen Chong

1

Expressive Authorization Policies using Computation Princip..:

, In: Proceedings of the 28th ACM Symposium on Access Control Models and Technologies,

Gollamudi, Anitha ; Chong, Stephen - p. 107-119 , 2023

2

From SMT to ASP: Solver-Based Approaches to Solving Datalog..:

Bembenek, Aaron ; Greenberg, Michael ; Chong, Stephen
Proceedings of the ACM on Programming Languages. 7 (2023) POPL - p. 185-217 , 2023

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

3

Quantitative Robustness Analysis of Sensor Attacks on Cyber..:

, In: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control,

Chong, Stephen ; Lanotte, Ruggero ; Merro, Massimo.. - p. 1-12 , 2023

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

4

Towards Porting Operating Systems with Program Synthesis:

Hu, Jingmei ; Lu, Eric ; Holland, David A....
ACM Transactions on Programming Languages and Systems. 45 (2023) 1 - p. 1-70 , 2023

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

5

Assuage: Assembly Synthesis Using A Guided Exploration:

, In: The 34th Annual ACM Symposium on User Interface Software and Technology,

Hu, Jingmei ; Vaithilingam, Priyan ; Chong, Stephen.. - p. 134-148 , 2021

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

6

Fast incremental PEG parsing:

, In: Proceedings of the 14th ACM SIGPLAN International Conference on Software Language Engineering,

Yedidia, Zachary ; Chong, Stephen - p. 99-112 , 2021

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

7

Coupled Relational Symbolic Execution for Differential Priv..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Farina, Gian Pietro ; Chong, Stephen ; Gaboardi, Marco - p. 207-233 , 2021

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

8

Co-Inflow: Coarse-grained Information Flow Control for Java..:

, In: 2021 IEEE Symposium on Security and Privacy (SP),

Xiang, Jian ; Chong, Stephen - p. 18-35 , 2021

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

9

Relational Analysis of Sensor Attacks on Cyber-Physical Sys..:

, In: 2021 IEEE 34th Computer Security Foundations Symposium (CSF),

Xiang, Jian ; Fulton, Nathan ; Chong, Stephen - p. 1-16 , 2021

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

10

Formulog: Datalog for SMT-based static analysis:

Bembenek, Aaron ; Greenberg, Michael ; Chong, Stephen
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-31 , 2020

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

11

Acute C4 Ingestion and Toxicity: Presentation and Managemen:

Chong, Stephen ; Long, Brit ; Maddry, Joseph K..
Cureus. , 2020

Link: https://doi.org/10.7759/..

12

Formulog: Datalog for SMT-based static analysis:

Bembenek, Aaron ; Greenberg, Michael ; Chong, Stephen
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-31 , 2020

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

13

Frequency of Advanced Cardiac Life Support Medication Use a..:

Benz, Paul ; Chong, Stephen ; Woo, Stephanie...
Clinical Therapeutics. 42 (2020) 1 - p. 121-129 , 2020

Link: https://doi.org/10.1016/..

14

Trials and Tribulations in Synthesizing Operating Systems:

, In: Proceedings of the 10th Workshop on Programming Languages and Operating Systems,

Hu, Jingmei ; Lu, Eric ; Holland, David A.... - p. 67-73 , 2019

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

15

Relational Symbolic Execution:

, In: Proceedings of the 21st International Symposium on Principles and Practice of Declarative Programming,

Farina, Gian Pietro ; Chong, Stephen ; Gaboardi, Marco - p. 1-14 , 2019

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