Shweta Shivaji Shinde

Collaboration Map View Statistics Email Alert RSS Feed

Full Name

(not current staff)

Main Affiliation

DEPARTMENT OF COMPUTER SCIENCE

Faculty

SCHOOL OF COMPUTING

dcssss@nus.edu.sg

Results 1-2 of 2 (Search time: 0.004 seconds).

Refman EndNote Bibtex RefWorks Excel CSV PDF Send via email

		Issue Date	Title	Author(s)
	1	2020	BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof	Shinde, Shweta ; Wang, Shengyi; Yuan, Pinghai ; Hobor, Aquinas ; Roychoudhury, Abhik ; Saxena, Prateek
	2	2019	Neuro-Symbolic Execution: Augmenting Symbolic Execution with Neural Constraints	Shiqi, Shen; Shinde, Shweta ; Ramesh, Soundarya; Roychoudhury, Abhik ; Saxena, Prateek