C-strider: type-aware heap traversal for C
Saur, Karla, Hicks, Michael, Foster, Jeffrey S.
Published in Software, practice & experience (01.06.2016)
Published in Software, practice & experience (01.06.2016)
Get full text
Journal Article
Template-based program verification and program synthesis
Srivastava, Saurabh, Gulwani, Sumit, Foster, Jeffrey S.
Published in International journal on software tools for technology transfer (01.10.2013)
Published in International journal on software tools for technology transfer (01.10.2013)
Get full text
Journal Article
An empirical assessment of machine learning approaches for triaging reports of static analysis tools
Yerramreddy, Sai, Mordahl, Austin, Koc, Ugur, Wei, Shiyi, Foster, Jeffrey S., Carpuat, Marine, Porter, Adam A.
Published in Empirical software engineering : an international journal (01.03.2023)
Published in Empirical software engineering : an international journal (01.03.2023)
Get full text
Journal Article
iTree: Efficiently Discovering High-Coverage Configurations Using Interaction Trees
Song, Charles, Porter, Adam, Foster, Jeffrey S.
Published in IEEE transactions on software engineering (01.03.2014)
Published in IEEE transactions on software engineering (01.03.2014)
Get full text
Journal Article
SATune: A Study-Driven Auto-Tuning Approach for Configurable Software Verification Tools
Koc, Ugur, Mordahl, Austin, Wei, Shiyi, Foster, Jeffrey S., Porter, Adam A.
Published in 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.11.2021)
Published in 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE) (01.11.2021)
Get full text
Conference Proceeding
An empirical study of adaptive concretization for parallel program synthesis
Jeon, Jinseong, Qiu, Xiaokang, Solar-Lezama, Armando, Foster, Jeffrey S.
Published in Formal methods in system design (01.03.2017)
Published in Formal methods in system design (01.03.2017)
Get full text
Journal Article
Rule-based static analysis of network protocol implementations
Udrea, Octavian, Lumezanu, Cristian, Foster, Jeffrey S.
Published in Information and computation (01.02.2008)
Published in Information and computation (01.02.2008)
Get full text
Journal Article
Conference Proceeding
A comparison of bug finding tools for Java
Rutar, N., Almazan, C.B., Foster, J.S.
Published in 15th International Symposium on Software Reliability Engineering (2004)
Published in 15th International Symposium on Software Reliability Engineering (2004)
Get full text
Conference Proceeding
Serializing C intermediate representations for efficient and portable parsing
Meister, Jeffrey A., Foster, Jeffrey S., Hicks, Michael
Published in Software, practice & experience (01.03.2010)
Published in Software, practice & experience (01.03.2010)
Get full text
Journal Article
A Qualitative Study of REST API Design and Specification Practices
Coblenz, Michael, Guo, Wentao, Voozhian, Kamatchi, Foster, Jeffrey S.
Published in 2023 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) (03.10.2023)
Published in 2023 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) (03.10.2023)
Get full text
Conference Proceeding
Existential Label Flow Inference Via CFL Reachability
Pratikakis, Polyvios, Foster, Jeffrey S., Hicks, Michael
Published in Lecture notes in computer science (2006)
Published in Lecture notes in computer science (2006)
Get full text
Book Chapter
Conference Proceeding
Modular Information Hiding and Type-Safe Linking for C
Srivastava, S., Hicks, M., Foster, J.S., Jenkins, P.
Published in IEEE transactions on software engineering (01.05.2008)
Published in IEEE transactions on software engineering (01.05.2008)
Get full text
Journal Article
SimTyper: sound type inference for Ruby using type equality prediction
Kazerounian, Milod, Foster, Jeffrey S., Min, Bonan
Published in Proceedings of ACM on programming languages (01.10.2021)
Published in Proceedings of ACM on programming languages (01.10.2021)
Get full text
Journal Article
Parallel Detection of Violations of Color Constancy
Foster, David H., Sérgio M. C. Nascimento, Amano, Kinjiro, Arend, Larry, Linnell, Karina J., Nieves, Juan Luis, Plet, Sabrina, Foster, Jeffrey S.
Published in Proceedings of the National Academy of Sciences - PNAS (03.07.2001)
Published in Proceedings of the National Academy of Sciences - PNAS (03.07.2001)
Get full text
Journal Article
Absynthe: Abstract Interpretation-Guided Synthesis
Guria, Sankha Narayan, Foster, Jeffrey S., Van Horn, David
Published in Proceedings of ACM on programming languages (06.06.2023)
Published in Proceedings of ACM on programming languages (06.06.2023)
Get full text
Journal Article
Program synthesis with algebraic library specifications
Mariano, Benjamin, Reese, Josh, Xu, Siyuan, Nguyen, ThanhVu, Qiu, Xiaokang, Foster, Jeffrey S., Solar-Lezama, Armando
Published in Proceedings of ACM on programming languages (01.10.2019)
Published in Proceedings of ACM on programming languages (01.10.2019)
Get full text
Journal Article
Synthesizing Framework Models for Symbolic Execution
Jinseong Jeon, Xiaokang Qiu, Fetter-Degges, Jonathan, Foster, Jeffrey S., Solar-Lezama, Armando
Published in 2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE) (01.05.2016)
Published in 2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE) (01.05.2016)
Get full text
Conference Proceeding
Expositor: Scriptable time-travel debugging with first-class traces
Khoo Yit Phang, Foster, Jeffrey S., Hicks, Michael
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