| 2025 |
B |
conf |
FMCAD
Lee A. Barnett, Loris D'Antoni, Amit Goel, Rami Gökhan Kici, Neha Rungta, Mary Southern, Chungha Sung
|
| 2024 |
B |
conf |
FMCAD
Loris D'Antoni, Andrew Gacek, Amit Goel, Dejan Jovanovic, Rami Gökhan Kici, Daniel Peebles, Neha Rungta, Yasmine Sharoda, Chungha Sung
|
| 2021 |
J |
jnl |
Proc. ACM Program. Lang.
Marco Vassena, Craig Disselkoen, Klaus von Gleissenthall, Sunjay Cauligi, Rami Gökhan Kici, Ranjit Jhala, Dean M. Tullsen, Deian Stefan
|
| 2021 |
J |
jnl |
CoRR
Rami Gökhan Kici, Klaus von Gleissenthall, Deian Stefan, Ranjit Jhala
|
| 2021 |
A* |
conf |
CCS
Klaus von Gleissenthall, Rami Gökhan Kici, Deian Stefan, Ranjit Jhala
|
| 2020 |
J |
jnl |
CoRR
Marco Vassena, Klaus von Gleissenthall, Rami Gökhan Kici, Deian Stefan, Ranjit Jhala
|
| 2020 |
— |
— |
Rami Gökhan Kici
|
| 2019 |
A* |
conf |
USENIX Security Symposium
Klaus von Gleissenthall, Rami Gökhan Kici, Deian Stefan, Ranjit Jhala
|
| 2019 |
J |
jnl |
CoRR
Klaus von Gleissenthall, Rami Gökhan Kici, Deian Stefan, Ranjit Jhala
|
| 2019 |
J |
jnl |
Proc. ACM Program. Lang.
Klaus von Gleissenthall, Rami Gökhan Kici, Alexander Bakst, Deian Stefan, Ranjit Jhala
|
| 2017 |
J |
jnl |
Proc. ACM Program. Lang.
Alexander Bakst, Klaus von Gleissenthall, Rami Gökhan Kici, Ranjit Jhala
|
| 2016 |
A* |
conf |
NDSS
Dimitar Bounov, Rami Gökhan Kici, Sorin Lerner
|