6.7k citations
- Imperial College LondonGB385 papers
- Fermi National Accelerator LaboratoryUS382 papers
- Princeton UniversityUS378 papers
- University of California, RiversideUS373 papers
- University of RochesterUS372 papers
- Northwestern UniversityUS371 papers
- RWTH Aachen UniversityDE367 papers
- University of KansasUS367 papers
- Florida State UniversityUS365 papers
- Lomonosov Moscow State UniversityRU365 papers
- University of Illinois ChicagoUS365 papers
- Universidade do Estado do Rio de JaneiroBR364 papers
37 papers · 1 filter
Conceptual Mutation Testing for Student Programming Misconceptions
Siddhartha Prasad, Ben Greenman, Tim Nelson +1
Context: Students often misunderstand programming problem descriptions. This can lead them to solve the wrong problem, which creates frustration, obstructs learning, and imperils g…
Categorizing the Visual Environment and Analyzing the Visual Attention of Dogs
Shreyas Sundara Raman, Madeline H. Pelgrim, Daphna Buchsbaum +1
Dogs have a unique evolutionary relationship with humans and serve many important roles e.g. search and rescue, blind assistance, emotional support. However, few datasets exist to…
A Core Calculus for Documents
Will Crichton, Shriram Krishnamurthi
Passive documents and active programs now widely comingle. Document languages include Turing-complete programming elements, and programming languages include sophisticated document…
Sound Gradual Verification with Symbolic Execution
Conrad Zimmerman, Jenna DiVincenzo, Jonathan Aldrich
Gradual verification, which supports explicitly partial specifications and verifies them with a combination of static and dynamic checks, makes verification more incremental and pr…
Plug-and-Play Stability for Intracortical Brain-Computer Interfaces: A One-Year Demonstration of Seamless Brain-to-Text Communication
Chaofei Fan, Nick Hahn, Foram Kamdar +6
Intracortical brain-computer interfaces (iBCIs) have shown promise for restoring rapid communication to people with neurological disorders such as amyotrophic lateral sclerosis (AL…
The Operator Product Expansion for Radial Lattice Quantization of 3D Theory
Venkitesh Ayyar, Richard C. Brower, George T. Fleming +4
At its critical point, the three-dimensional lattice Ising model is described by a conformal field theory (CFT), the 3d Ising CFT. Instead of carrying out simulations on Euclidean…