Kasper Se Luckow
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
8
Active years
2016–2020
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | CAV | Stratified Abstraction of Access Control Policies. | John Backes, Ulises Berrueco, Tyler Bray, Daniel Brim, Byron Cook, Andrew Gacek, Ranjit Jhala, Kasper Se Luckow, Sean McLaughlin, Madhav Menon, Daniel Peebles, Ujjwal Pugalia, Neha Rungta, Cole Schlesinger, Adam Schodde, Anvesh Tanuku, Carsten Varming, Deepa Viswanathan |
| 2018 | FMCAD | Semantic-based Automated Reasoning for AWS Access Policies using SMT. | John Backes, Pauline Bolignano, Byron Cook, Catherine Dodge, Andrew Gacek, Kasper Se Luckow, Neha Rungta, Oksana Tkachuk, Carsten Varming |
| 2018 | IFM | Study of Integrating Random and Symbolic Testing for Object-Oriented Software. | Marko Dimjasevic, Falk Howar, Kasper Se Luckow, Zvonimir Rakamaric |
| 2018 | SEFM | A Cloud-Based Execution Framework for Program Analysis. | Daniel Balasubramanian, Dmitriy Kostyuchenko, Kasper Se Luckow, Rody Kersten, Gabor Karsai |
| 2018 | SEFM | Monte Carlo Tree Search for Finding Costly Paths in Programs. | Kasper Se Luckow, Corina S. Pasareanu, Willem Visser |
| 2017 | CCS | POSTER: AFL-based Fuzzing for Java with Kelinci. | Rody Kersten, Kasper Se Luckow, Corina S. Pasareanu |
| 2017 | ICST | Symbolic Complexity Analysis Using Context-Preserving Histories. | Kasper Se Luckow, Rody Kersten, Corina S. Pasareanu |
| 2016 | AAAI | Planning, Scheduling and Monitoring for Airport Surface Operations. | Robert Morris, Corina S. Pasareanu, Kasper Se Luckow, Waqar Malik, Hang Ma, T. K. Satish Kumar, Sven Koenig |
| 2016 | TACAS | JDart: A Dynamic Symbolic Analysis Framework. | Kasper Se Luckow, Marko Dimjasevic, Dimitra Giannakopoulou, Falk Howar, Malte Isberner, Temesghen Kahsai, Zvonimir Rakamaric, Vishwanath Raman |