35 citations · 93 across the 12 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.SE2020★ 1 cited
Deep Learning & Software Engineering: State of Research and Future Directions
Prem Devanbu, Matthew Dwyer, Sebastian Elbaum +6
Given the current transformative potential of research that sits at the intersection of Deep Learning (DL) and Software Engineering (SE), an NSF-sponsored community workshop was co…
cs.LO2020
Optimal Runtime Verification of Finite State Properties over Lossy Event Streams
Peeyush Kushwaha, Rahul Purandare, Matthew B. Dwyer
Monitoring programs for finite state properties is challenging due to high memory and execution time overheads it incurs. Some events if skipped or lost naturally can reduce both o…