Detecting and characterizing semantic inconsistencies in ported code
Ray, Baishakhi, Miryung Kim, Person, Suzette, Rungta, Neha
Published in 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.11.2013)
Published in 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.11.2013)
Get full text
Conference Proceeding
One-Click Formal Methods
Backes, John, Bolignano, Pauline, Cook, Byron, Gacek, Andrew, Luckow, Kasper Soe, Rungta, Neha, Schaef, Martin, Schlesinger, Cole, Tanash, Rima, Varming, Carsten, Whalen, Michael
Published in IEEE software (01.11.2019)
Published in IEEE software (01.11.2019)
Get full text
Journal Article
Maintaining the health of software monitors
Person, Suzette, Rungta, Neha
Published in Innovations in systems and software engineering (01.12.2013)
Published in Innovations in systems and software engineering (01.12.2013)
Get full text
Journal Article
A Computationally Grounded, Weighted Doxastic Logic
Chen, Taolue, Primiero, Giuseppe, Raimondi, Franco, Rungta, Neha
Published in Studia logica (01.08.2016)
Published in Studia logica (01.08.2016)
Get full text
Journal Article
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
Cutler, Joseph W., Disselkoen, Craig, Eline, Aaron, He, Shaobo, Headley, Kyle, Hicks, Michael, Hietala, Kesha, Ioannidis, Eleftherios, Kastner, John, Mamat, Anwar, McAdams, Darin, McCutchen, Matt, Rungta, Neha, Torlak, Emina, Wells, Andrew M.
Published in Proceedings of ACM on programming languages (29.04.2024)
Published in Proceedings of ACM on programming languages (29.04.2024)
Get full text
Journal Article
보안 정책 분석기 서비스 및 만족성 엔진
DODGE CATHERINE, RUNGTA NEHA, PUCHALSKI JEFF, VARMING CARSTEN, COOK JOHN
Year of Publication 05.02.2020
Get full text
Year of Publication 05.02.2020
Patent
A hands-on Java Pathfinder tutorial
Mehlitz, Peter, Rungta, Neha, Visser, Willem
Published in 2013 35th International Conference on Software Engineering (ICSE) (01.05.2013)
Published in 2013 35th International Conference on Software Engineering (ICSE) (01.05.2013)
Get full text
Conference Proceeding
A Flexible and Non-intrusive Approach for Computing Complex Structural Coverage Metrics
Whalen, Michael W., Person, Suzette, Rungta, Neha, Staats, Matt, Grijincu, Daniela
Published in 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (01.05.2015)
Published in 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (01.05.2015)
Get full text
Conference Proceeding
Guided test visualization: Making sense of errors in concurrent programs
Wesonga, Saint, Mercer, Eric G., Rungta, Neha
Published in 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) (06.11.2011)
Published in 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) (06.11.2011)
Get full text
Conference Proceeding
Reports of the 2014 AAAI Spring Symposium Series
Jain, Manish, Jiang, Albert Xin, Kido, Takashi, Takadama, Keiki, Mercer, Eric G., Rungta, Neha, Waser, Mark, Wagner, Alan, Burke, Jennifer, Sofge, Don, Lawless, William, Sridharan, Mohan, Hawes, Nick, Hwang, Tim
Published in The AI magazine (22.09.2014)
Published in The AI magazine (22.09.2014)
Get full text
Journal Article
Semantic-based Automated Reasoning for AWS Access Policies using SMT
Backes, John, Bolignano, Pauline, Cook, Byron, Dodge, Catherine, Gacek, Andrew, Luckow, Kasper, Rungta, Neha, Tkachuk, Oksana, Varming, Carsten
Published in 2018 Formal Methods in Computer Aided Design (FMCAD) (01.10.2018)
Published in 2018 Formal Methods in Computer Aided Design (FMCAD) (01.10.2018)
Get full text
Conference Proceeding
Automated test case generation for an autopilot requirement prototype
Giannakopoulou, D., Rungta, N., Feary, M.
Published in 2011 IEEE International Conference on Systems, Man, and Cybernetics (01.10.2011)
Published in 2011 IEEE International Conference on Systems, Man, and Cybernetics (01.10.2011)
Get full text
Conference Proceeding
How We Built Cedar: A Verification-Guided Approach
Disselkoen, Craig, Eline, Aaron, He, Shaobo, Headley, Kyle, Hicks, Michael, Hietala, Kesha, Kastner, John, Mamat, Anwar, McCutchen, Matt, Rungta, Neha, Shah, Bhakti, Torlak, Emina, Wells, Andrew
Year of Publication 01.07.2024
Year of Publication 01.07.2024
Get full text
Journal Article
Slicing and dicing bugs in concurrent programs
Rungta, Neha, Mercer, Eric
Published in 2010 ACM/IEEE 32nd International Conference on Software Engineering (01.05.2010)
Published in 2010 ACM/IEEE 32nd International Conference on Software Engineering (01.05.2010)
Get full text
Conference Proceeding