Authors: Ranjit Jhala, Kenneth L. McMillan
Superior Title: Logical Methods in Computer Science, Vol Volume 3, Issue 4 (2007)
Subject Terms: computer science - logic in computer science, computer science - programming languages, computer science - software engineering, d.2.4, f.3.1, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95
File Description: electronic resource
Authors: Michael H. Borkowski, Niki Vazou, Ranjit Jhala
Relation: https://zenodo.org/record/8425960; https://doi.org/10.5281/zenodo.8425960; oai:zenodo.org:8425960
Authors: George Sakkas, Ranjit Jhala, Westley Weimer, Madeline Endres
Relation: https://github.com/gsakkas/seq2parse/tree/v1.0.0; https://zenodo.org/record/7080357; https://doi.org/10.5281/zenodo.7080357; oai:zenodo.org:7080357
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://www.ieee-security.org/TC/SP2015/papers-archived/6949a623.pdf.
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1068.1276; http://www.ieee-security.org/TC/SP2015/papers-archived/6949a623.pdf
Authors: Min Chen, Charles D. Hansen, Penny Rheingans, Gerik Scheuermann, Jakob Rehof, Moshe Y. Vardi, Roberto Giacobazzi, Axel Simon, Sarah Zennou, Harald Gall, Tim Menzies, Laurie Williams, Thomas Zimmermann, Fritz Henglein, Ranjit Jhala, Shriram Krishnamurthi, Peter Thiemann
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://drops.dagstuhl.de/opus/volltexte/dagrep-complete/2014/dagrep-v004-i006-complete.pdf.
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.696.775; http://drops.dagstuhl.de/opus/volltexte/dagrep-complete/2014/dagrep-v004-i006-complete.pdf
Availability: http://drops.dagstuhl.de/opus/volltexte/dagrep-complete/2014/dagrep-v004-i006-complete.pdf
Authors: Niki Vazou, Eric L. Seidel, Ranjit Jhala
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://goto.ucsd.edu/%7Envazou/real_world_liquid.pdf.
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.677.6648; http://goto.ucsd.edu/%7Envazou/real_world_liquid.pdf
Availability: http://goto.ucsd.edu/%7Envazou/real_world_liquid.pdf
Authors: Nico Lehmann, Ranjit Jhala
Relation: https://github.com/storm-framework/artifact/tree/v1.0; https://zenodo.org/record/4779865; https://doi.org/10.5281/zenodo.4779865; oai:zenodo.org:4779865
Authors: Panagiotis Vekris, Ranjit Jhala, Sorin Lerner, Yuvraj Agarwal
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://goto.ucsd.edu/%7Epvekris/docs/hotpower12.pdf.
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1049.5586; http://goto.ucsd.edu/%7Epvekris/docs/hotpower12.pdf
Availability: http://goto.ucsd.edu/%7Epvekris/docs/hotpower12.pdf
Authors: Ravi Chugh, David Herman, Ranjit Jhala
Contributors: The Pennsylvania State University CiteSeerX Archives
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.677.7083; http://goto.ucsd.edu/%7Erjhala/papers/dependent_types_for_javascript.pdf
Authors: Alan Leung, Manish Gupta, Yuvraj Agarwal, Rajesh Gupta, Ranjit Jhala, Sorin Lerner
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Languages, Reliability, Verification Test Amplification, Determinism, GPU Despite its relative infancy, CUDA and related programming languages
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.303.3350; http://mesl.ucsd.edu/yuvraj/docs/leung_pldi2012_CUDATestAmplification.pdf
Authors: Ranjit Jhala, Rupak Majumdar, Andrey Rybalchenko, Tu München
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://goto.ucsd.edu/~rjhala/papers/hmc.pdf.
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.364.4337; http://goto.ucsd.edu/~rjhala/papers/hmc.pdf
Availability: http://goto.ucsd.edu/~rjhala/papers/hmc.pdf
Authors: Dongseok Jang, Ranjit Jhala, Sorin Lerner
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://goto.ucsd.edu/~rjhala/papers/rewriting_based_dynamic_information_flow_for_javascript.pdf.
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.650.3614; http://goto.ucsd.edu/~rjhala/papers/rewriting_based_dynamic_information_flow_for_javascript.pdf
Availability: http://goto.ucsd.edu/~rjhala/papers/rewriting_based_dynamic_information_flow_for_javascript.pdf
Authors: Charles Killian, Karthik Nagaraj, Ryan Braud, James W. Anderson, Salman Pervez, Ranjit Jhala
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://goto.ucsd.edu/~rjhala/papers/finding_latent_performance_bugs_in_systems_implementations.pdf.
Subject Terms: MacePC, performance, debugging, distributed systems
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.645.2175; http://goto.ucsd.edu/~rjhala/papers/finding_latent_performance_bugs_in_systems_implementations.pdf
Availability: http://goto.ucsd.edu/~rjhala/papers/finding_latent_performance_bugs_in_systems_implementations.pdf
Authors: Ming Kawaguchi, Patrick M. Rondon, Ranjit Jhala
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: a polymorphic, higher-order, array-manipulating program, shown in Figure 1
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.364.3558; http://goto.ucsd.edu/~rjhala/papers/safety_verification_with_liquid_types.pdf
Authors: Patrick Rondon, Ming Kawaguchi, Ranjit Jhala
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://pho.ucsd.edu/liquid/low_level_liquid_types_techrep_2col.pdf.
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.205.2302; http://pho.ucsd.edu/liquid/low_level_liquid_types_techrep_2col.pdf
Authors: Michael Emmi, Ranjit Jhala, Eddie Kohler, Rupak Majumdar
Contributors: The Pennsylvania State University CiteSeerX Archives
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.592.641; http://www.liafa.univ-paris-diderot.fr/~mje/papers/conf-tacas-EmmiJKM09.pdf
Authors: Ranjit Jhala
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://www.cs.colostate.edu/~france/CS614/Readings/Readings2011/Model-checking-Survey-a21-jhala.pdf.
Subject Terms: abstraction, counterexample-guided refinement, safety, liveness ACM Reference Format
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.476.3299; http://www.cs.colostate.edu/~france/CS614/Readings/Readings2011/Model-checking-Survey-a21-jhala.pdf
Availability: http://www.cs.colostate.edu/~france/CS614/Readings/Readings2011/Model-checking-Survey-a21-jhala.pdf
Authors: Ming Kawaguchi, Patrick Rondon, Ranjit Jhala
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://www.cs.ucsd.edu/~prondon/papers/structures-pldi09.pdf.
Subject Terms: General Terms Languages, Reliability, Verification Keywords Dependent Types, Hindley-Milner, Predicate Abstraction, Type Inference
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.210.1015; http://www.cs.ucsd.edu/~prondon/papers/structures-pldi09.pdf
Authors: Ravi Chugh, Jeffrey A. Meister, Ranjit Jhala, Sorin Lerner
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://cseweb.ucsd.edu/%7Erchugh/research/pldi09-sif.pdf.
Subject Terms: – Program analysis General Terms Languages, Reliability, Verification Keywords Set Constraints, Flow Analysis, Web Applications, Confidentiality, Integrity
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.205.1627; http://cseweb.ucsd.edu/%7Erchugh/research/pldi09-sif.pdf
Availability: http://cseweb.ucsd.edu/%7Erchugh/research/pldi09-sif.pdf
Authors: Zachary Tatlock, Ranjit Jhala, Chris Tucker, Sorin Lerner, David Shuffelton
Contributors: The Pennsylvania State University CiteSeerX Archives
Superior Title: http://www.cs.ucsd.edu/%7Eztatlock/pub/dtar-tatlock-oopsla08.pdf.
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.348.4033; http://www.cs.ucsd.edu/%7Eztatlock/pub/dtar-tatlock-oopsla08.pdf